開発をシフトレフトせよ――形式手法でAIと事前に合意する開発のすすめかた
AI への指示書は自然言語で書きます。 書いた本人には明確に見えますし、AI も分かったという顔をして実装を始めます。 その結果、できあがったものが思っていたものではないことがあります。 なぜなら、自然言語は解釈が揺れるからです。 私が開発している OSS の TAKT では、この揺れを実行前の対話で潰しています。 具体的には、アシスタントとタスクを詰めて合意した内容を、指示書にまとめてからエージェント群に渡すようにしています。 この指示書の受け入れ条件はこれまで Gherkin で書かせてきました。 v0.61.0 でここに形式仕様モードという設定を足しました。 有効にすると、指示書の...
出典: Zenn AI（配信元の紹介文より引用）
このニュースの全文は、配信元でお読みいただけます。 Zenn AIで元記事を読む →
編集部の実践記録から
メール1通で決裁できる仕組みを作ったのに、実行されたコマンドは0通だった
当社はiPhoneからメールを1通返すだけで社内決裁が通る仕組みを作りました。実行ログを開いたら、使われた形跡は0通。承認待ちは29件から37件に増えていました。仕組みは正常なのに使われない。「入れた＝定着した」ではないという失敗の記録です。
続きを読む →
構造化データ（schema.org）は、AI検索に効くのか
FAQ PageやArticleといった構造化データ（schema.org）を入れれば、AI検索に引用されやすくなるのか。仕組みと、当社が実際に測った範囲での結果を正直に整理します。効いたと断言できない部分は、断言できないと書きます。
続きを読む →
毎朝動いているはずのAI自動化41本を5.3日ぶん数えたら、最大91%が発火すらしていなかった
社内で動かしているcron自動化41本の実行履歴1,425件を全数調査しました。「動いている」と思っていたジョブの多くが、そもそも起動していませんでした。メディア更新系は最大91%が抜け、完全に沈黙していたジョブも5本ありました。原因の切り分けまで、都合の悪い数字をそのまま載せます。
続きを読む →