型定義と実体のズレ——AIとの開発で共通する型の罠
Hiroba による自動要約
型定義は string だが実体は Date オブジェクトという不一致により、キャンペーン割引が表示されないバグに遭遇した実例。型チェックを信頼したことで AI と人間の両者が騙され、原因の症状が離れた場所で発生するため追跡が困難だった。Claude Code との二人三脚開発を通じて学んだ、AI 任せにしてはいけない設計判断の重要性を記録する。
読んで良かったら、シェアしてみてください。
同じタグの記事が他に 2371 件あります。
関連する記事
同じタグの記事
ネット記事を生成AIで整理する(2) — JSON ファイルの自動分類
Zenn膨大な PDF ネット記事から抽出した JSON ファイルを Claude Opus に分類方法を提案させ、キーワード出現頻度に基づいて 12 カテゴリ + 未分類に自動振り分けする Python スクリプト classify.py を実装。キーワード部分を 3 倍に重み付けすることで、タイトル・要約より精度の高い分類を実現。
2026年7月版 AI エージェントのスキルを使いこなす技術 ― 調査・設計・コーディング別の実践ガイド
QiitaClaude Code のスキルを調査・設計・コーディングのフェーズ別に効かせるための実践ガイド。スキルは「手順書」ではなく「型の強制装置」であり、認知的摩擦コスト×頻度で判断軸を立てることで、作ったまま使われないスキルの問題を解決する。標準スキル・マーケット活用・自作スキル・セキュリティの4領域を網羅した設計原則とサンプルコードを紹介。
Claude Fable 5 のサブスク終了後の運用方針。カンリー エンジニア本部の事例
Zenn2026年7月13日に Claude Fable 5 がサブスクリプション枠から外れ、従量課金枠での利用に移行する。カンリーのエンジニア本部では、モデル選択と Effort Level の組み合わせ、および Advisor 型・Routing 型の使い分けにより、限られた予算内で Fable 5 を要所に絞って使う方針を採用した。単価が高いモデルも難しいタスクでは総額で安く済む可能性があり、実行役（Sonnet 5）と判断役（Fable 5）を分ける設計で、品質を保ちながら費用を最適化できる。
Claude Code で「できました」と言われたのに直ってない時の検証ループ
QiitaClaude Code が作業完了と判断しても実装にバグが残る「trust-then-verify gap」に対抗するため、検証ループを回す方法を解説。テスト・スクリーンショット・実行証拠など合否判定を与え、失敗テストを先に書かせてから修正させるアプローチで、Anthropic の分析では壊れたコード修正に費やされるセッションが 33% から 19% に削減された。