{"id":21232,"date":"2025-03-04T04:44:47","date_gmt":"2025-03-04T04:44:47","guid":{"rendered":"https:\/\/club.informatix.co.jp\/?p=21232"},"modified":"2026-03-02T17:04:13","modified_gmt":"2026-03-02T08:04:13","slug":"%e6%95%b0%e5%bc%8f%e9%91%91%e8%b3%9e%e5%8a%87%e5%a0%b4%ef%bd%9c%e7%ac%ac10%e5%9b%9e%e3%80%80%e3%83%a9%e3%83%a0%e3%83%80%e8%a8%88%e7%ae%97","status":"publish","type":"post","link":"https:\/\/club.informatix.co.jp\/?p=21232","title":{"rendered":"\u6570\u5f0f\u9451\u8cde\u5287\u5834\uff5c\u7b2c10\u56de\u3000\u30e9\u30e0\u30c0\u8a08\u7b97"},"content":{"rendered":"<p><img decoding=\"async\" class=\"aligncenter wp-image-21234\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-1.jpg\" alt=\"\" width=\"800\" height=\"500\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-1.jpg 1000w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-1-300x188.jpg 300w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-1-768x480.jpg 768w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/><\/p>\n<div id=\"ez-toc-container\" class=\"ez-toc-v2_0_82_2 counter-hierarchy ez-toc-counter ez-toc-grey ez-toc-container-direction\">\n<p class=\"ez-toc-title\" style=\"cursor:inherit\">\u76ee\u6b21<\/p>\n<label for=\"ez-toc-cssicon-toggle-item-69e44f6d2c404\" class=\"ez-toc-cssicon-toggle-label\"><span class=\"\"><span class=\"eztoc-hide\" style=\"display:none;\">Toggle<\/span><span class=\"ez-toc-icon-toggle-span\"><svg style=\"fill: #999;color:#999\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" class=\"list-377408\" width=\"20px\" height=\"20px\" viewBox=\"0 0 24 24\" fill=\"none\"><path d=\"M6 6H4v2h2V6zm14 0H8v2h12V6zM4 11h2v2H4v-2zm16 0H8v2h12v-2zM4 16h2v2H4v-2zm16 0H8v2h12v-2z\" fill=\"currentColor\"><\/path><\/svg><svg style=\"fill: #999;color:#999\" class=\"arrow-unsorted-368013\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" width=\"10px\" height=\"10px\" viewBox=\"0 0 24 24\" version=\"1.2\" baseProfile=\"tiny\"><path d=\"M18.2 9.3l-6.2-6.3-6.2 6.3c-.2.2-.3.4-.3.7s.1.5.3.7c.2.2.4.3.7.3h11c.3 0 .5-.1.7-.3.2-.2.3-.5.3-.7s-.1-.5-.3-.7zM5.8 14.7l6.2 6.3 6.2-6.3c.2-.2.3-.5.3-.7s-.1-.5-.3-.7c-.2-.2-.4-.3-.7-.3h-11c-.3 0-.5.1-.7.3-.2.2-.3.5-.3.7s.1.5.3.7z\"\/><\/svg><\/span><\/span><\/label><input type=\"checkbox\"  id=\"ez-toc-cssicon-toggle-item-69e44f6d2c404\" checked aria-label=\"Toggle\" \/><nav><ul class='ez-toc-list ez-toc-list-level-1 ' ><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-1\" href=\"https:\/\/club.informatix.co.jp\/?p=21232\/#%E3%82%A2%E3%83%AD%E3%83%B3%E3%82%BE%E3%83%BB%E3%83%81%E3%83%A3%E3%83%BC%E3%83%81%E3%81%A8%E9%9B%BB%E5%AD%90%E8%A8%88%E7%AE%97%E6%A9%9F\" >\u30a2\u30ed\u30f3\u30be\u30fb\u30c1\u30e3\u30fc\u30c1\u3068\u96fb\u5b50\u8a08\u7b97\u6a5f<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-2\" href=\"https:\/\/club.informatix.co.jp\/?p=21232\/#%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97\" >\u30e9\u30e0\u30c0\u8a08\u7b97<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-3\" href=\"https:\/\/club.informatix.co.jp\/?p=21232\/#%E3%81%AA%E3%81%9C%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97%E3%81%AA%E3%81%AE%E3%81%8B%EF%BC%9F\" >\u306a\u305c\u30e9\u30e0\u30c0\u8a08\u7b97\u306a\u306e\u304b\uff1f<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-4\" href=\"https:\/\/club.informatix.co.jp\/?p=21232\/#%E3%83%81%E3%83%A3%E3%83%BC%E3%83%81%E6%95%B0\" >\u30c1\u30e3\u30fc\u30c1\u6570<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-5\" href=\"https:\/\/club.informatix.co.jp\/?p=21232\/#%E7%84%A1%E5%90%8D%E9%96%A2%E6%95%B0\" >\u7121\u540d\u95a2\u6570<\/a><\/li><\/ul><\/nav><\/div>\n\n<h2><span class=\"ez-toc-section\" id=\"%E3%82%A2%E3%83%AD%E3%83%B3%E3%82%BE%E3%83%BB%E3%83%81%E3%83%A3%E3%83%BC%E3%83%81%E3%81%A8%E9%9B%BB%E5%AD%90%E8%A8%88%E7%AE%97%E6%A9%9F\"><\/span>\u30a2\u30ed\u30f3\u30be\u30fb\u30c1\u30e3\u30fc\u30c1\u3068\u96fb\u5b50\u8a08\u7b97\u6a5f<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p>\u30a2\u30ed\u30f3\u30be\u30fb\u30c1\u30e3\u30fc\u30c1\uff08Alonzo Church\u30011903-1995\uff09\u306f\u30a2\u30e1\u30ea\u30ab\u306e\u6570\u5b66\u8005\u3067\u3059\u3002\u30d7\u30ea\u30f3\u30b9\u30c8\u30f3\u5927\u5b66\u3067\u516c\u7406\u7684\u96c6\u5408\u8ad6\u306b\u95a2\u3059\u308b\u8ad6\u6587\u3067\u535a\u58eb\u53f7\u3092\u53d6\u5f97\u3001\u305d\u306e\u5f8c\u3001\u30cf\u30fc\u30d0\u30fc\u30c9\u5927\u5b66\u3001\u30b2\u30c3\u30c6\u30a3\u30f3\u30b2\u30f3\u5927\u5b66\u7b49\u3092\u7d4c\u3066\u30d7\u30ea\u30f3\u30b9\u30c8\u30f3\u5927\u5b66\u3067\u6570\u5b66\u3068\u54f2\u5b66\u306e\u6559\u6388\u306b\u5c31\u4efb\u3002\u6570\u7406\u8ad6\u7406\u5b66\u3068\u8a08\u7b97\u6a5f\u79d1\u5b66\u306e\u57fa\u790e\u306b\u591a\u5927\u306a\u8ca2\u732e\u3092\u3057\u307e\u3057\u305f\u3002\u7279\u306b\u8a08\u7b97\u53ef\u80fd\u6027\u306e\u7406\u8ad6\u3078\u306e\u8ca2\u732e\u306f\u3001\u4eca\u65e5\u306e\u8a08\u7b97\u6a5f\u79d1\u5b66\u306e\u57fa\u790e\u3092\u7bc9\u304d\u307e\u3057\u305f\u3002<\/p>\n<p>\u591a\u304f\u306e\u5f1f\u5b50\u3092\u80b2\u306636\u4eba\u306e\u535a\u58eb\u3092\u8f29\u51fa\u3002\u6709\u540d\u306a\u30c1\u30e3\u30fc\u30c1\uff1d\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u30c6\u30fc\u30bc\u306f\u30c1\u30e3\u30fc\u30c1\u304c\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u6307\u5c0e\u6559\u5b98\u6642\u4ee3\u306b\u767a\u8868\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n<p>\u30c1\u30e3\u30fc\u30c1\uff1d\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u30c6\u30fc\u30bc\u3068\u306f\u3001\u300c\u8a08\u7b97\u53ef\u80fd\u306a\u95a2\u6570\u300d\u3068\u3044\u3046\u76f4\u89b3\u7684\u306a\u6982\u5ff5\u3092\u5e30\u7d0d\u7684\u95a2\u6570\u306e\u6982\u5ff5\u3068\u540c\u4e00\u8996\u3059\u308b\u8003\u3048\u65b9\u3002\u7c21\u5358\u306b\u306f\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u95a2\u6570\u3068\u306f\u96fb\u5b50\u8a08\u7b97\u6a5f\u3067\u5b9f\u884c\u3067\u304d\u308b\u95a2\u6570\u3068\u540c\u3058\u3060\u3068\u3044\u3046\u4e3b\u5f35\u306e\u3053\u3068\u3067\u3059\u3002<\/p>\n<p style=\"text-align: center;\">\u96fb\u5b50\u8a08\u7b97\u6a5f\u3067\u5b9f\u884c\u3067\u304d\u308b\u8a08\u7b97\u306f\u3059\u3079\u3066\u5e30\u7d0d\u7684\u95a2\u6570\u306b\u3088\u3063\u3066\u8868\u73fe\u3067\u304d\u308b\u3002<br \/>\n\u30c1\u30e3\u30fc\u30c1\uff1d\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u30c6\u30fc\u30bc<\/p>\n<p>\u30c1\u30e3\u30fc\u30c1\u306f1930\u5e74\u4ee3\u306b\u8a08\u7b97\u53ef\u80fd\u6027\u3092\u7814\u7a76\u3059\u308b\u305f\u3081\u306e\u30c4\u30fc\u30eb\u3068\u3057\u3066\u30e9\u30e0\u30c0\u8a08\u7b97\u3092\u8003\u6848\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u3082\u306e\u306f\u3059\u3079\u3066\u30e9\u30e0\u30c0\u8a08\u7b97\u3067\u8a08\u7b97\u53ef\u80fd\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3057\u307e\u3057\u305f\u3002\u3055\u3089\u306b\u3001\u30e9\u30e0\u30c0\u8a08\u7b97\u3092\u7528\u3044\u30661\u968e\u8ff0\u8a9e\u8ad6\u7406\u304c\u6c7a\u5b9a\u4e0d\u53ef\u80fd\u3067\u3042\u308b\uff08\u4efb\u610f\u306e\u6570\u5b66\u547d\u984c\u304c\u771f\u304b\u507d\u304b\u3092\u6c7a\u5b9a\u3059\u308b\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u304c\u5b58\u5728\u3057\u306a\u3044\uff09\u3053\u3068\u3082\u8a3c\u660e\u3057\u3066\u307f\u305b\u307e\u3057\u305f\u3002<\/p>\n<p>\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\uff08\u95a2\u6570\u3092\u4e3b\u8ef8\u306b\u3057\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\uff09\u306f\u30e9\u30e0\u30c0\u8a08\u7b97\u304b\u3089\u767a\u5c55\u3057\u307e\u3057\u305f\u3002\u3068\u308a\u308f\u3051\u30e9\u30e0\u30c0\u8a08\u7b97\u304c\u5f71\u97ff\u3092\u4e0e\u3048\u305f\u306e\u304cLisp\u3067\u3059\u3002\u6700\u521d\u306e\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9eLisp\u306f\u30011958\u5e74\u306b\u300c<a href=\"https:\/\/club.informatix.co.jp\/?cat=589\" target=\"_blank\" rel=\"noopener\">AI<\/a>\u300d\uff08\u4eba\u5de5\u77e5\u80fd\uff09\u306e\u547d\u540d\u3067\u6709\u540d\u306a\u6570\u5b66\u8005\u30b8\u30e7\u30f3\u30fb\u30de\u30c3\u30ab\u30fc\u30b7\u30fc\u306b\u3088\u3063\u3066\u30e9\u30e0\u30c0\u8a08\u7b97\u3068\u3068\u3082\u306b\u958b\u767a\u3055\u308c\u307e\u3057\u305f\u3002\u305d\u3057\u3066\u3001\u3059\u3050\u306b\u4eba\u5de5\u77e5\u80fd\u306e\u7814\u7a76\u306b\u4f7f\u308f\u308c\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3068\u306a\u308a\u307e\u3057\u305f\u3002<\/p>\n<p>Lisp\u306f\u305d\u306e\u8a9e\u306b\u958b\u767a\u3055\u308c\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306b\u5f71\u97ff\u3092\u4e0e\u3048\u307e\u3057\u305f\u3002Haskell\u3001JavaScript\u3001Mathematica\u3001ML\u3001Perl\u3001Python\u3001R\u3001Ruby\u3001Smalltalk\u306a\u3069\u304c\u305d\u3046\u3067\u3059\u3002<\/p>\n<h2><span class=\"ez-toc-section\" id=\"%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97\"><\/span>\u30e9\u30e0\u30c0\u8a08\u7b97<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p><img decoding=\"async\" class=\"aligncenter wp-image-21235\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-2.jpg\" alt=\"\" width=\"800\" height=\"500\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-2.jpg 1000w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-2-300x188.jpg 300w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-2-768x480.jpg 768w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/><\/p>\n<p>\u95a2\u6570\u306f\u666e\u901a\u3001f(x)\u3001g(x)\u306e\u3088\u3046\u306bf\u3084g\u3068\u540d\u524d\u3092\u4ed8\u3051\u308b\u3053\u3068\u3092\u6559\u79d1\u66f8\u3067\u7fd2\u3044\u307e\u3059\u3002\u305d\u308c\u306f\u666e\u901a\u306e\u3053\u3068\u3067\u5f53\u305f\u308a\u524d\u306e\u3088\u3046\u306b\u79c1\u305f\u3061\u306f\u95a2\u6570\u3092\u6271\u3046\uff08\u8a08\u7b97\uff09\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3055\u3066\u30e9\u30e0\u30c0\u8a08\u7b97\u3068\u306f\u95a2\u6570\u306b\u540d\u524d\u3092\u4ed8\u3051\u305a\u306b\u53d6\u308a\u6271\u3048\u308b\u3088\u3046\u306b\u3057\u305f\u3082\u306e\u3067\u3059\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001<br \/>\nf(x) = x + 2<br \/>\n\u3068\u3044\u3046\u95a2\u6570\u306f\u30e9\u30e0\u30c0\u8a08\u7b97\u3067\u306f\u03bb\uff08\u30e9\u30e0\u30c0\uff09\u3068\u3044\u3046\u8a18\u53f7\u3092\u7528\u3044\u3066<br \/>\n\u03bbx. x + 2<br \/>\n\u306e\u3088\u3046\u306b\u8868\u3057\u307e\u3059\u3002\u3053\u306e\u5f0f\u306f\u30e9\u30e0\u30c0\u5f0f\u3068\u3082\u547c\u3070\u308c\u307e\u3059\u3002<\/p>\n<p>\u305d\u3057\u3066\u95a2\u6570\u306ex\u306b\u4f55\u304b\u3092\u4ee3\u5165\u3059\u308b\u5834\u5408\u3001\u305f\u3068\u3048\u3070f(x)\u306ex\u306b1\u3092\u4ee3\u5165\u3059\u308b<br \/>\nf(1)<br \/>\n= 1 + 2<br \/>\n= 3<br \/>\n\u306f\u30e9\u30e0\u30c0\u8a08\u7b97\u3067\u306f\u6b21\u306e\u3088\u3046\u306b\u8a18\u8ff0\u3057\u307e\u3059\u3002<br \/>\n\uff08\u03bbx. x + 2\uff091<br \/>\n\u2192 1 + 2<br \/>\n\u2192 3<\/p>\n<h2><span class=\"ez-toc-section\" id=\"%E3%81%AA%E3%81%9C%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97%E3%81%AA%E3%81%AE%E3%81%8B%EF%BC%9F\"><\/span>\u306a\u305c\u30e9\u30e0\u30c0\u8a08\u7b97\u306a\u306e\u304b\uff1f<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p>\u300cf(x) = x + 2\u300d\u3068\u3044\u3046\u8868\u73fe\u306b\u306f\u30012\u3064\u306e\u610f\u5473<br \/>\n\u30fb\u95a2\u6570\u306e\u5b9a\u7fa9<br \/>\n\u30fbx\u3068\u3044\u3046\u5024\u306b\u5bfe\u3057\u3066\u95a2\u6570f\u3092\u9069\u7528\u3057\u305f<br \/>\n\u304c\u3042\u308a\u307e\u3059\u304c\u305d\u306e\u533a\u5225\u304c\u3067\u304d\u307e\u305b\u3093\u3002\u79c1\u305f\u3061\u306f\u6587\u8108\u304b\u3089\u5224\u5225\u3057\u3066\u300cf(x) = x + 2\u300d\u3092\u6271\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n<p>\u30e9\u30e0\u30c0\u8a08\u7b97\u306a\u3089\u3070\u305d\u306e2\u3064\u3092\u3044\u307e\u8aac\u660e\u3057\u305f\u3088\u3046\u306b\u533a\u5225\u3067\u304d\u307e\u3059\u3002\u79c1\u305f\u3061\u306f\u81ea\u7136\u306b\u8a08\u7b97\u304c\u3067\u304d\u307e\u3059\u3002\u5f53\u305f\u308a\u524d\u306e\u3088\u3046\u306b\u8a08\u7b97\u304c\u3067\u304d\u307e\u3059\u3002\u3057\u304b\u3057\u3001\u305d\u306e\u8a08\u7b97\u3068\u306f\u4f55\u304b\u3068\u554f\u308f\u308c\u308b\u3068\u5b9f\u306f\u66d6\u6627\u306a\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3059\u3002<\/p>\n<p>\u5f53\u6642\u3001\u30d2\u30eb\u30d9\u30eb\u30c8\u3001\u30c1\u30e3\u30fc\u30c1\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u3068\u3044\u3063\u305f\u6570\u5b66\u8005\u306f\u300c\u8a08\u7b97\u3068\u306f\u4f55\u304b\u300d\u3092\u53b3\u5bc6\u306b\u5b9a\u7fa9\u3059\u308b\u3053\u3068\u3092\u30c6\u30fc\u30de\u3068\u3057\u3066\u3044\u307e\u3057\u305f\u3002<\/p>\n<p><img decoding=\"async\" class=\"aligncenter wp-image-21236\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-3.jpg\" alt=\"\" width=\"800\" height=\"500\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-3.jpg 1000w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-3-300x188.jpg 300w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-3-768x480.jpg 768w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/><\/p>\n<p>\u305d\u306e\u5927\u304d\u306a\u6210\u679c\u304c\u3001\u30c1\u30e3\u30fc\u30c1\u306b\u3088\u308b\u30e9\u30e0\u30c0\u8a08\u7b97\u3068\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306b\u3088\u308b\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3067\u3059\u3002\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u306f\u305d\u306e\u540d\u524d\u306b\u30de\u30b7\u30f3\u304c\u3042\u308b\u3053\u3068\u304b\u3089\u4eee\u60f3\u7684\u3067\u306f\u3042\u308b\u304c\u300c\u30de\u30b7\u30f3\u300d\u3092\u60f3\u50cf\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u305d\u308c\u306b\u5bfe\u3057\u3066\u30e9\u30e0\u30c0\u8a08\u7b97\u306f\u305d\u306e\u610f\u7fa9\u3082\u76ee\u7684\u3082\u660e\u3089\u304b\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u767a\u8868\u5f53\u6642\u3001\u30e9\u30e0\u30c0\u8a08\u7b97\u306f\u8a55\u4fa1\u3055\u308c\u307e\u305b\u3093\u3067\u3057\u305f\u3002<\/p>\n<p>\u305d\u306e\u6700\u5927\u306e\u7406\u7531\u306f\u300c\u30de\u30b7\u30f3\u300d\u2500\u2500\u96fb\u5b50\u8a08\u7b97\u6a5f\u304c\u306a\u304b\u3063\u305f\u304b\u3089\u3067\u3059\u3002\u3082\u3057\u5f53\u6642\u96fb\u5b50\u8a08\u7b97\u6a5f\u304c\u3042\u308c\u3070\u3001\u30e9\u30e0\u30c0\u8a08\u7b97\u306f\u96fb\u5b50\u8a08\u7b97\u6a5f\u306e\u305f\u3081\u306b\u3042\u308b\u3053\u3068\u304c\u7406\u89e3\u3055\u308c\u305f\u3053\u3068\u3067\u3057\u3087\u3046\u3002\u3057\u304b\u3057\u3001\u73fe\u5b9f\u306f\u305d\u306e\u9006\u3067\u3057\u305f\u3002<\/p>\n<p>\u30e9\u30e0\u30c0\u8a08\u7b97\u306e\u304a\u304b\u3052\u3067\u96fb\u5b50\u8a08\u7b97\u6a5f\u3001\u3068\u304f\u306b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u4e16\u754c\u304c\u3064\u304f\u3089\u308c\u3066\u3044\u304f\u3053\u3068\u306b\u306a\u3063\u305f\u306e\u3067\u3059\u3002\u305d\u308c\u304c\u6700\u521d\u306b\u7d39\u4ecb\u3057\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9eLisp\u306e\u8a95\u751f\u3067\u3059\u3002\u6570\u5b66\u8005\u30b8\u30e7\u30f3\u30fb\u30de\u30c3\u30ab\u30fc\u30b7\u30fc\u306f\u30e9\u30e0\u30c0\u8a08\u7b97\u306e\u5b9f\u88c5\u306b\u6210\u529f\u3057\u307e\u3057\u305f\u3002<\/p>\n<h2><span class=\"ez-toc-section\" id=\"%E3%83%81%E3%83%A3%E3%83%BC%E3%83%81%E6%95%B0\"><\/span>\u30c1\u30e3\u30fc\u30c1\u6570<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p>\uff10\u3001\uff11\u3001\uff12\u3001\uff13\u3001\uff14\u3001\uff15\u3001\uff16\u3001\uff17\u3001\uff18\u3001\uff19\u3001\u2026<br \/>\n\u3068\u3044\u3046\u81ea\u7136\u6570\u306f\u307e\u3055\u306b\u79c1\u305f\u3061\u4eba\u9593\u306b\u3068\u3063\u3066\u81ea\u7136\u3067\u3059\u3002\u96fb\u5b50\u8a08\u7b97\u6a5f\u306f\u81ea\u7136\u6570\u3092\u6301\u3061\u5408\u308f\u305b\u3066\u3044\u307e\u305b\u3093\uff08\u77e5\u3089\u306a\u3044\uff09\u3002\u30e9\u30e0\u30c0\u8a08\u7b97\u306b\u3088\u3063\u3066\u81ea\u7136\u6570\u3092\u3064\u304f\u308b\uff08\u5b9a\u7fa9\u3059\u308b\uff09\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u305d\u308c\u304c\u30c1\u30e3\u30fc\u30c1\u6570\u3067\u3059\u3002<\/p>\n<p>zero = \u03bbf.\u03bbx. x<br \/>\none = \u03bbf.\u03bbx. f x<br \/>\ntwo = \u03bbf.\u03bbx. f (f x)<br \/>\nthree = \u03bbf.\u03bbx. f (f (f x))<\/p>\n<p>\u3053\u306e\u30c1\u30e3\u30fc\u30c1\u6570\u306e\u8003\u3048\u65b9\u306f\u6b21\u306e\u901a\u308a\u3067\u3059\u3002x\u306fzero\u3001f\u306f\u5f15\u6570\u306b+1\u3059\u308b\u95a2\u6570\u306b\u5bfe\u5fdc\u3057\u3066\u3044\u307e\u3059\u3002<br \/>\nzero\u306fx\u3092\u305d\u306e\u307e\u307e\u8fd4\u3059<br \/>\none\u306f f x = 1 + 0 (=1) \u3092\u8fd4\u3059<br \/>\ntwo\u306f f (f x) = 1 + ( 1 + 0 ) = 1 + 1 + 0 (=2) \u3092\u8fd4\u3059<br \/>\nthre \u306f f (f (f x)) = 1 + ( 1 + (1 + 0 ) ) = 1 + 1 + 1 + 0 (=3) \u3092\u8fd4\u3059<\/p>\n<p>\u3068\u3044\u3046\u3088\u3046\u306b\u95a2\u6570f\u3092\u9069\u7528\u3059\u308b\u56de\u6570\u306b\u81ea\u7136\u6570\u3092\u5bfe\u5fdc\u3055\u305b\u308b\u3053\u3068\u3067\u81ea\u7136\u6570\u304c\u8868\u73fe\u3067\u304d\u307e\u3059\u3002<\/p>\n<p>\u96fb\u5b50\u8a08\u7b97\u6a5f\u306f\u4eba\u9593\u306e\u3088\u3046\u306b\u81ea\u7136\u306b\u5f53\u305f\u308a\u524d\u306b\u201c\u8a08\u7b97\u201d\u3067\u304d\u307e\u305b\u3093\u3002\u30e9\u30e0\u30c0\u8a08\u7b97\u306e\u304a\u304b\u3052\u3067\u96fb\u5b50\u8a08\u7b97\u6a5f\u306f\u201c\u8a08\u7b97\u201d\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002\u201c\u8a08\u7b97\u201d\u3068\u306f\u4f55\u304b\u3092\u5b9a\u7fa9\u3067\u304d\u305f\u306e\u306f\u30e9\u30e0\u30c0\u8a08\u7b97\u306e\u304a\u304b\u3052\u3067\u3059\u3002<\/p>\n<p>\u30e9\u30e0\u30c0\u8a08\u7b97\u3092\u4f7f\u3048\u3070\u9ad8\u5ea6\u306a\u201c\u8a08\u7b97\u201d\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002\u4f8b\u3048\u3070\u9ad8\u968e\u95a2\u6570\u3067\u3059\u3002\u9ad8\u968e\u95a2\u6570\u3068\u306f\u95a2\u6570\u3092\u5f15\u6570\u306b\u3068\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3001\u307e\u305f\u306f\u95a2\u6570\u3092\u8fd4\u3059\u3053\u3068\u304c\u3067\u304d\u308b\u95a2\u6570\u306e\u3053\u3068\u3067\u3059\u3002<\/p>\n<p><img decoding=\"async\" class=\"aligncenter wp-image-21237\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-4.jpg\" alt=\"\" width=\"800\" height=\"500\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-4.jpg 1000w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-4-300x188.jpg 300w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-4-768x480.jpg 768w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/><\/p>\n<h2><span class=\"ez-toc-section\" id=\"%E7%84%A1%E5%90%8D%E9%96%A2%E6%95%B0\"><\/span>\u7121\u540d\u95a2\u6570<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p>\u96fb\u5b50\u8a08\u7b97\u6a5f\u304c\u767b\u5834\u3059\u308b\u4ee5\u524d\u306b\u30c1\u30e3\u30fc\u30c1\u304c\u767a\u660e\u3057\u305f\u30e9\u30e0\u30c0\u8a08\u7b97\u306f\u30011958\u5e74\u306eLisp\u4ee5\u6765\u3001\u591a\u304f\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306b\u300c\u7121\u540d\u95a2\u6570\u300d\u3068\u3057\u3066\u642d\u8f09\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u30e9\u30e0\u30c0\u8a08\u7b97\u306b\u306f\u95a2\u6570\u306e\u540d\u524d\u304c\u306a\u3044\u3053\u3068\u304b\u3089\u3053\u3046\u547c\u3070\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<p><strong>\u305f\u3057\u7b97 a+b\u3092\u7121\u540d\u95a2\u6570\u3067\u5b9a\u7fa9\u3059\u308b\u4f8b<br \/>\n<\/strong>Lisp \u3000\u3000(setq add (lambda (a b) (+ a b)))<br \/>\nRuby \u3000\u3000add = lambda{ |a, b| a + b }<br \/>\nPython\u3000\u3000 add = lambda a, b: a + b<br \/>\nC++\u3000\u3000 auto add = [](int a, int b){ return a + b; };<br \/>\nC#\u3000\u3000 Func&lt;int, int, int&gt; add = (a, b) =&gt; a + b;<br \/>\nPHP\u3000\u3000 $add = function($a, $b){ return $a + $b; };<br \/>\nLua\u3000\u3000 add = function(a, b) return a + b end<br \/>\nKotlin\u3000\u3000 val add = {a:Int, b:Int -&gt; a + b}<\/p>\n<p>\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u8a00\u8a9e\u3067\u306f\u7121\u540d\u95a2\u6570\u3092\u300clambda\u300d\u3068\u3057\u3066\u5b9a\u7fa9\u3057\u3066\u3044\u308b\u3082\u306e\u3082\u3042\u308a\u307e\u3059\u3002Lisp\u3001Ruby\u3001\u305d\u3057\u3066\u7b46\u8005\u306e\u5927\u597d\u304d\u306aPython\u306a\u3069\u3067\u3059\u3002Python\u306e\u7121\u540d\u95a2\u6570\u300c\u30e9\u30e0\u30c0\u5f0f\u300d\u306f\u30e9\u30e0\u30c0\u8a08\u7b97\u3092\u8a66\u3057\u3066\u307f\u308b\u306e\u306b\u6253\u3063\u3066\u4ed8\u3051\u306e\u6587\u6cd5\u3067\u3059\u3002<\/p>\n<p>\u6b21\u306f\u3055\u304d\u307b\u3069\u30e9\u30e0\u30c0\u8a08\u7b97\u3067\u5b9a\u7fa9\u3057\u305f\u30c1\u30e3\u30fc\u30c1\u6570\u3092Python\u306e\u30e9\u30e0\u30c0\u5f0f\u3067\u30b3\u30fc\u30c7\u30a3\u30f3\u30b0\u3057\u305f\u3082\u306e\u3067\u3059\u3002\u4e21\u8005\u3092\u6bd4\u3079\u3066\u307f\u308b\u3068\u30b3\u30fc\u30c9\u304c\u898b\u4e8b\u306b\u5bfe\u5fdc\u3057\u3066\u3044\u308b\u3053\u3068\u304c\u8aad\u307f\u53d6\u308c\u307e\u3059\u3002<\/p>\n<p><strong>\u30e9\u30e0\u30c0\u8a08\u7b97<\/strong><br \/>\nzero = \u03bbf.\u03bbx. x<\/p>\n<p><strong>Python\u306e\u30e9\u30e0\u30c0\u5f0f<\/strong><br \/>\nzero = lambda f: lambda x: x<\/p>\n<p>0\u304b\u30893\u307e\u3067\u3092\u30c1\u30e3\u30fc\u30c1\u6570\u3068\u3057\u3066\u5b9a\u7fa9\u3057\u3066\u3001\u30c1\u30e3\u30fc\u30c1\u6570\u3092\u6574\u6570\u306b\u5909\u63db\u3059\u308b\u95a2\u6570\u3092\u4f5c\u3063\u3066\u304a\u304f\u3053\u3068\u3067\u3001\u30c1\u30e3\u30fc\u30c1\u6570zero\u304c\u6574\u65700\u3001\u30c1\u30e3\u30fc\u30c1\u6570one\u304c\u6574\u65701\u306b\u5bfe\u5fdc\u3057\u3066\u3044\u308b\u3053\u3068\u304c\u78ba\u8a8d\u3067\u304d\u307e\u3059\u3002<\/p>\n<p><span class=\"photoline\"><img decoding=\"async\" class=\"aligncenter size-full wp-image-21238\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-5.jpg\" alt=\"\" width=\"1000\" height=\"823\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-5.jpg 1000w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-5-300x247.jpg 300w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-5-768x632.jpg 768w\" sizes=\"(max-width: 1000px) 100vw, 1000px\" \/><\/span><\/p>\n<p>\u30c1\u30e3\u30fc\u30c1\u6570\u3092\u4f7f\u3063\u3066\u305f\u3057\u7b97\u3092\u3057\u3066\u307f\u307e\u3059\u3002\u30e9\u30e0\u30c0\u8a08\u7b97\u3067\u305f\u3057\u7b97\u3092\u5b9a\u7fa9\u3059\u308b\u3068<br \/>\nplus = lambda m: lambda n: lambda f: lambda x: m(f)(n(f)(x))<br \/>\n\u3068\u306a\u308a\u307e\u3059\u3002\u5f15\u6570m\u3068n\u306b\u30c1\u30e3\u30fc\u30c1\u6570\u3092\u6e21\u3057\u3066\u3042\u3052\u308b\u3053\u3068\u3067\u30c1\u30e3\u30fc\u30c1\u6570\u306e\u305f\u3057\u7b97\u304c\u3067\u304d\u307e\u3059\u3002\u623b\u308a\u5024\uff08\u30c1\u30e3\u30fc\u30c1\u6570\uff09\u3092\u6574\u6570\u306b\u5909\u63db\u3059\u308b\u3053\u3068\u3067\u305f\u3057\u7b97\u304c\u3067\u304d\u3066\u3044\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3067\u304d\u307e\u3059\u3002<\/p>\n<p><span class=\"photoline\"><img decoding=\"async\" class=\"aligncenter wp-image-21239\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-6.jpg\" alt=\"\" width=\"800\" height=\"458\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-6.jpg 1000w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-6-300x172.jpg 300w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-6-768x439.jpg 768w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/><\/span><\/p>\n<p>\u305c\u3072\u307f\u306a\u3055\u3093\u3082\u3054\u81ea\u8eab\u306e\u96fb\u5b50\u8a08\u7b97\u6a5f\u3067\u30e9\u30e0\u30c0\u8a08\u7b97\u3092\u305f\u3081\u3057\u3066\u307f\u3066\u306f\u3044\u304b\u304c\u3067\u3057\u3087\u3046\u304b\u3002\u73fe\u5728\u306f\u96fb\u5b50\u8a08\u7b97\u6a5f\u306b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u305b\u305a\u306b\u3001Web\u4e0a\u3067\u30b3\u30fc\u30c7\u30a3\u30f3\u30b0\u304c\u53ef\u80fd\u3067\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u30a2\u30ed\u30f3\u30be\u30fb\u30c1\u30e3\u30fc\u30c1\u3068\u96fb\u5b50\u8a08\u7b97\u6a5f \u30a2\u30ed\u30f3\u30be\u30fb\u30c1\u30e3\u30fc\u30c1\uff08Alonzo Church\u30011903-1995\uff09\u306f\u30a2\u30e1\u30ea\u30ab\u306e\u6570\u5b66\u8005\u3067\u3059\u3002\u30d7\u30ea\u30f3\u30b9\u30c8\u30f3\u5927\u5b66\u3067\u516c\u7406\u7684\u96c6\u5408\u8ad6\u306b\u95a2\u3059\u308b\u8ad6\u6587\u3067\u535a\u58eb\u53f7\u3092\u53d6\u5f97\u3001\u305d\u306e\u5f8c\u3001\u30cf\u30fc\u30d0\u30fc\u30c9 &#8230; <\/p>\n","protected":false},"author":4,"featured_media":21235,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4,464,526],"tags":[205],"class_list":["post-21232","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-4","category-hito-star-mathmatics","category-526","tag-205"],"jetpack_featured_media_url":"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2025\/03\/20250302-2.jpg","_links":{"self":[{"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/posts\/21232","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=21232"}],"version-history":[{"count":6,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/posts\/21232\/revisions"}],"predecessor-version":[{"id":21244,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/posts\/21232\/revisions\/21244"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/media\/21235"}],"wp:attachment":[{"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=21232"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=21232"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=21232"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}