t_wの輪郭

RSS

coding

2025/4/13 11:16:00

coding agent Agentic Coding

Agentic Coding

2025/5/14 20:11:00

『XユーザーのTakuto Wadaさん: 「エージェント型AIを定額使い放題になって感じたのは「Agentic Coding とは Reconciliation Loop である」ということ。望ましい状態を宣言的に定義し、評価関数を与える。エージェントはその状態に収束するよう自律的に働く。理想状態の定義と評価関数の設計が重要。」 / X』

agent コード生成AI coding

coding agent

2025/4/13 11:16:00

Devin CLINE Roo Code 『leanによる定理証明AIエージェント遊戯 #lean - Qiita』Augment Code Codex あれあれ『XユーザーのTakuto Wadaさん: 「エージェント型AIを定額使い放題になって感じたのは「Agentic Coding とは Reconciliation Loop である」ということ。望ましい状態を宣言的に定義し、評価関数を与える。エージェントはその状態に収束するよう自律的に働く。理想状態の定義と評価関数の設計が重要。」 / X』Code with Claude