[1] IEEE Standard for Binary Floating-Point Arithmetic http://www.validlab.com/754R/standards/754.html (名無しさん)
[2] 第一週 http://www.oishi.info.waseda.ac.jp/~oishi/lec2003/float.htm (名無しさん)
[3] はてなダイアリー - NyaRuRuの日記 http://d.hatena.ne.jp/NyaRuRu/20040821 (名無しさん)
[4] Bibliography (Other Langage) http://www-amano.aa.cs.keio.ac.jp/members/kawaguti/memofpu/biblio.html (名無しさん)
[5] http://www.ma.is.saga-u.ac.jp/minamoto/doc/kyudai.pdf (名無しさん)
| a | b | 演算 | 結果 |
|---|---|---|---|
| INF | * | 比較 | 未定義 |
| INF | * | 同値 | 未定義 |
| INF | -INF | + | NaN |
| 0 | INF | * | NaN |
| 0 | 0 | / | NaN |
| INF | INF | / | NaN |
| 負 | ・-1/2 | NaN |
[7] XQuery 1.0 and XPath 2.0 Functions and Operators (Second Edition) ( ( 版)) http://www.w3.org/TR/2010/REC-xpath-functions-20101214/#numeric-types
[8] IEEE 754: Standard for Binary Floating-Point Arithmetic ( (E. Jason Riedy <jason@acm.org> 著, 版)) http://grouper.ieee.org/groups/754/
[9] double が IEEE 754 かどうか - IT戦記 ( ( 版)) http://d.hatena.ne.jp/amachang/20090528/1243493912
[10] XPath and XQuery Functions and Operators 3.1 () https://www.w3.org/TR/2017/REC-xpath-functions-31-20170321/#op.numeric
[11] RFC 8135 - Complex Addressing in IPv6 () https://tools.ietf.org/html/rfc8135
[13] JSON Profile of XACML 3.0 Version 1.1, , https://docs.oasis-open.org/xacml/xacml-json-http/v1.1/os/xacml-json-http-v1.1-os.html#_Toc401871713
[14] RFC 4506: XDR: External Data Representation Standard, , https://www.rfc-editor.org/rfc/rfc4506.html#section-11