ゼロサム経路依存確率微分ゲームの弱い定式化 | Synapse