[Japanese/English]

Programming Logic Group
プログラム論理研究室

プログラム論理研究室は， 亀山幸義(教授)が 主宰する研究室です． 2024年3月まで在籍していた 海野広志准教授は 東北大学教授に異動されました．

ニュース What's New

• [2024/9/16] 情報科学類の卒業研究生を募集します． こちらのページを見てください．

研究室紹介

• 学生募集：
  • 卒業研究生募集
  • 大学院生募集
• 研究紹介
• 発表論文
  • 対外発表論文
  • 修士論文・卒業論文
• メンバー
• 住所/アクセス/連絡先
• リンク
  • 筑波大学　大学院理工情報生命学術院 システム情報工学研究群　 情報理工学位プログラム [大学院生の所属]
  • 筑波大学　情報学群 情報科学類 [学部生の所属]
  • 筑波大学　システム情報系 [教員の所属]

このページの管理者: www [at] logic.cs.tsukuba.ac.jp