前回の記事で私はこんなことを書きました． Lean で数値計算ができるようになればもっと多くの層が取り込めることが期待できるのですが，現状では難しそうです． seasawher.hatenablog.com 改めて考えてみると，数値計算は丸め誤差と打ち切り誤差がどうして…