From: keiju@... (=?ISO-2022-JP?B?GyRCQFBETTc9PHkbKEI=?=)
Date: 2002-04-10T00:28:20+09:00
Subject: [ruby-dev:16813] Re: if Re: BigFloat

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

In [ruby-dev :16811 ] the message: "[ruby-dev:16811] Re: if Re:
BigFloat ", on Apr/10 00:01(JST) "Shigeo Kobayashi" writes:

>小林です。

>> > うーん. 昔ありましたね.
>> 検索してみたんですが、なかなか探せなくて．．．、
>やっと、見つけたような．．．
>
> [ruby-dev:5400]辺りの議論でしょうか？

先来された. 私もやっと見つけました(^^;;; そこいらだったと思います.

>｜の２つの違いが良く見えますね。
>｜{ { Fixnum, Bignum, Rational } { Float, Bigfloat } { Complex, Matrix } }
>｜の様な、３つの集合にわかれますね。
>
>とありますが、ここでのBigfloatは２進を前提に議論されて
>いますよね。私としては
>{ { Fixnum,Bignum,BigDecimal,Rational } {Float,Bigfloat } { Complex,
>Matrix } }
>であると考えているのですが？

なるほど, 小林さんのBigDecimalの定義が見えてきました. が,

BigDecimal/BigDecimalは必ずしもtaint性は保てませんし,

  sin(BigDecimal) -> BigDecimal

とかもです. やはり,

{Integer,Rational} とは区別したほうがよいと思います. 

BigDecimal/BigDecimal -> Rational

って手もありますが(^^;;; もともと, 観測値という言葉があった通り
BigDecimalは, 誤差を含む数であり, {Integer,Rational}は論理的に定義された
値であり, 目的も違うので, 区別したほうがよいかと思いますが?

__
..............................石塚 圭樹＠日本ラショナルソフトウェア...
----------------------------------->> e-mail: keiju@rational.com <<---