IsA
逆関数