Джон Бэкус
Джон Бэкус | |
|---|---|
 Бэкус в декабре 1989 года | |
| Рожденный | Джон Уорнер Бэкус 3 декабря 1924 г. |
| Умер | 17 марта 2007 г. (82 года) |
| Альма-матер | Университет Вирджинии Университет Питтсбурга Хаверфордский колледж Колумбийский университет (BS 1949, MS 1950) |
| Известный | Спидкодирование ФОРТРАН АЛГОЛ Форма Бэкуса – Наура Программирование на функциональном уровне |
| Супруги | Марджори Джеймисон
Барбара Уна
|
| Дети | 2 |
| Награды | Национальная медаль науки (1975 г.) Премия Тьюринга (1977) Премия Чарльза Старка Дрейпера (1993) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | ИБМ |
Джон Уорнер Бэкус (3 декабря 1924 — 17 марта 2007) — американский учёный-компьютерщик . Он возглавлял команду, которая изобрела и внедрила FORTRAN , первый широко используемый язык программирования высокого уровня , и был изобретателем формы Бэкуса-Наура (BNF), широко используемой нотации для определения синтаксиса формальных языков . Позже он провел исследование парадигмы программирования на функциональном уровне , представив свои выводы в своей влиятельной лекции на Премии Тьюринга 1977 года «Можно ли программирование освободиться от стиля фон Неймана?» [1]
наградил В 1967 году IEEE Бэкуса премией WW McDowell Award за разработку FORTRAN. [2] Он получил Национальную медаль науки в 1975 году. [3] и Премия Тьюринга 1977 года «за глубокий, влиятельный и продолжительный вклад в разработку практических систем программирования высокого уровня, особенно благодаря его работе над FORTRAN, а также за публикацию формальных процедур спецификации языков программирования». [4]
Джон Бэкус вышел на пенсию в 1991 году. Он умер в своем доме в Эшленде, штат Орегон, 17 марта 2007 года. [5]
Ранняя жизнь [ править ]
Бэкус родился в Филадельфии и вырос в соседнем Уилмингтоне, штат Делавэр . [6] Он учился в школе The Hill в Поттстауне, штат Пенсильвания , но, видимо, не был прилежным учеником. [5] Он поступил в колледж Университета Вирджинии , чтобы изучать химию , но у него были проблемы с занятиями, и менее чем через год его исключили за плохую посещаемость. [7] Впоследствии он был призван в армию США во время Второй мировой войны . [5] и в конце концов получил звание капрала, будучи назначенным командиром зенитной батареи, дислоцированной в Форт-Стюарте , штат Джорджия . [7]
Получив высокие баллы на тесте на военную пригодность, армия отправила его изучать инженерное дело в Питтсбургский университет . [7] Позже он перешел на домедицинскую программу в Хаверфорд-колледже . [8] Во время стажировки в больнице у него диагностировали опухоль черепной кости , которую успешно удалили, а на голову установили пластину. Затем он перешел в медицинскую школу Флауэр и Пятой авеню , но нашел это неинтересным и бросил учебу через девять месяцев. [7] Вскоре ему сделали вторую операцию по замене металлической пластины в голове на пластину собственной конструкции. [9] и получил почетное увольнение из армии США по состоянию здоровья в 1946 году. [7]
Фортран [ править ]
![[икона]](/wiki/File:Wiki_letter_w_cropped.svg){kind=small} | Этот раздел нуждается в расширении . Вы можете помочь, дополнив это . ( январь 2017 г. ) |
После переезда в Нью-Йорк он сначала получил образование радиотехника и заинтересовался математикой. Он окончил Колумбийский университет со степенью бакалавра в 1949 году и степенью магистра в 1950 году по математике. [7] [10] и присоединился к IBM в 1950 году. В течение первых трех лет он работал над электронным калькулятором выборочной последовательности (SSEC) ; его первым крупным проектом было написание программы для расчета положения Луны . В 1953 году Бэкус разработал язык Speedcoding , первый язык высокого уровня, созданный для компьютера IBM, чтобы помочь в разработке программного обеспечения для компьютера IBM 701 . [11]
Программирование в то время было очень трудным, и в 1954 году Бэкус собрал команду, чтобы определить и разработать Фортран для компьютера IBM 704 . Фортран был первым языком программирования высокого уровня, получившим широкое распространение. Этот широко используемый язык сделал компьютеры практичными и доступными машинами для ученых и других людей, не требуя от них глубоких знаний о машинах. [12]
Форма Бэкуса–Наура [ править ]
Бэкус работал в международных комитетах, которые разработали АЛГОЛ 58 и очень влиятельный АЛГОЛ 60 , который быстро стал де-факто всемирным стандартом для публикации алгоритмов . Бэкус разработал форму Бэкуса-Наура (BNF), опубликованную в отчете ЮНЕСКО об Алголе 58. Это была формальная нотация, способная описать любой контекстно-свободный язык программирования, и она сыграла важную роль в разработке компиляторов . Было опробовано несколько отклонений от этого подхода (особенно в Lisp и APL ), но к 1970-м годам контекстно-свободные спецификации Бэкуса-Наура для компьютерных языков стали вполне стандартными после разработки автоматических генераторов компиляторов, таких как yacc .
Этот вклад помог Бэкусу получить премию Тьюринга в 1977 году.
Программирование на функциональном уровне [ править ]
Позже Бэкус работал над языком программирования функционального уровня , известным как FP , который был описан в его лекции на Премии Тьюринга «Можно ли программирование освободиться от стиля фон Неймана ?». [1] Эту статью, которую иногда рассматривают как извинение Бэкуса за создание Фортрана, эта статья не столько способствовала повышению интереса к языку FP, сколько стимулировала исследования функционального программирования в целом. Когда Бэкус обнародовал стиль программирования на уровне функций, его послание в большинстве случаев было понято неправильно. [13] как то же самое, что и традиционные языки функционального стиля программирования.
FP был сильно вдохновлен Кеннета Э. Айверсона , APL даже используя нестандартный набор символов . FP Интерпретатор распространялся вместе с 4.2BSD операционной системой Unix , но реализаций языка было сравнительно немного, большинство из которых использовались в образовательных целях.
Бэкус провел последнюю часть своей карьеры, разрабатывая FL (от «Function Level»), преемника FP. FL был внутренним исследовательским проектом IBM, и разработка языка прекратилась после завершения проекта. Осталось лишь несколько документов, документирующих это, и исходный код описанного в них компилятора не был обнародован. FL противоречил функциональным языкам программирования, разработанным в 1980-х годах, большинство из которых были основаны на лямбда-исчислении и статических системах типизации, а не на конкатенации примитивных операций, как в APL. Многие идеи языка теперь реализованы в версиях языка программирования J , преемника Айверсона APL.
Награды и почести [ править ]
- Назван научным сотрудником IBM (1963). [14]
- Премия WW Макдауэлла (1967) [2]
- Национальная медаль науки (1975 г.) [3]
- Премия Тьюринга (1977) [4]
- Член Американской академии искусств и наук (1985). [15]
- доктор Почетный Университета Анри-Пуанкаре (1989). [16]
- Премия Дрейпера (1993) [17]
- Премия стипендиата Музея истории компьютеров «за разработку FORTRAN, вклад в теорию компьютерных систем и управление программными проектами». (1997) [18]
- Астероид 6830 Джонбакус назван в его честь (1 июня 2007 г.) †
См. также [ править ]
Ссылки [ править ]
- ^ Перейти обратно: а б Бэкус, Джон (август 1978 г.). «Можно ли программирование освободить от стиля фон Неймана?: функциональный стиль и его алгебра программ» . Коммуникации АКМ . 21 (8). дои : 10.1145/359576.359579 . S2CID 16367522 .
- ^ Перейти обратно: а б «Премия В. Уоллеса Макдауэлла» . Архивировано из оригинала 29 сентября 2007 года . Проверено 15 апреля 2008 г.
- ^ Перейти обратно: а б «Национальная медаль президента в области науки: Джон Бэкус» . Национальный научный фонд. Архивировано из оригинала 29 сентября 2007 года . Проверено 21 марта 2007 г.
- ^ Перейти обратно: а б «Цитата на премию ACM Тьюринга: Джон Бэкус» . Ассоциация вычислительной техники . Архивировано из оригинала 4 февраля 2007 года . Проверено 22 марта 2007 г.
- ^ Перейти обратно: а б с Лор, Стив (20 марта 2007 г.). «Умер Джон В. Бэкус, 82 года, разработчик Фортрана» . Нью-Йорк Таймс . Проверено 21 марта 2007 г.
- ^ «Джон Бэкус» . Проект «История вычислений» . Архивировано из оригинала 27 апреля 2016 года . Проверено 28 апреля 2016 г.
- ^ Перейти обратно: а б с д Это ж «Джон Бэкус — лауреат премии А. М. Тьюринга» . Премия Тьюринга ACM AM . Архивировано из оригинала 19 января 2018 года . Проверено 4 мая 2018 г.
- ^ «Изобретатель недели Архив Джон Бэкус» . Программа Лемельсона-MIT . Февраль 2006. Архивировано из оригинала 26 октября 2011 года . Проверено 25 августа 2011 г.
- ^ Грэди Буч (25 сентября 2006 г.). «Устная история Джона Бэкуса» (PDF) . Проверено 17 августа 2009 г.
- ^ «Джон Бэкус» . www.columbia.edu . Проверено 2 октября 2021 г.
- ^ Аллен, FE (сентябрь 1981 г.). «История технологии языковых процессоров в IBM». Журнал исследований и разработок IBM . 25 (5): 535–548. дои : 10.1147/rd.255.0535 .
- ^ «Джон Бэкус | Лемельсон» . lemelson.mit.edu . Проверено 7 февраля 2023 г.
- ^ Худак, Пол (1989). «Концепция, эволюция и применение языков функционального программирования». Обзоры вычислительных систем ACM, Vol. 21, № 3
- ^ «Джон Бэкус» . Архивы IBM . 23 января 2003. Архивировано из оригинала 26 августа 2011 года . Проверено 21 марта 2007 г.
- ^ «Книга участников, 1780–2010: Глава B» (PDF) . Американская академия искусств и наук. Архивировано (PDF) из оригинала 25 июля 2011 г. Проверено 28 апреля 2011 г.
- ^ «Джон Бэкус» . Архивировано из оригинала 14 мая 2008 года . Проверено 15 апреля 2008 г.
- ^ «Лауреаты премии Чарльза Старка Дрейпера» . Архивировано из оригинала 2 марта 2010 года . Проверено 26 марта 2007 г.
- ^ «Получатель награды Fellow Awards 1997 года Джон Бэкус» . Архивировано из оригинала 9 июля 2010 года . Проверено 15 апреля 2008 г.
Внешние ссылки [ править ]
- Биография в Школе математики и статистики Университета Сент-Эндрюс, Шотландия
- Биография в проекте «История вычислений»
- Проект FL (файл Postscript)
- «Некролог Джона В. Бэкуса» . Газета "Нью-Йорк Таймс . 20 марта 2007 г.
- Архивы IBM
- О БНФ
- Зал товарищей, Музей компьютерной истории
- Кэмпбелл-Келли, Мартин (апрель 2007 г.). «Некролог: Джон Бэкус (1924–2007): изобретатель самого распространенного в науке языка программирования, Фортрана» . Природа . 446 (7139): 998. дои : 10.1038/446998a . ПМИД 17460658 . S2CID 4325337 .
- Мемориал вручен на конференции 2007 года по разработке и реализации языков программирования.
- 1924 рождения
- смертей в 2007 г.
- Американские математики XX века
- Американские математики XXI века
- Персонал армии США времен Второй мировой войны
- Лауреаты премии Дрейпера
- Выпускники Школы общих исследований Колумбийского университета
- Выпускники Колумбийского университета
- Члены Американской академии искусств и наук
- Фортран
- Члены IBM
- Члены Национальной академии наук США
- Лауреаты Национальной медали науки
- Ученые-компьютерщики IBM Research
- Люди из Ашленда, штат Орегон
- Математики из Филадельфии
- Жители Уилмингтона, Делавэр
- Разработчики языков программирования
- Исследователи языков программирования
- Унтер-офицеры армии США
- Лауреаты премии Тьюринга
- Выпускники Университета Вирджинии
- Выпускники школы Хилл
- Ученые из Делавэра
- Ученые из Орегона