「涼宮ハルヒの憂鬱」が25年以上解けない数学の難問を解く糸口に!?