MIZUTANI Tetsuya

Researcher's full information

Teaching
2012-04 -- 2013-03Research in Computer ScienceUniversity of Tsukuba.
2012-04 -- 2013-03Seminar B in Computer ScienceUniversity of Tsukuba.
2012-04 -- 2013-03Seminar A in Computer ScienceUniversity of Tsukuba.
2012-04 -- 2013-03Seminar in Computer ScienceUniversity of Tsukuba.
2012-04 -- 2012-07Introduction to the First-order Logic and FormalismUniversity of Tsukuba.
2012-04 -- 2012-07Software and Computing Science Laboratory IUniversity of Tsukuba.
2012-04 -- 2012-07Introduction to Software and Computing Science IIUniversity of Tsukuba.
2012-08 -- 2012-11Program TheoryUniversity of Tsukuba.
2012-08 -- 2012-11Logic in Computer SoftwareUniversity of Tsukuba.
2012-08 -- 2012-11Software and Computing Science Laboratory IIUniversity of Tsukuba.
more...