four color theorem Archives - TANAAKK

simplicalなabelian, monoidal圏分類から見たforcing ,p-adicの操作性

by TANAAKK
in resolution, tension, suspension, Heawood formula, appoggiatura, Paul Cohen forcing, appoggiatura, Abelian category, monoidal category, diamonds, perfectoid, p-adic numbers, p-adic geometry, Postnikov tower, music, simplicial / cubical, free functor, tower of coherent homotopies, left / right adjoint
on May 6, 2026, 11:28 (UTC+9)

0

∞-simplexからhigher category theory的に構成されるabelian category, monoidal categoryの性質を分類しつつ、simplicialな構成法による三角形、四面体に…
Read more

ヒーウッドの公式 (Heawood Formula)

by TANAAKK
in Heawood formula
on May 5, 2026, 14:01 (UTC+9)

0

ヒーウッドの公式（曲面の塗り分け）曲面上の地図を塗り分けるために必要な最大の色数 N を求める公式は、穴の数（種数）を g とすると以下のように表されます。 N = ⌊ 7 + √1 + 48g 2 ⌋ 種数（g）によ…
Read more

Four color theorem 四色定理

by TANAAKK
in four color theorem, Algorithmic Information Theory: AIT, computability
on May 1, 2026, 18:02 (UTC+9)

0

4色定理は「世界で初めて、コンピュータを本質的に使用して解決された未解決の重要問題」とされています。それ以前にも「コンピュータを使って計算する」ことはありましたが、4色定理が他と決定的に違ったのは、「コンピュータによる検…
Read more

TANAAKK

New York, Tokyo, Shanghai, Hongkong, Singapore, London, Vietnam, Cayman, BVI

©2013-2026 TANAAKK