飽和発生率と部分的ワクチン接種を伴う確率的SVEIR疫学モデルの動的分析 | Synapse