プチモンとアナモンとminiRPGも製作が止まっているわけではない