Author: Masami Hagiya,Christian S. Calude,Kenichi Morita