DRAKON.SU https://forum.drakon.su/ |
|
Пробуем переписать текстом и сравниваем https://forum.drakon.su/viewtopic.php?f=178&t=1899 |
Страница 3 из 5 |
Автор: | Alexey_Donskoy [ Воскресенье, 27 Сентябрь, 2009 19:02 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Есть такая забава - Code wars или как она там правильно называется Вот здесь стиль "Скульптор" имеет право на существование. Как искусство. Вот бы ещё суметь избавиться от него на производстве! |
Автор: | Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 19:04 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Геннадий Тышов писал(а): Об отказе что то предоставить, не было речи. Так Вы и не сможете предоставить. Доказательство правильности программы. В том виде, как Вы её предлагаете писать. Например, разодрав единое условие цикла по отдельным if-break. Не говорю уж о том, что инвариант цикла там и не ночует при таком его (цикла) составлении (ибо когда цикл строится из инварианта, то break просто не может возникнуть). Цитата: Жизнь такая многообразная в своем проявлении, и вряд ли, кто имеет право сократить многообразие. При чём тут жизнь и её многообразие. Речь идёт о весьма примитивной деятельности - построении программы на алгоритмическом уровне. Не может там быть никакого многообразия - всех научить в школе циклы строить - и навсегда забыть об ошибках в них. Дома вполне себе строят из блоков (хоть кирпичей, хоть панелей) одинакового размера, и никто не предлагает их из навоза лепить. (Хату на Украине - сколько угодно; но придите с таким предложением к заказчику небоскрёба). |
Автор: | ==== [ Воскресенье, 27 Сентябрь, 2009 19:09 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Подождем Tombu, что он скажет? |
Автор: | Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 19:09 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Цитата: Жизнь такая многообразная в своем проявлении, и вряд ли, кто имеет право сократить многообразие. Кстати, такое понятие, как ГОСТ, Вам знакомо? Чрезвычайно сокращает многообразие инженерной фантазии. Поэтому всё, что нас окружает, не падает нам на голову; а стоит, висит через реку, летает и т.п. Геннадий, такое ощущение, что у Вас гуманитарное образование, честное слово. (Не в плане претензий к гуманитарности; а в плане какой-то шокирующей наивности в законах инженерной деятельности). |
Автор: | Vlad [ Воскресенье, 27 Сентябрь, 2009 19:16 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Илья Ермаков писал(а): Затем в третьем классе детям объясняют понятие неизвестной величины, простейшие уравнения - и способ их решения. После чего всё те же задачи решаются быстро, просто и стандартно. Однако первую неделю, конечно, у детей имеет место быть ощущение "интеллектуального терроризма" - какие то X и Y, когда можно просто подумать же ж... Все ваши красивые аналогии и предсказания безошибочности "программ по Дейкстре" разбиваются о практику, которая показывает, что в программах на обероне тоже есть баги P.S. А "ответственность за ошибки", как я уже говорил, не приведет ни к чему, кроме большей стоимости ПО. |
Автор: | Alexey_Donskoy [ Воскресенье, 27 Сентябрь, 2009 19:30 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Vlad писал(а): А "ответственность за ошибки", как я уже говорил, не приведет ни к чему, кроме большей стоимости ПО. Я вообще так полагаю, что ответственность может быть принудительно обеспечена разве что постфактум...А доказать заказчику правильность... Да заказчик сам не знает обычно, что ему нужно, какое тут доказательство... Он пойдёт и купит, где дешевле... как покупают сегодня серые телефоны без гарантии... |
Автор: | dvuugl [ Воскресенье, 27 Сентябрь, 2009 20:40 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Алгебра программирования? Дай то бог. Но даже если она будет создана, то от ошибок не избавит, как не избавляют прекрасно усвоенные и вызубренные формулы алгебры обычной. И тем более не сделают математика из расчётчика. Она будет только ещё одним из инструментов, более или менее мощным, но по-прежнему всё будет зависеть от "скульптора". Много что сокращает многообразие инженерной фантазии, но реальный результат в инженерии недостижим без оной. Автор единственного пока реально работающего дракон-редактора мне кажется слегка приоткрыл свою "творческую кухню", а такие вещи не бывают безупречными формально, это слишком живое. |
Автор: | Geniepro [ Воскресенье, 27 Сентябрь, 2009 20:50 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
dvuugl писал(а): Алгебра программирования? Дай то бог. Но даже если она будет создана ... Ну вообще-то она уже создана:http://www.amazon.com/Algebra-Programmi ... 013507245X |
Автор: | Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 20:52 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
2 Vlad, Alexey_Donskoy, dvuugl: Возражения, вполне уместные "вообще", неуместны в подобных обсуждениях. Если речь идёт о проблеме незнания/невладения неким базовым, азбучным методом, то рассуждения о границах его применимости, о том, что нужно знать кроме него ещё много чего - и т.п. - совершенно излишни. Зато для незнающих, услышавших это, всегда приятно этим оправдаться ("вот видите...") и идти не-знать дальше. |
Автор: | Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 20:58 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Vlad писал(а): Все ваши красивые аналогии и предсказания безошибочности "программ по Дейкстре" разбиваются о практику, которая показывает, что в программах на обероне тоже есть баги Сразу куча искажений. В частности, "доказательство правильности построения" переврано в "предсказание безошибочности". Не стыдно? Речь идёт о применении методов, которые гарантируют, что всё возможное для обеспечения правильности сделано. Что человек понимает, что он строит. Что он изучил свойства строимого. |
Автор: | Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 21:00 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
А касательно ответственности за ошибки - я уже говорил, что тоже паршиво представляю, как бы это могло работать. Но зато как здорово, что появился аргумент для наставлений пацанью. Что их может ждать уже не такая безответственная профессия, о какой они думают |
Автор: | dvuugl [ Воскресенье, 27 Сентябрь, 2009 21:12 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Илья, Вы слишком беспощадны к скромным практикам Раз у человека есть результат, то уж какая-то азбука у него всё-же есть. И не его вина что передний край теории, которые для Вас азбука, не изложен ещё "в доступной плоской форме" |
Автор: | Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 22:05 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Паазвольте-паазвольте, это "скромные практики" обычно слишком "беспощадны" в своих суждениях. |
Автор: | ==== [ Воскресенье, 27 Сентябрь, 2009 22:11 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Взять глыбу мрамора и отсечь от нее все лишнее Ответ великого французского скульптора Огюста Родена (1840—1917) на вопрос одного из своих учеников, в чем, собственно, состоит искусство скульптора. отсюда Умение отсекать лишнее – это искусство. отсюда |
Автор: | Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 22:18 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Да, давайте ещё по-любительски обсудим вопросы искусств. А Вы представляете, сколько лет учится любой художник или музыкант технике своей деятельности? Чтобы заниматься творчеством, надо сначала овладеть виртуозно теми операциями, которыми будет порождаться произведение. И учатся этому много лет. И только потом хорошо говорить "я просто отсекаю лишнее". Когда любая твоя творческая мысль мгновенно и безупречно отображается в серию нужных рутинных действий над произведением. ИТ-шники же, ничтоже сумняшеся, любят порассуждать о творчестве. Однако всё у них как-то в духе Малевича выходит. Потому что учиться лень, всё ж и так могут. Ну прямо как мазила в стиле постмодерна, выгнанный из художки. |
Автор: | ==== [ Воскресенье, 27 Сентябрь, 2009 22:23 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Илья Ермаков писал(а): А Вы представляете, сколько лет учится любой художник или музыкант технике своей деятельности? Мне 63 года, и я непрерывно учился технике своей деятельности |
Автор: | Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 22:28 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Уважаемый Геннадий, я не вправе судить о Вашей технике и Вашей деятельности. Я строю обсуждение в рамках тех тезисов, которые Вы конкретно публикуете. |
Автор: | ==== [ Воскресенье, 27 Сентябрь, 2009 22:31 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Глядя в Ваш профиль, вижу что читал Дейкстру тогда, когда Вы не родились |
Автор: | Alexey_Donskoy [ Воскресенье, 27 Сентябрь, 2009 22:33 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Геннадий Тышов писал(а): Мне 63 года, и я непрерывно учился технике своей деятельности Геннадий, мне всего лишь 44 года, и я, к величайшему сожалению, никогда не учился ни технике живописи, ни стихосложения, ни даже программирования... Повторяю, к величайшему сожалению... Потому что всё это время мне некогда было учиться даже самостоятельно, ждала на всех фронтах творческая работа... которая заключалась в изобретении кучи велосипедов.И теперь уже как-то не с руки тратить время на изобретение очередных велосипедов. Надо бы поучиться и поработать потом как следует, производительно, а не так - осколки вправо-влево! |
Автор: | Alexey_Donskoy [ Воскресенье, 27 Сентябрь, 2009 22:42 ] |
Заголовок сообщения: | Re: Пробуем переписать текстом и сравниваем |
Кстати же, только что видел тут Галкова... Ну где ж скриншот обсуждаемой задачи в Хиасме - ведь и правда интересно же! |
Страница 3 из 5 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |