From: keiju@... (=?ISO-2022-JP?B?GyRCQFBETTc9PHkbKEI=?= )
Date: 1998-03-13T18:18:43+09:00
Subject: [ruby-dev:1774] Re: infinity

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

In [ruby-dev :01770 ] the message: "[ruby-dev:1770] Re: infinity ", on
Mar/13 17:59(JST) Shugo Maeda writes:

>前田です。

>1.0 / Infinityも+0.0であって0.0ではないのではないでしょうか。
>極限値を求めるような演算は例外ということで良いと思うのですが。

それをいうと他のものも例外になってしまうので, いつも安全な結果が出るも
のは認めても良いともいます.

+0.0なんて書き方をしたのが良くなかったですね. 極限をとるという意味で書
きました.

lim(x->+0) 1/x = +∞, lim(x->-0) 1/x = ∞ 

なので lim(x->+0) 1/x は求まりません.

lim(x->∞) 1/x = 0

はどのようにやっても結果は変わりませんので良いと思うんです. 

In [ruby-dev :01771 ] the message: "[ruby-dev:1771] Re: infinity ", on
Mar/13 18:03(JST) Shugo Maeda writes:

>前田です。

>|極限値を求めるような演算は例外ということで良いと思うのですが。
>
>と思いましたが、そうするとInfinityの演算はほとんど例外になって
>しまいますね。
>Infinityに対しては比較演算しか許さないというのも、それはそれで
>すっきりしているような気がしますけど...。

それがですね.

こういう話しをし出すと, それよりも比較の方が危険ですよね.

lim(x->∞, y->∞) x - y --> 不定

これだと, 話しになりませんので, 極限の意味ではなくて以前原さんがいった
意味での無限と捉えることにしましょう. 

# 名前忘れた, 順序数? 極限数? 何でしたっけ? n.succ == n となる最初の数
# です.

そうすると比較は可能になります.

さらに, 演算も可能なのですが, 難しいし(四則演算以外)通常意味がないので
全部例外にすると(^^;;;

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