macos – Mac OS Xで多くのファイルの名前を変更、バッチ処理