情報科学 › 研究のための計算の実務 › 再現できる数値実験

再現の水準

定義 2.2(「再現できる数値実験」§2)

2 回の実行の出力を yy, y′y' とする(実数の配列とし、成分を yjy_j, yj′y'_j と書く)。

  1. ビット単位の再現: yy と y′y' がバイト列として一致する。
  2. 許容誤差つきの再現: あらかじめ決めた τabs,τrel≥0\tau_{\mathrm{abs}},\tau_{\mathrm{rel}}\ge0 について、すべての jj で ∣yj−yj′∣≤τabs+τrel∣yj∣|y_j-y'_j|\le\tau_{\mathrm{abs}}+\tau_{\mathrm{rel}}|y_j| が成り立つ。
  3. 統計的な再現: 出力が乱数に依存する量の推定値であるとき、別の種の集合で求めた推定値の信頼区間が、元の信頼区間と重なる。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 4 問