ランダムブール値の数学

ブール値は情報の最小単位です。2つの状態。その間には何もありません。TRUEかFALSE、1か0、オンかオフ。このページでの各生成は、過去のすべての結果と完全に独立しています。12回連続でTRUEが出た後でも、13回目の生成でTRUEが出る確率は正確に50%のままです。ブール値には記憶も偏りもありません。これを数学用語で独立性と呼び、すべての公正なランダムプロセスを支配しています。

ジョージ・ブールと論理代数

1854年、イギリスの数学者ジョージ・ブールは思考の法則の研究を出版し、論理的推論を代数的表記に変換しました。TRUEは1になります。FALSEは0になります。論理積（AND）は乗算になります。論理和（OR）は有界加算になります。この枠組みはほぼ1世紀にわたり、主に数学的好奇心の対象にとどまっていました。その後、クロード・シャノンが1937年のMITでの修士論文で、電気スイッチがブール演算をネイティブに実装することを認識しました。閉じたスイッチはTRUE、開いたスイッチはFALSE、直列配線はANDを実行し、並列配線はORを実行します。あなたのデバイスのすべてのトランジスタは、1秒間に数十億回、一度に1つのブール値を処理し、このページがクリックごとに1回行うのと同じTRUE/FALSE評価を実行しています。

1ビットのエントロピー

シャノンはまた、1948年に情報理論を形式化し、ビットを情報の基本単位として定義しました。1回の公正なブール値生成は、正確に1ビットのエントロピーを生み出します。生成前には2つの等しく可能な結果が存在し、生成後には正確に1つが判明します。すべてのパスワード、すべての暗号鍵、コンピュータが生成するすべての乱数は、これらの個々のビットの列から構築されています。このページのブール値ジェネレーターは、クリックごとに暗号品質のエントロピー1ビットを生成します。これは不確実性の最小量子です。

真の公正性

各生成はcrypto.getRandomValues()を呼び出します。これはW3Cが策定し、すべてのモダンブラウザに組み込まれたWeb Cryptography APIです。このAPIは、デバイス内のハードウェアレベルの物理プロセスからエントロピーを取得します。シリコンの熱雑音、電気的タイミングジッター、そして量子力学が本質的に予測不可能であると証明するその他の現象です。1つのランダムバイトが生成されます。0から127の値は一方の結果に、128から255の値はもう一方の結果にマッピングされます。各側に正確に128の値があります。結果は完全な50/50の分布であり、すべてがあなたのデバイス上で生成されます。サーバーがあなたの結果を知ることはありません。

大量生成時に起こること

上の収束チャートは、セッション中のTRUE結果の累積パーセンテージを追跡しています。初期の生成では大きく揺れ動きます。50回または100回の生成後、線は50%付近に収束していきます。これは大数の法則の実例です。長期的な頻度は理論上の確率に収束します。驚くべき要素として、100回の生成における連続同一結果の最長ストリークは、通常5から10の間になります。6回以上のストリークがまったくないシーケンスは、人為的に混合されたように見えます。真のランダム性は、直感が予想するよりも偏りが大きいのです。

教室での活用

ブール値は計算論的思考への入り口です。このページをプロジェクターに映し、クラスの前で50回生成を行い、収束チャートをリアルタイムで追跡しましょう。生徒たちは、最初はパーセンテージが不規則にさまよい、その後徐々に50%に落ち着いていく様子を観察します。開始前に最長ストリークを予測させましょう。実際のストリークはほぼ常に予想より長く、人間の直感と本物のランダム性についての有意義な議論のきっかけになります。

プログラミング入門の授業では、結果を条件分岐に結びつけましょう。「結果がTRUEなら立ち上がる。FALSEなら座る。」クラスは分岐を身体で体験します。ペアで結果を組み合わせましょう。両方TRUE？それがANDです。少なくとも一方がTRUE？それがORです。自分の結果の逆？それがNOTです。生徒たちが今生成したランダムなブール値に適用されるこれら4つの演算は、デジタルロジックの完全な基盤を形成します。このツールはアカウント不要で、生徒のデータを収集せず、デジタルな痕跡を残しません。

設計によるプライバシー保護

このブール値ジェネレーターは完全にブラウザ内で動作します。サーバーはページを配信します。あなたのデバイスがランダム性を提供します。生成履歴はlocalStorageに保存され、あなたのマシンにのみ存在します。サーバーはユーザーアカウントを管理せず、結果を保存せず、トラッキングCookieを設定しません。このURLを共有すると、相手は同じツールを受け取ります。相手の結果は、あなたのものとは完全に独立した、自身のデバイスのエントロピーソースから生成されます。