カテゴリー: Algorithmic Information Theory: AIT

Decrypt history, Encrypt future™

常勝軍団の聖域条件 winners sanctuary

TANAAKKが求めているのは有無を言わさぬ圧倒的な美しい勝利であり、一般人には理解不可能だが確実に機能するランダムネスの力をboolean algebraで構成的に制御することを美(mysterieuse)としている。…
Read more

Four color theorem 四色定理

4色定理は「世界で初めて、コンピュータを本質的に使用して解決された未解決の重要問題」とされています。それ以前にも「コンピュータを使って計算する」ことはありましたが、4色定理が他と決定的に違ったのは、「コンピュータによる検…
Read more

ケリー基準から導く最適運転車線

高速道路で車は走行車線を走っていたほうが追い抜き車線を走るよりも安全チェックなどと総コストが低く、渋滞で遅く感じても車線変更しない方がケリー基準的な期待値が高いのではないか。 認知速度の調子がいい時も悪い時もボラティリテ…
Read more

レフ・ポントリャーギンの最大原理 Lev Pontryagin

旧ソ連の数学者レフ・ポントリャーギン(Lev Pontryagin)が提唱した「ポントリャーギンの最大原理(Pontryagin’s Maximum Principle)」は、「X→Yへの最短到達」や「数学的…
Read more

Attention to materialization

Aという人物がX→Yという状態(state)に到達するための一連の技法 〇〇が欲しい、〇〇に行きたい 例えば、〇〇という肩書きにつきたいという論理単位でも良い。〇〇 チャンピオン、MVP、バロンドール、グランドスラム、総…
Read more

John Larry Kelly Jr.

A New Interpretation of Information Rate 1. 論文内の核心的な記述 ケリーの論文 “A New Interpretation of Information Rate&…
Read more

Kelly criterion|ケリー基準

前提条件として、破産確率が0%であることを公理のスタート地点とし、手元貨幣ポテンシャルを最大化するという問題を設定すると、ケリー基準が役に立ちます。 長期的な資産形成における「黄金則」を数学的に突き詰めると、「期待値が最…
Read more

内部自己証明のフロンティア Cubic Type Theory

reflexivityによるhomotopy typeのみで内部証明するというのはbluteforceすれば良いですが、あくまで解の近似による証明であり、迷宮の出口があることを100%検証するような内部証明はまだ数学的に…
Read more

Markov property

アンドレイ・マルコフの軌跡と「マルコフ性」、そして「ヴィタビ・アルゴリズム」の歴史的・計算論的な文脈を整理。これらが単なる統計のツールではなく、「ノイズだらけの現実世界(物理空間)から、最も確からしい測地線(Geodes…
Read more