1. Department of Information and Computer Sciences, Saitama University, Saitama, Japan
2. Department of Mathematics, Faculty of Education and Integrated Arts and Sciences, Waseda University, Tokyo, Japan
3. Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, Tokyo, Japan