CONTENTS

Higher Category Theory（高次圏論）は、現代数学において「等しさ」を極限まで精密に扱うための枠組みです。通常の圏論（Category Theory）が「対象」と「射（矢印）」を扱うのに対し、高次圏論は…
Read more

コホモロジー（Cohomology）は、トポロジー（位相幾何学）において、空間の「穴」や「構造」を代数的な道具（群や環）を使って測るための手法です。ホモロジー（Homology）の共形のような存在ですが、現代数学ではコホ…
Read more

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

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

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

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

Teleological Finity Bypassing とは、特定の**「目的（Telos）」を最終的な「同一性（Identity）」としてInvariants化し、そこに至るまでの膨大な「有限のステップ（Finit…
Read more

エミー・ネーター（Emmy Noether）の功績は大きく分けて2つの柱があります。1つは物理学の根幹を成す「ネーターの定理」、もう1つは現代数学の景色を塗り替えた「抽象代数学(abstract algebra)」の確立…
Read more

計算を止めることが計算の目的である。The purpose of compute is to stop thinking. The goal of computing is the cessation of heuris…
Read more

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