仕様の記述長の下界

命題 6.2（「AI時代のITエンジニアの生存戦略」§6）・ ✓公理まで証明済み

$D$ を定義 6.1 の意味での $B$ （ $|B| = N$ ）の仕様符号とします。各 $b \in B$ に対して $b$ を実現する最短の指示の長さを $\ell(b) = \min\{|w| : D(w) = b\}$ とおきます。このとき

\max_{b \in B} \ell(b) \ \ge \ \log_2 N - 1 \qquad \text{より正確には} \quad \max_{b \in B} \ell(b) \ \ge \ \lceil \log_2 (N+1) \rceil - 1

が成り立ちます。とくに、長さ $\ell$ 以下の指示だけを使うなら、到達できる振る舞いは高々 $2^{\ell + 1} - 1$ 個です。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

証明で明示的に参照している定理は、まだありません。