コンテンツへスキップ

研究内容

主に精度保証付き数値計算に関する研究を行っています。

ポスト京萌芽的課題(終了)についてはこちら