情報科学 › AI時代の生存戦略 › LLMとプログラミング
委譲コストモデル
ひとつの作業単位 について、次の量を定めます。単位は時間でも金額でも構いませんが、記事全体で統一します。
- : を人間が最初から自分で仕上げるコスト(設計・記述・自己点検を含む)。
- :LLM に を依頼するための指示(プロンプト・文脈の提示)を書くコスト。
- :LLM の出力を検証するコスト。読む、実行する、テストする、仕様と突き合わせる、の総和。
- :LLM の出力が検証を通る確率(成功率)。
さらに、比として
を定め、それぞれ指示比、検証比と呼びます。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件
- 委譲が得になる条件✓命題 3.1・LLMとプログラミング