静的から動的へ:数学的プロセス監視のための適応型モンテカルロ探索 | Synapse