Department of Pure and Applied Mathematics Graduate School of Information Science and Technology, Osaka University