モバイル環境における感染拡大のモデル化 | Synapse