米沢明徳
米沢明徳
米澤 明憲
生まれる（1947年6月17日）1947年6月17日
日本
母校東京大学、MIT
知られている並行/並列オブジェクト指向プログラミングモデルと言語
受賞歴
科学者としてのキャリア
フィールドコンピュータサイエンス
機関
博士課程の指導教員カール・ヒューイット
博士課程の学生

米澤明憲（よねざわ あきのり）（ 1947年6月17日生まれ）は、日本のコンピュータ科学者。東京大学名誉教授。[ 1 ] [ 2 ]マサチューセッツ工科大学（MIT）で博士号を取得。[ 3 ]現在、千葉工業大学ソフトウェア技術・人工知能研究センターのシニアフェロー。 [ 4 ]日本学術会議元会員。[ 5 ]オブジェクト指向プログラミング言語、分散コンピューティング、情報セキュリティを専門とする。[ 6 ]彼は、現在最も一般的に使用されているプログラミング言語（Python、Java、C ++など）の基礎となっているオブジェクト指向プログラミングの普及と発展に当初から貢献し、主要な国際会議OOPSLAとECOOPのプログラム委員と議長を務めた。同時に、彼は「並行/並列オブジェクト」の概念とモデルの先駆者としても国際的に知られています。[ 7 ] [ 8 ]並行/並列オブジェクトに基づいて構築されたソフトウェアシステムでは、多数のオブジェクト間での並行/並列メッセージの受け渡しによって情報処理と計算が進行します。[ 9 ]米澤の並行（並列）オブジェクトは、1970年代初頭にMIT AIラボのカール・ヒューイットによって提唱され[ 10 ] 、後にグル・アガによって厳密に定式化されたアクターの概念の影響を受けています。[ 11 ]しかし、並行オブジェクトとアクターは根本的に異なります。アクターは「状態」を持たないオブジェクトであるのに対し、米澤の並行（並列）オブジェクトは永続的な状態を持つことができます。このため、並行（並列）オブジェクトは大規模な並列処理ソフトウェアシステムの実装でよく使用されます。並行オブジェクトをベースとして構築され実用化された大規模ソフトウェアシステムとしては、オンライン仮想世界システムであるセカンドライフ[ 12] Facebook [ 13 ]やX（Twitter） [ 14 ]などのソーシャルネットワーキングサービスや、NAMD [ 15 ] [ 16 ]などの大規模分子動力学シミュレーションシステムなどである。

バイオグラフィー

1966年に麻布高等学校を卒業し、 1970年に東京大学工学部計数工学科を卒業。 1977年にマサチューセッツ工科大学コンピュータサイエンス科でコンピュータサイエンスの博士号を取得。博士論文のタイトルは「メッセージパッシングセマンティクスに基づく並列プログラムの仕様記述と検証技術」である。[ 3 ] [ 17 ]

マサチューセッツ工科大学（MIT）計算機科学・人工知能研究所で並列・分散計算モデルの研究に従事。帰国後、東京工業大学で学び、教鞭を執り、 1988年に東京大学大学院情報科学研究科教授に就任。 [ 18 ]東京大学では、情報基盤センター長など様々な役職を歴任。[ 18 ] 2008年に日本学術会議会員に選出。[ 5 ] 2011年に東京大学を定年退職し、名誉教授となった。2009年に紫綬褒章[ 19 ]、2020年に瑞宝中綬章を受章した。[1] [2] [20] [21]。東京大学退職後、2015年まで理化学研究所計算科学研究所副所長を務め、スーパーコンピュータ「京」の運用に貢献した。[22] その後、2022年まで千葉工業大学ソフトウェア技術・人工知能研究センター長を務めた。[ 23 ]現在、同研究センター主任研究員。[ 4 ]

2012年には神戸で米澤の65歳の誕生日を記念する国際シンポジウムが開催され、シンポジウム参加者による論文集（Festschrift）が2014年にドイツの出版社シュプリンガー・フェアラークから出版された。[ 24 ]

また、2003年頃までの米澤のコンピュータソフトウェア研究を概観した論文が日本ソフトウェア科学会の雑誌に掲載された。[ 6 ]

伝記年表

  • 1966年 私立麻布高等学校卒業
  • 1970年 東京大学工学部計数工学科卒業
  • 1972年 東京大学大学院工学系研究科計数工学専攻修士課程修了
  • 1974年 マサチューセッツ工科大学電気・コンピュータ科学科研究助手
  • 1978年 マサチューセッツ工科大学電気・コンピュータ科学科博士課程修了
  • 1978年 東京工業大学理学部助手
  • 1983年 東京工業大学理学部助教授
  • 1988年 東京工業大学理学部教授
  • 1988年 東京大学理学部教授
  • 1995年 日本ソフトウェア科学会会長[ 25 ]
  • 2003年 東京大学大学院 学際情報学府 教授（転任）
  • 2006年 東京大学情報基盤センター長
  • 2006年 産業技術総合研究所 情報セキュリティ研究センター 副センター長
  • 2008年日本学術会議会員[ 5 ]
  • 2011年 東京大学名誉教授
  • 2011年 理化学研究所 計算科学研究センター 副センター長[ 22 ]
  • 2015年 千葉工業大学ソフトウェア技術・人工知能研究センター長[ 23 ]
  • 2022年 千葉工業大学 シニアフェロー[ 4 ]

その他の公職

1988年から10年計画で始まった通商産業省のリアルワールドコンピューティング（RWC）事業評価推進委員会委員を務めた。[ 26 ] 2001年4月から2004年3月まで内閣府規制改革会議委員[ 27 ]、教育研究ワーキンググループ主査[28]。国立研究開発法人情報システム研究所監事[ 29 ] 、国立研究開発法人産業技術総合研究所ライフサイエンスデータベースセンター長[ 30 ] 、国立研究開発法人産業技術総合研究所情報セキュリティ研究センター副センター長を兼任[31 ]。また、 2005年4月から2006年3月まで東京都杉並区立杉森中学校地域学校運営協議会会長を務めた。[ 32 ]元エンジン01文化戦略会議委員。[ 33 ] [ 34 ]

国際および国内の学術的役割と賞

プログラミング言語、オブジェクト指向コンピューティング、並列分散コンピューティングに関する数多くの国際および国内の学会で会長や委員を務め、学術雑誌や米国学会誌の編集委員も務めた。[ 35 ] ACM（ Association for Computing Machinery ）よりACMフェロー[ 7 ] 、[ 36 ]情報処理学会フェロー[ 37 ]、日本ソフトウェア科学会フェロー[38]の称号を授与された。日本ソフトウェア科学会会長[ 25 ]、ドイツ国立情報科学技術研究所（GMD）科学顧問を務めた。 [ 29 ]さらに、2006年からはマイクロソフト本社（ワシントン州レドモンド）のTCAAB （ Trustworthy Computing Academic Advisory Board）委員を務めている。[ 39 ]

2008年、彼は「並行オブジェクト」という概念の提唱と、理論から実践に至る長年の研究成果により、国際オブジェ技術協会（AITO）よりダール・ナイガード賞を受賞した。 [ 8 ] [ 18 ] [ 39 ]この賞はアジアで初めて授与された。彼は2009年に紫綬褒章[ 19 ] 、 2018年に大川賞[ 40 ]、2020年に瑞宝中綬章を受章した。[ 1 ] [ 2 ] [ 20 ] [ 21 ]

主な受賞歴

栄誉

主な著書・編集

  • 『算法表現論』（木村泉・米沢明憲共著）岩波書店、282ページ、1982年。
  • 『モデルと表現』（米沢明憲、柴山悦也共著）岩波書店、312ページ、1992年。
  • 「オブジェクト指向並行プログラミング」（編：A. Yonezawa、M. Tokoro）、MIT Press、1987年。
  • 「ABCL: オブジェクト指向並行システム」(編 A. Yonezawa)、MIT Press 1990 年。
  • 「並行オブジェクト指向プログラミングの研究方向」（P. Wegner、G. Agha、A.Yonezawa編）、MIT Press、1993年。
  • 「私のソフトウェア研究」コンピュータソフトウェア、第21巻、第5号、2004年。[ 6 ]

参考文献

  1. ^ a b c d e米沢明徳名誉教授が瑞宝章を受章 東京大学大学院情報理工学系研究科ニュース（2020年11月4日）
  2. ^ a b c d e千葉工業大学ソフトウェア技術・人工知能研究センター長 米澤明則氏が瑞宝章を受章 TOPICS（2020年11月3日）
  3. ^ a bメッセージパッシングセマンティクスに基づく並列プログラムの仕様と検証技術、MIT博士論文、1977年12月
  4. ^ a b c千葉工業大学ソフトウェア技術・人工知能研究センター
  5. ^ a b c日本学術会議第21期会員名簿
  6. ^ a b c米沢明徳「私のソフトウェア研究」コンピュータソフトウェア、第21巻第5号​​、2004年
  7. ^ a b c米澤明則、Association for Computing Machinery(ACM) Fellows、1999
  8. ^ a b c 2008年AITOダール・ナイガード賞受賞者
  9. ^並行オブジェクト指向プログラミングに関する最初の論文。非同期メソッド呼び出しに基づいています。米澤明徳、ジャン＝ピエール・ブリオ、柴山悦也。ABCL/1におけるオブジェクト指向並行プログラミング。OOPSLA'86論文集、258–268ページ
  10. ^カール・ヒューイット、ピーター・ビショップ、リチャード・シュタイガー. 人工知能のための普遍的モジュラーACTOR形式論. 第3回国際人工知能合同会議(IJCAI'73)議事録. Morgan Kaufmann Publishers Inc., サンフランシスコ, CA, USA, 235–245, 1973
  11. ^ Gul Agha. 「アクター：分散システムにおける並行計算モデル」. 博士論文. MIT Press. 1986年.
  12. ^ジム・パーブリック、マーク・レンツナー：「セカンドライフ：世界最大のプログラミング環境」OOPSLAコンパニオン2007
  13. ^ HACKは、Facebookのインフラストラクチャをオブジェクトと非同期操作で記述するために使用されるプログラミング言語です。HACKホームページ
  14. ^ Twitterのインフラの多くは、オブジェクトと並行性を備えたScalaで記述されています。TwitterのGitHubの「effectivescala」ページ
  15. ^イリノイ大学NAMDホームページ
  16. ^ NAMDの構築に使用されたCharm++プログラミングモデル
  17. ^メッセージパッシングセマンティクスに基づく並列プログラムの仕様と検証技術、MIT-LCS-TR-191、1978
  18. ^ a b c d米澤教授がダール・ナイガード賞を受賞、東京大学プレスリリース（2008年6月19日）
  19. ^ a b c d米沢明徳氏が紫綬褒章を受章、東京大学大学院情報理工学系研究科ニュース（2009年11月3日）
  20. ^ a b c d「瑞宝中綬章」（PDF） . 内閣府. 2020年11月4日. p. 22. 2023年2月20日閲覧。
  21. ^ a b c d官報号外第230号、2020年11月4日
  22. ^ a b Kコンピュータニュースレター、2012年1月
  23. ^ a b千葉工業大学に最先端人工知能研究拠点「階段ラボ」開設、米澤氏が拠点長に NEWS CIT (2015年5月15日)
  24. ^並行オブジェクトとその先: 65 歳の誕生日を機に米沢明憲に捧げられた論文 (編者: Gul Agha、五十嵐淳、小林​​直樹、増原英彦、松岡聡、柴山悦也、田浦健次郎) Springer LNCS 8665、2014
  25. ^ a b日本ソフトウェア科学会歴代役員
  26. ^ a b c 2008年度日本ソフトウェア科学会功労賞受賞者の略歴
  27. ^内閣府規制改革会議委員
  28. ^規制改革会議第10回全体会議資料1 2002年 教育・研究分野の研究状況
  29. ^ビジネスおよび監査レポート 2004、情報システム研究機構
  30. ^ライフサイエンスデータベースセンターの歴史
  31. ^産業技術総合研究所 情報セキュリティ研究センター
  32. ^著書『子どもたちの笑顔が見つかる。―未来への教育改革論』著者紹介
  33. ^第39回出張講義報告書 エンジン01文化戦略会議
  34. ^外部イベントへの協力、エンジン01文化戦略会議
  35. ^米沢明憲の履歴書
  36. ^ a b情報処理学会フェロー、2010年
  37. ^ a b日本ソフトウェア科学会フェロー、2004年
  38. ^ Microsoftの信頼できるコンピューティング学術諮問委員会が5年目を迎える、Microsoft News、2008年2月26日
  39. ^ a b米澤教授がアジア初の「ダール・ナイガード賞」を受賞、東京大学大学院情報理工学系研究科ニュース（2008年6月20日）
  40. ^ a b 2017年大川賞受賞者の略歴
  41. ^大川出版賞受賞図書一覧
  42. ^情報処理学会船井功績賞（FIT2009部門）
  43. ^米澤教授が並列オブジェクト指向技術におけるリーダーシップにより「FIT2009船井功績賞」を受賞、東京大学（2009年10月1日）
  44. ^情報処理学会 功績賞、2009年
  45. ^日本ソフトウェア科学会名誉会員名簿
「 https://en.wikipedia.org/w/index.php?title=Akinori_Yonezawa&oldid=1333242815」より取得