University of Tsukuba, Graduate School of Systems and Information Engineering, Department of Computer Science