タケミカヅチノミコトは鹿島神宮に奉られている神様で、
鹿島から奈良に鹿島の鹿に乗ってやってきたんだけど、そこは省略したね。