2019年11月 実対称行列の全固有値に対する精度保証法と区間への拡張 第3回 精度保証付き数値計算の実問題への応用研究集会 寺尾 剛史, 尾崎 克久, 荻田 武史 記述言語 会議種別 口頭発表(一般)