【Ruby】5.div(2)の結果が2なのに、-5.div(2)の結果が3なのがよくわからない

Question

たのしいRubyにあった例題です。

x.div(y)はxをyで割った商を整数で返します。
上記ですが、

x=5　y=2
x=-5　y=2

で普通に割り算をすると答えは2.5と-2.5です。
ですが、なぜx.div(y)を実行すると数字が違うのでしょうか？

何かRubyの特別な仕様でもあるのでしょうか？

Answer 1

整数除算を行って、割り切れない場合に、どちら方向の整数に丸めるかにはいろいろな方法がありますが、

RubyやPythonは、「負の無限大方向に丸める」という方針になっています。
Cは、「0の方向に丸める」という方針です。

つまり、言語によって方針はいろいろです。「正の無限大方向に丸める」という言語は無いと思いますが。

「負の無限大方向に丸める」の利点としては、剰余が0でない場合に、剰余の符号が除数の符号と同じになるということがあります。
つまり、例えば、正負の任意の整数を 3 で割った剰余は 0,1,2 のいずれかになります。

Cのように丸めた場合は、正負の任意の整数を 3 で割った剰余は -2,-1,0,1,2 のいずれかになります。

言語設計者が「3 で割った剰余は 0,1,2 のいずれかになる」ということを重要と考えた場合は、「負の無限大方向に丸める」になるわけです。

「0の方向に丸める」のはFortran由来だと思いますが、科学技術計算だと0に対して正負方向に対称であると言うことを重要と考えたと言うことでしょうね。

Comments

[otn]

念のためですが、剰余 ＝ 被除数 - 整数商 * 除数 です。

[Hinoarashi.]

あとでRubyの本を読んだら丸めがでてきて、これだとわかりました。。
大変わかりやすく解説していただきありがとうございます！！

Answer 2

リファレンス

整商（整数の商）を返します。普通の商（剰余を考えない商）を越えない最大の整数をもって整商とします

-2.5を超えない最大の整数は-3です

Comments

[Hinoarashi.]

ozwk様ご回答ありがとうございます！！

Answer 3

自分で提示した文章を読んでみましょう。

x.div(y)はxをyで割った商を整数で返します。

2.5は整数ではありません。

Comments

[Hinoarashi.]

maisumakun様ご回答ありがとうございます！！