МЕТА-
ВЫЧИСЛЕНИЯ |
|
СУПЕР- КОМПИЛЯЦИЯ |
И |
|
(Репортаж
о семинаре-презентации) |
|
|
|
|
|
День 29 февраля 2000 г. в Москве выдался
на редкость солнечным. Он откровенно заявлял: это
действительно московская весна. Оживление,
царившее около полудня в фойе Большой аудитории
Политехнического музея, было подстать ему. С
минуты на минуту ожидали главное лицо на
предстоящем семинаре-презентации: Валентина
Федоровича Турчина. Беглый взгляд на публику
давал понять - событие обещает быть не только
интересным, но и выдающимся. Здесь была вся
программистская Москва, от китов до салаг, и еще
много всяких интересующихся. |
|
|
|
|
|
Волнение публики вполне можно было
понять и разделить. Широкой научной
общественности впервые была предоставлена
возможность ознакомиться с одним из самых
перспективных направлений информационных
технологий - метавычислениями , то есть такими
методами глобального анализа и оптимизации
программ, которые уже начали играть и сыграют
одну из ведущих ролей в продолжающейся
компьютерной революции в XXI веке. Теория
метавычислений позволяет решать сложнейшие
проблемы программирования и компьютерных
технологий: алгоритмического преобразования
программ и автоматизации программирования;
создания суперкомпиляторов для различных языков
программирования; искусственного интеллекта. |
|
|
|
|
|
Личность В.Ф.Турчина, создателя нового
направления в программировании, связанного с
автоматическим преобразованием программ, не
побоимся этого слова, легендарна. Чтобы понять
это, не нужно быть программистом, достаточно
ознакомиться со статьей "Валентин
Турчин: Человеку свойственно заботиться о
будущем человечества" в журнале
"Индекс". Вынужденный покинуть Родину, с 1977
года он живет и работает в США. Научное
направление, которое послужило темой семинара,
зародилось в 70-е годы в трудах российский ученых -
доктора физ.-мат. наук Валентина Федоровича
Турчина и академика Андрея Петровича Ершова.
Метод, разработанный В.Ф.Турчиным, носит название
"суперкомпиляция", а созданный
А.П.Ершовым - "смешанные вычисления". В
80-е годы работы были подхвачены западными
учеными и появились "частичные
вычисления" и другие методы. В России же
сложилась школа по метавычислениям, активно
работающая на мировом уровне. |
|
|
|
|
|
Однако не менее интересна и другая
сторона деятельности Валентина Федоровича, с
которой связана была приуроченная к семинару
презентация его книги "ФЕНОМЕН
НАУКИ: КИБЕРНЕТИЧЕСКИЙ ПОДХОД К ЭВОЛЮЦИИ."
Книга принадлежит к категории научных
философских трудов, но как же ярко и увлекательно
она написана! Пожалуй, в этом аспекте можно
сравнить ее с докторской диссертацией
Станислава Лема "Сумма технологий", где
научные прогнозы с позиций анализа технического
прогресса полны образных и неожиданных
ассоциаций, а научные исследования оттенены
иронией и юмором. По вкладу в науку монография
стоит в одном ряду с такими известными трудами
как "Кибернетика" Н. Винера и "Феномен
человека" П. Тейяра де Шардена. Основой теории
эволюции по В.Ф.Турчину является та же концепция
метасистемного перехода, что послужила ему и для
создания теории метавычислений в
программировании, и для осмысления хода
общественного развития человечества (книга "Инерция страха",
долгое время остававшаяся под запретом в СССР, да
и не очень афишируемая на постсоветском
пространстве). |
|
|
|
|
|
И, наконец, появление долгожданного
Турчина с сопровождающими лицами дало толчок
колесу событий, последовавших далее. |
|
|
|
|
|
Во-первых, состоялось
торжественно-приподнятое и вместе с тем
сердечно-шутливое чествование Турчина. Говорили
М.Р.Шура-Бура, бывший руководитель В.Ф. в ИПМ им.
В.М.Келдыша, его соратники и ученики, старинный
друг и коллега-физик В.З.Нозик, директор
Института системного программирования
член-корреспондент В.П.Иванников. При этом
собравшимся напомнили, что В.Ф. по происхождению
физик, сбежавший в кибернетику, а один из его
трудов в качестве физика получил не только
научное, но и всенародное признание (речь шла о
сборнике "Физики шутят"). Общий итог -
констатация, что путь виновника торжества не был
усыпан розами, но на пути этом он обрел немалые
ценности, причем не только для себя, но и для
всего человечества. |
|
|
|
|
|
Затем последовал первый кофе-брейк, во
время которого собравшимся была предоставлена
возможность приобрести второе издание книги
"Феномен науки..."; раздача синих
"слонов" сопровождалась легким ажиотажем и
толчеей на грани перехода приличий, которая
все-таки не была перейдена из уважения к
присутствующему автору. Многие, конечно, не
отказали себе в удовольствии взять у него
автограф. Напомним, что первое издание книги
стало библиографической редкостью сразу после
выхода в 1993 г. в издательстве "Наука"
небольшим тиражом (800 экз.). |
|
|
|
|
|
Далее состоялся собственно семинар
"Метавычисления и суперкомпиляция",
разделенный на две части вторым кофе-брейком.
Теплая атмосфера, возникшая в зале во время
первого отделения, сохранялась и во время
докладов и сообщений. Семинар украсила даже
темпераментная оппозиция. |
|
|
|
|
|
Приводим содержание семинара:
- Обсуждение концепции метасистемных переходов,
применение которой в информационных технологиях
приводит к теории метавычислений.
- Презентация международного проекта
"СУПЕРКОМПИЛЯЦИЯ", посвященного созданию
суперкомпиляторов для различных языков
программирования и применения теории
суперкомпиляции для разработки системного
программного обеспечения для сложных
информационных систем.
- Информация о современных реализациях языка
РЕФАЛ.
- Научные доклады для специалистов, в которых
подробно были изложены: достижения и проблемы
реализации суперкомпиляторов для языков РЕФАЛ и
JAVA (Анд.В.Климов, Арк.В.Климов); исследования
возможностей автоматического получения при
помощи метавычислений эффективных реализаций
нестандартных семантик (С.М.Абрамов); реализация
суперкомпилятора SCP4 для языка РЕФАЛ-5
(А.П.Немытых); опыт преподавания метавычислений
(С.М.Абрамов).
- Выступление самого В.Ф.Турчина с оригинальным
примером, демонстрирующим возможности
Рефал-компилятора при решении задач
искусственного интеллекта с использованием
предикатов.
|
|
|
|
|
|
Послесловие: данный семинар доказал,
что российская наука сохраняет ведущие позиции в
определенных областях информатики. |
|
|
|
|
|
Примечание: вниманию
заинтересованных лиц рекомендуются также
публикации Валентин
Турчин, Институционализация ценностей, Воспоминания
Н.Работнова о Турчине. |
|
|