メモ

・
m * n / a / b　　…　(1)

と

m * n / (a * b)　…　(2)

が一致するっていうのは当たり前なんですが、

コンピュータ上の整数型でも成り立つ…のかな？

(どうも、余りも合わせて一致するみたい。

(1)の方だと最初の除算でデータが落ちることがありそうなもんですが…)



　---追記 : 07/11/30 22:57

　…あ、よくよく考えると当たり前か。

情報落ちが起こるような状況(=余りが発生するような状況)っていうのは、

「商が整数内に収められなくて小数にまで延長されるような状況」というわけで、

それに加えて、

次の割る数(=b)も、求めたい最終的な商も整数型なわけだから、

結果に関係しない部分(=小数部分)は無視しても結果(=最終的な商)には影響はない。

……ということ…なんだろうな、多分。



　ただ、「余りも合わせて一致」は嘘っぽい(汗)

(そんなに検証したわけじゃないけど)「a > b」のときは余りが異なるみたい。