MIZUTANI Tetsuya
- Teaching
2007-12 -- 2008-03 Information Science Laboratory III University of Tsukuba. 2007-12 -- 2008-03 Computer Music System University of Tsukuba. 2007-08 -- 2007-11 Logic in Computer Science University of Tsukuba. 2007-04 -- 2008-03 Research in Computer Science II University of Tsukuba. 2007-04 -- 2008-03 Research in Computer Science I University of Tsukuba. 2007-04 -- 2008-03 Seminar in Computer Science University of Tsukuba. 2006-04 -- 2006-07 Introduction to the First-order Logic and Formalism University of Tsukuba. 2006-04 -- 2006-07 Information Science Laboratory I University of Tsukuba. 2006-04 -- 2006-07 Freshmen Seminar University of Tsukuba. 2006-08 -- 2006-11 Information Science Laboratory II University of Tsukuba. more...