talk:>>309 階段型行列でも考えてみるか?