https://123deta.com/document/qmogx47y-連立一次方程の真の解の下界上界の精度保証付き数値計算について.html