skinny.

Latest / くわラジ

#15 LLMに漠然と探させるな——「意味の構造」にフォーカスさせる検査ツール

LLM(AI)にシーケンス図や設計のレビューを任せたら、なぜ見逃しだらけになるのか?答えは「漠然と探させている」から。ルールベースの検査ツールで怪しい箇所を列挙し、LLMの注意を「意味の構造」にフォーカスさせると、検出精度がほぼ100%まで上がる——そんな検査ツールの作り方を深掘りする回です。

スーパーエンジニアのkuniwakが開発中の、仕様と実装設計を検査するツールの裏側を一般エンジニアのへんてこが根掘り葉掘り聞いていきます。

PlantUMLで書いたシーケンス図の「矢印の連続性」をGo製ツールで解析してLLMにジャッジさせる仕組み、C4モデル(コンテキスト図・コンテナ図)との整合性チェック、そして「誤警告してもいい」というlintツールとの決定的な違いまで。

後半は、LLMに良い設計をさせる鍵としてのテスト駆動開発(TDD)とロードマップ、プライベート関数という抜け道の塞ぎ方、さらにLLMが得意なプログラミング言語と型検査の「税金」の話へと展開します。

AIコーディングエージェントのレビュー精度に悩んでいる人ほど刺さる実践知が詰まっています。

▼この回で話していること

・シーケンス図の落とし穴とは?矢印の連続性に隠れた「暗黙のシステム」

・LLMが図の検査で見逃しを連発する理由——漠然とした探索と計算が苦手…

The skinny

The skinny isn't ready yet — notes appear once the transcript is processed.