fortran66 https://blog.hatena.ne.jp/fortran66/ fortran66のブログ https://fortran66.hatenablog.com/ IEEE754 の規格では、加減乗除の二項演算について、実数とその浮動小数点数表現の構造が保たれることを要求しています。つまり、加算の場合を例にとると、 a + b = c fl(a) + fl(b)= fl(a + b) = fl(c)この性質があるので、実数の可換な性質は保たれます。（overflow とかしなければ） fl(a) + fl(b)= fl(a + b) = fl(b + a) = fl(b) + fl(a)一方、実数で成り立つもっと基本的な演算規則である結合則の方は、三項演算に相当していて、規格からの要請もなく（たぶんｗ）成り立たない場合があります。「桁落ち」や「積み残し」… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffortran66.hatenablog.com%2Fentry%2F2017%2F05%2F20%2F001554" title="浮動小数点数では結合則が成り立たない - fortran66のブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-05-20 00:15:54 rich https://fortran66.hatenablog.com/entry/2017/05/20/001554 1.0 100%