kaeken https://blog.hatena.ne.jp/kaeken/ kaeken(嘉永島健司)ブログ https://kaeken.hatenablog.com/ Functional Programming ラムダ計算 (Lambda Calculus) 📝 概要と特徴 🧪 分類 🌐 上位概念・下位概念 👍 メリット 👎 デメリット ⚖️ 既存との比較 ⚔️ 競合（計算モデル） 🎯 導入ポイント（プログラミングへの応用として） ⚠️ 注意点 🚀 今後 🔗 関連キーワード ラムダ計算 (Lambda Calculus) ラムダ計算は、アロンゾ・チャーチ (Alonzo Church) が1930年代に考案した、関数 (function) とその適用 (application)、抽象化 (abstraction) を中心とした形式体系です。計算可能性の理論や、現代の関数型プログラミング (Functi… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkaeken.hatenablog.com%2Fentry%2F2025%2F11%2F12%2F000000" title="ラムダ計算 (Lambda Calculus) - kaeken(嘉永島健司)ブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/k/kaeken/20251110/20251110123028.png Hatena Blog https://hatena.blog 2025-11-12 00:00:00 rich https://kaeken.hatenablog.com/entry/2025/11/12/000000 1.0 100%