MIZUTANI Tetsuya

Researcher's full information

Teaching
2023-04 -- 2023-08Computer Science Seminar AUniversity of Tsukuba.
2023-10 -- 2024-02Computer Science Seminar AUniversity of Tsukuba.
2023-04 -- 2023-08Cross-Disciplinary Seminar in Computer ScienceUniversity of Tsukuba.
2023-04 -- 2023-08Seminar in Computer ScienceUniversity of Tsukuba.
2023-10 -- 2024-02Seminar in Computer ScienceUniversity of Tsukuba.
2023-04 -- 2023-08Research in Computer ScienceUniversity of Tsukuba.
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.
more...