多倍長計算・計算精度保障付き演算ルーチン、記号計算のためのLISPライクなシステムの開発を行っています。
　計算精度保障付き演算ルーチンでは、計算の過程で生じる誤差の評価を自動的に行い、最終的に厳密な値の存在する区間を任意精度で求めることが出来ます。
　また、記号計算の応用としてMIDIインターフェースを使い作曲システムの研究を行っています。