諸

gif→png,jpgに変換するソフト未だ入れてなかった気がしたから、如何しようか考えていたところ、Microsoft Office Picture Managerで行けそうな気がしたのでやってみたら行けた。
拡張子変更だけだと壊れたからね。