月面ソフトランディングのための最適推力プログラミングの問題について | Synapse