アンダーフローとは？数値計算で起こる仕組みをわかりやすく解説

アンダーフローとは

アンダーフロー（Underflow）とは、コンピュータが扱える数値の下限を下回ったときに発生する現象のことです。コンピュータは数値を有限のビット数で表現しているため、「これ以上小さくできない」という限界値が存在します。この限界を超えて小さい値を扱おうとすると、正しい計算結果が得られなくなります。

似た言葉に「オーバーフロー」がありますが、こちらは数値が扱える範囲の上限を超えてしまう現象です。アンダーフローはその逆で、下限側で起こる問題と理解すると整理しやすくなります。

アンダーフローが起こる2つのパターン

① 浮動小数点アンダーフロー

小数を扱う「浮動小数点数」では、0に極めて近い小さな値を表現しようとしたときにアンダーフローが起こります。表現できる最小の値よりもさらに小さくなると、コンピュータはその値を実質的に「0」として扱ってしまいます。

科学技術計算やAI・機械学習の分野では、非常に小さい確率値や勾配（かたむき）の値を扱う場面が多く、こうした計算の途中でアンダーフローが発生し、結果が不安定になることがあります。

② 整数アンダーフロー

整数を扱う場面でも、アンダーフローに似た現象が起こります。たとえば「符号なし整数（0以上しか表現できない型）」から1を引く計算を、値が0のときに行うと、結果はマイナスではなく「表現できる最大の整数」に変わってしまいます。これは「ラップアラウンド」とも呼ばれ、意図しないバグや、場合によってはセキュリティ上の脆弱性につながることもあります。

オーバーフローとの違い

項目	アンダーフロー	オーバーフロー
発生する境界	表現できる数値の下限	表現できる数値の上限
小数の場合	0に近づきすぎて0扱いになる	大きくなりすぎて無限大扱いになる
整数の場合	最小値を下回り最大値側に回り込む	最大値を上回り最小値側に回り込む
起こりやすい場面	確率計算・AI学習・微小値の反復計算	カウンタの増加・大きな数値の掛け算

身近な例で理解する

• AIの学習で、非常に小さい勾配の値が繰り返し計算されるうちに0になってしまい、学習が進まなくなる
• 在庫管理システムで、在庫数（符号なし整数）が0のときに「1個減らす」処理をしてしまい、在庫数が莫大な数字に変わってしまう
• 物理シミュレーションで、極小の力や距離の値がアンダーフローし、計算結果に誤差が積み重なる

アンダーフローを防ぐ方法

対策	内容
数値のスケーリング	極端に小さい値をそのまま扱わず、対数（log）を取るなどして扱いやすい範囲に変換する
データ型の見直し	精度の高い浮動小数点型（doubleなど）や、符号付き整数型を適切に選択する
境界値チェック	減算処理の前に「0を下回らないか」を確認するチェック処理を入れる
専用ライブラリの活用	機械学習フレームワークなどが持つ、アンダーフロー対策済みの計算関数を利用する

プログラミング言語ごとの違い

アンダーフローの扱われ方は、プログラミング言語や実行環境によって異なります。同じ「小さすぎる数値」を計算しても、エラーになる言語もあれば、警告だけで処理が続く言語もあります。

言語・環境	浮動小数点アンダーフロー	整数アンダーフロー
Python	エラーにならず自動的に0や極小値として扱われる	整数の桁数に上限がなく、基本的に発生しない
C / C++	環境依存だが多くは0として扱われる（警告設定次第）	符号なし整数で発生しやすく、検出されないことが多い
Java	浮動小数点はIEEE754に従い0として扱われる	符号なし整数型がなく、整数アンダーフローは起こりにくい
JavaScript	数値はすべて浮動小数点扱いのため同様に0になる	整数型の概念がなく、桁あふれの挙動が異なる

AI・機械学習分野での注意点

ディープラーニングの学習では、勾配（パラメータをどれだけ調整するかを示す値）を繰り返し計算します。この勾配が非常に小さくなり続けると、浮動小数点アンダーフローによって値が0になり、それ以上パラメータが更新されなくなる「勾配消失」と呼ばれる問題につながります。

• 活性化関数の選び方によって勾配消失が起こりやすくなる場合がある
• softmax関数など確率を扱う計算では、極小値の対数を取る「log-sum-exp」という工夫でアンダーフローを回避することが多い
• 混合精度学習（値の精度を状況に応じて使い分ける手法）でも、精度を落とした部分でアンダーフローが起きやすくなるため注意が必要

自分のコードで確認する方法

アンダーフローが疑われる場合は、まず計算結果が「不自然に0になっていないか」「マイナスになるはずの値が異常に大きくなっていないか」を確認します。多くの言語には、浮動小数点の特殊な状態（0や無限大など）を検出する関数が用意されているため、これらを使ってログ出力やチェック処理を入れておくと、原因の切り分けがしやすくなります。

よくある質問

まとめ

アンダーフローは、コンピュータが数値を有限のビット数で表現することから生まれる、避けて通れない現象です。「小数が0に近づきすぎる」「整数が0を下回る」という2つのパターンを押さえておけば、実務で遭遇したときにも冷静に原因を特定できます。オーバーフローとセットで理解しておくと、数値計算にまつわるトラブルへの理解がぐっと深まります。