[ruby-list:30788] Re: int/int => float?

いけがみです。

一点だけ。効率が重要なのはよくわかります。

[ruby-list:30785] で KONISHI さんは書きました:
  2. 間違うのはマニュアルをちゃんと読まないやつが悪い.効率が重要だ.

しかし、マニュアルを書く側に少し負担がかかります。

ある計算が、int/int を内部で用いるアルゴリズムで実装でき、
かつ int/int を内部で用いないアルゴリズムでも実装できるとします。

このとき、プログラマの実装とユーザの知識が食い違ったとき、
一見、ユーザにとっては計算結果が間違って見えることがあります。
（僕も前に出したメール[ruby-list:30703]ではいろいろと勘違いしてました）
したがって、この場合はマニュアルに書いてあるほうが親切でしょう。

たとえば、Matrix クラスでは determinant の計算で int/int を内部に使います。

2 * 2 行列 ( a b ) の行列式は ad - bc で与えられますが、
           ( c d )
(この場合、 int/int = float? による問題は派生しない)

Matrix クラスではこの公式とは別の方法で計算します。
この別の方法は内部で割算を行なうため、 int / int = int であることより、
(ad-bcで計算してくれるとユーザが勝手に思っていた)結果とは異なります。
  [ruby-list:30703] ではそれを指摘したつもりですが書き方が悪いし、
  僕の主張ははなはだ本質を欠いています。

さて、 Matrix クラスのマニュアルはどう書いたらいいでしょう。
今回の問題はシンプルなので、注意書きをつけとけばいいですが、
一般に、ある計算に対して、
  int/int を内部で用いるアルゴリズムで実装でき、
  かつ int/int を内部で用いないアルゴリズムでも実装できるか否か？
という質問に答えるのは、ちょっと難しいのではないでしょうか。
（特にプログラマには）

一方、
数のオブジェクトが、分数表現と、浮動小数表現ないしは整数表現を、
両方保持したまま計算をすすめるならば、若干混乱は避けられるように思われます。
(あたかも文字列クラスが文字列とその長さを保持しているように)

もしくは、あらゆる数は rational で整数変換を都合のいい種類だけ持つ、
 (内部表現 1 / 2 -> 変換 0.5, 0, 例外, ...)
という実装でもいいかもしれません。

たとえば、数式処理ソフトウエア Mathematica は
  int / int = rational
  float / int = float
  int / float = float
という方針をとっているようです。
--
池上 大介
Daisuke IKEGAMI <[e-mail]>
奈良先端科学技術大学院大学 情報科学研究科
情報処理学専攻 情報基礎学講座 関研究室