ハミング符号シミュレーター

ECCメモリ（誤り訂正メモリ）：ハミング符号の最も身近で重要な用途です。サーバー・ワークステーション・基幹システムのDRAMでは、宇宙線（中性子）の衝突や電気的ノイズによってメモリセルのビットが勝手に反転する「ソフトエラー」が一定確率で発生します。ECCメモリは64ビットのデータに対して8ビットの検査ビットを付け、ハミング符号系のSECDED方式で1ビット誤りを訂正、2ビット誤りを検出します。ユーザーやOSはエラーが起きたことすら気づかず、計算は静かに正しく続行されます。

NANDフラッシュメモリとSSD：フラッシュメモリは書き込み・読み出しを繰り返すとセルが劣化し、ビット誤りが増えていきます。SSDやUSBメモリのコントローラには誤り訂正回路が組み込まれており、初期の製品ではハミング符号、現在はより強力なBCH符号やLDPC符号が使われます。ハミング符号は仕組みが単純で回路が小さく高速なため、誤り率が低い用途では今も現役です。

通信・データ伝送：初期のモデム通信、衛星・宇宙機からのテレメトリ、産業用のシリアル通信などで、ハミング符号は「再送できない・再送したくない」一方向通信の誤り訂正に使われてきました。ノイズで化けたビットを受信側だけで直せるため、往復の通信時間が長い宇宙通信では特に価値があります。深宇宙探査機ではさらに強力な符号と組み合わせて使われます。

情報理論・符号理論の教材：ハミング符号は「誤り訂正符号とは何か」を学ぶ最初の題材として世界中の大学で扱われます。最小ハミング距離、シンドローム復号、生成行列・検査行列、符号化率と訂正能力のトレードオフといった符号理論の基本概念が、(7,4)というコンパクトな例の中に全部詰まっているからです。本シミュレーターも、その概念を手を動かして体感するための教材として作られています。

まず最も多い誤解が、「ハミング符号なら何ビット誤っても直してくれる」というものです。ハミング(7,4)符号が訂正できるのは厳密に「1ビットまで」です。これは符号語どうしの最小ハミング距離が3であることから来ています。距離3の符号は「1ビット訂正」または「2ビット検出」のどちらかしかできません。2ビット誤りが起きると、シンドロームは0以外の値になりますが、それは別の1ビット誤りのパターンと区別がつかず、ツールは存在しない「1ビット誤り」を訂正してしまい、結果的に3ビット狂った語を出力することすらあります。誤り率が高い回線では、距離の大きい符号を選ぶか、何重にも符号を重ねる必要があります。

次に、「シンドロームが0なら絶対に誤りがない」と思い込むこと。シンドロームが0になるのは「誤りがない」場合だけではありません。誤りパターンがちょうど別の正しい符号語に一致してしまった場合（つまり距離3以上のビットが同時に都合よく反転した場合）にも、シンドロームは0になります。これを「検出漏れ」といいます。1ビット・2ビット誤りでは起きませんが、3ビット以上の誤りでは起こり得ます。シンドローム0は「1〜2ビット誤りはない」という意味であって、「絶対に無傷」を保証するものではありません。

最後に、「冗長ビットは無駄だから少ないほどよい」という単純化です。ハミング(7,4)符号の符号化率は4/7 ≈ 0.57で、送るデータの約4割が検査ビットに使われます。一見もったいなく見えますが、ハミング(15,11)なら11/15 ≈ 0.73、ハミング(31,26)なら26/31 ≈ 0.84と、符号語を長くするほど冗長性の割合は下がります。ただし長い符号ほど「1個の符号語の中で2ビット以上誤る確率」が上がり、訂正能力（1ビットまで）は変わらないため誤り訂正の信頼性は下がります。符号長は「冗長性の少なさ」と「誤りに耐える力」のトレードオフで、回線の誤り率に応じて選ぶべきものです。