宮野君はハイキュー界隈の人なんだね