Аркадий Частиков - Архитекторы компьютерного мира

В 1962 году по приглашению академика М. А. Лаврентьева А. А. Ляпунов переехал в Новосибирск и начал работать в Институте математики СО АН СССР, где с 1967 года заведовал отделом в отделении кибернетики. В Новосибирске он продолжал работать по дескриптивной теории множеств, по теоретическому программированию и развернул широкие исследования по математической биологии, в частности по таким ее проблемам, как моделирование экологических систем, популяционным явлениям, иерархичности управляющих систем в живой природе, проблемам классификации.

В 1964 году Алексей Андреевич Ляпунов был избран членом-корреспондентом Академии наук СССР.

Новосибирский период жизни А. А. Ляпунова в научном плане отмечен его работами философского характера, в частности осмыслением и развитием таких философских категорий, как материя, энергия и информация. Он приходит к убеждению, что "масса и энергия, с одной стороны, удовлетворяет закону сохранения, с другой — для них имеет место принцип заменяемости". Что же касается информации, то она обладает "совсем другими свойствами". Так, во-первых, по отношению к информации не имеет места закон сохранения, во-вторых, возможность размножения информации и невосстановимость утраченной являются ее характерными особенностями, в-третьих, "информация материальна, т. е. информация всегда нуждается в материальном носителе".

Эти философские концепции отражены в ряде его публикаций, а также представлены в виде тезисов доклада на Международном конгрессе по философии, который состоялся в Болгарии, в городе Варне, в 1973 году, но, к сожалению, без участия Алексея Андреевича.

Он скоропостижно скончался 23 июня 1973 года в Москве.

Заслуги Алексея Андреевича Ляпунова в области науки и воспитании научных кадров были отмечены многими правительственными наградами. В 1996 году одной из самых авторитетных организаций в области высоких технологий — IEEE Computer Society А. А. Ляпунов посмертно был удостоен медали "Computer Pioneer", как сказано: "For Soviet cybernetics and programming".

Джон Бэкус

17 октября 1977 года на ежегодной конференции ACM премия Алана Тьюринга была вручена человеку, который создал первый высокоуровневый язык программирования для научных и технических применений и о котором прекрасные слова произнесла председатель комитета по премиям — Джин Сэммит (эпиграф — фрагмент ее выступления). Более официально, премия была присуждена Джону Бэкусу"…за глубокий и важный вклад в создание практических систем программирования высокого уровня, в особенности за работы по FORTRAN и частые публикации формальных процедур для спецификации языков программирования".

Чтобы оценить гений Джона Бэкуса, нужно представить себе компьютерный мир в начале его развития — конец 40-х начало 50-х годов XX века. ENIAC — пример сложности раннего программирования: программа составлялась с помощью электрических соединений на коммутационном поле, и для ее установки требовалось от двух до трех дней. Затем появились компьютеры с хранимой в памяти программой — исчезла потребность в ее монтаже.

Однако труд программиста по написанию, вводу и отладке программ по- прежнему был нелегким. Сначала программы писались на машинном языке (в двоичном коде), потом — в восьмеричном. Далее для облегчения участи программистов были придуманы подпрограммы, а затем первые ассемблеры. Но эффективность программирования от этого существенно не повысилась. Если бы кто-то мог написать транслятор, который бы переводил команды высокого уровня в машинный код, причем этот код не отличался от ручного кода программиста — это было бы реальным достижением.

И вот появился Джон Бэкус. Он родился в Филадельфии 3 декабря 1924 года. Учился в Вашингтоне, затем осенью 1942 года поступил в университет Вирджинии на химический факультет. Однако вскоре был отчислен и в начале 1943 года пошел в армию. После службы в армии в мае 1946 года он оказался в Нью-Йорке, где поступил в радиотехническую школу. Преподаватель по ремонту теле- и радиоаппаратуры пробудил в нем интерес к математике и убедил его продолжить учебу в Колумбийском университете.

Джону Бэкусу было 25 лет, когда он, получив степень магистра математики в Колумбийском университете, по приглашению Рекса Сибера — одного из изобретателей машины SSEC (Selective Sequence Electronic Calculator), поступил на работу программистом в фирму IBM. Это случилось в 1950 году.

Бэкус ничего не знал о компьютерах, когда пришел в фирму IBM, но проработав на SSEC около года, возглавил небольшую группу программистов, которая разработала интерпретатор Speedcoding для компьютера IBM 701. Затем он работал в составе группы по созданию преемника компьютера IBM 701 — компьютера IBM 704.

Koмпьютер IBM 701

В декабре 1953 года Джон Бэкус, неоднократно заявлявший, что "всегда был лентяем", обратился к своему шефу Кутберту Хэрду с предложением разработать практический язык программирования высокого уровня и компилятор для машины IBM 704. Ответ был восторженным и предложению Бэкуса был дан зеленый свет.

Местом рождения FORTRAN стала штаб-квартира фирмы IBM на Мэдисон-авеню в Нью-Йорке — в офисе на 19 этаже, где расположилась группа Бэкуса. Сначала с Бэкусом работал только Ирвинг Циллер, потом присоединился Харлан Геррик с полудюжиной математиков и техников.

В принципе разработчики и не думали, что их язык программирования будет когда-либо использоваться на машинах, отличных от IBM 704, но они были уверены, что если они преуспеют, их работа будет иметь огромное воздействие на компьютерный мир.

Итак, работа началась. Сначала они выделили основные понятия языка, в частности оператор присваивания, задававший переменным определенное значение, затем они ввели индексируемые переменные и очень важный оператор цикла — DO. Как говорил Бэкус, большинство пользователей "считали, что основной вклад FORTRAN — это возможность иметь программы в виде алгебраических формул, но на самом деле это не так". По мнению Бэкуса, "что делал FORTRAN в первую очередь, так это автоматизировал организацию циклов" — свойство, незаменимое в научных приложениях.