MIZUTANI Tetsuya
- Teaching
2014-04 -- 2014-08 Software and Computing Science Laboratory A University of Tsukuba. 2014-04 -- 2014-08 Research in Computer Science II University of Tsukuba. 2014-10 -- 2015-02 Research in Computer Science II University of Tsukuba. 2014-10 -- 2014-12 Logic in Computer Software University of Tsukuba. 2013-10 -- 2014-02 Research in Computer Science II University of Tsukuba. 2013-04 -- 2013-08 Research in Computer Science II University of Tsukuba. 2013-04 -- 2013-08 Software and Computing Science Laboratory A University of Tsukuba. 2013-04 -- 2013-06 Introduction to the First-order Logic and Formalism University of Tsukuba. 2013-04 -- 2013-07 Linear Algebra I University of Tsukuba. 2013-10 -- 2013-12 Artificial Intelligence University of Tsukuba. more...