IsA
正則行列