文学少女对数学少女

　　推理小说虽然是用自然语言写成的，却和形式系统具有相同的性质。　文学少女陆秋槎，为探究推理小说的严密性，误闯数学少女韩采芦的寝室，由此展开了一系列思维及身体的大冒险。推理小说的真相，能否像数学定理那样得到无懈可击的证明？困扰数学界358年的费马大定理，其证明史能否改写成一篇猜凶手谜题？看似条件不足无从推理的案件，又是否能另辟蹊径、直抵真相？最终，她们的友谊又回如何收场？

　　陆秋槎　一九八八年生于北京，复旦大学古籍所古典文献学专业硕士毕业。在校期间为复旦大学推理协会成员。现旅居日本金泽。第二届华文推理大奖赛*佳新人奖得主。著有长篇《元年春之祭》《当且仅当雪是白的》《樱草忌》。作品被翻译成日文、韩文、越南文。《元年春之祭》在日本上市后引发热议，入围年末四大推理类榜单。深信推理小说能穷究人类的智识与非理性，自有其价值，不能为纯文学及其他小说类型所取代。虽系舶来，于现代社会中又未尝不是一种必需品。故发愿弘敷此道，以为毕生志业。

连续统假设
　　费马的最后一案
　　不动点定理
　　格兰迪级数