第136回GMSセミナー

日時：2025年11月7日(金)16:00-

場所：岐阜市生涯学習センター・小研修室3（JR岐阜駅駅ビル東棟ハートフルスクエアG内２階）

講師：田中一成 氏 (早稲田大学)  

題目：AI時代の精度保証付き数値計算 ― 計算機援用証明の過去・現在・未来 ―


概要：精度保証付き数値計算は、数値計算誤差を厳密に評価し、計算結果に数学的な信頼性を与える手法として発展してきた。その応用範囲は微分方程式、力学系、行列方程式、固有値問題、最適化問題など多岐にわたり、計算機援用証明としても重要な役割を果たしている。本講演では、まず精度保証付き数値計算と計算機援用証明の基本的な考え方を整理し、過去から現在までの発展を概観する。最後に、講演者が推進するAI時代の新しい精度保証の方向性として、ニューラルネットワークやGreen関数理論を活用した精度保証法を紹介し、今後の展望について議論する。