From: shugo@... (Shugo Maeda)
Date: 1998-03-11T11:49:05+09:00
Subject: [ruby-dev:1670] Re: infinity

前田です。

In message "[ruby-dev:1665] Re: infinity"
Kazuhisa YANAGAWA <katze@yuba.is.uec.ac.jp> wrote:

|> それで、require 'mathn'すると1 / 0でその無限大定数を返すと良さそうで
|> すね。
|
|  それはまずいでしょう. 1/0 は不定です. 1/x の右極限は正の無限大. 左極
|  限は負の無限大.  0 == +0 というのなら問題はありませんが, こんどは本
|  当の 0 がなくなってしまう.

そうですね、でもそうすると、

In message "[ruby-dev:1662] Re: [ruby-list:7057] Re: infinity"
Yukihiro Matsumoto <matz@netlab.co.jp> wrote:

||最後に数学的な無限大ですが, Inf/Nanとは別にNumericかRealの下にクラスを
||導入して定数として実装するというのはどうでしょう?
|
|これってどういう時に使うんですか？

という疑問が...。

結局別のクラスで無限大を定義したとしてもkind_of?(Float)でなくなる
以外はFloat::Infと同じような振舞いになるんですよね?
汎用プログラミング言語のライブラリなのだから、数学的なモデルに拘ら
なくても、浮動小数点数演算の都合でできたようなFloat::Infでよいよう
な気がしてきました。
極限などを扱ったりするのはMathematicaなどの他の言語に任せるということで。

-- 
前田 修吾