fortran66 https://blog.hatena.ne.jp/fortran66/ fortran66のブログ https://fortran66.hatenablog.com/ NaN など 標準的な実数の公理系では 0 / 0 とかは未定義だが、IEEE754 で NaN を数直線上の順序集合とは独立した元として付け加えて、一種の non standard analysis 的な拡大した系に演算規則を導入しているので、NaN が絡むと排中律も成り立たないし x==x が偽で x/=x が真となったりしている。 ついでに無限小も加えればいい気もする。 整数の方は符号なしで考えれば mod 232,64 の剰余演算で理解できるが、２の補数表現で負の数を考えると 0 以外にも -x == x となるような数が出てしまう。 use, intrinsic :: iso_for… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffortran66.hatenablog.com%2Fentry%2F2020%2F07%2F10%2F015414" 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 2020-07-10 01:54:14 rich https://fortran66.hatenablog.com/entry/2020/07/10/015414 1.0 100%