CONTENTS

サヴィッチの定理（NP→P）とアドレマンの定理（BPP→P）という2つのステップは確率論（運・ランダム）を決定論（構造・自動プログラム）へと100%完全に置き換える脱ランダム化（Derandomization）の証明形式…
Read more

命題1：「確率は限られたSpace内のTime問題に100%変換できる」 【補強の原典①】サヴィッチの定理（Savitch, 1970） 【補強の原典②】クック＝レビンの定理（Cook, 1971 / Levin, 19…
Read more

IQはどのくらい高ければ必要十分と言えるのだろうか？ 答えは上位5%の年収であればIQ115程度あれば、25%くらいの確率でなれる。一方、上位1%の年収に入るためにはIQ90以上あればよく上位5%になるよりも知能が必要な…
Read more

曖昧な予測や不確実な確率論を排除し、制約条件（constraints)に基づく0と1の「決定論的（Deterministic）なステップ」を進めることの重要性を説く。 1. 確率論的アップサイド（上界）の予測放棄 一般的…
Read more

The Codified Preamble: Computational and Structural Tractability of AI When discussing Artificial Intelligence…
Read more

1. 犬 vs クマ：数字で見る嗅覚の違い 嗅覚の鋭さを決める要素を比較すると、クマの圧倒的なスペックが見えてきます。 比較項目 人間 犬（警察犬など） クマ（ヒグマ・ツキノワグマ） 嗅細胞の数 約500万個 約2億〜3…
Read more

P vs NP的な正攻法ではなく、探索空間を全部読む前に、当たり筋だけを嗅覚で拾う軽量レベニュー探索アルゴリズム。人間の認知・時間・資本制約下で、完全探索や厳密証明を目指さず、初心者の偶然的成功＝Beginner’s L…
Read more

SATソルバー、特に現代の主力である CDCL（Conflict-Driven Clause Learning：衝突駆動型節学習） の動作は「毎日指摘ばかりして疲れてしまう判定者」に例えられる。 実際に計算資源（リソース…
Read more

計算グラフや回路、あるいは探索ツリーのような「シークエンス（構造）」を、下流（出力）から上流（入力）へと枝を登るように逆方向にたどり、バグや不要な計算ルートを特定して切り落とす（枝切りする）アルゴリズムは、文脈（AI・探…
Read more

4つの要素（アミノ酸（旨味）、酵素（食感・熟成）、油水塩の濃度（浸透圧・乳化・味付け）、熱（タンパク質の変性と化学反応））は、料理の美味しさを決定づける。職人の勘やおふくろの味と呼ばれるものの正体は、4要素充足可能性問題…
Read more