ピッキーとノッキー

二台を区別するために、ピッキー（青い方）とノッキー（赤い方）という名前にした。ピノキオから取っている。