Department of Informatics and Mathematical Science, Graduate School of Enginnering Science, Osaka University