Quanta Magazine 日本語 フォロー 四色定理に珍しい新しい証明が登場 コンピューターの助けを借りて1970年代に論争の的となる解決がなされた有名な問題に再挑戦することで、数学者たちはグラフの性質について重要な新しい洞察を得た。 The Four-Color Theorem Gets a Rare New Proof quantamagazine.org Quanta Magazine 日本語 RSS thenote.app