置換(3 1 2 5)の行列