NumericalAnalysis

朝倉書店「Python による数値計算入門」河村、桑名著のノートです。

注意：計算時間を正確に計測するにはインタプリタで実行するだけでは不十分で、lake exe コマンドを使うなどする必要があります。しかし、Lean での計算時間測定は難しいのでここではやりません。