どのタイミングで「ハルヒ」呼びに変わったんだっけ