カテゴリ: AI/LLM
"AI/LLM" の記事
形式手法を Claude Code で回す — Z3 と TLA+ で仕様の穴を見つけ、反例をテストに落とす
Claude Code に料金計算の仕様を Z3 で、キャッシュ設計を TLA+ で形式化させ、仕様の矛盾と並行実行の競合を見つけた。形式手法とテストの違い、道具の選び方、反例を pytest に落とす手順、検査の空振りの確かめ方を実行結果つきで解説する。
AI で作った社内ツールは GAS に置く：追加コストゼロの「社内限定」アプリ基盤
mizchi さんの「俺のAIプログラミング手法」を読む — ループ・評価指標・形式手法で AI に任せる範囲を広げる
mizchi さんが 2026/10/05 に Zenn で公開した「俺のAIプログラミング手法」の要点を整理する。人間の役割の再定義、仕事を AI に渡すときの考える順番、Ralph Loop と /goal によるループ、数値化できる評価指標、そして TLA+・Z3・Alloy などの形式手法で仕様そのものを検査する発想まで。
要求仕様書作成ループ — コーディングエージェントの開発ハーネスの手前に「要求確定」と「仕様レビュー」のループを置く
更新日:/claude-api prompt-audit とは — 古いモデル向けに書いたプロンプトと CLAUDE.md を棚卸しするコマンド
Claude Code の /claude-api prompt-audit が CLAUDE.md・スキル・プロンプトの何を検出し、何をしないのかを、スキル本体と公式ベンチマークから整理します。
コンピュータビジョンの基礎をやさしく解説 — Microsoft AI-For-Beginners レッスン 06〜12
自然言語処理の基礎をやさしく解説 — Microsoft AI-For-Beginners レッスン 13〜20
遺伝的アルゴリズム・強化学習・マルチエージェントをやさしく解説 — Microsoft AI-For-Beginners レッスン 21〜23
AI 倫理と責任ある AI をやさしく解説 — Microsoft AI-For-Beginners レッスン 24
パーセプトロン入門 — 単純パーセプトロンの仕組みから多層パーセプトロン（MLP）まで