応用情報 令和7年度 春期 問1基礎理論に関する問題

正解は「正規化」です。

浮動小数点は「仮数（数値の中身）」と「指数（10の何乗か）」に分けて数を表す方法で、たとえば 0.0042 を 4.2 × 10⁻³ と書き換えるイメージです。コンピュータは2進数で扱いますが、考え方は同じで「先頭が0だらけだと有効桁が無駄になる」ため、先頭が1になるよう調整します。これが正規化です。

オーバーフロー/アンダーフローは「指数が大きすぎ/小さすぎて表せない」エラー、丸めは「桁あふれを四捨五入する」操作で、別の概念です。

覚え方：「正規化＝先頭1にして精度を最大化」。

正解は c「正規化」です。

浮動小数点数（IEEE 754 形式）は「符号部・指数部・仮数部」で構成されます。正規化とは仮数部の最上位ビットが1になるよう仮数部を左シフトし、その分だけ指数部の値を減らす操作で、有効桁数（精度）を最大化します。たとえば仮数部が 0.0010110 のまま保持すると有効桁が5桁しかありませんが、1.0110 ×2⁻³ と正規化すれば7桁の精度を確保できます。

IEEE 754 単精度（32bit）では正規化後の最上位1は「ケチ表現（hidden bit）」として省略し、仮数部23bitで実質24bitの精度を表現します。

他の選択肢の意味：

• a アンダーフロー：指数部が下限を下回り、ゼロまたは非正規化数として扱われる現象。
• b オーバーフロー：指数部が上限を超え、無限大（±∞）扱いとなる現象。
• d 丸め：桁あふれした下位ビットを四捨五入・切り捨て等で処理する操作。

正規化は浮動小数点演算の前処理として頻出します（シラバス「基礎理論・数の表現」）。

正解は c「正規化」です。

浮動小数点正規化は IEEE 754 形式における演算精度の根幹をなす操作で、AP午前で頻出のテーマです。本問は用語の正確な定義を問う設問ですが、上級者として押さえるべきは「なぜ正規化が必要か」「正規化数と非正規化数の境界」「ハードウェア実装上の制約」の3点です。

1. 正規化の数学的意味

IEEE 754 単精度は「(−1)^s × 1.f × 2^(e−127)」で値を表します（sは符号1bit、eは指数8bit、fは仮数23bit）。正規化形式では仮数部が必ず 1.xxx となるよう調整され、整数部の1は「ケチ表現（hidden bit）」として保存領域から省略されます。これにより仮数23bitで実質24bitの精度を確保し、表現可能な数値範囲も最大化されます。

2. 非正規化数（subnormal）との境界

指数部 e=0 のときは特別扱いで、「0.f × 2^(−126)」として解釈されます。これを非正規化数と呼び、正規化の範囲外（極めて小さな値）でも精度を犠牲にして連続的に0へ近づける「グラデュアルアンダーフロー」を実現します。これによりゼロ近傍での演算誤差を低減できます。

3. 演算における正規化の役割

加減算では指数を揃えるための仮数部シフト（桁合わせ）が発生し、その結果として桁落ち（catastrophic cancellation）が起こりやすくなります。乗除算後の結果も仮数部の最上位が1になるよう再正規化が必須です。ハードウェアFPUは正規化回路（leading-zero count + barrel shifter）を専用に持ち、1サイクルで完了させます。

4. なぜ最上位ビット=1なのか

2進数では「最上位が1」が情報的に最大密度の状態です。仮数部が 0.0001xxx のまま保存すると先頭の0が情報を持たず、有効桁が無駄になります。正規化により仮数部の全bitが情報を持つ状態へ調整されます。

他選択肢の補足：オーバーフロー（指数部 e=255）はInfinityとして扱われ、IEEE 754 では例外を投げずに伝播します。アンダーフロー（e=0以下）は非正規化数で吸収。丸めはRound-to-Nearest-Even（最近接偶数丸め）が標準で、銀行家丸めとも呼ばれ統計的バイアスを最小化します。

実装視点では、GCCの `-ffast-math` は厳密な正規化・丸めを緩めて高速化する一方、再現性を損なうため数値計算ライブラリでは禁忌とされます。AP 試験対策としては「正規化＝精度最大化のための仮数部・指数部の調整」を押さえれば十分ですが、業務で数値計算を扱う場合は本質的な理解が品質を分けます。