@techreport{oai:ipsj.ixsq.nii.ac.jp:00208880,
 author = {寺尾, 剛史 and 尾崎, 克久 and 荻田, 武史 and 今村, 俊幸},
 issue = {16},
 month = {Dec},
 note = {実対称行列に対する標準固有値問題の精度保証法は，これまでに様々な手法が提案されてきた．その実装には浮動小数点演算の丸めモードを変更した区間演算がよく用いられるが，この丸めモードの変更は計算機環境によっては難しい場合がある．本発表では，多くの計算機環境でデフォルトで用いられる最近点丸めによる浮動小数点演算のみを用いて，全近似固有値の精度を保証する新しい手法を提案する．また高精度行列積を用いて，大規模行列に対応可能かつ悪条件な行列においても誤差上限の過大評価を抑制する精度保証法を提案する．最後に，速度と精度に対する数値実験を紹介する．提案手法は LAPACK の固有値計算ソルバを用いた全近似固有対の計算時間と比較して，高速な手法の場合は 3 割，高精度な方法の場合 6 割程度の計算時間で誤差上限を計算できた．また，全近似固有値の計算時間と全近似固有対の計算を含む精度保証に要する計算時間は，行列サイズが 20000 の場合に高速な手法は 3.5 倍程度，高精度な手法は 4.5 倍程度で計算できた．また精度に関しては，高速な手法と高精度な手法で誤差の上限を比較し，高精度計算を用いて誤差上限の過大評価を抑制できていることを確認した．},
 title = {最近点丸めのみを用いた実対称行列に対する標準固有値問題の精度保証法},
 year = {2020}
}