The Hakubi Center for Advanced Research, Kyoto University, Graduate School of Informatics,, Graduate School of Engineering Science, Osaka University