Krzysztof Strachey - Christopher Strachey
Christopher Strachey | |
---|---|
Urodzić się |
Hampstead , Anglia
|
16 listopada 1916
Zmarł | 18 maja 1975
Oksford , Anglia
|
(w wieku 58)
Obywatelstwo | Wielka Brytania |
Alma Mater | King's College, Cambridge |
Znany z | CPL , semantyka denotacyjna , Podstawowe pojęcia w językach programowania |
Kariera naukowa | |
Pola | Informatyka |
Instytucje |
Uniwersytet Cambridge , Uniwersytet Oksfordzki |
Doktoranci |
Peter Mosses David Turner |
Christopher S. Strachey ( / e t r eɪ tʃ I / , 16 listopada 1916 - 18 maja 1975), brytyjski komputer naukowców . Był jednym z twórców semantyki denotacyjnej oraz pionierem w projektowaniu języków programowania i współdzieleniu czasu przez komputery . Był członkiem rodziny Strachey , wybitnym w rządzie, sztuce, administracji i środowisku akademickim.
Wczesne życie i edukacja
Christopher Strachey urodził się 16 listopada 1916 roku jako syn Olivera Stracheya i Rachel (Ray) Costelloe w Hampstead w Anglii. Oliver Strachey był synem Richarda Stracheya i prawnukiem Sir Henry'ego Stracheya, pierwszego baroneta . Jego starszą siostrą była pisarka Barbara Strachey . W 1919 rodzina przeniosła się na 51 Gordon Square . Stracheyowie należeli do Bloomsbury Group, której członkami byli Virginia Woolf , John Maynard Keynes i wujek Christophera Lytton Strachey . W wieku 13 lat Christopher poszedł do Gresham's School w Holt, gdzie wykazywał oznaki błyskotliwości, ale ogólnie wypadł słabo. Został przyjęty do King's College w Cambridge (tej samej uczelni co Alan Turing ) w 1935 roku, gdzie nadal zaniedbywał studia. Strachey studiował matematykę, a następnie przeniósł się na fizykę . Pod koniec trzeciego roku w Cambridge Strachey doznał załamania nerwowego, prawdopodobnie związanego z pogodzeniem się ze swoim homoseksualizmem. Wrócił do Cambridge, ale zdołał zająć tylko „niższą sekundę” w Triposach Nauk Przyrodniczych .
Kariera zawodowa
Nie mogąc kontynuować nauki, Christopher dołączył do Standard Telephones and Cables (STC) jako fizyk badawczy. Jego pierwszą pracą było dostarczanie analiz matematycznych do projektowania lamp elektronowych stosowanych w radarach . Złożoność obliczeń wymagała zastosowania analizatora różnicowego . To początkowe doświadczenie z maszyną obliczeniową wzbudziło zainteresowanie Stracheya i zaczął badać ten temat. Wniosek o stopień naukowy na Uniwersytecie Cambridge został odrzucony i Strachey kontynuował pracę w STC przez całą II wojnę światową . Po wojnie spełnił swoje wieloletnie ambicje, zostając nauczycielem w St Edmund's School w Canterbury , ucząc matematyki i fizyki. Trzy lata później mógł przenieść się do bardziej prestiżowej Harrow School w 1949, gdzie przebywał przez trzy lata.
W styczniu 1951 roku przyjaciel przedstawił go Mike'owi Woodgerowi z National Physical Laboratory (NPL). Laboratorium z powodzeniem zbudowało zredukowaną wersję Automatycznego Silnika Obliczeniowego Alana Turinga (ACE), którego koncepcja pochodzi z 1945 roku: Pilot ACE . W wolnym czasie Strachey opracował program do gry w warcaby (znany również jako „warcaby”), którego wstępną wersję ukończył w maju 1951 roku. Gra całkowicie wyczerpała pamięć pilota ACE. Program próbny po raz pierwszy próbował uruchomić się 30 lipca 1951 roku w NPL, ale nie powiodło się z powodu błędów programu. Kiedy Strachey usłyszał o Manchesterze Mark 1 , który miał znacznie większą pamięć, poprosił swojego byłego kolegi z klasy, Alana Turinga o instrukcję i przepisał swój program na kody operacyjne tej maszyny około października 1951 roku. Latem 1952 roku, program mógł „rozegrać kompletną grę w warcaby z rozsądną prędkością”. Chociaż nie nadał tej grze – która mogła być pierwszą grą wideo – nazwy, Noah Wardrip-Fruin nazwał ją „MUC Draughts”.
Strachey zaprogramował pierwszą w historii muzykę wykonywaną przez komputer; wykonanie brytyjskiego hymnu narodowego „ God Save the Queen ” na elektronicznym komputerze Mark II Manchester w Manchesterze w 1951 roku. W tym samym roku krótkie fragmenty trzech utworów zostały tam nagrane przez zewnętrzną jednostkę nadawczą BBC : „ God Save the Queen ”, „ Baa, Baa, Czarna Owca ” i „ W nastroju ”. Naukowcy z University of Canterbury w Christchurch odnowili płytę wzorcową acetatu w 2016 roku, a wyniki można usłyszeć na SoundCloud .
W maju 1952 roku, Strachey wygłosił dwuczęściowy na „badaniu kontroli u zwierząt i maszyn” ( „ cybernetyka ”) dla BBC Home Service „s Science Survey programu.
Strachey pracował dla National Research Development Corporation (NRDC) od 1952 do 1959. Pracując nad projektem St. Lawrence Seaway, był w stanie odwiedzić kilka centrów komputerowych w Stanach Zjednoczonych i skatalogować ich zestawy instrukcji . Później pracował nad programowaniem zarówno komputera Elliott 401, jak i komputera Ferranti Pegasus . Wraz z Donaldem B. Gilliesem złożył trzy patenty z zakresu projektowania obliczeniowego, w tym projektowania rejestrów bazowych do relokacji programów. Zajmował się również analizą drgań w samolotach, krótko współpracując z Rogerem Penrose'em .
W 1959 Strachey opuścił NRDC, aby zostać konsultantem komputerowym pracującym dla NRDC, EMI , Ferranti i innych organizacji przy wielu szeroko zakrojonych projektach. Prace te obejmowały projektowanie logiczne dla komputerów, dostarczanie autokodowania, a później projektowanie języków programowania wysokiego poziomu . Do kontraktu na produkcję autokodu dla komputera Ferranti Orion , Strachey zatrudnił Petera Landina, który został jego jedynym asystentem na czas jego konsultacji.
W 1962 roku, pozostając konsultantem, przyjął stanowisko na Uniwersytecie Cambridge.
W 1965 Strachey przyjął stanowisko na Uniwersytecie Oksfordzkim jako pierwszy dyrektor Programowej Grupy Badawczej, a później pierwszy profesor informatyki na uniwersytecie i członek Wolfson College w Oksfordzie . Współpracował z Daną Scott .
Strachey został wybrany wybitnym członkiem Brytyjskiego Towarzystwa Komputerowego w 1971 roku za swoją pionierską pracę w dziedzinie informatyki.
W 1973 Strachey (wraz z Robertem Milne ) zaczęli pisać esej zgłoszony do konkursu Adams Prize , po czym kontynuowali pracę nad przeredagowaniem go do formy książkowej. Stracheya można zobaczyć i usłyszeć w nagranej debacie Lighthilla na temat sztucznej inteligencji (patrz raport Lighthilla ).
Strachey zachorował na chorobę zdiagnozowaną jako żółtaczka, która po okresie pozornego powrotu do zdrowia powróciła i zmarł na zakaźne zapalenie wątroby 18 maja 1975 roku.
Praca
Strachey opracował koncepcję podziału czasu w 1959 r. Złożył wniosek patentowy w lutym tego samego roku i wygłosił referat „Podział czasu w dużych szybkich komputerach” na inauguracyjnej konferencji UNESCO Information Processing Conference w Paryżu, gdzie przekazał koncepcję JCR Licklider . Ten artykuł jest uznawany przez Centrum Obliczeniowe MIT w 1963 roku jako „pierwszy artykuł na temat komputerów współdzielonych w czasie”.
Opracował Combined Programming Language (CPL). Jego wpływowy zestaw notatek z wykładów Fundamental Concepts in Programming Languages sformalizował rozróżnienie między wartościami L- i R- (jak widać w języku programowania C ). Strachey ukuł także termin currying , chociaż nie wymyślił podstawowej koncepcji.
Odegrał kluczową rolę w projektowaniu komputera Ferranti Pegasus .
Był pionierem wczesnych gier wideo, tworząc wersję szkiców dla Ferranti Mark 1 .
Język makr m4 wywodzi się w dużej mierze z GPM ( General Purpose Macrogenerator ) Stracheya , jednego z najwcześniejszych języków rozszerzania makr .
Spuścizna
Department of Computer Science na Uniwersytecie Oksfordzkim ma Christopher Strachey profesora informatyki, aktualnie posiadanych przez Samson Abramsky FRS.
W listopadzie 2016 r. na Uniwersytecie Oksfordzkim odbyła się impreza Strachey 100 z okazji stulecia urodzin Stracheya, w tym obejrzenie w Bibliotece Weston w Oksfordzie archiwum Christophera Stracheya znajdującego się w zbiorach Biblioteki Bodleian .
Publikacje
- Strachey, Krzysztof (1952). „Programy logiczne lub niematematyczne” . Protokoły z zebrania krajowego ACM w 1952 r . . Toronto: ACM. s. 46–49. doi : 10.1145/800259.808992 .
- Strachey, Krzysztof (1954). "Maszyna "Myśląca" . Spotkanie . s. 25–31.
- Strachey, Krzysztof (1959). „Podział czasu sterowany programowo” . Materiały IEE - Część B: Inżynieria Elektroniczna i Komunikacyjna . 106 (29): 462. doi : 10.1049/pi-b-2.1959.0311 .
- Strachey, Krzysztof (1959). „O przyjmowaniu pierwiastka kwadratowego z liczby zespolonej” . Dziennik komputerowy . 2 (2): 89. doi : 10.1093/comjnl/2.2.89 .
- Strachey, Krzysztof (1959). „Podział czasu w dużych, szybkich komputerach” . Materiały I Międzynarodowej Konferencji Przetwarzania Informacji . Paryż: UNESCO. s. 336-341.
- Strachey, Krzysztof (1960). „Dwa wkłady do technik problemów kolejkowych” . Dziennik komputerowy . 3 (2): 114–116. doi : 10.1093/comjnl/3.2.114 .
- Strachey, Krzysztof (1961). „Operacje bitowe” . Komunikaty ACM . 4 (3): 146. doi : 10.1145/366199.366254 .
- Strachey, Christopher; Wilkes, Maurycy (1961). „Kilka propozycji poprawy efektywności ALGOL 60” . Komunikaty ACM . 4 (11): 488–491. doi : 10.1145/366813.366816 .
- Strachey, Christopher; Franciszek Jan (1961). „Redukcja matrycy do postaci współkątnej przez eliminacje” . Dziennik komputerowy . 4 (2): 168–176. doi : 10.1093/comjnl/4.2.168 .
- Strachey, Krzysztof (1962). „Recenzje książek” . Dziennik komputerowy . 5 (2): 152–153. doi : 10.1093/comjnl/5.2.152 .
- Barron, Dawid; Buxton, John; Hartleya, Dawida; Nixona, Erica; Strachey, Krzysztof (1963). „Główne cechy CPL” . Dziennik komputerowy . 6 (2): 134–143. doi : 10.1093/comjnl/6.2.134 .
- Strachey, Krzysztof (1965). „Program niemożliwy” . Dziennik komputerowy . 7 (4): 313. doi : 10.1093/comjnl/7.4.313 .
- Strachey, Krzysztof (1965). „Makrogenerator ogólnego przeznaczenia” . Dziennik komputerowy . 8 (3): 225–241. doi : 10.1093/comjnl/8.3.225 .
- Strachey, Krzysztof (1966). „Analiza i programowanie systemu” . Naukowy Amerykanin . Tom. 215 nr. 3. s. 112–127.
- Strachey, Krzysztof (1966). „Ku Semantyce formalnej”. Materiały z Konferencji Roboczej IFIP na temat Języków Formalnego Opisu Językowego . Amsterdam: Holandia Północna. s. 198–220.
- Strachey, Krzysztof (1967). Podstawowe pojęcia w językach programowania (raport techniczny). Notatki z wykładów na Międzynarodową Letnią Szkołę Programowania Komputerowego w Kopenhadze.Także: Strachey, Christopher (2000). „Podstawowe pojęcia w językach programowania” . Obliczenia wyższego rzędu i symboliczne . 13 (1–2): 11–49. doi : 10.1023/A: 1010000313106 .
- Scott, Dana; Strachey, Krzysztof (1971). Ku Semantyce Matematycznej dla Języków Komputerowych (Raport techniczny). Laboratorium komputerowe Uniwersytetu Oksfordzkiego, Grupa Badawcza ds. Programowania. PRG06.Także: Scott, Dana; Strachey, Krzysztof (1971). „Ku semantyki matematycznej dla języków komputerowych”. Materiały z Sympozjum Komputery i Automaty . Nowy Jork: Instytut Politechniczny Brooklynu. s. 19–46.
- Strachey, Krzysztof (1972). „Odmiany języka programowania”. Materiały Międzynarodowego Sympozjum Informatycznego . Wenecja: Fundacja Cini. s. 222-233.Także: Strachey, Christopher (1973). Odmiany języka programowania (raport techniczny). Laboratorium komputerowe Uniwersytetu Oksfordzkiego, Grupa Badawcza ds. Programowania. PRG10.
- Stoy, Józefie; Strachey, Krzysztof (1972). „OS6 — eksperymentalny system operacyjny dla małego komputera. Część 1: Ogólne zasady i struktura” . Dziennik komputerowy . 15 (2): 117–124. doi : 10.1093/comjnl/15.2.117 .
- Stoy, Józefie; Strachey, Krzysztof (1972). „OS6 — eksperymentalny system operacyjny dla małego komputera. Część 2: Wejście/wyjście i system archiwizacji” . Dziennik komputerowy . 15 (3): 195–203. doi : 10.1093/comjnl/15.3.195 .
- Strachey, Christopher; Stoy, Józef (1972). Tekst OSPub (raport techniczny). Laboratorium komputerowe Uniwersytetu Oksfordzkiego, Grupa Badawcza ds. Programowania. PRG09.
- Strachey, Christopher; Wadsworth, Christopher (1974). Kontynuacja: Semantyka matematyczna do obsługi skoków pełnych (raport techniczny). Laboratorium komputerowe Uniwersytetu Oksfordzkiego, Grupa Badawcza ds. Programowania. PRG11.Także: Strachey, Christopher; Wadsworth, Christopher (2000). „Kontynuacja: Semantyka matematyczna do obsługi pełnych skoków” . Obliczenia wyższego rzędu i symboliczne . 13 (1–2): 135–152. doi : 10.1023/A:1010026413531 .
- Milne, Robercie; Strachey, Krzysztof (1976). Teoria semantyki języka programowania . Nowy Jork: Springer. Numer ISBN 978-1-5041-2833-9.
Bibliografia
Dalsza lektura
- Copeland, BJ Krótka historia informatyki , AlanTuring.net , czerwiec 2000.
- Lavington, S. The Pegasus Story , Science Museum , 2000. ISBN 1-900747-40-5 .
Zewnętrzne linki
- Christopher Strachey w DBLP Bibliography Server
- Christopher Strachey (1916-1975) w Wayback Machine (archiwum 26 września 2007) w Wirtualnym Muzeum Informatyki
- Symulator Manchesteru Mark 1, wykonujący algorytm listu miłosnego Christophera Stracheya z 1952 r.
- Internetowa wersja algorytmu listów miłosnych Christophera Stracheya pokazująca listy słów
- Higher-Order and Symbolic Computation Tom 13, wydanie 1/2 (kwiecień 2000) Wydanie specjalne ku pamięci Christophera Stracheya
- „Profile pionierów – Christopher Strachey” w Zmartwychwstaniu . Biuletyn Towarzystwa Ochrony Komputerów . Numer 43 . Lato 2008. ISSN 0958-7403.
- Uzupełniające dokumenty Strachey'a przechowywane w Bibliotece Brytyjskiej