From: EGUCHI Osamu <eguchi@...>
Date: 1999-02-01T10:15:39+09:00
Subject: [ruby-dev:4545] Re: Inf.0

えぐち＠エスアンドイー です。

>>> On Mon, 1 Feb 1999 09:11:10 +0900, gotoken@math.sci.hokudai.ac.jp (GOTO Kentaro) said:

gotoken> ごとけんです
gotoken> 
gotoken> In message "[ruby-dev:4527] Re: Inf.0"
gotoken>     on 99/01/31, EGUCHI Osamu <eguchi@shizuokanet.ne.jp> writes:
gotoken> 
gotoken> >えぐち＠エスアンドイー です。
gotoken> 
gotoken> >追求するかわりに過去ログみたら、ほぼ同じ議論が
gotoken> >
gotoken> >    1998/03/09 23:08 tadf@kt.rim.or.jp [ruby-list:7023] infinity     
gotoken> >
gotoken> >に続くスレッドにありました。
gotoken> 
gotoken> クラスを作るにしても Infinity < Numeric かどうかはかなり
gotoken> 恣意性があって大変そうですね．

この種の問題は、数学的美意識と計算機の実装とのギャップが
顕著に現れるところですね。

gotoken> >となるのは、 [ruby-list:11758] と同種の問題に思えますが、
gotoken> >FreeBSD でも C 単純なプログラムを動かすと core は吐きません。
gotoken> 
gotoken> 変数同士の演算結果を代入しないと FPU は使われないようです．
gotoken> 
gotoken>   main()
gotoken>   {
gotoken>       double a,b,c;
gotoken>       a = 1e99;
gotoken>       b = 1e-300;
gotoken>       c = a/b;  /* Floating exception raise here! */
gotoken>       printf("%f\n",c);
gotoken>   }

なるほど、 cc -S しましょう、と言う事ですね。

	えぐち