| 2010-04 -- 2011-03 | コンピュータサイエンス特別研究 | 筑波大学 |
| 2010-04 -- 2011-03 | コンピュータサイエンス特別演習Ｂ | 筑波大学 |
| 2010-04 -- 2011-03 | コンピュータサイエンス特別演習Ａ | 筑波大学 |
| 2010-04 -- 2011-03 | コンピュータサイエンス特別演習 | 筑波大学 |
| 2010-04 -- 2010-07 | 計算モデル論 | 筑波大学 |
| 2010-04 -- 2010-07 | ソフトウェアサイエンス実験Ｉ | 筑波大学 |
| 2010-08 -- 2010-11 | ソフトウェア技法 | 筑波大学 |
| 2010-08 -- 2010-11 | ソフトウェアサイエンス実験II | 筑波大学 |
| 2010-08 -- 2010-11 | ソフトウェアサイエンス概論Ｉ | 筑波大学 |
| 2010-12 -- 2011-03 | 推論計算モデル特論 | 筑波大学 |