coding
2025/4/13 11:16:00
Agentic Coding
2025/5/14 20:11:00
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あれ