the Department of Information and Computer Science, Faculty of Science and Technology, Keio University