- 346 名前：337 mailto:sage [2015/11/24(火) 15:27:06.06 ID:6cLiz0ar.net]
- >>339
>>305はIEEE754の範囲で割り切れない数と判断している為、1/3 が 0.3333333333333333 と評価される前提でいいと判断した。
つまり、切捨てはIEEE754の範囲となる。
後はその数値を元に演算すれば良い。
そもそも、「循環小数の定義を認める前提」なら割り切れない事を判定する必要はないだろう。
数学的には「0.333...(循環小数) * 3 === 1」となる。
従って、「0.3333333333333333 * 3 === 1」は循環小数としての演算結果ではないものの(結果的には)期待通りの結果であるはずだ。
これを期待しないのなら切捨てられる前提(循環小数ではないもの)として考えるべきだろう。
循環小数を正しく解釈するぐらいなら「分数」を内部処理的に認識する方がまだスマートといえる。
