MIZUTANI Tetsuya

Researcher's full information

Teaching
2020-10 -- 2020-10Advanced Course in Program TheoryUniversity of Tsukuba.
2020-05 -- 2020-07Introduction to First-order Logic and FormalizationUniversity of Tsukuba.
2020-10 -- 2021-02Computer Science Seminar BUniversity of Tsukuba.
2020-04 -- 2020-08Computer Science Seminar BUniversity of Tsukuba.
2020-10 -- 2021-02Software and Computing Science Laboratory BUniversity of Tsukuba.
2020-04 -- 2020-08Research in Computer ScienceUniversity of Tsukuba.
2020-10 -- 2021-02Research in Computer ScienceUniversity of Tsukuba.
2020-10 -- 2021-02Seminar in Computer ScienceUniversity of Tsukuba.
2020-04 -- 2020-08Seminar in Computer ScienceUniversity of Tsukuba.
2020-04 -- 2020-06Linear Algebra AUniversity of Tsukuba.
more...