Shiuchi Hirahara National Institute of Informatics, Japan Journal Computability ISSN: 22113568 Read Online