情報科学 › 乱数と確率的数値計算 › 擬似乱数生成器
法 の線形合同法の下位ビット
の線形合同法の状態 の下位 ビット （）の列は、最終的に周期的で、周期は 以下である。全周期をもつ場合は、純周期的で周期がちょうど である。特に最下位ビットは と交互に現れる。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 21 件、定義なども含めて 25 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 2 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- 有限状態の生成器は最終的に周期的✓命題 2.3・擬似乱数生成器
Hull–Dobell の定理✓定理 3.4・擬似乱数生成器
線形合同法の閉じた形✓補題 3.2・擬似乱数生成器
- 合同式の四則✓命題 3.3・合同式とフェルマーの小定理
ユークリッドの補題（一般形）✓補題 2.2・整除と素因数分解
付値の規則と gcd・lcm✓命題 5.3・整除と素因数分解
素因数分解の指数による表示✓定理 5.2・整除と素因数分解
等比和の p 進付値✓補題 3.3・擬似乱数生成器
- 合同式の四則✓命題 3.3・合同式とフェルマーの小定理
- 付値の規則と gcd・lcm✓命題 5.3・整除と素因数分解（上で展開済み）
これを使っている定理
証明で明示的に参照している定理は、まだありません。