АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Стрэчи, Кристофер

Кри́стофер С. Стрэ́чи (англ. Christopher S. Strachey; 16 ноября 1916, Хампстед, Камден, Большой Лондон, Англия, Великобритания — 18 мая 1975, Оксфорд, Англия, Великобритания) — британский учёный в области информатики[1][2]. Пионер в области проектирования языков программирования, один из основателей денотационной семантики и компьютерного разделения времени[3]. Ввёл несколько терминов, широко используемых в информатике, включая полиморфизм и ссылочную прозрачность[4].

Общие сведения
Кристофер Стрэчи
англ. Christopher Strachey
Имя при рождении Кристофер С. Стрэчи
Дата рождения 16 ноября 1916(1916-11-16)
Место рождения Хэмпстед, Англия
Дата смерти 18 мая 1975(1975-05-18) (58 лет)
Место смерти Оксфорд, Англия
Страна
Образование
Род деятельности Информатика
Отец Оливер Стрэчи
Мать Рэй Костелло

Биография

Кристофер С. Стрэчи родился в семье Оливера и Рэй Стрэчи (урождённой Костелло) в Хэмпстеде, Англия. Оливер Стрэчи был сыном Ричарда Стрэчи и правнуком сэра Генри Стрэчи, 1-го баронета. Его старшей сестрой была писательница Барбара Стрэчи. В 1919 году семья переехала на Гордон-сквер, 51. Семья Стрэчи принадлежала к Блумсберийскому кружку, в который входили Вирджиния Вулф, Джон Мейнард Кейнс и дядя Стрэчи Литтон Стрэчи. В возрасте 13 лет Стрэчи поступил в школу Грешема, где проявил признаки гениальности, но в целом учился плохо. В 1935 году он поступил в Королевский колледж Кембриджа (тот же колледж, что и Алан Тьюринг), где продолжал пренебрегать учёбой. Стрэчи изучал математику, а затем перевёлся на физику. В конце третьего курса в Кембридже Стрэчи перенёс нервный срыв. Он вернулся в Кембридж, но получил лишь оценку «ниже второго класса» на экзаменах Natural Sciences Tripos[5].

Карьера

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

В январе 1951 года друг познакомил его с Майком Вуджером из Национальной физической лаборатории (NPL). Лаборатория успешно построила уменьшенную версию Автоматической вычислительной машины (ACE) Алана Тьюринга, концепция которой датировалась 1945 годом: Pilot ACE. В свободное время в мае 1951 года Стрэчи разработал видеоигру в шашки. Возможно, это была первая видеоигра. Игра полностью исчерпала память Pilot ACE. Программа для игры в шашки завершилась неудачей из-за программных ошибок при первом запуске в NPL 30 июля 1951 года[6]. Когда Стрэчи услышал о Манчестерском Марке I, который имел гораздо больший объём памяти, он попросил у своего бывшего сокурсника Алана Тьюринга руководство и перевёл свою программу в коды операций этой машины примерно к октябрю 1951 года. К лету 1952 года программа могла «играть в полную игру в шашки с разумной скоростью»[7]. Хотя он не дал этой игре названия, Ноа Уордрип-Фруин назвал её «M. U. C. Draughts».

Стрэчи запрограммировал первую компьютерную музыку в Англии — самую раннюю запись музыки, сыгранной компьютером: исполнение британского национального гимна «Боже, храни короля» на компьютере Ferranti Mark 1 Манчестерского университета в 1951 году. Позже в том же году подразделение внешнего вещания BBC записало там короткие отрывки трёх произведений: «Боже, храни короля», «Baa, Baa, Black Sheep» и «In the Mood». Исследователи из Кентерберийского университета в Крайстчерче восстановили ацетатный мастер-диск в 2016 году, и результаты можно услышать на SoundCloud[8][9].

Летом 1952 года Стрэчи запрограммировал генератор любовных писем для Ferranti Mark 1, который известен как первый пример компьютерной литературы[10].

В мае 1952 года Стрэчи выступил с двухчастным докладом об «изучении управления у животных и машин» («кибернетика») в программе Science Survey на BBC Home Service.

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

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

undefined

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

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

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

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

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

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

Он сыграл важную роль в проектировании компьютера Ferranti Pegasus.

Макроязык m4 во многом заимствован из GPM Стрэчи (General Purpose Macrogenerator), одного из самых ранних языков макрорасширения[14].

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

Наследие

На факультете информатики Оксфордского университета учреждена должность профессора информатики имени Кристофера Стрэчи[15], которую занимали:

В 1995 году в Оксфордском университете в память о Стрэчи были учреждены лекции Стрэчи по информатике. В ноябре 2016 года в Оксфордском университете прошло мероприятие Strachey 100, посвящённое столетию со дня рождения Стрэчи, включая просмотр в библиотеке Уэстона в Оксфорде архива Кристофера Стрэчи, хранящегося в коллекции Бодлианской библиотеки.

Публикации

Примечания

  1. ↑ Catalogue of the papers and correspondence of Christopher Strachey (1916–1975), The National Archives, United Kingdom.
  2. ↑ Gordon, M.J.C., Christopher Strachey: Recollections of His Influence, Higher-Order and Symbolic Computation, 13(1–2):65–67, April 2000. ISSN 1388-3690. (PostScript version Архивировано 13 марта 2017 года..)
  3. ↑ 1 2 F. J. Corbató, et al., The Compatible Time-Sharing System A Programmer's Guide (MIT Press, 1963) ISBN 978-0-262-03008-3. "the first paper on time-shared computers by C. Strachey at the June 1959 UNESCO Information Processing conference"
  4. ↑ Strachey, Christopher (1967). Fundamental Concepts in Programming Languages (Technical report). Lecture notes for the International Summer School in Computer Programming at Copenhagen.
  5. ↑ Campbell-Kelly, M. (January 1985). “Christopher Strachey, 1916–1975: A Biographical Note”. IEEE Annals of the History of Computing. 7 (1): 21. Bibcode:1985IAHC....7a..19C. DOI:10.1109/mahc.1985.10001. S2CID 17188378.
  6. ↑ The Priesthood at Play: Computer Games in the 1950s. They Create Worlds (22 января 2014). Дата обращения: 8 июня 2026.
  7. ↑ Strachey, C. S. (September 1952). Logical or non-mathematical programmes. ACM '52: Proceedings of the 1952 ACM National Meeting (Toronto). p. 47. DOI:10.1145/800259.808992. Дата обращения 2026-06-08.
  8. ↑ First recording of computer-generated music – created by Alan Turing – restored. The Guardian (26 сентября 2016). Дата обращения: 8 июня 2026.
  9. ↑ Restoring the first recording of computer music – Sound and vision blog. British Library (13 сентября 2016). Дата обращения: 8 июня 2026.
  10. ↑ Rettberg, Jill Walker (October 3, 2021). “Speculative Interfaces: How Electronic Literature Uses the Interface to Make Us Think about Technology”. Electronic Book Review [англ.]. DOI:10.7273/1XSG-NV26. Дата обращения 2026-06-08.
  11. ↑ 1 2 Computer Pioneers – Christopher Strachey. history.computer.org. — «What Strachey proposed in his concept of time-sharing was an arrangement that would preserve the direct contact between programmer and machine, while still achieving the economy of multiprogramming.» Дата обращения: 8 июня 2026.
  12. ↑ Gillies, James M. How the Web was Born: The Story of the World Wide Web : [англ.] / James M. Gillies, James Gillies, James and Cailliau Robert Gillies … [et al.]. — Oxford University Press, 2000. — P. 13. — ISBN 978-0-19-286207-5.
  13. ↑ bilkable (12 September 2010), The Lighthill Debate (1973) – part 6 of 6, YouTube  (Note: see 6 mins 45 secs to 11 mins 5 secs of the recording.)
  14. ↑ C. Strachey: "A General Purpose Macrogenerator", The Computer Journal, 8(3):225–241, 1965.
  15. ↑ Christopher Strachey Professor of Computing. University of Oxford (28 октября 2021). Дата обращения: 8 июня 2026.

Литература

Ссылки

Дополнительно по теме

Категории