情報科学 › Claude Code の中身 › 文脈を保つ・減らす・分ける
サブエージェントと入力トークンの総量
量 の内容を、 回のツール呼び出しで等分に(1 回あたり )読む調査を考える。応答の長さは とし(両方の方式で同じ項になるので省く)、キャッシュは考えない。親の固定部分を 、子の固定部分を 、課題の文の長さを 、最終の応答の長さを とする。
- 親が自分で読む場合、調査の 回のモデル呼び出しの入力の合計は 。
- サブエージェントに任せる場合、子の 回の呼び出しと、親の 2 回の呼び出し(起動の前と結果を受け取ったあと)の入力の合計は 。
- 。 に依る項 は両方に同じだけ現れ、任せても減らない。とくに なら である。
- 調査のあとに親がさらに 回モデルを呼ぶとき、その 回の入力の合計は、任せた場合のほうが だけ小さい。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 1 件、定義なども含めて 2 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 1 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
圧縮のないループの入力の成長✓命題 5.2・エージェントループ
- O 記法・Ω 記法・Θ 記法定義 3.1・計算量と O 記法
これを使っている定理
証明で明示的に参照している定理は、まだありません。