stringtranslate.com

Кристофер Стрейчи

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

Ранняя жизнь и образование

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

Карьера

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

Шашки Кристофера Стрейчи 1952 года фотодоказательство первой видеоигры
Чертежи на ЭЛТ-хранилище, 1952 г.

В январе 1951 года друг познакомил его с Майком Вуджером из Национальной физической лаборатории (NPL). Лаборатория успешно построила уменьшенную версию Автоматической вычислительной машины (ACE) Алана Тьюринга, концепция которой датируется 1945 годом: Pilot ACE . В свободное время Стрейчи разработал предварительную версию программы для игры в шашки («checkers» в американском английском) в мае 1951 года. Это, возможно, была первая видеоигра. Игра полностью исчерпала память Pilot ACE. Программа для шашек потерпела неудачу из-за программных ошибок, когда она впервые была запущена в NPL 30 июля 1951 года. [8] Когда Стрейчи услышал о Manchester Mark 1 , у которого была гораздо большая память, он попросил своего бывшего однокурсника Алана Тьюринга дать ему руководство и переписал свою программу в операционные коды этой машины примерно к октябрю 1951 года. К лету 1952 года программа могла «играть полную партию в шашки на разумной скорости». [9] [10] Хотя он не дал этой игре названия, Ноа Уордрип-Фруин назвал ее «MUC Draughts». [11]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Наследие

На кафедре компьютерных наук Оксфордского университета есть профессорская должность имени Кристофера Стрейчи по вычислительной технике [24] [ 25], которую занимают следующие лица:

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

Публикации

Ссылки

  1. ↑ Кристофер Стрейчи: британский учёный-компьютерщик, Encyclopaedia Britannica .
  2. ↑ Каталог документов и переписки Кристофера Стрейчи (1916–1975), Национальный архив , Соединенное Королевство.
  3. ↑ Гордон, MJC , Кристофер Стрейчи: Воспоминания о его влиянии, Высшее-порядок и символические вычисления , 13(1–2):65–67, апрель 2000 г. ISSN  1388-3690. (Версия PostScript, архивирована 13 марта 2017 г. на Wayback Machine .)
  4. ^ ab FJ Corbató, et al., The Compatible Time-Sharing System A Programmer's Guide (MIT Press, 1963) ISBN 978-0-262-03008-3 . "первая статья о компьютерах с разделением времени, написанная C. Strachey на конференции ЮНЕСКО по обработке информации в июне 1959 года" 
  5. ^ Браун, Стюарт (4 октября 2019 г.). «Первая видеоигра». YouTube . Архивировано из оригинала 4 октября 2019 г. Получено 19 января 2022 г.
  6. ^ Стрейчи, Кристофер (1967). Фундаментальные концепции языков программирования (технический отчет). Конспект лекций для Международной летней школы по программированию в Копенгагене.
  7. ^ Кэмпбелл-Келли, М. (январь 1985 г.). «Кристофер Стрейчи, 1916–1975: Биографическая заметка». IEEE Annals of the History of Computing . 7 (1): 21. doi :10.1109/mahc.1985.10001. S2CID  17188378.
  8. ^ "The Priesthood at Play: Computer Games in the 1950s". They Create Worlds . 22 января 2014 г. Получено 28 августа 2017 г.
  9. ^ "Что такое искусственный интеллект". AlanTuring.net . Май 2000. Получено 28 августа 2017 .
  10. ^ Strachey, CS (сентябрь 1952 г.). Логические или нематематические программы. ACM '52: Труды Национального собрания ACM 1952 г. (Торонто). стр. 47. doi :10.1145/800259.808992.
  11. ^ Wardrip-Fruin, Noah (декабрь 2020 г.). How Pac-Man Eats (1-е изд.). Кембридж, Массачусетс: The MIT Press. стр. 121. ISBN 9780262044653.
  12. ^ «Первая запись музыки, созданной на компьютере, — созданная Аланом Тьюрингом — восстановлена». The Guardian . 26 сентября 2016 г. . Получено 28 августа 2017 г. .
  13. ^ «Восстановление первой записи компьютерной музыки – блог о звуке и изображении». Британская библиотека . 13 сентября 2016 г. Получено 28 августа 2017 г.
  14. ^ Реттберг, Джилл Уокер (3 октября 2021 г.). «Спекулятивные интерфейсы: как электронная литература использует интерфейс, чтобы заставить нас задуматься о технологиях». Обзор электронной книги . doi : 10.7273/1XSG-NV26.
  15. ^ "Science Survey – BBC Home Service Basic – 1 мая 1952 г. – BBC Genome". BBC. Май 1952 г. Получено 28 августа 2017 г.
  16. ^ "Science Survey – BBC Home Service Basic – 8 мая 1952 г. – BBC Genome". BBC. 8 мая 1952 г. Получено 28 августа 2017 г.
  17. ^ "Computer Pioneers – Christopher Strachey". history.computer.org . Получено 23 января 2020 г. В своей концепции разделения времени Стрейчи предложил схему, которая сохранила бы прямой контакт между программистом и машиной, при этом достигая экономии многопрограммирования.
  18. ^ "Компьютер – разделение времени и миникомпьютеры". Encyclopedia Britannica . Получено 23 января 2020 г. В 1959 году Кристофер Стрейчи в Соединенном Королевстве и Джон Маккарти в Соединенных Штатах независимо друг от друга описали то, что они назвали разделением времени.
  19. ^ Джиллис, Джеймс М.; Джиллис, Джеймс; Джиллис, Джеймс и Кайо Роберт; Кайо, Р. (2000). Как родилась Всемирная паутина: история Всемирной паутины . Oxford University Press. стр. 13. ISBN 978-0-19-286207-5.
  20. ^ "Воспоминания о теории разделения времени". jmc.stanford.edu . Получено 23 января 2020 г. . в 1960 году фраза "разделение времени" витала в воздухе. Однако ее обычно использовали в моем смысле, а не в смысле Джона Маккарти, как объект, похожий на CTSS.
  21. ^ bilkable (12 сентября 2010 г.), The Lighthill Debate (1973) – часть 6 из 6 , получено 27 октября 2017 г.
  22. ^ C. Strachey: «Макрогенератор общего назначения», The Computer Journal , 8 (3):225–241, 1965.
  23. ^ «Компьютерные пионеры – Кристофер Стрейчи».
  24. ^ ab "Christopher Strachey Professorship of Computing". Кафедра компьютерных наук, Оксфордский университет . 5 ноября 2021 г. Получено 18 января 2024 г.
  25. ^ "Christopher Strachey Professor of Computing". Оксфордский университет . 28 октября 2021 г. Получено 18 января 2024 г.
  26. ^ "Сэмсон Абрамски". Великобритания: Кафедра компьютерных наук, Оксфордский университет . Получено 18 января 2017 г.
  27. ^ «Добро пожаловать на нашу новую кафедру Стрейчи, профессор Нобуко Ёсида». Кафедра компьютерных наук, Оксфордский университет . 29 июня 2022 г. Получено 18 января 2024 г.
  28. ^ "Strachey 100: Чествование жизни и исследований Кристофера Стрейчи". Великобритания: Департамент компьютерных наук, Оксфордский университет . 2016. Получено 18 января 2017 .
  29. ^ Боуэн, Джонатан П. (2016). «Конференция, посвященная столетию Strachey 100: фотографии Strachey 100» (PDF) . ФАКТЫ FACS . 2 . Великобритания: BCS-FACS : 44–52 . Получено 18 января 2017 г. .(Также здесь.)

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

Внешние ссылки