有限要素法に関する精度保証付き数値計算 (Verified computation using finite element method)