ReplLauncherの整備
ログ出力を調整した．decisionIdをintにした．