KAMEYAMA Yukiyoshi
- Teaching
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. 2014-10 -- 2014-12 Computational Logic University of Tsukuba. 2013-10 -- 2014-02 Research in Computer Science II University of Tsukuba. 2013-04 -- 2013-08 Research in Computer Science II University of Tsukuba. 2013-04 -- 2013-08 Software and Computing Science Laboratory A University of Tsukuba. 2013-10 -- 2013-12 Discrete Structures University of Tsukuba. more...