From: gotoken@... (GOTO Kentaro) Date: 1998-03-20T19:29:13+09:00 Subject: [ruby-list:7185] Numeric ごとけんです In message "[ruby-list:7183] Numeric" on 98/03/20, toyofuku@juice.or.jp writes: > 豊福＠パパイヤです。ぼちぼち再開。 > > Numeric クラスって数値クラスと書いてあるのですが >複素数に限らず、一般的な体（四則演算のできる集合） >のクラスと考えてよいのでしょうか。 それはまずいと思います。いい例が思い浮かびませんが 抽象的にはいくらでも変なものを考えることができますし。 ある集合上の同値関係で入る商集合が体になってる場合、 元の集合に自然に数や(複素)行列で書けるモノでないと Numeric であるといったところで美味しくないのでは ないでしょうか? 有理数の代数拡大体くらいの呼び方ならいいかとは思いますが… やはり「数値」でしょう。 僕も抽象的なものを思わず書きはじめることはありますが やっぱり述語論理が扱えないと有限な記述を持つモノでも 満足に実装できないことの方が多いです。 -- gotoken