アーサー・ジョン・ロビン・ゴレル・ミルナー（1934年1月13日 - 2010年3月20日）は、イギリスの計算機科学者であり、1991年のACMチューリング賞受賞者である。彼は、計算可能関数の論理（LCF）とMLプログラミング言語の開発、通信システムの計算（CCS）、およびπ計算という3つの主要な貢献で広く認識されている。彼の研究は、自動定理証明、型システム、および並行・移動システムの理論的分析において基礎的な基盤を築いた。
ミルナーの研究は、理論計算機科学と実用的な言語設計を橋渡しし、関数型プログラミングから分散コンピューティングまでの分野に影響を与えた。彼の後期の研究であるビッグラフは、並行性とユビキタスコンピューティングのモデルを統合することを目指したが、彼の死により未完のまま残された。
生涯、教育、および経歴
ミルナーは、イングランドのプリマス近郊のイェームプトンで軍人の家庭に生まれた。1947年にイートン・カレッジへの王立学金を獲得し、1952年にはイートンで最高の数学賞であるトムライン賞を受賞した。王立工兵隊で少尉として勤務した後、ケンブリッジ大学キングス・カレッジに入学し、1957年に卒業した。
彼の初期の経歴には、学校教師としての勤務と、その後フェランティでのプログラマーとしての勤務が含まれる。彼はロンドンのシティ大学で学界に入り、その後スウォンジー大学とスタンフォード大学での職を歴任した。1973年にエディンバラ大学に加わり、そこで計算機科学基礎研究所（LFCS）を共同設立した。1995年にケンブリッジに戻り、計算機研究所の所長を務め、最終的にその役職を退いたが、そこでの活動は続けた。2009年からは、スコットランド情報学・計算機科学連合の上級研究フェローを務め、エディンバラ大学で計算機科学の非常勤教授職も保持した。
ミルナーは2010年3月20日にケンブリッジで心臓発作により死去した。彼の妻ルーシーは、その直前に亡くなっていた。
プログラミング言語への貢献
ミルナーのLCFに関する研究は、最初の自動定理証明ツールの1つであり、MLの創設につながった。この言語は、アルゴリズムWを用いた多相的型推論と、型安全な例外処理を導入した。MLは、自動的に推論される型システムを持つ最初の言語であり、この特徴はHaskellやOCamlなどの言語に影響を与えた。ミルナーはまた、多相的型付けの基盤となるヒンドリー・ミルナー型システムを再発見したことでも知られている。
彼の並行性に関する理論的枠組みには、1970年代後半に開発された通信システムの計算（CCS）と、1990年代初頭に導入されたその後継であるπ計算が含まれる。CCSはプロセスを相互作用するエージェントとしてモデル化し、π計算はこれを拡張して移動可能な通信チャネルを可能にする。これらの形式主義は、並行・分散システムの研究における基礎となった。
彼の死の時点で、ミルナーはビッグラフに取り組んでいた。これは、ユビキタスコンピューティングのためにCCSとπ計算を包含することを意図した形式主義である。この研究は、相互作用するエージェントの空間的および時間的側面の両方をモデル化することを目的としていた。
栄誉と賞
ミルナーは数多くの栄誉を受けた。1988年に王立協会フェローおよび英国コンピュータ協会の特別フェローに選ばれた。1991年にACMチューリング賞を受賞した。1994年にACMフェローに inducted された。2004年には、エディンバラ王立協会から、世界的規模で公共の利益をもたらしたことに対して王立メダルを授与された。2008年には、LCF、ML、CCS、およびπ計算を含む基礎的な貢献により、米国工学アカデミーの外国人準会員に選出された。
彼の名誉を称えて2つの賞が命名されている。王立協会ミルナー賞とACM SIGPLANロビン・ミルナー若手研究者賞である。
主要な出版物
ミルナーは、いくつかの影響力のある書籍を著した。1980年のモノグラフ『通信システムの計算』はCCSを紹介した。『通信と並行性』（1989年）はこの研究を拡張した。彼はマッツ・トフテとロバート・ハーパーと共に『標準MLの定義』（1990年）を共著し、1997年にはデイビッド・マックイーンと共に改訂版を出版した。『通信および移動システム：π計算』（1999年）はπ計算を詳述した。彼の最後の著書『通信エージェントの空間と運動』（2009年）は、ビッグラフに関する彼の研究を提示した。
遺産
ミルナーの影響は、型理論から並行性まで、計算機科学全体に及んでいる。彼のアイデアは、現代の関数型プログラミングとシステムの形式的検証を形成した。AIコミュニティ、特に機械学習やニューラルネットワークなどの分野は、MLにその系譜をたどるプログラミング言語とツールに依存している。彼の並行性に関する研究は、Amazon Web ServicesやGoogle Cloudなどのプラットフォームに見られるように、分散システムとクラウドコンピューティングに関連し続けている。
彼の遺産は、MIT CSAILやスタンフォードAIラボなどの機関を通じて保存されており、これらの機関は彼が確立するのに貢献した分野を引き続き発展させている。王立協会とACMは、プログラミング言語と並行性における若手研究者を表彰する賞を通じて彼の記憶を称えている。