ありがとうございます！ 荒いドットで拡大も素敵ですけど、きれいなのも素敵だと思います。 これで自動拡大したあとに手修正すればお手軽かなーと。 技術的には、上下左右の色を調べて、同じ色だったら角の部分をその色で埋めているだけの単純な処理ですけど、「すごいことをしているように見える」ので自分でもびっくり（笑）