プチコンの始めの画面のロゴは®がついたけど、GRP4のにはついていない…