合同式の演算