Бэкус, Джон
Джон Бэкус (англ. John Warner Backus[4];3 декабря 1924[1], Филадельфия, Пенсильвания[3] — 17 марта 2007[2][1][…], Ашленд[вд], Орегон[3]) — американский учёный в области информатики, руководитель команды создателей первого высокоуровневого языка программирования Фортран, изобретатель формы Бэкуса — Наура — одной из самых распространённых и универсальных нотаций для определения синтаксиса формальных языков, лауреат премии Тьюринга (1977).
Джон Бэкус | |
---|---|
англ. John Warner Backus | |
Имя при рождении | англ. John Warner Backus[1] |
Дата рождения | 3 декабря 1924[1] |
Место рождения | |
Дата смерти | 17 марта 2007[2][1][…] (82 года) |
Место смерти | |
Страна | США |
Род деятельности | математик, специалист в области информатики |
Научная сфера | информатика |
Место работы | |
Альма-матер | Колумбийский университет |
Известен как | руководитель команды, разработавшей первый высокоуровневый язык программирования Фортран; разработал БНФ |
Награды и премии |
стипендиат IBM[вд] (1963) премия Тьюринга (1977) премия Чарльза Старка Дрейпера (1993) премия Гарольда Пендера (1983) Fellow Awards (1997) Programming Languages Achievement Award[вд] (2004) премия Уоллеса Макдауэлла (1967) премия Института промышленных исследований за выдающиеся достижения[вд] (1984) член Американской академии искусств и наук (1985) почётный доктор Университета Нанси I[вд] (4 января 1989) |
Медиафайлы на Викискладе |
Член Национальной академии наук США (1974)[5].
Биография
правитьРодился в Филадельфии, рос в Уилмингтоне (Делавэр), окончил школу Хилл (англ. The Hill School) в Поттстауне (англ. Pottstown). В 1942 году поступил в Университет Вирджинии на факультет химии, однако был отчислен на втором курсе за пропуски занятий. После этого был призван в Тихоокеанский флот США, однако при медосмотре у него обнаружили опухоль черепной кости, которая была успешно оперирована с установкой костного имплантата.
После службы в армии во время Второй мировой войны попал в Нью-Йорк, где начал обучение в радиотехнической школе, увлекшись задачей разработки высококачественного звуковоспроизводящего устройства. Один из преподавателей убедил Бэкуса продолжить образование, и он поступил в Колумбийский университет, получив в 1949 году степень магистра математики.
В 1950 году нанят в IBM, где вскоре возглавил группу, разрабатывавшую интерпретатор Speedcoding[англ.] для компьютера IBM 701, а позже принял участие в создании усовершенствованного варианта этой машины, модели IBM 704. В 1953 году предложил создать для компьютера IBM 704 язык, позволяющий записывать команды почти в обычной алгебраической форме, и компилятор для него. Данное предложение быстро нашло поддержку, так как в фирме искали пути, обеспечивающие увеличение сбыта своих компьютеров, и потому стремились сделать их более привлекательными, «дружественными» пользователю. В результате в течение 1954—1957 годов был создан язык Фортран, всеобще признаваемый первым в истории языком программирования высокого уровня.
Впоследствии принимал активное участие в развитии Фортрана, участвовал в комитете по созданию Алгола. В процессе подготовки отчёта об Алголе разработал специальную систему определений, формально описывающую синтаксис языка программирования, которую представил на конференции ЮНЕСКО в Париже в 1959 году. Вскоре этот способ записи назвали нормальной формой Бэкуса; позже Петер Наур внёс уточнения в нотацию, и форму стали называть формой Бэкуса — Наура (при этом сокращение осталось прежним — БНФ).
В 1963 году стал почётным сотрудником IBM (англ. IBM Fellow). В 1975 году награждён Национальной научной медалью США.
В 1977 году за труды по созданию Фортрана и вклад по формализации специфицирования языков программирования награждён премией Тьюринга. Тьюринговскую лекцию «Можно ли освободить программирование от стиля фон-Неймана?»[6] посвятил комбинаторному программированию и представил в ней язык FP[англ.], во многом впитавший идеи из APL Айверсона и оказавший влияние на такие языки 1980-х годов, как Haskell и J. Во второй половине 1980-х годов совместно с коллегами из Алмаденского исследовательского центра IBM разработал язык FL[англ.], развивающий идеи комбинаторного программирования, заложенные в FP.
До выхода на пенсию в 1991 году работал в исследовательских лабораториях IBM. Подписал «Предупреждение учёных человечеству» (1992)[7]. В 1993 году за создание Фортрана удостоен премии Дрейпера. Последние годы провёл с семьёй в Ашленде (Орегон).
Примечания
править- ↑ 1 2 3 4 5 6 Архив по истории математики Мактьютор — 1994.
- ↑ 1 2 John W. Backus, 82, Fortran Developer, Dies (англ.) // The New York Times / J. Kahn — Manhattan: New York Times Company, A. G. Sulzberger, 2007. — ed. size: 443000 — ISSN 0362-4331; 1553-8095; 1542-667X
- ↑ 1 2 3 4 John Warner Backus // Encyclopædia Britannica (англ.)
- ↑ John Warner Backus. Архивная копия от 20 марта 2016 на Wayback Machine
- ↑ John Backus (англ.). nasonline.org. Дата обращения: 4 июля 2019. Архивировано 6 октября 2018 года.
- ↑ Джон Бэкус. Можно ли освободить программирование от стиля фон-Неймана? Функциональный стиль и соответствующая алгебра программ // Лекции лауреатов премии Тьюринга = Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs. — М.: Мир, 1993. — С. 84—158. — 560 с. — 2000 экз. — ISBN 5-03-002130-2.
- ↑ World Scientists' Warning To Humanity (англ.). stanford.edu (18 ноября 1992). Дата обращения: 4 июля 2019. Архивировано из оригинала 6 декабря 1998 года.
Ссылки
править- Леонид Черняк. Ревизия первооснов — конец застоя? Издательство «Открытые системы». Дата обращения: 28 сентября 2013. Архивировано из оригинала 30 сентября 2007 года.
- Юрий Полунов. «Первая попытка» . Виртуальный компьютерный музей. Дата обращения: 28 сентября 2013.
- Личности. Джон Бэкус — создатель языка Fortran (неопр.) // Информатика. — Первое сентября, 2007. — Т. 08. Архивировано 23 октября 2013 года.