KAMEYAMA Yukiyoshi

Researcher's full information

Teaching

2014-10 -- 2015-02	Software and Computing Science Laboratory B	University of Tsukuba.
2014-04 -- 2014-06	Programming Languages and Methodology	University of Tsukuba.
2014-10 -- 2014-12	Logic in Computer Software	University of Tsukuba.
2014-04 -- 2014-08	Research in Computer Science I	University of Tsukuba.
2014-10 -- 2015-02	Research in Computer Science I	University of Tsukuba.
2014-04 -- 2014-06	Introduction to the First-order Logic and Formalism	University of Tsukuba.
2014-10 -- 2014-12	Discrete Structures	University of Tsukuba.
2014-04 -- 2014-08	Software and Computing Science Laboratory A	University of Tsukuba.
2014-04 -- 2014-08	Research in Computer Science II	University of Tsukuba.
2014-10 -- 2015-02	Research in Computer Science II	University of Tsukuba.
more...