理想の浮動小数点数である「浜田のURR」を理解する - Qiita

はじめに コンピュータでの標準的な「実数」の表現のしかたに「浮動小数点数」がある。浮動小数点数の符号化の様式は、IEEE 754で標準化されている。ここに定義されている符号化のやりかたは、実用的な意味では、よくできている。ただ、数学的な意味で、より洗練された符号化のやりかたがある。それが「浜田のURR(Universal Representation of Real numbers)」だ。この符号化を、Haskellのコードを書きながら理解していこう。 注記 ここで書くコードは、URRのおもに数学的な定義を理解することを目的としたものなので、必ずしも効率的なコードではない。「わかりやすさ」と「効率」とでは前者を優先する。 読むかたへ とりあえず、書ききりました。ただ、最後のほうは、だいぶつかれていますので、やや説明が雑かもしれません。まちがいなどありましたら「やさしく」ご指摘ください。わか

[igrep]

"「範囲をせばめていくことで、ビット列を値にする/値をビット列にする」"

[tumo300-500]

おもしろ / 算術符号化っぽい