見積もりの技術|不確実性をどう伝えるか
テックリードの見積もりは精度勝負ではなく不確実性を扱う技術です。マコネルの定義と不確実性のコーンを踏まえ、点ではなく幅で答える伝え方と、期限が動かないときの選択肢の示し方を整理しました。
Tech Leadテックリードの見積もりは精度勝負ではなく不確実性を扱う技術です。マコネルの定義と不確実性のコーンを踏まえ、点ではなく幅で答える伝え方と、期限が動かないときの選択肢の示し方を整理しました。
AIアテンションが実際に何を計算しているのかを、Q・K・V とマルチヘッドの役割から整理しました。並列化が効く理由と、長い文脈でコストが跳ね上がる理由が、同じ構造から出てくる話です。
AI9月7日〜13日の生成AIの動き。Amodei氏やOpenAI幹部の減速論、Anthropicの不正アクセス4件目と評価の撤回、ChatGPT Pro 200ドルの受付停止、Windows版Coworkの障害まで出典つきでまとめます。
AILLMの生成が遅いのはメモリ帯域が原因。小さなドラフトモデルに数トークン先読みさせ、本命モデルがまとめて検証する投機的デコーディングの仕組みと、出力分布が変わらない理由、効かない場面を整理しました。
SRESLO を決めた時点で自動的に決まる「落としてよい量」がエラーバジェット。Google SRE 本の定義と 30 日で 43 分という具体例、バーンレートで減り方を見るアラート設計までを整理しました。
AIRAGの精度を「なんとなく」で判断していませんか。検索側のコンテキストリコール/プレシジョンと、生成側の忠実性/応答関連性に分けて測る、RAG評価の基本を整理しました。
Tech Lead技術的負債を「毎回余計に払っている利息」として観測値で示し、次の機能とセットで返済を提案する組み立てを、Martin Fowler の四象限と元本返済の考え方を手がかりに整理しました。
FDEPalantirの公式ドキュメントとAnthropicの求人票、AWSとMicrosoftの職務定義を読み比べ、FDE・SIer・ソリューションアーキテクトを「誰の課題を解くか」「成果物」「終了後」「製品への還流」の四つの軸で整理しました。
Tech LeadADR(Architecture Decision Record)は技術判断の理由を1枚に残す軽量な記録です。Nygardの5節テンプレート、書き換えずsupersedeする運用、対象の絞り方を整理しました。
AIAIエージェントの「ハーネス」とは何か。同じモデルを9種のハーネスで走らせたら1タスクのコストが17倍開いた公開評価と、Anthropicの設計指針をもとに、結果とコストが変わる理由を整理しました。