記事一覧
すべての記事
Claude Opus 5.5 の使い方 — 「よく考えて」を消し、effort と継続指示で長いタスクを回す
AI の歴史と基本をやさしく解説 — Microsoft AI-For-Beginners レッスン 01
更新日:Microsoft の AI-For-Beginners 日本語版 — LLM の「手前」を積み直す教材として使う
更新日:多段 SSH は ProxyJump で — Match host と ControlMaster で踏み台設定を短くする
踏み台(bastion)経由の多段 SSH は ProxyJump と -J で書ける。Match host でプライベート IP 帯にまとめて適用し、ControlMaster で接続を多重化する設定を、ssh -G で挙動を確かめながら整理する。
停止条件は測れても収束しない — AIエージェントのループ設計と「不動点」
停止条件を書いてもループが収束しないのはなぜか。「指摘ゼロになるまで回すレビューループ」がゼロにならなかった実例から、収束を不動点で判別する見方、LLMを判定器にすると不動点が消える理由、収束しないループに持たせる止め際の設計をまとめる。
ホワイトボックスとブラックボックスの違いを実測した — 分岐カバレッジ 100% でミューテーションスコアは 0% と 100%
ホワイトボックステストとブラックボックステストの違いを実測した。同じ関数・同じ分岐カバレッジ 100% の 4 スイートのうち、境界値分析を仕様から導出した側だけが off-by-one を検出。ミューテーションスコアは 0% と 100% に割れた。AI エージェントに実装を見せてテストを書かせると何が起きるかも測った。
AIエージェントの自己改善が頭打ちになる理由 — ハーネスで組む4つの仕組みと、最後に残る「評価」
AIエージェントに自分のワークフローを改善させると、ある精度で頭打ちになる。LayerXの堤大貴氏のスライド「AIエージェントの自己改善をどう設計するか」を軸に、自己反省では前提を覆せない理由、訓練データ・最適化器・探索戦略・評価の4つの仕組み、そして最後に人間に残る「評価」の設計を整理する。
生成AIのドキュメントが長い原因は指示側にある — Claude Code Skill で「書かないこと」を指定する
テストを信じる前に、テストを壊す — mutation harness で「緑」に意味を持たせる
テストが全部緑でも、コードについて何も分かっていない。わざとコードを壊してテストが落ちるかを見るミューテーション(mutation)テストを、専用ツールなしの 30 行の Python スクリプトで回した実例。到達不能な死んだガードの見つけ方、GREEN の 3 分類、踏んだ 6 つの罠、そして AI コーディングエージェントに検査を任せるときの指示の書き方までをまとめる。
Rokid スマートAIグラスで何を作るか — 実装 2 本でわかった制約から、道案内と売り場検索を設計する
Rokid スマートAIグラスのアプリ基盤 AIUI で実装 2 本を作って判明した制約(実機に crypto が無い、TTS を止められない等)と、そこから逆算した道案内・売り場検索アプリの設計。