From: Shigeo Kobayashi <shigeo@...>
Date: 2002-04-10T15:18:38+09:00
Subject: [ruby-dev:16825] Re: if Re: BigFloat

小林です。

----- Original Message -----
From: "Take_tk" <ggb03124@nifty.ne.jp>
Subject: [ruby-dev:16820] Re: if Re: BigFloat


> たけ(tk)です。
どうもです。

> 　BigDecimal ＝ Rational( Bignum , 10**n )
>
> みたいな感じではないのですか？。
私のイメージは正にこれです。 ;;^^
だから、BigDecimalもBignumも同じような存在。
違うのは小数点の位置だけ（って言い過ぎ？）。

石塚さん、原さんもこれを踏まえた上で
　FloatやBigDecimalは最初から誤差を内在させている。
　Integer（Fixnum,Bignum）やRationalは、そのような世界
　とは無関係でありたい。
と主張されているように取れるのです。　違うかなぁ？

私は
  １．数値自体の問題（誤差）と演算とは別けて考える。
　２．Float op Rational -> （Float、Rational） 共に ２進
　　　１０進の相互変換で「元の誤差＋循環小数の打
　　　ち切り」という新たな「変換誤差」を持ち込んでし
　　　まう。従って（共に不完全であるが故に）
　　　 Float op Rational -> Float は納得。
　３．しかし、BigDecimal op Rational -> Rationalでは循
　　　環小数は生じない。なのに、わざわざ生じさせる
       BigDecimal op Rational -> BigDecimal は疑問。
と主張しているわけです。

これはもう「美的センス」と「結果が出て何ぼ」の世界の違
いかなぁ？

------------------
小林 茂雄
shigeo@tinyforest.jp