制御に対する二次制約の下にある線形離散ゲーム | Synapse