IsA
二項演算