数学専攻の大学院生と図書館で出会った不思議な少女との話。