크리스토퍼 스트레이시

Christopher Strachey
크리스토퍼 스트레이시
Christopher Strachey computer printout.jpg
옥스퍼드 보들리언 도서관에 있는 크리스토퍼 스트레이시의 초기 컴퓨터 인쇄물
태어난(1916-11-16) 1916년 11월 16일
햄스테드, 영국
죽은1975년 5월 18일(1975-05-18)(58세)
영국 옥스퍼드
시민권영국
교육그레샴스 스쿨
모교케임브리지 대학교 (BA)
로 알려져 있다CPL, 표기 의미론, 프로그래밍 언어의 기본 개념
부모올리버 스트레이시
레이 코스텔로
과학 경력
필드컴퓨터 사이언스
기관케임브리지 대학교
옥스퍼드 대학교
캔터베리 세인트 에드먼드 스쿨
해로우 스쿨
박사과정 학생피터 모시스
데이비드 터너

크리스토퍼 스트레이시(Christopher S. Stracey, 1916년 11월 16일 ~ 1975년 5월 18일)는 영국의 컴퓨터 과학자이다.[1][2][3]그는 표현적 의미론의 창시자 중 한 명이며 프로그래밍 언어 설계와 컴퓨터 [4]시분할의 선구자였습니다.그는 또한 비디오 [5]게임의 첫 개발자로도 인정받고 있다.그는 정부, 예술, 행정, 학계에서 유명한 스트레이시 가문의 일원이었다.

초기 생활과 교육

크리스토퍼 스트레이시는 1916년 11월 16일 영국 햄스테드에서 올리버 스트레이시와 레이첼 코스텔로 사이에서 태어났다.올리버 스트레이시는 리처드 스트레이시의 아들이자 제1대 남작 헨리 스트레이시의 증손자였다.그의 누나는 작가 바바라 스트레이시였다.1919년, 가족은 51 고든 광장으로 이사했다.스트레이시 부부는 버지니아 울프, 존 메이나드 케인즈, 크리스토퍼의 삼촌 리튼 스트레이시가 포함된 블룸스버리 그룹에 속해 있었다.13세에 크리스토퍼는 홀트에 있는 그레샴스 학교에 진학하여 뛰어난 재능을 보였지만 전반적으로 성적이 나빴다.그는 1935년 캠브리지 킹스 칼리지(앨런 튜링과 같은 대학)에 입학하여 학업을 게을리 했다.스트레이시는 수학을 공부한 후 물리학으로 옮겼다.캠브리지 대학 3학년 말, 스트레이시는 자신의 동성애를 받아들이는 것과 관련된 신경 쇠약에 시달렸다.그는 캠브리지로 돌아왔지만 자연과학 트리포스에서 [6]2등을 하는 데 그쳤다.

직업

학업을 계속할 수 없었던 크리스토퍼는 연구 물리학자로 Standard Telephones and Cables (STC)에 입사했다.그의 첫 번째 일은 레이더에 사용되는 전자관의 설계를 위한 수학적 분석을 제공하는 것이었다.계산의 복잡성 때문에 미분 분석기를 사용해야 했다.이 컴퓨팅 머신에 대한 초기 경험은 Strachey의 관심을 불러일으켰고 그는 이 주제에 대해 연구하기 시작했습니다.캠브리지 대학의 연구 학위 신청은 거절되었고 스트레이시는 제2차 세계대전 내내 STC에서 계속 일했다.전쟁 후 그는 캔터베리 세인트 에드먼드 학교의 교장이 되어 수학과 물리학을 가르치며 오랜 야망을 이루었다.3년 후인 1949년 그는 더 명망 있는 해로우 스쿨로 이사할 수 있었고, 그곳에서 3년간 머물렀다.

Christopher Strachey's Draughts 1952 photo evidence of the first video game
스토리지 CRT 드래프트, 1952년

1951년 1월, 한 친구가 그를 국립물리연구소(NPL)의 마이크 우드거에게 소개했다.이 연구소는 Alan Turing의 자동 컴퓨팅 엔진(ACE)의 축소 버전을 성공적으로 구축했으며, 이 개념은 1945년부터 시작되었다: 파일럿 ACE.그의 여가 시간에 스트레이시는 드래프트 게임을 위한 프로그램을 개발하였고, 1951년 5월에 예비 버전을 완성하였다.그 게임은 파일럿 ACE의 기억을 완전히 소진시켰다.드래프트 프로그램은 1951년 7월 30일 NPL에서 처음으로 실행하려고 했지만 프로그램 [7]오류로 인해 성공하지 못했다.스트레이시가 훨씬 더 큰 기억력을 가진 맨체스터 마크 1에 대해 들었을 때, 그는 그의 전 동료 학생인 앨런 튜링에게 매뉴얼을 요청했고 1951년 10월 경에 그의 프로그램을 그 기계의 작동 코드에 옮겨 넣었다.1952년 여름, 이 프로그램은 "합리적인 속도로 드라우츠의 완전한 게임을 플레이할 수 있다."[8][9]그는 최초의 비디오 게임이었을지도 모르는 이 게임에 이름을 붙이지 않았지만, 노아 워드립 프루인은 이 게임의 이름을 "M"이라고 지었다.U.C. Draughts."[10]

Stracey는 1951년 맨체스터의 Mark II 맨체스터 전자컴퓨터에서 영국 국가 "God Save the Queen"을 연주한 최초의 컴퓨터 연주 음악을 프로그래밍했다.그 해 말, BBC 사외 방송국에 의해 "신이여 여왕을 구하소서", "Baa, Baa, Black Sheep", "In the Mood" 등 세 곡의 짧은 발췌가 녹음되었다.크라이스트처치 캔터베리대 연구진은 2016년 아세테이트 마스터 디스크를 복원했으며 그 결과는 사운드클라우드에서 [11][12]들을 수 있을 것이다.

1952년 5월 스트레이시는 BBC Home Service의 과학 [13][14]조사 프로그램을 위해 "동물과 기계의 제어에 관한 연구"("사이버네틱스")에 대한 2부 강연을 했다.

스트레이시는 1952년부터 1959년까지 National Research Development Corporation(NRDC)에서 일했다.세인트로렌스 시웨이 프로젝트를 진행하는 동안 그는 미국의 여러 컴퓨터 센터를 방문하여 명령어 세트를 카탈로그로 만들 수 있었습니다.후에 그는 엘리엇 401 컴퓨터와 페란티 페가수스 컴퓨터를 프로그래밍하는 일을 했다.도날드 B와 함께요 Gillies는 프로그램 재배치를 위한 베이스 레지스터 설계를 포함한 컴퓨팅 디자인 특허 3건을 출원했습니다.그는 또한 Roger Penrose와 함께 잠시 동안 항공기 내 진동 분석을 연구했습니다.

1959년 Stracey는 NRDC를 떠나 NRDC, EMI, Feranti 및 기타 조직에서 광범위한 프로젝트를 수행하는 컴퓨터 컨설턴트가 되었습니다.이 작업에는 컴퓨터를 위한 논리 설계가 포함되었으며, 자동 코드와 나중에는 고급 프로그래밍 언어의 설계를 제공했습니다.Ferranti Orion 컴퓨터용 오토코드 생산 계약을 위해 Stracey는 Stracey의 컨설팅 기간 동안 그의 유일한 조수가 된 Peter Landin을 고용했다.

1962년, 컨설턴트로 있는 동안, 그는 캠브리지 대학의 자리를 수락했습니다.

1965년 Strachey는 옥스퍼드 대학에서 Programming Research Group의 초대 이사, 후에 대학의 첫 컴퓨터 과학 교수이자 옥스퍼드 울프슨 칼리지의 펠로우로서 자리를 수락했습니다.그는 데이나 스콧과 협력했다.

스트레이시는 1971년 컴퓨터 과학 분야의 선구적인 업적으로 영국 컴퓨터 협회의 저명한 펠로우로 선출되었습니다.

1973년, Stracey는 Adams Prize 대회에 제출된 에세이를 쓰기 시작했고, 그 후 그들은 그것을 책 형태로 수정하는 작업을 계속했다.스트레이시는 AI에 관한[15] 기록된 라이트힐 토론에서 보고 들을 수 있다(라이트힐 보고서 참조).

스트레이시는 황달로 진단된 병에 걸렸고, 회복된 것처럼 보였고, [16]그는 1975년 5월 18일 전염성 간염으로 사망했다.

Stracey는 1959년에 [17][18]시분할 개념을 개발했습니다.그는 그해 2월 특허를 출원해 파리에서 열린 제1회 유네스코 정보처리회의에서 '대형 고속 컴퓨터에서의 시간 공유'라는 논문을 발표해 J. C. R. [19][20]릭라이더에게 개념을 넘겼다.이 논문은 1963년 MIT Computation Center에 의해 "시간 공유 컴퓨터에 관한 최초의 논문"[4]으로 인정되었습니다.

그는 복합 프로그래밍 언어(CPL)를 개발했다.그의 영향력 있는 일련의 강의 노트는 (C 프로그래밍 언어에서 볼 수 있듯이) L-값과 R-값의 구분을 공식화했다.스트레이시는 비록 [citation needed]그가 근본적인 개념을 발명하지는 않았지만 카레링이라는 용어를 만들었다.

그는 페란티 페가수스 컴퓨터 설계에 중요한 역할을 했다.

그는 페란티 마크 1의 드래프트 버전을 만드는 초기 비디오 게임의 선구자였다.

매크로 언어 m4는 최초의 매크로 확장 [21]언어 중 하나인 Stracey의 GPM(General Purpose Macrogenerator)에서 파생되었습니다.

레거시

옥스퍼드 대학의 컴퓨터 과학 학과는 현재 Samson Abramsky [22]FRS가 보유하고 있는 Christopher Stracey 교수직을 가지고 있습니다.

2016년 11월에는 옥스퍼드 대학에서 Stracey [23]탄생 100주년을 축하하는 Stracey 100 이벤트가 개최되었으며, 옥스퍼드 소재 웨스턴 도서관에서는 보들리언 도서관 [24]컬렉션에 보관된 크리스토퍼 스트레이시 아카이브를 관람할 수 있었다.

출판물

  • Strachey, Christopher (1952). "Logical or Non-Mathematical Programmes". Proceedings of the 1952 ACM national meeting. Toronto: ACM. pp. 46–49. doi:10.1145/800259.808992.
  • Strachey, Christopher (1954). "The "Thinking" Machine". Encounter. pp. 25–31.
  • Strachey, Christopher (1959). "Programme-Controlled Time Sharing". Proceedings of the IEE - Part B: Electronic and Communication Engineering. 106 (29): 462. doi:10.1049/pi-b-2.1959.0311.
  • Strachey, Christopher (1959). "On Taking the Square Root of a Complex Number". The Computer Journal. 2 (2): 89. doi:10.1093/comjnl/2.2.89.
  • Strachey, Christopher (1959). "Time Sharing in Large, Fast Computers". Proceedings of the 1st International Conference on Information Processing. Paris: UNESCO. pp. 336–341.
  • Strachey, Christopher (1960). "Two Contributions to the Techniques of Queuing Problems". The Computer Journal. 3 (2): 114–116. doi:10.1093/comjnl/3.2.114.
  • Strachey, Christopher (1961). "Bitwise Operations". Communications of the ACM. 4 (3): 146. doi:10.1145/366199.366254. S2CID 7359297.
  • Strachey, Christopher; Wilkes, Maurice (1961). "Some Proposals for Improving the Efficiency of ALGOL 60". Communications of the ACM. 4 (11): 488–491. doi:10.1145/366813.366816. S2CID 8757176.
  • Strachey, Christopher; Francis, John (1961). "The Reduction of a Matrix to Codiagonal Form by Eliminations". The Computer Journal. 4 (2): 168–176. doi:10.1093/comjnl/4.2.168.
  • Strachey, Christopher (1962). "Book Reviews". The Computer Journal. 5 (2): 152–153. doi:10.1093/comjnl/5.2.152.
  • Barron, David; Buxton, John; Hartley, David; Nixon, Eric; Strachey, Christopher (1963). "The Main Features of CPL". The Computer Journal. 6 (2): 134–143. doi:10.1093/comjnl/6.2.134.
  • Strachey, Christopher (1965). "An Impossible Program". The Computer Journal. 7 (4): 313. doi:10.1093/comjnl/7.4.313.
  • Strachey, Christopher (1965). "A General Purpose Macrogenerator". The Computer Journal. 8 (3): 225–241. doi:10.1093/comjnl/8.3.225.
  • Strachey, Christopher (1966). "System Analysis and Programming". Scientific American. Vol. 215, no. 3. pp. 112–127.
  • Strachey, Christopher (1966). "Towards a Formal Semantics". Proceedings of the IFIP Working Conference on Formal Language Description Languages. Amsterdam: North Holland. pp. 198–220.
  • 스트레 이치, 크리스토퍼(1967년).프로그래밍 언어(기술 보고서)에 기본 개념.국제 여름 학교 컴퓨터 프로그래밍에서 코펜하겐에서 강의 노트.또한:스트레 이치, 크리스토퍼(2000년)."프로그래밍 언어에서 기본 개념".과 상징성Higher-Order 계수. 13(1–2):11–49. doi:10.1023/A:1010000313106.S2CID 14124601.
  • 스콧, 다나, 스트레 이치, 크리스토퍼(1971년).는 수학적 의미 체계 컴퓨터 언어(기술 보고서)을 향하여옥스포드 대학 컴퓨팅 연구소, 프로그래밍 연구 그룹이다.PRG06. 또한:스캇, 다나, 스트레 이치, 크리스토퍼(1971년)."는 수학적 의미 체계 컴퓨터 언어에".그 심포지엄에 대하여 아래 컴퓨터와 로봇에 회보.뉴욕:폴리 테크닉 대학 브루클린.를 대신하여 서명함. 19–46.
  • Strachey, Christopher (1972). "Varieties of Programming Language". Proceedings of the International Computing Symposium. Venice: Cini Foundation. pp. 222–233. 기타:
  • Stoy, Joseph; Strachey, Christopher (1972). "OS6—An Experimental Operating System for a Small Computer. Part 1: General Principles and Structure". The Computer Journal. 15 (2): 117–124. doi:10.1093/comjnl/15.2.117.
  • Stoy, Joseph; Strachey, Christopher (1972). "OS6—An Experimental Operating System for a Small Computer. Part 2: Input/Output and Filing System". The Computer Journal. 15 (3): 195–203. doi:10.1093/comjnl/15.3.195.
  • Strachey, Christopher; Stoy, Joseph (1972). The Text of OSPub (Technical report). Oxford University Computing Laboratory, Programming Research Group. PRG09.
  • 스트레 이치, 크리스토퍼, 워즈워스, 크리스토퍼(1974년).Continuations:의 의미 처리 전체 자기방(기술 보고서).옥스포드 대학 컴퓨팅 연구소, 프로그래밍 연구 그룹이다. PRG11.또한:스트레 이치, 크리스토퍼, 워즈워스, 크리스토퍼(2000년)."Continuations:의 의미 처리에 전체 자기방".과 상징성Higher-Order 계수. 13(1–2):135–152. doi:10.1023/A:1010026413531.S2CID 10673265.
  • Milne, Robert; Strachey, Christopher (1976). A Theory of Programming Language Semantics. New York: Springer. ISBN 978-1-5041-2833-9.

레퍼런스

  1. ^ Christopher Stracey: 영국의 컴퓨터 과학자, Encyclopédia Britanica.
  2. ^ 영국 국립문서보관소 Christopher Stracey(1916년 - 1975년)의 논문 및 서신 목록.
  3. ^ 고든, M.J.C., 크리스토퍼 스트레이시: 그의 영향, 고차 및 기호 계산의 회상, 13(1-2): 65-67, 2000년 4월.ISSN 1388-3690. (PostScript 버전은 2017년 3월 13일 Wayback Machine에서 아카이브되었습니다.)
  4. ^ a b F. J. Corbato 등Compatible Time-Sharing System A 프로그래머 가이드(MIT Press, 1963년) ISBN 978-0-262-03008-3."C의 시분할 컴퓨터에 관한 첫 논문입니다.1959년 6월 유네스코 정보처리 회의에서의 스트레이시"
  5. ^ Brown, Stuart (4 October 2019). "The First Video Game". YouTube. Archived from the original on 4 October 2019. Retrieved 19 January 2022.
  6. ^ Campbell-Kelly, M. (January 1985). "Christopher Strachey, 1916–1975: A Biographical Note". IEEE Annals of the History of Computing. 7 (1): 21. doi:10.1109/mahc.1985.10001. S2CID 17188378.
  7. ^ "The Priesthood at Play: Computer Games in the 1950s". They Create Worlds. 22 January 2014. Retrieved 28 August 2017.
  8. ^ "What is Artificial Intelligence". AlanTuring.net. May 2000. Retrieved 28 August 2017.
  9. ^ Strachey, C. S. (September 1952). Logical or non-mathematical programmes. ACM '52: Proceedings of the 1952 ACM National Meeting (Toronto). p. 47. doi:10.1145/800259.808992.
  10. ^ Wardrip-Fruin, Noah (December 2020). How Pac-Man Eats (1 ed.). Cambridge, MA: The MIT Press. p. 121. ISBN 9780262044653.
  11. ^ "First recording of computer-generated music – created by Alan Turing – restored". The Guardian. 26 September 2016. Retrieved 28 August 2017.
  12. ^ "Restoring the first recording of computer music – Sound and vision blog". British Library. 13 September 2016. Retrieved 28 August 2017.
  13. ^ "Science Survey – BBC Home Service Basic – 1 May 1952 – BBC Genome". BBC. Retrieved 28 August 2017.
  14. ^ "Science Survey – BBC Home Service Basic – 8 May 1952 – BBC Genome". BBC. Retrieved 28 August 2017.
  15. ^ bilkable (12 September 2010), The Lighthill Debate (1973) – part 6 of 6, retrieved 27 October 2017
  16. ^ "Computer Pioneers - Christopher Strachey".
  17. ^ "Computer Pioneers - Christopher Strachey". history.computer.org. Retrieved 23 January 2020. What Strachey proposed in his concept of time-sharing was an arrangement that would preserve the direct contact between programmer and machine, while still achieving the economy of multiprogramming.
  18. ^ "Computer - Time-sharing and minicomputers". Encyclopedia Britannica. Retrieved 23 January 2020. In 1959 Christopher Strachey in the United Kingdom and John McCarthy in the United States independently described something they called time-sharing.
  19. ^ Gillies, James M.; Gillies, James; Gillies, James and Cailliau Robert; Cailliau, R. (2000). How the Web was Born: The Story of the World Wide Web. Oxford University Press. pp. 13. ISBN 978-0-19-286207-5.
  20. ^ "Reminiscences on the Theory of Time-Sharing". jmc.stanford.edu. Retrieved 23 January 2020. in 1960 'time-sharing' as a phrase was much in the air. It was, however, generally used in my sense rather than in John McCarthy's sense of a CTSS-like object.
  21. ^ C. Stracey: "범용 매크로 제너레이터", The Computer Journal, 8(3):225~241, 1965.
  22. ^ "Samson Abramsky". UK: Department of Computer Science, University of Oxford. Retrieved 18 January 2017.
  23. ^ "Strachey 100: Celebrating the life and research of Christopher Strachey". UK: Department of Computer Science, University of Oxford. 2016. Retrieved 18 January 2017.
  24. ^ Bowen, Jonathan P. (2016). "Strachey 100 Centenary Conference: Photographs of Strachey 100" (PDF). FACS FACTS. UK: BCS-FACS. 2: 44–52. Retrieved 18 January 2017.

추가 정보

외부 링크