確率論的モデルを用いた排除期における麻しん流行と追加予防接種効果