アルゴリズムの安定性と正しさに関する分析