カテゴリー: Mystérieuse

Lefschetz fixed-point theorem（レフシェッツの不動点定理）は、Solomon Lefschetz(1884-1972)によって一般化された不動点定理です。「空間の形（トポロジー）」と「その空間…
Read more

ブラウワーが「次元の不変性（Invariance of Dimension）」を証明したのは1911年のことです。 それまでの数学界では、カントールが「1次元の線と2次元の面は、点の数（濃度）としては同じである」ことを示…
Read more

TANAAKKが求めているのは有無を言わさぬ圧倒的な美しい勝利であり、一般人には理解不可能だが確実に機能するランダムネスの力をboolean algebraで構成的に制御することを美（mysterieuse)としている。…
Read more

相対的invariantsには素数、リーチ格子、次元、圏（site,sheaf,stratum,fibre,stack, kan complex, horn, filler, operad)などがある。一方、catego…
Read more

模倣をするとき、人類は大体、まず臨界点に着目する。ヒット曲、ヒット商品、急成長した大企業など。そして、臨界点に達した残熱を模倣する。模倣が比較的上手な主体はそれを圧縮して記述しようとする。しかし、圧縮という代数幾何的記述…
Read more

TANAAKKが提唱するWell-Architected Modular Model™ (WAMM™) はDerived Algebraic Modular Model（導来代数モジュラーモデル）へと進化しました。これは…
Read more

strict(∞,∞)-categoryを前提とすると全てのcategoric simplexは唯一のデータとして保存される。一方、strata, sheaf, fibreは全て柔らかく可変であり、あとからテーブルクロス…
Read more

「拡張24次ゴレイ符号（Extended binary Golay code）」 拡張24次ゴレイ符号とは何か？ 一言で言えば、「人類が発見した中で、最も美しく、最も完璧な自己修復（誤り訂正）能力を持つ情報のパッキング構…
Read more

数学とは自動発動の光の道を記述し、全宇宙civlizationが使えるインフラに昇格させる儀式ではないか。そこには目に見えないが確かにある抵抗をかきわけ、カウンターアルゴリズムを仕掛けながら先に進むと言う工夫が必要である…
Read more

伝統的なEqualityはより等号の条件を緩和した一般的なEquivalenceの部分集合である。 Homotopical Equality≠Classical Mathematical Equalityであるので、この…
Read more