ロビン・ミルナー
アーサー・ジョン・ロビン・ゴレル・ミルナー(Arthur John Robin Gorell Milner FRS、1934年1月13日 - 2010年3月20日)は、英国の計算機科学者[3][4][5][6][7]。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。
ロビン・ミルナー | |
---|---|
生誕 |
1934年1月13日 イギリス プリマス ヤームプトン |
死没 |
2010年3月20日(76歳没) イギリス ケンブリッジ |
国籍 | イギリス |
研究分野 | 計算機科学 |
研究機関 |
フェランティ シティ大学ロンドン スウォンジー大学 スタンフォード大学 エディンバラ大学 ケンブリッジ大学 |
博士課程 指導教員 | 博士号は未取得[1] |
主な業績 |
LCF ML Calculus of communicating systems Pi-calculus ヒンドリー-ミルナー型推論 |
主な受賞歴 | チューリング賞(1991)[2] |
プロジェクト:人物伝 |
経歴
編集イングランド、プリマス近郊のヤームプトン (Yealmpton) で軍人一家に生まれる。1947年、奨学金を得てイートン・カレッジに入学。その後英国王立工兵隊に入隊し、少尉にまで昇進した。そしてキングス・カレッジ (ケンブリッジ大学)に入学し、1957年に卒業後、学校教師となったが、その後フェランティ社でプログラマとして働く。その後学界に転じ、シティ大学ロンドン、スウォンジー大学、スタンフォード大学などで勤務。1973年からはエディンバラ大学に移り、Laboratory for Foundations of Computer Science (LFCS) の創設に関わった。1995年、ケンブリッジ大学に戻りコンピュータ研究所所長に就任した。所長からは退いたが、その後も同研究所につとめていた。2009年より、SICSA (Scottish Informatics and Computer Science Alliance) のAdvanced Research Fellowと、パートタイムでエディンバラ大学の計算機科学科の学科長をつとめた。
業績
編集ミルナーの計算機科学における主な業績は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
参考文献
編集- Proof, Language, and Interaction: Essays in Honour of Robin Milner, edited by Gordon Plotkin, Colin Stirling and Mads Tofte. The MIT Press, 2000. ISBN 0-262-16188-5.
- A brief biography of and speech by Robin Milner
- A Brief Scientific Biography of Robin Milner (from Proof, Language, and Interaction: Essays in Honour of Robin Milner)
出典
編集- ^ 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