Department of Mathematical Informatics, Graduate School of Information Science and Technology, The University of Tokyo