🚀 go-pugleaf

In article <pypiupisr63.fsf@tp560e.sowa.is.uec.ac.jp>, maeda@is.uec.ac.jp says...

> 数学的には上の4つのどれが「正しい」ともいえないと思います。佐藤さんが
> 示した除法定理も、「除数は正」という範囲でしか成り立ちませんよね。この
> 範囲以外だと上を満たすq, rは存在しませんから。

> ceilingやfloorは数学で良く使いますよね。統計学ではroundを使わないと困
> る事も多いでしょう。また、「整数部と小数部」なんていう言い方をした時は、
> truncateが整数部を求める演算に相当するでしょう。

なるほど、やはり剰余については方式的な定義が複数存在するという事な
訳ですね。
言語処理系の仕様は、それらの中で最も演算がシンプルになるtruncateを
採用した。
という事ですね。


> Perlにはちゃんとした仕様がない(仕様 = 実装)ので推測するしかありません
> が、除数・被除数のどちらかが負だと剰余はまったく不定なのかも。つまり、
> 除法定理が成り立つ範囲でしか使ってはいけないとか???

そのようですね。
こういうのがあるから言語間移植って一筋縄にいかないんです。

御教授ありがとうございました。

-- 
                     佐藤 弘幸 (Hiroyuki Satoh)
                     E-mail address for private : h-satoh@tkb.att.ne.jp