English version is here.

筑波大学 システム情報系 情報工学域

人工知能研究室(水谷研)

工学博士 講師 水谷哲也のhomepage

研究内容

プログラム理論および音楽情報学：実時間知的プログラム系ならびに 楽曲情報の検証・解析のための論理的基礎

CV

研究室紹介

令和5年度(2023年度)卒研生向け研究室紹介

注意: 水谷は令和8年(2026年)3月に定年退職の予定なので，基本的に新研究生の受け入れはしません．

(1年ないし2年だけ当研究室で研究を行う予定の学生は受け入れる場合があります．)

担当授業

• 大学院理工情報生命学術院システム情報工学研究群情報理工学位プログラム
• プログラム理論特論 (シラバス(日本語版)(英語版))
• 情報学類
• 線形代数A
• 論理と形式化
• プログラム理論
• 人工知能

mailto: mizutani AT cs DOT tsukuba DOT ac DOT jp