IDA Tetsuo

Researcher's full information

Teaching
2002-08 -- 2002-11Information Science Labcratory ⅡUniversity of Tsukuba.
2002-08 -- 2002-11Introduction to Information Science ⅠUniversity of Tsukuba.
2002-08 -- 2002-11Models of ComputationUniversity of Tsukuba.
2002-08 -- 2002-11Art of Computer ProgrammingUniversity of Tsukuba.
2002-12 -- 2003-03Special Topics in Information Science and Technology ⅠDUniversity of Tsukuba.
2002-12 -- 2003-03Information Science Labcratory ⅢUniversity of Tsukuba.
2002-12 -- 2003-03System VerificationUniversity of Tsukuba.