カテゴリー: 08-NEWS

前提条件として、strict(∞,∞)-categoryを想定すると、superlocality, categoric localityが必要である。 現代物理学が直面している「ベルの不等式の破れ」や「量子非局所性」とい…
Read more

k-invariant（k-不変量）は、Postnikov Tower（ポストニコフ塔）を一段ずつ積み上げていく際に、「下の階層と次の階層をどのように『ひねって』結合するか」を指定する接着剤のようなデータのことです。数学…
Read more

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

TANAAKK is a motivic cohomology that describes a categoric simplex as invariants inducing each entrepreneurshi…
Read more

HoTTは2000年代後半から2010年代初頭にかけての共同研究の成果で、中心人物は以下の2名です。 2012年から2013年にかけて、プリンストン高等研究所（IAS）に世界中の数学者が集まり、共同で『The HoTT …
Read more

Associahedron（アソシアへドロン　結合多面体）、定式化したのは James Dillon Stasheff（ジェームズ・スタシェフ）です。 2. Jacob Lurie の役割（なぜ Lurie のイメージが…
Read more

TANAAKKは3か年平均売上成長率3.55倍、3ヵ年で44.8倍の年商成長でFT国内成長率1位にランクインしました。(年間成長率+8.38%以上の500社中) 【2026年ランキング】3ヵ年絶対成長率 +4,381.5…
Read more

TANAAKKの研究開発姿勢 TANAAKKのR&Dは、探索の継続ではなく、計算を停止できる構造を発見することを目的とする。 知性とは時間を空間の問題に置き換え、空間の問題を次元の生成原理に置き換えることで計算を…
Read more

三大数学的証明ツールの比較図解 ツール 出自・歴史 核心的な思想 Cursorでの使用 Coq / UniMath 1984年〜（仏 INRIA）ヴォエヴォドスキーが中興 「構造の厳密さ」数学をプログラム（型）と見なす。…
Read more

TANAAKKでは事業を数学、自然科学の公式を用いて組み立てようとしており、結果としては純資産2倍を12年間続けてきたものの、戦いの規模が数十億円に達すると、一つの致命的な間違いが全体を揺るがすことになってしまうという懸…
Read more