Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Британский учёный-компьютерщик (1916–1975)
British computer scientist (1916–1975)
Кристофер С. Стречи (англ. Christopher S. Strachey; 16 ноября 1916 – 18 мая 1975) — британский учёный-компьютерщик. Он был одним из основателей денотационной семантики и пионером в области разработки языков программирования и организации совместного использования времени компьютера. Ему также приписывают возможное авторство первой видеоигры. Он происходил из известной семьи Страчи, представители которой занимали видное положение в правительстве, искусстве, администрации и академической среде.
Christopher S. Strachey ('/s//t//r//eɪ//tʃ//i/; 16 November 1916 – 18 May 1975) was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in programming language design and computer time sharing. He has also been credited as possibly being the first developer of a video game. He was a member of the Strachey family, prominent in government, arts, administration, and academia.
Ранние годы и образование
Кристофер Стречи родился 16 ноября 1916 года в Хэмпстеде, Англия, в семье Оливера Стречи и Рэйчел (Рэй) Костелло. Оливер Стречи был сыном Ричарда Стречи и правнуком сэра Генри Стречи, 1-го баронета. Его старшей сестрой была писательница Барбара Стречи. В 1919 году семья переехала по адресу: 51 Gordon Square. Семья Стречи принадлежала к группе Блумсбери, в которую входили Вирджиния Вулф, Джон Мейнард Кейнс и дядя Кристофера, Литтон Стречи. В 13 лет Кристофер поступил в школу Грешама в Холте, где он демонстрировал проблески гениальности, но в целом учился не очень хорошо. В 1935 году он поступил в Королевский колледж Кембриджского университета (в тот же колледж, что и Алан Тьюринг), где продолжал не уделять должного внимания учебе. Стречи изучал математику, а затем перешел на физику. В конце третьего курса в Кембридже Стречи пережил нервный срыв, возможно, связанный с осознанием своей гомосексуальности. Он вернулся в Кембридж, но получил лишь оценку "нижний второй разряд" на экзаменах по естественным наукам (Natural Sciences Tripos).
Christopher Strachey was born on 16 November 1916 to Oliver Strachey and Rachel (Ray) Costelloe in Hampstead, England. Oliver Strachey was the son of Richard Strachey and the great grandson of Sir Henry Strachey, 1st Baronet. His elder sister was the writer Barbara Strachey. In 1919, the family moved to 51 Gordon Square. The Stracheys belonged to the Bloomsbury Group whose members included Virginia Woolf, John Maynard Keynes and Christopher's uncle Lytton Strachey. At 13, Christopher went to Gresham's School, Holt where he showed signs of brilliance but in general performed poorly. He was admitted to King's College, Cambridge (the same college as Alan Turing) in 1935 where he continued to neglect his studies. Strachey studied mathematics and then transferred to physics. At the end of his third year at Cambridge, Strachey suffered a nervous breakdown, possibly related to coming to terms with his homosexuality. He returned to Cambridge but managed only a "lower second" in the Natural Sciences Tripos.
Карьера
Не имея возможности продолжить обучение, Кристофер поступил в Standard Telephones and Cables (STC) в качестве научного сотрудника-физика. Его первой задачей был математический анализ для разработки электронных ламп, используемых в радиолокационных системах. Сложность расчетов требовала применения дифференциального анализатора. Этот первоначальный опыт работы с вычислительной машиной пробудил интерес Страчи к этой области, и он начал ее изучать. Заявка на получение исследовательской степени в Кембриджском университете была отклонена, и Страчи продолжал работать в STC на протяжении всей Второй мировой войны. После войны он осуществил давнюю мечту, став учителем в школе Святого Эдмунда в Кентербери, где преподавал математику и физику. Три года спустя, в 1949 году, он смог перейти в более престижную школу Харроу, где проработал три года. В январе 1951 года друг познакомил его с Майком Вудгером из Национальной физической лаборатории (НФЛ). Лаборатория успешно построила уменьшенную версию автоматической вычислительной машины Алана Тьюринга (ACE), концепция которой восходит к 1945 году: Pilot ACE. В свободное время, в мае 1951 года, Страчи разработал предварительную версию программы для игры в шашки. Игра полностью заполнила память Pilot ACE. Первая попытка запуска программы шашек в НФЛ 30 июля 1951 года провалилась из-за ошибок в коде. Узнав о Manchester Mark 1, обладавшем значительно большей памятью, Страчи попросил своего бывшего однокурсника Алана Тьюринга предоставить руководство и переписал свою программу на машинные коды этой машины примерно к октябрю 1951 года. К лету 1952 года программа могла "играть полную партию в шашки с приемлемой скоростью". Хотя он и не дал этой игре – возможно, первой видеоигре – названия, Ной Уордрип Фруин назвал ее "M.U.C. Draughts". Страчи программировал первую компьютерную музыку в Англии – самую раннюю запись музыки, исполненной компьютером: версию британского национального гимна "Боже, храни Короля" на компьютере Ferranti Mark 1 Манчестерского университета в 1951 году. Позже в том же году там же, подразделением выездного вещания BBC были записаны короткие фрагменты из трех произведений: "Боже, храни Короля", "Барашек, барашек, черная шерсть" и "In the Mood". Исследователи из Университета Кентербери, Крайстчерч, восстановили ацетатный мастер-диск в 2016 году, и результаты можно прослушать на SoundCloud. Летом 1952 года Страчи разработал генератор любовных писем для Ferranti Mark 1, который считается первым примером компьютерной литературы. В мае 1952 года Страчи выступил с двухчастной лекцией на тему "изучение контроля в животных и машинах" ("кибернетика") в рамках научной программы BBC Home Service. С 1952 по 1959 год Страчи работал в Национальной корпорации исследований и разработок (NRDC). Работая над проектом судоходного канала Святого Лаврентия, он смог посетить несколько компьютерных центров в Соединенных Штатах и составить каталог их наборов команд. Позже он занимался программированием компьютеров Elliott 401 и Ferranti Pegasus. Вместе с Дональдом Б. Гиллисом он подал три патента на разработку вычислительной техники, включая конструкцию базовых регистров для перемещения программ. Он также работал над анализом вибрации в самолетах, некоторое время сотрудничая с Роджером Пенроузом. В 1959 году Страчи покинул NRDC, чтобы стать компьютерным консультантом, работая в NRDC, EMI, Ferranti и других организациях над различными проектами. Эта работа включала логическое проектирование компьютеров, предоставление автокода и, позднее, разработку языков программирования высокого уровня. Для контракта на создание автокода для компьютера Ferranti Orion Страчи нанял Питера Лэндина, который на протяжении всего периода консультаций Страчи был его единственным помощником. Страчи разработал концепцию разделения времени в 1959 году. В феврале того же года он подал заявку на патент и выступил с докладом "Разделение времени в больших быстрых компьютерах" на первой Конференции по обработке информации ЮНЕСКО в Париже, где он передал эту концепцию Дж. К. Р. Ликлидеру. Эта работа была признана Вычислительным центром MIT в 1963 году как "первая работа о компьютерах с разделением времени" (см. доклад Лайтхилла). Страчи заболел желтухой, которая после периода кажущегося выздоровления вернулась, и он умер от инфекционного гепатита 18 мая 1975 года. Он разработал Комбинированный язык программирования (CPL). Его влиятельный набор лекций "Фундаментальные концепции языков программирования" формализовал различие между L- и R-значениями (как это принято в языке программирования C). Страчи также ввел термин "карринг", хотя и не изобрел лежащую в его основе концепцию. Он сыграл важную роль в разработке компьютера Ferranti Pegasus. Он был пионером ранних видеоигр, создав версию шашек для Ferranti Mark 1. Макроязык m4 во многом основан на GPM (General Purpose Macrogenerator) Страчи, одном из первых языков расширения макросов. После его безвременной кончины в 1975 году сэра Тони Хоара сменил Страчи на посту руководителя Группы исследований программирования в Оксфорде, начиная с 1977 года.
Unable to continue his education, Christopher joined Standard Telephones and Cables (STC) as a research physicist. His first job was providing mathematical analysis for the design of electron tubes used in radar. The complexity of the calculations required the use of a differential analyser. This initial experience with a computing machine sparked Strachey's interest and he began to research the topic. An application for a research degree at the University of Cambridge was rejected and Strachey continued to work at STC throughout the Second World War. After the war he fulfilled a long standing ambition by becoming a schoolmaster at St Edmund's School, Canterbury, teaching mathematics and physics. Three years later he was able to move to the more prestigious Harrow School in 1949, where he stayed for three years. In January 1951, a friend introduced him to Mike Woodger of the National Physical Laboratory (NPL). The lab had successfully built a reduced version of Alan Turing's Automatic Computing Engine (ACE) the concept of which dated from 1945: the Pilot ACE. In his spare time, Strachey developed a preliminary version of a program for the game of draughts ("checkers" in American English) in May 1951. The game completely exhausted the Pilot ACE's memory. The draughts program failed due to program errors when it first ran at NPL on 30 July 1951. When Strachey heard about the Manchester Mark 1, which had a much bigger memory, he asked his former fellow student Alan Turing for the manual and transcribed his program into the operation codes of that machine by around October 1951. By the summer of 1952, the program could "play a complete game of Draughts at a reasonable speed". While he did not give this game – which may have been the first video game – a name, Noah Wardrip Fruin named it "M. U. C. Draughts." Strachey programmed the first Computer music in England – the earliest recording of music played by a computer: a rendition of the British National Anthem "God Save the King" on the University of Manchester's Ferranti Mark 1 computer, in 1951. Later that year, short extracts of three pieces were recorded there by a BBC outside broadcasting unit: "God Save the King", "Baa, Baa, Black Sheep", and "In the Mood". Researchers at the University of Canterbury, Christchurch restored the acetate master disc in 2016 and the results may be heard on SoundCloud. During the summer of 1952, Strachey programmed a love letter generator for the Ferranti Mark 1 that is known as the first example of computer generated literature. In May 1952, Strachey gave a two part talk on "the study of control in animals and machines" ("cybernetics") for the BBC Home Service's Science Survey programme. Strachey worked for the National Research Development Corporation (NRDC) from 1952 to 1959. While working on the St. Lawrence Seaway project, he was able to visit several computer centres in the United States and catalogue their instruction sets. Later, he worked on programming both the Elliott 401 computer and the Ferranti Pegasus computer. Together with Donald B. Gillies, he filed three patents in computing design including the design of base registers for program relocation. He also worked on the analysis of vibration in aircraft, working briefly with Roger Penrose. In 1959, Strachey left NRDC to become a computer consultant working for NRDC, EMI, Ferranti and other organisations on several wide ranging projects. This work included logical design for computers, providing autocode and later the design of high level programming languages. For a contract to produce the autocode for the Ferranti Orion computer, Strachey hired Peter Landin who became his one assistant for the duration of Strachey's consulting period. Strachey developed the concept of time sharing in 1959. He filed a patent application in February that year and gave a paper "Time Sharing in Large Fast Computers" at the inaugural UNESCO Information Processing Conference in Paris where he passed the concept on to J. C. R. Licklider. This paper is credited by the MIT Computation Center in 1963 as "the first paper on time shared computers". (see Lighthill report). Strachey contracted an illness diagnosed as jaundice which, after a period of seeming recovery, returned and he died of infectious hepatitis on 18 May 1975. He developed the Combined Programming Language (CPL). His influential set of lecture notes Fundamental Concepts in Programming Languages formalised the distinction between L and R values (as seen in the C programming language). Strachey also coined the term currying, although he did not invent the underlying concept. He was instrumental in the design of the Ferranti Pegasus computer. He was a pioneer of early video games creating a version of draughts for the Ferranti Mark 1. The macro language m4 derives much from Strachey's GPM (General Purpose Macrogenerator), one of the earliest macro expansion languages. After his untimely death in 1975, Strachey was succeeded by Sir Tony Hoare as Head of the Programming Research Group at Oxford, starting in 1977.