← 概念解説に戻る

Concept Fable

署名

先に結論:ここでの Signature は DSPy におけるタスク署名を指し、暗号署名ではない。これは LLM タスクの入力フィールド、出力フィールド、意味説明を宣言するために使われる。

Signature · LLM program interface

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

寓話

工房はまず各工程の投入と産出を明確に書き出した

木器工房の受注がますます増えていた。前厅が客の説明を聞き、画師が下絵を描き、料房が木板を用意し、匠人がほぞを開け、経理係が工期を見積もる。各ステップは前のステップを受け止めなければならない。

早い頃は皆、口頭の引き継ぎに頼っていた。絵師が「丈夫な机を作って」と言えば、材料部は寸法を推測した。経理係が「できるだけ早く」と聞けば、納期を推測した。工房が小さければ、これらの推測は知り合いが補えた。

新規客が増えると、ずれが頻繁に起こった。材料部屋は物語を受け取っても、板が何枚必要か分からない。職人はきれいな下書きを受け取っても、耐荷重要件が読み取れない。会計は見積もりを出すとき、まだ木の種類を問いただしていた。

店主はまずもっと長い引き継ぎ説明を書いたが、書くほど長い手紙のようになった。しかし長い手紙には依然として願望、制約、結果が混ざっており、次の者がそこから自分に必要なものを拾い出さねばならなかった。

新しい番頭は各工程の入口に小さな札を掛けるよう求めた。どの欄を受け取るか、各欄の意味は何か、引き渡すものはどんな形か、欠けていれば何を差し戻すか。

牌子が掛かれば、人が代わっても恐れない。料房は自分が尺寸と木種だけを引き受けると知り、経理係は数量と納期を必ず得ねばならないと知った。工坊はついに職人の暗黙の了解を引き継ぎ可能な契約に変え、後の研磨に稳固な起点ができた。

あるとき、新しく来た匠人が旧習に従って「できるだけ軽やかに」と書いた。材料房はどれほど軽くすればよいか分からず、経理係も値上げできるか分からず、半製品を作ってから、客が求めていたのは運搬のしやすさであり、机の脚を細くすることではないと気づいた。

それ以来、曖昧な言葉はそのまま次の工程に流せなくなった。寸法が必要なら寸法を書き、制約が必要なら制約を書き、結果が必要なら結果を書く。工房は人の言葉を減らしたのではなく、誤解を生む箇所を前もって固定しただけだった。後に新人が入門するとき、老師匠はまず抽象的な名称を講じるのではなく、あの失敗を振り返らせた。もともとどこが直感頼みだったのか、最初の修補がなぜ不十分だったのか、新しい取り決めがどうやってリスクを検査可能な位置に留めるのか。これらの細部を説明でき、いつ沿用し、いつ昇格すべきかを指摘できるようになって、初めてこの方法を本当に理解したと言える。後に彼らはこの方法を新人の演練にも使った。まず新人に旧方法で一度やらせ、誤りがどう現れるかを見る。次に新規則でやり直し、どの段階が前もって止められ、どの段階が証拠を残したかを見る。新人が名前を暗記しただけでは、似た場面で相変わらず乱用する。適用境界、代価、失敗後の補救を言える者だけが、独立して仕事を引き受けられる。

明らかにする

この物語が語るのは:署名

ここでの Signature は DSPy におけるタスク署名を指し、暗号署名ではない。これは LLM タスクの入力フィールド、出力フィールド、意味説明を宣言するために使われる。

タスク署名は「モデルが何をすべきか」を散乱したプロンプトからインターフェース契約へ変え、モジュール、オプティマイザ、例、評価指標がすべて明確な入出力を中心に動くようにする。構造化質問応答、抽出、分類、推論チェーン、マルチモジュール LLM プログラムでよく使われる。

メタファーのマッピング

  • 口頭引き継ぎ:非構造化 prompt と自由テキスト出力
  • 引き継ぎのミス:上流下流モジュールのインターフェースが不明確
  • より長い説明:膨張するが契約にならないプロンプト
  • 工程札:DSPy Signature
  • 入力フィールドと出力フィールド:task inputs / outputs
  • 人とツールを交換:モジュールとモデルは交換可能
  • プロンプター最適化:Teleprompter は明確なインターフェースと指標に依存する
  • 最終的な洞察:SignatureはLLMタスクを組み合わせ可能で最適化可能なインターフェース契約として定義する

Andy(任旭)判断

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

DSPymoduleChainOfThoughtオプティマイザースキーマstructured output
京ICP备2026014272号