関連ワード:  batch file types    batch file type command    batch file type change    batch file type text    batch file format    batch file extensions    batch file format date to yyyymmdd    batch file format date    batch file format numbers leading zero    batch file format string