CONTENTS

数学は計算技術として始まり、のちに計算を省略する技術として発展しました。人類の「認識の解像度」が上がるにつれて、宇宙の記述形式、および、宇宙の外の記述形式（Axiomaticity）がより抽象的かつ普遍的な階層へとシフト…
Read more

1. エネルギー流出の再定義：探索コストとしての「赤字」 通常、エネルギー流出（赤字）はシステムの崩壊を意味しますが、これを**「未知空間へのプローブ（探針）の投射」**と捉え直します。 2. 逆転のメカニズム：オセロの…
Read more

型理論によると内部情報だけで内部情報が正しいことを証明できるとあるが、外部境界をもちいるのと内部だけで証明するのとではどちらが暗号記述長が短いコルモゴロフ表現になるのか. 型理論、特に**カリー＝ハワード同型対応（Cur…
Read more

Martin-Löf Type Theory (MLTT / 直観主義型理論) は、ペール・マルティン＝レーフが1970年代に提唱し、現代の計算機科学と数学の基礎を根底から変えた定理です。 「論理的な正しさ」と「プログラ…
Read more

**マルティン＝レーフ・ランダム性（Martin-Löf Randomness / ML-Randomness）**は、1966年にペール・マルティン＝レーフによって提唱された、「真のランダムな数列とは何か？」という問い…
Read more

マルティン＝レーフの再帰定理 (Martin-Löf’s Recursion Theorem) は、計算理論（計算可能関数論）における極めて強力な「自己言及の保証」です。「自己言及命題が真であること」を、数学…
Read more

一価性公理（Univalence Axiom）は、数千年にわたる「等しさとは何か？」という問いに対する、数学の地殻変動の終着点です。 古代の幾何学的直感から、近代の論理的厳密性、そして現代の計算機科学へと至る、「公理（A…
Read more

「自己言及命題が真（あるいは無矛盾な体系内での正当性）であること」を巡る、数学・論理学・計算機科学の歴史的な理論一覧。これらの理論は、単なる「言葉遊び」としての自己言及を、「計算可能な再帰」や「自己複製するシステム」、さ…
Read more

テリトリープランニング（担当エリア設計）において、営業マンが「成果を最大化できる顧客数」には数学的・物理的な限界値が存在します。 巡回セールスマン問題（TSP）が「移動の最小化」を追うのに対し、ビジネスではそこに「面談時…
Read more

GitHubとCursorを活用し、「8元数による実体化」と「人間の認知限界（5-7音）」をハックして、サッカーの8秒ゴールのようなインパクトを与える新曲制作プロセスを、エンジニアリング・ワークフローとして定義します。 …
Read more