PROFILPELAJAR.COM

米澤明憲
米澤明憲
	Akinori Yonezawa
生誕	1947年6月17日（77歳）
国籍	日本
研究分野	計算機科学
研究機関	マサチューセッツ工科大学; 東京工業大学; 東京大学; 千葉工業大学
出身校	東京大学（学士・修士・博士）; マサチューセッツ工科大学（博士）
博士課程; 指導教員	Carl Hewitt
博士課程; 指導学生	柴山悦哉,; 松岡聡,; 小林直樹,; 田浦健次朗,; 増原英彦,; 五十嵐淳,; Jacques Garrigue,; Reynald Affeltd; (一部分の方のみ記載);
主な業績	「並列オブジェクト」概念・モデル
主な受賞歴	#受賞年譜を参照
	プロジェクト:人物伝
	テンプレートを表示

米澤明憲（よねざわあきのり、1947年 6月17日 - ）は、日本の計算機科学者。東京大学名誉教授^[1]^[2]。マサチューセッツ工科大学 (MIT)Ph.D.^[3]。現在千葉工業大学人工知能・ソフトウェア技術研究センターシニアフェロー^[4]。日本学術会議元会員^[5]。専門はオブジェクト指向プログラミング言語、分散コンピューティング、情報セキュリティ^[6]。現在最もよく使われるプログラミング言語(Python, Java, C++等)の基本方式であるオブジェクト指向プログラミングの推進・発展に初期から貢献し、その中心的な国際会議OOPSLA・ECOOPのプログラム委員及び委員長を歴任すると共に、「並列オブジェクト」概念・モデルの先駆者としても国際的に知られている^[7]^[8]。並列オブジェクトに基づくソフトウエアシステムでは、多数のオブジェクト間の並列・並行的なメッセージのやりとりによって情報処理・計算が進行する^[9]。米澤の並列オブジェクトは、1970年代前半にMITのAIラボのCarl Hewittが提唱し^[10]、その後Gul Aghaが最終的に定式化した^[11]Actorに影響を受けているが、両者は根本的な違いがある。それはActorは”状態(state)"を持たないオブジェクトだが、米澤の並列オブジェクトは持続的状態(state)を持つ点である。これ故に並列オブジェクトはプログラミングがし易く、多くのシステムで並列処理の仕組みとして導入されている。並列オブジェクトに基づいて構築され実用化されている大規模システムには、オンライン仮想世界システムSecond Life^[12]、SNSのFaceBook^[13]や X(Twitter)^[14]、大規模分子動力学計算システムNAMD^[15]^[16]などが挙げられる。

またソフトウエアセキュリティに関する国内の大学の共同研究を主導した。6つの大学の9つの研究グループを形成し、平成12年9月から平成16年3月まで、文部科学省科学研究費補助金・特定研究「社会基盤としてのセキュアコンピューティングの実現方式の研究」を代表者として実施し、数多くの研究成果を世に出した^[17]。平成16年2月発行の文部科学省白書では、この研究は過去に科学研究費補助金で実施された”最も社会的貢献の高い”5つの研究（野依先生、白川先生、末松先生の研究を含む）のうちの一つにあげられた^[18]。

略歴

1966年麻布高等学校卒業。1970年東京大学工学部計数工学科卒。1977年、マサチューセッツ工科大学計算機科学科博士課程修了Ph.D. in Computer Science。学位論文は"Specification and verification techniques for parallel programs based on message passing semantics"^[3]^[19]。

MITコンピュータ科学・人工知能研究所にて並列・分散計算モデル研究に従事^[6]。帰国後、東京工業大学を経て、1988年に東京大学教授^[20]。その後、東京大学情報基盤センター長などを歴任^[20]。2008年より日本学術会議会員^[5]。2011年東京大学大学院情報理工学系研究科教授を退職し東京大学名誉教授。2009年に紫綬褒章を^[21]及び2020年に瑞宝中綬章を受賞^[1]^[2]^[22]^[23]。東京大学退職後、2015年まで理化学研究所計算科学研究機構副機構長を務めスーパーコンピュータ「京」の運営に寄与^[24]。その後、2022年まで千葉工業大学人工知能・ソフトウェア技術研究センター長^[25]。現在は同センターシニアフェロー^[4]。この間、2016年から2022年まで千葉工業大学理事^[4]。

2012年には65歳を記念した国際シンポジウムが神戸で開催され、そこでの発表をベースとした論文集 (Festschrift) が2014年にドイツSpringer-Verlag社から出版された^[26]。

なお、2003年ごろまでのソフトウエア研究を回顧した記事がコンピュータソフトウエア誌に寄稿されている^[6]。また、東大退職時までの経歴と研究の紹介が冊子となっている^[27]。

略歴年譜

1966年私立麻布高校卒業
1970年東京大学工学部計数工学科卒業
1972年東京大学大学院工学系研究科計数工学専門課程修士課程修了
1974年米国マサチューセッツ工科大学電気及び計算機科学科研究助手
1978年米国マサチューセッツ工科大学電気及び計算機科学科大学院博士課程修了
1978年東京工業大学理学部助手
1983年東京工業大学理学部助教授
1988年東京工業大学理学部教授
1988年東京大学理学部教授
1995年日本ソフトウェア科学会理事長^[28]
2003年東京大学大学院情報理工学系研究科教授（配置換）
2006年東京大学情報基盤センター長
2006年独立行政法人産業技術総合研究所情報セキュリティー研究センター副センター長兼務
2008年日本学術会議会員^[5]
2011年東京大学名誉教授
2011年独立行政法人理化学研究所計算科学研究機構副機構長^[24]
2015年千葉工業大学人工知能・ソフトウェア技術研究センター所長^[25]
2016年千葉工業大学理事 ^[4]
2022年千葉工業大学シニアフェロー ^[4]

その他の公職

1988年から10年計画で始まった通産省リアルワールド・コンピューティング(RWC) ではプロジェクト評価推進委員を務めた^[29]。2001年4月から2004年3月まで小泉純一郎内閣・内閣府総合規制改革会議委員^[30]、同教育・研究ワーキンググループ主査^[31]。その後、情報・システム研究機構監事^[32]、ライフサイエンス統合データベースセンターセンター長^[33]、(独) 産業技術総合研究所情報セキュリティ研究センター副センター長^[34]。さらに、2005年4月より2006年3月まで東京都杉並区立杉森中学校地域学校運営協議会会長^[35]。エンジン01文化戦略会議の元会員^[36]^[37]。

内外の評価

国際的には、プログラミング言語、オブジェクト指向、並列分散計算に関する多数の国際学会のプログラム委員長、大会委員長、米国学会の学術論文誌や機関誌の編集委員を務め^[38]、米国最大の計算機科学会 (ACM, Association for Computing Machinery) フェロー^[7]、情報処理学会フェロー^[39]および日本ソフトウェア科学会フェロー^[40]の称号を与えられている。また、日本ソフトウエア科学会理事長^[28]、ドイツ国立情報科学技術研究所 (GMD) 科学顧問^[29]などを歴任している。さらに、2006年よりマイクロソフト本社（ワシントン州レドモンド）のTCAAB (Trustworthy Computing Academic Advisory Board) のメンバーもつとめた^[41]。

また、2008年には「並列オブジェクト」の概念提唱者として、またこれに関する理論から実践にわたる幅広い長年の研究成果に対して、国際オブジェクト技術協会（ AITO ,ドイツカールスルーエ市在）より、ダール・ニゴール賞（本賞）をアジア初受賞^[8]^[20]^[42]。2009年に紫綬褒章を受章^[21]。2018年に大川賞受賞^[43]。2020年に瑞宝中綬章を受章^[1]^[2]^[22]^[23]。

受賞年譜

1992年大川情報通信財団大川出版賞^[44]
1999年 ACM(Association for Computing Machinery) Fellow ^[7]
2004年日本ソフトウェア科学会フェロー ^[40]
2008年 AITO Dahl-Nygaard Prize ^[8]^[20]^[42]
2008年日本ソフトウェア科学会功労賞 ^[29]
2009年紫綬褒章^[21]
2009年船井情報科学振興財団 FIT 船井業績賞^[45]^[46]
2010年情報処理学会功績賞 ^[47]
2011年情報処理学会フェロー ^[39]
2018年大川情報通信財団大川賞^[43]
2018年日本ソフトウェア科学会名誉会員^[48]
2020年瑞宝中綬章^[1]^[2]^[22]^[23]

(その他各種学会・論文誌論文賞等多数受賞^[38])

栄典

2009年 - 紫綬褒章^[21]
2020年 - 瑞宝中綬章^[1]^[2]^[22]^[23]

主要編著書

『算法表現論』（共著：木村泉、米澤明憲）岩波書店、282頁、1982年.
『モデルと表現』（共著：米澤明憲、柴山悦哉）岩波書店、312頁、1992年.
Object-Oriented Concurrent Programming, (Eds. A. Yonezawa and M. Tokoro), MIT Press, 1987.
ABCL: an Object-Oriented Concurrent System, (Ed. A. Yonezawa) , MIT Press 1990.
Research Directions in Concurrent Object-oriented Programming, (Eds. P. Wegner, G. Agha, A.Yonezawa), MIT Press, 1993.
私のソフトウェア研究、コンピュータソフトウェア、Vol.21, No.5, 2004^[6].

脚注

^ ^a ^b ^c ^d ^e 米澤明憲名誉教授が瑞宝中綬章を受賞, 東京大学大学院情報理工学系研究科ニュース(2020年11月4日)
^ ^a ^b ^c ^d ^e 米澤明憲人工知能・ソフトウェア技術研究センター所長、瑞宝中綬章を受章, 千葉工業大学TOPICS(2020年11月3日)
^ ^a ^b Specifications and verification techniques for parallel programs based on message passing semantics, MIT Ph.D. Dissertation, 1977
^ ^a ^b ^c ^d ^e 千葉工業大学人工知能・ソフトウェア技術研究センターでの紹介ページ
^ ^a ^b ^c 日本学術会議第21期会員名簿
^ ^a ^b ^c ^d 私のソフトウェア研究, コンピュータソフトウェア, Vol.21, No.5, 2004
^ ^a ^b ^c ACM Fellows: Akinori Yonezawa
^ ^a ^b ^c The AITO Dahl-Nygaard Prize Winners for 2008
^ 並列オブジェクト指向プログラミング(COOP)を提唱する最初の論文。COOPは多数のオブジェクト間のメソッドの非同期呼び出しに基づく: Akinori Yonezawa, Jean-Pierre Briot, and Etsuya Shibayama. 1986. Object-oriented concurrent programming in ABCL/1. In Proceedings of OOPSLA’86. 258–268
^ Carl Hewitt, Peter Bishop, and Richard Steiger. A universal modular ACTOR formalism for artificial intelligence. In Proceedings of the 3rd international joint conference on Artificial intelligence (IJCAI'73). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 235–245, 1973
^ Gul Agha. "Actors: A Model of Concurrent Computation in Distributed Systems". Doctoral Dissertation. MIT Press. 1986.
^ Jim Purbrick, Mark Lentczner: Second life: the world's biggest programming environment. OOPSLA Companion 2007
^ Facebookのインフラストラクチャをobjectと非同期操作で記述したプログラミング言語Hack: Hackのホームページ, Facebookで用いられているプログラミング言語の種類の解説記事
^ Twitterのインフラストラクチャを記述したプログラミング言語Scala: Twitterのgithubのeffectivescalaのページ
^ イリノイ大学のNAMDのホームページ
^ NAMDシステムの構築に用いられているCharm++のプログラミングモデルのページ
^ 社会基盤としてのセキュアコンピューティングの実現方式の研究, 平成12年度〜平成15年度科学研究費補助金(特定領域研究)研究成果報告書
^ 平成15年度文部科学白書第2部第6章第1節図2-6-3
^ Specifications and Verification Techniques for Parallel Programs Based on Message Passing Semantics, MIT-LCS-TR-191, 1978
^ ^a ^b ^c ^d 米澤明憲教授がソフトウェア開発技術の分野で世界で最も権威のある『ダール・ニゴール賞』を受賞, 東京大学記者会見(2008年6月19日)
^ ^a ^b ^c ^d 米澤明憲教授が紫綬褒章を受章しました, 東京大学大学院情報理工学系研究科 (2009年11月03日)
^ ^a ^b ^c ^d “令和2年秋の叙勲瑞宝中綬章受章者” (PDF). 内閣府. p. 22 (2020年11月). 2023年2月20日閲覧。
^ ^a ^b ^c ^d 『官報』号外第230号、令和2年11月4日
^ ^a ^b 計算科学の世界 - 京がつくる時代, 第２号, 2012年1月
^ ^a ^b 「ステアラボ」開設人工知能研究の最先端拠点　所長に米澤氏千葉工業大学 NEWS CIT (2015年5月15日)
^ Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, (Eds. Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura) Springer LNCS 8665, 2014
^ 千葉工業大学人工知能・ソフトウェア技術研究センターでの紹介ページにある東京大学退官時の業績集
^ ^a ^b 日本ソフトウェア科学会過去の役員
^ ^a ^b ^c 日本ソフトウェア科学会2008年度功労賞受賞者経歴
^ 総合規制改革会議委員名簿
^ 総合規制改革会議平成14年度第10回本会議配布資料1 各分野の検討状況教育・研究
^ 情報・システム研究機構平成16年度事業報告書
^ ライフサイエンス統合データベースセンター沿革
^ 産業技術総合研究所情報セキュリティ研究センターセンターの構成
^ 「笑える子ども。―未来に向けての教育改革論。」著者等紹介
^ エンジン01文化戦略会議活動レポート第39回出張授業
^ エンジン01文化戦略会議外部イベントへの協力
^ ^a ^b Curriculum Vitae for Akinori YONEZAWA
^ ^a ^b 情報処理学会フェロー
^ ^a ^b 日本ソフトウェア科学会 2004年度フェロー
^ Microsoft’s Trustworthy Computing Academic Advisory Board Enters Its Fifth Year
^ ^a ^b 米澤教授にアジアで初の「ダール・ニゴール賞」, 東京大学大学院情報理工学系研究科ニュース(2008年6月20日)
^ ^a ^b 2017年度大川賞受賞者経歴
^ 大川出版賞受賞図書
^ 情報処理学会のFIT船井業績賞のページ（2009年度部分）
^ 米澤教授が「FIT2009船井業績賞」を受賞並列オブジェクト指向技術の指導的役割で, 東京大学(2009年10月1日)
^ 情報処理学会 2009年度（平成21年度）功績賞受賞者の紹介
^ 日本ソフトウェア科学会名誉会員

外部リンク

この項目は、科学者に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:人物伝／Portal:自然科学）。

この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。

[zuihoutodaiis-1] 米澤明憲名誉教授が瑞宝中綬章を受賞, 東京大学大学院情報理工学系研究科ニュース(2020年11月4日)

[zuihouchibatech-2] 米澤明憲人工知能・ソフトウェア技術研究センター所長、瑞宝中綬章を受章, 千葉工業大学TOPICS(2020年11月3日)

[MITPHD-3] Specifications and verification techniques for parallel programs based on message passing semantics, MIT Ph.D. Dissertation, 1977

[sf-4] 千葉工業大学人工知能・ソフトウェア技術研究センターでの紹介ページ

[scj-5] 日本学術会議第21期会員名簿

[mysoftwareresearch-6] 私のソフトウェア研究, コンピュータソフトウェア, Vol.21, No.5, 2004

[ACMfellow-7] ACM Fellows: Akinori Yonezawa

[dahlnygaard-8] The AITO Dahl-Nygaard Prize Winners for 2008

[OOPSLA86-9] 並列オブジェクト指向プログラミング(COOP)を提唱する最初の論文。COOPは多数のオブジェクト間のメソッドの非同期呼び出しに基づく: Akinori Yonezawa, Jean-Pierre Briot, and Etsuya Shibayama. 1986. Object-oriented concurrent programming in ABCL/1. In Proceedings of OOPSLA’86. 258–268

[carl-hewitt-10] Carl Hewitt, Peter Bishop, and Richard Steiger. A universal modular ACTOR formalism for artificial intelligence. In Proceedings of the 3rd international joint conference on Artificial intelligence (IJCAI'73). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 235–245, 1973

[gul-agha-11] Gul Agha. "Actors: A Model of Concurrent Computation in Distributed Systems". Doctoral Dissertation. MIT Press. 1986.

[secondlifeoopsla-12] Jim Purbrick, Mark Lentczner: Second life: the world's biggest programming environment. OOPSLA Companion 2007

[facebookhack-13] Facebookのインフラストラクチャをobjectと非同期操作で記述したプログラミング言語Hack: Hackのホームページ, Facebookで用いられているプログラミング言語の種類の解説記事

[twitterscalafuture-14] Twitterのインフラストラクチャを記述したプログラミング言語Scala: Twitterのgithubのeffectivescalaのページ

[namd-15] イリノイ大学のNAMDのホームページ

[charmmodel-16] NAMDシステムの構築に用いられているCharm++のプログラミングモデルのページ

[kaken-17] 社会基盤としてのセキュアコンピューティングの実現方式の研究, 平成12年度〜平成15年度科学研究費補助金(特定領域研究)研究成果報告書

[whitepaper-18] 平成15年度文部科学白書第2部第6章第1節図2-6-3

[19] Specifications and Verification Techniques for Parallel Programs Based on Message Passing Semantics, MIT-LCS-TR-191, 1978

[PressReleaseOnDahlNygaardPrize-20] 米澤明憲教授がソフトウェア開発技術の分野で世界で最も権威のある『ダール・ニゴール賞』を受賞, 東京大学記者会見(2008年6月19日)

[purple-21] 米澤明憲教授が紫綬褒章を受章しました, 東京大学大学院情報理工学系研究科 (2009年11月03日)

[naikakufu-22] “令和2年秋の叙勲瑞宝中綬章受章者” (PDF). 内閣府. p. 22 (2020年11月). 2023年2月20日閲覧。

[kanpou-23] 『官報』号外第230号、令和2年11月4日

[RIKENAICS-24] 計算科学の世界 - 京がつくる時代, 第２号, 2012年1月

[stair-25] 「ステアラボ」開設人工知能研究の最先端拠点　所長に米澤氏千葉工業大学 NEWS CIT (2015年5月15日)

[cob-26] Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, (Eds. Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura) Springer LNCS 8665, 2014

[research-education-27] 千葉工業大学人工知能・ソフトウェア技術研究センターでの紹介ページにある東京大学退官時の業績集

[JSSSTtrustee-28] 日本ソフトウェア科学会過去の役員

[jssstkourou-29] 日本ソフトウェア科学会2008年度功労賞受賞者経歴

[kisei-30] 総合規制改革会議委員名簿

[kiseiwg-31] 総合規制改革会議平成14年度第10回本会議配布資料1 各分野の検討状況教育・研究

[rois-32] 情報・システム研究機構平成16年度事業報告書

[dbcls-33] ライフサイエンス統合データベースセンター沿革

[rcis-34] 産業技術総合研究所情報セキュリティ研究センターセンターの構成

[sugimori-35] 「笑える子ども。―未来に向けての教育改革論。」著者等紹介

[engine01-36] エンジン01文化戦略会議活動レポート第39回出張授業

[engine01ob-37] エンジン01文化戦略会議外部イベントへの協力

[cv-38] Curriculum Vitae for Akinori YONEZAWA

[ipsjfellow-39] 情報処理学会フェロー

[jssstfellow-40] 日本ソフトウェア科学会 2004年度フェロー

[41] Microsoft’s Trustworthy Computing Academic Advisory Board Enters Its Fifth Year

[NewsOnDahlNygaardPrize-42] 米澤教授にアジアで初の「ダール・ニゴール賞」, 東京大学大学院情報理工学系研究科ニュース(2008年6月20日)

[okawa-43] 2017年度大川賞受賞者経歴

[okawabook-44] 大川出版賞受賞図書

[ipsjfitfunai-45] 情報処理学会のFIT船井業績賞のページ（2009年度部分）

[utokyofunai-46] 米澤教授が「FIT2009船井業績賞」を受賞並列オブジェクト指向技術の指導的役割で, 東京大学(2009年10月1日)

[ipsjkouseki-47] 情報処理学会 2009年度（平成21年度）功績賞受賞者の紹介

[jssstmeiyo-48] 日本ソフトウェア科学会名誉会員

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

PROFILPELAJAR.COM

米澤明憲

略歴

略歴年譜

その他の公職

内外の評価

受賞年譜

栄典

主要編著書

脚注

外部リンク

Read other articles:

Airi Mikkelä

ليوبولدو الثاني دوق توسكانا الأكبر

Berezwecz-Taklinovo Death Road

Kereta api Bima

Gunung Umsini

Rialto Center for the Arts

Ecuador at the 2022 World Athletics Championships

Mistake (album)

Christina Wilson

Шалфей обыкновенный

Beyond Live

K. P. A. C. Lalitha

Ireland–Kosovo relations

Debbie Scerri

Tim Henman

Earth Day

George Glyn, 2nd Baron Wolverton

Joseph Priestley

Consumer socialization

2021–22 Angola Super Cup