2026-07-19

C言語、UTF-8

LLMエージェントのハーネス設計が場当たり的な現状を問題視し、圏論的三つ組 (G, Know, Φ) で形式化する試み。「出力の正しさ」でなく「知識レベルの証明書の保存」として正確性を定義する視点が面白い。