diff --git a/reference/cfenv.html b/reference/cfenv.html index 124af036a10..8a01ef71d3e 100644 --- a/reference/cfenv.html +++ b/reference/cfenv.html @@ -202,11 +202,11 @@
<cfenv>

cfenv(C++11)

<cfenv>ヘッダでは、浮動小数点環境にアクセスするための機能が定義される。

-

このヘッダは、IEC 60559 (IEEE 754)で定義される浮動小数点例外の状態フラグを管理することを目的として設計されている。「浮動小数点例外の状態フラグ」は、浮動小数点例外の発生によって設定されるシステム変数である。

+

このヘッダは、IEC 60559 (IEEE 754)で定義される浮動小数点例外の状態フラグを管理することを目的として設計されている。「浮動小数点例外の状態フラグ」は、浮動小数点例外の発生によって設定されるシステム変数である。

浮動小数点環境はスレッドローカル記憶域を持ち、その初期状態は、スレッドを作成したときの浮動小数点環境の状態が設定される。

プログラム起動時、浮動小数点環境は以下のように初期化される :

浮動小数点環境

@@ -241,7 +241,7 @@

浮動小数点環境

feupdateenv -現在発生している浮動小数点例外を保存する (function) +現在発生している浮動小数点例外を保存する (function) C++11 @@ -263,7 +263,7 @@

浮動小数点環境マクロ

-

浮動小数点例外

+

浮動小数点例外

@@ -275,38 +275,38 @@

浮動小数点fexcept_t -

+ - + - + - + - + - +
浮動小数点例外の状態フラグを表す整数型 (type-alias)浮動小数点例外の状態フラグを表す整数型 (type-alias) C++11
feclearexcept指定された浮動小数点例外をクリアする (function)指定された浮動小数点例外をクリアする (function) C++11
fegetexceptflag浮動小数点例外の現在の状態を、実装定義の表現で取得する (function)浮動小数点例外の現在の状態を、実装定義の表現で取得する (function) C++11
fesetexceptflag浮動小数点例外を発生させずに、浮動小数点例外の状態を設定する (function)浮動小数点例外を発生させずに、浮動小数点例外の状態を設定する (function) C++11
feraiseexcept指定された浮動小数点例外を発生させる (function)指定された浮動小数点例外を発生させる (function) C++11
fetestexcept指定された浮動小数点例外が設定されるかを判定する (function)指定された浮動小数点例外が設定されるかを判定する (function) C++11
-

浮動小数点例外マクロ

-

以下のマクロは、浮動小数点例外の状態を表すビット値である。これらのマクロは、AND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

+

浮動小数点例外マクロ

+

以下のマクロは、浮動小数点例外の状態を表すビット値である。これらのマクロは、AND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

@@ -318,7 +318,7 @@

浮動小数点FE_ALL_EXCEPT -

+ diff --git a/reference/cfenv/fe_all_except.html b/reference/cfenv/fe_all_except.html index e050c53c544..a1a143d7803 100644 --- a/reference/cfenv/fe_all_except.html +++ b/reference/cfenv/fe_all_except.html @@ -217,8 +217,8 @@

概要

-

全ての浮動小数点例外マクロをビットORでつなぐことによって実装で定義されるマクロ。

-

このマクロは、全ての浮動小数点例外をクリアしたり、全ての浮動小数点例外の状態を取得するような状況で使用する。

+

全ての浮動小数点例外マクロをビットORでつなぐことによって実装で定義されるマクロ。

+

このマクロは、全ての浮動小数点例外をクリアしたり、全ての浮動小数点例外の状態を取得するような状況で使用する。

例

#include <iostream>
 #include <cfenv>
diff --git a/reference/cfenv/fe_divbyzero.html b/reference/cfenv/fe_divbyzero.html
index 35bd0b330a5..7f856bbb9b7 100644
--- a/reference/cfenv/fe_divbyzero.html
+++ b/reference/cfenv/fe_divbyzero.html
@@ -219,10 +219,10 @@

概要

-

浮動小数点数に対してゼロで除算されたことを表す浮動小数点例外の種類。

+

浮動小数点数に対してゼロで除算されたことを表す浮動小数点例外の種類。

「DIVBYZERO」は「divide-by-zero (ゼロによる除算)」の略称である。

-

処理系がこの浮動小数点例外に対応している場合にこのマクロが定義される。 -マクロが定義されるとき、このマクロは浮動小数点例外の状態を表すビット値である。他の浮動小数点例外マクロとAND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

+

処理系がこの浮動小数点例外に対応している場合にこのマクロが定義される。 +マクロが定義されるとき、このマクロは浮動小数点例外の状態を表すビット値である。他の浮動小数点例外マクロとAND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

例

#include <iostream>
 #include <cfenv>
diff --git a/reference/cfenv/fe_inexact.html b/reference/cfenv/fe_inexact.html
index 842a1a97832..4567a42e17d 100644
--- a/reference/cfenv/fe_inexact.html
+++ b/reference/cfenv/fe_inexact.html
@@ -219,9 +219,9 @@

概要

-

浮動小数点数の演算が不正確な結果となったことを表す浮動小数点例外の種類。

-

処理系がこの浮動小数点例外に対応している場合にこのマクロが定義される。 -マクロが定義されるとき、このマクロは浮動小数点例外の状態を表すビット値である。他の浮動小数点例外マクロとAND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

+

浮動小数点数の演算が不正確な結果となったことを表す浮動小数点例外の種類。

+

処理系がこの浮動小数点例外に対応している場合にこのマクロが定義される。 +マクロが定義されるとき、このマクロは浮動小数点例外の状態を表すビット値である。他の浮動小数点例外マクロとAND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

例

#include <iostream>
 #include <cfenv>
diff --git a/reference/cfenv/fe_invalid.html b/reference/cfenv/fe_invalid.html
index 10dc2629df6..342adc40dbb 100644
--- a/reference/cfenv/fe_invalid.html
+++ b/reference/cfenv/fe_invalid.html
@@ -219,9 +219,9 @@

概要

-

浮動小数点数に対して不正な操作を行ったことを表す浮動小数点例外の種類。

-

処理系がこの浮動小数点例外に対応している場合にこのマクロが定義される。 -マクロが定義されるとき、このマクロは浮動小数点例外の状態を表すビット値である。他の浮動小数点例外マクロとAND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

+

浮動小数点数に対して不正な操作を行ったことを表す浮動小数点例外の種類。

+

処理系がこの浮動小数点例外に対応している場合にこのマクロが定義される。 +マクロが定義されるとき、このマクロは浮動小数点例外の状態を表すビット値である。他の浮動小数点例外マクロとAND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

例

#include <iostream>
 #include <limits>
diff --git a/reference/cfenv/fe_overflow.html b/reference/cfenv/fe_overflow.html
index cd2119b5a41..6562f274388 100644
--- a/reference/cfenv/fe_overflow.html
+++ b/reference/cfenv/fe_overflow.html
@@ -219,9 +219,9 @@

概要

-

浮動小数点数の演算でオーバーフローが発生したことを表す浮動小数点例外の種類。

-

処理系がこの浮動小数点例外に対応している場合にこのマクロが定義される。 -マクロが定義されるとき、このマクロは浮動小数点例外の状態を表すビット値である。他の浮動小数点例外マクロとAND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

+

浮動小数点数の演算でオーバーフローが発生したことを表す浮動小数点例外の種類。

+

処理系がこの浮動小数点例外に対応している場合にこのマクロが定義される。 +マクロが定義されるとき、このマクロは浮動小数点例外の状態を表すビット値である。他の浮動小数点例外マクロとAND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

例

#include <iostream>
 #include <limits>
diff --git a/reference/cfenv/fe_underflow.html b/reference/cfenv/fe_underflow.html
index e18cb6b5f40..02c0fa68da6 100644
--- a/reference/cfenv/fe_underflow.html
+++ b/reference/cfenv/fe_underflow.html
@@ -219,9 +219,9 @@

概要

-

浮動小数点数の演算でアンダーフローが発生したことを表す浮動小数点例外の種類。

-

処理系がこの浮動小数点例外に対応している場合にこのマクロが定義される。 -マクロが定義されるとき、このマクロは浮動小数点例外の状態を表すビット値である。他の浮動小数点例外マクロとAND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

+

浮動小数点数の演算でアンダーフローが発生したことを表す浮動小数点例外の種類。

+

処理系がこの浮動小数点例外に対応している場合にこのマクロが定義される。 +マクロが定義されるとき、このマクロは浮動小数点例外の状態を表すビット値である。他の浮動小数点例外マクロとAND (&) や OR (|)を使用して、複数のマクロを組み合わせて使用できる。

例

#include <iostream>
 #include <cfenv>
diff --git a/reference/cfenv/feclearexcept.html b/reference/cfenv/feclearexcept.html
index 47016ee4efa..6ce78977373 100644
--- a/reference/cfenv/feclearexcept.html
+++ b/reference/cfenv/feclearexcept.html
@@ -219,11 +219,11 @@

概要

-

パラメータexceptsで指定された浮動小数点例外をクリアする。

+

パラメータexceptsで指定された浮動小数点例外をクリアする。

戻り値

  • exceptsが0であった場合、この関数は0を返す
    • -
  • 指定された全ての浮動小数点例外を正しくクリアできた場合、この関数は0を返す
    • +
  • 指定された全ての浮動小数点例外を正しくクリアできた場合、この関数は0を返す
  • それ以外の場合、この関数は0以外を返す

例

diff --git a/reference/cfenv/fegetexceptflag.html b/reference/cfenv/fegetexceptflag.html index f51bcc397b1..2c70115e1b4 100644 --- a/reference/cfenv/fegetexceptflag.html +++ b/reference/cfenv/fegetexceptflag.html @@ -219,10 +219,10 @@

概要

-

浮動小数点例外の現在の状態を、実装定義の表現で取得する。

-

この関数は、現在発生している浮動小数点例外のうち、指定された例外の集合のみを抽出して、実装定義の表現に変換して返す。

+

浮動小数点例外の現在の状態を、実装定義の表現で取得する。

+

この関数は、現在発生している浮動小数点例外のうち、指定された例外の集合のみを抽出して、実装定義の表現に変換して返す。

効果

-

ビット演算のORで複数指定された浮動小数点例外の種類exceptsの例外発生状態を、実装定義の表現に変換してflagpに書き込んで返す。

+

ビット演算のORで複数指定された浮動小数点例外の種類exceptsの例外発生状態を、実装定義の表現に変換してflagpに書き込んで返す。

戻り値

実装定義の表現への変換および書き込みに成功したら0、そうでなければ0以外の値を返す。

例

diff --git a/reference/cfenv/feraiseexcept.html b/reference/cfenv/feraiseexcept.html index 4b2be1c450c..66060944eb5 100644 --- a/reference/cfenv/feraiseexcept.html +++ b/reference/cfenv/feraiseexcept.html @@ -219,14 +219,14 @@

概要

-

パラメータexceptsで指定された浮動小数点例外を発生させる。

+

パラメータexceptsで指定された浮動小数点例外を発生させる。

効果

-

パラメータexceptsで指定された浮動小数点例外を発生させる。exceptsには、ビットORを使用して複数の浮動小数点例外を指定できる。この効果は、算術演算によって発生する浮動小数点例外と同様。発生する例外の順序は未規定。

+

パラメータexceptsで指定された浮動小数点例外を発生させる。exceptsには、ビットORを使用して複数の浮動小数点例外を指定できる。この効果は、算術演算によって発生する浮動小数点例外と同様。発生する例外の順序は未規定。

FE_OVERFLOWもしくはFE_UNDERFLOWが指定されたときに、追加でFE_INEXACTも発生させるかは実装定義。

戻り値

  • exceptsが0であった場合、この関数は0を返す
    • -
  • 指定された全ての浮動小数点例外を正しく発生させられた場合、この関数は0を返す
    • +
  • 指定された全ての浮動小数点例外を正しく発生させられた場合、この関数は0を返す
  • それ以外の場合、この関数は0以外を返す

例

diff --git a/reference/cfenv/fesetexceptflag.html b/reference/cfenv/fesetexceptflag.html index d34d519148a..a64ebde361f 100644 --- a/reference/cfenv/fesetexceptflag.html +++ b/reference/cfenv/fesetexceptflag.html @@ -219,14 +219,14 @@

概要

-

浮動小数点例外を発生させずに、浮動小数点例外の状態を設定する。

+

浮動小数点例外を発生させずに、浮動小数点例外の状態を設定する。

効果

-

flagpが指す浮動小数点例外の状態のうち、exceptsで指定された種類の浮動小数点例外のみを、現在の浮動小数点例外の状態として設定する。

-

この関数は、浮動小数点例外を発生させない。

+

flagpが指す浮動小数点例外の状態のうち、exceptsで指定された種類の浮動小数点例外のみを、現在の浮動小数点例外の状態として設定する。

+

この関数は、浮動小数点例外を発生させない。

戻り値

  • exceptsが0であった場合、この関数は0を返す
    • -
  • 指定された浮動小数点例外を正しく設定できた場合、この関数は0を返す
    • +
  • 指定された浮動小数点例外を正しく設定できた場合、この関数は0を返す
  • それ以外の場合、この関数は0以外を返す

例

diff --git a/reference/cfenv/fetestexcept.html b/reference/cfenv/fetestexcept.html index b7fcf2cc44f..fd27ed50424 100644 --- a/reference/cfenv/fetestexcept.html +++ b/reference/cfenv/fetestexcept.html @@ -219,10 +219,10 @@

概要

-

指定された浮動小数点例外が設定されるかを判定する。

-

この関数は、現在発生している浮動小数点例外のうち、指定された例外の集合のみを抽出して返す。

+

指定された浮動小数点例外が設定されるかを判定する。

+

この関数は、現在発生している浮動小数点例外のうち、指定された例外の集合のみを抽出して返す。

戻り値

-

ビット演算のORで複数指定された浮動小数点例外の種類exceptsの、例外発生状態を返す。

+

ビット演算のORで複数指定された浮動小数点例外の種類exceptsの、例外発生状態を返す。

例

#include <iostream>
 #include <cmath>
diff --git a/reference/cfenv/fexcept_t.html b/reference/cfenv/fexcept_t.html
index 00725dd6134..29f50fc8b24 100644
--- a/reference/cfenv/fexcept_t.html
+++ b/reference/cfenv/fexcept_t.html
@@ -219,7 +219,7 @@

概要

-

実装が持つ浮動小数点例外の状態フラグを表す型。

+

実装が持つ浮動小数点例外の状態フラグを表す型。

例

// 標準C++の浮動小数点例外を、
 // Visual C++での浮動小数点例外の形式に変換する
diff --git a/reference/cfloat.html b/reference/cfloat.html
index 6fe1ed3f86e..274a10bba45 100644
--- a/reference/cfloat.html
+++ b/reference/cfloat.html
@@ -232,7 +232,7 @@
 \end{array}
 $$

 
浮動小数点型で表される値としては、ゼロと $f_1 \gt 0$ である正規化数の他に、$e = e_{\rm min}$ かつ $f_1 = 0$ である非正規化数（subnormal numbers）、$e \gt e_{\rm min}$ かつ $f_1 = 0$ である正規化されていない数（unnormalized numbers）、および、浮動小数点数ではない無限大や NaN 等が含まれているかもしれない（実装によっては含まれていないかもしれない）。

-NaN とは非数（Not-a-Number）を表し、ほとんど全ての演算で浮動小数点例外を起こさず結果に伝播する quiet NaN（quiet：静かな）と、演算のオペランドに使用されると浮動小数点例外を引き起こす signaling NaN（signaling：信号を発する）がある。

+NaN とは非数（Not-a-Number）を表し、ほとんど全ての演算で浮動小数点例外を起こさず結果に伝播する quiet NaN（quiet：静かな）と、演算のオペランドに使用されると浮動小数点例外を引き起こす signaling NaN（signaling：信号を発する）がある。

 ゼロと浮動小数点数ではない値（無限大や NaN 等）には符号があるかもしれない（実装によっては無いかもしれない）。

 
本ヘッダで提供される整数値を表すマクロは、FLT_ROUNDS を除いて #if プリプロセッサディレクティブに使用可能な定数式である。

 
丸め

diff --git a/reference/cmath.html b/reference/cmath.html
index d3f6b7baaf5..274c719d96f 100644
--- a/reference/cmath.html
+++ b/reference/cmath.html
@@ -288,7 +288,7 @@ 
constexpr対応

 
exp()、log()、sqrt()、cos()、sin()は1. の条件を満たさないため、C++23ではconstexprに対応しない。

 
nearbyint()は2. の条件を満たさないため、C++23ではconstexprに対応しない。

 
ただし、コンパイラが先行してconstexpr非対応の関数も対応している可能性がある。

-
なお、C++20ではlerp()のみconstexprに対応している。これはC標準ライブラリからの移植ではなく、C++で標準化された関数だからである (errnoや浮動小数点例外のようなグローバル状態を使用しない)。

+
なお、C++20ではlerp()のみconstexprに対応している。これはC標準ライブラリからの移植ではなく、C++で標準化された関数だからである (errnoや浮動小数点例外のようなグローバル状態を使用しない)。

 
拡張浮動小数点数型への対応

 
C++23では<stdfloat>に拡張浮動小数点数型が追加された。その対応として、以下のようなfloat、double、long doubleに対するオーバーロードは、

 
float abs(float x);
@@ -303,15 +303,15 @@ 
エラーの扱い

 
<cmath> で提供される各関数は、特に明記されていない限り、引数の型が表現できる全ての値についての挙動が定義されている。
 なお、ここで言う「挙動が定義されている」とは、未定義動作を引き起こさないというだけで、エラーが発生したり、実装依存の挙動となる場合がある事に注意。

-
<cmath> で提供される各関数においてエラーが発生した場合、errno、あるいは、浮動小数点例外のいずれか、もしくは両方によってエラーが通知される。

+
<cmath> で提供される各関数においてエラーが発生した場合、errno、あるいは、浮動小数点例外のいずれか、もしくは両方によってエラーが通知される。

 C++11 以降の場合、どちらの方法によって通知されるかは math_errhandling の値によって判別可能である。（利用者が選択する事はできない）

 C++03 までの場合、errno でしか通知されない。

 
errno によるエラーの通知

 
errno によってエラーが通知される場合、エラー内容は errno に設定された値によって判別可能である。

 なお、エラーが発生しなかった場合でも errno がクリアされる事は無いので、エラー発生の有無を errno で判断するためにはあらかじめ errno にゼロを設定しておく必要がある。

-
浮動小数点例外によるエラーの通知（C++11 以降）

+
浮動小数点例外によるエラーの通知（C++11 以降）

 
名称に「例外」と付いているが、C++ の例外とは全く関係ないため注意。

-浮動小数点例外によってエラーが通知される場合、エラー内容は浮動小数点状態フラグに設定されるため、fetestexcept によって判別可能である。

+浮動小数点例外によってエラーが通知される場合、エラー内容は浮動小数点状態フラグに設定されるため、fetestexcept によって判別可能である。

 なお、エラーが発生しなかった場合でも浮動小数点状態フラグがクリアされる事は無いので、エラー発生の有無を浮動小数点状態フラグで判断するためにはあらかじめ feclearexcept で浮動小数点状態フラグをクリアしておく必要がある。

 
エラーの種類

 
<cmath> で提供される各関数で発生するエラーは、以下の 5 種類ある。

@@ -321,7 +321,7 @@ 
定義域エラー（domain error）

 
定義域エラーが発生した場合、通知は以下のように行われる。

 
 
定義域エラーが発生した場合、関数の戻り値は処理系定義であるが、戻り値の型が quiet NaN（quiet Not a Number：静かな非数）を表現可能（std::numeric_limits<T>::has_quiet_NaN が真）の場合、一般的には quiet NaN が返る。

 
極エラー（pole error）

@@ -331,7 +331,7 @@ 
極エラー（pole error）

 
極エラーが発生した場合、通知は以下のように行われる。

 
 
極エラーが発生した場合、関数の戻り値は処理系定義であるが、戻り値の型が浮動小数点数の場合、一般的には HUGE_VAL（double）、HUGE_VALF（float 、C++11 以降のみ）、HUGE_VALL（long double、C++11 以降のみ）に正しい符号を付加した値が返る。
 また、戻り値の型が無限大を表現可能（std::numeric_limits<T>::has_infinity が真）の場合、一般的には無限大（std::numeric_limits<T>::infinity()）が返る。
@@ -341,7 +341,7 @@ 
オーバーフローエラー（overflow error）

 
オーバーフローエラーが発生した場合、通知は以下のように行われる。

 
 
オーバーフローエラーが発生した場合、戻り値の型が浮動小数点型でデフォルトの丸めモードが有効であれば、HUGE_VAL（double）、HUGE_VALF（float 、C++11 以降のみ）、HUGE_VALL（long double、C++11 以降のみ）に正しい符号を付加した値が返る。

 
アンダーフローエラー（underflow error）

@@ -349,7 +349,7 @@ 
アンダーフローエラー（underflow error）

 
アンダーフローエラーが発生した場合でも処理系によってはエラーの通知が行われないが（規格でエラーの通知が任意となっているため）、通知される場合には以下のように行われる。

 
 
アンダーフローエラーが発生した場合、関数の戻り値は処理系定義であるが、戻り値の絶対値はその型における最小の正の正規化数（std::numeric_limits<T>::min()）以下である。（非正規化数、あるいは、ゼロを含む）

 
不正確エラー（inexact error）

@@ -358,14 +358,14 @@ 
不正確エラー（inexact error）

 
不正確エラーが発生した場合でも処理系によってはエラーの通知が行われないが（規格でエラーの通知が任意となっているため）、通知される場合には以下のように行われる。

 
 
不正確エラーが発生した場合、関数の戻り値は真の値を丸めた値となるが、その際の丸め方式は処理系定義である。（関数に特別に規定がある場合を除く）

 特に、fesetround で設定した丸め方式に従うとは限らないため、注意が必要である。

 
定数式になる条件

 
constexpr対応する数学関数において、以下のいずれかの条件に合致する場合、定数式とならない (引数によってコンパイルエラーになる)

 
    
-
  • FE_INEXACT以外の、以下の浮動小数点例外が発生した場合：
      
+
    • FE_INEXACT以外の、以下の浮動小数点例外が発生した場合：
        
 
      • FE_DIVBYZERO (ゼロ除算)
        • 
 
      • FE_INVALID (不正な演算)
        • 
 
      • FE_OVERFLOW (オーバーフロー)
        • 
@@ -377,7 +377,7 @@ 
        定数式になる条件
        
 
        NaN の扱い
        
 
        浮動小数点規格ISO/IEC 60559 (IEEE 754) に準拠する環境では、C言語規格の Annex F (F.10 paragraph 11) により、以下の一般規則が定められている：
        
 
        
-
        NaN の引数をもつ関数は、NaN の結果を返し、浮動小数点例外を発生させない。ただし、個別に規定がある場合を除く。
        
+
        NaN の引数をもつ関数は、NaN の結果を返し、浮動小数点例外を発生させない。ただし、個別に規定がある場合を除く。
        
 
        
 
        この規則は __STDC_IEC_559__ が定義されている（ISO/IEC 60559 に準拠する）環境で適用される。
        
 
        また、推奨される実装として、ひとつ以上の NaN 引数をもつ関数が NaN を返す場合、その結果は入力の NaN 引数のいずれかと同じ値（型変換後、符号は異なる可能性がある）であることが望ましいとされている。
        
@@ -1244,7 +1244,7 @@ 
        その他のマクロ
- + diff --git a/reference/cmath/acos.html b/reference/cmath/acos.html index 009975976b6..e8e505e6913 100644 --- a/reference/cmath/acos.html +++ b/reference/cmath/acos.html @@ -277,7 +277,7 @@

備考

  • 定義域エラーが発生した場合の挙動については、<cmath> を参照。
  • C++11 以降では、処理系が IEC 60559 に準拠している場合（std::numeric_limits<T>::is_iec559() != false）、以下の規定が追加される。
  • C++23では、(1), (2), (3)が(4)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された
    • diff --git a/reference/cmath/acosh.html b/reference/cmath/acosh.html index 99a7f09178a..2ce316716e2 100644 --- a/reference/cmath/acosh.html +++ b/reference/cmath/acosh.html @@ -276,7 +276,7 @@

    備考

  • 定義域エラーが発生した場合の挙動については、<cmath> を参照。
  • 処理系が IEC 60559 に準拠している場合（std::numeric_limits<T>::is_iec559() != false）、以下の規定が追加される。
    • diff --git a/reference/cmath/asin.html b/reference/cmath/asin.html index 606ec492210..f50634e4e35 100644 --- a/reference/cmath/asin.html +++ b/reference/cmath/asin.html @@ -277,7 +277,7 @@

    備考

  • 定義域エラーが発生した場合の挙動については、<cmath> を参照。
  • C++11 以降では、処理系が IEC 60559 に準拠している場合（std::numeric_limits<T>::is_iec559() != false）、以下の規定が追加される。
  • C++23では、(1), (2), (3)が(4)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された
    • diff --git a/reference/cmath/atan2.html b/reference/cmath/atan2.html index 36ea28e1608..a4f21b0ca02 100644 --- a/reference/cmath/atan2.html +++ b/reference/cmath/atan2.html @@ -300,7 +300,7 @@

    備考

  • y = ±∞ で x = -∞ の場合、戻り値は ±3π/4 となる。
  • y = ±∞ で x = +∞ の場合、戻り値は ±π/4 となる。
    • -

    特に、y と x の両方がゼロの場合に定義域エラー（FE_INVALID（無効演算浮動小数点例外））となったり、y が非ゼロで x がゼロの場合に極エラー（FE_DIVBYZERO（ゼロ除算浮動小数点例外））となったりはしない事に注意。

    +

    特に、y と x の両方がゼロの場合に定義域エラー（FE_INVALID（無効演算浮動小数点例外））となったり、y が非ゼロで x がゼロの場合に極エラー（FE_DIVBYZERO（ゼロ除算浮動小数点例外））となったりはしない事に注意。

  • C++23では、(1), (2), (3)が(4)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された

    diff --git a/reference/cmath/atanh.html b/reference/cmath/atanh.html index 416daa9eccf..246e33819c7 100644 --- a/reference/cmath/atanh.html +++ b/reference/cmath/atanh.html @@ -276,8 +276,8 @@

    備考

  • 定義域エラー、あるいは、極エラーが発生した場合の挙動については、<cmath> を参照。
  • 処理系が IEC 60559 に準拠している場合（std::numeric_limits<T>::is_iec559() != false）、以下の規定が追加される。（複号同順）
  • C++23では、(1), (2), (3)が(4)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された
    • diff --git a/reference/cmath/cos.html b/reference/cmath/cos.html index 8988fdaab28..db31d5c1549 100644 --- a/reference/cmath/cos.html +++ b/reference/cmath/cos.html @@ -274,7 +274,7 @@

    備考

  • $$ f(x) = \cos x $$
  • C++11 以降では、処理系が IEC 60559 に準拠している場合（std::numeric_limits<T>::is_iec559() != false）、以下の規定が追加される。
  • C++23では、(1), (2), (3)が(4)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された
    • diff --git a/reference/cmath/frexp.html b/reference/cmath/frexp.html index f1a7b7d498a..25eabe5bad9 100644 --- a/reference/cmath/frexp.html +++ b/reference/cmath/frexp.html @@ -261,7 +261,7 @@

    備考

  • value = ±0 の場合、戻り値は ±0 となり、*exp にはゼロが設定される。
  • value = ±∞ の場合、戻り値は ±∞ となり、*exp には未規定の値が設定される。
  • value が NaN の場合、戻り値は NaN となり、*exp には未規定の値が設定される。
    • -
  • この関数は浮動小数点例外を発生させない。
    • +
  • この関数は浮動小数点例外を発生させない。
  • C++23では、(1), (2), (3)が(4)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された

    • 例

    diff --git a/reference/cmath/ilogb.html b/reference/cmath/ilogb.html index 20a23d41551..ee7219b1610 100644 --- a/reference/cmath/ilogb.html +++ b/reference/cmath/ilogb.html @@ -258,8 +258,8 @@

    備考

  • 定義域エラー、極エラーが発生した場合の挙動については、<cmath> を参照。
  • 処理系が IEC 60559 に準拠している場合（std::numeric_limits<T>::is_iec559() != false）、以下の規定が追加される。
  • C++23では、(1), (2), (3)が(4)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された
    • diff --git a/reference/cmath/isgreater.html b/reference/cmath/isgreater.html index 1cb679b00ad..73ef9068ce7 100644 --- a/reference/cmath/isgreater.html +++ b/reference/cmath/isgreater.html @@ -240,7 +240,7 @@

    概要

    戻り値

    x > yと等価の演算によって、xがyより大きければtrue、そうでなければfalseを返す。

    -

    x > yと違って、この関数はxとyが順序付けされていない場合に、FE_INVALID（無効演算浮動小数点例外）は発生しない。

    +

    x > yと違って、この関数はxとyが順序付けされていない場合に、FE_INVALID（無効演算浮動小数点例外）は発生しない。

    備考

    • C標準ライブラリでは本関数は関数マクロとして定義されるが、C++標準ライブラリでは関数として定義される
      • diff --git a/reference/cmath/isgreaterequal.html b/reference/cmath/isgreaterequal.html index 32862d94fb3..324839c7c12 100644 --- a/reference/cmath/isgreaterequal.html +++ b/reference/cmath/isgreaterequal.html @@ -240,7 +240,7 @@

      概要

    戻り値

    x >= yと等価の演算によって、xがy以上であればtrue、そうでなければfalseを返す。

    -

    x >= yと違って、この関数はxとyが順序付けされていない場合に、FE_INVALID（無効演算浮動小数点例外）は発生しない。

    +

    x >= yと違って、この関数はxとyが順序付けされていない場合に、FE_INVALID（無効演算浮動小数点例外）は発生しない。

    備考

    • C標準ライブラリでは本関数は関数マクロとして定義されるが、C++標準ライブラリでは関数として定義される
      • diff --git a/reference/cmath/isless.html b/reference/cmath/isless.html index 1e44d8c276d..4ae50e6de48 100644 --- a/reference/cmath/isless.html +++ b/reference/cmath/isless.html @@ -240,7 +240,7 @@

      概要

    戻り値

    x < yと等価の演算によって、xがyより小さければtrue、そうでなければfalseを返す。

    -

    x < yと違って、この関数はxとyが順序付けされていない場合に、FE_INVALID（無効演算浮動小数点例外）は発生しない。

    +

    x < yと違って、この関数はxとyが順序付けされていない場合に、FE_INVALID（無効演算浮動小数点例外）は発生しない。

    備考

    • C標準ライブラリでは本関数は関数マクロとして定義されるが、C++標準ライブラリでは関数として定義される
      • diff --git a/reference/cmath/islessequal.html b/reference/cmath/islessequal.html index 08bfd11ccfc..91453bc5223 100644 --- a/reference/cmath/islessequal.html +++ b/reference/cmath/islessequal.html @@ -240,7 +240,7 @@

      概要

    戻り値

    x <= yと等価の演算によって、xがy以下であればtrue、そうでなければfalseを返す。

    -

    x <= yと違って、この関数はxとyが順序付けされていない場合に、FE_INVALID（無効演算浮動小数点例外）は発生しない。

    +

    x <= yと違って、この関数はxとyが順序付けされていない場合に、FE_INVALID（無効演算浮動小数点例外）は発生しない。

    備考

    • C標準ライブラリでは本関数は関数マクロとして定義されるが、C++標準ライブラリでは関数として定義される
      • diff --git a/reference/cmath/islessgreater.html b/reference/cmath/islessgreater.html index bffc254bbcb..a04210cfecd 100644 --- a/reference/cmath/islessgreater.html +++ b/reference/cmath/islessgreater.html @@ -240,7 +240,7 @@

      概要

    戻り値

    x < y || x > yと等価の演算によって、xがyより小さい、もしくはxがyより大きければtrue、そうでなければfalseを返す。

    -

    x < y || x > yと違って、この関数はxとyが順序付けされていない場合に、FE_INVALID（無効演算浮動小数点例外）は発生しない。

    +

    x < y || x > yと違って、この関数はxとyが順序付けされていない場合に、FE_INVALID（無効演算浮動小数点例外）は発生しない。

    備考

    • C標準ライブラリでは本関数は関数マクロとして定義されるが、C++標準ライブラリでは関数として定義される
      • diff --git a/reference/cmath/lgamma.html b/reference/cmath/lgamma.html index 04b80f482c1..6238dd09016 100644 --- a/reference/cmath/lgamma.html +++ b/reference/cmath/lgamma.html @@ -276,7 +276,7 @@

      備考

    • x = 1 の場合、戻り値は +0 となる。
    • x = 2 の場合、戻り値は +0 となる。
    • x が非正整数の場合、戻り値は ±∞ となり、 -FE_DIVBYZERO（ゼロ除算浮動小数点例外）が発生する。
      • +FE_DIVBYZERO（ゼロ除算浮動小数点例外）が発生する。
    • x = -∞ の場合、戻り値は +∞ となる。
    • x = +∞ の場合、戻り値は +∞ となる。
    diff --git a/reference/cmath/llrint.html b/reference/cmath/llrint.html index f9831735ee2..c951f5b039d 100644 --- a/reference/cmath/llrint.html +++ b/reference/cmath/llrint.html @@ -245,11 +245,11 @@

    備考

     - + diff --git a/reference/cmath/pow.html b/reference/cmath/pow.html index c5905c4445a..97c786a4d0e 100644 --- a/reference/cmath/pow.html +++ b/reference/cmath/pow.html @@ -302,9 +302,9 @@

    備考

  • $$ f(x, y) = x^y $$
  • 定義域エラー、極エラー、オーバーフローエラー、アンダーフローエラーが発生した場合の挙動については、<cmath> を参照。
  • C++11 以降では、処理系が IEC 60559 に準拠している場合（std::numeric_limits<T>::is_iec559() != false）、以下の規定が追加される。（複号同順）
      -
    • x = ±0 で y が負の奇数の場合、戻り値は ±∞ となり、FE_DIVBYZERO（ゼロ除算浮動小数点例外）が発生する。
      • -
    • x = ±0 で y が有限でかつ負の奇数ではない場合、戻り値は +∞ となり、FE_DIVBYZERO（ゼロ除算浮動小数点例外）が発生する。
      • -
    • x = ±0 で y = -∞ の場合、戻り値は +∞ となり、FE_DIVBYZERO（ゼロ除算浮動小数点例外）が発生する可能性がある。
      • +
    • x = ±0 で y が負の奇数の場合、戻り値は ±∞ となり、FE_DIVBYZERO（ゼロ除算浮動小数点例外）が発生する。
      • +
    • x = ±0 で y が有限でかつ負の奇数ではない場合、戻り値は +∞ となり、FE_DIVBYZERO（ゼロ除算浮動小数点例外）が発生する。
      • +
    • x = ±0 で y = -∞ の場合、戻り値は +∞ となり、FE_DIVBYZERO（ゼロ除算浮動小数点例外）が発生する可能性がある。
    • x = ±0 で y が正の奇数の場合、戻り値は ±0 となる。
    • x = ±0 で y が正でかつ奇数ではない場合、戻り値は +0 となる。
    • x = -1 で y = ±∞ の場合、戻り値は 1 となる。
      • diff --git a/reference/cmath/sin.html b/reference/cmath/sin.html index 6d774c62320..8e7559b23ad 100644 --- a/reference/cmath/sin.html +++ b/reference/cmath/sin.html @@ -274,7 +274,7 @@

      備考

    • $$ f(x) = \sin x $$
    • C++11 以降では、処理系が IEC 60559 に準拠している場合（std::numeric_limits<T>::is_iec559() != false）、以下の規定が追加される。
    • C++23では、(1), (2), (3)が(4)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された
      • diff --git a/reference/cmath/tan.html b/reference/cmath/tan.html index af0f566e052..be98d9c92d3 100644 --- a/reference/cmath/tan.html +++ b/reference/cmath/tan.html @@ -274,7 +274,7 @@

      備考

    • $$ f(x) = \tan x $$
    • C++11 以降では、処理系が IEC 60559 に準拠している場合（std::numeric_limits<T>::is_iec559() != false）、以下の規定が追加される。
    • C++23では、(1), (2), (3)が(4)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された
      • diff --git a/reference/cmath/tgamma.html b/reference/cmath/tgamma.html index b0d7b821766..b48582ee0ab 100644 --- a/reference/cmath/tgamma.html +++ b/reference/cmath/tgamma.html @@ -275,11 +275,11 @@

      備考

    • ガンマ関数は階乗の一般化である。階乗はガンマ関数を用いて $n! = \Gamma(n + 1)$ で計算できる。
    • C++11 以降では、処理系が IEC 60559 に準拠している場合（std::numeric_limits<T>::is_iec559() != false）、以下の規定が追加される。
      • diff --git a/reference/complex/complex/acos.html b/reference/complex/complex/acos.html index afebc8b04b3..4fd3d94d514 100644 --- a/reference/complex/complex/acos.html +++ b/reference/complex/complex/acos.html @@ -248,13 +248,13 @@

      備考

    • acos(complex(±0, +0)) は complex(π/2, -0) を返す。
    • acos(complex(±0, NaN)) は complex(π/2, NaN) を返す。
    • 有限の x について、acos(complex(x, +∞)) は complex(π/2, -∞) を返す。
      • -
    • 有限で非ゼロの x について、acos(x, NaN) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • 有限で非ゼロの x について、acos(x, NaN) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • 有限で正の符号を持つ（+0 を含む）y について、acos(-∞, y) は complex(π, -∞) を返す。
    • 有限で正の符号を持つ（+0 を含む）y について、acos(+∞, y) は complex(+0, -∞) を返す。
    • acos(-∞, +∞) は complex(3π/4, -∞) を返す。
    • acos(+∞, +∞) は complex(π/4, -∞) を返す。
    • acos(±∞, NaN) は complex(NaN, ±∞) を返す（結果の虚部の符号は未規定）。
      • -
    • 有限の y について、acos(NaN, y) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • 有限の y について、acos(NaN, y) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • acos(NaN, +∞) は complex(NaN, -∞) を返す。
    • acos(NaN, NaN) は complex(NaN, NaN) を返す。
    diff --git a/reference/complex/complex/acosh.html b/reference/complex/complex/acosh.html index 0a80e6e575c..e9dc64cf3ca 100644 --- a/reference/complex/complex/acosh.html +++ b/reference/complex/complex/acosh.html @@ -247,13 +247,13 @@

    備考

  • acosh(conj(x)) = conj(acosh(x))
  • acosh(complex(±0, +0)) は complex(+0, π/2) を返す。
  • 有限の x について、acosh(complex(x, +∞)) は complex(+∞, π/2) を返す。
    • -
  • 有限の x について、acosh(complex(x, NaN)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • +
  • 有限の x について、acosh(complex(x, NaN)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
  • 有限で正の符号を持つ（+0 を含む）y について、acosh(complex(-∞, y)) は complex(+∞, π) を返す。
  • 有限で正の符号を持つ（+0 を含む）y について、acosh(complex(+∞, y)) は complex(+∞, +0) を返す。
  • acosh(complex(-∞, +∞)) は complex(+∞, 3π/4) を返す。
  • acosh(complex(+∞, +∞)) は complex(+∞, π/4) を返す。
  • acosh(complex(±∞, NaN)) は complex(+∞, NaN) を返す。
    • -
  • 有限の y について、acosh(complex(NaN, y)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • +
  • 有限の y について、acosh(complex(NaN, y)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
  • acosh(complex(NaN, +∞)) は complex(+∞, NaN) を返す。
  • acosh(complex(NaN, NaN)) は complex(NaN, NaN) を返す。
    • diff --git a/reference/complex/complex/asinh.html b/reference/complex/complex/asinh.html index ff42db4faac..0d56034b2b1 100644 --- a/reference/complex/complex/asinh.html +++ b/reference/complex/complex/asinh.html @@ -247,12 +247,12 @@

    備考

  • asinh(conj(x)) = conj(asinh(x)) で、また、asinh は奇関数（つまり、asinh(-x) = -asinh(x)）。
  • asinh(complex(+0, +0)) は complex(+0, +0) を返す。
  • 有限で正の符号を持つ（+0 を含む）x について、asinh(complex(x, +∞)) は complex(+∞, π/2) を返す。
    • -
  • 有限の x について、asinh(complex(x, NaN)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • +
  • 有限の x について、asinh(complex(x, NaN)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
  • 有限で正の符号を持つ（+0 を含む）y について、asinh(complex(+∞, y)) は complex(+∞, +0) を返す。
  • asinh(complex(+∞, +∞)) は complex(+∞, π/4) を返す。
  • asinh(complex(+∞, NaN)) は complex(+∞, NaN) を返す。
  • asinh(complex(NaN, +0)) は complex(NaN, +0) を返す。
    • -
  • 有限で非ゼロの y について、asinh(complex(NaN, y)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • +
  • 有限で非ゼロの y について、asinh(complex(NaN, y)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
  • asinh(complex(NaN, +∞)) は complex(±∞, NaN) を返す（結果値の実部の符号は未規定）。
  • asinh(complex(NaN, NaN)) は complex(NaN, NaN) を返す。
    • diff --git a/reference/complex/complex/atanh.html b/reference/complex/complex/atanh.html index 045fe8e72ea..6db26b16c46 100644 --- a/reference/complex/complex/atanh.html +++ b/reference/complex/complex/atanh.html @@ -247,13 +247,13 @@

    備考

  • atanh(conj(x)) = conj(atanh(x))で、また、atanh は奇関数（つまり、atanh(-x) = -atanh(x)）。
  • atanh(complex(+0, +0)) は complex(+0, +0) を返す。
  • atanh(complex(+0, NaN)) は complex(+0, NaN) を返す。
    • -
  • atanh(complex(+1, +0)) は complex(+∞, +0) を返すとともに、ゼロ除算の浮動小数点例外（FE_DIVBYZERO）を引き起こす。
    • +
  • atanh(complex(+1, +0)) は complex(+∞, +0) を返すとともに、ゼロ除算の浮動小数点例外（FE_DIVBYZERO）を引き起こす。
  • 有限で正の符号を持つ（+0 を含む）x について、atanh(complex(x, +∞)) は complex(+0, π/2) を返す。
    • -
  • 有限で非ゼロの値を持つ x について、atanh(complex(x, NaN)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • +
  • 有限で非ゼロの値を持つ x について、atanh(complex(x, NaN)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
  • 有限で正の符号を持つ（+0 を含む）y について、atanh(complex(+∞, y)) は complex(+0, π/2)を返す。
  • atanh(complex(+∞, +∞)) は complex(+0, π/2) を返す。
  • atanh(complex(+∞, NaN)) は complex(+0, NaN) を返す。
    • -
  • 有限の y について、atanh(complex(NaN, y)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • +
  • 有限の y について、atanh(complex(NaN, y)) は complex(NaN, NaN) を返すとともに、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
  • atanh(complex(NaN, +∞)) は complex(±0, π/2) を返す（結果値の実部の符号は未規定）。
  • atanh(complex(NaN, NaN)) は complex(NaN, NaN) を返す。
    • diff --git a/reference/complex/complex/cosh.html b/reference/complex/complex/cosh.html index 3b2b208b2b4..a5d1db8eecd 100644 --- a/reference/complex/complex/cosh.html +++ b/reference/complex/complex/cosh.html @@ -245,16 +245,16 @@

    備考

    なお、C99 の規格にある本関数と等価の関数群（complex.h ヘッダの ccosh、ccoshf、ccoshl の 3 つ。それぞれ C++ の cosh<double>、cosh<float>、cosh<long double> に相当）では、処理系が ISO IEC 60559（IEEE 754 と同一）に準拠している場合、以下のように規定されている。
    • cosh(conj(x)) = conj(cosh(x)) で、また、cosh は偶関数（つまり、cosh(-x) = cosh(x)）。
    • cosh(complex(+0, +0)) は complex(+1, +0) を返す。
      • -
    • cosh(complex(+0, +∞)) は complex(NaN, ±0) を返し（結果の虚部の符号は未規定）、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • +
    • cosh(complex(+0, +∞)) は complex(NaN, ±0) を返し（結果の虚部の符号は未規定）、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
    • cosh(complex(+0, NaN)) は complex(NaN, ±0) を返す（結果の虚部の符号は未規定）。
      • -
    • 有限で非ゼロの x に対して、cosh(complex(x, +∞)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • -
    • 有限で非ゼロの x に対して、cosh(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • 有限で非ゼロの x に対して、cosh(complex(x, +∞)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • +
    • 有限で非ゼロの x に対して、cosh(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • cosh(complex(+∞, +0)) は complex(+∞, +0) を返す。
    • 有限で非ゼロの y に対して、cosh(complex(+∞, y)) は +∞ * complex(cos(y), sin(y)) を返す。
      • -
    • cosh(complex(+∞, +∞)) は complex(±∞, NaN) を返し（結果の実部の符号は未規定）、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • +
    • cosh(complex(+∞, +∞)) は complex(±∞, NaN) を返し（結果の実部の符号は未規定）、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
    • cosh(complex(+∞, NaN)) は complex(+∞, NaN) を返す。
    • cosh(complex(NaN, +0)) は complex(NaN, ±0) を返す（結果の虚部の符号は未規定）。
      • -
    • あらゆる非ゼロの y に対して、cosh(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • あらゆる非ゼロの y に対して、cosh(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • cosh(complex(NaN, NaN)) は complex(NaN, NaN) を返す。
    diff --git a/reference/complex/complex/exp.html b/reference/complex/complex/exp.html index 60ccfd704e0..f070c6fc929 100644 --- a/reference/complex/complex/exp.html +++ b/reference/complex/complex/exp.html @@ -245,17 +245,17 @@

    備考

    なお、C99 の規格にある本関数と等価の関数群（complex.h ヘッダの cexp、cexpf、cexplの 3 つ。それぞれ C++ の exp<double>、exp<float>、exp<long double> に相当）では、処理系が ISO IEC 60559（IEEE 754 と同一）に準拠している場合、以下のように規定されている。
    • exp(conj(x)) = conj(exp(x))。
    • exp(complex(±0, +0)) は complex(+1, +0) を返す。
      • -
    • 有限の x に対して、exp(complex(x, +∞)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • -
    • 有限の x に対して、exp(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • 有限の x に対して、exp(complex(x, +∞)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • +
    • 有限の x に対して、exp(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • exp(complex(+∞, +0)) は complex(+∞, +0) を返す。
    • 有限の y に対して、exp(complex(-∞, y)) は +0 * complex(cos(y), sin(y)) を返す。
    • 有限で非ゼロの y に対して、exp(complex(+∞, y)) は +∞ * complex(cos(y), sin(y)) を返す。
    • exp(complex(-∞, +∞)) は complex(±0, ±0) を返す（結果の実部、および、虚部の符号は未規定）。
      • -
    • exp(complex(+∞, +∞)) は complex(±∞, NaN) を返し（結果の実部の符号は未規定）、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • +
    • exp(complex(+∞, +∞)) は complex(±∞, NaN) を返し（結果の実部の符号は未規定）、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
    • exp(complex(-∞, NaN)) は complex(±0, ±0) を返す（結果の実部、および、虚部の符号は未規定）。
    • exp(complex(+∞, NaN)) は complex(±∞, NaN) を返す（結果の実部の符号は未規定）。
    • exp(complex(NaN, +0)) は complex(NaN, +0) を返す。
      • -
    • あらゆる非ゼロの y に対して、exp(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • あらゆる非ゼロの y に対して、exp(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • exp(complex(NaN, NaN)) は complex(NaN, NaN) を返す。
    diff --git a/reference/complex/complex/log.html b/reference/complex/complex/log.html index fe51fbfce54..e8d018e8b23 100644 --- a/reference/complex/complex/log.html +++ b/reference/complex/complex/log.html @@ -246,16 +246,16 @@

    備考

  • 規格には、上記の戻り値の記載、および、分岐截断以外の規定・説明は無い。
    なお、C99 の規格にある本関数と等価の関数群（complex.h ヘッダの clog、clogf、cloglの 3 つ。それぞれ C++ の log<double>、log<float>、log<long double> に相当）では、処理系が ISO IEC 60559（IEEE 754 と同一）に準拠している場合、以下のように規定されている。
    • log(conj(x)) = conj(log(x))。
      • -
    • log(complex(-0, +0)) は complex(-∞, +π) を返し、ゼロ除算の浮動小数点例外（FE_DIVBYZERO）を引き起こす。
      • -
    • log(complex(+0, +0)) は complex(-∞, +0) を返し、ゼロ除算の浮動小数点例外（FE_DIVBYZERO）を引き起こす。
      • +
    • log(complex(-0, +0)) は complex(-∞, +π) を返し、ゼロ除算の浮動小数点例外（FE_DIVBYZERO）を引き起こす。
      • +
    • log(complex(+0, +0)) は complex(-∞, +0) を返し、ゼロ除算の浮動小数点例外（FE_DIVBYZERO）を引き起こす。
    • 有限の x に対して、log(complex(x, +∞)) は complex(+∞, +π/2) を返す。
      • -
    • 有限の x に対して、log(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • 有限の x に対して、log(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • 有限で正の符号を持つ（+0 を含む）y に対して、log(complex(-∞, y)) は complex(+0, +π) を返す。
    • 有限で正の符号を持つ（+0 を含む）y に対して、log(complex(+∞, y)) は complex(+∞, +0) を返す。
    • log(complex(-∞, +∞)) は complex(+∞, +3π/4) を返す。
    • log(complex(+∞, +∞)) は complex(+∞, +π/4) を返す。
    • log(complex(±∞, NaN)) は complex(+∞, NaN) を返す。
      • -
    • 有限の y に対して、log(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • 有限の y に対して、log(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • log(complex(NaN, +∞)) は complex(+∞, NaN) を返す。
    • log(complex(NaN, NaN)) は complex(NaN, NaN) を返す。
    diff --git a/reference/complex/complex/pow.html b/reference/complex/complex/pow.html index 79bc1bfe442..56e55bb491b 100644 --- a/reference/complex/complex/pow.html +++ b/reference/complex/complex/pow.html @@ -292,7 +292,7 @@

    備考

    • 引数 x に対する分岐截断は負の実軸に沿っている。
    • C99 の規格にある本関数と等価の関数群（complex.h ヘッダの cpow、cpowf、cpowl の 3 つ。それぞれ C++ の pow<double>、pow<float>、pow<long double> に相当）では、本関数が exp(y * log(x)) で定義されるとの記載は無く、処理系が ISO IEC 60559 に準拠している場合でもそのように計算することが可能である旨のみの記載となっている。
      - また、処理系が ISO IEC 60559 に準拠している場合、結果のパートを計算する際に適切な浮動小数点例外を引き起こすこと、および、偽の浮動小数点例外を引き起こしても良いことが記載されている。
      • + また、処理系が ISO IEC 60559 に準拠している場合、結果のパートを計算する際に適切な浮動小数点例外を引き起こすこと、および、偽の浮動小数点例外を引き起こしても良いことが記載されている。
    • 処理系が ISO IEC 60559 に準拠しているかどうかは、C99 の場合はマクロ __STDC_IEC_559_COMPLEX__ が 1 に定義されている事で判別可能であるが、C++ の規格書には該当する記載を見つける事ができなかった。

    • 累乗の算出については、一部の算術型、および、valarray クラステンプレートに対しても、他のヘッダで定義されている。

      diff --git a/reference/complex/complex/sinh.html b/reference/complex/complex/sinh.html index 062f7612228..7f465b953ff 100644 --- a/reference/complex/complex/sinh.html +++ b/reference/complex/complex/sinh.html @@ -245,16 +245,16 @@

      備考

      なお、C99 の規格にある本関数と等価の関数群（complex.h ヘッダの csinh、csinhf、csinhl の 3 つ。それぞれ C++ の sinh<double>、sinh<float>、sinh<long double> に相当）では、処理系が ISO IEC 60559（IEEE 754 と同一）に準拠している場合、以下のように規定されている。
      • sinh(conj(x)) = conj(sinh(x)) で、また、sinh は奇関数（つまり、sinh(-x) = -sinh(x)）。
      • sinh(complex(+0, +0)) は complex(+0, +0) を返す。
        • -
      • sinh(complex(+0, +∞)) は complex(±0, NaN) を返し（結果の実部の符号は未規定）、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
        • +
      • sinh(complex(+0, +∞)) は complex(±0, NaN) を返し（結果の実部の符号は未規定）、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • sinh(complex(+0, NaN)) は complex(±0, NaN) を返す（結果の実部の符号は未規定）。
        • -
      • 有限で正の x に対して、sinh(complex(x, +∞)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
        • -
      • 有限で非ゼロの x に対して、sinh(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
        • +
      • 有限で正の x に対して、sinh(complex(x, +∞)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
        • +
      • 有限で非ゼロの x に対して、sinh(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • sinh(complex(+∞, +0)) は complex(+∞, +0) を返す。
      • 有限で正の y に対して、sinh(complex(+∞, y)) は +∞ * complex(cos(y), sin(y)) を返す。
        • -
      • sinh(complex(+∞, +∞)) は complex(±∞, NaN) を返し（結果の実部の符号は未規定）、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
        • +
      • sinh(complex(+∞, +∞)) は complex(±∞, NaN) を返し（結果の実部の符号は未規定）、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • sinh(complex(+∞, NaN)) は complex(±∞, NaN) を返す（結果の実部の符号は未規定）。
      • sinh(complex(NaN, +0)) は complex(NaN, +0) を返す。
        • -
      • あらゆる非ゼロの y に対して、sinh(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
        • +
      • あらゆる非ゼロの y に対して、sinh(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • sinh(complex(NaN, NaN)) は complex(NaN, NaN) を返す。
      • diff --git a/reference/complex/complex/sqrt.html b/reference/complex/complex/sqrt.html index 52d8189586b..3dad289dfdf 100644 --- a/reference/complex/complex/sqrt.html +++ b/reference/complex/complex/sqrt.html @@ -264,12 +264,12 @@

      備考

    • sqrt(conj(x)) = conj(sqrt(x)) 。
    • sqrt(complex(±0, +0)) は complex(+0, +0) を返す。
    • （NaN も含む）あらゆる x に対して、sqrt(complex(x, +∞)) は complex(+∞, +∞) を返す。
      • -
    • 有限の x に対して、sqrt(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • 有限の x に対して、sqrt(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • 有限で正の符号を持つ（+0 を含む）y に対して、sqrt(complex(-∞, y)) は complex(+0, +∞) を返す。
    • 有限で正の符号を持つ（+0 を含む）y に対して、sqrt(complex(+∞, y)) は complex(+∞, +0) を返す。
    • sqrt(complex(-∞, NaN)) は complex(NaN, ±∞) を返す（結果の虚部の符号は未規定）。
    • sqrt(complex(+∞, NaN)) は complex(+∞, NaN) を返す。
      • -
    • 有限の y に対して、sqrt(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • 有限の y に対して、sqrt(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • sqrt(complex(NaN, NaN)) は complex(NaN, NaN) を返す。
    • diff --git a/reference/complex/complex/tanh.html b/reference/complex/complex/tanh.html index 3872d6f6471..e1847288eeb 100644 --- a/reference/complex/complex/tanh.html +++ b/reference/complex/complex/tanh.html @@ -245,13 +245,13 @@

    備考

    なお、C99 の規格にある本関数と等価の関数群（complex.h ヘッダの ctan、ctanf、ctanl の 3 つ。それぞれ C++ の tan<double>、tan<float>、tan<long double> に相当）では、処理系が ISO IEC 60559（IEEE 754 と同一）に準拠している場合、以下のように規定されている。
    • tanh(conj(x)) = conj(tanh(x)) で、また、tanh は奇関数（つまり、tanh(-x) = -tanh(x)）。
    • tanh(complex(+0, +0)) は complex(+0, +0) を返す。
      • -
    • 有限の x に対して、tanh(complex(x, +∞)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • -
    • 有限の x に対して、tanh(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • 有限の x に対して、tanh(complex(x, +∞)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす。
      • +
    • 有限の x に対して、tanh(complex(x, NaN)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • 有限で正の符号を持つ（+0 を含む）y に対して、tanh(complex(+∞, y)) は complex(1, +0 * sin(2 * y)) を返す。
    • tanh(complex(+∞, +∞)) は complex(1, ±0) を返す（結果の虚部の符号は未規定）。
    • tanh(complex(+∞, NaN)) は complex(1, ±0) を返す（結果の虚部の符号は未規定）。
    • tanh(complex(NaN, +0)) は complex(NaN, +0) を返す。
      • -
    • あらゆる非ゼロの y に対して、tanh(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
      • +
    • あらゆる非ゼロの y に対して、tanh(complex(NaN, y)) は complex(NaN, NaN) を返し、無効演算の浮動小数点例外（FE_INVALID）を引き起こす可能性がある。
    • tanh(complex(NaN, NaN)) は complex(NaN, NaN) を返す。
    diff --git a/reference/csignal/sigfpe.html b/reference/csignal/sigfpe.html index 8287fdc7ac1..ea844f7b3af 100644 --- a/reference/csignal/sigfpe.html +++ b/reference/csignal/sigfpe.html @@ -217,7 +217,7 @@

    概要

    -

    算術演算エラー（浮動小数点例外など）が発生した際に送られるシグナルの、シグナル番号を表すマクロ。

    +

    算術演算エラー（浮動小数点例外など）が発生した際に送られるシグナルの、シグナル番号を表すマクロ。

    int型の正の整数の定数式に展開され、実際の値は未規定。

    例

    #include <csignal>
diff --git a/reference/random/exponential_distribution.html b/reference/random/exponential_distribution.html
index c78aac50caa..01740418ccf 100644
--- a/reference/random/exponential_distribution.html
+++ b/reference/random/exponential_distribution.html
@@ -204,8 +204,8 @@
   
     
    
       最終更新日時(UTC):
-      
    参考
    diff --git a/rss.xml b/rss.xml index 28edfdff3f9..f0d5e3543f3 100644 --- a/rss.xml +++ b/rss.xml @@ -2,10 +2,35 @@ cpprefjp - C++日本語リファレンス - 2026-04-19T15:09:24.776943 - 1d8c7ab9-950f-4900-8031-95240f43db3b + 2026-04-20T15:55:38.428917 + 9045d146-05cd-476c-9afe-ae8082cf76a3 + + exponential_distribution -- exponential_distribution : リンク切れをArchiveに切り替え #1614 #1594 + + d4f92772308029a75de90c53d5ca08edf38b882d:reference/random/exponential_distribution.md + 2026-04-20T14:28:07+09:00 + + <pre><code>diff --git a/reference/random/exponential_distribution.md b/reference/random/exponential_distribution.md +index 5475611b4..b8f051c5c 100644 +--- a/reference/random/exponential_distribution.md ++++ b/reference/random/exponential_distribution.md +@@ -189,5 +189,5 @@ Phone call after 2.60918 minute wait + ### 参考 + - [指数分布 - Wikipedia](https://ja.wikipedia.org/wiki/指数分布) + - [指数分布 - NtRand](http://www.ntrand.com/jp/exponential-distribution/) +-- [指数分布 - 統計学自習ノート](http://aoki2.si.gunma-u.ac.jp/lecture/Bunpu/exponential.html) ++- [指数分布 - 統計学自習ノート](https://web.archive.org/web/20241204102039/http://aoki2.si.gunma-u.ac.jp/lecture/Bunpu/exponential.html) + - [指数分布とポアソン分布のいけない関係](http://www.slideshare.net/teramonagi/ss-11296227) +</code></pre> + + + Akira Takahashi + faithandbrave@gmail.com + + + count -- Merge pull request #1612 from yknishidate/fix_cpp_version @@ -2530,70 +2555,4 @@ index 2f86c5121..c4ffe7cc4 100644 - - コンセプトと変数テンプレートをテンプレート引数として渡せるようにする [P2841R7] -- リンクミスを修正 #1609 - - 33bac4efcd70c7e2cfa6a03e8f8a8350e41598af:lang/cpp26/concept_and_variable-template_template-parameters.md - 2026-04-13T13:57:54+09:00 - - <pre><code>diff --git a/lang/cpp26/concept_and_variable-template_template-parameters.md b/lang/cpp26/concept_and_variable-template_template-parameters.md -index 6775b7bcb..01bacb7be 100644 ---- a/lang/cpp26/concept_and_variable-template_template-parameters.md -+++ b/lang/cpp26/concept_and_variable-template_template-parameters.md -@@ -86,7 +86,7 @@ C++23でこれらをテンプレート引数として渡すためには、`stati - - コンセプトの簡略構文 (terse syntax) や包摂 (subsumption) の恩恵を受けられない - - APIに不必要な複雑性を追加する - --この提案は、[P1985R3 Universal Template Parameters](https://open-std.org/jtc1/sc22/wg21/docs/papers/2020/p1985r3.pdf)のサブセットとして、コンセプトと変数テンプレートに対するテンプレートテンプレートパラメータのサポートを先行して追加するものである。 -+この提案は、[P1985R3 Universal Template Parameters](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p1985r3.pdf)のサブセットとして、コンセプトと変数テンプレートに対するテンプレートテンプレートパラメータのサポートを先行して追加するものである。 - - - ## &lt;a id=&#34;relative-page&#34; href=&#34;#relative-page&#34;&gt;関連項目&lt;/a&gt; -</code></pre> - - - Akira Takahashi - faithandbrave@gmail.com - - - - - integer_sequence -- feat(integer_sequence): integer_sequenceに関する適格要件と備考を追加 (#1610) - - 0c7655d689e2bbf7ec77326e1acf7a099e88163f:reference/utility/integer_sequence.md - 2026-04-13T12:56:56+09:00 - - <pre><code>diff --git a/reference/utility/integer_sequence.md b/reference/utility/integer_sequence.md -index 3bea2e25d..ee2f39938 100644 ---- a/reference/utility/integer_sequence.md -+++ b/reference/utility/integer_sequence.md -@@ -20,6 +20,15 @@ namespace std { - このクラスは、[`tuple`](/reference/tuple/tuple.md)オブジェクトを展開して、引数パックとして他の関数に転送することを主目的として作られた。 - - -+## 適格要件 -+- `T` は整数型であること。 -+ -+ -+## 備考 -+- C++17まで : テンプレートパラメータ `T` が整数型でない場合の動作は未定義。 -+- C++20から : `T` が整数型でない場合、プログラムは不適格となり、コンパイルエラーとなることが要求されるようになった。 -+ -+ - ## 例 - ```cpp example - #include &lt;iostream&gt; -@@ -61,3 +70,4 @@ int main() - - ## 参照 - - [N3658 Compile-time integer sequences](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3658.html) -+- [P1460R1 Mandating the Standard Library: Clause 20 - Utilities library](https://wg21.link/p1460r1) -</code></pre> - - - teruyamato0731 - 77840326+teruyamato0731@users.noreply.github.com - - - \ No newline at end of file diff --git a/sitemap.xml b/sitemap.xml index 4eaab2d2957..1253c57e4c6 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -27303,7 +27303,7 @@ https://cpprefjp.github.io/reference/random/exponential_distribution.html - 2026-03-05T18:27:18+09:00 + 2026-04-20T14:28:07+09:00 daily 0.7
    全ての浮動小数点例外 (macro)全ての浮動小数点例外 (macro) C++11
    MATH_ERREXCEPT数学ライブラリ内で浮動小数点例外が発生したかを表す整数定数数学ライブラリ内で浮動小数点例外が発生したかを表す整数定数 C++11
    MATH_ERREXCEPTエラー内容に応じた浮動小数点例外を発生させる。（C++ の例外ではない事に注意）エラー内容に応じた浮動小数点例外を発生させる。（C++ の例外ではない事に注意）
    MATH_ERRNO | MATH_ERREXCEPT