精度保証付き数値計算が1980年代には枯れた技術だったなんて初めて聞いたわw

なぜ精度保証付き数値計算の研究を追求したか
ttps://www.jstage.jst.go.jp/article/essfr/2/2/2_2_2_9/_pdf

これ読んでも
>1990年当時の精度保証付き数値計算の研究は実用的では
>ないと考えられていたような気がします

とか言ってるし