2025/11

生成AI／LLMの普及で境界防御だけに頼る危うさと、ゼロトラストをどう組み合わせていくかを整理します。

歴史ある論理型言語Prologの基本から、制約問題の実例、そしてLLMと組み合わせたハイブリッド構成まで、手短に整理します。

Googleが2025年11月に公開したエージェントファーストな開発環境「Google Antigravity」の概要・特徴・始め方を、既存のAIコーディングツールとの違いも含めて整理します。

AIエージェントと git worktree を組み合わせて、worktree ごとの依存インストールやインデックス作成を自動化するためのセットアップ例。

「type で十分じゃない？」から出発して、どこまでを TypeScript に任せて、どこから Zod / Valibot に任せるべきかを実務目線で整理します。