行列問題を用いた可換梯子型 パーシステントホモロジー群の直既約分解