※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
3 規範的参照
以下の規範文書には、本文での参照を通じて ISO/IEC 10967 のこの部分の規定を構成する規定が含まれています。日付が記載された参照については、これらの出版物のその後の修正または改訂は適用されません。ただし、ISO/IEC 10967 のこの部分に基づく協定の当事者は、以下に示す規範文書の最新版を適用する可能性を調査することが推奨されます。日付のない参照については、参照されている規範文書の最新版が適用されます。 ISO および IEC のメンバーは、現在有効な国際規格の登録簿を維持しています。
- IEC 60559:1989, マイクロプロセッサ システム用の 2 進浮動小数点演算。
- ISO/IEC 10967-1:1994, 情報技術 - 言語に依存しない算術Part 1: 整数および浮動小数点算術。
注 -付録 E も参照してください。
付録D
(参考)
参考文献
国際規格文書
| 1 | ISO/IEC 指令、 Part 3:国際規格の構造と草案に関する規則、1997 年。 |
| 2 | [2]IEC 60559:1989, マイクロプロセッサ システム用の 2 進浮動小数点演算。 (また: ANSI/IEEE 標準 754-1985, 2 進浮動小数点演算の IEEE 標準。) |
| 3 | ISO/IEC 10967-3, 情報技術 - 言語に依存しない算術 - Part 3: 複素整数および浮動小数点算術および複素基本数値関数 (LIA3) （公開予定です。） |
| 4 | ISO 6093:1985, 情報交換のための文字列内の数値の情報処理表現。 |
| 5 | ISO/IEC 10646-1:2000, 情報技術 — ユニバーサル マルチオクテット文字セット (UCS) — Part 1: アーキテクチャおよび基本的な多言語プレーン、第 2 版。 |
| 6 | ISO/IEC 10646-2:2001, 情報技術ユニバーサル マルチオクテット文字セット (UCS) — Part 2: 補助プレーン。 |
| 7 | ISO/IEC TR 10176:1998, プログラミング言語標準の作成に関する情報技術ガイドライン。 |
| 8 | ISO/IEC TR 10182:1993, 情報技術 - プログラミング言語、その環境、およびシステム ソフトウェア インターフェイス - 言語バインディングのガイドライン。 |
| 9 | ISO/IEC 13886:1996, 情報技術言語非依存プロシージャ呼び出し (LIPC) |
| 10 | ISO/IEC 11404:1996, 情報技術 - プログラミング言語、その環境およびシステム ソフトウェア インターフェイス - 言語に依存しないデータ型 (LID) |
| 11 | ISO/IEC 8652:1995, 情報技術 — プログラミング言語 — Ad |
| 12 | ISO/IEC 13813:1998, 情報技術 — プログラミング言語 — Ada の実数型および複素数型の宣言と基本操作 (ベクトル型および行列型を含む) の汎用パッケージ。 |
| 13 | ISO/IEC 13814:1998, 情報技術 — プログラミング言語 — Ada の複雑な初等関数の汎用パッケージ。 |
| 14 | ISO 8485:1989, プログラミング言語 — AP |
| 15 | ISO/IEC 13751:2001, 情報技術 — プログラミング言語、その環境およびシステム ソフトウェア インターフェイス — プログラミング言語拡張 AP |
| 16 | ISO/IEC 10279:1991, 情報技術 — プログラミング言語 — フル BASI (本質的には ANSI X3.113-1987 (R1998) [40] の承認です。) |
| 17 | ISO/IEC 9899:1999, プログラミング言語 — C. |
| 18 | ISO/IEC 14882:1998, プログラミング言語 — C++。 |
| 19 | ISO 1989:1985, プログラミング言語 — COBO (ANSI X3.23-1985 (R1991) [41] の承認。) 現在 (2001 年) 改訂中です。 |
| 20 | ISO/IEC 16262:1998, 情報技術 — ECMAScript 言語仕様。 |
| 21 | ISO/IEC 15145:1997, 情報技術 — プログラミング言語 — FORT (つまり: ANSI X3.215-199) |
| 22 | ISO/IEC 1539-1:1997, 情報技術 — プログラミング言語 — Fortran — Part 1: 基本言語。 |
| 23 | ISO/IEC TR 15580:1998, 情報技術 — プログラミング言語 — Fortran — 浮動小数点例外処理。 |
| 24 | ISO/IEC 13816:1997, 情報技術 - プログラミング言語、その環境およびシステム ソフトウェア インターフェイス - プログラミング言語 ISLIS |
| 25 | ISO/IEC 10514-1:1996, 情報技術 — プログラミング言語 — Part 1: Modula2, 基本言語。 |
| 26 | ISO/IEC 10514-2:1998, 情報技術 — プログラミング言語 — Part 2: ジェネリックス Modula- |
| 27 | ISO 7185:1990, 情報技術 — プログラミング言語 — パスカル。 |
| 28 | ISO/IEC 10206:1991, 情報技術 — プログラミング言語 — Extended Pasca |
| 29 | ISO 6160:1979, プログラミング言語 — PL/ (ANSI X3.53-1976 (R1998) [43] の承認。) |
| 30 | ISO/IEC 6522:1992, 情報技術 — プログラミング言語 — PL/I 汎用サブセット。 (つまり: ANSI X3.74-1987 (R1998)) |
| 31 | ISO/IEC 13211-1:1995, 情報技術 — プログラミング言語 — プロローグ — Part 1: 一般コア。 |
| 32 | ISO/IEC 8824-1:1998, 情報技術 — 抽象構文表記 1 (ASN.l) — Part 1: 基本的な表記法の仕様。 |
| 33 | ISO 9001:1994, 品質システム — 設計、開発、生産、設置、サービスにおける品質保証のモデル。 |
| 34 | ISO/IEC 9126:1991, 情報技術 - ソフトウェア製品評価 - 品質特性とその使用に関するガイドライン。 |
| 35 | ISO/IEC 12119:1994, 情報技術 - ソフトウェア パッケージ - 品質要件とテスト。 |
| 36 | ISO/IEC 14598-1:1999, 情報技術 — ソフトウェア製品評価 — Part 1: 概要。 |
国家規格およびその他の規格に関する文書
| 37 | ANSI/IEEE 標準 754-1985, 2進浮動小数点演算の IEEE 標準。 |
| 38 | ANSI/IEEE 標準 854-1987, 基数に依存しない浮動小数点演算に関する IEEE 標準。 |
| 39 | Unicode 標準、バージョン 3.0, 200バージョン 3.0 のエンコードされた文字レパートリーは ISO/IEC 10646-1:2000 とまったく同じであることに注意してください。 |
| 40 | ANSI X3.113-198, 情報技術 — プログラミング言語 — フル BASI |
| 41 | ANSI X3.23-198, プログラミング言語 — COBO |
| 42 | ANSI X3.226-1994, 情報技術 - プログラミング言語 - Common Lis |
| 43 | ANSI X3.53-197, プログラミング言語 — PL/ |
| 44 | ANSI/IEEE 1178-1990, Scheme プログラミング言語の IEEE 標準。 |
| 45 | ANSI/NCITS 319-1998, 情報技術 — プログラミング言語 — Smalltal |
書籍、論文、その他の文書
| 46 | J. S. スクワイア (編)、エイダ レターズ、vol. 11, いいえ。 7, ACMプレス（1991年）。 |
| 47 | M. Abramowitz および I. Stegu, Handbook of Mathematical Functions with Formulas, Graphs, および Mathematical Tables 、第 10 刷、1972 年、米国政府印刷局、文書監督官、ワシントン DC 2040 |
| 48 | J. Du Croz および M. Pont, 浮動小数点検証パッケージの開発、NAG ニュースレター、No. 1984 年 3 月 |
| 49 | JW Demmel および X. Li, 「Faster Numerical Algorithms via Exception Handling」 、第 11 回コンピュータ算術国際シンポジウム、オンタリオ州ウィンザー、1993 年 6 月 29 日から 7 月 2 日まで。 |
| 50 | D. Goldberg, 浮動小数点演算についてすべてのコンピュータ科学者が知っておくべきこと。 ACM Computing Surveys, Vol. 23, No. 1991 年 3 月 1 日。 |
| 51 | JR Hauser, 数値プログラムでの浮動小数点例外の処理。プログラミング言語とシステムに関する ACM トランザクション、Vol. 18, No. 2, 1986 年 3 月、139 ～ 174 ページ。 |
| 52 | W. Kahan, 「Branch Cuts for Complex Elementary Functions , or Much Ado about Nothing's Sign Bit」、M. Powell および A. Iserles 編、The State of the Art in Numerical Analysis の第 7 章 (1987 年)、オックスフォード。 |
| 53 | W. Kahan, 2 進浮動小数点演算のための IEEE 標準 754 の状況に関する講演ノート、浮動小数点の過去、現在、未来に関するパネル ディスカッション、1995 年 5 月 23 日、一連のサンフランシスコ ベイエリア コンピュータ歴史的展望、後援サンマイクロシステムズ株式会社 |
| 54 | U. Kulisch および WL Miranker, 『理論と実践におけるコンピュータ算術』 、アカデミック プレス、1981 年。 |
| 55 | U. Kulisch および WL Miranke, 「科学計算への新しいアプローチ」 、アカデミック プレス、1983 年。 |
| 56 | DC Sorenson および PTP Tang, 「分割統治法によって計算された固有ベクトルの直交性について」、SIAM Journal of Numerical Analysis, Vol. 28, No. 6, p. 1760, アルゴリズム 5. |
| 57 | 技術レポート数値 C 拡張委員会 X3J11, 1995 年 4 月、SC22/WG14 N403, X3J11/95-004の浮動小数点 C 拡張。 |
| 58 | DM Gay, 「Correctly Rounded Binary-Decimal and Decimal-Binary Conversions」 、AT&T Bell Laboratories, 数値解析原稿 90-10, 1990 年 11 月。 |
| 59 | M. Payne および R. Hanek, 「Radian Reduction for Trigonometric Functions」 、SIGNUM ニュースレター、Vol. 18, 1983 年 1 月。 |
| 60 | M. Payne および R. Hanek, 「Degree Reduction for Trigonometric Functions」 、SIGNUM ニュースレター、第 18 巻、1983 年 4 月。 |
| 61 | NL Schryer, コンピュータの浮動小数点ユニットのテスト、コンピュータ サイエンス テクニカル レポート No. 89, AT&T ベル研究所、ニュージャージー州マレーヒル、1981 年。 |
| 62 | G. Bohlender, W. Walter, P Kornerup, DW Matula, 「正確な浮動小数点演算のセマンティクス」 、IEEE Arithmetic 10, 1992 年。 |
| 63 | W. Walter 他、正確な浮動小数点ベクトル演算の提案、シミュレーションにおける数学とコンピュータ、vol. 35, no. 4, 375-382 ページ、IMACS, 1993 年。 |
| 64 | J. Gosling, B. Joy, G. Steele, 「Java 言語仕様」 。 |
| 65 | S. Peyton Jones 他、プログラミング言語 Haskell 98 に関するレポート、1999 年 2 月。 |
| 66 | S. Peyton Jones 他、 Haskell 98 プログラミング言語の標準ライブラリ、1999 年 2 月。 |
| 67 | R. ミルナー、M. トフティ、R. ハーパー、および D. マックイーン、 「標準 ML の定義 (改訂版)」 、MIT プレス、1997 年、ISBN: 0-262-63181- |
3 Normative references
The following normative documents contain provisions which, through reference in this text, constitute provisions of this part of ISO/IEC 10967. For dated references, subsequent amendments to, or revisions of, any of these publications do not apply. However, parties to agreements based on this part of ISO/IEC 10967 are encouraged to investigate the possibility of applying the most recent editions of the normative documents indicated below. For undated references, the latest edition of the normative document referred to applies. Members of ISO and IEC maintain registers of currently valid International Standards.
- IEC 60559:1989, Binary floating-point arithmetic for microprocessor systems.
- ISO/IEC 10967-1:1994, Information technology — Language independent arithmetic Part 1: Integer and floating point arithmetic.
NOTE - See also annex E.
Annex D
(informative)
Bibliography
International standards documents
| 1 | ISO/IEC Directives, Part 3: Rules for the structure and drafting of International Standards, 1997. |
| 2 | [2]IEC 60559:1989, Binary floating-point arithmetic for microprocessor systems. (Also: ANSI/IEEE Standard 754-1985, IEEE Standard for Binary Floating-Point Arithmetic.) |
| 3 | ISO/IEC 10967-3, Information technology — Language independent arithmetic — Part 3: Complex integer and floating point arithmetic and complex elementary numerical functions, (LIA3). (To be published.) |
| 4 | ISO 6093:1985, Information processing Representation of numerical values in character strings for information interchange. |
| 5 | ISO/IEC 10646-1:2000, Information technology — Universal multi-octet character set (UCS) — Part 1: Architecture and Basic Multilingual plane, second edition. |
| 6 | ISO/IEC 10646-2:2001, Information technology Universal multi-octet character set (UCS) — Part 2: Supplementary planes. |
| 7 | ISO/IEC TR 10176:1998, Information technology Guidelines for the preparation of programming language standards. |
| 8 | ISO/IEC TR 10182:1993, Information technology — Programming languages, their environments and system software interfaces — Guidelines for language bindings. |
| 9 | ISO/IEC 13886:1996, Information technology Language-Independent Procedure Calling, (LIPC). |
| 10 | ISO/IEC 11404:1996, Information technology — Programming languages, their environments and system software interfaces — Language-independent datatypes, (LID). |
| 11 | ISO/IEC 8652:1995, Information technology — Programming languages — Ada. |
| 12 | ISO/IEC 13813:1998, Information technology — Programming languages — Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types). |
| 13 | ISO/IEC 13814:1998, Information technology — Programming languages — Generic package of complex elementary functions for Ada. |
| 14 | ISO 8485:1989, Programming languages — APL. |
| 15 | ISO/IEC 13751:2001, Information technology — Programming languages, their environments and system software interfaces — Programming language extended APL. |
| 16 | ISO/IEC 10279:1991, Information technology — Programming languages — Full BASIC. (Essentially an endorsement of ANSI X3.113-1987 (R1998) [40].) |
| 17 | ISO/IEC 9899:1999, Programming languages — C. |
| 18 | ISO/IEC 14882:1998, Programming languages — C++. |
| 19 | ISO 1989:1985, Programming languages — COBOL. (Endorsement of ANSI X3.23-1985 (R1991) [41].) Currently (2001) under revision. |
| 20 | ISO/IEC 16262:1998, Information technology — ECMAScript language specification. |
| 21 | ISO/IEC 15145:1997, Information technology — Programming languages — FORTH. (Also: ANSI X3.215-1994.) |
| 22 | ISO/IEC 1539-1:1997, Information technology — Programming languages — Fortran — Part 1: Base language. |
| 23 | ISO/IEC TR 15580:1998, Information technology — Programming languages — Fortran — Floating-point exception handling. |
| 24 | ISO/IEC 13816:1997, Information technology — Programming languages, their environments and system software interfaces — Programming language ISLISP. |
| 25 | ISO/IEC 10514-1:1996, Information technology — Programming languages — Part 1: Modula2, Base Language. |
| 26 | ISO/IEC 10514-2:1998, Information technology — Programming languages — Part 2: Generics Modula-2. |
| 27 | ISO 7185:1990, Information technology — Programming languages — Pascal. |
| 28 | ISO/IEC 10206:1991, Information technology — Programming languages — Extended Pascal. |
| 29 | ISO 6160:1979, Programming languages — PL/I. (Endorsement of ANSI X3.53-1976 (R1998) [43].) |
| 30 | ISO/IEC 6522:1992, Information technology — Programming languages — PL/I generalpurpose subset. (Also: ANSI X3.74-1987 (R1998).) |
| 31 | ISO/IEC 13211-1:1995, Information technology — Programming languages — Prolog — Part 1: General core. |
| 32 | ISO/IEC 8824-1:1998, Information technology — Abstract Syntax Notation One (ASN.l) — Part 1: Specification of basic notation. |
| 33 | ISO 9001:1994, Quality systems — Model for quality assurance in design, development, production, installation and servicing. |
| 34 | ISO/IEC 9126:1991, Information technology — Software product evaluation — Quality characteristics and guidelines for their use. |
| 35 | ISO/IEC 12119:1994, Information technology — Software packages — Quality requirements and testing. |
| 36 | ISO/IEC 14598-1:1999, Information technology — Software product evaluation — Part 1: General overview. |
National and other standards documents
| 37 | ANSI/IEEE Standard 754-1985, IEEE Standard for Binary Floating-Point Arithmetic. |
| 38 | ANSI/IEEE Standard 854-1987, IEEE Standard for Radix-Independent Floating-Point Arithmetic. |
| 39 | The Unicode Standard, version 3.0, 2000. Note that version 3.0 the encoded character repertoire is exactly the same as for ISO/IEC 10646-1:2000. |
| 40 | ANSI X3.113-1987 (R1998), Information technology — Programming languages — Full BASIC. |
| 41 | ANSI X3.23-1985 (R1991), Programming languages — COBOL. |
| 42 | ANSI X3.226-1994, Information Technology — Programming Language — Common Lisp. |
| 43 | ANSI X3.53-1976 (R1998), Programming languages — PL/I. |
| 44 | ANSI/IEEE 1178-1990, IEEE Standard for the Scheme Programming Language. |
| 45 | ANSI/NCITS 319-1998, Information Technology — Programming Languages — Smalltalk. |
Books, articles, and other documents
| 46 | J. S. Squire (ed), Ada Letters, vol. XI, No. 7, ACM Press (1991). |
| 47 | M. Abramowitz and I. Stegun (eds), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, Tenth Printing, 1972, Superintendent of Documents, U.S. Government Printing Office, Washington, D.C. 20402. |
| 48 | J. Du Croz and M. Pont, The Development of a Floating-Point Validation Package, NAG Newsletter, No. 3, 1984. |
| 49 | J. W. Demmel and X. Li, Faster Numerical Algorithms via Exception Handling, 11th International Symposium on Computer Arithmetic, Winsor, Ontario, June 29 — July 2, 1993. |
| 50 | D. Goldberg, What Every Computer Scientist Should Know about Floating-Point Arithmetic. ACM Computing Surveys, Vol. 23, No. 1, March 1991. |
| 51 | J. R. Hauser, Handling Floating-Point Exceptions in Numeric Programs. ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2, March 1986, Pages 139-174. |
| 52 | W. Kahan, Branch Cuts for Complex Elementary Functions, or Much Ado about Nothing’s Sign Bit, Chapter 7 in The State of the Art in Numerical Analysis ed. by M. Powell and A. Iserles (1987) Oxford. |
| 53 | W. Kahan, Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic, Panel Discussion of Floating-Point Past, Present and Future, May 23, 1995, in a series of San Francisco Bay Area Computer Historical Perspectives, sponsored by SUN Microsystems Inc. |
| 54 | U. Kulisch and W. L. Miranker, Computer Arithmetic in Theory and Practice, Academic Press, 1981. |
| 55 | U. Kulisch and W. L. Miranker (eds), A New Approach to Scientific Computation, Academic Press, 1983. |
| 56 | D. C. Sorenson and P. T. P. Tang, On the Orthogonality of Eigenvectors Computed by Divideand-Conquer Techniques, SIAM Journal of Numerical Analysis, Vol. 28, No. 6, p. 1760, algorithm 5.3. |
| 57 | Floating-Point C Extensions in Technical Report Numerical C Extensions Committee X3J11, April 1995, SC22/WG14 N403, X3J11/95-004. |
| 58 | D. M. Gay, Correctly Rounded Binary-Decimal and Decimal-Binary Conversions, AT&T Bell Laboratories, Numerical Analysis Manuscript 90-10, November 1990. |
| 59 | M. Payne and R. Hanek, Radian Reduction for Trigonometric Functions, SIGNUM Newsletter, Vol. 18, January 1983. |
| 60 | M. Payne and R. Hanek, Degree Reduction for Trigonometric Functions, SIGNUM Newsletter, Vol. 18, April 1983. |
| 61 | N. L. Schryer, A Test of a Computer’s Floating-Point Unit, Computer Science Technical Report No. 89, AT&T Bell Laboratories, Murray Hill, NJ, 1981. |
| 62 | G. Bohlender, W. Walter, P Kornerup, D. W. Matula, Semantics for Exact Floating Point Operations, IEEE Arithmetic 10, 1992. |
| 63 | W. Walter et ah, Proposal for Accurate Floating-Point Vector Arithmetic, Mathematics and Computers in Simulation, vol. 35, no. 4, pp. 375-382, IMACS, 1993. |
| 64 | J. Gosling, B. Joy, G. Steele, The Java Language Specification. |
| 65 | S. Peyton Jones et ah, Report on the programming language Haskell 98, February 1999. |
| 66 | S. Peyton Jones et ah, Standard libraries for the Haskell 98 programming language, February 1999. |
| 67 | R. Milner, M. Tofte, R. Harper, and D. MacQueen, The Definition of Standard ML (Revised), The MIT Press, 1997, ISBN: 0-262-63181-4. |