Loading article…
クリストファー・S・ストラッチー（ / ˈstreɪtʃi / STRAY - chee、1916年11月16日 - 1975年5月18日）は、イギリスのコンピュータ科学者でした。[ 1 ] [ 2 ] [ 3 ]プログラミング言語設計の先駆者であり、指示的意味論とコンピュータのタイムシェアリングの創始者の一人でした。[ 4 ]多態性や参照透過性など、コンピュータ科学で広く使われている用語をいくつか考案しました。[ 5 ]ビデオゲームの最初の開発者の一人として評価されています。[ 6 ]彼はストラッチー家の一員であり、その一族には政府、芸術、行政、学術界で著名な人物が数多くいます。
クリストファー・S・ストレイチーは、1916年11月16日、イングランドのハムステッドでオリバーとレイ・ストレイチー（旧姓コステロ）の間に生まれた。オリバー・ストレイチーはリチャード・ストレイチーの息子で、初代準男爵サー・ヘンリー・ストレイチーの曾孫にあたる。彼の姉は作家のバーバラ・ストレイチーである。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 ]ストラッチーは、はるかに大きなメモリを持つManchester Mark 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月に特許出願を行い、パリで開催された第1回ユネスコ情報処理会議で「大規模高速コンピュータにおけるタイムシェアリング」と題する論文を発表し、その概念をJCRリクリダーに伝えた。[ 19 ] [ 20 ]この論文は、 1963年にMIT計算センターによって「タイムシェアリングコンピュータに関する最初の論文」として評価されている。[ 4 ]
1962年、彼はコンサルタントとしての職を続けながら、ケンブリッジ大学の職に就いた。
1965年、ストラッチーはオックスフォード大学でプログラミング研究グループの初代ディレクターの職に就き、後に同大学初のコンピュータサイエンス教授、そしてオックスフォード大学ウルフソン・カレッジのフェローとなった。[ 21 ]彼はダナ・スコットと共同研究を行った。
ストラッチーは、コンピュータ科学における先駆的な業績により、1971年に英国コンピュータ協会の特別フェローに選出された。 [ 22 ]
1973年、ストラッチーは（ロバート・ミルンと共に）アダムズ賞に応募するエッセイの執筆を開始し、その後、それを改訂して書籍化する作業を続けた。ストラッチーは1973年のライトヒル人工知能討論会にジョン・マッカーシーらと共に参加した[ 23 ]（ライトヒル報告書を参照）。
彼は複合プログラミング言語（CPL）を開発した。彼の影響力のある講義ノート『プログラミング言語の基本概念』は、 L値とR値の区別（ C言語に見られるような）を体系化した。ストラッチーはまた、 「カリー化」という用語を作り出したが、その根底にある概念を発明したわけではない。
彼はフェランティ・ペガサス・コンピュータの設計において重要な役割を果たした。
マクロ言語m4は、初期のマクロ拡張言語の1つであるStracheyのGPM（General Purpose Macrogenerator ）から多くを派生している。[ 24 ]
ストラッチーは黄疸と診断された病気にかかり、一時的に回復したように見えた後、再発し、1975年5月18日に感染性肝炎で亡くなった。 [ 17 ]彼の死後、1977年からサー・トニー・ホーアがオックスフォードのプログラミング研究グループの責任者に就任した。
オックスフォード大学のコンピュータサイエンス学科には、クリストファー・ストラッチー・コンピューティング教授職があり、[ 25 ] [ 26 ]これまで以下の人々がその職を務めてきました。
1995年、ストラッチーを記念して、オックスフォード大学に計算機科学のストラッチー講義が設立されました。 [ 21 ] 2016年11月には、ストラッチー生誕100周年を記念してオックスフォード大学でストラッチー100イベントが開催され、[ 29 ]その中には、ボドリアン図書館のコレクションに所蔵されているクリストファー・ストラッチーのアーカイブをオックスフォードのウェストン図書館で閲覧することも含まれていました。[ 30 ]
ストラッチーがタイムシェアリングの概念で提案したのは、マルチプログラミングの経済性を維持しながら、プログラマーとマシンの直接的な接触を維持する仕組みでした。
1959年、イギリスのクリストファー・ストラッチーと
アメリカの
ジョン・マッカーシーは、それぞれ独立してタイムシェアリングと呼ばれるものを記述した。
広く使われていました。しかし、それは一般的に、ジョン・マッカーシーがCTSSのような対象として用いた意味ではなく、私の意味で使われていました。