つまりプチコンは商標登録されたってわけか