{"title":"\u30e9\u30e0\u30c0\u8a08\u7b97 (Lambda Calculus) ","categories":["Functional Programming"],"provider_url":"https://hatena.blog","version":"1.0","description":"\u30e9\u30e0\u30c0\u8a08\u7b97 (Lambda Calculus) \ud83d\udcdd \u6982\u8981\u3068\u7279\u5fb4 \ud83e\uddea \u5206\u985e \ud83c\udf10 \u4e0a\u4f4d\u6982\u5ff5\u30fb\u4e0b\u4f4d\u6982\u5ff5 \ud83d\udc4d \u30e1\u30ea\u30c3\u30c8 \ud83d\udc4e \u30c7\u30e1\u30ea\u30c3\u30c8 \u2696\ufe0f \u65e2\u5b58\u3068\u306e\u6bd4\u8f03 \u2694\ufe0f \u7af6\u5408\uff08\u8a08\u7b97\u30e2\u30c7\u30eb\uff09 \ud83c\udfaf \u5c0e\u5165\u30dd\u30a4\u30f3\u30c8\uff08\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3078\u306e\u5fdc\u7528\u3068\u3057\u3066\uff09 \u26a0\ufe0f \u6ce8\u610f\u70b9 \ud83d\ude80 \u4eca\u5f8c \ud83d\udd17 \u95a2\u9023\u30ad\u30fc\u30ef\u30fc\u30c9 \u30e9\u30e0\u30c0\u8a08\u7b97 (Lambda Calculus) \u30e9\u30e0\u30c0\u8a08\u7b97\u306f\u3001\u30a2\u30ed\u30f3\u30be\u30fb\u30c1\u30e3\u30fc\u30c1 (Alonzo Church) \u304c1930\u5e74\u4ee3\u306b\u8003\u6848\u3057\u305f\u3001\u95a2\u6570 (function) \u3068\u305d\u306e\u9069\u7528 (application)\u3001\u62bd\u8c61\u5316 (abstraction) \u3092\u4e2d\u5fc3\u3068\u3057\u305f\u5f62\u5f0f\u4f53\u7cfb\u3067\u3059\u3002\u8a08\u7b97\u53ef\u80fd\u6027\u306e\u7406\u8ad6\u3084\u3001\u73fe\u4ee3\u306e\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0 (Functi\u2026","blog_url":"https://kaeken.hatenablog.com/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkaeken.hatenablog.com%2Fentry%2F2025%2F11%2F12%2F000000\" title=\"\u30e9\u30e0\u30c0\u8a08\u7b97 (Lambda Calculus)  - kaeken(\u5609\u6c38\u5cf6\u5065\u53f8)\u30d6\u30ed\u30b0\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_name":"Hatena Blog","height":"190","author_url":"https://blog.hatena.ne.jp/kaeken/","type":"rich","blog_title":"kaeken(\u5609\u6c38\u5cf6\u5065\u53f8)\u30d6\u30ed\u30b0","url":"https://kaeken.hatenablog.com/entry/2025/11/12/000000","image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/k/kaeken/20251110/20251110123028.png","published":"2025-11-12 00:00:00","author_name":"kaeken","width":"100%"}