最大経路長の比較

命題 5.2（「スケーリングと文脈」§5）・ ✓公理まで証明済み

長さ $n \ge 2$ の列について、位置 $1$ から位置 $n$ への経路長（これが最大経路長です）は次のとおりです。

因果的な全注意: $1$ 。
幅 $w \ge 2$ のスライディングウィンドウ注意、および核の幅 $k = w$ の畳み込み: $\Bigl\lceil \dfrac{n - 1}{w - 1} \Bigr\rceil$ 。
再帰型: $n - 1$ 。
核の幅 $k$ の拡張畳み込み: $\lceil \log_k n \rceil$ 。

閉包の状態

✓ 公理まで証明済み

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

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

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

窓つき注意の受容野✓定理 4.6・スケーリングと文脈
- 出力は受容野の中の入力だけの関数✓補題 4.3・スケーリングと文脈
  - 数学的帰納法の原理✓定理 3.2・証明の技術
    背理法の正当性✓命題 6.2・証明の技術
    整列性公理 3.1・証明の技術

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