パラメータ化されたチェルノフ境界を活用した簡略化されたアルゴリズム分析 | Synapse