MIZUTANI Tetsuya

Researcher's full information

Teaching

2024-04 -- 2024-08	Research in Computer Science IIs	University of Tsukuba.
2024-10 -- 2025-02	Seminar in Computer Science	University of Tsukuba.
2024-04 -- 2024-08	Seminar in Computer Science	University of Tsukuba.
2024-04 -- 2024-06	Introduction to First-order Logic and Formalization	University of Tsukuba.
2024-10 -- 2025-02	Computer Science Seminar A	University of Tsukuba.
2024-04 -- 2024-08	Computer Science Seminar A	University of Tsukuba.
2024-07 -- 2024-08	Program Theory	University of Tsukuba.
2024-10 -- 2024-12	Artificial Intelligence	University of Tsukuba.
2024-04 -- 2024-08	Research in Computer Science II	University of Tsukuba.
2024-10 -- 2025-02	Research in Computer Science II	University of Tsukuba.
more...