恋人ができたことも、モテたこともない鶴ヶ峰菊乃 彼女は「理想の恋人に出会える確率」を、フェルミのパラドックスとドレイクの方程式から導き出そうとする 理想の恋人は「確率」で出会える この高校のどこかに、必ず存在する 彼女の数式は、悪魔の証明を覆せるのか 理論は、感情を超えられるのか ──計算できない恋の難題に挑む