[{"data":1,"prerenderedAt":39},["ShallowReactive",2],{"blog-all":3},[4,16,25,32],{"path":5,"title":6,"no":7,"date":8,"updated":9,"image":9,"description":10,"tags":11,"pinned":15,"draft":15},"\u002Fblog\u002F004-completeness-theorem-proofs","完全性定理の2つの証明 ― ゲーデル流とヘンキン流",4,"2026-11-14",null,"一階述語論理の完全性定理を、ゲーデルによる元の証明（1929–1930年）と、今日の教科書の標準であるヘンキンの証明（1949年）の2つの道筋で解説します。どちらも「記号からモデルを作る」点は同じですが、足場の置き方が大きく異なります。",[12,13,14],"logic","math","history",false,{"path":17,"title":18,"no":19,"date":8,"updated":9,"image":9,"description":20,"tags":21,"pinned":15,"draft":15},"\u002Fblog\u002F003-design-patterns","デザインパターン再入門 ― GoF の23パターンを TypeScript で読み直す",3,"GoF の23パターンの全体像を整理し、現代の TypeScript やフロントエンド開発でも役立つ6つのパターンを、動くコードとともに解説します。使いすぎの落とし穴と、言語やフレームワークに溶け込んだパターンの見つけ方も。",[22,23,24],"design-pattern","programming","typescript",{"path":26,"title":27,"no":28,"date":8,"updated":9,"image":9,"description":29,"tags":30,"pinned":15,"draft":15},"\u002Fblog\u002F002-mathematical-logic-timeline","年表で見る20世紀の数理論理学 ― ゲーデルとタルスキ",2,"不完全性定理と真理の定義不可能性定理を軸に、20世紀の数理論理学の流れを年表で整理します。",[12,14,31],"timeline",{"path":33,"title":34,"no":35,"date":8,"updated":9,"image":9,"description":36,"tags":37,"pinned":15,"draft":15},"\u002Fblog\u002F001-backpropagation","バックプロパゲーション（誤差逆伝播法）を数式から理解する",1,"ニューラルネットワークの学習を支えるバックプロパゲーションを、連鎖律から4つの基本式を導くところまで丁寧に解説します。数値例と NumPy の実装つき。",[38,13],"machine-learning",1794635675562]