[ruby-list:7050] Re: infinity

In message <[e-mail]>
[e-mail] (Keiju ISHITSUKA) writes:

> >  どうせなら Numeric.... と思ったら Complex < Numeric だった. それじゃ
> >  実数で.... と思ったら実は ruby には実数の Bignum は無かった (^^;
> 
> 実数のBignumってBigなFloatのことですよね?

  出してから正確な表現を思い出しました. 実数の抽象クラス.... というか, 
  「実数」というクラスです.

> >  謎の定義を与えると謎のバグに悩まされそうな. 少なくとも +0|-0 を無限
> >  小の意味で使うのだとすると -0 = 0 = +0 では「いけません」よね?
> 
> ですね... やはりNanなんでしょうね...

  そこが「考え方」というはなしなわけで,

> >> むりせずNanかなあ... Nanが一番強い数になるのが気に入りませんが...
> >
> >  考え方でしょうね. IEEE の浮動小数点数表現での無限大/無限小/非数値を
> >  表すのなら Float の定数であるべきで, NaN も存在するべきでしょう. 多
> >  分. 存在しているからにはそれを使っていることもあり得るわけで.

  こうつながってくる, と. 「不定な計算結果を与える演算は全て例外をあげ
  る」でもモデルとしては問題ないわけで.

  # IEEE の浮動小数点数表現では正負の無限大, 正負の 0, 非数字（NaN）が
  # 規定されているから, 「Float が IEEE の浮動小数点数表現である」のな
  # ら Float の定数として存在すべきだろう, という話.

> NaNの存在はよいとしても, 無限大/無限小がFloatになるというのが納得いか
> ないですよねえ... 例えば, Bigfloatの様なものを誰かが作ったとして, その
> 結果が無限大とかになるとFloatになるのは...
> 
> 無限大/無限小はある意味で精度が無限にあるわけですから, Floatとは別クラ
> スにした方が良いと思うのですが...

  で, こっちが Real クラスでも用意して.... という話の方になるわけです.
  無限大を表すクラスを作るとしても, やっぱりこちらのサブクラスになるで
  しょう.

  # 複素数の大小関係や, 無限大/無限小なぞ考えたくないし. ましてや 
  # Array や String と関係づけるのなんて不可能だし (^^;

> あ, でも, Floatの表現できる範囲を越えると無限大/小になってしまうんでし
> たよね? そうすると精度が無限にあるわけではないくて, Floatとしての無限
> 大なんですね...

  こちらはあくまでも IEEE にこだわった場合ですよね.

  # たぶん Float で表現できる範囲を超えても無限大/無限小になることはな
  # いと思いますが. オーバフローするだけですね

> >  # NaN については学部の時の先生が「数値表現といっているのに数値じゃな
> >  # いものが入っているなんて, 気持ち悪い」といってましたが (^^;
> 
> その気持ちは非常に良く分かります(^^;;;

  学会に出席して提案者に会うたびに「お前の方法はどこかで採用されたのか」
  とか, 「やっぱり採用されないだろう, こっちの方が優れているんだ」とか
  いじめられる, とも言ってました (^^;

===========================================================================
  柳川 @ 情報システム学研究科 . 電気通信大学
  [e-mail]                                  March 10, 1998
He knows most who speaks least.