robo_server.exeは「server」となっています。このexeファイルはWindows Server2012や2016などのサーバOSにする必要がありますか? Windows7やWindows10などのOSでは正常に動かないのでしょうか。