技術的な学びや日々の気づきを記録しています。
「オーケストレーションは委譲し、ツールを足すだけ」という発想は GitHub Copilot SDK だけのものではない。Microsoft Agent Framework の Agent Harness（HarnessAgent）は、計画・TODO・コンテキスト圧縮・ツール承認まで作り込まれた自律エージェントを 1 行で立ち上げ、あなたはツールを足すだけでよい。同じ文書レビューエージェントを C# で実装し、Copilot SDK 版との設計の違いを論じる。
そもそも「記憶」とは何かを認知科学と最新の研究論文から体系立てて整理し、Microsoft Agent Framework の AgentSession・ContextProvider・ChatHistoryProvider を使って短期記憶と長期記憶を具体的に設計・実装する方法を、Python と C# のコードで徹底解説する。
LLM をバックエンドに持つ会話エージェントの「会話 UX」を体系的に評価するフレームワーク。構造・内容・体験という分離可能な3つの品質軸に安全性の制約軸を加えてルールセットを MECE に分類し、決定論的に測れるもの／測れないものを切り分ける。テキストチャットと音声対話で評価軸の重みがどう変わるかを、ターンテイキングの認知科学まで掘り下げて論じる。
エージェントの「司令塔（オーケストレーション）」を自分で書くのをやめ、GitHub Copilot SDK に丸ごと任せてしまう。レビューに必要な処理をツールとして提供するだけでレビューエージェントが立ち上がる、という発想とその実装を、カスタムツール・権限制御・SSE サーバ・UI まで含めて解説する。この設計のメリットとデメリットも論じる。
arXiv:2604.14228『Dive into Claude Code』を全面的に読み解く。while ループの周りに 98.4% の決定論的ハーネスを積み上げた設計思想を、安全性・文脈管理・拡張性・マルチエージェント・永続化の各軸で詳解し、AI エージェントの産業適用に向けた実践的な示唆を引き出す。
Linux における非同期 I/O の進化を、select・poll・epoll から io_uring まで、カーネル実装と実コードを手がかりに徹底解説します。
ベクトルデータベースが実現する近似最近傍探索 (ANN) を、距離計算・IVF・Product Quantization・HNSW・DiskANN まで、理論と実装の両面から解説します。
AG-UI（Agent-User Interaction Protocol）のアーキテクチャ、イベントシステム、ミドルウェア、状態管理を徹底解説し、Microsoft Agent Framework による具体的な実装を通じてプロトコルの本質を理解する。
従来の辺密度ベースを超えた Community Detection の最前線。モチーフ・高次構造に基づく検出、動的ネットワークにおけるコミュニティの追跡、多重ネットワークの統合的解析を、歴史的経緯とともに超詳細に解説します。
Agentic Workflow とは何か。従来の自動化・チャットボットとの違いから、Sequential・Concurrent・Handoff・Writer-Critic ループまで、Microsoft Agent Framework の C# 実装でワークフローパターンを徹底解説する。
グラフ研究における Community Detection の歴史・主要アルゴリズム・本質的な難しさを、インタラクティブな可視化とともに超詳細に解説します。
Microsoft Research 発の GraphRAG を、アーキテクチャから実装まで超詳細に解説。Leiden アルゴリズムによるコミュニティ検出、Global/Local/DRIFT Search の仕組み、そして Microsoft Agent Framework (C#) を用いた実装例を紹介します。
Model Context Protocol (MCP) のアーキテクチャ、Host/Client/Server の関係、3 つのプリミティブ（Tools・Resources・Prompts）、トランスポート層、Sampling・Elicitation などのクライアント機能、そして MCP Apps 拡張と microsoft/mcp-interactiveUI-samples の実装例まで徹底的に解説する。
辺が 1 本ずつ到着・削除されるストリーミング設定における Community Detection の研究史と最前線を、TILES・delta-screening Louvain・LabelRankT 等の象徴的アルゴリズムとともに超詳細に解説します。
PythonやJavaのようなバイトコードVM（仮想マシン）の内部構造を徹底解説。ソースコードからバイトコードへのコンパイル、スタックマシンとレジスタマシンの違い、インタプリタの実装パターン、そしてJITコンパイラによる最適化まで、VMの全体像を丁寧に紐解きます。
Google が 2004 年に発表した MapReduce を、歴史的背景・プログラミングモデル・内部実装・耐障害性・後続技術との比較まで超詳細に解説します。
1 次元ランダムウォークの再帰性から始め、グラフ上のマルコフ連鎖と定常分布を経て PageRank の発明に至る思考の道筋を辿る
BFS・DFS・Dijkstraを「知っている人が教える」のではなく「知らない人が問題を前にしてどう発想するか」という思考プロセスから解説。アルゴリズムを暗記するのではなく、自分で再発明できる考え方を身につける。
イベントソーシング、状態マシン、タスクキュー、決定論的リプレイなど、ワークフローエンジンの中核概念を Python でゼロから実装しながら徹底解説します。
Express.js の next()、Django の get_response、ASP.NET Core のパイプライン——あらゆる Web フレームワークが採用する「ミドルウェアチェーン」を、Python でゼロから実装しながら徹底理解します。
SQLAlchemy や Django ORM は裏で何をしているのか？メタデータ定義・SQL式木・Identity Map・Unit of Work・遅延読み込みの仕組みを Python でゼロから実装しながら、ORMの設計思想と内部構造を徹底的に解説します。
ASP.NET Core のホスティングモデル、ミドルウェアパイプライン、DI コンテナ、ルーティング、フィルタパイプラインなど、フレームワークの内部実装を徹底的に解説します。
.NET Aspire の App Model、オーケストレーション、サービスディスカバリ、ヘルスチェック、テレメトリ統合、カスタムリソース作成まで、フレームワークの内部アーキテクチャを徹底解説します。
プログラミングパラダイムの歴史的背景から、命令型・オブジェクト指向・関数型・論理型・リアクティブの各パラダイムの核心をインタラクティブな図解で超詳細に解説します。
pytest や unittest などのテストフレームワークが裏で何をしているのか？テストランナーをゼロから Python で実装しながら、ディスカバリ・収集・ライフサイクル・アサーション・レポートの仕組みを超詳細に解説します。
Microsoft Agent Framework の基本概念・エージェント実行モデル・ツール統合・ミドルウェア・ワークフローエンジンの内部実装まで、ソースコードレベルで徹底解説する。
ASP.NET Core や Go で広く使われる Options Pattern を、動機・内部実装・多言語での実装例・他パターンとの比較まで徹底解説する。
Word2Vec から GPT-4 に至る LLM の進化の系譜と、Transformer・自己注意機構・テキスト生成・RLHF の仕組みをインタラクティブな図解で徹底解説する。
転置インデックスの構築からTF-IDF/BM25によるランキングまで、検索エンジンの核心技術をインタラクティブな図解で解説する。
ライブラリとフレームワークの違いを「制御の反転（IoC）」の観点から解説します。具体的なコード例を交えて、両者の設計思想の違いを理解しましょう。
型システムの基礎から、静的型付け・動的型付け、構造的型付け・公称型付け、型推論、ジェネリクスまで、インタラクティブな図解で解説します。
async/awaitキーワードの裏側でランタイムが何をしているのか。JavaScriptのイベントループ、Pythonのasyncio、Rustのポーリングベースのモデルまで、非同期処理の内部実装を解説します。
データベースのインデックスがどのようにクエリを高速化するのか。B+木の挿入・検索・分割のメカニズム、LSM-Treeの書込最適化戦略、そして各データベースでの採用状況を解説します。
ガベージコレクション（GC）の仕組みをゼロから解説。参照カウントからトレースGC、世代別GC、並行GCまで、技術の系譜を辿りながら主要プログラミング言語の GC 戦略を比較します。三色マーク&スイープのインタラクティブな可視化付き。
Go ランタイムスケジューラの G (Goroutine)・M (Machine/OS Thread)・P (Processor) モデルをインタラクティブなアニメーションで解説します。
Next.js + MDX + Tailwind CSS で個人ブログを作りました。技術的な学びや日々の気づきを発信していきます。
2PC, Paxos, Raft, PBFT の仕組みをインタラクティブシミュレーターで可視化しながら、分散合意アルゴリズムの進化と理論的背景を解説します。
2025年2月、シアトルとバンクーバーを巡る旅。テック企業の聖地からカナダの大自然まで、太平洋岸北西部の魅力を追いかけた旅の記録。