ロビン・ミルナー

ロビン・ミルナー
生まれる	アーサー・ジョン・ロビン・ゴレル・ミルナー ( 1934-01-13 )1934年1月13日 イェールプトン、プリマス、イングランド
死亡	2010年3月20日(2010-03-20)（享年76歳） ケンブリッジ、イギリス
知られている	コンピュータサイエンスの理論 LCF ML 通信システムの計算 π計算 Hindley–Milner型推論
受賞歴	チューリング賞（1991年）[1] フランス DFBCS FRSE NAE 外国人アソシエイト
科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	フェランティ ロンドンシティ大学 スウォンジー大学 スタンフォード大学 エディンバラ大学 ケンブリッジ大学 オーフス大学
博士課程の指導教員	ミルナーは博士号を取得したことがないので、ありません[2]
博士課程の学生	マッツ・トフテ(1988) ファロン・モラー クリス・トフツ ダヴィデ・サンジョルジ(1993) [3] [4]

アーサー・ジョン・ロビン・ゴレル・ ミルナー（1934年1月13日 - 2010年3月20日）はイギリスの コンピュータ科学者であり、チューリング賞受賞者です。^{[5] [6] [7] [8] [9] [10]}

ミルナーはイギリスのプリマス近郊のイェールプトンで軍人の家庭に生まれた。1947年にイートン校奨学金を得て入学し、 1952年にはトムライン賞（イートン校の数学における最高賞）を受賞した。その後、王立工兵隊に勤務し、少尉にまで昇進した。その後、ケンブリッジ大学キングス・カレッジに入学し、1957年に卒業した。ミルナーは最初教師として、その後フェランティでプログラマーとして働き、その後ロンドン・シティ大学、スウォンジー大学、スタンフォード大学と学問の世界に進み、1973年からはエディンバラ大学でコンピュータサイエンス基礎研究所（LFCS）の共同設立者となった。1995年にコンピュータ研究所の所長としてケンブリッジに戻り、最終的には辞任したが、研究所にはまだ在籍していた。ミルナー氏は2009年からスコットランド情報科学およびコンピュータサイエンス連合の高度研究フェローを務め、エディンバラ大学でコンピュータサイエンスの教授を（パートタイムで）務めました。

ミルナーは2010年3月20日にケンブリッジで心臓発作で亡くなった。^{[5] [11]}彼の妻ルーシーも彼の死の直前に亡くなった。^[12]

ミルナーは、一般的にコンピュータサイエンスに3つの大きな貢献をしたと考えられています。彼は、自動定理証明用の最初のツールの1つである計算可能関数の論理（LCF）を開発しました。彼がLCF用に開発した言語であるMLは、多態的な型推論と型安全な例外処理を備えた最初の言語でした。まったく異なる分野では、ミルナーは並行システムを分析するための理論的枠組み、通信システム計算（CCS）とその後継であるπ計算も開発しました。

彼が亡くなった当時、彼はCCSとπ計算を包含するユビキタスコンピューティングの形式であるバイグラフに取り組んでいました。^{[13]彼はまた、} Hindley-Milner型システムの再発見者としても知られています。

1988年、ミルナーは王立協会フェローおよび英国コンピュータ協会の特別フェローに任命された。 1991年、ACM チューリング賞を受賞した。1994年、 ACMフェローに選出された。2004年、エディンバラ王立協会はミルナーに「地球規模で公共の利益をもたらした」功績によりロイヤルメダルを授与した。2008年、ミルナーは「LCF、ML、CCS、π計算の開発を含むコンピュータサイエンスへの根本的な貢献」により米国技術アカデミーの外国人会員に選出された。[1]

王立協会ミルナー賞^[14] とACM SIGPLANロビン・ミルナー若手研究者賞^[15]はどちらも彼の名にちなんで名付けられました。

• 通信システムの計算、ロビン・ミルナー。Springer - Verlag ( LNCS 92)、1980年。ISBN 3-540-10235-3 
• コミュニケーションと並行性、ロビン・ミルナー。プレンティス・ホール国際コンピュータサイエンスシリーズ、1989年。ISBN 0-13-115007-3 
• 標準 ML の定義、ロビン・ミルナー、マッズ・トフティ、ロバート・ハーパー、MIT プレス1990
• 『Standard ML』の解説、ロビン・ミルナー、マッツ・トフティ、MIT Press 1991。ISBN 0-262-63137-7 
• 標準 ML の定義(改訂版)、ロビン・ミルナー、マッズ・トフティ、ロバート・ハーパー、デビッド・マックィーン、MIT プレス 1997 年。ISBN 0-262-63181-4 
• 通信とモバイルシステム：π計算、ロビン・ミルナー。ケンブリッジ大学出版局、1999年。ISBN 0-521-65869-1 
• コミュニケーションエージェントの空間と動き、ロビン・ミルナー、ケンブリッジ大学出版局、2009年。ISBN 978-0-521-73833-0 

参照: DBLPの Robin Milner の出版物

• ロビン・ミルナー氏へのインタビュー、2010 年 1 月。
• 証明、言語、相互作用：ロビン・ミルナーを讃えるエッセイ、ゴードン・プロトキン、コリン・スターリング、マッズ・トフティ編。MIT出版、2000年。ISBN 0-262-16188-5。 
• エディンバラ王立協会:優れた業績に対するロイヤルゴールドメダル(2004 年プレスリリース)。http://www.royalsoced.org.uk/rse_press/2004/medals.htm
• ロビン・ミルナーの略歴とスピーチ
• ロビン・ミルナーの簡潔な科学的伝記 (『証明、言語、相互作用: ロビン・ミルナーを讃えるエッセイ』より)

• ボローニャでの演説、ボローニャ大学からコンピュータサイエンスの名誉賞を受賞したミルナーの短い演説。主な業績の一部を要約したもの。1997 年 7 月 9 日
• 情報学は科学ですか?、高等師範学校 (パリ) (ENS) での会議、2007 年 12 月 10 日