一世一元とはいえ、元号と異なる名前を考えるのが面倒臭くなったのか?