情報科学 › 研究のための計算の実務 › 再現できる数値実験
再現の水準
2 回の実行の出力を , とする(実数の配列とし、成分を , と書く)。
- ビット単位の再現: と がバイト列として一致する。
- 許容誤差つきの再現: あらかじめ決めた について、すべての で が成り立つ。
- 統計的な再現: 出力が乱数に依存する量の推定値であるとき、別の種の集合で求めた推定値の信頼区間が、元の信頼区間と重なる。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。