「涼宮ハルヒの憂鬱」のおかげで25年解けなかった数学の難問が解決されるかもしれないの画像