本日も、ネットに流れるトピックから個人的に興味を引かれたものを拾っていきます。
この記事への感想等コメントで頂けるとありがたいです
プログラミング
Go言語
この記事は、Goアプリケーションに対してコードを書き換えずにOpenTelemetryのトレースを取得する「ゼロコード計装」を、LinuxカーネルのeBPFを用いて実現する方法と仕組みを解説した技術記事である。
まずゼロコード計装の概要として、本来はアプリ側にOpenTelemetryの初期化やHTTPハンドラのラップなどのコードを組み込む必要があるところを、専用バイナリを実行するだけで計装できる点を説明し、その基盤としてLinuxカーネルの拡張基盤であるeBPFを紹介している。 eBPFプログラムを関数呼び出しなどのイベントにアタッチすることで、アプリを書き換えずに振る舞いを観測できることがポイントとされる。
実装編では、Cで書いたeBPFプログラムをbpf2goでコンパイルしGo側から操作する構成をとり、関数開始・終了時にイベントをBPF Mapへ書き出し、Goの監視アプリがそれを読み取って実行時間などを表示する流れを示している。 さらに、Goではuretprobeがスタック書き換えと相性が悪くクラッシュを招くため、ELFバイナリ解析とディスアセンブルでRET命令位置を特定し、uprobeだけで開始・終了両方にフックするテクニックが紹介される。
Go固有の難しさとして、M:NスレッドモデルによりスレッドIDではGoroutineを識別できない問題に対し、Arm64環境でR28レジスタに載るGoroutine構造体ポインタからGoroutine IDを取得し、BPF Mapのキーとして開始・終了イベントをひも付ける手法が説明される。 また、bpf_ktime_get_nsが返す単調増加クロックとOpenTelemetryが要求するUNIX時間とのずれを、Go側でCLOCK_MONOTONICを参照して補正し、正しい開始・終了時刻をトレースに設定する方法も扱う。
後半では、HTTPサーバのAPM分析に必要なhttp.route・http.method・http.status_codeを、eBPFからnet/http.Requestやhttp.responseの内部構造をたどって取得する具体的な手順を解説している。 Goのstring内部表現(ポインタ+長さ)に合わせたコピー用マクロや、reflectなどで調べた構造体フィールドのオフセットを使ってルートパス・メソッド・ステータスコードを抜き出し、それらを属性としてMackerelにトレース送信するまでを通して実装している。 最後に、こうした技術要素を組み合わせることで、任意のGoアプリをeBPF経由でゼロコード計装し、OpenTelemetryトレースを送信できることと、OBIなどeBPFベース計装の動向に触れて締めくくっている。
Python
Python 3.14.2と3.13.11が、直前リリースで見つかったリグレッション対応のため緊急公開された。multiprocessingやdataclasses、辞書挿入、正規表現スキャナのクラッシュを修正し、http.serverやhttp.client関連のDoS脆弱性など複数のセキュリティ問題にも対処している。
GitHub
本記事では、GitHub ActionsのランナーをBlacksmith製のサードパーティランナーに変更し、YAMLのruns-onを数行書き換えただけで、ジョブ実行時間を最大約70%高速化しつつ、Actionsの利用コストを約70%削減できた事例が紹介されている。 著者はBlacksmithとWARPBUILDを比較検証したうえで、料金の安さと高速な実行、使いやすいダッシュボードなどを理由にBlacksmithを採用し、RspecやDocker buildの大幅な高速化と費用削減を実現したと報告している。 一方で、GitHubだけでなくBlacksmith側の障害の影響も受けるなどのリスクはありつつ、テストチューニングより機能開発を優先したいチームには有力な選択肢と結論づけている。
エージェンティックコーディング・仕様駆動開発
この記事は、Claude Codeによる開発支援で実際に起きた「やらかし」事例と、その再発防止のためのCLAUDE.md運用術を紹介している。
筆者は、コードレビュー確認を依頼した際に「確認して対応して」と曖昧に指示した結果、対応予定のないレビューコメントへの返信が自動投稿されてしまった事例を挙げ、原因はプロンプトの書き方にあったと振り返る。 また、別タスクで作ったバックアップファイルが、Claude Codeが git add -A を実行したことで意図せずPRに含まれてしまった事例も紹介し、ステージング内容の未確認が問題だったと分析している。
これらを受けて、曖昧な指示が来たときは作業を進めず質問すること、意図しない挙動があったときは原因と再発防止策をAI自身に検討させてCLAUDE.mdに反映すること、といった運用ルールを整備したと説明する。 最終的には「コミット前にステージングされたファイルを確認する」「意図しないファイルが含まれていないか確認する」といった具体的なチェック手順をCLAUDE.mdに明記し、AIエージェントとともに失敗から学び成長していく姿勢の重要性を強調している。
AI
OpenAI
OpenAIの「GPT-5.1-Codex-Max Prompting Guide」は、高性能なエージェントコーディングモデルであるGPT-5.1-Codex-Maxの性能を最大限に引き出すためのプロンプト設定とツールの利用方法を解説しています。
このモデルは、GPT-5.1-Codexの性能を維持しつつ、思考トークンを約30%削減し、より高速かつトークン効率が向上しました。また、長時間のタスクを自律的にこなす高い知能と、コンパクション(圧縮)機能による長時間のエージェント作業のサポートが特徴です。
ガイドでは、「自律性(Autonomy)」、「ツールの適切な利用(Tool Use)」、**「コードの品質(Code Implementation)」**を重視した推奨スタータープロンプトが示されています。具体的には、既存のツールを優先し、作業計画を立て、小さな編集ではなく論理的な編集をバッチ処理し、ユーザーの指示なしに途中で計画やステータスを伝えないなど、シニアエンジニアのように振る舞うことが求められます。また、フロントエンドタスクにおいては、定型的なデザインを避け、意図的で大胆なインターフェースを目指すことなど、各作業における具体的な原則が詳しく説明されています。
Microsoft
Microsoft Foundry で OpenAI の GPT-5.1-codex-max が一般提供開始され、エンタープライズ向けの高度なコーディングエージェントとして利用可能になったことを発表している。複雑かつ長期の開発プロジェクトに対応し、マイクロサービス横断のマルチエージェント開発、レガシー .NET/Java のクラウドネイティブ化、セキュアな API 開発、CI/CD への組み込みによる自動コードレビューやテスト生成などを支援する。開発者は Azure AI Foundry や VS Code の Foundry 拡張機能から利用でき、Foundry 上の他社モデルとあわせて企業向けに安全で高性能な AI 開発基盤を提供する。
Gemini 3 Proは、文書・空間・画面・動画の理解において最先端性能を発揮するマルチモーダルモデルで、従来の認識から高度な視覚・空間推論へと大きく進化したモデルとして紹介されている。
高精度OCRと「デレンダリング」による文書構造再現、座標出力による空間理解とロボティクス応用、UIを正確に操作できる画面理解、高フレームレートかつ因果関係まで追える動画理解を備え、教育・医療画像・法律・金融など幅広い分野での活用が想定されている。
Googleは2025年11月のAI関連アップデートとして、マルチモーダル性能とエージェント機能を強化した次世代モデル「Gemini 3」を発表し、Geminiアプリや検索のAI Modeに展開しました。 また、Gemini 3を基盤に高品質画像生成・編集が可能な「Nano Banana Pro」、自律的にタスクを計画・実行・検証できるエージェント開発基盤「Google Antigravity」を公開し、開発者向けのエージェント開発環境を拡充しました。 コンシューマ向けには、Gemini連携で会話型ナビやランドマーク案内を行う新しいGoogleマップ機能や、Android Autoでの自然言語操作対応、旅行計画やショッピング支援のための検索・Geminiの新機能を追加しました。 研究・社会分野では、仮想3D世界で対話・自己改善できるエージェント「SIMA 2」、高速高解像度の気象予測モデル「WeatherNext 2」、タンパク質構造予測AI「AlphaFold」の5年間の成果を紹介し、さらに教育向けのAI学習支援機能やGemini Liveの会話アップデート、テキサスへの400億ドル規模のAI・クラウド投資と電気技術者10万人育成など、インフラ・人材への大規模投資も打ち出しました。
本記事は、Web3上でブロックチェーン取引を行うAIエージェントの鍵管理と安全性について、エージェントが資金を直接保持するカストディ型と、ユーザーが署名のみ行うトランザクション作成型の2モデルを比較し、後者をより安全な主流モデルとして推奨している。 また、Google CloudのAgent Development KitやCloud Runを用いて、MetaMaskと連携する非カストディ型エージェントを実装する方法と、その際のユーザー意図確認プロセスの重要性を解説し、MCPサーバーは両モデルをサポートすることで柔軟かつ安全なエージェント経済を実現できると述べている。
Googleは、エージェント開発プラットフォーム「Google Antigravity」の需要増に対応するため、有料のGoogle AI Pro / Ultraユーザー向けに優先アクセスと、5時間ごとにリセットされるより高いレート制限を提供開始しました。 無料ユーザーには週単位のより大きなレート制限が適用され、プランに関わらずGemini 3 Pro、無制限のタブ補完、Agent Managerやブラウザ連携などの機能が利用できます。
感想:
さすがに無料使い放題は終わったか。
AWS
Kiro powers は、MCP ツール群とフレームワーク固有のノウハウを「power」という単位にまとめ、必要になったときだけ動的に読み込む仕組みで、エージェントのコンテキスト肥大とセットアップの煩雑さを解消する仕組みです。
Stripe や Supabase など特定ドメインごとに POWER.md・MCP 設定・ワークフロー別ステアリングをバンドルし、キーワードに応じて関連 power だけを有効化するため、トークン消費を抑えつつベストプラクティスに沿ったコード生成や操作が可能になり、Kiro IDE を起点に今後は他 IDE/エージェントにも展開されることを目指しています。
GitHub Copilot
GitHub Copilotのコード生成インサイトに、エンタープライズ全体のAIによるコード変更量を可視化するダッシュボードが追加された。LoCベースでユーザー起点・エージェント起点の変更やモデル・言語別の活動を確認でき、NDJSON形式で詳細データのダウンロードも可能で、利用にはCopilot使用状況メトリクスのポリシー有効化と対応権限が必要。
JetBrains
JetBrainsは、IDEとAIエージェントをつなぐ共通規格「Agent Client Protocol(ACP)」のベータ対応を25.3系リリース候補で導入し、任意のACP対応エージェントをJetBrains製IDEのAIチャットから利用できるようにした。
これにより、開発者は好みのエージェントを選択してIDE内で利用でき、エージェント開発者はIDEごとの個別実装なしに統合可能となる。 今後はUX改善、ACPエージェントのレジストリ構築、リモートエージェント対応、MCPツールチェーン提供などを進め、よりオープンで拡張性の高いエージェントエコシステムを目指している。
論文・その他
本記事は、DeNAのAIエンジニアが社内向けに実施した「LLM勉強会」の内容と、そこで使用したスライド・ハンズオン用コードを一般公開したレポートです。
対象は新規AIプロダクトを担当するPdMやエンジニアで、LLMの基礎(Next Token Prediction、Instruction Tuning、Reasoning、プロンプトエンジニアリング)から、API呼び出しや構造化出力、複数LLMの組み合わせといった実践的なハンズオンまでを、約3時間の講義+演習形式で学べる構成になっています。 後半では、プロダクト開発で重要となるデータ活用、ファインチューニングと強化学習の違い、コンテキストエンジニアリングやRAG、ReAct・Reflexionといったエージェント手法を解説し、マルチモーダル入力、Tool Calling、Embeddingによる類似度計算、Deep Researchの設計、n8nやLangSmithを用いた演習も行われました。
勉強会にはオンライン・オフライン合わせて52名が参加し、新規AIプロダクト配属時の研修に組み込みたい、AIエンジニアの仕事理解が進んだといったポジティブなフィードバックが寄せられています。 スライドとソースコードはそれぞれ専用サイトとGitHubで公開されており、社外秘部分を除きほぼすべての内容が誰でも再現できる教材として提供されています。
この記事は、AIがコードを書く現在の姿に至るまでの約90年の歴史を「形式的手法」「帰納的学習」「エージェント研究」という三つの流れから整理し、2020年代にそれらが収束してSWE-bench Verified 80%という水準に到達した過程を概観している。1930〜60年代のチューリングらによる計算可能性の定義から始まり、ソフトウェア危機を背景にした形式的手法・定理証明ベースのプログラム合成、そしてSketchやFlashFillに代表される「例から学ぶ」プログラム合成が紹介される。その後、ニューラルネットとTransformerの発展、GPT系・BERT系モデルの登場、CodexやCopilot、ChatGPTによる実用的なコード生成の普及が説明され、HumanEvalなどの初期ベンチマークが飽和していく流れが描かれる。 さらに、ReActやSWE-agent、MemGPTなどを通じた「エージェント」の台頭とコンテキストエンジニアリングの重要性、Vibe CodingとAgentic Engineeringといった開発哲学の対立、SWE-bench Verified/ProやLiveCodeBenchなど新たな評価指標の動向、MCPやA2Aといった標準化の試み、そして経済性や法的課題にも触れつつ、80%達成後も依然として「正しさ保証」や複雑な現実タスクは未解決であると結論づけている。
クラウド
Azure
2025/12/5 時点の Azure 関連公式情報を横断的にまとめた記事で、Blob Storage SFTP のレジューム対応 GA や、Azure Databricks サーバーレスワークスペースのパブリックプレビューなどの更新が紹介されています。 また、React Server Components の重大脆弱性への WAF 対策、Microsoft Defender 製品群の最新情報、Amazon API Gateway から Azure API Management への移行ガイド、Dev Proxy v2.0、.NET Conf 2025 のまとめ、Azure Government 向け H200 GPU 提供など多数のブログ・Tech Community 記事へのリンクが整理されています。
OS
Windows
Windows on Arm向けのPrismエミュレーターが更新され、AVX/AVX2やBMI、FMA、F16Cなどのx86拡張命令の変換に対応し、これまで動かなかった一部のアプリやゲームが動作可能になったことを説明する記事です。 このアップデートはWindows 11 24H2以降を搭載したWindows on Arm全デバイスに展開され、64bit x86アプリでは標準有効、32bitアプリは互換性設定から有効化できます。
Windows 11 Insider Preview Build 26220.7344 は Dev/Beta 両チャネル向けの 25H2 ベース更新で、MCP によるネイティブなエージェント連携、Quick Machine Recovery の自動有効化、アプリ更新を統合管理する UOP、Windows MIDI Services の正式リリースなどを追加し、検索やエクスプローラー、Windows Hello、表示・グラフィックス、Xbox 全画面体験などの不具合修正も含みます。
macOS
macOS 26でElectron製アプリによるGPU負荷問題が発生していることを受け、アプリがどのUIフレームワーク(SwiftUI、AppKit、Catalyst、Electron、Qtなど)で作られているかを解析し特定できるMacアプリ「App Detective」が公開された記事です。
App Detectiveは/ApplicationsなどをスキャンしてContents/FrameworksやInfo.plistからフレームワークを判別し、MITライセンスのオープンソースとしてmacOS 14.6以降で利用でき、過去に類似ツールとして5 GUIsも存在したことが触れられています。
エンジニア
この記事は、Rustの所有権・非同期処理・トランザクション・キャッシュなどの具体例を通じて、「類推(アナロジー)は理解の強力な足場だが、同時に誤解と判断ミスの源にもなる」という両義性を論じたエッセイです。 類推によって抽象概念への入り口を開き、学習・コミュニケーション・創造性を加速できる一方で、「本の貸し借り」「料理」「銀行振込」「辞書」といった日常的な比喩を引きずりすぎると、Rustのライフタイムや借用、非同期下のMutex・デッドロック、分散システムのトランザクションと外部API、キャッシュ無効化やレースコンディションの本質を取り違えるプロセスが丁寧に描かれます。 筆者は、表面的類似と構造的類似の混同、ベストプラクティスや他社事例の安易な当てはめが設計や組織運営を誤らせると指摘し、「類推は仮説であって証明ではない」と強調したうえで、類推のレベルを意識すること、反例探索と実測で検証すること、複数の類推を比較し言語化することを通じて「類推で入り口を作り、判断は具体で行う」態度を提案します。 最後に、間違った類推を手放す心理的な難しさにも触れつつ、「類推をやめるのではなく、疑い、修正し、必要なら断つ勇気を持て」というメッセージで締めくくられています。