「ロビン・ミルナー」の版間の差分
削除された内容 追加された内容
MathXplore (会話 | 投稿記録) m Category:プログラミング言語設計者を除去; Category:イギリスのプログラミング言語設計者を追加 (HotCat使用) |
m 解消済み仮リンクスウォンジー大学を内部リンクに置き換えます (今回のBot作業のうち63.7%が完了しました) |
||
| (3人の利用者による、間の3版が非表示) | |||
| 7行目: | 7行目: | ||
| nationality = {{GBR}} |
| nationality = {{GBR}} |
||
| field = [[計算機科学]] |
| field = [[計算機科学]] |
||
| work_institution = [[フェランティ]]<br />[[シティ大学ロンドン]]<br /> |
| work_institution = [[フェランティ]]<br />[[シティ大学ロンドン]]<br />[[スウォンジー大学]]<br />[[スタンフォード大学]]<br />[[エディンバラ大学]]<br />[[ケンブリッジ大学]] |
||
| alma_mater = |
| alma_mater = |
||
| doctoral_advisor = 博士号は未取得<ref>[http://www.informatics.sussex.ac.uk/users/mfb21/interviews/milner/ Interview with Robin Milner by Martin Berger].</ref> |
| doctoral_advisor = 博士号は未取得<ref>[http://www.informatics.sussex.ac.uk/users/mfb21/interviews/milner/ Interview with Robin Milner by Martin Berger].</ref> |
||
| 17行目: | 17行目: | ||
== 経歴 == |
== 経歴 == |
||
[[イングランド]]、[[プリマス]]近郊のヤームプトン ([[:en:Yealmpton|Yealmpton]]) で軍人一家に生まれる。1947年、奨学金を得て[[イートン・カレッジ]]に入学。その後{{仮リンク|英国王立工兵隊|en|Royal Engineers}}に入隊し、少尉にまで昇進した。そして[[キングス・カレッジ (ケンブリッジ大学)]]に入学し、1957年に卒業後、学校教師となったが、その後[[フェランティ]]社で[[プログラマ]]として働く。その後学界に転じ、[[シティ大学ロンドン]]、 |
[[イングランド]]、[[プリマス]]近郊のヤームプトン ([[:en:Yealmpton|Yealmpton]]) で軍人一家に生まれる。1947年、奨学金を得て[[イートン・カレッジ]]に入学。その後{{仮リンク|英国王立工兵隊|en|Royal Engineers}}に入隊し、少尉にまで昇進した。そして[[キングス・カレッジ (ケンブリッジ大学)]]に入学し、1957年に卒業後、学校教師となったが、その後[[フェランティ]]社で[[プログラマ]]として働く。その後学界に転じ、[[シティ大学ロンドン]]、[[スウォンジー大学]]、[[スタンフォード大学]]などで勤務。1973年からは[[エディンバラ大学]]に移り、[[:en:Laboratory for Foundations of Computer Science|Laboratory for Foundations of Computer Science]] (LFCS) の創設に関わった。1995年、[[ケンブリッジ大学]]に戻り{{仮リンク|ケンブリッジ大学コンピュータ研究所|en|Cambridge University Computer Laboratory|label=コンピュータ研究所}}所長に就任した。所長からは退いたが、その後も同研究所につとめていた。2009年より、SICSA (Scottish Informatics and Computer Science Alliance) のAdvanced Research Fellowと、パートタイムでエディンバラ大学の計算機科学科の学科長をつとめた。 |
||
2010年3月20日、ケンブリッジにて[[心筋梗塞]]で亡くなった<ref name="times" /><ref>[http://lists.seas.upenn.edu/pipermail/types-list/2010/001478.html Newsgroup message] informing on Milner's death.</ref>。妻のルーシーはその少し前に亡くなっていた。 |
2010年3月20日、ケンブリッジにて[[心筋梗塞]]で亡くなった<ref name="times" /><ref>[http://lists.seas.upenn.edu/pipermail/types-list/2010/001478.html Newsgroup message] informing on Milner's death.</ref>。妻のルーシーはその少し前に亡くなっていた。 |
||
| 59行目: | 59行目: | ||
{{Normdaten}} |
{{Normdaten}} |
||
{{DEFAULTSORT:みるなあ ろひん}} |
{{DEFAULTSORT:みるなあ ろひん}} |
||
[[Category:イギリスの計算機科学者]] |
|||
[[Category:イギリスのプログラミング言語設計者]] |
[[Category:イギリスのプログラミング言語設計者]] |
||
[[Category:プログラミング言語研究者]] |
[[Category:イギリスのプログラミング言語研究者]] |
||
[[Category:チューリング賞受賞者]] |
[[Category:チューリング賞受賞者]] |
||
[[Category:形式手法の人物]] |
[[Category:形式手法の人物]] |
||
| 74行目: | 73行目: | ||
[[Category:スウォンジ大学の教員]] |
[[Category:スウォンジ大学の教員]] |
||
[[Category:シティ・ユニバーシティの教員]] |
[[Category:シティ・ユニバーシティの教員]] |
||
[[Category:ケンブリッジ大学出身の人物]] |
[[Category:ケンブリッジ大学キングス・カレッジ出身の人物]] |
||
[[Category:イートン・カレッジ出身の人物]] |
[[Category:イートン・カレッジ出身の人物]] |
||
[[Category:サウス・ハムズ出身の人物]] |
[[Category:サウス・ハムズ出身の人物]] |
||
[[Category:心筋梗塞で亡くなった人物]] |
|||
[[Category:1934年生]] |
[[Category:1934年生]] |
||
[[Category:2010年没]] |
[[Category:2010年没]] |
||
2023年11月24日 (金) 22:23時点における最新版
| ロビン・ミルナー | |
|---|---|
| 生誕 |
1934年1月13日.svg){kind=small} イギリス プリマス ヤームプトン |
| 死没 |
2010年3月20日（76歳没） イギリス ケンブリッジ |
| 国籍 |
イギリス |
| 研究分野 | 計算機科学 |
| 研究機関 |
フェランティ シティ大学ロンドン スウォンジー大学 スタンフォード大学 エディンバラ大学 ケンブリッジ大学 |
| 博士課程 指導教員 | 博士号は未取得[1] |
| 主な業績 |
LCF ML Calculus of communicating systems Pi-calculus ヒンドリー-ミルナー型推論 |
| 主な受賞歴 | チューリング賞(1991)[2] |
| プロジェクト:人物伝 | |
アーサー・ジョン・ロビン・ゴレル・ミルナー（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]。
受賞歴
[編集]- 1988年 - 王立協会フェロー[10]
- 1991年 - ACMチューリング賞
- 1994年 - ACMフェロー
- 2004年 - Royal Medal（Royal Society of Edinburgh）[11]
- 2008年 - 全米技術アカデミー外国人会員[12]
主な著作
[編集]- 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
| 全般 | |
|---|---|
| 国立図書館 | |
| 学術データベース | |
| 人物 | |
| その他 | |
