MIZUTANI Tetsuya
- Teaching
2011-12 -- 2012-03 Software and Computing Science Laboratory III University of Tsukuba. 2010-04 -- 2010-07 Introduction to the First-order Logic and Formalism University of Tsukuba. 2010-04 -- 2010-07 Software and Computing Science Laboratory I University of Tsukuba. 2010-04 -- 2010-07 Introduction to Software and Computing Science II University of Tsukuba. 2010-08 -- 2010-11 Software and Computing Science Laboratory II University of Tsukuba. 2010-12 -- 2011-03 Artificial Intelligence University of Tsukuba. 2010-12 -- 2011-03 Mathematics for Computer Science University of Tsukuba. 2010-12 -- 2011-03 Software and Computing Science Laboratory III University of Tsukuba. 2010-08 -- 2010-11 Program Theory University of Tsukuba. 2010-08 -- 2010-11 Logic in Computer Software University of Tsukuba. more...