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