数値実験

数値実験とは、次の 5 つの組 $(c,x,\theta,\sigma,\eta)$ に出力 $y$ を対応させる手続きである。

• $c$: コード（実行するプログラムの全体。版管理の 1 つのコミットで特定する）
• $x$: 入力（データファイルの内容）
• $\theta$: 設定（刻み幅・反復回数・モデルの係数など、実行時に選ぶ値）
• $\sigma$: 乱数種
• $\eta$: 環境（言語処理系と数値ライブラリの版、線形代数ライブラリ BLAS の実装、スレッド数、CPU の種類）

出力が組 $(c,x,\theta,\sigma,\eta)$ だけで決まる、すなわち写像 $R:(c,x,\theta,\sigma,\eta)\mapsto y$ が定まるとき、実験は決定的であるという。同じ組に対して実行ごとに出力が変わりうるとき、非決定的であるという。