Faculty Science Division 1, Department of Mathematical Information Science, Tokyo University of Science, Japan