ディレクトリとファイルの整理をすることになって、ファイル名に基づいて連番を振るリネーム作業が必要になった。 2_0001.dat、10_0001.dat、10_0002.dat だとか、10_aa.dat、10_ab.dat、といった感じのファイルをいい感じに並び替える必要があった。 見ての…