Loading article…
米田 信夫 | |
|---|---|
米田 信夫 | |
 米田 信夫 | |
| 生まれる | 1930年3月28日 |
| 死亡 | 1996年4月22日（66歳） |
| 市民権 | 日本 |
| 教育 | 東京大学（理学博士、1961年） |
| 知られている | 米田の 補題 米田の積 ALGOL |
| 科学者としてのキャリア | |
| フィールド | 数学 コンピュータサイエンス |
| 機関 | 東京大学 学習院大学 東京電機大学 |
| 論文 | 拡張シーケンスと正確なシーケンスについて (1961) |
| 博士課程の指導教員 | 彌永 昭吉 |
米田信夫（よねだのぶお、1930年3月28日 - 1996年4月22日）は、日本の数学者、コンピュータ科学者。[1] [2]
1952年、東京大学理学部数学科を卒業し、理学士の学位を取得した。[1]同年、東京大学数学科助教授に就任。 [1] 1961年、東京大学より彌永昭吉の指導のもと理学博士の学位を取得した。1962年、学習院大学理学部助教授に就任し、1966年に教授に昇進。1972年、情報科学基礎論教授に就任。1990年、東京大学を定年退職後、東京電機大学に移った。
圏論における米田補題とホモロジー代数における米田積は彼にちなんで名付けられている。[4]
コンピュータサイエンスの分野では、プログラミング言語ALGOLの方言に関する研究で知られている。[5]国際情報処理連盟（IFIP）のアルゴリズム言語および計算に関するワーキンググループ2.1の日本代表として、プログラミングと情報科学の国際標準の策定に携わった。 [6]このワーキンググループでは、 ALGOL 60とALGOL 68という言語の仕様策定、サポート、保守を行っている。[7]
参考文献
- ^ abc 和田英一;米沢明徳(1996年11月)「米田信雄教授 (1930年3月28日 – 1996年4月22日)」、コンピュータプログラミングの科学、27 (3): 215– 216、doi : 10.1016/0167-6423(96)88115-9
- ^ 木下良樹 (1998)、『米田信夫』、日本数学学会、47 :155
- ^ 米田、信夫 (1961)。 CiNii Dissertations - 外部および正確な配列について (論文)。国立情報学研究所。2021 年3 月 23 日に取得。
- ^ Mac Lane, Saunders (1998)、「米田の補題」、Mathematica Japonicae、47 :156
- ^ コスター、コーネリス HA (1996 年 6 月 25 日 - 28 日)。 「メイキング・オブ・アルゴル68」。ビョルナーでは、ディナー。ブロイ、マンフレッド。ポトシン、イーゴリ V. (編)。システム情報学の展望: 第 2 回国際アンドレイ・エルショフ記念会議、議事録。コンピューターサイエンスの講義ノート。 Vol. 1181.アカデムゴロドク、ノボシビルスク、ロシア。 pp. 55–67 . doi :10.1007/3-540-62064-8_6。ISBN 978-3-540-62064-8。特に61ページをご覧ください。
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (2016年8月17日). 「IFIPワーキンググループ2.1のプロファイル」. Foswiki . 2020年10月7日閲覧。
- ^ Swierstra、Doaitse;ジェレミー・ギボンズ;ランバート・メルテンス（2011年3月2日）。 「スコープなど: IFIP21: Foswiki」。フォスウィキ。2020 年10 月 7 日に取得。
外部リンク
- 数学系譜プロジェクトにおける米田信夫氏