[ruby-dev:4821] Re: compare to NaN (Re: Re: call for finite/isnan testers)

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

>>> On Sun, 7 Feb 1999 16:39:22 +0900, [e-mail] (石塚圭樹 ) said:

keiju> けいじゅ＠日本ラショナルソフトウェアです.
keiju> 
keiju> In [ruby-dev :4813 ] the message: "[ruby-dev:4813] Re: compare to NaN
keiju> (Re: Re: call for finite/isnan testers) ", on Feb/07 16:26(JST) EGUCHI
keiju> Osamu writes:
keiju> 
keiju> >えぐち＠エスアンドイー です。
keiju> 
keiju> >拝見しました。
keiju> >深い議論があったのですね。
keiju> 
keiju> ですね(^^;;; 
keiju> 
keiju> >さて、inf と nan のポータブルな生成方法ですが、
keiju> >それ以前に、「本当にRuby の定数として必要か？」に
keiju> >若干の疑問を感じはじめました。
keiju> 
keiju> 確かにその意見もあるかも知れないですね. 状態であると考えるわけですね.

無限／非数との一致は検査したいと思いますが、
式の中に無限が登場するのは、いまはあまり良い考えでは
ないと思っています。

keiju> >IEEE 準拠と言う見方から、Float::INFINITY でよいように思えてきました。
keiju> >

具体的には番人に使うケースぐらいしか思い当たらないので、
それならば、

     →	Float::Max
	Float::Min

で良いと思います。

非数の値を得たい、言う考え自体は私は放棄しました。

keiju> >数学の無限と、IEEE の無限を同一視する事が問題かも知れません。
keiju> >
keiju> > isinf(1e999) => TRUE
keiju> >
keiju> >なあたり、計算機としての特性が理由で数学の無限とは食い違うのは
keiju> >なかばしかたないと言う事で、現実的な用途に適応した仕様を
keiju> >Ruby としては、探す必要があると思います。
keiju> 
keiju> 私も今はその考えに近いです.

Ruby の Float は名前の通り、計算機の中で扱われる
浮動小数点数のクラスなので、数学の実数は Real として
実装する(実装できるようにする)のが良いと思います。

keiju> >話が飛びますが、BigFloat の私の持っているイメージですが、
keiju> >
keiju> >  長い固定長の仮数部と Bignum の指数部をもつ浮動小数
keiju> >
keiju> >をイメージしています。
keiju> >＃大きく違ったイメージを持っている人いますか？
keiju> 
keiju> BigFloatは昔作りました(四則演算だけ). そのときは
keiju> 
keiju>   仮数部
keiju>   指数部
keiju>   精度(デフォルトのクラス定数(変数)としての精度と, 個別の精度)
keiju> 
keiju> を持つものとして定義しました. 
keiju> 
keiju> 精度がないと, 1/3とか切りがなくなりますので. 

有理数の全てを仮数／指数の対で表そうとすると、
この循環小数問題は避けがたいですね。

私は、固定精度を想定したのですが、
なるほど、可変精度を実装するわけですね、

この場合は、演算結果の精度のがいくつになるかの規則が問題ですね。

例えば
  加限算は、絶対値の大きな項の精度になる
  乗除算は、精度の小さな項の精度になる
などです。

仮に BigFloat(仮数, １０を底とした指数, １０を底とした精度) とすると

  a = BigFloat(1.2, 3, 3)
  b = BigFloat(1.8, 0, 4)

  a + b  ==> BigFloat(1.22, 3, 3)
  a * b  ==> BigFloat(2.16, 3, 3)

と言う意味です。

四則で既に問題なので、Math 相当の関数全てについて値の精度に
配慮するのは、かなり厄介ですね。

keiju> # 実装はしても, テストが中途半端なままほっといてんですが(^^;;;

ありのままな状態で良いので、是非拝見したいです。

	えぐち