MIZUTANI Tetsuya

Researcher's full information

Teaching
2023-10 -- 2024-02Research in Computer ScienceUniversity of Tsukuba.
2023-05 -- 2023-08Linear Algebra AUniversity of Tsukuba.
2023-04 -- 2023-06Introduction to First-order Logic and FormalizationUniversity of Tsukuba.
2023-10 -- 2023-11Advanced Course in Program TheoryUniversity of Tsukuba.
2023-10 -- 2024-02Research in Computer Science IIUniversity of Tsukuba.
2023-04 -- 2023-08Research in Computer Science IIUniversity of Tsukuba.
2022-04 -- 2022-08Computer Science Seminar BUniversity of Tsukuba.
2022-10 -- 2023-02Computer Science Seminar BUniversity of Tsukuba.
2022-10 -- 2023-02Computer Science Seminar BfUniversity of Tsukuba.
2022-10 -- 2023-02Seminar in Computer Science fUniversity of Tsukuba.
more...