IDA Tetsuo

Researcher's full information

Teaching

2006-12 -- 2007-03	Advanced Models for Deduction and Computation	University of Tsukuba.
2006-04 -- 2007-03	Research in Computer Science II	University of Tsukuba.
2006-04 -- 2007-03	Research in Computer Science I	University of Tsukuba.
2006-04 -- 2007-03	Seminar in Computer Science	University of Tsukuba.
2005-04 -- 2005-07	Information Science Laboratory I	University of Tsukuba.
2005-08 -- 2005-11	Information Science Laboratory II	University of Tsukuba.
2005-08 -- 2005-11	Introduction to Information Science I	University of Tsukuba.
2005-08 -- 2005-11	Models of Computation	University of Tsukuba.
2005-08 -- 2005-11	Art of Programming	University of Tsukuba.
2005-12 -- 2006-03	Information Science Laboratory III	University of Tsukuba.
more...