MIZUTANI Tetsuya
- Teaching
2017-10 -- 2018-02 Software and Computing Science Laboratory B University of Tsukuba. 2017-04 -- 2017-06 Introduction to First-order Logic and Formalization University of Tsukuba. 2017-10 -- 2018-02 Research in Computer Science University of Tsukuba. 2017-04 -- 2017-08 Research in Computer Science University of Tsukuba. 2017-10 -- 2017-12 Artificial Intelligence University of Tsukuba. 2017-07 -- 2017-08 Introduction to Information Science I University of Tsukuba. 2017-10 -- 2018-02 Computer Science Seminar B University of Tsukuba. 2017-04 -- 2017-08 Computer Science Seminar B University of Tsukuba. 2017-04 -- 2017-08 Computer Science Seminar A University of Tsukuba. 2017-10 -- 2018-02 Computer Science Seminar A University of Tsukuba. more...