カテゴリー: 08-NEWS

Growth-as-a-Service™︎| Decrypt History, Encrypt Future™

Associahedron James Dillon Stasheff

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

Financial Times アジア太平洋 急成長企業2026|TANAAKKは日本1位、アジア5位に選出

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

TANAAKK流の研究開発姿勢と発見の作法

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

数学的証明ツールをcursorで動かす時代

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

真理を問うのをやめ、ホモトピー型証明に判断を委ねる時代

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

Motivic Bargaining|モティヴィック交戦

皆が次元の裏側に気付き出したら次は裏を書き換える競争になるのか、それとも物理的な限界で気付き得ないのか 1. 「裏側の書き換え競争」が始まるシナリオ もし「裏側」へのアクセス・インターフェース(例えば、高次元コホモロジー…
Read more

重力とは|gravity

voevodskyやルーリー的なmotivic cohomologyを展開しhigher toposを証明すると、重力と思われていたものが実は隣同士の粒子の関係性を定義しているものではなく、重力は裏側の8元数的空間と実数…
Read more

IAS Faculty Emeriti 58名

IAS 終身教授(Permanent Faculty)全58名:完全版アーカイブ ■ 数学部門 (School of Mathematics) – 35名 氏名 (Full Name) 生年月日 &#8211…
Read more

IAS 終身教授(Permanent Faculty)時代別人数構成

1. 数学部門 (School of Mathematics) – 14名 かつての「8名体制」から、計算理論や幾何学的解析の強化により14名へと大幅に拡充されています。 氏名 (Full Name) 専門・…
Read more

Atle Selberg アトル・セルバーグ

アトル・セルバーグ(Atle Selberg / Origin Name: Atle Selberg)は、20世紀の数論学者です。 1. プロフィールとIASでの歩み セルバーグは、他者との共同研究をほとんど行わず、たっ…
Read more