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