注:ここで定義される行列の行列要素は実数である。