情報科学 › Claude Code の中身 › エージェントループ
トークン数の勘定
各メッセージ にトークン数 が定まり、メッセージ列のトークン数は各メッセージのトークン数の和であるとする。メッセージ列の外にある固定の部分(システムプロンプトとツール定義)のトークン数を とする。 回目のモデルの呼び出しの入力トークン数 を、 とそのとき渡すメッセージ列のトークン数の和と定める。( は最初の user メッセージ)、、 と書く。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。