チョウの定理およびバンバン定理の非線形制御問題への一般化 | Synapse