[ruby-dev:5163] Re: compare to NaN (Re: Re: call for finite/isnan testers)

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

やはり溜ったメイルは返さないと(^^;;;

In [ruby-dev :4990 ] the message: "[ruby-dev:4990] Re: compare to NaN
(Re: Re: call for finite/isnan testers) ", on Feb/11 01:57(JST) EGUCHI
Osamu writes:

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

>keiju> >(特許の方じゃなく、塵埃の方の)クリーンルームで御仕事する人です。
>keiju> つまらない疑問ですが, NCとかそっち系統っていうわけでもないんですよね?
>
>NC って Network computer ですかぁ 、、と言うお約束の惚けは置いといて、、

(^^;;;

>昔、簡易ＣＮＣのＧコードの解析部分を少しやりましたが、
>今はその方面から少しはなれています。＃２軸の位置決め位は使いますが、、
>いまやっているマシンはエキタキシャル成長装置； シリコン関係です。

うーん. うーん. とにかくそういう関係のお方なんですね. リアルタイム系も
オブジェクト指向を適用しようって話しはだんだん出てきているみたいですね.

私の回りでもチラホラそういう話しが出ていますが, 私は関わりたくないなと
(^^;;;

>丸めの事を考えると、真剣に２進でやるのでしょうが、
>その実装は、、それこそＣでやりましょう。

期待しています(^^;;;

>keiju> >Float#<=> は実は、Integer#<=>そのものだと言うあたりの
>keiju> >影響は受けました。
>keiju> うーん. 興味あるなあ... どういうフォーマットですか?
>keiju> 
>
>	| 符合 | 下駄履き指数 | 仮数(絶対値) |
>
>となっており、
>
>	符合： 0:+ 1:-
>	指数： 0:最小, n/2:セロ乗, n:最大
>	仮数： 最上位ビットが立つように正規化した上で
>               必ず立つ MSB を除いたもの
>
>です。指数に下駄を履かせてあるので
>符合側を上位ワードとみなし、整数の比較を
>行なうと浮動小数としても正しい比較が出来ます。
>アセンブラの基本的な比較命令で実装できるわけです。

はいはい. なるほど. 

>これのアイディアを借用したのが、前出のメールの
>bigfloat.rb です。

なるほど. そうなっていますね. 

# それと比べると私のBigfloatはかなり汚い(^^;;;

>一瞬、上の順序で Array をレイアウトして実装しようと
>考えましたが、桁上がりや正規化が面倒すぎるので(ボ)でした。:-)

実行速度を考えてもやめた方が良いですよね. 今回のはコストのかかる部分が, 
bignumに任されていますので, このままでも結構使いものになると思います.

>ここでおっしゃる Real は抽象クラスですか？
>それとも、インスタンスを作れる具象クラスですか？

後者で考えていました. 具体的には, ごとけんさんのメイルのリプライを参照
して下さい.

# (予定)

>本当は、別個のところで開発されたクラスが
>うまく折り合えると良いのですが、一般性を
>シリアライズする機構が簡単には導き出せない様に
>思えるので、『早い者勝ち』主義になるのは必然ですね。

そうですね. 今の考え方は完全にそうなっていますね.

>イメージとしては RCS に対する CVS の様な
>並行開発／合成のモデルを実装できないでしょうか？

うーん. わかるようなわからないような...

>Complex や Matrix の様なコンテナ風なクラスと
>Integer, Float, Rational の様なスケーラなクラスで
>大きく処理が異なるように思えるのですが、
>スケーラな方は Float <=> Bignum 問題さえなければ
>有効数字の大きい方と言う一般則があるように思えます。
>＃今後作るクラスもか？と言う質問には良い答えがないです。^^;;

典型的にはそうなんでしょうが, 何時もそうなかというと保証ができないよう
な... いまの, coerceは正直いって面倒臭いですが, 多分適合不可能な数値関
連クラスってのはないと思います.

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