Не имея возможности продолжить образование, Кристофер присоединился к компании Standard Telephones and Cables (STC) в качестве физика-исследователя. Его первой работой был математический анализ конструкции электронных ламп , используемых в радарах . Сложность вычислений потребовала использования дифференциального анализатора . Этот первоначальный опыт работы с вычислительной машиной вызвал интерес Стрейчи, и он начал исследовать эту тему. Заявка на получение научной степени в Кембриджском университете была отклонена, и Стрейчи продолжал работать в STC на протяжении всей Второй мировой войны . После войны он осуществил давнюю амбицию, став учителем в школе Святого Эдмунда в Кентербери , преподавая математику и физику. Три года спустя в 1949 году он смог перейти в более престижную школу Харроу , где пробыл три года.
Чертежи на хранилище ЭЛТ, 1952 год.
В январе 1951 года друг познакомил его с Майком Вудгером из Национальной физической лаборатории (НПЛ). Лаборатория успешно создала уменьшенную версию автоматической вычислительной машины (ACE) Алана Тьюринга, концепция которой датируется 1945 годом: Pilot ACE . В свободное время Стрейчи в мае 1951 года разработал предварительную версию программы для игры в шашки . Игра полностью исчерпала память Пилота АСЕ. Программа черновиков провалилась из-за программных ошибок, когда она впервые была запущена в НПЛ 30 июля 1951 года. [7] Когда Стрейчи услышал о Manchester Mark 1 , у которого была гораздо большая память, он попросил у своего бывшего однокурсника Алана Тьюринга руководство. и примерно к октябрю 1951 года записал свою программу в операционные коды этой машины. К лету 1952 года программа могла «играть в полную игру в шашки с разумной скоростью». [8] [9] Хотя он и не дал этой игре – которая, возможно, была первой видеоигрой – название, Ной Уордрип-Фруин назвал ее «MUC Draughts». [10]
Стрейчи запрограммировал первую компьютерную музыку в Англии – самую раннюю запись музыки, исполняемой на компьютере: исполнение британского государственного гимна « Боже, храни короля » на компьютере Ferranti Mark 1 Манчестерского университета в 1951 году. Позже в том же году был выпущен короткий там были записаны отрывки из трех произведений внешним вещательным подразделением BBC : «Боже, храни короля», « Баа, Баа, паршивая овца » и « В настроении ». Исследователи из Кентерберийского университета в Крайстчерче восстановили ацетатный мастер-диск в 2016 году, и результаты можно услышать на SoundCloud . [11] [12]
В мае 1952 года Стрейчи выступил с докладом, состоящим из двух частей, на тему «Изучение управления животными и машинами» (« кибернетика ») для программы научного обзора BBC Home Service . [14] [15]
Стрейчи работал в Национальной корпорации исследований и развития (NRDC) с 1952 по 1959 год. Работая над проектом «Морской путь Святого Лаврентия», он смог посетить несколько компьютерных центров в США и каталогизировать их наборы инструкций . Позже он работал над программированием компьютеров Elliott 401 и Ferranti Pegasus . Вместе с Дональдом Б. Гиллисом он подал три патента в области компьютерного дизайна, включая разработку базовых регистров для перемещения программ. Он также работал над анализом вибрации в самолетах, некоторое время работая с Роджером Пенроузом .
В 1959 году Стрейчи покинул NRDC, чтобы стать компьютерным консультантом, работая в NRDC, EMI , Ferranti и других организациях над несколькими широкомасштабными проектами. Эта работа включала логическое проектирование компьютеров, обеспечение автокода , а затем и разработку языков программирования высокого уровня . Для заключения контракта на создание автокода для компьютера Ferranti Orion Стрейчи нанял Питера Ландина , который стал его единственным помощником на время консультационного периода Стрейчи.
Стрейчи был избран почетным членом Британского компьютерного общества в 1971 году за новаторскую работу в области информатики.
В 1973 году Стрейчи (вместе с Робертом Милном) начал писать эссе, представленное на конкурс премии Адамса , после чего они продолжили работу по переработке его в книжную форму. Стрейчи можно увидеть и услышать в записи дебатов Лайтхилла об ИИ [16] (см. отчет Лайтхилла ).
Стрейчи заболел болезнью, диагностированной как желтуха , которая после периода кажущегося выздоровления вернулась, и 18 мая 1975 года он умер от инфекционного гепатита .
После его безвременной кончины в 1975 году Стрейчи сменил сэр Тони Хоар на посту главы исследовательской группы по программированию в Оксфорде, начиная с 1977 года.
Наследие
На факультете компьютерных наук Оксфордского университета есть профессорская степень Кристофера Стрейчи по вычислительной технике , [23] [24] , которую держат следующие лица:
В ноябре 2016 года в Оксфордском университете было проведено мероприятие Strachey 100 , посвященное столетию со дня рождения Стрейчи, [27] включая просмотр в библиотеке Уэстон в Оксфорде архива Кристофера Стрейчи, хранящегося в коллекции Бодлианской библиотеки . [28]
Публикации
Стрейчи, Кристофер (1952). «Логические или нематематические программы». Материалы национального собрания ACM 1952 года . Торонто: ACM. стр. 46–49. дои : 10.1145/800259.808992.
Стрейчи, Кристофер (1959). «Программное разделение времени». Труды IEE – Часть B: Электронная и коммуникационная техника . 106 (29): 462. doi : 10.1049/pi-b-2.1959.0311 .
Стрейчи, Кристофер (1959). «О извлечении квадратного корня из комплексного числа». Компьютерный журнал . 2 (2): 89. дои : 10.1093/comjnl/2.2.89 .
Стрейчи, Кристофер (1959). «Распределение времени на больших и быстрых компьютерах». Материалы 1-й Международной конференции по обработке информации . Париж: ЮНЕСКО . стр. 336–341.
Стрейчи, Кристофер (1960). «Два вклада в методы решения задач массового обслуживания». Компьютерный журнал . 3 (2): 114–116. дои : 10.1093/comjnl/3.2.114 .
Стрейчи, Кристофер; Фрэнсис, Джон (1961). «Приведение матрицы к кодиагональной форме путем исключения». Компьютерный журнал . 4 (2): 168–176. дои : 10.1093/comjnl/4.2.168 .
Стрейчи, Кристофер (1962). "Отзывы о книге". Компьютерный журнал . 5 (2): 152–153. дои : 10.1093/comjnl/5.2.152 .
Стрейчи, Кристофер (1965). «Макрогенератор общего назначения». Компьютерный журнал . 8 (3): 225–241. дои : 10.1093/comjnl/8.3.225 .
Стрейчи, Кристофер (1966). «Системный анализ и программирование». Научный американец . Том. 215, нет. 3. С. 112–127.
Стрейчи, Кристофер (1966). «К формальной семантике». Материалы рабочей конференции ИФИП по языкам формального описания языков . Амстердам: Северная Голландия. стр. 198–220.
Стрейчи, Кристофер (1967). Фундаментальные концепции языков программирования (Технический отчет). Конспекты лекций для Международной летней школы по компьютерному программированию в Копенгагене.Также: Стрейчи, Кристофер (2000). «Фундаментальные концепции языков программирования». Вычисления высшего порядка и символьные вычисления . 13 (1–2): 11–49. дои : 10.1023/А: 1010000313106. S2CID 14124601.
Скотт, Дана; Стрейчи, Кристофер (1971). К математической семантике компьютерных языков (технический отчет). Вычислительная лаборатория Оксфордского университета, группа исследований в области программирования. ПРГ06.Также: Скотт, Дана; Стрейчи, Кристофер (1971). «К математической семантике компьютерных языков». Материалы симпозиума по вычислительной технике и автоматам . Нью-Йорк: Политехнический институт Бруклина . стр. 19–46.
Стрейчи, Кристофер (1972). «Разновидности языков программирования». Материалы Международного компьютерного симпозиума . Венеция: Фонд Чини . стр. 222–233.Также: Стрейчи, Кристофер (1973). Разновидности языков программирования (Технический отчет). Вычислительная лаборатория Оксфордского университета, группа исследований в области программирования. ПРГ10.
Стой, Джозеф; Стрейчи, Кристофер (1972). «OS6 — экспериментальная операционная система для небольшого компьютера. Часть 1: Общие принципы и структура». Компьютерный журнал . 15 (2): 117–124. дои : 10.1093/comjnl/15.2.117 .
Стой, Джозеф; Стрейчи, Кристофер (1972). «OS6 — экспериментальная операционная система для небольшого компьютера. Часть 2: система ввода-вывода и файловая система». Компьютерный журнал . 15 (3): 195–203. дои : 10.1093/comjnl/15.3.195 .
Стрейчи, Кристофер; Стой, Джозеф (1972). Текст OSPub (Технический отчет). Вычислительная лаборатория Оксфордского университета, группа исследований в области программирования. ПРГ09.
Стрейчи, Кристофер; Уодсворт, Кристофер (1974). Продолжение: Математическая семантика обработки полных прыжков (Технический отчет). Вычислительная лаборатория Оксфордского университета, группа исследований в области программирования. ПРГ11.Также: Стрейчи, Кристофер; Уодсворт, Кристофер (2000). «Продолжение: математическая семантика обработки полных прыжков». Вычисления высшего порядка и символьные вычисления . 13 (1–2): 135–152. дои : 10.1023/А: 1010026413531. S2CID 10673265.
Милн, Роберт; Стрейчи, Кристофер (1976). Теория семантики языков программирования. Нью-Йорк: Спрингер. ISBN 978-1-5041-2833-9.
^ ab FJ Corbató и др., Совместимая система разделения времени. Руководство для программиста (MIT Press, 1963) ISBN 978-0-262-03008-3 . «первый доклад К. Стрейчи о компьютерах с разделением времени на конференции ЮНЕСКО по обработке информации в июне 1959 года»
↑ Браун, Стюарт (4 октября 2019 г.). «Первая видеоигра». YouTube . Архивировано из оригинала 4 октября 2019 года . Проверено 19 января 2022 г.
^ Кэмпбелл-Келли, М. (январь 1985 г.). «Кристофер Стрейчи, 1916–1975: Биографическая заметка». IEEE Анналы истории вычислений . 7 (1): 21. doi :10.1109/mahc.1985.10001. S2CID 17188378.
^ «Священство в игре: компьютерные игры в 1950-х годах». Они создают миры . 22 января 2014 года . Проверено 28 августа 2017 г.
^ «Что такое искусственный интеллект» . АланТуринг.нет . Май 2000 года . Проверено 28 августа 2017 г.
^ Стрейчи, CS (сентябрь 1952 г.). Логические или нематематические программы. ACM '52: Материалы Национального собрания ACM 1952 года (Торонто). п. 47. дои : 10.1145/800259.808992.
↑ Уордрип-Фруин, Ной (декабрь 2020 г.). Как ест Pac-Man (1-е изд.). Кембридж, Массачусетс: MIT Press. п. 121. ИСБН9780262044653.
^ «Первая запись компьютерной музыки, созданная Аланом Тьюрингом, восстановлена» . Хранитель . 26 сентября 2016 г. Проверено 28 августа 2017 г.
^ «Восстановление первой записи компьютерной музыки - Блог Sound and Vision» . Британская библиотека . 13 сентября 2016 г. Проверено 28 августа 2017 г.
↑ Реттберг, Джилл Уокер (3 октября 2021 г.). «Спекулятивные интерфейсы: как электронная литература использует интерфейс, чтобы заставить нас задуматься о технологиях». Электронное книжное обозрение . дои : 10.7273/1XSG-NV26.
^ «Научное исследование - Базовое домашнее обслуживание BBC - 1 мая 1952 г. - Геном BBC» . Би-би-си. Май 1952 года . Проверено 28 августа 2017 г.
^ «Научное исследование - Базовое домашнее обслуживание BBC - 8 мая 1952 г. - Геном BBC» . Би-би-си. 8 мая 1952 года . Проверено 28 августа 2017 г.
^ bilkable (12 сентября 2010 г.), The Lighthill Debate (1973) - часть 6 из 6 , получено 27 октября 2017 г.
^ «Пионеры компьютеров - Кристофер Стрейчи».
^ «Пионеры компьютеров - Кристофер Стрейчи». History.computer.org . Проверено 23 января 2020 г. В своей концепции разделения времени Стрейчи предложил схему, которая сохраняла бы прямой контакт между программистом и машиной, сохраняя при этом экономичность мультипрограммирования.
^ «Компьютер - разделение времени и миникомпьютеры» . Британская энциклопедия . Проверено 23 января 2020 г. В 1959 году Кристофер Стрейчи из Великобритании и Джон Маккарти из США независимо друг от друга описали то, что они назвали разделением времени.
^ Гиллис, Джеймс М.; Гиллис, Джеймс; Гиллис, Джеймс и Кайо Роберт; Кайо, Р. (2000). Как родилась Интернет: история Всемирной паутины . Издательство Оксфордского университета. стр. 13. ISBN978-0-19-286207-5.
^ «Воспоминания о теории разделения времени». jmc.stanford.edu . Проверено 23 января 2020 г. В 1960 году фраза «разделение времени» широко витала в воздухе. Однако обычно оно использовалось в моем понимании, а не в смысле Джона Маккарти как объекта, подобного CTSS.
^ К. Стрейчи: «Макрогенератор общего назначения», The Computer Journal , 8 (3): 225–241, 1965.
^ Боуэн, Джонатан П. (2016). «Конференция по случаю столетия Стрейчи 100: фотографии Стрейчи 100» (PDF) . ФАКТЫ ФАКС . Великобритания: BCS-FACS . 2 : 44–52 . Проверено 18 января 2017 г.(Также здесь.)
дальнейшее чтение
Бэррон, Дэвид (лето 2008 г.). «Профили пионеров - Кристофер Стрейчи». Воскрешение . Общество охраны компьютеров (43). ISSN 0958-7403.
Коупленд, Джек (июнь 2000 г.). «Краткая история вычислений». АланТуринг.нет .
Дэнви, Оливье; Талкотт, Кэролайн, ред. (апрель 2000 г.). «Специальный выпуск памяти Кристофера Стрейчи». Вычисления высшего порядка и символьные вычисления . 13 (1/2).