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