National Institute of Informatics, Tokyo