亀山の講義
学部: 筑波大学 情報学群
情報科学類
(
シラバス
)
大学院: 筑波大学
大学院システム情報工学研究科
コンピュータサイエンス専攻
2018年度の授業
春学期:
プログラム言語論I
(3-4年次向け, 春AB,木3)
情報科学概論I
(1年次向け, 春C,2コマ分担)
ソフトウェア技法
(2年次向け, 春C, 火1-2+金3-4)
プログラム言語特論
(博士前期課程向け, 春AB, 火2, 海野先生と分担)
コンピュータサイエンス研究セミナー
(博士後期課程向け, 春AB)
秋学期:
オートマトンと形式言語
(3-4年次向け, 秋AB, 木5-6)
ソフトウェアサイエンス実験B『関数プログラミング』
(3年次向け, 秋A-C,水3-4+金5-6、主担当は海野先生)
世話人:
プログラム言語論II
(3-4年次向け, 集中講義)
計算モデル論 (3-4年次向け, 秋AB月5-6, 井田先生)
2017年度の授業
春学期:
プログラム言語論
(3-4年次向け, 春AB,木3-4)
情報科学概論I
(1年次向け, 春C,2コマ分担)
ソフトウェア技法
(2年次向け, 春C, 水5-6+金3-4)
プログラム言語特論
(大学院向け, 春AB, 火2, 海野先生と分担)
コンピュータサイエンス研究セミナー
(大学院博士後期課程向け, 春AB, 川島先生と分担)
秋学期:
離散構造
(1年次向け, 秋AB, 金3-4, 海野先生と分担)
オートマトンと形式言語
(3-4年次向け, 秋AB, 木5-6)
ソフトウェアサイエンス実験B『関数プログラミング』
(3年次向け, 秋A-C,水3-4+金5-6、海野先生がメイン)
通年:
情報特別演習I,II
Yukiyoshi Kameyama (kam [at] cs . tsukuba.ac.jp)