計算機イプシロン

計算機イプシロン（けいさんきイプシロン、）は、浮動小数点数において、「1より大きい最小の数」と1との差のことである。機械イプシロン（きかいイプシロン）とも言う。また、それぞれの「イプシロン」はエプシロンとも表記される。
概要.
コンピュータで扱われる浮動小数点数は、指数部と仮数部に分かれており、単に小さい数を表すだけであれば指数部を小さくすれば表現が可能である。一方、「1より大きい最小の数」のような場合は、仮数部を使って微小な差を表現することとなる。その限界が計算機イプシロンである。
formula_1 進法で formula_2 桁の浮動小数点数の場合、計算機イプシロンはformula_3となる。
例えば、IEEE 754のbinary32（単精度）では、formula_4、formula_5なので、formula_6となる。
同様にIEEE 754のbinary64（倍精度）では　formula_7となり，binary128（四倍精度）では　formula_8となる。
定義の混乱.
元来の定義では上述のとおりとなっているが、一部では「formula_9 となる最小の formula_10」という定義、あるいは説明をしている例が存在する。後者の定義では、浮動小数点演算の丸め処理の定義に依存して値が変化してしまうため、厳密には同じでない。
各プログラミング言語での対応.
C言語.
C言語においては、codice_1でcodice_2、codice_3、codice_4というマクロ定数が定義されており、それぞれcodice_5型、codice_6型、codice_7型の計算機イプシロンの値となっている。
C++.
C++ではテンプレートを利用したcodice_8関数が定義されている。返却される値は前述のC言語の定数と同値である。
.NET.
Microsoftの.NET Frameworkの基本クラスライブラリに、codice_9という定数フィールドが定義されているが、これは浮動小数点方式で表現可能な最小の正の非正規化数であり、計算機イプシロンではない。
Julia.
Julia は標準で計算機イプシロンを取得する関数があり codice_10 のように使用する。