当研究室は、有限精度の演算を用いながらも、数学的厳密に精度が保証された結果を出力するアルゴリズムについて研究しています。アルゴリズムは理論的には機能しても、数値誤差の影響を考慮していないがために、破綻することがあります。最悪のケースでは無限ループに陥ることや、意味のない出力結果を得る可能性があります。数値計算を必要とする多くの問題に対して、専門家を計算誤差の心配から解放する高速なアルゴリズムを生み出していきます。