ロビン・ミルナー

提供: miniwiki
移動先:案内、検索


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

経歴

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

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

業績

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

受賞歴

主な著作

  • 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

参考文献

出典

  1. ↑ 1.0 1.1 Obituary — Professor Robin Milner: computer scientist, The Times, 31 March 2010.
  2. ↑ Hoffmann, L. (2010). “Robin Milner: the elegant pragmatist”. Communications of the ACM 53 (6): 20. doi:10.1145/1743546.1743556. 
  3. ↑ Milner, R. (1987). “Is Computing an Experimental Science?”. Journal of Information Technology 2 (2): 58–66. doi:10.1057/jit.1987.12. 
  4. ↑ http://www.cl.cam.ac.uk/misc/obituaries/milner Cambridge University - Obituary
  5. ↑ http://www.cl.cam.ac.uk/users/rm135/ Milner's Cambridge homepage
  6. ↑ Newsgroup message informing on Milner's death.
  7. ↑ Milner, Robin. “The Bigraphical Model”. University of Cambridge. . 2009閲覧. “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.”
  8. ↑ “Milner; Arthur John Robin Gorell” (英語). Past Fellows. The Royal Society. . 2011閲覧.
  9. ↑ “Royal Medalists”. Royal Society of Edinburgh. . 2012閲覧.
  10. ↑ “NATIONAL ACADEMY OF ENGINEERING ELECTS 65 MEMBERS AND NINE FOREIGN ASSOCIATES”. National Academy of Engineering. (2008年2月8日). http://www8.nationalacademies.org/onpinews/newsitem.aspx?RecordID=02082008 

外部リンク

テンプレート:Persondata

テンプレート:チューリング賞



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=ロビン・ミルナー&oldid=50428」から取得