研究グループ

大石グループ 大石進一（早稲田大学 理工学術院・教授）／研究代表者
「モデリングのための精度保証付き数値計算法の開発」
荻田グループ 荻田武史（東京女子大学 現代教養学部・教授）
「無誤差変換法を用いた高速・高精度な数値線形代数アルゴリズムの開発」
山本グループ 山本野人（電気通信大学大学院 情報理工学研究科・教授）
「微分方程式に対する精度保証の開発」
高橋グループ 高橋大輔（早稲田大学 理工学術院・教授）
「可積分系研究の厳密解析の展開」
渡部グループ 渡部善隆（九州大学 情報基盤研究開発センター・准教授）
「非線形偏微分方程式に対する計算機援用証明」
小林グループ 小林健太（一橋大学大学院 商学研究科・教授）
「有限要素法の誤差評価と精度保証付き数値計算への応用」
尾崎グループ 尾崎克久（芝浦工業大学 システム理工学部・教授）
「線形計算に対する高精度かつ高速なアルゴリズムの開発とその応用」
山中グループ 山中脩也（明星大学 情報学部・准教授）
「精度保証理論に基づく計算基盤技術の高性能化」