[ruby-dev:6302] Re: Precision in Mathematica (Re: Bigfloat)

けいじゅ＠日本ラショナルソフトウェアです.

In [ruby-dev :6238 ] the message: "[ruby-dev:6238] Re: Precision in
Mathematica (Re: Bigfloat) ", on Mar/12 01:35(JST) EGUCHI Osamu
writes:

>えぐち＠エスアンドイー です。

>keiju> >調べた範囲では良くわからないのですが、
>keiju> >  1.0/0.0 => NaN
>keiju> >という時期があったのですか？
>keiju> 
>keiju> ああ. ごめんなさい / と % をごっちゃにしていました.
>
>『1.0/0.0 => NaN ではないのか？！』と言う議論が
>始まると、内心勝ち目がない様な気がしてました ^^;;;;;;

気分的にはそうですが, 原さんともうその話しはしないと誓ったので(^^;;;

# 誰も誓ってないって? 

>keiju> いや. もうこの件については拘るつもりはありません(^^;;;
>
>ホゥ！ ^^)l

まあ, そういうことですので(^^;;

>keiju> IEE735(でしたっけ)の仕様であればそれで良いと思います.

>IEEE754 ですね、結局これと異なる解釈をする事は可能ですが、
>H/W の FPU やライブラリの支援が得られなく、なるのが難点ですね。

確かにそういう話しもありますね.

>keiju> >それにしても、 1.0%0.0 => 1.0 は思い当たるものがないです。
>keiju> >ところでＯＳは何を御使用でしょうか？
>keiju> dim% uname -a
>keiju> Linux dim 2.0.30 #1 Mon Nov 10 14:08:33 JST 1997 i586 unknown
>keiju> >ruby -v の結果を教えて下さい。
>keiju> dim% ruby -v
>keiju> ruby 1.3.1(99/02/25) [i586-linux]
>keiju> 
>keiju> です.
>
>OS 自体は再現環境がありませんが、 pentium の様ですし、
>多分 gcc でしょうから、思い当たるものがありません。 @_@

そうそうです.

>keiju> デバッガで見てみたところ. 

>keiju> って感じです. value, resultは以下の行です. 
>keiju> 
>keiju>     result = fmod(RFLOAT(x)->value, value);
>
>IEEE754 は、この場合 remainder() を使う事を指定しています。
>このことが関連しているのでしょうか？
>
>それにしても、 1.0%0.0 => 1.0 は、どう解釈してもおかしい ???

なにをしたら原因が分かりますでしょうか?

>keiju> # 0.0って9.1245819032751532e-313なんですね.... 
>keiju> # floatに対する信頼性がさらになくなるなあ...
>
>実際は、この値に相当するビットパターンをライブラリ等は
>特別扱いしてるわけですが、デバガで見えてしまうと、
>なにか恥ずかしいですね ^^;;;;

すると, 0.0は実際に9.1245819032751532e-313なんですか... そうか... 仮数
部0にしていても, 省略された再上位の1があるから完全に0はないんですね...

__
................................石塚 圭樹＠日本ラショナルソフトェア...
----------------------------------->> e-mail: [e-mail] <<---