Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

Жизнь [ править ]

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

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

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

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

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

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

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

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

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

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

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

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

Работа [ править ]

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

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

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

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

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

Наследие [ править ]

Факультет компьютерных наук в Университете Оксфорда имеет Кристофер Стрейч Профессорство вычислительной техники, удерживаемое Samson Абрамского FRS. [20]

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

Ссылки [ править ]

  1. ^ Кристофер Стрэчи: британский ученый-компьютерщик , Британская энциклопедия .
  2. ^ Каталог статей и корреспонденции Христофор Стрейчей (1916-1975) , The National Archives , Соединенное Королевство.
  3. ↑ Гордон, MJC , Кристофер Стрейчи: Воспоминания о его влиянии , высшие порядки и символические вычисления , 13 (1-2): 65–67, апрель 2000 г. ISSN  1388-3690 . ( Версия PostScript, заархивированная 13 марта 2017 года на Wayback Machine .)
  4. ^ a b Ф. Дж. Корбато и др., Совместимая система разделения времени Руководство программиста (MIT Press, 1963) ISBN 978-0-262-03008-3 . "первая статья К. Стрейчи о компьютерах с разделением времени на конференции ЮНЕСКО по обработке информации в июне 1959 г." 
  5. ↑ Кэмпбелл-Келли, М. (январь 1985 г.). «Кристофер Стрейчи, 1916–1975: биографические заметки». IEEE Annals of the History of Computing . 7 (1): 21. DOI : 10,1109 / mahc.1985.10001 . S2CID 17188378 . 
  6. ^ «СВЯЩЕНСТВО В ИГРЫ: КОМПЬЮТЕРНЫЕ ИГРЫ В 1950-х» . Они создают миры . 22 января 2014 . Проверено 28 августа 2017 года .
  7. ^ «Что такое искусственный интеллект» . AlanTuring.net . Май 2000 . Проверено 28 августа 2017 года .
  8. Перейти ↑ Strachey, CS (сентябрь 1952 г.). Логические или нематематические программы . ACM '52: Материалы Национального собрания ACM 1952 г. (Торонто). п. 47. DOI : 10,1145 / 800259,808992 .
  9. ^ «Первая запись компьютерной музыки - созданная Аланом Тьюрингом - восстановлена» . Хранитель . 26 сентября 2016 . Проверено 28 августа 2017 года .
  10. ^ «Восстановление первой записи компьютерной музыки - Блог Звука и зрения» . Британская библиотека . 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 г.), The Lighthill Debate (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. ^ C. Стрейчи: «Макрогенератор общего назначения», Компьютерный журнал , 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 года .

Дальнейшее чтение [ править ]

  • Коупленд, Б.Дж. Краткая история вычислений , AlanTuring.net , июнь 2000 г.
  • Лавингтон, С. История Пегаса , Музей науки , 2000. ISBN 1-900747-40-5 . 
  • Стрейчи, К. Невозможная программа , Компьютерный журнал , 7 (4): 313, январь 1965 г.

Внешние ссылки [ править ]

  • Кристофер Стрэчи на сервере библиографии DBLP
  • Кристофер Стрейчи (1916–1975) на Wayback Machine (архивировано 26 сентября 2007 г.) в Виртуальном музее вычислительной техники
  • Симулятор Manchester Mark 1, выполняющий алгоритм любовного письма Кристофера Стрейчи 1952 года.
  • Интернет-версия алгоритма любовного письма Кристофера Стрейчи, показывающая списки слов
  • Высшие порядки и символические вычисления, том 13, выпуск 1/2 (апрель 2000 г.), специальный выпуск памяти Кристофера Стрейчи
  • "Профили пионера - Кристофер Стрейчи" в " Воскресении" . Бюллетень Общества Сохранения Компьютеров . Номер 43 . Лето 2008 г. ISSN 0958-7403.
  • Дополнительные документы Strachey, хранящиеся в Британской библиотеке