Date:  Thu, 13 Mar 2003 13:21:48 +0900
From:  Hiroyuki Shimada <shimaden@....jp>
Subject:  [XP-jp:04215] Re: 浮動小数点演算や幾何演算のテスト
To:  extremeprogramming-jp@....jp
Message-Id:  <20030313130708.FCF6.SHIMADEN@....jp>
In-Reply-To:  <001f01c2e8e1$19e8d490$0101a8c0@....nu>
References:  <20030313003334.FCEF.SHIMADEN@....jp> <001f01c2e8e1$19e8d490$0101a8c0@....nu>
X-Mail-Count: 04215

　こんにちは。島田です。

On Thu, 13 Mar 2003 06:48:10 +0900
"Katsuya Higuchi" <bugbear@....nu> wrote:

> 「仮数部の精度」なので、
> 演算をすると、「仮数部」にそれ以上の誤差が発生します。
> (a±e) * (b±e) を考えればわかるかと思います。

　どうもありがとうございます。

　大学時代に実験レポートでやった「誤差の伝播法則」を思い出しました (^^
　すると、誤差を見込んだ assertion は、ある式ひとつにつき、1 つの誤差の
定数として、すべてリスト・アップしておかなければならないわけですね。
　計算式を作ったら伝播する誤差が決まるので、計算式と伝播する誤差を求める
式とを必ずセットで作っておけば問題ないということになると思いますが、これ
が自動化できれば、間違いがなくていいのですけどね。


----------------------------------------------------------------------
Mail: shimaden@....jp
Home Page: http://www.din.or.jp/~shimaden/
島田博幸
Hiroyuki Shimada
----------------------------------------------------------------------