人間はどの意思決定を手放せるのか

EvaluabilityとControllabilityの概念整理がめちゃくちゃしっくりくる。Southerも面白そう

ビジネスロジックではなくAIの吐くコードが Evaluability か Controllability という話か…。うん…？Southerとやらの StateMachine と遷移を出すのは StateMachine をコーディングするときテストで書く奴だな。それが自動化されるのかな？

Southerのモデル言語、データディクショナリをちゃんと備えたデータフロー図をコードで表現してる感じがする。

良いものを読んだ。

“AIエージェントに「注文キャンセルを実装して」だけでは想定どおりに実装しない。正しい仕様を最初からは書けないが、モデル(data構造, logic)と具体例(example)を繰り返し作っていくSouther言語なら正しい仕様になる”