2項演算の定義を書いてみ