IEEE 754 Binary Floating-Point Arithmetic

参考資料

• 754-1985 IEEE Standard for Binary Floating-Point Arithmetic , ISBN: 0-7381-1165-1, 1985.
• ISO 31-0 Quantities and units -- Part 0: General Principles, 1992.
  “Annex B (informative) Guide to the rounding of numbers”に，数値の丸め方が参考として記載されている． この文書では，いわゆる四捨五入と最近値丸めの2種類を紹介している （いずれも丸め処理の手順を紹介しているのみで丸め処理の名称については触れられていない）． この部分は“informative”（参考）なので，規定ではなく，あくまで参考までに載せているという扱いになる． ISOサイトよりPDF版をダウンロード購入できる． 102スイス フラン（CHF）とメチャくちゃ高い ［2006-08-29現在．2004-01-19に購入した際には97CHF（当時のレートで8940円）でしたが，最近値上げしたようです． ISOの規格文書はかなり大雑把に値段が決められているので，ページ数の少ない文書はなんだか損した感じがします…．］
• Knuth: "The Art of Computer Programming", vol. 2 Seminumerical Algorithms, 3rd ed., Addison-Wesley, 1997. ISBN 0-201-89684-2
  4.2. Floating Point Arithmetic に浮動小数点に関する諸問題が（イヤになるほど）詳しく書いてある．
• IEEE
  ShopIEEEでIEEEの規格文書・出版物などが購入できる． 規格文書については たいていPDF版がダウンロード購入でき， IEEE 754-1985についてもPDF版が53ドル（IEEE会員価格42ドル）で入手できる［2006-08-15現在］．
• UCB IEEE 754: Standard for Binary Floating-Point Arithmetic
  標準化委員会の委員のための連絡掲示板みたいなもの？ 現行規格の問題点などについて，わりとまとまった説明資料がおいてあり，参考になる． IEEE 854 10進浮動小数点演算についての資料もある．
• 数値計算ガイド
  浮動小数点演算について
  こういうのを発見するたびに思うのだけど，docs.sun.comのドキュメントはホントすばらしいです．
• IBM Java理論と実践: ポイントは何処ですか？ （原文 Java theory and practice: Where's your point?）
  Java向けにかかれているけど，基本的なところはJava以外の言語でも同じ． 2進浮動小数点数をあつかうときの注意点や推奨されるコードの書き方など，わかりやすく具体的にかかれているので，まず基本的なことを知りたいという人にオススメ．
• IEC 60559 {Ed.2.0} Binary floating-point arithmetic for microprocessor systems, 1989-01-30（2005年改訂済み？）
  Preview版で目次を確認したところ IEEE 754と同一の文書のようだ（文書の題名が微妙に違うのとフランス語？訳と英語のバイリンガルになっている点が違っている）． ISOのサイトで調べると，IEC 559:1989という番号でヒットする．
• 規格文書の閲覧・ダウンロード購入
• IEEE 754-2008（10進浮動が取り込まれた版）関連
  • IEEE 754 revision (IEEE 754r)
  • Densely Packed Decimal (DPD)
  • DRAFT Standard for Floating-Point Arithmetic IEEE P754 (Draft 1.5.0)