OberonCore
https://forum.oberoncore.ru/

Э. Дейкстра "Мои надежды в компьютерных науках"
https://forum.oberoncore.ru/viewtopic.php?f=75&t=1157
Страница 1 из 1

Автор:  Илья Ермаков [ Четверг, 11 Сентябрь, 2008 20:57 ]
Заголовок сообщения:  Э. Дейкстра "Мои надежды в компьютерных науках"

http://khpi-iip.mipk.kharkiv.edu/librar ... wd709.html

Автор:  Александр Ильин [ Четверг, 11 Сентябрь, 2008 22:12 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Интересный текст.
Блин, "переводчики" позорно переврали цитату Витгенштейна ("Виттгенатена" по-ихнему): "Мы можем говорить вообще, можем говорить ясно, а о том, о чем мы не можем сказать, мы должны хранить молчание".
На самом деле должно быть примерно так: "О том, о чём возможно говорить, следует говорить ясно; о чём невозможно говорить, о том следует молчать".

Автор:  Александр Ильин [ Четверг, 11 Сентябрь, 2008 22:17 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Ха-ха! Читаю дальше: цитируют слово "bag" вместо "bug". : )

Автор:  Иван Кузьмицкий [ Пятница, 12 Сентябрь, 2008 06:48 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Да, чем так переводить, лучше совсем не переводить, чтоб не портить/искажать авторские высказывания. Правда, переводчик заранее извинился:

http://khpi-iip.mipk.kharkiv.edu/librar ... about.html

Цитата:
От переводчика

Главное назначение этой странички - принести читателю извинения за плохое качество приводимых на ней переводов. Мое знание английского далеко от совершенства, и просто нет времени на то, чтобы "вылизывать" переводы. Вместе с тем, встречая иногда в печатной и Web-периодике интересные материалы, я просто не могу удержаться от того, чтобы не поделиться ими с коллегами и студентами. Надеюсь, несмотря на очевидные недостатки, читатели смогут извлечь из данного раздела некоторую пользу.


По мне, искажённый перевод хуже, чем текст на английском. Ведь усилия популяризации направлены на начинающих. А тут, имхо, нужна аптекарская точность выражений (как и говорит сам Дейкстра).

Автор:  Илья Ермаков [ Пятница, 12 Сентябрь, 2008 10:46 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Да нет, перевод вполне нормальный. Цитату человек в оригинале мог не знать - афоризмы трудно переводить. Бэг - опечатка....

В остальном, если учесть квалификацию переводчика в нашей области, смысл передаётся верно, "перетрактовано" (как Info21 выражался про глубокий перевод) хорошим литературным языком.

Автор:  Info21 [ Пятница, 12 Сентябрь, 2008 14:11 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Илья Ермаков писал(а):
... "перетрактовано" (как Info21 выражался про глубокий перевод) хорошим литературным языком.

Не помню, чтобы выражался таким образом.

Автор:  Илья Ермаков [ Пятница, 12 Сентябрь, 2008 14:19 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Это было тут: viewtopic.php?p=13963#p13963

Правда, не "перетрактовано", а "перетолковано".

Автор:  Info21 [ Пятница, 12 Сентябрь, 2008 17:52 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Илья Ермаков писал(а):
Это было тут: viewtopic.php?p=13963#p13963

Правда, не "перетрактовано", а "перетолковано".


А.
Так про "хороший литературный" у меня не было.

Автор:  Илья Ермаков [ Пятница, 12 Сентябрь, 2008 18:35 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Н так "хорошим литературным" относится и не к факту "перетрактования". А к тому, что текст в итоге читается хорошо.

Автор:  Info21 [ Пятница, 12 Сентябрь, 2008 19:30 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Илья Ермаков писал(а):
... "хорошим литературным" относится и не к факту "перетрактования". А к тому, что текст в итоге читается хорошо.

Вот я про это как раз. Много переводов "читается хорошо", но плоховато передает смысл оригинала.

Когда я говорил про перетолковывание, то имел в виду простую вещь, что всем известная невозможность дословного перевода на самом деле распространяется на более высокие уровни организации текста.

(Это из разряда у кого что болит...)

Автор:  Илья Ермаков [ Пятница, 12 Сентябрь, 2008 20:10 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Понятно

Автор:  Rifat [ Четверг, 20 Июль, 2017 15:53 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Наиболее интересный для меня абзац из этой статьи следующий:
Цитата:
За расцвет абстрактных типов данных я несу некоторую со-ответственность, придумав и пустив в обиход термин "представительная абстракция" в 1972 году, и если он превратился в ошибку, то часть вины лежит на мне. Одна возможность того, что он может быть ошибкой, происходит из того факта, что он является некоторым приукрашиванием состояния; после пяти лет интенсивных исследований и разработок, стек является единственным из разработанных абстрактных типов данных. Это сильно отличается от того, что случилось, когда было введено то, что его вдохновило, - законченные подпрограммы! Для этих печальных до сих пор результатов исследований, посвященных абстрактным типам данных, я могу на моей нынешней стадии понимания предложить два приблизительных объяснения. Одно состоит просто в том, что абстрактные типы данных значительно более сложны, так что их значительно труднее специфицировать, чем подпрограммы, что на порядок труднее придумать полезный тип. (Если это именно тот случай, я должен только подождать.) Другое состоит в том, что после того, как все сказано и рассказано, тип интерфейса, обеспечиваемого абстрактным типом данных, не подходит для его назначения: когда мы тщательно анализируем действительно сложные алгоритмы, мы вполне можем обнаружить, что доказательство корректности не допускает деления на части, тогда как одна или две части могут быть спокойно идентифицированы при помощи абстрактного типа данных. Другими словами, надежда на то, что абстрактные типы данных будут нам очень помогать, вполне может базироваться на недооценке логической сложности сложных алгоритмов и, следовательно, чрезмерно упрощенного подхода к процессу проектирования программ.

Когда, я изучал верификацию абстрактных типов данных, то да, процентов 95% статей рассматривают в качестве примера абстрактный тип данных стек. При более тщательном поиске я нашел еще описание нескольких абстрактных типов данных:
- очередь
- текстовый редактор с возможностью Undo
- автомат по выдаче газировки
- и некоторые другие.
В целом мне показалось, что многие авторы статей просто из лени берут одни и те же примеры. Прочитав данную статью Дейкстры, мне понравилась его точка зрения, что абстрактные типы данных не настолько уж универсальный метод.

Автор:  prospero78 [ Понедельник, 24 Июль, 2017 10:27 ]
Заголовок сообщения:  Re: Э. Дейкстра "Мои надежды в компьютерных науках"

Совершенно верно. Абстрактные типы данных это такие островки смыслов. Алгоритмы по их обработке -- это как русла рек. Сегодня одно русло, а завтра другое и оба правильные. И связать абстракции воедино в больших системах может стоит чрезвычайно дорого. И проверка корректности всей системы чисто умозрительно, не может стоить дешевле, чем вся система.
Доказательное программирование, конечно, полезно. Но на уровне несущих балок. Доказывать правильность каждого дюбеля -- смысла нет. Были бы кости, а мясо нарастёт.

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/