From: keiju@... (=?ISO-2022-JP?B?GyRCQFBETTc9PHkbKEI=?= )
Date: 1998-03-20T11:17:05+09:00
Subject: [ruby-dev:1869] Re: infinity

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

In [ruby-dev :01864 ] the message: "[ruby-dev:1864] Re: infinity ", on
Mar/19 21:52(JST) Shugo Maeda writes:

>前田です。

>|おお. 割り切っていますね(^^;;; それはそれで良いかなとも思います.
>僕もこれに一票です:-)

(^^;;;

>|それにちょっとプラスした案ですが, 比較演算子2項演算子も 片方は普通の数
>|でなくてはいけないというのあるかと思います.
>|  a op Infinity
>|だけ定義するんですね. 
>
>これは1 < InfinityはOKだけど、Infinity > 1はNGということでしょうか？

あ. いえ. 両方OKです. 

  Infinity op (-)Infinity

を例外にするという意味でした. そうすると, 

  t < Inf
  0 < Inf - t
  1 < Int / t [t > 0]

などでも, 全ての数で同値になります. tが普通の数なら真, tがInfなら例外
(^^;;;

たぶん, 普通の数で成り立つ法則は全て満たされるのではないでしょうか?

# そうすると, Inf * 0 == 0 になるな(^^;;;

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