Кристофер Стрейчи - Christopher Strachey

Кристофер Стрейчи
Кристофер Стрэчи компьютерная распечатка.jpg
Ранняя компьютерная распечатка Кристофера Стрейчи в Библиотека имени Бодлея, Оксфорд
Родившийся(1916-11-16)16 ноября 1916 г.
Hampstead, Англия
Умер18 мая 1975 года(1975-05-18) (58 лет)
Оксфорд, Англия
ГражданствоВеликобритания
Альма-матерКоролевский колледж, Кембридж
ИзвестенCPL, денотационная семантика, Фундаментальные концепции языков программирования
Научная карьера
ПоляИнформатика
УчрежденияКембриджский университет,
Оксфордский университет
ДокторантыПитер Мосс
Дэвид Тернер

Кристофер С. Стрейчи (/ˈsтрeɪtʃя/; 16 ноября 1916 - 18 мая 1975) был британцем специалист в области информатики.[1][2][3] Он был одним из основателей денотационная семантика, и пионер в язык программирования дизайн и компьютер совместное времяпровождение.[4] Он был членом Стрейчи семья, видная в правительстве, искусстве, администрации и академических кругах.

Жизнь

Кристофер Стрейчи родился 16 ноября 1916 года в Оливер Стрейчи и Рэйчел (Рэй) Костелло в Hampstead, Англия. Оливер Стрейчи был сыном Ричард Стрейчи и правнук Сэр Генри Стрейчи, первый баронет. Его старшая сестра была писателем Барбара Стрейчи. В 1919 году семья переехала в 51 год. Гордон-сквер. Стрейчи принадлежали к Bloomsbury Group члены которого включали Вирджиния Вульф, Джон Мейнард Кейнс и дядя Кристофера Литтон Стрейчи. В 13 лет Кристофер отправился в Gresham's School, Холт где он проявлял признаки блестящих способностей, но в целом выступал плохо. Он был принят в Королевский колледж, Кембридж (тот же колледж, что и Алан Тьюринг ) в 1935 году, где он продолжал пренебрегать учебой. Стрейчи учился математика а затем переведен в физика. В конце третьего года в Кембридж У Стрейчи случился нервный срыв, возможно, связанный с его гомосексуализмом. Он вернулся в Кембридж, но показал только «меньшую секунду» в Туры по естественным наукам.[5]

Не имея возможности продолжить образование, Кристофер присоединился к Стандартные телефоны и кабели (STC) как физик-исследователь. Его первая работа заключалась в проведении математического анализа для проектирования электронные лампы используется в радар. Сложность расчетов потребовала использования дифференциальный анализатор. Этот первый опыт работы с вычислительной машиной вызвал интерес Стрейчи, и он начал исследовать эту тему. Заявка на получение ученой степени в Кембриджском университете была отклонена, и Стрейчи продолжал работать в STC в течение Вторая мировая война. После войны он осуществил давнюю мечту, став учителем в Школа Святого Эдмунда, Кентербери, обучение математике и физике. Через три года он смог перейти в более престижный Школа Харроу в 1949 году, где он пробыл три года.

В январе 1951 года друг познакомил его с Майк Вудгер из Национальная физическая лаборатория (НПЛ). Лаборатория успешно построила уменьшенную версию алгоритма Алана Тьюринга. Автоматическая вычислительная машина (ACE) концепция которого датируется 1945 годом: Пилотный ACE. В свободное время Стрейчи разработал программу для игры в Черновики (также известный как «шашки»), предварительную версию которой он закончил в мае 1951 года. Игра полностью истощила память Pilot ACE. Впервые черновики программы попытались запустить 30 июля 1951 года в НПЛ, но безуспешно из-за ошибок программы.[6] Когда Стрейчи услышал о Манчестер Марк 1 у которого была гораздо большая память, он попросил у своего бывшего сокурсника Алана Тьюринга руководство и записал свою программу в коды операций примерно к октябрю 1951 года. К лету 1952 года программа могла «играть в полную игру в шашки с разумной скоростью».[7][8]

Стрейчи впервые запрограммировал музыку, исполняемую на компьютере; исполнение Британский национальный гимн на Mark II Манчестерский электронный компьютер в Манчестере, в 1951 году. Позже в том же году там были записаны короткие отрывки из трех пьес. BBC вне радиовещательной единицы: Государственный гимн ",Ба, Ба Черная овца, и "В настроении ". Исследователи Кентерберийский университет, Крайстчерч восстановил мастер-диск из ацетата в 2016 году, и результаты можно будет услышать на SoundCloud.[9][10]

В мае 1952 года Стрейчи выступил с докладом, состоящим из двух частей, на тему «Изучение контроля над животными и машинами» («кибернетика ") для BBC Home Service программа "Научный обзор".[11][12]

Стрейчи работал на Национальная корпорация развития исследований (NRDC) с 1952 по 1959 год. Работая над проектом морского пути Святого Лаврентия, он смог посетить несколько компьютерных центров в Соединенных Штатах и ​​каталогизировать их наборы инструкций. Позже он работал над программированием как Эллиотт 401 компьютер и Ферранти Пегас компьютер. Вместе с Дональд Б. Гиллис, он зарегистрировал 3 патента в области проектирования вычислительной техники, включая разработку базовых регистров для перемещения программ. Он также работал над анализом вибрации в самолетах, кратко работая с Роджер Пенроуз.

В 1959 году Стрейчи покинул NRDC, чтобы стать консультантом по компьютерам в NRDC. EMI, Ферранти и другие организации по ряду широкомасштабных проектов. Эта работа включала логический дизайн для компьютеров, обеспечивающий автокодирование а позже дизайн языки программирования высокого уровня. Для контракта на создание автокода для Ферранти Орион компьютер, Стрейчи нанял Питер Ландин который стал его единственным помощником на протяжении всего периода консультирования Стрейчи.

В 1962 году, оставаясь консультантом, он принял должность в Кембриджском университете.

В 1965 году Стрейчи занял должность в Оксфордский университет как первый директор Группа исследования программирования а позже первый профессор компьютерных наук и научный сотрудник Вольфсон Колледж, Оксфорд. Он сотрудничал с Дана Скотт.

Стрейчи был избран Заслуженным членом Британское компьютерное общество в 1971 году за новаторскую работу в области информатики.

В 1973 году Стрэчи (вместе с Роберт Милн ) начал писать эссе, представленное в Премия Адамса конкурса, после чего продолжили работу по переработке его в книжную форму. Стрейчи можно увидеть и услышать в записанных дебатах Лайтхилла об ИИ.[13] (видеть Отчет Лайтхилла ).

Стрейчи заразился болезнью, диагностированной как желтуха который после периода кажущегося выздоровления вернулся, и он умер от инфекционного гепатита 18 мая 1975 года.[14]

Работа

Стрейчи разработал концепцию совместное времяпровождение в 1959 г.,[15][16] подача заявки на патент в феврале и представление доклада «Разделение времени в больших быстрых компьютерах» на инаугурации Конференция ЮНЕСКО по обработке информации в Париже, где он передал концепцию Дж. К. Р. Ликлайдер.[17][18] Это зачислено Вычислительный центр Массачусетского технологического института в статье 1963 года как «первая статья о компьютерах с разделением времени».[4]

Он разработал Комбинированный язык программирования (CPL). Его влиятельный набор лекционных заметок Фундаментальные концепции языков программирования формализовали различие между L- и R- значения (как видно на Язык программирования C ). Стрейчи также ввел термин карри[нужна цитата ], хотя не он изобрел основную концепцию.

Он сыграл важную роль в разработке Ферранти Пегас компьютер.

Он был пионером ранних видеоигр, создав версию Черновики для Ферранти Марк 1.

Макроязык м4 во многом заимствован из GPM Стрейчи (Макрогенератор общего назначения ), один из первых языки расширения макросов.[19]

Наследие

В Департамент компьютерных наук на Оксфордский университет имеет степень Кристофера Стрейчи в области вычислительной техники, в настоящее время занимаемая Самсон Абрамский ФРС.[20]

В ноябре 2016 г. Стрейчи 100 мероприятие прошло в Оксфордском университете по случаю столетия со дня рождения Стрейчи,[21] включая просмотр на Библиотека Вестона в Оксфорде архива Кристофера Стрейчи, проходившего в Библиотека имени Бодлея коллекция.[22]

Рекомендации

  1. ^ Кристофер Стрейчи: британский ученый-компьютерщик, Британская энциклопедия.
  2. ^ Каталог бумаг и переписки КРИСТОФЕРА СТРАЧИ (1916–1975), Национальный архив, Объединенное Королевство.
  3. ^ Гордон, M.J.C., Кристофер Стрейчи: Воспоминания о его влиянии, Вычисление высшего порядка и символическое вычисление, 13 (1–2): 65–67, апрель 2000 г. ISSN  1388-3690. (Версия PostScript В архиве 13 марта 2017 в Wayback Machine.)
  4. ^ а б Ф. Дж. Корбато и др., Совместимая система разделения времени Руководство программиста (MIT Press, 1963) ISBN  978-0-262-03008-3. "первая статья К. Стрейчи о компьютерах с разделением времени на конференции ЮНЕСКО по обработке информации в июне 1959 г."
  5. ^ Кэмпбелл-Келли, М. (январь 1985 г.). «Кристофер Стрейчи, 1916–1975: биографическая заметка». IEEE Annals of the History of Computing. 7 (1): 21. Дои:10.1109 / mahc.1985.10001. S2CID  17188378.
  6. ^ «СВЯЩЕНСТВО В ИГРЕ: КОМПЬЮТЕРНЫЕ ИГРЫ 1950-Х ГГ.». Они создают миры. 22 января 2014 г.. Получено 28 августа 2017.
  7. ^ «Что такое искусственный интеллект». AlanTuring.net. Май 2000 г.. Получено 28 августа 2017.
  8. ^ Стрейчи, С. С. (сентябрь 1952 г.). Логические или нематематические программы. ACM '52: Материалы национального собрания ACM 1952 г. (Торонто). п. 47. Дои:10.1145/800259.808992.
  9. ^ «Восстановлена ​​первая запись компьютерной музыки, созданная Аланом Тьюрингом». Хранитель. 26 сентября 2016 г.. Получено 28 августа 2017.
  10. ^ «Восстановление первой записи компьютерной музыки - Блог Sound and Vision». Британская библиотека. 13 сентября 2016 г.. Получено 28 августа 2017.
  11. ^ "Научный обзор - BBC Home Service Basic - 1 мая 1952 - BBC Genome". BBC. Получено 28 августа 2017.
  12. ^ "Научный обзор - BBC Home Service Basic - 8 мая 1952 - BBC Genome". BBC. Получено 28 августа 2017.
  13. ^ bilkable (12 сентября 2010 г.), Дебаты Лайтхилла (1973) - часть 6 из 6, получено 27 октября 2017
  14. ^ [1]
  15. ^ «Компьютерные пионеры - Кристофер Стрейчи». history.computer.org. Получено 23 января 2020. В своей концепции разделения времени Стрэчи предложил схему, которая сохраняла бы прямой контакт между программистом и машиной, при этом обеспечивая экономию мультипрограммирования.
  16. ^ "Компьютер - разделение времени и миникомпьютеры". Энциклопедия Британника. Получено 23 января 2020. В 1959 году Кристофер Стрейчи в Великобритании и Джон Маккарти в США независимо друг от друга описали то, что они назвали разделением времени.
  17. ^ Гиллис, Джеймс М .; Гиллис, Джеймс; Гиллис, Джеймс и Кайо Роберт; Кайо, Р. (2000). Как зародилась сеть: история всемирной паутины. Издательство Оксфордского университета. стр.13. ISBN  978-0-19-286207-5.
  18. ^ "Воспоминания о теории разделения времени". jmc.stanford.edu. Получено 23 января 2020. в 1960 году термин "разделение времени" как выражение витал в воздухе. Однако он обычно использовался в моем понимании, а не в понимании Джона Маккарти объекта, подобного CTSS.
  19. ^ К. Стрейчи: «Макрогенератор общего назначения», Компьютерный журнал, 8(3):225–241, 1965.
  20. ^ "Самсон Абрамский". ВЕЛИКОБРИТАНИЯ: Департамент компьютерных наук Оксфордского университета. Получено 18 января 2017.
  21. ^ "Стрэчи 100: Празднование жизни и исследований Кристофера Стрэчи". ВЕЛИКОБРИТАНИЯ: Департамент компьютерных наук Оксфордского университета. 2016. Получено 18 января 2017.
  22. ^ Боуэн, Джонатан П. (2016). "Конференция по случаю столетия Стрэчи 100: Фотографии Стрэчи 100" (PDF). FACS ФАКТЫ. ВЕЛИКОБРИТАНИЯ: BCS-FACS. 2: 44–52. Получено 18 января 2017.

дальнейшее чтение

внешняя ссылка