バットって何だ？って思ったけど、bat（バッチ）ファイルのことだったのか。