数式で恋愛を覚えた世代ならいるはずだが