米津 光浩 | 慶應義塾大学理工学研究科計算機科学科
スポンサーリンク
概要
関連著者
-
中西 正和
慶應義塾大学 大学院理工学研究科
-
中西 正和
慶應義塾大学
-
米津 光浩
慶應義塾大学理工学研究科計算機科学科
-
米津 光浩
慶應義塾大学大学院理工学研究科計算機科学専攻
-
山口 文彦
慶應義塾大学大学院理工学研究科
-
鈴木 理創
慶應義塾大学大学院理工学研究科計算機科学専攻
-
三浦 泰介
慶應義塾大学大学院理工学研究科計算機科学専攻
-
中西 正和
慶應義塾大学大学院理工学研究科開放環境科学
-
中西 正和
慶應義塾大学理工学部
-
前田 敦司
筑波大学情報処理センター
-
北野 宏明
ソニーコンピュータサイエンス研究所
-
北野 宏明
ソニー・コンピュータ・サイエンス研究所
-
中西 正和
慶應義塾大学大学院理工学研究科計算機科学専攻
-
前田 敦司
慶應義塾大学理工学部数理科学科
-
中西 正和
慶意義塾大学大学院理工学研究科
-
田中 あずさ
慶鷹義塾大学 理工学研究科 計算機科学専攻
-
田中 あずさ
慶應義塾大学理工学研究科計算機科学専攻
著作論文
- 神経グループ選択説に基づく学習システムに関する実験的考察
- 述語線形論理の自動証明器
- ニューロン群選択説に基づく学習をするOculomotor-systemについて
- プロセス仕様の模倣関係検証
- プロセス等価性の自動証明器の実装