0.1が2進数でズレる謎を解剖！小数の基数変換と浮動小数点の真実

プログラムで「0.1 + 0.2」を計算させたとき、画面に「0.30000000000000004」という奇妙な端数が表示されて頭を抱えた経験はないでしょうか。電卓でも間違えないような単純な足し算が、最先端のコンピュータで狂ってしまう現象は、プログラミング初心者が必ず直面する大きな壁のひとつです。

この不可解な現象の正体は、私たちが普段使っている10進数の小数を、コンピュータが理解できる2進数へ変換する仕組みの中に隠されています。なぜ日常的な「0.1」という数値がズレを引き起こすのか、基数変換の具体的な計算手順から浮動小数点数の規格、そして実務で役立つ誤差回避策まで、現場の視点からわかりやすく解き明かします。

📌 【この記事の重要ポイントまとめ】

• 要点1：10進数の「0.1」は2進数に変換すると無限ループする循環小数になり、コンピュータ内で正確に保持できない
• 要点2：PC内部では小数をIEEE754規格の「浮動小数点数（符号部・指数部・仮数部）」として近似値で管理している
• 要点3：金融計算や基本情報技術者試験対策では「丸め誤差」や「情報落ち」の仕組みを理解し、適切なデータ型を選ぶ対策が必須

【基礎から学ぶ】10進数の小数を2進数に変換する「2倍法」の手順

小数を2進数に変換する基本アルゴリズムは、整数部を変換するときとは逆のアプローチをとります。整数では「2で割り続ける」のに対し、小数の変換では「小数部分に2を掛け続ける」という2倍法を用います。

具体的な変換手順は極めてシンプルです。まず変換したい小数の「小数部」に2を掛け、その結果生じた「整数部分（0または1）」を取り出します。残った小数部分に再び2を掛け、小数部がゼロになるまでこの作業を繰り返します。取り出した整数部を上から順に並べれば、2進数の小数表記が完成します。

分かりやすい例として、10進数の「0.625」を2進数へ変換してみましょう。

① 0.625 × 2 ＝ 1.25 → 整数部「1」を取り出す（残り 0.25）
② 0.25 × 2 ＝ 0.5 → 整数部「0」を取り出す（残り 0.5）
③ 0.5 × 2 ＝ 1.0 → 整数部「1」を取り出す（残り 0.0で終了）

取り出した数値を上から並べると「1, 0, 1」となるため、10進数の0.625は2進数で「0.101」と綺麗に変換できます。筆算で計算する際も、この2倍の掛け算を縦に並べていくだけで手軽に導き出すことが可能です。

なぜ「0.1」はズレるのか？2進数で無限ループする循環小数の罠

0.625のようにすっきりと割り切れる数がある一方で、私たちが最も頻繁に使う「0.1」を2倍法で変換しようとすると、思いもよらない事態が発生します。

① 0.1 × 2 ＝ 0.2 → 整数部「0」を取り出す（残り 0.2）
② 0.2 × 2 ＝ 0.4 → 整数部「0」を取り出す（残り 0.4）
③ 0.4 × 2 ＝ 0.8 → 整数部「0」を取り出す（残り 0.8）
④ 0.8 × 2 ＝ 1.6 → 整数部「1」を取り出す（残り 0.6）
⑤ 0.6 × 2 ＝ 1.2 → 整数部「1」を取り出す（残り 0.2）
⑥ 0.2 × 2 ＝ 0.4 → 整数部「0」を取り出す（残り 0.4）……

⑤のステップで残り小数部が「0.2」に戻った瞬間から、②〜⑤の処理（0, 0, 1, 1）が永遠に繰り返されます。つまり、10進数の0.1は2進数で表すと「0.0001100110011...」という終わりのない循環小数になってしまいます。

10進数で「1÷3」が「0.3333...」と割り切れないのとまったく同じ現象が、2進数の世界では「0.1」というごく普通の数値で発生します。2進数で割り切れる小数は、分母が「2のべき乗（1/2=0.5、1/4=0.25、1/8=0.125など）」で表せる組み合わせに限られるためです。

コンピュータはどう小数を扱う？浮動小数点数とIEEE754規格の仕組み

メモリ空間が有限であるコンピュータは、無限に続く循環小数をそのまま抱え込むことができません。どこかの桁で強制的に打ち切って数値を管理する必要があります。その国際標準として広く採用されているのが「IEEE754規格」に基づく浮動小数点数です。

浮動小数点数は、数値を「±（仮数部）× 2^(指数部)」という科学的表記法で表す仕組みであり、以下の3つの要素で構成されています。

【浮動小数点数を構成する3要素】
・符号部（Sign bit）：数値がプラス（0）かマイナス（1）かを表す（1ビット）
・指数部（Exponent）：小数点の位置（2の何乗か）をバイアス値とともに保持する
・仮数部（Fraction / Mantissa）：数値の有効数字（仮数）を正規化して格納する

一般的なプログラミング言語で使われる倍精度浮動小数点数（double型 / 64ビット）の場合、符号部に1ビット、指数部に11ビット、仮数部に52ビットが割り当てられています。無限に続く循環小数である「0.1」も、この仮数部の52ビットという限られた枠組みの中に収まるよう末尾が丸められるため、極めてわずかな誤差を持った「近似値」としてメモリに記録されるわけです。

試験にも出る！「丸め誤差」と「情報落ち」の違いと発生メカニズム

小数の基数変換や浮動小数点数の仕組みは、基本情報技術者試験などの国家試験でも頻出のテーマです。特に受験者を悩ませるのが「各種誤差の定義と違い」です。試験で問われやすい代表的な誤差の種類を整理しておきましょう。

【押さえておくべき計算誤差の種類】
・丸め誤差（Rounding Error）：規定の桁数に収めるため、四捨五入や切り捨て、切り上げを行った際に生じる誤差。0.1を浮動小数点数で表したときに生じるズレがこれに該当。
・情報落ち（Loss of Significance）：絶対値が極端に大きい数値と極端に小さい数値を加減算した際、小さいほうの数値の有効桁が仮数部からあふれて計算結果に反映されなくなる現象。
・桁落ち（Cancellation）：値がほぼ等しい2つの数値を引き算した際、有効桁数が大幅に減少して計算精度が著しく低下する現象。
・打ち切り誤差（Truncation Error）：無限級数の計算や円周率の計算など、無限に続く計算手順を有限のステップで途中で打ち切ることで発生する理論的な誤差。

特に「丸め誤差」と「情報落ち」の混同は失点パターンとして目立ちます。「ビット幅の制限で端数を丸めたものが丸め誤差」「桁違いの計算で小さい数値が消し飛ぶのが情報落ち」と区別してインプットすることが合格への近道です。

実務で役立つ小数の計算と筆算｜プログラムのバグを防ぐ実践テクニック

小数の2進数変換による誤差は、単なる理論上の話にとどまらず、実際の業務システム開発において深刻なバグを引き起こす原因となります。特にECサイトの決済処理や為替・暗号資産の取引、在庫管理システムなどでは、1円・1セントのズレも許されません。

実務現場では、この微小な誤差が致命的な問題へと発展しないよう、次のような対策を講じています。

【実務で使われる誤差回避アプローチ】
・専用の高精度計算ライブラリを使用する：Pythonのdecimalモジュール、JavaのBigDecimal、C#のdecimal型など、10進数をそのまま正確に計算できるデータ型を採用する。
・整数化して計算する（固定小数点方式）：「0.1ドル」を扱うのではなく、「10セント」として整数型（Integer）で計算し、表示する最後の段階でのみ小数に戻す。
・条件判定でイコール（==）を使わない：浮動小数点数同士の比較を行う場合、if (a == b)ではなく、if (abs(a - b) < 許容誤差)のようにイプシロン（極小値）を用いた範囲比較を行う。

2進数の小数点を含む掛け算や足し算を筆算で行う際も、コンピュータが裏で行っている処理の限界を意識しておくことで、思わぬロジックエラーを事前に回避できるようになります。

【少数 2 進数】に関するよくある質問（FAQ）

Q1：なぜ10進数の0.5や0.25は2進数にしても誤差が出ないのですか？
A1：0.5は「1/2」、0.25は「1/4（1/2の2乗）」であり、2のマイナス乗でぴったり表現できるためです。2進数の小数第1位は0.5、第2位は0.25、第3位は0.125を表すため、これらを足し合わせて作れる数値（0.75や0.625など）は循環せず、有限の桁数で正確に表すことができます。

Q2：基本情報技術者試験で小数の基数変換を素早く解くコツはありますか？
A2：頻出の変換パターンを暗記しておくことが有効です。例えば「0.5＝0.1(2)」「0.25＝0.01(2)」「0.125＝0.001(2)」「0.0625＝0.0001(2)」の4つを頭に入れておけば、例えば「0.6875」が出題された際も「0.5 + 0.125 + 0.0625 ＝ 0.1011(2)」と足し算だけで瞬時に導き出せます。

Q3：JavaScriptやPythonで「0.1 + 0.2」が「0.3」にならないのはバグですか？
A3：プログラミング言語の不具合ではなく、IEEE754浮動小数点数規格を採用しているすべてのハードウェア・言語で共通して発生する仕様通りの動作です。正確な計算が必要な場面では、言語ごとの10進演算パッケージや整数換算ロジックを利用する必要があります。

まとめ：ハードウェアの制約を知ることが堅牢なコードへの第一歩

日常的に何気なく扱っている小数が、2進数の世界では無限に循環し、近似値としてコンピュータに格納されているという事実は、プログラミングの世界における最も基本的かつ重要な教訓のひとつです。

「コンピュータは万能で完璧な計算機である」という思い込みを捨て、ハードウェアの内部構造や規格の制限（IEEE754）を正しく把握することこそが、予期せぬバグを防ぎ、信頼性の高いシステムを構築するための確かな土台となります。基数変換の仕組みをマスターし、日々のコーディングや資格試験の攻略に役立ててください。 （出典: 少数 2 進数（Yahoo!ニュース））