Articles

実装だけでなく、検証まで残す。

AI開発の設計判断、Runtime Verification、Evidence、失敗、改善過程を記事として記録します。

AIにコードを書かせるだけでは足りなかった

生成AIに実装を任せながら、Runtime Verification、Evidence、PS1 Orchestration、GAP=STOPによって検証可能な状態へ進める個人開発の方法。