[ruby-list:966] Re: Rational[coerce(Re: ruby 0.99.3-961030 available) ]

けいじゅ＠SHLジャパンです. 

In [ruby-list :00957 ] the message: "[ruby-list:957] Re:
Rational[coerce(Re: ruby 0.99.3-961030 available) ] ", on Oct/30
18:41(JST) [e-mail] (Yukihiro Matsumoto) writes:

>|おお！有理数を誰が使うって大勢が使いますよ！そもそも私が初めて
>|ruby の class を使ったのは、そして感激したのは、有理数のクラス
>|を作り、さらに複素数のクラスを作って、たんに並べただけで、自動
>|的に有理数成分の複素数が出来てしまったということです。

そうですね. ただし, これは rubyに限らず変数に型がないオブジェクト指向
言語の特徴でしょうけども.

>|雰囲気としては、群・環・体などの代数的「構造」は module を使って、
>|実数や有理数などの代数的「実体」は class を使って実現できる、とい
>|う感じでしょうか。＃必ずしもそれだけではないか。

理想的にはそうなるんだと思います.

ただし, 群環体に関しては, 以前考えたことがあるのですが, このような超抽
象的なものを用意しても使えるモジュールにはなかなかならない気がしていま
す. モジュールで必要なのは機能(メソッド)ですが, これらには性質はあって
もほとんど機能がないですしね.

もっと実用的なクラス, 例えば 行列や数式のクラスを直接実装する方が良い
のではと思っています.

>うう，やっぱりそういう世界は確かに存在するのだなあ．
>私はついていけません．で，この辺りは妙にバグが多いと．

ですねえ. まだまだあります. 後でメイルします.

>石塚さんなら得意そうだなあ．

私は代数屋さんではないのでそれほどは得意ではないです. ただ, 松本氏より
は知っているだけでしょう.

__
..........................................石塚 圭樹＠SHLジャパン(株)...
------------->アドレス変わりました!! e-mail: [e-mail] <----