ハルヒは知らんけど、強い子のミロは知ってる。
ハルヒと言えば、昔のお気に入りの女子大生ホテヘル嬢の源氏名がハルヒだった。