MIZUTANI Tetsuya

Researcher's full information

Teaching

2019-04 -- 2019-08	Seminar in Computer Science	University of Tsukuba.
2019-04 -- 2019-06	Introduction to First-order Logic and Formalization	University of Tsukuba.
2019-04 -- 2019-08	Computer Science Seminar A	University of Tsukuba.
2019-10 -- 2020-02	Computer Science Seminar A	University of Tsukuba.
2019-10 -- 2020-02	Software and Computing Science Laboratory B	University of Tsukuba.
2019-10 -- 2020-02	Research in Computer Science I	University of Tsukuba.
2019-04 -- 2019-08	Research in Computer Science I	University of Tsukuba.
2019-10 -- 2019-12	Artificial Intelligence	University of Tsukuba.
2019-10 -- 2020-02	Research in Computer Science II	University of Tsukuba.
2019-04 -- 2019-08	Research in Computer Science II	University of Tsukuba.
more...