エラーフリー変換の紹介および FastTwoSum アルゴリズムの紹介と証明 -- glibc のコードを読むための参考に --

小清水 (@curekoshimizu) です。仕事が忙しくなかなか更新する余力がありませんでしたが一年半振りにブログを更新します！エラーフリー変換とは？浮動小数点数の計算というのは、このブログで何度も紹介していますが、丸め誤差を伴います。簡単なとい…

2017-08-06

FMA (Fused Multiply-Add) について色んな観点でまとめてみた

小清水 (@curekoshimizu) です。本日は FMA についてお話したいと思います。 FMA とは？ FMA とは Fused Multiply-Add ことでの演算のことです。ここではの丸めを表しました。本当にただこれだけの内容なのですが、今回の記事は、この FMA について熱…

2017-07-28

逆数の近似命令と精度補正について (その1)

小清水 (@curekoshimizu) です。久しぶりの投稿になります。長期にわたり転職活動をしており、かなり投稿に時間が空いてしまいました。今回の記事はに関する内容です！逆数の近似から精度を高めたい！！！の近似値が与えられたときに精度を高めたい…

2017-04-23

丸め誤差界の Hello World 的定理 -- Sterbenz の定理

小清水 (@curekoshimizu) です。昨日は数学カフェに初めて参加させていただき、機械学習について刺激を受けました！ connpass.com その中で、コイン投げは確率界の Hello World というフレーズを聞いてなるほどなるほど！と感じました。そして、そう…

2017-04-01

エイプリルフールだし「1=2」を別の方法で証明してみた

小清水(@curekoshimizu) です。久々のブログ投稿になります！今日はロマンティック数学ナイトボーイズがありました！そこで 2進数フレンズという内容で発表させていただきまして、その発表資料はこちらです：今日はこの発表資料をつかって、「1 = 2…

2017-02-05

計算環境の精度を当てる ― 解説編 ―

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

2017-01-22

計算環境の精度を当てる ― Intel CPU と Excel への応用 ―

小清水 (@curekoshimizu) です。計算ツールに対してその計算精度がわかると便利ではないでしょうか？例えば、コンピュータにのっているその Excel はどのくらいの精度で計算してくれる？こうしたアプリケーションだけでなく、そのコンピュータの中…

2017-01-03

expm1 や pow などの指数・対数函数への考察

小清水 (@curekoshimizu) です。今日はの乗、について考えてみたいと思います。この定義ってどのように習いましたでしょうか？とを定義した後ににより定義していたかと思います。この記事ではいったん複素数のことは忘れましょう。多価関数が...と…

2016-12-22

素数大富豪だけじゃなく HEX もやろう！ ― 紹介編―

小清水です。 (@curekoshimizu) twitter 上で素数大富豪が大変流行ってるのを目撃しております！素数大富豪アドベントカレンダーもつくられており楽しそうです！ HEX の提案！そんな数学コミュニティに流行って欲しいゲームがあります。それが HEX で…

2016-12-15

Newton法でつながるコンピューターと数学の隙間

小清水 (@curekoshimizu) です。この記事は日曜数学 Advent Calendar 2016 の 15日目の記事になります。日曜数学ということばを各所で聞いて、僕も数学科時代のわくわく数学を社会人になっても感じたい・伝えたい！そう思うようになりました！現在…

2016-12-11

Excelでおかしな計算結果になった問題の正解値を求める

小清水 (@curekoshimizu) です。以前紹介した記事に math-koshimizu.hatenablog.jp がありました。この内容はざっくりいいますとの場合のの値を Excel で計算すると 1.17260394... 真の解は -0.827396... であると紹介しました。正しい結果の計算方法を…