\u30b1\u30d7\u30e9\u30fc\u4e88\u60f3\u306e\u8a3c\u660e\u306e\u6982\u7565\u306f\u4e0b\u8a18\u30d7\u30ec\u30d7\u30ea\u30f3\u30c8\u306b\u51fa\u3066\u3044\u307e\u3059\uff08\u67fb\u8aad\u5f8c\u51fa\u7248\u6e08\u307f\uff09\u3002
\nhttps:\/\/arxiv.org\/pdf\/1501.02155.pdf
\n\u8a3c\u660e\u652f\u63f4\u30b7\u30b9\u30c6\u30e0\u306f\u4f7f\u3063\u305f\u3053\u3068\u304c\u306a\u3044\u306e\u3067\u308f\u304b\u308a\u307e\u305b\u3093\u304c\u3001jupyter\u3084google colaboratory\u306e\u3088\u3046\u306a\u3001\u6253\u3061\u8fbc\u3093\u3067\u5b9f\u884c\u3057\u305f\u7d50\u679c\u304c\u8a18\u9332\u3055\u308c\u308b\u30ce\u30fc\u30c8\u5f62\u5f0f\u306e\u5b9f\u884c\u74b0\u5883\u3067\u306f\u306a\u3044\u304b\u3068\u601d\u3044\u307e\u3059\u3002\u8a3c\u660e\u306f164000\u884c\u306e\u305d\u3046\u3044\u3046\u30b3\u30fc\u30c9\u304b\u3089\u306a\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3001\u6570\u4eba\u306e\u30c1\u30fc\u30e0\u3067\u5b8c\u6210\u306b10\u5e74\u304b\u304b\u3063\u305f\u3001\u3068\u3044\u3046\u306e\u306f\u7d0d\u5f97\u3067\u304d\u307e\u3059\u3002\u4e0a\u8a18\u8ad6\u6587\u306e\u4e2d\u306b\u306f\u8a18\u53f7\u8ad6\u7406\u5b66\u3067\u4f7f\u3046\u8a18\u53f7\u304c\u305f\u304f\u3055\u3093\u4f7f\u308f\u308c\u3066\u3044\u307e\u3059\u3002\u79c1\u306f\u5927\u5b661\u5e74\u751f\u306e\u3068\u304d\u306b\u30b2\u30fc\u30c7\u30eb\u306e\u4e0d\u5b8c\u5168\u6027\u5b9a\u7406\u3092\u77e5\u308a\u305f\u304f\u3066\u8a18\u53f7\u8ad6\u7406\u5b66\u3092\u5c65\u4fee\u3057\u307e\u3057\u305f\u304c\u3001\u96e3\u3057\u304f\u3066\u3001\u4e00\u884c\u3054\u3068\u306b\u306a\u3093\u3067\u305d\u3093\u306a\u3053\u3068\u3092\u3059\u308b\u306e\u304b\u7406\u89e3\u3059\u308b\u306e\u306b\u9aa8\u304c\u304a\u308c\u307e\u3057\u305f\u3002\u3044\u307e\u306f\u5468\u8fba\u77e5\u8b58\u304c\u5897\u3048\u3066\u3044\u308b\u306e\u3067\u3060\u3044\u3076\u697d\u3067\u3059\u3002\u3068\u304f\u306b\u3001\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u3068\u306e\u3064\u306a\u304c\u308a\u304c\u9762\u767d\u3044\u3068\u601d\u3044\u307e\u3059\u3002Haskel\u3068\u3044\u3046\uff08\u79c1\u306b\u306f\u96e3\u89e3\u306a\uff09\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u8a00\u8a9e\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u305d\u306e\u540d\u524d\u306e\u5143\u306b\u306a\u3063\u3066\u3044\u308bProf. Haskel Curry\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u306a\u3069\u306f\u9762\u767d\u3044\u3067\u3059\u3002
\nhttps:\/\/ja.wikipedia.org\/wiki\/%E3%83%8F%E3%82%B9%E3%82%B1%E3%83%AB%E3%83%BB%E3%82%AB%E3%83%AA%E3%83%BC
\nYahoo\u77e5\u6075\u888b\u306f\u9593\u9055\u3044\u304c\u591a\u3044\u3067\u3059\u304c\u3001\u4e0b\u8a18\u306f\u5927\u4e08\u592b\u3067\u306f\u306a\u3044\u304b\u3068\u601d\u3044\u307e\u3059\u3002
\nhttps:\/\/detail.chiebukuro.yahoo.co.jp\/qa\/question_detail\/q1158859171
\nCurry\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u306f\u300c\u3053\u306e\u6587\u304c\u6b63\u3057\u3051\u308c\u3070\u3001\u30c9\u30e9\u3048\u3082\u3093\u306f\u5b9f\u5728\u3059\u308b\u300d\u304c\u8ad6\u7406\u7684\uff08\u81ea\u7136\u6f14\u7e79\u8ad6\u7406\uff09\u306b\u306f\u771f\u306b\u306a\u3063\u3066\u3057\u307e\u3046\u3068\u3044\u3046\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u3067\u3059\u3002
\n\u308f\u304b\u308a\u306b\u304f\u3044\u3067\u3059\u304c\u3001\u300c\u3053\u306e\u6587\u304c\u6b63\u3057\u3044\u300d\u3068\u4eee\u5b9a\u3059\u308b\u3068\u3001\u300c\u30c9\u30e9\u3048\u3082\u3093\u306f\u5b9f\u5728\u3059\u308b\u300d\u3053\u3068\u306b\u306a\u308a\u3001\u3064\u307e\u308a\u300c\u3053\u306e\u6587\u304c\u6b63\u3057\u3044\u300d\u3053\u3068\u306b\u306a\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002
\n\u4f3c\u305f\u3088\u3046\u306a\u300c\u5618\u3064\u304d\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u300d\u3068\u306f\u300c\u79c1\u306f\u5618\u3064\u304d\u3067\u3059\u300d\u3092\u771f\u3068\u3057\u3066\u3082\u507d\u3068\u3057\u3066\u3082\u77db\u76fe\u304c\u751f\u3058\u308b\u3068\u3044\u3046\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u3067\u3059\u3002\u3069\u3061\u3089\u3082\u81ea\u5df1\u8a00\u53ca\u6587\u3067\u3042\u308b\u3068\u3053\u308d\u304c\u554f\u984c\u3067\u3059\u3002wikipedia\u65e5\u672c\u7248\u306b\u3088\u308b\u3068\u3001\u5618\u3064\u304d\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u3092\u9664\u53bb\u3059\u308b\u898f\u5247\u306f\u4f5c\u308c\u308b\u304c\u3001Curry\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u306f\u9664\u53bb\u3057\u306b\u304f\u3044\u305d\u3046\u3067\u3059\u3002\u82f1\u8a9e\u7248\u306b\u306f\u300c\u8ad6\u7406\u5b66\u8005\u305f\u3061\u306e\u7d50\u8ad6\u306f\u3067\u3066\u3044\u306a\u3044\u300d\u306b\u5bfe\u5fdc\u3059\u308b\u6587\u306f\u306a\u3044\u3088\u3046\u3067\u3059\u3002
\nhttps:\/\/ja.wikipedia.org\/wiki\/%E3%82%AB%E3%83%AA%E3%83%BC%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9<\/p>\n
\u82f1\u8a9e\u306f\u3001 https:\/\/en.wikipedia.org\/wiki\/Curry%27s_paradox \u304b\u3089
\ncurry \u98df\u3079\u7269\u306e\u30ab\u30ec\u30fc
\nCurry \u98df\u3079\u7269\u3068\u306f\u95a2\u4fc2\u306a\u304f\u3001\u30a2\u30a4\u30eb\u30e9\u30f3\u30c9\u7cfb\u306e\u82d7\u5b57\u3002\u65e5\u672c\u8a9e\u3067\u306f\u30ab\u30ea\u30fc\u3068\u66f8\u304f\u3053\u3068\u304c\u591a\u3044\u3002
\n“Curry’s paradox is a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself “If C, then F”, requiring only a few apparently innocuous logical deduction rules. ”
\narbitrary \u30a2\u30fc\u300c\u30d3\u300d\u30c8\u30e9\u30ea\u3000\u4efb\u610f\u306e
\nclaim \u4e3b\u5f35\u3001\u30af\u30ec\u30fc\u30e0
\nfrom the mere existence \u5b58\u5728\u3060\u3051\u3067
\napparently innocuous\u3000\u898b\u304b\u3051\u4e0a\u5dee\u3057\u3055\u308f\u308a\u306e\u306a\u3044
\ninnocuous \u30a4\u300c\u30ce\u300d\u30ad\u30e5\u30a2\u30b9\u3000\u7121\u5bb3\u306a
\nlogical deduction rules \u8ad6\u7406\u7684\u6f14\u7e79\u898f\u5247\u3000\u30c7\u30a3\u30c0\u30af\u30b7\u30e7\u30f3
\ndeduce \u30c7\u30a3\u300c\u30c7\u30e5\u300d\u30fc\u30b9\u3000\u6f14\u7e79\u3059\u308b
\ninduce \u30a4\u30f3\u300c\u30c7\u30e5\u300d\u30fc\u30b9\u3000\u5e30\u7d0d\u3059\u308b\u3000\u5f15\u304d\u8d77\u3053\u3059
\ninduction \u5e30\u7d0d\u3059\u308b\u3001\uff08\u96fb\u78c1\uff09\u8a98\u5c0e\u3059\u308b
\ninductance \u30a4\u30f3\u30c0\u30af\u30bf\u30f3\u30b9\uff08\u96fb\u6c17\u5de5\u5b66\u3067\u3001\u30b3\u30a4\u30eb\u306e\u3053\u3068\u3001\u30b3\u30a4\u30eb\u306e\u5024\u3001\u5358\u4f4d\u306f\u30d8\u30f3\u30ea\u30fcH\uff09
\nconditional \u6761\u4ef6\u6587\u306e
\nG\u00f6del’s incompleteness theorems\u3000\u30b2\u30fc\u30c7\u30eb\u306e\u4e0d\u5b8c\u5168\u6027\u5b9a\u7406\uff08\u3044\u304f\u3064\u304b\u3042\u308b\uff09
\naxiom \u516c\u7406
\n“His conclusion may be stated as saying that combinatory logic and lambda calculus cannot be made consistent as deductive languages, while still allowing recursion.”
\ncombinatory \u30b3\u30f3\u30d3\u30ca\u30c8\u30ea\u3000\u8a33\u3055\u305a\u3068\u305d\u306e\u307e\u307e\u4f7f\u3046\u3088\u3046\u3067\u3059\u3002
\nlambda calculus \u30e9\u30e0\u30c0\u7b97\u6cd5
\nrecursion \u56de\u5e30
\n\u203b\u3053\u306e\u8fba\u306e\u8ffd\u7a76\u304b\u3089Haskel\u8a00\u8a9e\u304c\u751f\u307e\u308c\u305f\u306e\u3067\u3057\u3087\u3046\u3002 <\/p>\n","protected":false},"excerpt":{"rendered":"
\u30b1\u30d7\u30e9\u30fc\u4e88\u60f3\u306e\u8a3c\u660e\u306e\u6982\u7565\u306f\u4e0b\u8a18\u30d7\u30ec\u30d7\u30ea\u30f3\u30c8\u306b\u51fa\u3066\u3044\u307e\u3059\uff08\u67fb\u8aad\u5f8c\u51fa\u7248\u6e08\u307f\uff09\u3002 https:\/\/arxiv.org\/pdf\/1501.02155.pdf \u8a3c\u660e\u652f\u63f4\u30b7\u30b9\u30c6\u30e0\u306f\u4f7f\u3063\u305f\u3053\u3068\u304c\u306a\u3044\u306e\u3067\u308f\u304b\u308a\u307e\u305b\u3093\u304c\u3001jupyter\u3084google colaboratory\u306e\u3088\u3046\u306a\u3001\u6253\u3061\u8fbc\u3093\u3067\u5b9f\u884c\u3057\u305f\u7d50\u679c\u304c\u8a18\u9332\u3055\u308c\u308b\u30ce\u30fc\u30c8\u5f62\u5f0f\u306e\u5b9f\u884c\u74b0\u5883\u3067\u306f\u306a\u3044\u304b\u3068\u601d\u3044\u307e\u3059\u3002\u8a3c\u660e\u306f164000\u884c\u306e\u305d\u3046\u3044\u3046\u30b3\u30fc\u30c9\u304b\u3089\u306a\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3001\u6570\u4eba\u306e\u30c1\u30fc\u30e0\u3067\u5b8c\u6210\u306b10\u5e74\u304b\u304b\u3063\u305f\u3001\u3068\u3044\u3046\u306e\u306f\u7d0d\u5f97\u3067\u304d\u307e\u3059\u3002\u4e0a\u8a18\u8ad6\u6587\u306e\u4e2d\u306b\u306f\u8a18\u53f7\u8ad6\u7406\u5b66\u3067\u4f7f\u3046\u8a18\u53f7\u304c\u305f\u304f\u3055\u3093\u4f7f\u308f\u308c\u3066\u3044\u307e\u3059\u3002\u79c1\u306f\u5927\u5b661\u5e74\u751f\u306e\u3068\u304d\u306b\u30b2\u30fc\u30c7\u30eb\u306e\u4e0d\u5b8c\u5168\u6027\u5b9a\u7406\u3092\u77e5\u308a\u305f\u304f\u3066\u8a18\u53f7\u8ad6\u7406\u5b66\u3092\u5c65\u4fee\u3057\u307e…<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"om_disable_all_campaigns":false,"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"categories":[60],"tags":[23],"class_list":["post-1747","post","type-post","status-publish","format-standard","hentry","category-computer","tag-computer"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/www.sekaiken.com\/index.php?rest_route=\/wp\/v2\/posts\/1747","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.sekaiken.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.sekaiken.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.sekaiken.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.sekaiken.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1747"}],"version-history":[{"count":0,"href":"https:\/\/www.sekaiken.com\/index.php?rest_route=\/wp\/v2\/posts\/1747\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.sekaiken.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1747"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.sekaiken.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1747"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.sekaiken.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1747"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}