Кристофер Стрейчи | |
---|---|
Ранняя компьютерная распечатка Кристофера Стрейчи из Бодлианской библиотеки, Оксфорд | |
Родился | (1916-11-16) 16 ноября 1916 года. Хэмпстед, Англия |
Умер | 18 мая 1975 года (1975-05-18) (58 лет). Оксфорд, Англия |
Гражданство | UK |
Alma mater | Королевский колледж, Кембридж |
Известен как | CPL, денотационная семантика, Фундаментальные концепции языков программирования |
Научная карьера | |
Области | Компьютерные науки |
Учреждения | Кембриджский университет,. Оксфордский университет |
Докторанты | Питер Моссес. Дэвид Тернер |
Кристофер С. Стрейчи (; 16 ноября 1916 - 18 мая 1975) был британским ученым-компьютерщиком. Он был одним из основоположников денотационной семантики и пионером в языке программирования дизайн и компьютер с разделением времени. Он был членом семьи Стрейчи, видным деятелем правительства, искусства, администрации и академических кругов.
Родился Кристофер Стрэчи 16 ноября 1916 г. Оливеру Стрейчи и Рэйчел (Рэй) Костелло в Хэмпстеде, Англия. Оливер Стрэчи был сыном Ричарда Стрэчи и правнуком сэра Генри Стрейчи, 1-го баронета. Его старшей сестрой была писательница Барбара Стрейчи. В 1919 году семья переехала на 51 Гордон-сквер. Семья Стрейчи принадлежала к группе Блумсбери, в которую входили Вирджиния Вульф, Джон Мейнард Кейнс и дядя Кристофера Литтон Стрейчи. В 13 лет Кристофер пошел в Gresham's School, Holt, где проявил блестящие способности, но в целом успел плохо. Он был принят в Королевский колледж Кембриджа (тот же колледж, что и Алан Тьюринг ) в 1935 году, где продолжал пренебрегать учебой. Стрейчи изучал математику, а затем перешел на физику. В конце третьего года обучения в Кембридже Стрейчи перенес нервный срыв, возможно связанный с его гомосексуализмом. Он вернулся в Кембридж, но получил только «меньшую секунду» в Tripos по естественным наукам.
Не имея возможности продолжить свое образование, Кристофер присоединился к Standard Telephones and Cables (STC) в качестве физика-исследователя. Его первой работой был математический анализ конструкции электронных ламп, используемых в радаре. Сложность расчетов потребовала использования дифференциального анализатора . Этот первый опыт работы с вычислительной машиной вызвал интерес Стрейчи, и он начал исследовать эту тему. Заявка на получение ученой степени в Кембриджском университете была отклонена, и Стрейчи продолжал работать в STC на протяжении всей Второй мировой войны. После войны он выполнил свои давние амбиции, став учителем школы Святого Эдмунда в Кентербери, где преподавал математику и физику. Три года спустя он смог перейти в более престижную школу Харроу в 1949 году, где проработал три года.
В январе 1951 года друг познакомил его с Майком Вудгером из Национальной физической лаборатории (NPL). Лаборатория успешно создала сокращенную версию Automatic Computing Engine (ACE) Алана Тьюринга, концепция которой датируется 1945 годом: Pilot ACE. В свободное время Стрейчи разработал программу для игры в шашки (также известные как «шашки»), предварительную версию которой он закончил в мае 1951 года. Игра полностью истощила память Pilot ACE. Впервые черновики программы попытались запустить 30 июля 1951 года в НПЛ, но безуспешно из-за ошибок программы. Когда Стрейчи услышал о Manchester Mark 1, у которого была гораздо большая память, он попросил у своего бывшего однокурсника Алана Тьюринга руководство и записал свою программу в коды операций этого руководства. примерно к октябрю 1951 года. К лету 1952 года программа могла «играть в полную игру в шашки с разумной скоростью».
Стрэчи запрограммировал первую музыку, исполняемую на компьютере; исполнение британского национального гимна на Mark II Manchester Electronic Computer в Манчестере в 1951 году. Позже в том же году на BBC были записаны короткие отрывки из трех пьес. вне радиовещания: национальный гимн, «Ba, Ba Black Sheep и« In the Mood ». Исследователи из Университета Кентербери, Крайстчерч восстановил мастер-диск ацетата в 2016 году, и результаты можно будет услышать на SoundCloud.
. В мае 1952 года Стрейчи выступил с докладом, состоящим из двух частей, на тему «Изучение контроля над животными и машинами» («кибернетика ") для программы BBC Home Service " Science Survey ".
Стрэчи работал в Национальной корпорации развития исследований (NRDC) с 1952 по 1959. Работая над проектом Морского Пути Святого Лаврентия, он смог посетить несколько компьютерных центров в США и каталогизировать их наборы инструкций. Позже он работал над программированием обоих Elliott 401 компьютер и d компьютер Ferranti Pegasus. Вместе с Дональдом Б. Гиллисом он зарегистрировал 3 патента в области проектирования вычислительной техники, включая разработку базовых регистров для перемещения программ. Он также работал над анализом вибрации в самолетах, недолго работая с Роджером Пенроузом. Стрейчи разработал концепцию разделения времени в 1959 году, подав патентную заявку в феврале и выступив с докладом «Разделение времени в больших быстрых компьютерах» на первой конференции ЮНЕСКО по обработке информации в Париже. где он передал концепцию Дж. К. Р. Ликлайдер.
В 1959 году Стрейчи покинул NRDC, чтобы стать компьютерным консультантом, работая в NRDC, EMI, Ferranti и других организациях над рядом широкомасштабных проектов. Эта работа включала логический дизайн для компьютеров, обеспечивающий автокод, а затем разработку языков программирования высокого уровня. Для контракта на производство автокода для компьютера Ferranti Orion Стрэчи нанял Питера Ландина, который стал его единственным помощником на время его консультационного периода.
В 1962 году, оставаясь консультантом, он принял должность в Кембриджском университете.
В 1965 году Стрейчи принял должность в Оксфордском университете в качестве первого директора исследовательской группы программирования, а затем первого профессора компьютерных наук в университете и научного сотрудника Вольфсон-колледж, Оксфорд. Он сотрудничал с Даной Скотт.
Стрейчи был избран почетным членом Британского компьютерного общества в 1971 году за свою новаторскую работу в области компьютерных наук.
В 1973 году Стрейчи (вместе с) начал писать эссе, представленное на конкурс Премии Адамса, после чего они продолжили работу по переработке его в виде книги. Стрейчи можно увидеть и услышать в записанных дебатах Лайтхилла об ИИ (см. отчет Лайтхилла ).
Стрейчи заболел болезнью с диагнозом желтуха, которая после периода кажущегося выздоровления вернулась, и 18 мая 1975 года он умер от инфекционного гепатита.
Он разработал комбинированный язык программирования (CPL). Его влиятельный набор лекций Фундаментальные концепции языков программирования формализовал различие между L- и R- значениями (как видно на языке программирования C ). Стрэйчи также ввел термин каррирование, хотя не он изобрел основную концепцию.
Он сыграл важную роль в разработке компьютера Ferranti Pegasus.
Он был пионером ранних видеоигр, создав версию черновиков для Ferranti Mark 1.
Макроязык m4 во многом унаследовал от Стрэчи GPM (General Purpose Macrogenerator ), один из первых языков расширения макросов.
Департамент компьютерных наук в университете из Оксфорда имеет докторскую степень по вычислительной технике Кристофера Стрэчи, которую в настоящее время занимает Самсон Абрамски FRS.
В ноябре 2016 года в Оксфордском университете было проведено мероприятие Strachey 100, посвященное столетию со дня рождения Рождение Стрейчи, в том числе просмотр в Библиотеке Вестона в Оксфорде архива Кристофера Стрейчи, хранящегося в коллекции Бодлианской библиотеки.