情報科学 › 研究のための計算の実務 › 精度の選び方
誤差予算
最終結果の誤差 を、原因ごとの項の和で上から抑えた表を誤差予算という。項は次の 4 種類に分ける。
- 打ち切り誤差: 極限・級数・積分・微分方程式を有限の手続きで置き換えたことによる誤差。
- 丸め誤差: 有限の精度で演算したことによる誤差。
- データの誤差: 入力(測定値、前段の計算結果、10 進の定数を 2 進に直したもの)が真の値と違うことによる誤差。
- 統計誤差: 乱数を使う推定の標本による揺らぎ。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。