最近点丸めのみを用いた実対称行列に対する標準固有値問題の精度保証法