Department Of Informatics And Mathematical Science Graduate School Of Enginnering Science Osaka University