From: keiju@... (=?ISO-2022-JP?B?GyRCQFBETTc9PHkbKEI=?= )
Date: 1998-03-16T02:46:34+09:00
Subject: [ruby-dev:1792] Re: infinity

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

In [ruby-dev :01789 ] the message: "[ruby-dev:1789] Re: infinity ", on
Mar/15 21:28(JST) Shugo Maeda writes:

>前田です。

>確かにLimit[Limit[x op y, x -> a], y ->b]で収束しないものは例外にする、
>というのが、安全だろうというのは納得しているのですが、僕が極限値の計算
>は本当は明示的にしたい、と書いたのは、無限大を扱わない演算では普通の演
>算(?)なのに、無限大が絡む計算では極限値の計算になるのがモデル的にすっき
>りしないように思えたからなんです。

なるほど... そういう意味でしたか...

>とした時に、
>
>if index > max_length - 1
>
>くらいは許して欲しいというのもわかる気がするんですよね。

うーん. そうですか... 今の定義のままだとやはり不自然さがありますので, 
超準解析的な無限大がrubyで扱えるならその定義がよさそうな気がしています.

>|# まあ, 私が納得してもしょうがないんで, 実装する人(前田さん?)を納得さ
>|# せないと(^^;;; 
>え、そうなんですか(^^;

だってだいたいできているし(^^;;;

>万人が納得するInfinityを定義するのは難しいので、標準で用意する
>より、ユーザが自分で定義した方が良いのではないかという気もして
>きたのですが...。

まあ, それもそうですが(^^;;; そうは言わずにね(^^;;;

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