“anthy”というのは元々、アニメの登場人物の女の子の名前なのかね？