← 概念解説に戻る

Concept Fable

DSPy

先に結論:DSPy は LLM システムをプログラミングおよび最適化するためのフレームワークである。Signature でタスクの入出力を宣言し、Module で推論フローを組み合わせ、Teleprompter / Optimizer を通じて例と指標に基づいて prompts、demonstrations、またはプログラム設定を最適化する。「programming, not prompting」を強調し、テスト可能で調整可能な多段階 LLM パイプラインを必要とする企業アプリケーションに適している。

DSPy · LLM プログラミングと最適化フレームワーク

まず物語を読む。ここでは急いで定義を示さず、まず問題そのものを立ち上がらせる。

寓話

劇場はプロンプト作成をテスト可能なリハーサル手順にする

城南劇場は即興演技のできる俳優を多く雇っていた。監督は台本の紙に指示を書いて彼らを配置した。「この台詞は厳密に」「あの台詞は簡潔に」「証拠に触れたら出典を報告せよ」。新しい芝居は組むほど複雑になった。ある俳優は問いを書き換え、ある俳優は資料を調べ、ある俳優は事件を推論し、ある俳優は返答を書いた。台本の紙はあちこちに散らばった。監督はまず勘で言葉を調整した。今日は一句足し、明日は一句削り、悪い例を見れば規則を一つ補った。何度か繰り返すうちに、どの句が役に立つのか誰も分からなくなった。彼は最良の例をいくつか壁に貼り出した。あるタスクは良くなり、別のタスクは悪くなった。新しい俳優に代わると、また一から模索し直さなければならなかった。

新しい監督は稽古プログラムに切り替えた。各役が入力と出力を宣言し、モジュールをプログラム通りに接続し、効果を評価セットと指標で測る。

台本はもはや手書きだけに頼りません。リハーサル班会は例、評価スコア、役割構造に基づいて、より適した台詞、例、テンポを探します。

劇場は複雑な演目を、決まった手品のセットを組むように組むようになった。役を一つ変えれば旧場面を再演でき、例のセットを変えればスコアの変化が見える。

監督も判断を放棄しなかった。指標の選び方を誤り、データが少なすぎ、タスク定義が曖昧であれば、オプティマイザはシステムを誤った方向へ導く。

新しい監督は台本の紙を捨てず、排演冊に入れた。台詞を変えるたびに、同じ組の演目で試演し、どの幕が良く、どの幕が悪いかを記録した。ある一句が一つの場面だけを救い、三つの場面を損なうなら、撤回して組み直した。

稽古帳はまた、劇場が役者を交代するときに一から手探りすることをなくした。新しい役者は役の入力、出力、評価方法に従って舞台に立ち、演出家は試演の結果に基づいて台口の紙を調整する。経験は演出家の頭の中から、繰り返し検証できる稽古へ移され、演目は安定する。 後に劇場が新しい芝居を引き受けるとき、演出家はまず役と評価を書き、それから試演を組む。変更はもはや即興のひらめきを積み重ねるのではなく、検査可能な稽古の手順に入る。良し悪しは比較でき、経験も再利用できる。

彼はついに、複雑な演目は長期的に監督の勘だけで維持できず、明確な役割構造と繰り返し測定できる稽古方法が必要だと理解した。

明らかにする

この物語が語るのは:DSPy

DSPy は LLM システムをプログラミングおよび最適化するためのフレームワークである。Signature でタスクの入出力を宣言し、Module で推論フローを組み合わせ、Teleprompter / Optimizer を通じて例と指標に基づいて prompts、demonstrations、またはプログラム設定を最適化する。「programming, not prompting」を強調し、テスト可能で調整可能な多段階 LLM パイプラインを必要とする企業アプリケーションに適している。

重要なのは、それが単なる用語ではなく、実際のAI/Agentシステムで繰り返し現れる構造的な問題だという点だ。これを理解して初めて、いつモデルを足すべきか、いつプロセスを変えるべきか、いつガバナンスを補うべきかを判断できる。

メタファーのマッピング

  • 即興俳優:LLM 呼び出し
  • 手触りで言葉を調整:手動プロンプトエンジニアリング
  • 壁の例:few-shot examples
  • リハーサルプログラム:DSPy program
  • 入力と出力を宣言する:Signature
  • モジュール接続:DSPy Modules
  • 指標に基づくプロンプトと例の検索:Teleprompter / Optimizer
  • 最終的な洞察:DSPy は LLM システムを手書きプロンプトから、プログラミング可能で、評価可能で、最適化可能な構造へと進化させた

Andy(任旭)判断

この概念の実戦的価値は、「賢く見えるAI機能」を納品可能、検収可能、ガバナンス可能な作業単位に分解する手助けをすることです。

signaturemoduleプロンプターオプティマイザーprompt optimization評価指標
京ICP备2026014272号