ja ロビン・ミルナー

ロビン・ミルナー
ロビン・ミルナー
生誕	1934年1月13日; イギリスプリマスヤームプトン（英語版）
死没	2010年3月20日（76歳没）; イギリスケンブリッジ
国籍	イギリス
研究分野	計算機科学
研究機関	フェランティ; シティ大学ロンドン; スウォンジー大学; スタンフォード大学; エディンバラ大学; ケンブリッジ大学
博士課程; 指導教員	博士号は未取得
主な業績	LCF; ML; Calculus of communicating systems; Pi-calculus; ヒンドリー-ミルナー型推論
主な受賞歴	チューリング賞(1991)
	プロジェクト:人物伝
	テンプレートを表示

アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John Robin Gorell Milner FRS、1934年 1月13日 - 2010年 3月20日）は、英国の計算機科学者^[3]^[4]^[5]^[6]^[7]。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。

経歴

イングランド、プリマス近郊のヤームプトン (Yealmpton) で軍人一家に生まれる。1947年、奨学金を得てイートン・カレッジに入学。その後英国王立工兵隊（英語版）に入隊し、少尉にまで昇進した。そしてキングス・カレッジ (ケンブリッジ大学)に入学し、1957年に卒業後、学校教師となったが、その後フェランティ社でプログラマとして働く。その後学界に転じ、シティ大学ロンドン、スウォンジー大学、スタンフォード大学などで勤務。1973年からはエディンバラ大学に移り、Laboratory for Foundations of Computer Science (LFCS) の創設に関わった。1995年、ケンブリッジ大学に戻りコンピュータ研究所（英語版）所長に就任した。所長からは退いたが、その後も同研究所につとめていた。2009年より、SICSA (Scottish Informatics and Computer Science Alliance) のAdvanced Research Fellowと、パートタイムでエディンバラ大学の計算機科学科の学科長をつとめた。

2010年3月20日、ケンブリッジにて心筋梗塞で亡くなった^[3]^[8]。妻のルーシーはその少し前に亡くなっていた。

ミルナーの計算機科学における主な業績は3つある。彼は初期の自動定理証明ツールとして LCF を開発した。LCF向けに彼が開発したプログラミング言語MLは、ポリモルフィックな型推論と例外処理を持つ世界初の言語であった。全く異なる分野として、ミルナーは並行システムを解析するための理論的フレームワーク Calculus of Communicating Systems (CCS) や後継のpi-calculus（π計算）を開発した。亡くなる直前まで、bigraphs、CCSやπ計算を含めたユビキタスコンピューティングの定式化などを研究していた^[9]。

A Calculus of Communicating Systems, Robin Milner. Springer-Verlag (LNCS 92), 1980. ISBN 3-540-10235-3
Communication and Concurrency, Robin Milner. Prentice Hall (International Series in Computer Science), 1989. ISBN 0-13-115007-3
The Definition of Standard ML, Robin Milner, Mads Tofte, Robert Harper, MIT Press 1990
The Definition of Standard ML (Revised), Robin Milner, Mads Tofte, Robert Harper, David MacQueen, MIT Press 1997. ISBN 0-262-63181-4
Commentary on Standard ML, Robin Milner, Mads Tofte, MIT Press 1997. ISBN 0-262-63137-7
Communicating and Mobile Systems: the Pi-Calculus, Robin Milner. Cambridge University Press, 1999. ISBN 0-521-65869-1
The Space and Motion of Communicating Agents, Robin Milner, Cambridge University Press, 2009. ISBN 978-0-521-73833-0
Publications by Robin Milner in DBLP

^ Interview with Robin Milner by Martin Berger.
^ Milner, R. (1993). “Elements of interaction: Turing award lecture”. Communications of the ACM 36: 78–89. doi:10.1145/151233.151240.
^ ^a ^b Obituary — Professor Robin Milner: computer scientist, The Times, 31 March 2010.
^ Hoffmann, L. (2010). “Robin Milner: the elegant pragmatist”. Communications of the ACM 53 (6): 20. doi:10.1145/1743546.1743556.
^ Milner, R. (1987). “Is Computing an Experimental Science?”. Journal of Information Technology 2 (2): 58–66. doi:10.1057/jit.1987.12.
^ http://www.cl.cam.ac.uk/misc/obituaries/milner Cambridge University - Obituary
^ http://www.cl.cam.ac.uk/users/rm135/ Milner's Cambridge homepage
^ Newsgroup message informing on Milner's death.
^ Milner, Robin. “The Bigraphical Model”. University of Cambridge. 2009年11月7日閲覧。 “Bigraphs [...] are proposed as a Ubiquitous Abstract Machine, playing the foundational role for ubiquitous computing that the von Neumann machine has played for sequential computing.”
^ "Milner; Arthur John Robin Gorell". Record (英語). The Royal Society. 2011年12月11日閲覧。
^ “Royal Medalists”. Royal Society of Edinburgh. 2012年8月25日閲覧。
^ “NATIONAL ACADEMY OF ENGINEERING ELECTS 65 MEMBERS AND NINE FOREIGN ASSOCIATES”. National Academy of Engineering. (2008年2月8日)

Milner's Cambridge homepage
An interview with Robin Milner by Martin Berger, 2003年9月3日
Address in Bologna, a short address by Milner on receiving Laurea Honoris Causa in Computer Science from the University of Bologna, summarising some of his main works, 9 July 1997
Is informatics a science?, conference at ENS, 10 December 2007