行列の指数関数があるなら
行列の対数関数ある?