2013年度(大学院)

• 推論計算モデル特論(春AB学期）

2013年度

• オートマトンと形式言語(3,4年, 春AB学期)

• データ構造とアルゴリズム(2年, 春AB学期)

• データ構造とアルゴリズム実験(2年, 春AB学期)

• ソフトウェア技法(2年, 秋AB学期)

---

2012年度

• オートマトンと形式言語(3,4年, 1学期)

• データ構造とアルゴリズム(2年, 1学期)

• データ構造とアルゴリズム実験(2年, 1学期)

• 宣言型プログラム論(3,4年, 2学期)

• ソフトウェア技法(2年, 2学期)

• コンパイラ実験(3学期,　情報科学主専攻）

---

2011年度

• オートマトンと形式言語(3,4年, 1学期)

• データ構造とアルゴリズム(2年, 1学期)

• データ構造とアルゴリズム実験(2年, 1学期)

• 宣言型プログラム論(3,4年, 2学期)

• ソフトウェア技法(2年, 2学期)

• コンパイラ実験(3学期,　情報科学主専攻）

---

2010年度

• オートマトンと形式言語(3,4年, 1学期)

• データ構造とアルゴリズム(2年, 1学期)

• データ構造とアルゴリズム実験(2年, 1学期)

• 宣言型プログラム論(3,4年, 2学期)

• コンパイラ実験(3学期,　情報科学主専攻）

---

2009年度

• オートマトンと形式言語(3,4年, 1学期)

• データ構造とアルゴリズム(2年, 1学期)

• データ構造とアルゴリズム実験(2年, 1学期)

• 宣言型プログラム論(3,4年, 2学期)

• コンパイラ実験(3学期,　情報科学主専攻）

---

2008年度

• ソフトウェアサイエンス概論�

• オートマトンと形式言語(3,4年, 1学期)

• データ構造とアルゴリズム(2年, 1学期)

• データ構造とアルゴリズム実験(2年, 1学期)

• 宣言型プログラム論(3,4年, 2学期)

宣言型プログラム論(3,4年, 2学期)

• コンパイラ実験(3学期,　情報科学主専攻）

---

2007年度

• コンパイラ実験(3学期,　情報科学主専攻）

• 情報科学概論�

• オートマトンと形式言語(3,4年, 2学期)

• 宣言型プログラム論(3,4年, 集中)

---

2006年度(大学院)

• 推論計算モデル特論(3学期）

2006年度

• コンパイラ実験(3学期,　情報科学主専攻）

• オートマトンと形式言語(3,4年, 2学期)

• 情報科学概論�(4月28日）: スライド(PDF)

2005年度

• コンパイラ実験(3学期,　情報科学主専攻）

• 宣言型プログラム論(3,4年, 2学期)

• オートマトンと形式言語(3,4年, 1学期)

• 情報科学概論�(4月22日）: スライド(PDF)