ファイル操作

たくさんのファイルの名前を一括で変える必要があり、『それ用のプログラムをpythonで書くか～』と思っていたところ「PowerToys の PowerRenameを使うと楽にできるよ」と教えてくれた方がいたので、それを用いてやってみました...