120年以上未解決だった“古典パズル”の証明に成功 日本人研究者が成果 「解が存在しない」を実証

arXivのプレプリント

記事に戻る
松浦立樹,ITmedia