MIZUTANI Tetsuya

Researcher's full information

Teaching

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