МЕТА-

ВЫЧИСЛЕНИЯ

Home

СУПЕР-

КОМПИЛЯЦИЯ

И

    (Репортаж о семинаре-презентации)

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

 

 
Примечание: вниманию заинтересованных лиц рекомендуются также публикации Валентин Турчин, Институционализация ценностей, Воспоминания Н.Работнова о Турчине.

 

 

Новости

Автор

История

Документация

Приложения 

Форумы

Рефал-сайты