T
computer-science arithmetic low-level programming

コンピューター算術：エンディアンと IEEE 754 の秘密

エンディアン、ネットワークバイトオーダー、IEEE 754 浮動小数点数の高度な数学など、低レベルのデータ表現を深く掘り下げます。

2026-04-12 このツールを使う

コンピューター算術：エンディアンと IEEE 754 の秘密

ほとんどのプログラマーにとって、数値は単なる float や int です。しかし、その表面下では、コンピューターがこれらの値を保存し、操作する方法は、アーキテクチャ固有の選択と見事な数学的妥協に満ちた複雑な世界です。

このガイドでは、メモリ内のバイト順序から、しばしば見落とされがちな非正規化数を含む IEEE 754 標準の洗練された数学まで、データの低レベルな表現を探索します。

1. 順序の問題：エンディアン (Endianness)

32 ビット整数 0x12345678 があると想像してください。これは、0x12、0x34、0x56、0x78 の 4 バイトで構成されています。これらのバイトはコンピューターのメモリにどのように保存されるべきでしょうか？

ビッグエンディアン (直感的な順序)

ビッグエンディアンシステムでは、「ビッグエンド」（最上位バイト）が最小メモリ番地に保存されます。

  • Addr 0: 0x12
  • Addr 1: 0x34
  • Addr 2: 0x56
  • Addr 3: 0x78

リトルエンディアン (X86 標準)

リトルエンディアンシステム（ほぼすべての現代の PC やスマートフォンで使用されています）では、「リトルエンド」が最初に保存されます。

  • Addr 0: 0x78
  • Addr 1: 0x56
  • Addr 2: 0x34
  • Addr 3: 0x12

なぜ重要なのか？ネットワークバイトオーダー

ネットワーク経由でデータを送信する場合、コンピューターによってエンディアンが異なる場合があります。これを解決するために、インターネットプロトコルはネットワークバイトオーダーをビッグエンディアンとして定義しています。低レベルのネットワークコードを書くときは、送信前にローカルの「ホストバイトオーダー」を「ネットワークバイトオーダー」に変換し、受信時にその逆を行う必要があります。

2. 浮動小数点の数学：IEEE 754

IEEE 754 標準は、浮動小数点演算の共通言語です。64 ビット浮動小数点数（double）は 3 つの部分に分かれています。

  1. 符号ビット (1 bit): 正の場合は 0、負の場合は 1。
  2. 指数部 (11 bits): 数値のスケールを決定します。
  3. 仮数部 (52 bits): 精度を決定します。

指数バイアス

指数は単純な整数として保存されません。代わりに、バイアス（double の場合は 1023）を使用します。これにより、11 ビットのフィールドで指数自体の符号ビットを必要とせずに、2 の正と負の両方の累乗を表すことができます。

有効数字 (Significand) と仮数 (Mantissa)

現代の IEEE 754 では、Significand という用語を使用します。これは、「暗黙の先頭ビット」（通常は 1）と仮数（実際に保存されるビット）で構成されます。最初のビットを 1 と仮定することで、1 ビット分のスペースを節約し、精度を高めています。

3. エッジケース：非正規化数 (Subnormal Numbers)

標準的な浮動小数点数では、先頭ビットは常に 1 と仮定されます。しかし、ゼロに限りなく近づくとどうなるでしょうか？

ゼロにおける「ギャップ」

非正規化数がないと、表現可能な最小の正の数とゼロの間に大きな「ギャップ」が生じます。これは「アンダーフロー」と呼ばれます。

非正規化数が救う

指数フィールドがすべてゼロの場合、IEEE 754 標準は非正規化モードに切り替わります。

  • 暗黙の先頭ビットは 1 ではなく 0 になります。
  • これにより、数値が「緩やかにアンダーフロー」し、通常よりも小さな値を表現できるようになります。
  • パフォーマンスコスト: 多くの CPU では、非正規化演算はハードウェアのメイン FPU ではなくマイクロコードによって処理されるため、大幅に遅くなります。オーディオ処理やゲームなど、パフォーマンスが重要なソフトウェアの一部は、このパフォーマンス低下を避けるために「Flush to Zero」（FTZ）を実行します。

4. 特殊な値

  • 無限大 (Inf): 指数がすべて 1、仮数がすべて 0。
  • 非数 (NaN): 指数がすべて 1、仮数が 0 以外。
  • 符号付きゼロ (-0.0): IEEE 754 は +0 と -0 を区別します。これは条件チェックで微妙なバグを引き起こす可能性があります。

結論

コンピューター算術を理解することは、高性能エンジンのボンネットの中を覗くようなものです。エンディアンによって要求されるバイトスワップから、非正規化数の繊細な「アンダーフロー」ロジックまで、これらの低レベルな詳細は、私たちのソフトウェアを正確かつ効率的にするためのものです。

ネットワークプロトコルをデバッグする場合でも、物理エンジンを最適化する場合でも、IEEE 754 の秘密とエンディアンの規則を忘れないでください。それらは、あなたが行うすべての計算の見えない基盤なのです。

ブログに戻る 単位変換器 →