01 ワクチン効果の数理モデル