米澤明憲 - Wikipedia
米澤 明憲（よねざわ あきのり、1947年6月 - ）は、日本の計算機科学者。東京大学名誉教授[1]。千葉工業大学人工知能・ソフトウェア技術研究センターシニアフェロー[2]。日本学術会議元会員[3]。専門はオブジェクト指向プログラミング言語、分散コンピューティング、情報セキュリティ[4]。「並列オブジェクト」概念・モデルの先駆者として国際的に知られている[5]。マサチューセッツ工科大学 (MIT)Ph.D.[6]。 略歴[編集] 1966年麻布高等学校卒業。1970年東京大学工学部計数工学科卒。1977年、マサチューセッツ工科大学計算機科学科博士課程修了Ph.D. in Computer Science。学位論文は"Specification and verification techniques for parallel programs based on message passing
カール・ヒューイット - Wikipedia
カール・ヒューイット（Carl E. Hewitt）- 2022年12月7日[1]は、マサチューセッツ工科大学(MIT)の電気工学・計算機科学科の名誉准教授[2]。 業績[編集] ヒューイットは世界初の人工知能向けプログラミング言語 Planner の設計で知られている。Planner は手続き的計画に基づいた言語であり、表明とゴールからパターンに基づいて手続きを呼び出す。ヒューイットは1971年、マービン・ミンスキー、シーモア・パパート、Mike Peterson の指導の下で数学の学位を取得した。彼の高レベルな手続き的計画という形式の「手続き的知識の埋め込み」という方法論は、ジョン・マッカーシーの提唱した論理学的手法（数理論理学による宣言的知識表現）とは一線を画していた。Planner のサブセット Micro Planner は Gerry Sussman、Eugene Charni
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
