申込不要受付中締切間近終了
緊急のお知らせ
東京女子大学

教授

オギタ タケシ

荻田 武史

現代教養学部 数理科学科 情報理学専攻

研究キーワード

精度保証付き数値計算 / 数値計算アルゴリズム / 数値線形代数

研究分野

数値解析学

研究テーマ

コンピュータによる計算で得られた結果の正しさを保証する「精度保証付き数値計算」に関する研究をしています。

コメント

気象予測や感染症の伝播状況などをコンピュータでシミュレーションする時には「数値計算」という計算手法が使われています。コンピュータによる計算なので「絶対に正しい」と捉えがちですが、実は、数値計算は数学的に厳密な計算ではありません。小数点以下の桁数が有限で、それ以上は四捨五入等で打ち切りになるため、計算途中で誤差が積み重なり最終的に得られるのは近似値です。その値がどれくらい正しいかは問題によってまったく異なります。「精度保証付き数値計算」は、計算結果に混入したあらゆる誤差を数学的に厳密に把握する手法です。ITの進展によって、より大規模な計算が要求されてきている現在、精度保証付き数値計算が重要な局面はますます増えています。研究分野としてはまだまだ世間に浸透しておらず、これからといったところですが、いずれは「数値計算といえば精度保証付き数値計算のこと」と認識されるのが目標です。

  • 主な担当授業・演習
    • シミュレーションA1, A2
    • 数値計算
    • 情報処理技法(Cプログラミング)I, II
  • 所属学協会・プロジェクト
    • SIAM
    • 日本応用数理学会
  • 書籍等出版物(単著・共著)
    • 『精度保証付き数値計算の基礎』(共著、コロナ社、2018年)
    • 『固有値計算と特異値計算』(共著、丸善出版、2019年)