coding
2025/4/13 11:16:00
Agentic Coding
2025/5/14 20:11:00
『XユーザーのTakuto Wadaさん: 「エージェント型AIを定額使い放題になって感じたのは「Agentic Coding とは Reconciliation Loop である」ということ。望ましい状態を宣言的に定義し、評価関数を与える。エージェントはその状態に収束するよう自律的に働く。理想状態の定義と評価関数の設計が重要。」 / X』『AI時代のソフトウェア開発を考える（2025/07版） / Agentic Software Engineering Findy 2025-07 Edition - Speaker Deck』あれ『AIエージェントが書くのなら直接CloudFormationを書かせればいいじゃないですか何故AWS CDKを使う必要があるのさ - Speaker Deck』
coding agent
2025/4/13 11:16:00
DevinCLINERoo Code『leanによる定理証明AIエージェント遊戯 #lean - Qiita』Augment CodeCodexあれあれ『XユーザーのTakuto Wadaさん: 「エージェント型AIを定額使い放題になって感じたのは「Agentic Coding とは Reconciliation Loop である」ということ。望ましい状態を宣言的に定義し、評価関数を与える。エージェントはその状態に収束するよう自律的に働く。理想状態の定義と評価関数の設計が重要。」 / X』Code with Claude『コーディングエージェントの現状の整理とエンジニアの仕事の変化について』AiderあれGemini CLIあれKiro