IEEE 754
(IEEE 754-2008 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/11/19 05:22 UTC 版)
IEEE 754（アイトリプルイーななごおよん、アイトリプルイーななひゃくごじゅうよん）は、別の表記では「IEEE Standard for Floating-Point Arithmetic」と書かれるものであり、1985年にIEEEによって定められた、浮動小数点算術に関する標準規格である。
- ^ これは、異なる仕様を採用しているハードウェア上に実装する際のコストへの考慮のためである。
- ^ “Floating point (GNU Coreutils 9.0)”. www.gnu.org. 2020年4月10日閲覧。
- ^ たとえば「一幸, 首藤 (2003年6月15日). “厳密な浮動小数点演算セマンティクスのJava実行時コンパイラへの実装”. 情報処理学会論文誌. pp. 1570–1582. 2020年4月10日閲覧。」を見よ。
- ^ "FW: ISO/IEC/IEEE 60559 (IEEE Std 754-2008)" (Mailing list). 1 April 2011. 2012年4月10日閲覧。 ISO規格に採用されたことを知らせる電子メールの記録
- ^ “ISO/IEC/IEEE 60559:2011” (英語). ISO. 2020年4月10日閲覧。
- ^ この「正と負の2つがある無限」は、数学でいう拡大実数のそれに似ている。標準の検討段階では、射影幾何における無限遠点のように、符号無しのただひとつの「無限」だけがある「射影モード」も議論されたがそちらは採用されず、その議論において「アフィンモード」と呼ばれたものが、実施されたIEEE 754における「数」の「モデル」である。
- ^ インテル8087及びその後継のFPUにある80bitの拡張表現が処理中で使われた場合には、それによる2度の丸めで、結果が異なる場合がある。またしばしば言われる「0.1を10回足しても1にならない」といったような不正確さは、この規定に違反して起きるわけではない。
- ^ 制定に深く関与したカハンが指摘した「数表作成者のジレンマ」とは、このことを指している。
- ^ IEEE 754 2008, §3.7
- ^ IEEE 754 2008, §3.7 では「言語規格はサポートするそれぞれの基数について拡張可能精度をサポートする機構を定義すべきだ」としている。
- ^ IEEE 754 2008, §3.7 では、「言語規格または実装はサポートしている基数での最大幅の基本形式より高い精度の拡張形式をサポートすべきだ」としている。
- ^ “RE: Two technical questions on IEEE Std 754-2008”. 2014年2月23日時点のオリジナルよりアーカイブ。2012年4月10日閲覧。
- ^ IEEE 754 2008, Clause 9
- ^ IEEE 754 2008, §9.3
- ^ IEEE 754 2008, §9.4
- ^ IEEE 754 2008, §5.12
- ^ IEEE 754 2008, §5.12.2
- ^ Gay, David M. (November 30, 1990), Correctly rounded binary-decimal and decimal-binary conversions, Numerical Analysis Manuscript, Murry Hill, NJ, USA: AT&T Laboratories, 90-10
- ^ Paxson, Vern; Kahn, William (May 22, 1991), A Program for Testing IEEE Decimal–Binary Conversion, Manuscript 2012年3月28日閲覧。
[続きの解説]
「IEEE 754」の続きの解説一覧
- IEEE 754-2008のページへのリンク
