IEEE 754-1985 Floating-Point Arithmetic等々のメモ I

IEEE Standard for Binary Floating-Point Arithmetic,
　ANSI/IEEE Std 754-1985 (IEEE 754)
　The Institute of Electrical and Electronics Engineers, Inc, 1985
　　http://www.validlab.com/754R/standards/754.html
　IEEE 754: Standard for Binary Floating-Point Arithmetic
　　http://grouper.ieee.org/groups/754/
　Supplemental Readings for IEEE 754 / 854
　　http://grouper.ieee.org/groups/754/reading.html
　IEEE 754 Revision Work
　　http://grouper.ieee.org/groups/754/revision.html


Validlab home page
　http://www.validlab.com/


"An Interview with the Old Man of Floating-Point", 20 Feb. 1998
　This interview underlies an abbreviated version to appear in the March 1998 issue of IEEE Computer.
　　http://www.cs.berkeley.edu/~wkahan/ieee754status/754story.html
　"IEEE 754: An Interview with William Kahan",
　　IEEE Computer, March 1998
　　　http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/mags/co/&toc=comp/mags/co/1998/03/r3toc.xml&DOI=10.1109/MC.1998.10038
"Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Poing Arithmetic",
　William Kahan, October 1, 1997
　　http://www.cs.berkeley.edu/~wkahan/ieee754status/IEEE754.PDF
"Why we needed a floating-point standard",
　William Kahan, Feburary 12, 1981
　　http://www.cs.berkeley.edu/~wkahan/ieee754status/why-ieee.pdf

"Annotated floating point bibliography", August 1, 2001
　David Bindel, Computer Science Division, UC Berkeley
　　http://www.cs.berkeley.edu/~dbindel/class/cs279/dsb-bib.pdf
"System Support for Scientific Computation", Spring 2001
　Course documents for CS 279
　Notes on Floating-Point Computation
　　http://www.cs.berkeley.edu/~dbindel/class/cs279/cs279.html

"What every computer scientist should know about floating-point arithmetic",
　David Goldberg, Xerox Palo Alto Research Center,
　ACM Computing Surveys, Volume 23, Issue 1, 1991
　　http://portal.acm.org/citation.cfm?id=103162.103163&dl=ACM&dl=ACM&idx=103162&part=periodical&WantType=periodical&title=ACM%20Computing%20Surveys%20%28CSUR%29&CFID=62547224&CFTOKEN=28428510
"What Every Computer Scientist Should Know about Floating-Point Arithmetic",
　David Goldberg, Sun Microsystems, Inc., Revision A, June 1992
　　http://docs.sun.com/app/docs/doc/800-7895


"Numerical Computing with IEEE Floating Point Arithmetic",
　Michael L. Overton, New York University
　SIAM in 2001. A corrected reprinting (with soft cover) appeared in 2004.
　　http://www.ec-securehost.com/SIAM/ot76.html
　Michael L. Overton
　Professor of Computer Science and Mathematics
　Courant Institute of Mathematical Sciences, New York University
　　http://www.cs.nyu.edu/cs/faculty/overton/
　　http://www.cs.nyu.edu/cs/faculty/overton/book/index.html

"Performance Optimization of Numerically Intensive Codes",
　Stefan Goedecker and Adolfy Hoisie,
　SIAM Software, Environments, and Tools 12, 2001
　　http://www.ec-securehost.com/SIAM/SE12.html#SE12
　Performance and Architecture Laboratory (PAL)
　　Team Leader: Adolfy Hoisie
　　http://www.c3.lanl.gov/pal/index.shtml
　　Modeling, Algorithms, & Informatics(CCS-3 Group)
　　http://www.c3.lanl.gov/ccs3web/teams.html
　　Los Alamos National Laboratory


"IEEE floating-point standard"
　From Wikipedia, the free encyclopedia.
　　http://en.wikipedia.org/wiki/IEEE_754
"浮動小数点数"
　出典: フリー百科事典『ウィキペディア（Wikipedia）』
　　http://ja.wikipedia.org/wiki/%E6%B5%AE%E5%8B%95%E5%B0%8F%E6%95%B0%E7%82%B9%E6%95%B0


"IEEE754と数値計算-浮動小数点演算の特徴とは?",
　皆本晃弥, 九州大学情報基盤センター広報 Vol.2, No.1, 2002年
　※(注意)a=0.1となっているところはa=1.0/10.0として下さい。
　　http://www.ma.is.saga-u.ac.jp/minamoto/doc/kyudai.pdf


IEEE 754 floating-point test software
　Nelson H. F. Beebe, Department of Mathematics, University of Utah
　Original version: Oct 15, 2002
　http://www.math.utah.edu/~beebe/software/ieee/
　"This directory contains a small collection of test programs for examining the
　 behavior of IEEE 754 floating-point arithmetic, together with test input and output
　 files. There are also a few additional test programs for other data types."


"Information technology - Programming languages -
　Floating-Point Exception Handling",
　Working draft of ISO/IEC TR 15580,
　ISO/IEC JTC1/SC22/WG5, Draft second edition, 19th January 2000
　　ftp://ftp.nag.co.uk/sc22wg5/N1351-N1400/N1378.pdf


IEEE 754-1985 Floating-Point Arithmetic等々のメモ II, 2006-01-16