(FLT|L?DBL)_EPSILON に説明を追加

Author: kariya-mitsuru

reference/cfloat/dbl_epsilon.md

@@ -1,13 +1,25 @@
 #DBL_EPSILON
 * cfloat[meta header]
 * macro[meta id-type]
+* [mathjax enable]
 
 ```cpp
 #define DBL_EPSILON implementation-defined
 ```
 * implementation-defined[italic]
 
 ##概要
-`double` の機械イプシロンを表す。
+`double` における、$1$ と $1$ より大きい最小の数との差（機械イプシロン）を表すマクロ。  
+以下の式で表される。
+
+$$
+b^{1-p}
+$$
+
+ここで、$b$ は指数表現の基数、$p$ は精度（基数 $b$ での仮数部の桁数）である。  
+$b$ や $p$ については [`<cfloat>`](../cfloat.md) のモデルも参照。
 
 `std::`[`numeric_limits`](/reference/limits/numeric_limits.md)`<double>::`[`epsilon`](/reference/limits/numeric_limits/epsilon.md)`()` と等しい。
+
+##備考
+規格で `1E-9`（$10^{-9}$）以下であることが規定されている。

reference/cfloat/flt_epsilon.md

@@ -1,13 +1,25 @@
 #FLT_EPSILON
 * cfloat[meta header]
 * macro[meta id-type]
+* [mathjax enable]
 
 ```cpp
 #define FLT_EPSILON implementation-defined
 ```
 * implementation-defined[italic]
 
 ##概要
-`float` の機械イプシロンを表す。
+`float` における、$1$ と $1$ より大きい最小の数との差（機械イプシロン）を表すマクロ。  
+以下の式で表される。
+
+$$
+b^{1-p}
+$$
+
+ここで、$b$ は指数表現の基数、$p$ は精度（基数 $b$ での仮数部の桁数）である。  
+$b$ や $p$ については [`<cfloat>`](../cfloat.md) のモデルも参照。
 
 `std::`[`numeric_limits`](/reference/limits/numeric_limits.md)`<float>::`[`epsilon`](/reference/limits/numeric_limits/epsilon.md)`()` と等しい。
+
+##備考
+規格で `1E-6`（$10^{-6}$）以下であることが規定されている。

reference/cfloat/ldbl_epsilon.md

@@ -1,13 +1,25 @@
 #LDBL_EPSILON
 * cfloat[meta header]
 * macro[meta id-type]
+* [mathjax enable]
 
 ```cpp
 #define LDBL_EPSILON implementation-defined
 ```
 * implementation-defined[italic]
 
 ##概要
-`long double` の機械イプシロンを表す。
+`long double` における、$1$ と $1$ より大きい最小の数との差（機械イプシロン）を表すマクロ。  
+以下の式で表される。
+
+$$
+b^{1-p}
+$$
+
+ここで、$b$ は指数表現の基数、$p$ は精度（基数 $b$ での仮数部の桁数）である。  
+$b$ や $p$ については [`<cfloat>`](../cfloat.md) のモデルも参照。
 
 `std::`[`numeric_limits`](/reference/limits/numeric_limits.md)`<long double>::`[`epsilon`](/reference/limits/numeric_limits/epsilon.md)`()` と等しい。
+
+##備考
+規格で `1E-9`（$10^{-9}$）以下であることが規定されている。