循環不等式による制御バリア関数 | Synapse