2011-04 -- 2012-03 | コンピュータサイエンス特別演習B | 筑波大学 |
2011-04 -- 2012-03 | コンピュータサイエンス特別演習A | 筑波大学 |
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 | 筑波大学 |