>>693
うーん、有限集合上の演算と考えるのはいいにしても、
丸め誤差の存在で結合法則は破れているのでは... ???