研究者
J-GLOBAL ID：200901079756149460   更新日: 2020年05月13日

池田 靖雄

イケダ ヤスオ | Ikeda Yasuo
所属機関・部署：
旧所属 埼玉短期大学 情報メディア学科

旧所属 埼玉短期大学 情報メディア学科 について


職名： 講師
ホームページURL (1件)： http://www.ailab.is.tsukuba.ac.jp/~yikeda
研究分野 (2件)： 機械力学、メカトロニクス ,  ロボティクス、知能機械システム
研究キーワード (4件)： 定理自動証明 ,  プログラム理論 ,  Automatic Theorem Proving ,  Program Theory
競争的資金等の研究課題 (3件)：
  • @カルキュラス
  • 高階論理型プログラム言語NUに関する研究
  • Study on Higher Typed Logical Programing Language NU
MISC (11件)：
もっと見る
学歴 (4件)：
  • - 1992 筑波大学 工学研究科 電子・情報工学
  • - 1992 筑波大学
  • - 1987 筑波大学 第3学群情報学類 情報科学
  • - 1987 筑波大学
学位 (2件)：
  • 工学修士 (筑波大学)
  • 博士(工学) (筑波大学)
所属学会 (2件)：
情報処理学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM