開発をシフトレフトせよ――形式仕様でAIと事前に合意する開発のすすめかた

AI への指示書は自然言語で書きます。書いた本人には明確に見えますし、AI も分かったという顔をして実装を始めます。その結果、できあがったものが思っていたものではないことがあります。なぜなら、自然言語は解釈が揺れるからです。私が開発している OSS の TAKT では、この揺れを実行前の対話で潰しています。 ...

開発をシフトレフトせよ――形式仕様でAIと事前に合意する開発のすすめかた

この記事のキーワード

同じキーワードの記事

実装前に AI と合意せよ！Quint で形式仕様読解入門

Anthropicがオープンソースプロジェクト向けに無料AIセキュリティスキャンサービスの「OSS Scanner」を開始

AIによるバグ報告が爆増したためGoogleがバグ報奨金プログラムを一時停止

「OSSレジストリのただ乗りは限界」 GoogleやMicrosoftなど12社が企業の費用負担を巡り共同声明

OSSのAI再実装は悪か、波紋呼ぶ「ライセンス洗浄」と貢献の行方

行政機関18万人を支える「源内」 わずか1～2人での運用を実現した“一見手の込んだ仕組み”

時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた

Anthropicの電子透かし導入発表直後に登場した透かし剥がしOSS「watermarks-remover」がClaude・Gemini・OpenAIに対応（生成AIクローズアップ） | テクノエッジ TechnoEdge

Excel VBAの開発体験をモダン言語並みにアゲる VSCode拡張機能を作りました

Zed 完全ガイド - izanami

介護の現場は､包丁を手にしている相手に｢契約解除する｣ではなく｢また来ます｣と言わねばならぬルールのままでいいのか | 政治・経済・投資 | 東洋経済オンライン

AIショックで中国の映像産業に｢冬の時代｣…実写のショートドラマが激減､ユーザー引き留めへ撮影スタジオを無料化 | ビジネス | 東洋経済オンライン

「AIを使える職員に仕事が集中」--政府の生成AI調査に負担増の声も

大学生、7割が就職にAI活用 「後ろめたさある」は4人に1人

いらすとや、ファンが生息域踏査 AIに押されサイト訪問者は減少

アカウンタビリティを軸とした AI-Native 開発のデザイン戦略

自分の本名を検索したらAIで要約されて表示されるのだが個人情報がダダ漏れしている？「これは本当に怖い」「ネットに上がってる情報をまとめただけだから…」

三代目 J SOUL BROTHERS今市隆二がソロツアー開催、全国11都市巡る

「撮って出し」の立体感に唸る。α9 III×ソニーの「白レンズ」新超望遠でモータースポーツを追う

AIにありがちな「イマイチなコードコメント」9パターン - Qiita

行政機関18万人を支える「源内」わずか1～2人での運用を実現した“一見手の込んだ仕組み”

大学生、7割が就職にAI活用「後ろめたさある」は4人に1人