マンガーハコヅメ。登場人物の名前と気になる短歌について