REPL起動バッチファイル名称を変更