2人の研究者が数学をゼロから再構築している ノート