誤差情報を含む浮動小数点表現と これを用いた数値演算論理