種の展開

定義 6.5（「擬似乱数生成器」§6）

利用者が与える短い種（整数や整数の列）から、生成器の状態全体をハッシュに似た混合関数で作ることを種の展開という。NumPy の SeedSequence は、種と「何番目の子か」を表す番号の列を混ぜて状態を作り、spawn は番号の違う子を返す。

閉包の状態

定義

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

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

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