小清水さんとコンピューター数学

小清水 です。 (@curekoshimizu) 前回の記事は 「計算環境の精度を当てる ― Intel CPU と Excel への応用 ―」というタイトルで、 進 桁浮動小数点環境 の 基数 と 精度 を当てる！ という話でした。 (一部 Excel の謎挙動を紹介) math-koshimizu.hatenablog.jp 前回は証明を掲載していなかったため、 今回は証明に主眼をお…