記事一覧

すべての記事

• REA とは？AI エージェントにリバースエンジニアリングさせる MCP ツールの使い方と注意点

  2026年10月13日

  AI エージェントにリバースエンジニアリングの道具を持たせる MCP サーバー兼 CLI「REA」の仕組み、Evidence による根拠の示し方、npx rea-agents setup での導入手順、EULA・商用エンジンのライセンス・モデル提供元へのデータ送信といった注意点を解説します。

• Redshift か、S3 ＋ Iceberg のレイクハウスか：DWH とオープンテーブルフォーマットの選び方

  2026年10月13日

• Apache Iceberg 入門：データレイクを「テーブル」にする仕組みと DuckDB との関係

  2026年10月12日

• 要求仕様ループを Claude Code プラグインにする — dev-loop と分けて 1 プラグイン・複数スキルで組む

  2026年10月12日

• Claude for Google Workspace 公開ベータ — Docs・Sheets・Slides でできることと Gemini との使い分け

  2026年10月9日

• 形式手法を Claude Code で回す — Z3 と TLA+ で仕様の穴を見つけ、反例をテストに落とす

  2026年10月9日

  Claude Code に料金計算の仕様を Z3 で、キャッシュ設計を TLA+ で形式化させ、仕様の矛盾と並行実行の競合を見つけた。形式手法とテストの違い、道具の選び方、反例を pytest に落とす手順、検査の空振りの確かめ方を実行結果つきで解説する。

• AI で作った社内ツールは GAS に置く：追加コストゼロの「社内限定」アプリ基盤

  2026年10月9日

• mizchi さんの「俺のAIプログラミング手法」を読む — ループ・評価指標・形式手法で AI に任せる範囲を広げる

  2026年10月9日

  mizchi さんが 2026/10/05 に Zenn で公開した「俺のAIプログラミング手法」の要点を整理する。人間の役割の再定義、仕事を AI に渡すときの考える順番、Ralph Loop と /goal によるループ、数値化できる評価指標、そして TLA+・Z3・Alloy などの形式手法で仕様そのものを検査する発想まで。

• 要求仕様書作成ループ — コーディングエージェントの開発ハーネスの手前に「要求確定」と「仕様レビュー」のループを置く

  更新日:2026年10月12日

• /claude-api prompt-audit とは — 古いモデル向けに書いたプロンプトと CLAUDE.md を棚卸しするコマンド

  2026年10月8日

  Claude Code の /claude-api prompt-audit が CLAUDE.md・スキル・プロンプトの何を検出し、何をしないのかを、スキル本体と公式ベンチマークから整理します。