完全性定理の2つの証明 ― ゲーデル流とヘンキン流
一階述語論理の完全性定理を、ゲーデルによる元の証明（1929–1930年）と、今日の教科書の標準であるヘンキンの証明（1949年）の2つの道筋で解説します。どちらも「記号からモデルを作る」点は同じですが、足場の置き方が大きく異なります。
ブログ
学んだこと、作ったもの、調べたことを書いています。
タグで絞り込む
デザインパターン再入門 ― GoF の23パターンを TypeScript で読み直す
GoF の23パターンの全体像を整理し、現代の TypeScript やフロントエンド開発でも役立つ6つのパターンを、動くコードとともに解説します。使いすぎの落とし穴と、言語やフレームワークに溶け込んだパターンの見つけ方も。
年表で見る20世紀の数理論理学 ― ゲーデルとタルスキ
不完全性定理と真理の定義不可能性定理を軸に、20世紀の数理論理学の流れを年表で整理します。
バックプロパゲーション（誤差逆伝播法）を数式から理解する
ニューラルネットワークの学習を支えるバックプロパゲーションを、連鎖律から4つの基本式を導くところまで丁寧に解説します。数値例と NumPy の実装つき。