なぜ精度保証付き数値計算の研究を追求したか

• 大石 進一

  早稲田大学理工学術院応用数理学科

書誌事項

タイトル別名

• Why Research on Numerical Computation with Result Verification?
• -My Motivation
• −私の研究の原点−

抄録

筆者は1976 年の卒論より研究をスタートしました。すでに32 年間研究に携わってきたことになります。筆者が精度保証付き数値計算の研究に移ったのは1990年のことです。以来本分野で研究を続けてきました。精度保証付き数値計算の研究の研究に移ったのは筆者なりの必然性があります。1990年当時の精度保証付き数値計算の研究は実用的ではないと考えられていたような気がします。実際、数百次元の連立一次方程式の精度保証が精一杯の感じでありました。現在では特殊な構造を持つ方程式であれば一億次元の連立一次方程式でも精度保証できるようになり、精度保証付き数値計算は実用の段階に至っていると思っています。筆者の研究がこのようなブレークスルーに貢献できたと考えておりますが、本稿ではこのような精度保証付き数値計算の研究の発展と筆者の研究の個人史の交錯を描かせていただきました。

収録刊行物

• ＩＥＩＣＥ　ＦＵＮＤＡＭＥＮＴＡＬＳ　ＲＥＶＩＥＷ

  ＩＥＩＣＥ　ＦＵＮＤＡＭＥＮＴＡＬＳ　ＲＥＶＩＥＷ 2 (2), 9-19, 2008

  一般社団法人 電子情報通信学会

キーワード

• 精度保証付き数値計算
• 区間演算
• 誤差無し変換
• 丸めの誤差制御による精度保証付き数値計算

詳細情報

• CRID: 1390001205343056000
• NII論文ID: 130004959563
• DOI: 10.1587/essfr.2.2_9
• ISSN: 18820875
• Web Site: http://www.jstage.jst.go.jp/article/essfr/2/2/2_2_2_9/_pdf
• データソース種別:
  • JaLC
  • Crossref
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可