Loading article…
クリストファー・ストラチェイ | |
|---|---|
 オックスフォード大学ボドリアン図書館所蔵のクリストファー・ストレイチーの初期のコンピュータプリントアウト | |
| 生まれる | 1916年11月16日 ハムステッド、イギリス |
| 死亡 | 1975年5月18日（58歳） オックスフォード、イギリス |
| 市民権 | イギリス |
| 教育 | グレシャムズスクール |
| 母校 | ケンブリッジ大学（BA） |
| 知られている | CPL、表示的意味論、プログラミング言語の基本概念、タイムシェアリング |
| 両親） | オリバー・ストレイチー レイ・コステロ |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | ケンブリッジ大学、 オックスフォード大学 セントエドマンズスクール、カンタベリー ハロースクール |
| 博士課程の学生 | ピーター・モス デヴィッド・ターナー |
クリストファー・S・ストラチー（Christopher S. Strachey / ˈ s t r eɪ tʃ i / ; 1916年11月16日 - 1975年5月18日）は、イギリスのコンピュータ科学者である。[1] [2] [3]彼は表示的意味論の創始者の一人であり、プログラミング言語設計とコンピュータタイムシェアリングの先駆者でもある。[4]彼はまた、おそらくビデオゲームの最初の開発者であるとされ、 [5]ポリモーフィズムや参照透明性など、今日でも開発者に広く使用されている用語を生み出した。[6]彼は、政府、芸術、行政、学界で著名な ストラチー家の一員であった。
幼少期と教育
クリストファー・ストレイチーは、1916年11月16日、イングランドのハムステッドで、オリバー・ストレイチーとレイチェル（レイ）・コステロの子として生まれた。オリバー・ストレイチーはリチャード・ストレイチーの息子で、サー・ヘンリー・ストレイチー第1代準男爵の曾孫にあたる。姉は作家のバーバラ・ストレイチー。1919年、家族はゴードン・スクエア51番地に移転した。ストレイチー家は、ヴァージニア・ウルフ、ジョン・メイナード・ケインズ、ストレイチーの叔父リットン・ストレイチーらが所属するブルームズベリー・グループに属していた。13歳の時、ストレイチーはホルトのグレシャム・スクールに入学し、才能の兆しを見せたものの、全般的に成績は振るわなかった。1935年、ケンブリッジ大学キングス・カレッジ（アラン・チューリングが通っていた大学）に入学したが、そこでも勉強を怠り続けた。ストレイチーは数学を専攻し、その後物理学に転向した。ケンブリッジ大学3年生の終わりに、ストラチーは神経衰弱に陥った。これは同性愛を認めることと関係があると思われる。ストラチーはケンブリッジ大学に戻ったが、自然科学のトリポスでは「下位2位」にとどまった。[7]
キャリア
教育を続けることができなかったストラチェイは、研究物理学者としてスタンダード・テレフォンズ・アンド・ケーブルズ（STC）に入社した。彼の最初の仕事は、レーダーに使用される電子管の設計のための数学的分析を提供することだった。計算が複雑だったため、微分解析器を使用する必要があった。この計算機との最初の経験がストラチェイの興味をかき立て、彼はそのテーマを研究し始めた。ケンブリッジ大学での研究学位の申請は却下され、ストラチェイは第二次世界大戦中もSTCで働き続けた。戦後、彼は長年の夢を叶え、カンタベリーのセント・エドマンズ・スクールで数学と物理を教える教師となった。3年後、彼は1949年にさらに名門のハロー・スクールに移ることができ、そこで3年間働いた。
1951 年 1 月、友人が彼を国立物理学研究所(NPL)のマイク・ウッドガーに紹介しました。研究所は、1945 年に構想が生まれたアラン・チューリングの自動計算エンジン(ACE) の縮小版であるPilot ACEの開発に成功していました。1951 年 5 月、空き時間にストラチーはチェッカー(アメリカ英語では「チェッカー」)ゲームのプログラムの試作版を開発しました。これが最初のビデオ ゲームだったかもしれません。このゲームは Pilot ACE のメモリを完全に使い果たしました。 1951年7月30日にNPLで初めて実行されたとき、チェッカープログラムはプログラムエラーのために失敗しました。[8]ストラチーは、はるかに大きなメモリを備えたマンチェスターマーク1について聞いたとき、元同級生のアランチューリングにマニュアルを頼み、1951年10月頃までにプログラムをそのマシンの操作コードに書き写しました。1952年の夏までに、プログラムは「適切な速度でチェッカーの完全なゲームをプレイ」できるようになりました。[9] [10]彼はこのゲームに名前を付けませんでしたが、ノアウォードリップフルインはそれを「MUC チェッカー」と名付けました。[11]
ストラチーはイギリスで最初のコンピューター音楽をプログラムした。これはコンピューターで演奏された音楽の最古の録音であり、1951年にマンチェスター大学のフェランティ・マーク1コンピューターで英国国歌「ゴッド・セイヴ・ザ・キング」を演奏したものである。その年の後半には、 BBCの放送局によって3曲の短い抜粋が録音された。「ゴッド・セイヴ・ザ・キング」「バァ・バァ・ブラック・シープ」「イン・ザ・ムード」。クライストチャーチのカンタベリー大学の研究者らが2016年にアセテートマスターディスクを復元し、その結果はSoundCloudで聞くことができる。[12] [13]
1952年の夏、ストラチェイはフェランティ・マーク1用のラブレター生成器をプログラムしました。これはコンピュータ生成文学の最初の例として知られています。[14]
1952年5月、ストラチーはBBCホームサービスの科学調査番組で「動物と機械の制御の研究」（「サイバネティクス」）について2部構成の講演を行った。 [15] [16]
ストラチェイは1952年から1959年まで国立研究開発法人（NRDC）に勤務した。セントローレンス水路計画に携わりながら、米国のいくつかのコンピュータセンターを訪問し、その命令セットをカタログ化した。後に、エリオット401コンピュータとフェランティペガサスコンピュータのプログラミングに取り組んだ。ドナルド・B・ギリーズとともに、プログラム再配置用ベースレジスタの設計を含むコンピュータ設計に関する3件の特許を申請した。また、ロジャー・ペンローズと短期間協力し、航空機の振動解析にも取り組んだ。
1959年、ストラチェイはNRDCを離れ、NRDC、 EMI、フェランティなどの組織でコンピュータコンサルタントとなり、さまざまなプロジェクトに携わった。この仕事には、コンピュータの論理設計、オートコードの提供、後には高級プログラミング言語の設計が含まれていた。フェランティのオリオンコンピュータのオートコードを作成する契約で、ストラチェイはピーター・ランディンを雇い、ストラチェイのコンサルタント期間中、ランディンは彼の唯一のアシスタントとなった。
ストラチーは1959年にタイムシェアリングの概念を考案した。[17] [18]彼はその年の2月に特許を申請し、パリで開催されたユネスコ情報処理会議で「大型高速コンピュータにおけるタイムシェアリング」という論文を発表し、その概念をJCRリックライダーに伝えた。[19] [20]この論文は1963年にMIT計算センターによって「タイムシェアリングコンピュータに関する最初の論文」とされている。[4]
1962年、彼はコンサルタントとして働きながら、ケンブリッジ大学の職に就いた。
1965年、ストラチェイはオックスフォード大学のプログラミング研究グループの初代ディレクターに就任し、後に同大学初のコンピュータサイエンス教授およびオックスフォード大学ウルフソン・カレッジの研究員となった。彼はダナ・スコットと共同研究を行った。
ストラチーは、コンピュータサイエンスにおける先駆的な研究により、1971 年に 英国コンピュータ協会の著名なフェローに選出されました。
1973年、ストラチーはロバート・ミルンとともにアダムズ賞コンペティションに提出するエッセイを書き始め、その後それを書籍に改訂する作業を続けました。ストラチーは、ライトヒルでのAIに関する討論の録音で見たり聞いたりすることができます[21]（ライトヒル報告書を参照）。
彼はCombined Programming Language (CPL) を開発した。彼の影響力の大きい講義ノート「プログラミング言語の基本概念」では、 L 値と R 値の区別を形式化した( C プログラミング言語で見られるように)。Strachey はまた、カリー化という用語を作ったが[要出典]、基礎となる概念を発明したわけではない。
彼はフェランティ・ペガサス・コンピュータの設計に尽力した。
マクロ言語m4は、最も初期のマクロ拡張言語の一つであるStracheyのGPM（General Purpose Macrogenerator ）から多くの影響を受けています。[22]
ストラチェイは黄疸と診断された病気にかかり、回復したように見えたが再発し、1975年5月18日に感染性肝炎で亡くなった。[23]彼の死後、トニー・ホア卿が1977年からオックスフォード大学のプログラミング研究グループの責任者としてストラチェイの後を継いだ。
遺産
オックスフォード大学コンピュータサイエンス学部にはクリストファー・ストラチー計算機科学教授職[24] [25]があり、これまでに以下の人々が教授を務めています。
- サー・トニー・ホーアFRS（1988–2000）[24]
- サムソン・アブラムスキーFRS（2000–2021）[26]
- 吉田伸子（2022年以降）[27]
2016年11月、オックスフォード大学でストラチェイ生誕100周年を祝うストラチェイ100イベントが開催され[28]、オックスフォードのウェストン図書館でボドリアン図書館コレクションに所蔵されているクリストファー・ストラチェイのアーカイブの閲覧も行われた[29]。
出版物
- Strachey, Christopher (1952)。「論理的または非数学的プログラム」。1952 ACM 全国会議の議事録。トロント: ACM。pp. 46–49。doi :10.1145/800259.808992。
- ストラチー、クリストファー (1954)。「考える機械」。Encounter 25～31 ページ。
- Strachey, Christopher (1959). 「プログラム制御によるタイムシェアリング」. IEE 議事録 - パート B: 電子通信工学. 106 (29): 462. doi : 10.1049/pi-b-2.1959.0311 .
- Strachey, Christopher (1959). 「複素数の平方根の計算について」.コンピュータジャーナル. 2 (2): 89. doi : 10.1093/comjnl/2.2.89 .
- Strachey, Christopher (1959)。「大型高速コンピュータにおけるタイムシェアリング」。第 1 回国際情報処理会議議事録。パリ: UNESCO。pp . 336–341。
- Strachey, Christopher (1960)。「待ち行列問題の解決手法への 2 つの貢献」。コンピュータジャーナル。3 (2): 114–116。doi : 10.1093/ comjnl /3.2.114。
- Strachey, Christopher (1961). 「ビット演算」. Communications of the ACM . 4 (3): 146. doi : 10.1145/366199.366254 . S2CID 7359297.
- Strachey, Christopher; Wilkes, Maurice (1961). 「ALGOL 60 の効率を改善するためのいくつかの提案」Communications of the ACM . 4 (11): 488–491. doi : 10.1145/366813.366816 . S2CID 8757176.
- Strachey, Christopher; Francis, John (1961). 「消去法による行列の余角形への縮約」.コンピュータジャーナル. 4 (2): 168–176. doi : 10.1093/comjnl/4.2.168 .
- Strachey, Christopher (1962). 「書評」.コンピュータジャーナル. 5 (2): 152–153. doi : 10.1093/comjnl/5.2.152 .
- バロン、デビッド; バクストン、ジョン; ハートレー、デビッド; ニクソン、エリック; ストラチー、クリストファー (1963)。「CPL の主な機能」。コンピュータジャーナル。6 (2): 134–143。doi : 10.1093/comjnl/6.2.134。
- Strachey, Christopher (1965). 「不可能なプログラム」.コンピュータジャーナル. 7 (4): 313. doi : 10.1093/comjnl/7.4.313 .
- Strachey, Christopher (1965). 「汎用マクロジェネレータ」.コンピュータジャーナル. 8 (3): 225–241. doi : 10.1093/comjnl/8.3.225 .
- Strachey, Christopher (1966) 「システム分析とプログラミング」Scientific American第 215 巻第 3 号 112 ～ 127 ページ。
- Strachey, Christopher (1966)。「形式意味論に向けて」。形式言語記述言語に関する IFIP ワーキング カンファレンスの議事録。アムステルダム: 北ホラント。pp. 198–220。
- Strachey, Christopher (1967)。プログラミング言語の基本概念(技術レポート)。コペンハーゲンで開催された国際コンピュータプログラミングサマースクールの講義ノート。また、Strachey, Christopher (2000)「プログラミング言語の基本概念」高階および記号計算。13 (1–2): 11–49。doi : 10.1023 /A : 1010000313106。S2CID 14124601 。
- スコット、ダナ、ストラチー、クリストファー (1971)。コンピュータ言語の数学的意味論に向けて (技術レポート)。オックスフォード大学コンピューティング研究所、プログラミング研究グループ。PRG06。また、スコット、ダナ、ストラチー、クリストファー (1971)。「コンピュータ言語の数学的意味論に向けて」。コンピュータとオートマトンに関するシンポジウムの議事録。ニューヨーク:ブルックリン工科大学。pp. 19–46。
- Strachey, Christopher (1972)。「プログラミング言語の多様性」。国際コンピューティングシンポジウム議事録。ヴェネツィア: Cini Foundation。pp . 222–233。また、Strachey, Christopher (1973)。プログラミング言語の多様性 (技術レポート)。オックスフォード大学コンピューティング研究所、プログラミング研究グループ。PRG10。
- Stoy , Joseph; Strachey, Christopher (1972)。「OS6 - 小型コンピュータ用の実験的オペレーティングシステム。パート 1: 一般原則と構造」。コンピュータジャーナル。15 (2): 117–124。doi : 10.1093/ comjnl /15.2.117。
- Stoy , Joseph; Strachey, Christopher (1972)。「OS6 - 小型コンピュータ用の実験的オペレーティングシステム。パート2 : 入出力およびファイリングシステム」。コンピュータジャーナル。15 (3): 195–203。doi : 10.1093/comjnl/15.3.195。
- Strachey, Christopher; Stoy, Joseph (1972)。OSPub のテキスト (技術レポート)。オックスフォード大学コンピューティング研究所、プログラミング研究グループ。PRG09。
- Strachey, Christopher; Wadsworth, Christopher (1974)。継続: フルジャンプを処理するための数学的セマンティクス (技術レポート)。オックスフォード大学コンピューティング研究所、プログラミング研究グループ。PRG11。また、 Strachey, Christopher、Wadsworth, Christopher (2000)。「継続: フルジャンプを処理するための数学的セマンティクス」。高階および記号計算。13 (1–2): 135–152。doi : 10.1023 /A:1010026413531。S2CID 10673265。
- ミルン、ロバート、ストラチー、クリストファー (1976)。プログラミング言語意味論の理論。ニューヨーク: シュプリンガー。ISBN 978-1-5041-2833-9。
参考文献
- ^ クリストファー・ストラチー：イギリスのコンピューター科学者、ブリタニカ百科事典。
- ^ クリストファー・ストラチー（1916-1975）の文書および書簡のカタログ、英国国立公文書館。
- ^ Gordon, MJC , Christopher Strachey: Recollections of His Influence, Higher-Order and Symbolic Computation , 13(1–2):65–67, April 2000. ISSN 1388-3690. (PostScript バージョンは 2017 年 3 月 13 日にWayback Machineにアーカイブされています。)
- ^ ab FJ Corbató 他著『The compatible Time-Sharing System A Programmer's Guide』 (MIT Press、1963) ISBN 978-0-262-03008-3。「1959 年 6 月の UNESCO 情報処理会議における C. Strachey によるタイムシェアリング コンピュータに関する最初の論文」
- ^ Brown, Stuart (2019年10月4日). 「The First Video Game」. YouTube . 2019年10月4日時点のオリジナルよりアーカイブ。 2022年1月19日閲覧。
- ^ Strachey, Christopher (1967).プログラミング言語の基本概念(技術レポート). コペンハーゲンで開催されたコンピュータプログラミングに関する国際サマースクールの講義ノート。
- ^ Campbell-Kelly, M. (1985 年 1 月). 「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.
- ^ 「聖職者の遊び：1950年代のコンピュータゲーム」。They Create Worlds。2014年1月22日。 2017年8月28日閲覧。
- ^ 「人工知能とは何か」AlanTuring.net 2000年5月2017年8月28日閲覧。
- ^ Strachey, CS (1952 年 9 月)。論理プログラムまたは非数学プログラム。ACM '52: 1952 ACM 全国会議 (トロント) の議事録。p. 47。doi : 10.1145/800259.808992。
- ^ ウォードリップ・フルイン、ノア（2020年12月）。『How Pac-Man Eats（第1版）』。マサチューセッツ州ケンブリッジ：MITプレス。121ページ。ISBN 9780262044653。
- ^ 「アラン・チューリングが作曲したコンピューター生成音楽の最初の録音が復元される」。ガーディアン。2016年9月26日。 2017年8月28日閲覧。
- ^ 「コンピューター音楽の最初の録音の復元 - サウンドとビジョンのブログ」大英図書館。2016年9月13日。 2017年8月28日閲覧。
- ^ Rettberg, Jill Walker (2021年10月3日). 「Speculative Interfaces: 電子文学はいかにしてインターフェースを利用してテクノロジーについて考えさせるのか」. Electronic Book Review . doi :10.7273/1XSG-NV26.
- ^ 「科学調査 - BBCホームサービスベーシック - 1952年5月1日 - BBCゲノム」BBC、1952年5月。 2017年8月28日閲覧。
- ^ 「科学調査 - BBCホームサービスベーシック - 1952年5月8日 - BBCゲノム」BBC。1952年5月8日。 2017年8月28日閲覧。
- ^ 「コンピュータの先駆者 - クリストファー・ストラチー」。history.computer.org 。 2020年1月23日閲覧。
ストラチーがタイムシェアリングのコンセプトで提案したのは、プログラマーとマシンの直接的な接触を維持しながら、マルチプログラミングの経済性を実現する仕組みだった。
- ^ 「コンピュータ - タイムシェアリングとミニコンピュータ」。ブリタニカ百科事典。2020年1月23日閲覧。
1959年、イギリスのクリストファー・ストレイチーとアメリカのジョン・マッカーシーがそれぞれタイムシェアリングと呼ばれるものを説明しました。
- ^ ギリーズ、ジェームズ M.; ギリーズ、ジェームズ; ギリーズ、ジェームズとカイユ ロバート; カイユ、R. (2000)。ウェブの誕生: ワールド ワイド ウェブの物語。オックスフォード大学出版局。pp. 13。ISBN 978-0-19-286207-5。
- ^ 「タイムシェアリング理論の回想」。jmc.stanford.edu 。 2020年1月23日閲覧。
1960年には、「タイムシェアリング」というフレーズが流行していました。しかし、ジョン・マッカーシーのCTSSのようなオブジェクトという意味ではなく、私の意味で一般的に使用されていました。
- ^ bilkable (2010年9月12日)、The Lighthill Debate (1973) – 6/6部、 2017年10月27日閲覧。
- ^ C. Strachey:「汎用マクロジェネレータ」、コンピュータジャーナル、8 (3):225–241、1965年。
- ^ 「コンピュータの先駆者 - クリストファー・ストラチー」。
- ^ ab 「Christopher Strachey Professorship of Computing」。オックスフォード大学コンピューターサイエンス学部。2021年11月5日。 2024年1月18日閲覧。
- ^ 「クリストファー・ストラチー コンピューティング教授」オックスフォード大学2021年10月28日2024年1月18日閲覧。
- ^ 「サムソン・アブラムスキー」。英国：オックスフォード大学コンピューターサイエンス学部。 2017年1月18日閲覧。
- ^ 「Welcome to our new Strachey Chair, Professor Nobuko Yoshida」オックスフォード大学コンピューターサイエンス学部。2022年6月29日。 2024年1月18日閲覧。
- ^ 「Strachey 100: Celebrating the life and research of Christopher Strachey」英国:オックスフォード大学コンピューターサイエンス学部。2016年。 2017年1月18日閲覧。
- ^ Bowen, Jonathan P. (2016). 「Strachey 100 Centenary Conference: Photographs of Strachey 100」（PDF） . FACS FACTS . 2.英国：BCS-FACS：44–52 . 2017年1月18日閲覧。（こちらもどうぞ）
さらに読む
- バロン、デイビッド (2008 年夏)。「パイオニア プロファイル - クリストファー ストラチー」。Resurrection ( 43)。コンピュータ保存協会。ISSN 0958-7403 。
- Copeland , Jack (2000 年 6 月)。「コンピューティングの簡潔な歴史」。AlanTuring.net 。
- Danvy, Olivier; Talcott, Carolyn編 (2000 年 4 月)。「Christopher Strachey を偲んで特別号」。高階および記号計算。13 (1/2)。
- ラヴィントン、 S. (2000)。ペガサス物語。サイエンスミュージアム。ISBN 1-900747-40-5。
外部リンク
- DBLP書誌サーバーの Christopher Strachey
- クリストファー・ストラチー（1916-1975） -ウェイバックマシン（2007年9月26日アーカイブ） -バーチャル・ミュージアム・オブ・コンピューティング
- 1952 年の Christopher Strachey のラブレター アルゴリズムを実行するマンチェスター マーク 1 のシミュレーター
- クリストファー・ストラチーのラブレターアルゴリズムのウェブ版で単語リストを表示
- 大英図書館に所蔵されている補足ストラチー文書