MIZUTANI Tetsuya

Researcher's full information

Teaching
2019-04 -- 2019-08Computer Science Seminar BUniversity of Tsukuba.
2018-04 -- 2018-06Linear Algebra IUniversity of Tsukuba.
2018-10 -- 2018-11Advanced Course in Program TheoryUniversity of Tsukuba.
2018-10 -- 2018-12Artificial IntelligenceUniversity of Tsukuba.
2018-07 -- 2018-08Program TheoryUniversity of Tsukuba.
2018-04 -- 2018-06Introduction to First-order Logic and FormalizationUniversity of Tsukuba.
2018-10 -- 2019-02Seminar in Computer ScienceUniversity of Tsukuba.
2018-10 -- 2019-02Research in Computer Science IUniversity of Tsukuba.
2018-10 -- 2019-02Research in Computer Science IIUniversity of Tsukuba.
2018-10 -- 2019-02Research in Computer ScienceUniversity of Tsukuba.
more...