08/08/06 08:19:28
>>35
正しくは、精度補償じゃなくて精度保証ね。
IEEE-754を前提として、浮動小数点数のラウンディングの方法（四捨五入、全て切り上げ、全て切り下げ）を制御ができる。
ラウンディングを「全て切り上げ」に設定して、線形代数の計算を１回行い、答えその１を得る。
次に、ラウンディングを「全て切り下げ」に設定して、同じ線形代数の計算をもう１回行い、答えその２を得る。
真の答え＝（ 答えその１ ＋ 答えその２ ） ／ ２
精度＝絶対値( 答えその1 － 答えその２ ）
となる、という定理が証明されている。
インラインアセンブリについては URLﾘﾝｸ(www.oishi.info.waseda.ac.jp) を見よ。