MIZUTANI Tetsuya

Researcher's full information

Teaching
2019-07 -- 2019-08Program TheoryUniversity of Tsukuba.
2019-04 -- 2019-08Software and Computing Science Laboratory AUniversity of Tsukuba.
2019-10 -- 2019-11Advanced Course in Program TheoryUniversity of Tsukuba.
2019-10 -- 2020-02Computer Science Seminar BUniversity of Tsukuba.
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.
more...