rename

ファイル名を4桁の数字に付け替えるプログラム。 日本語のファイルだとうまくpythonで扱えない時があるのでその対策。