数学セミナーをちらりと読んでみました。 ちょっと見た感じでは、精度保証演算とはたんなる区間演算のことではなく、Kahan和の様に、丸め誤差分も浮動小数で表されることを利用して、丸め誤差の余りカスを集めあげて真値への収束列を作ることのようです。も…