大石チーム

メンバー

大石進一	（早稲田大学理工学術院基幹理工学部） Team Leader
荻田武史	（東京女子大学現代教養学部）
尾崎克久	（芝浦工業大学システム理工学部）

研究概要

非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求

計算機によって数学的に正しい数値計算結果を得るための精度保証付き数値計算学を計算工学の分野へ導入し、それらの諸問題を誤りなく、しかも現実的な計算時間で解けるようにすることが本研究課題の目標です。計算工学に現れる有限次元非線形系に対する精度保証付き数値計算のブレークスルーによって、人が安心して利用できる誤らない計算工学アルゴリズムを設計可能とし、理工学・産業の諸分野に絶大な波及効果をもたらします。