超大規模な線形数値計算に対する精度保証付き数値計算法の開発と評価
寺尾剛史(芝浦工業大学 理工学研究科)