人工知能研究室(理論研)

研究内容

• nu定義可能行為に基く検証
  • 並行プログラム系の検証
  • NUインタプリタの実装
• 有理数時間を扱う並行プログラム系の検証
  • envelope theory
  • 拍車に基づく検証法
• 充足可能性判定を伴う自動定理証明
• 未知なる領域
  • 論理パズル
  • 不完全情報ゲーム
• 音楽情報処理
  • PSYCHE PROJECT 卒業論文・修士論 文・博士論文 全リスト

関連講義

• 論理と形式化
• プログラム理論
• 論理アルゴリズム特論

教官

• 五十嵐 滋 名誉教授 (常磐大学教授) 退官記念シンポジウム
• 細野 千春 助教授
• 水谷 哲也 講師

学生

• 院生
  • 町 英朋
  • 村田一平
• 学群生

共同研究者

• 池田 靖雄(埼玉短期大学講師)
• 富田 康治(機械技術研究所研究員)
• 塩 雅之 (常盤大学講師)

webmaster@ailab.is.tsukuba.ac.jp