From: keiju@... (=?ISO-2022-JP?B?GyRCQFBETTc9PHkbKEI=?= )
Date: 1999-02-19T20:00:08+09:00
Subject: [ruby-dev:5350] Re: a genericity

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

In [ruby-dev :5303 ] the message: "[ruby-dev:5303] Re: a genericity ",
on Feb/19 10:56(JST) GOTO Kentaro writes:

>ごとけんです

>>>Integer や Float はそれぞれ実数の近似だと思っていますから．
>>># この議論も長引きそうです．
>>に関しては異論がありますが.
>
>これは石塚さんの校了後と言うことで (^^;;;

すでに, 半分突入していますが(^^;;; 

>>ちょっと調べた結果, 前にもいったようにSmalltalkは私と同じようなモデル
>>になっています(RubyのモデルはSmalltalkを元につくっているので当たり前で
>>すが). あと, CommonLisp(CLOS)も同じだそうです.
>
>このへんの仕様は，数値計算屋がチームに入ってるかどうかで
>変わるんだと思います．数値計算では Bignum のような遅いものは
>使わず，プロセッサで基本演算が行える固定幅の変数を使うので
>表現できる範囲の広い方に合わせないとしょっちゅう止まって
>困るといった事情があるのでしょう．ただそれが精度に関する
>ある種の慣習というかデフォルト感覚を生み出してるので
>プロセッサと関係ないという理由では無視しにくいとも思うです．

すくなくともSmalltalkは数値計算と無縁ですし, CommonLispも

(/ Integer Integer) => Fraction

を返すぐらいだからそういう問題ではないとは思います.

>>あと, Mathematicaとかがどうなっているか気になりますが, 調べられる人い
>>ますでしょうか??
>># 実際の処理系がどうなっているかを調べるのは, 今後のことを考えるとキッ
>># ト役に違いないと思います.
>そうですね．Mathematica については N の実装も気になるので，
>どなたかぜひお願いします．

お願いします.

# N? 自然数? 窒素? なんだろう??

ちなみにCommonLispは, 

http://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node1.html

で, みれます. 

# ちなみに, こんなかでcoerceという関数があるのですが, これが私の欲しい
# メソッドですね.  

>># ごとけんさんて何もの? って昔気いたかなあ??
>何ものってきかれても… ＼(^o^)／

いや. 何をされているお方かなと(^^;;;

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