そうそう。だからプチコンって名前も実はプチリー・コンピュータの略で…、プチリーって何！？