[ruby-dev:1789] Re: infinity

前田です。

In message "[ruby-dev:1781] Re: infinity"
石塚圭樹 <[e-mail]> wrote:

|>やはり理想的には極限値の計算はMathematicaみたいに明示的に
|>するべきなんでしょうね。
|
|半分はあったっていますが, 半分は間違っています. 先ほどもいいましたが, 
|私がいっている定義は一番安全な定義なんです. この方法で収束するものはど
|のようにやっても同じ値になります.
|
|収束しないものは, 極限の取り方によって任意の値にできるので, むりせず例
|外にしているわけです.

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

In message "[ruby-dev:1788] Re: infinity"
Shin-ichiro HARA <[e-mail]> wrote:

|本当は Infinity には「比較のみ定義するあるいは番兵役のみ」に一票
|です。演算ができてありがたい局面ってどんな時かな。

僕も本当は比較のみにした方が無難だと思うのですが、

max_length = Infinity

とした時に、

if index > max_length - 1

くらいは許して欲しいというのもわかる気がするんですよね。

In message "[ruby-dev:1786] Re: infinity"
石塚圭樹 <[e-mail]> wrote:

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

え、そうなんですか(^^;

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

-- 
前田 修吾