田中です。

> C の場合,-13 は 4 を法として 3 と合同ですから,3 が剰余であり,
> その結果,商は -4 となるべきです.つまり Python が正しいことに
> なります.

ruby 1.5.4 (2000-07-06) [sparc-solaris2.7]
ではそうなっていますね。

-n/2 が -(n/2) ではなくなったので、あれれ?と思ってしまいました。
# 私は、どっちが正しいとは言えないと思いますが。

田中昌宏