https://kyoseikamada.com/ 数学・論理学・機械学習・ソフトウェア設計などの学びを、記事と年表で公開しています。 ja Fri, 13 Nov 2026 15:00:00 GMT https://kyoseikamada.com/blog/004-completeness-theorem-proofs https://kyoseikamada.com/blog/004-completeness-theorem-proofs Fri, 13 Nov 2026 15:00:00 GMT 一階述語論理の完全性定理を、ゲーデルによる元の証明（1929–1930年）と、今日の教科書の標準であるヘンキンの証明（1949年）の2つの道筋で解説します。どちらも「記号からモデルを作る」点は同じですが、足場の置き方が大きく異なります。 logic math history https://kyoseikamada.com/blog/003-design-patterns https://kyoseikamada.com/blog/003-design-patterns Fri, 13 Nov 2026 15:00:00 GMT GoF の23パターンの全体像を整理し、現代の TypeScript やフロントエンド開発でも役立つ6つのパターンを、動くコードとともに解説します。使いすぎの落とし穴と、言語やフレームワークに溶け込んだパターンの見つけ方も。 design-pattern programming typescript https://kyoseikamada.com/blog/002-mathematical-logic-timeline https://kyoseikamada.com/blog/002-mathematical-logic-timeline Fri, 13 Nov 2026 15:00:00 GMT 不完全性定理と真理の定義不可能性定理を軸に、20世紀の数理論理学の流れを年表で整理します。 logic history timeline https://kyoseikamada.com/blog/001-backpropagation https://kyoseikamada.com/blog/001-backpropagation Fri, 13 Nov 2026 15:00:00 GMT ニューラルネットワークの学習を支えるバックプロパゲーションを、連鎖律から4つの基本式を導くところまで丁寧に解説します。数値例と NumPy の実装つき。 machine-learning math