The Unarchiverというアプリを使ってみたら、日本語のファイル名の時にエンコーディング
を何にするか聞いてきた。いいかもしれない。