アイコンは、元ソース /src/res/ のアイコンファイルをもとに、必要なサイズのPNG画像を生成しました。
とても良いです。満足度が高まる…！
元データは、天ぷら公房さんで公開されているアイコンですね。ドットでの再現がすばらしいです！
Androidアプリで使用するアイコン用のPNGファイルは以下のサイズになります。
| xxxhdpi | 192 x 192 |
| xxhdpi | 144 x 144 |
| xhdpi | 96 x 96 |
| hdpi | 72 x 72 |
| mdpi | 48 x 48 |
| ldpi | 36 x 36 |
これらを生成する Python スクリプトを書きました。
/tools/makeMipmap/makeMipmap.py
変換したいアイコンデータ（例では mz2000.ico）を同じフォルダに置いて
python makeMipmap.py mz2000.ico
で、以下のファイルを生成します。
mz2000/mipmap-xxxhdpi/ic_launcher.png mz2000/mipmap-xxhdpi/ic_launcher.png mz2000/mipmap-xhdpi/ic_launcher.png mz2000/mipmap-hdpi/ic_launcher.png mz2000/mipmap-mdpi/ic_launcher.png
画像変換には PILLOW ライブラリ使ってます。（Windowsアイコンの *.ico ファイルまで普通に読めるとは今回やってみるまで知らなかった。）
icoファイルを読み込んで、サイズ変換してフォルダ作成して出力してるだけ…です。