亀山の講義

• 学部： 筑波大学 情報学群情報科学類 (シラバス)
• 大学院： 筑波大学 システム情報工学研究群 情報理工学位プログラム

2022年度の授業

• 情報数学A (1年次向け, 春AB)
• 専門導入科目:計算と情報科学 (1年次向け, 春C)
• プログラム言語論 (3-4年次向け, 春C)
• プログラム言語特論 (大学院博士前期課程向け, 春AB)
• コンピュータサイエンス研究セミナー (大学院博士後期課程向け, 春AB)

• オートマトンと形式言語 (3-4年次向け, 秋AB)
• ソフトウェアサイエンス実験B『関数プログラミング』 (3年次向け, 秋A-C，水3-4+金5-6、主担当は海野先生)

2021年度の授業

• 情報数学A (1年次向け, 春AB)
• 共通科目:情報リテラシー (社会学類向け, 春B)
• 専門導入科目:計算と情報科学 (1年次向け, 春C)
• プログラム言語論I (3-4年次向け, 春C)
• プログラム言語特論 (大学院博士前期課程向け, 春AB)
• コンピュータサイエンス研究セミナー (大学院博士後期課程向け, 春AB)

• オートマトンと形式言語 (3-4年次向け, 秋AB)
• ソフトウェアサイエンス実験B『関数プログラミング』 (3年次向け, 秋A-C，水3-4+金5-6、主担当は海野先生)

2020年度の授業

• 情報数学A (1年次向け, 春AB)
• オートマトンと形式言語 (3-4年次向け, 春AB)
• プログラム言語特論 (博士前期課程向け, 春AB)
• コンピュータサイエンス研究セミナー (博士後期課程向け, 春AB)

• ソフトウェアサイエンス実験B『関数プログラミング』 (3年次向け, 秋A-C，水3-4+金5-6、主担当は海野先生)
• プログラム言語論I (3-4年次向け, 秋C集中)

2019年度の授業

• プログラム言語論I (3-4年次向け, 春AB)
• ソフトウェア技法 (2年次向け, 春C)
• プログラム言語特論 (博士前期課程向け, 春AB)
• コンピュータサイエンス研究セミナー (博士後期課程向け, 春AB)

• オートマトンと形式言語 (3-4年次向け, 秋AB)
• ソフトウェアサイエンス実験B『関数プログラミング』 (3年次向け, 秋A-C，水3-4+金5-6、主担当は海野先生)

• 計算モデル論 (3-4年次向け, 秋AB月5-6, 井田先生)

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