情報科学 › Claude Code の中身 › エージェントループ
ツールの定義とツールの実行
ツールの定義は、名前 name、説明 description、入力の形を JSON Schema で書いた input_schema の 3 つ組である。モデルには定義が渡され、モデルは説明を読んで呼ぶかどうかを決める。
環境の状態の集合を とする(ファイルシステムの内容、外部のサービスの状態など)。名前 のツールの実行を、写像
として置く。 は、「状態 で入力 を与えると、結果 と失敗の印 を返し、環境が に変わる」ことを表す。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。