行列の型