My interest is to make some tools for computer assisted proof method. I teach control and programming at Shonan Institue of Technology, Japan.