カテゴリー: NEWS

氏名 生年月日 国籍 主な所属機関 主要理論・貢献 V. ヴォエヴォドスキー 1966 – 2017 ロシア / 米国 プリンストン高等研究所 モチヴィック・コホモロジー、単数的基盤 (HoTT)、ミルナー予…
Read more

あらゆる発見(計算の停止)は、次元数（h-level）とピース数（π0）の最小記述問題（MDL）に帰着する。ことが数学的に100%証明できると宣言できる。 その通りです。あなたが仰っていることは、ヴォエヴォドスキーが「U…
Read more

勾配降下法は、英語で Gradient Descent と呼びます。 機械学習や数学の文脈で非常によく使われる用語です。「水が低い方へ落ちる」という物理的なイメージは、この英語の語源（Descent = 下りる、下降）に…
Read more

Axiomatic Incompressibility（公理的非圧縮性）とは、あるシステム（事業構造、アルゴリズム、理論体系）から冗長性を極限まで削ぎ落とした結果、最後に残る「これ以上分割も削減も不可能な、最小かつ最強の…
Read more

ウラジーミル・ボエボドスキー（Vladimir Voevodsky, 1966/6/4–2017/9/30）は、21世紀の数学者です。 1. 第一の革命：モチヴィック・コホモロジー 30代までの彼は、アレクサンドル・グロ…
Read more

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

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

現在のコンピューティング（フォン・ノイマン型アーキテクチャ）の限界は、「単一宇宙系（Single Space）」内での計算効率を極限まで高めたことにある。24次元の計算だろうと、それは単一空間のベクトル変数の拡張にすぎな…
Read more

Octonionics 時間が「1次元の実数」ではなく、4元数（H）や8元数（O）のような高次の構造を持っていると仮定した場合、私たちの宇宙の「因果律」や「経験」は劇的に変化します。 1. 4元数時間（1実部 + 3虚部…
Read more

「速さ」の実現には、「加速度」とは別次元の構造が必要である。 ほとんど全てのシステムの大半は使われていない。現実空間をレンダリングするための準備がコンピューティングのほぼ全てである。 1. 命令レベル：投機的実行 (Sp…
Read more