{"id":81093,"date":"2023-11-17T02:52:35","date_gmt":"2023-11-17T02:52:35","guid":{"rendered":"https:\/\/science-hub.click\/%E3%83%A9%E3%82%A4%E3%82%B9%E3%81%AE%E5%AE%9A%E7%90%86-%E5%AE%9A%E7%BE%A9\/"},"modified":"2023-11-17T02:52:35","modified_gmt":"2023-11-17T02:52:35","slug":"%E3%83%A9%E3%82%A4%E3%82%B9%E3%81%AE%E5%AE%9A%E7%90%86-%E5%AE%9A%E7%BE%A9","status":"publish","type":"post","link":"https:\/\/science-hub.click\/?p=81093","title":{"rendered":"\u30e9\u30a4\u30b9\u306e\u5b9a\u7406 &#8211; \u5b9a\u7fa9"},"content":{"rendered":"<div><div><p>\u8a08\u7b97\u53ef\u80fd\u6027\u7406\u8ad6\u3067\u306f\u3001<strong>\u30e9\u30a4\u30b9\u306e\u5b9a\u7406\u306f\u3001<\/strong>\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u8868\u793a\u610f\u5473\u8ad6\u306b\u95a2\u3059\u308b\u975e\u81ea\u660e\u306a (\u3064\u307e\u308a\u3001\u5e38\u306b\u771f\u307e\u305f\u306f\u5e38\u306b\u507d\u3067\u3042\u308b\u3068\u306f\u9650\u3089\u306a\u3044) \u7279\u6027\u306f\u6c7a\u5b9a\u4e0d\u53ef\u80fd\u3067\u3042\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u306f\u505c\u6b62\u554f\u984c\u3092<span><a href=\"https:\/\/science-hub.click\/?p=7924\">\u4e00\u822c\u5316\u3057\u305f\u3082\u306e<\/a><\/span>\u3067\u3059\u3002<\/p><p>\u3053\u306e<span>\u5b9a\u7406\u306f<\/span>\u3001Rice (1953) \u306b\u3088\u308b\u6700\u521d\u306e\u51fa\u7248\u7269\u304b\u3089\u306e<span>\u7cfb<\/span>B \u3092\u300c\u76f4\u89b3\u7684\u306b\u300d\u518d\u5b9a\u5f0f\u5316\u3057\u305f\u3082\u306e\u3067\u3059\u3002<\/p><h2><span>\u8aac\u660e\u3068\u76f4\u611f\u7684\u306a\u8a3c\u660e<\/span><\/h2><p><span><a href=\"https:\/\/science-hub.click\/?p=95765\">\u307e\u305a\u7b2c<\/a><\/span>\u4e00\u306b\u3001 <i>ch<\/i>\u30d3\u30c3\u30c8\u6587\u5b57<span><a href=\"https:\/\/science-hub.click\/?p=78679\">\u5217<\/a><\/span>\u3092\u5165\u529b\u3068\u3057\u3066<i>prog<\/i>\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u505c\u6b62\u3059\u308b\u304b\u3069\u3046\u304b\u3092\u77e5\u308b\u3053\u3068\u304c\u3067\u304d\u308b<i>halt<\/i>\u30d7\u30ed\u30b0\u30e9\u30e0\u306f\u5b58\u5728\u3057\u306a\u3044\u3053\u3068\u3092\u899a\u3048\u3066\u304a\u3044\u3066\u304f\u3060\u3055\u3044 (\u8a3c\u660e\u306b\u3064\u3044\u3066\u306f\u3001halt \u554f\u984c\u306e\u30da\u30fc\u30b8\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044)\u3002\u3088\u308a\u4e00\u822c\u7684\u306a\u7d50\u679c\u304c\u5f97\u3089\u308c\u307e\u3059\u3002<\/p><p>\u3044\u304f\u3064\u304b\u306e\u8868\u8a18\u6cd5\u3092\u6307\u5b9a\u3057\u307e\u3057\u3087\u3046\u3002 <i>prog(ch) \u306f\u3001<\/i> <i>ch<\/i>\u3092\u5165\u529b\u3068\u3057\u3066<i>prog \u3092<\/i>\u8d77\u52d5\u3057\u3066\u30eb\u30fc\u30d7\u3057\u306a\u3044\u5834\u5408\u306b\u51fa\u529b\u3068\u3057\u3066\u53d6\u5f97\u3055\u308c\u308b\u6587\u5b57\u5217\u3067\u3059\u3002 <i>ch_prog \u306f<\/i>\u30d7\u30ed\u30b0\u30e9\u30e0<i>prog \u3092<\/i>\u30a8\u30f3\u30b3\u30fc\u30c9\u3059\u308b\u6587\u5b57\u5217\u3067\u3042\u308a\u3001 <i>ch1,ch2 \u306f<\/i>\u3001 2 \u3064\u306e\u6587\u5b57\u5217<i>ch1<\/i>\u3068<i>ch2<\/i> \u3002<\/p><p>\u305f\u3068\u3048\u3070\u3001\u30eb\u30fc\u30d7\u3057\u306a\u3044\u5834\u5408\u306b\u306f<i>square(ch_prog,ch)<\/i>\u304c 1 \u3092\u8fd4\u3057\u3001 <i>prog(ch)<\/i>\u306f<i>ch<\/i>\u306b\u3088\u3063\u3066\u30a8\u30f3\u30b3\u30fc\u30c9\u3055\u308c\u305f\u6574\u6570\u306e<span><a href=\"https:\/\/science-hub.click\/?p=94249\">2 \u4e57<\/a><\/span>\u3092\u30a8\u30f3\u30b3\u30fc\u30c9\u3057\u3001\u305d\u308c\u4ee5\u5916\u306e\u5834\u5408\u306f 0 \u3092\u8fd4\u3059\u3088\u3046\u306a<i>\u5e73\u65b9<\/i>\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u5b58\u5728\u3059\u308b\u3068\u3057\u307e\u3059\u3002<\/p><p>\u6b21\u306b\u3001\u6b21\u306e\u3088\u3046\u306a<i>\u7121\u79e9\u5e8f\u306a<\/i>\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u69cb\u7bc9\u3067\u304d\u307e\u3059\u3002\u3053\u3053\u3067\u3001 <i>prog<\/i>\u306f\u4efb\u610f\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u3001 <i>ch2 \u306f<\/i>\u4efb\u610f\u306e\u6587\u5b57\u5217\u3067\u3059\u3002<\/p><p><i>\u30c8\u30e9\u30d6\u30eb(ch1)<\/i><\/p><p> <i>1.prog(ch2)<\/i><strong>\u3092\u5b9f\u884c\u3057\u307e\u3059<\/strong><\/p><p>2. <i>ch1<\/i>\u3067\u30b3\u30fc\u30c9\u5316\u3055\u308c\u305f\u6574\u6570\u306e 2 \u4e57<strong>\u3092\u8fd4\u3057\u307e\u3059<\/strong>\u3002<\/p><p> <i>prog \u304c<\/i>\u5165\u529b\u3068\u3057\u3066<i>ch2<\/i>\u3067\u505c\u6b62\u3057\u305f\u5834\u5408\u306b\u306e\u307f\u3001 <i>trouble(ch1)<\/i>\u304c\u5b58\u5728\u3057\u3001 <i>ch1<\/i>\u306b\u3088\u3063\u3066\u30b3\u30fc\u30c9\u5316\u3055\u308c\u305f\u6574\u6570\u306e 2 \u4e57\u3092\u30a8\u30f3\u30b3\u30fc\u30c9\u3059\u308b\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001 <i>square \u304c<\/i>\u5b58\u5728\u3059\u308b\u5834\u5408\u3001 <i>halt \u304c<\/i>\u5b58\u5728\u3057\u307e\u3059\u3002\u3057\u304b\u3057\u79c1\u305f\u3061\u306f<i>\u505c\u6b62<\/i>\u304c\u5b58\u5728\u3057\u306a\u3044\u3053\u3068\u3092\u77e5\u3063\u3066\u3044\u307e\u3059\u3002<\/p><p>\u4e0a\u306e\u4f8b\u3067\u306f\u3001 <i>square \u3092<\/i>\u4efb\u610f\u306e\u95a2\u6570\u306b\u7f6e\u304d\u63db\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u3001<span><a href=\"https:\/\/science-hub.click\/?p=54771\">\u30e9\u30a4\u30b9\u306e\u5b9a\u7406<\/a><\/span>\u3092\u8a3c\u660e\u3067\u304d\u307e\u3059\u3002\u3069\u306e\u95a2\u6570<i>f<\/i>\u304a\u3088\u3073\u30d7\u30ed\u30b0\u30e9\u30e0<i>prog<\/i>\u306b\u3064\u3044\u3066\u3082\u3001 <i>prog<\/i>\u304c<i>f<\/i>\u306e<span><a href=\"https:\/\/science-hub.click\/?p=62923\">\u79fb\u690d<\/a><\/span>\u3067\u3042\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b\u30d7\u30ed\u30b0\u30e9\u30e0\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p><figure class=\"wp-block-image size-large is-style-default\">\n<img decoding=\"async\" alt=\"\u30e9\u30a4\u30b9\u306e\u5b9a\u7406 - \u5b9a\u7fa9\" class=\"aligncenter\" onerror=\"this.style.display=none;\" src=\"https:\/\/img.youtube.com\/vi\/K0HxDK5lZxc\/0.jpg\" style=\"width:100%;\"\/><\/figure><h2><span>\u5b9f\u7528\u7684\u306a\u5f71\u97ff<\/span><\/h2><p>\u3053\u306e\u5b9a\u7406\u306e\u5b9f\u969b\u7684\u306a<span><a href=\"https:\/\/science-hub.click\/?p=97003\">\u5b9a\u5f0f\u5316\u306f<\/a><\/span>\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u6700\u7d42\u7d50\u679c\u306b\u95a2\u9023\u3059\u308b\u8208\u5473\u6df1\u3044 (\u81ea\u660e\u3067\u306f\u306a\u3044) \u7279\u6027\u306b\u5bfe\u3057\u3066\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306e<span><a href=\"https:\/\/science-hub.click\/?p=22258\">\u30bd\u30fc\u30b9 \u30b3\u30fc\u30c9\u304c<\/a><\/span>\u4e0e\u3048\u3089\u308c\u305f\u5834\u5408\u306b\u3001\u3053\u306e\u7279\u6027\u3092\u6e80\u305f\u3059\u304b\u3069\u3046\u304b\u3092\u6c7a\u5b9a\u3067\u304d\u308b\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\u5b58\u5728\u3057\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u6c7a\u5b9a\u4e0d\u53ef\u80fd\u306a\u30d7\u30ed\u30d1\u30c6\u30a3\u306b\u306f\u6b21\u306e\u3088\u3046\u306a\u3082\u306e\u304c\u3042\u308a\u307e\u3059\u3002<\/p><ul><li> \u300c\u30d7\u30ed\u30b0\u30e9\u30e0\u306f\u5b9f\u884c\u6642\u30a8\u30e9\u30fc\u3067\u7d42\u4e86\u3057\u307e\u305b\u3093\u300d<\/li><li> \u300c\u30d7\u30ed\u30b0\u30e9\u30e0\u306f\u4ed5\u69d8\u3068\u6bd4\u8f03\u3057\u3066\u6b63\u3057\u3044\u7d50\u679c\u3092\u8a08\u7b97\u3057\u307e\u3059\u300d<\/li><\/ul><p>\u8a00\u3044\u63db\u3048\u308c\u3070\u3001<span><a href=\"https:\/\/science-hub.click\/?p=46442\">\u9759\u7684<\/a><\/span>\u30d7\u30ed\u30b0\u30e9\u30e0\u5206\u6790\u306e\u65b9\u6cd5\u3067\u306f\u3001<i>\u3059\u3079\u3066\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u3069\u306e\u3088\u3046\u306a\u3082\u306e\u3067\u3042\u3063\u3066\u3082<\/i>\u3001\u307e\u305f\u30c6\u30b9\u30c8\u3055\u308c\u308b\u30d7\u30ed\u30d1\u30c6\u30a3\u304c\u3069\u306e\u3088\u3046\u306a\u3082\u306e\u3067\u3042\u3063\u3066\u3082\u3001\u6709\u9650<span><a href=\"https:\/\/science-hub.click\/?p=82055\">\u6642\u9593<\/a><\/span>\u5185\u306b\u4fe1\u983c\u3067\u304d\u308b\u7d50\u679c\u3092\u4e0e\u3048\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002\u305f\u3060\u3057\u3001\u3053\u306e\u5236\u9650\u306f\u3001\u5fc5\u305a\u3057\u3082<span>\u7279\u5b9a\u306e<\/span>\u30b5\u30a4\u30ba\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u306e\u307f\u9069\u7528\u3055\u308c\u308b\u308f\u3051\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p><p>\u305f\u3068\u3048\u3070\u3001\u6700\u9069\u304b\u3064\u5b89\u5168\u306a\u30ac\u30d9\u30fc\u30b8 \u30b3\u30ec\u30af\u30b7\u30e7\u30f3 (\u672a\u4f7f\u7528\u306e<span><a href=\"https:\/\/science-hub.click\/?p=40158\">\u30e1\u30e2\u30ea<\/a><\/span>\u3092\u89e3\u653e\u3059\u308b\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2) \u306f\u4e0d\u53ef\u80fd\u3067\u3059\u3002\u5b9f\u969b\u3001\u30e1\u30e2\u30ea\u3092\u89e3\u653e\u3059\u308b\u304b\u3069\u3046\u304b\u306f\u3001\u30b7\u30b9\u30c6\u30e0\u306e\u5c06\u6765\u306e\u52d5\u4f5c\u306b\u4f9d\u5b58\u3057\u3066\u304a\u308a\u3001\u4e88\u6e2c\u3059\u308b\u3053\u3068\u306f\u4e0d\u53ef\u80fd\u3067\u3059\u3002\u3053\u308c\u306f\u3001\u3059\u3079\u3066\u306e\u30ac\u30d9\u30fc\u30b8 \u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u6280\u8853\u304c\u4fdd\u5b88\u7684\u3067\u3042\u308a\u3001\u30e1\u30e2\u30ea\u5185\u306b\u4e0d\u8981\u306a\u30d6\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3001\u30e1\u30e2\u30ea \u30ea\u30fc\u30af\u3092\u5f15\u304d\u8d77\u3053\u3059\u53ef\u80fd\u6027\u304c\u3042\u308b\u7406\u7531\u3092\u8aac\u660e\u3057\u3066\u3044\u307e\u3059\u3002<\/p><p>\u3057\u305f\u304c\u3063\u3066\u3001\u6b21\u306e C \u8a00\u8a9e\u30d7\u30ed\u30b0\u30e9\u30e0 ( <tt>p \u304c<\/tt>\u4ed6\u306e\u5834\u6240\u306b\u4ecb\u5165\u3057\u306a\u3044\u3068\u4eee\u5b9a\u3057\u307e\u3059) \u3067\u306f\u3001\u30e1\u30e2\u30ea \u30d6\u30ed\u30c3\u30af\u3092\u5272\u308a\u5f53\u3066\u305f\u76f4\u5f8c\u306b\u89e3\u653e\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u304b\u3069\u3046\u304b\u3092\u6c7a\u5b9a\u3059\u308b\u3053\u3068\u306f\u3001 <tt>f()<\/tt>\u3067\u505c\u6b62\u3059\u308b\u554f\u984c\u3092\u6c7a\u5b9a\u3059\u308b\u3053\u3068\u3068\u540c\u3058\u3067\u3059\u3002<\/p><pre>\nchar *p = malloc(1000);\nf();\n*p = 1;\n<\/pre><h2><span>\u6b63\u5f0f\u306a<span><a href=\"https:\/\/science-hub.click\/?p=74671\">\u5b9a\u7fa9<\/a><\/span><\/span><\/h2><figure class=\"wp-block-image size-large is-style-default\">\n<img decoding=\"async\" alt=\"\u30e9\u30a4\u30b9\u306e\u5b9a\u7406 - \u5b9a\u7fa9\" class=\"aligncenter\" onerror=\"this.style.display=none;\" src=\"https:\/\/img.youtube.com\/vi\/HUt0J6Ktj2k\/0.jpg\" style=\"width:100%;\"\/><\/figure><h3><span>\u524d\u7de8<\/span><\/h3><p>\u3053\u3053\u3067\u306f\u3001<span>\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168<\/span> <span><a href=\"https:\/\/science-hub.click\/?p=82947\">\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e<\/a><\/span>\u3092\u4f7f\u7528\u3057\u3066\u3044\u308b\u3053\u3068\u3092\u524d\u63d0\u3068\u3057\u3066\u3044\u307e\u3059 (\u76f4\u611f<span><a href=\"https:\/\/science-hub.click\/?p=81037\">\u7684<\/a><\/span>\u306b\u8a08\u7b97\u3067\u304d\u308b\u3059\u3079\u3066\u306e\u95a2\u6570\u3001\u30c1\u30e3\u30fc\u30c1\u30fb\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e<span><a href=\"https:\/\/science-hub.click\/?p=32366\">\u8ad6\u6587<\/a><\/span>\u3092\u53c2\u7167\u3001\u3053\u306e\u8a00\u8a9e\u3067\u30d7\u30ed\u30b0\u30e9\u30e0\u3067\u304d\u307e\u3059)\u3002 \u03c6( <i>x<\/i> , <i>y<\/i> ) \u3092\u3001\u5165\u529b<i>y<\/i> \u2208 ? \u306b\u5bfe\u3059\u308b\u30d7\u30ed\u30b0\u30e9\u30e0<i>x<\/i>\u306e\u8a55\u4fa1\u306e\u7d50\u679c\u3068\u3059\u308b\u3002\u30d7\u30ed\u30b0\u30e9\u30e0<i>x \u304c<\/i>\u5165\u529b<i>y<\/i>\u306b\u5bfe\u3057\u3066\u7d42\u4e86\u3057\u306a\u3044\u5834\u5408\u3001\u95a2\u6570 \u03c6 \u306f\u3053\u308c\u3089\u306e\u5165\u529b\u306b\u5bfe\u3057\u3066\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u306a\u3044\u305f\u3081\u3001\u5fc5\u7136\u7684\u306b<i>\u90e8\u5206<\/i>\u95a2\u6570\u3068\u306a\u308a\u3001\u03c6( <i>x<\/i> , <i>y<\/i> ) \u306f\u5fc5\u305a\u3057\u3082\u4f55\u304b\u3092\u6307\u5b9a\u3059\u308b\u5fc5\u8981\u306f\u3042\u308a\u307e\u305b\u3093 (\u7279\u5225\u306a\u5024\u3092\u793a\u3059\u305f\u3081\u306b \u22a5 \u3092\u8ffd\u52a0\u3067\u304d\u307e\u3059)\u3002\u7d42\u4e86\u3057\u307e\u305b\u3093\u300d\uff09\u3002\u306e\u90e8\u5206\u95a2\u6570\uff08\u4e00\u90e8\u306f\u3069\u3053\u3067\u3082\u5b9a\u7fa9\u3067\u304d\u307e\u3059\u304c\u3001\u4ee5\u4e0b\u3067\u306f\u8a73\u3057\u304f\u306f\u8aac\u660e\u3057\u307e\u305b\u3093\uff09\u3092\u8a08\u7b97\u3059\u308b<span><a href=\"https:\/\/science-hub.click\/?p=57227\">\u4e00\u9023<\/a><\/span>\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u3092<i>P \u3067<\/i>\u8868\u3059\u3053\u3068\u306b\u3057\u307e\u3059\u3002\u3067 \uff1f\u3002 <i>x<\/i>\u306e\u96c6\u5408\u304c y \u3092\u6e80\u305f\u3059\u3068\u4eee\u5b9a\u3057\u307e\u3059\u3002 \u03c6( <i>x<\/i> , <i>y<\/i> ) \u306f<i>P<\/i>\u306b\u518d\u5e30\u7684\u306b\u542b\u307e\u308c\u307e\u3059\u3002\u3053\u306e\u5834\u5408\u3001 <i>P<\/i> = \u2205 \u3068\u306a\u308a\u307e\u3059\u3002\u3053\u3053\u3067\u3001 <i>P \u306f<\/i>\u3059\u3079\u3066\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u96c6\u5408\u3067\u3059 (? \u306e ? \u304b\u3089\u90e8\u5206\u95a2\u6570\u3092\u8a08\u7b97\u3057\u307e\u3059)\u3002<\/p><p>\u8a00\u3044\u63db\u3048\u308c\u3070\u3001\u30e9\u30a4\u30b9\u306e\u5b9a\u7406\u306b\u3088\u308c\u3070\u3001<i>\u62e1\u5f35<\/i>\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u30bb\u30c3\u30c8\u3001\u3064\u307e\u308a\u3001\u4e0e\u3048\u3089\u308c\u305f\u90e8\u5206\u95a2\u6570\u304c 1 \u3064\u542b\u307e\u308c\u308b\u3068\u3059\u3050\u306b\u305d\u306e\u90e8\u5206\u95a2\u6570\u3092\u8a08\u7b97\u3059\u308b\u3059\u3079\u3066\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u542b\u3080\u3001\u305d\u3057\u3066\u81ea\u660e\u3067\u306f\u306a\u3044\u3001\u3064\u307e\u308a\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u30bb\u30c3\u30c8\u3068\u306f\u7570\u306a\u308a\u307e\u3059\u3002\u304a\u3088\u3073 \u2205 \u306f<span><a href=\"https:\/\/science-hub.click\/?p=60389\">\u518d\u5e30\u96c6\u5408<\/a><\/span>\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p><p>\u672c\u5f53\u306b\u305d\u308c\u3092\u5f62\u5f0f\u5316\u3057\u305f\u3044\u306e\u3067\u3042\u308c\u3070\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u4f55\u3067\u3042\u308b\u304b\u3092\u8a00\u308f\u306a\u3051\u308c\u3070\u306a\u308a\u307e\u305b\u3093\u3002\u3053\u306e\u30bf\u30a4\u30d7\u306e\u30d7\u30ed\u30d1\u30c6\u30a3\u306e\u5834\u5408\u306f\u3001\u304b\u306a\u308a\u5927\u96d1\u628a\u306a\u8868\u73fe\u3067\u5341\u5206\u3067\u3059\u3002\u30af\u30ea\u30fc\u30f3\u306b\u3088\u3063\u3066\u59cb\u3081\u3089\u308c\u305f<span><a href=\"https:\/\/science-hub.click\/?p=108115\">\u8a08\u7b97\u53ef\u80fd\u6027<\/a><\/span>(\u307e\u305f\u306f\u518d\u5e30) \u306e<span><a href=\"https:\/\/science-hub.click\/?p=11998\">\u7406\u8ad6<\/a><\/span>\u3067\u306f\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306f\u6574\u6570\u306b\u3088\u3063\u3066\u30b3\u30fc\u30c9\u5316\u3055\u308c\u307e\u3059 (<span><a href=\"https:\/\/science-hub.click\/?p=456\">\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc \u30b5\u30a4\u30a8\u30f3\u30b9<\/a><\/span>\u3067\u306f\u3001\u3053\u308c\u3089\u306f\u5b9f\u969b\u306b\u6587\u5b57\u306e\u30b7\u30fc\u30b1\u30f3\u30b9\u3067\u3042\u308a\u3001\u3057\u305f\u304c\u3063\u3066\u30d3\u30c3\u30c8\u306e\u30b7\u30fc\u30b1\u30f3\u30b9\u3067\u3042\u308a\u3001\u3057\u305f\u304c\u3063\u3066\u6700\u7d42\u7684\u306b\u306f\u6574\u6570\u3067\u3059)\u3002\u95a2\u6570 \u03c6 \u306f\u90e8\u5206\u7684\u306a Kleene \u5217\u6319\u95a2\u6570\u3067\u3059\u3002\u3053\u308c\u306f ? \u306e\u90e8\u5206\u7684\u306a<span>\u518d\u5e30\u95a2\u6570<\/span>\u3067\u3059\u3002 \u00d7 ? ? ?\u3053\u308c\u306f ? \u306e\u3059\u3079\u3066\u306e\u90e8\u5206\u518d\u5e30\u95a2\u6570\u3092\u30ea\u30b9\u30c8\u3057\u307e\u3059\u3002 ? ?\u3001\u95a2\u6570 \u03c6 <sub><i>x<\/i><\/sub> : y \u306f\u3069\u308c\u3067\u3059\u304b? \u03c6( <i>x<\/i> , <i>y<\/i> )\u3002\u6574\u6570<i>x \u306f<\/i>\u3001\u95a2\u6570 \u03c6 <sub><i>x<\/i><\/sub>\u306e<i>\u30a4\u30f3\u30c7\u30c3\u30af\u30b9<\/i>(\u307e\u305f\u306f\u30b3\u30fc\u30c9) \u3068\u547c\u3070\u308c\u307e\u3059\u3002\u540c\u3058\u95a2\u6570\u3092\u8a08\u7b97\u3059\u308b\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u660e\u3089\u304b\u306b\u7121\u6570\u306b\u5b58\u5728\u3059\u308b\u306e\u3068\u540c\u69d8 (\u7d50\u679c\u306b\u5f71\u97ff\u3092\u4e0e\u3048\u306a\u3044\u547d\u4ee4\u3092\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u597d\u304d\u306a\u3060\u3051\u8ffd\u52a0\u3067\u304d\u307e\u3059)\u3001\u90e8\u5206\u518d\u5e30\u95a2\u6570\u306b\u306f\u7121\u9650\u306e\u624b\u639b\u304b\u308a\u304c\u3042\u308a\u307e\u3059\u3002<\/p><p>\u6574\u6570\u306e\u30bb\u30c3\u30c8 (\u3057\u305f\u304c\u3063\u3066\u90e8\u5206\u518d\u5e30\u95a2\u6570\u306e\u30a4\u30f3\u30c7\u30c3\u30af\u30b9) <i>W \u306f<\/i>\u3001\u540c\u3058\u90e8\u5206\u518d\u5e30\u95a2\u6570\u306e\u30a4\u30f3\u30c7\u30c3\u30af\u30b9\u3067\u3042\u308b 2 \u3064\u306e\u6574\u6570<i>i<\/i>\u3068<i>j<\/i>\u304c\u4e21\u65b9\u3068\u3082<i>W<\/i>\u5185\u306b\u3042\u308b\u304b\u3001\u4e21\u65b9\u3068\u3082<i>W<\/i>\u306e\u5916\u5074\u306b\u3042\u308b\u5834\u5408\u306b<i>\u5916\u5ef6\u7684<\/i>\u3067\u3042\u308b\u3068\u8a00\u308f\u308c\u307e\u3059\u3002<\/p><dl><dd> \u2200 <i>i<\/i> , <i>j<\/i> \u2208 ? [( <i>i<\/i> \u2208 <i>W<\/i>\u304a\u3088\u3073 \u03c6 <sub><i>i<\/i><\/sub> = \u03c6 <sub><i>i<\/i><\/sub> ) \u21d2 <i>j<\/i> \u2208 <i>W<\/i> ]<\/dd><\/dl><p>\u30e9\u30a4\u30b9\u306e\u5b9a\u7406\u306f\u6b21\u306e\u3088\u3046\u306b\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002<\/p><dl><dd><strong>\u30e9\u30a4\u30b9\u306e\u5b9a\u7406<\/strong>\u3002 ? \u306e\u62e1\u5f35<span><a href=\"https:\/\/science-hub.click\/?p=106649\">\u30b5\u30d6\u30bb\u30c3\u30c8<\/a><\/span>non-trivial (? \u3084 \u2205 \u3068\u306f\u7570\u306a\u308a\u307e\u3059) \u306f\u518d\u5e30\u7684\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/dd><\/dl><p>\u6574\u6570\u306b\u95a2\u3057\u3066\u53b3\u5bc6\u306a\u610f\u5473\u3067\u89e3\u91c8\u3055\u308c\u308b\u3053\u308c\u3089\u306e\u6982\u5ff5\u306f\u3059\u3079\u3066\u3001<span><a href=\"https:\/\/science-hub.click\/?p=57239\">\u30b3\u30fc\u30c7\u30a3\u30f3\u30b0<\/a><\/span>\u306e\u5f71\u97ff\u3092\u53d7\u3051\u3084\u3059\u3044\u3053\u3068\u306b\u6ce8\u610f\u3057\u3066\u304f\u3060\u3055\u3044\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u3053\u308c\u3089\u306f\u8a08\u7b97\u53ef\u80fd\u306a\u95a2\u6570\u306e\u7d50\u679c\u3067\u3059\u3002<\/p><h3><span><span><a href=\"https:\/\/science-hub.click\/?p=68283\">\u7b2c\u4e8c<\/a><\/span>\u90e8<\/span><\/h3><p>\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u96c6\u5408\u306e<span><a href=\"https:\/\/science-hub.click\/?p=43578\">\u89b3\u70b9<\/a><\/span>\u304b\u3089\u898b\u308b\u3068\u3001\u30e9\u30a4\u30b9\u306e\u5b9a\u7406\u306f\u3001\u3053\u308c\u3089\u306e\u96c6\u5408\u4e0a\u306e\u81ea\u660e\u3067<span><a href=\"https:\/\/science-hub.click\/?p=98747\">\u306a\u3044<\/a><\/span>\u6027\u8cea\u306f\u6c7a\u5b9a\u4e0d\u53ef\u80fd\u3067\u3042\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u6027\u8cea\u306f\u3001A \u304c B \u306b\u542b\u307e\u308c\u308b\u3088\u3046\u306a\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u3059\u3079\u3066\u306e\u96c6\u5408 A \u304a\u3088\u3073 B \u306b\u3064\u3044\u3066\u3001P(A) -&gt; P(B) \u304c\u6210\u7acb\u3059\u308b\u5834\u5408\u306b\u9650\u308a\u3001\u5358\u8abf\u3067\u3042\u308b\u3068\u8a00\u308f\u308c\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u300cA \u306f<span><a href=\"https:\/\/science-hub.click\/?p=35770\">\u6709\u9650\u96c6\u5408<\/a><\/span>\u3067\u3042\u308b\u300d\u306f\u5358\u8abf\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u304c\u3001\u300cA \u306b\u306f\u8981\u7d20 x \u304c\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u300d\u306f\u5358\u8abf\u3067\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u30bb\u30c3\u30c8\u4e0a\u306e\u975e\u5358\u8abf\u30d7\u30ed\u30d1\u30c6\u30a3\u306f\u3001<span><a href=\"https:\/\/science-hub.click\/?p=14812\">\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd<\/a><\/span>(\u307e\u305f\u306f\u534a\u6c7a\u5b9a\u53ef\u80fd) \u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p><figure class=\"wp-block-image size-large is-style-default\">\n<img decoding=\"async\" alt=\"\u30e9\u30a4\u30b9\u306e\u5b9a\u7406 - \u5b9a\u7fa9\" class=\"aligncenter\" onerror=\"this.style.display=none;\" src=\"https:\/\/img.youtube.com\/vi\/PfHObMiAj6M\/0.jpg\" style=\"width:100%;\"\/><\/figure><h2><span>\u30e9\u30a4\u30b9\u306e\u5b9a\u7406\u306e<span><a href=\"https:\/\/science-hub.click\/?p=52981\">\u8a3c\u660e<\/a><\/span><\/span><\/h2><p>\u505c\u6b62\u554f\u984c\u306e\u6c7a\u5b9a\u306f\u3001\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u96c6\u5408\u4e0a\u306e\u81ea\u660e\u3067\u306a\u3044\u30d7\u30ed\u30d1\u30c6\u30a3\u306e\u6c7a\u5b9a\u306b\u5e30\u7740\u3067\u304d\u308b\u3053\u3068\u304c\u793a\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u79c1\u305f\u3061\u306f\u3001\u305d\u308c\u3092\u53d7\u3051\u5165\u308c\u308b<span><a href=\"https:\/\/science-hub.click\/?p=15228\">\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3<\/a><\/span>\u306b\u3088\u3063\u3066\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u30bb\u30c3\u30c8\u3092\u8868\u3057\u307e\u3059\u3002 P \u3092\u3001\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u30bb\u30c3\u30c8\u4e0a\u306e<span><a href=\"https:\/\/science-hub.click\/?p=33922\">\u6c7a\u5b9a\u53ef\u80fd<\/a><\/span>\u304b\u3064\u81ea\u660e\u3067\u306f\u306a\u3044\u30d7\u30ed\u30d1\u30c6\u30a3\u3068\u3059\u308b\u3002 P(\u2205)=&#8221;False&#8221; \u3068\u3057\u307e\u3059 (\u305d\u3046\u3067\u306a\u3044\u5834\u5408\u306f\u3001P \u306e\u5426\u5b9a\u3092\u4f7f\u3063\u3066\u540c\u3058\u3088\u3046\u306b\u63a8\u8ad6\u3057\u307e\u3059)\u3002\u3057\u305f\u304c\u3063\u3066\u3001P \u3092\u6e80\u305f\u3059\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u96c6\u5408 A \u304c\u5b58\u5728\u3057\u307e\u3059\u3002K \u3092 A \u3092\u53d7\u3051\u5165\u308c\u308b\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3\u3068\u3057\u307e\u3057\u3087\u3046\u3002P \u306f\u6c7a\u5b9a\u53ef\u80fd\u3067\u3042\u308b\u305f\u3081\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 MP \u304c\u5b58\u5728\u3057\u307e\u3059\u3002\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 MP \u306f\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3\u306e\u4efb\u610f\u306e\u8868\u73fe\u306b\u5bfe\u3057\u3066\u3001\u6b21\u306e\u3053\u3068\u3092\u6c7a\u5b9a\u3057\u307e\u3059\u3002\u672c\u6a5f\u304c\u53d7\u3051\u4ed8\u3051\u305f\u30bb\u30c3\u30c8\u304cP\u3092\u6e80\u305f\u3059\u304b\u5426\u304b\u3002<\/p><p>\u305d\u308c\u4ee5\u964d\u3001\u5165\u529b x \u304c\u5f8c\u306b\u7d9a\u304f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 M \u306e\u8868\u73fe\u3092\u5165\u529b\u3068\u3057\u3066\u53d7\u3051\u53d6\u308b\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 H \u3092\u69cb\u7bc9\u3057\u307e\u3059\u3002 H \u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002<\/p><dl><dd> 1. \u5165\u529b d \u306b\u5bfe\u3057\u3066\u6b21\u306e\u3088\u3046\u306a\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 T \u306e\u8868\u73fe\u3092\u69cb\u7bc9\u3057\u307e\u3059\u3002<ul><li> x \u306b\u5bfe\u3059\u308b M \u306e\u5b9f\u884c\u3092\u30b7\u30df\u30e5\u30ec\u30fc\u30c8\u3057\u307e\u3059\u3002<\/li><li> d \u306b\u5bfe\u3059\u308b K \u306e\u5b9f\u884c\u3092\u30b7\u30df\u30e5\u30ec\u30fc\u30c8\u3057\u3001\u7d50\u679c\u3092\u8fd4\u3057\u307e\u3059\u3002<\/li><\/ul><\/dd><dd> 2. T \u306e\u8868\u73fe\u3067 MP \u306e\u5b9f\u884c\u3092\u30b7\u30df\u30e5\u30ec\u30fc\u30c8\u3057\u3001\u7d50\u679c\u3092\u8fd4\u3057\u307e\u3059\u3002<\/dd><\/dl><p> M \u304c x \u3067\u505c\u6b62\u3057\u305f\u5834\u5408\u3001T \u306b\u3088\u3063\u3066\u53d7\u3051\u5165\u308c\u3089\u308c\u308b\u30bb\u30c3\u30c8\u306f A \u3067\u3059\u3002\u3053\u306e\u30bb\u30c3\u30c8\u306f P \u3092\u6e80\u305f\u3059\u305f\u3081\u3001\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u7b2c 2<span><a href=\"https:\/\/science-hub.click\/?p=15396\">\u30d5\u30a7\u30fc\u30ba<\/a><\/span>\u306f\u300cTrue\u300d\u3092\u8fd4\u3057\u307e\u3059\u3002 M \u304c x \u3067\u505c\u6b62\u3057\u306a\u3044\u5834\u5408\u3001T \u306b\u3088\u3063\u3066\u53d7\u3051\u5165\u308c\u3089\u308c\u308b\u96c6\u5408\u306f \u2205 \u3067\u3059\u3002\u3053\u306e\u30bb\u30c3\u30c8\u306f P \u3092\u6e80\u305f\u3055\u306a\u3044\u305f\u3081\u3001\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u7b2c 2 \u30d5\u30a7\u30fc\u30ba\u306f\u300cFalse\u300d\u3092\u8fd4\u3057\u307e\u3059\u3002<\/p><p>\u3057\u305f\u304c\u3063\u3066\u3001\u30de\u30b7\u30f3 H \u306f\u505c\u6b62\u554f\u984c\u3092\u5b8c\u5168\u306b\u8a08\u7b97\u3057\u307e\u3059\u3002\u3053\u308c\u306f\u6c7a\u5b9a\u4e0d\u53ef\u80fd\u3067\u3042\u308b\u305f\u3081\u3001<span><a href=\"https:\/\/science-hub.click\/?p=67369\">\u77db\u76fe<\/a><\/span>\u306b\u3088\u308a\u3001P \u306f\u6c7a\u5b9a\u4e0d\u53ef\u80fd\u3067\u3059\u3002<\/p><figure class=\"wp-block-image size-large is-style-default\">\n<img decoding=\"async\" alt=\"\u30e9\u30a4\u30b9\u306e\u5b9a\u7406 - \u5b9a\u7fa9\" class=\"aligncenter\" onerror=\"this.style.display=none;\" src=\"https:\/\/img.youtube.com\/vi\/JSdDHKJyvJU\/0.jpg\" style=\"width:100%;\"\/><\/figure><h3><span>\u7b2c\u4e8c\u90e8\u306e\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3<\/span><\/h3><p>\u540c\u69d8\u306b\u3001\u505c\u6b62\u554f\u984c\u306e\u5426\u5b9a\u306e\u534a\u6c7a\u5b9a\u306f\u3001\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u96c6\u5408\u4e0a\u306e\u4efb\u610f\u306e\u975e\u5358\u8abf\u7279\u6027\u306e\u534a\u6c7a\u5b9a\u306b\u5e30\u7740\u3067\u304d\u308b\u3053\u3068\u3092\u793a\u3057\u307e\u3059\u3002<\/p><p> P \u3092\u975e\u5358\u8abf\u3067\u534a\u6c7a\u5b9a\u53ef\u80fd\u306a\u7279\u6027\u3068\u3059\u308b\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u6b21\u306e\u3088\u3046\u306b\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 MA \u304a\u3088\u3073 MB \u306b\u3088\u3063\u3066\u305d\u308c\u305e\u308c\u8a08\u7b97\u3055\u308c\u308b 2 \u3064\u306e\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u30bb\u30c3\u30c8 A \u304a\u3088\u3073 B \u304c\u5b58\u5728\u3057\u307e\u3059\u3002<\/p><dl><dd><ul><li> A\u306fB\u306b\u542b\u307e\u308c\u308b<\/li><li>\u6e80\u8db3P<\/li><li> B \u306f P \u3092\u6e80\u305f\u3057\u307e\u305b\u3093\u3002<\/li><\/ul><\/dd><\/dl><p>\u3055\u3089\u306b\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 MP \u304c\u5b58\u5728\u3057\u307e\u3059\u3002\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 MP \u306f\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3\u306e\u4efb\u610f\u306e\u8868\u73fe\u306b\u5bfe\u3057\u3066\u3001\u3053\u306e\u30de\u30b7\u30f3\u306b\u3088\u3063\u3066\u53d7\u3051\u5165\u308c\u3089\u308c\u308b\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u96c6\u5408\u304c P \u3092\u6e80\u305f\u3059\u5834\u5408\u306b\u505c\u6b62\u3057\u3066\u53d7\u3051\u5165\u308c\u307e\u3059\u3002<\/p><p>\u305d\u308c\u4ee5\u964d\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 M \u306e\u8868\u73fe\u3068\u305d\u308c\u306b\u7d9a\u304f\u5165\u529b x \u3092\u5165\u529b\u3068\u3057\u3066\u53d7\u3051\u53d6\u308b\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 H \u3092\u69cb\u7bc9\u3067\u304d\u307e\u3059\u3002\u305d\u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002<\/p><dl><dd> 1 \u5165\u529b y \u306b\u5bfe\u3057\u3066\u6b21\u306e\u3088\u3046\u306a\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 \u30de\u30b7\u30f3 T \u306e\u8868\u73fe\u3092\u69cb\u7bc9\u3057\u307e\u3059\u3002<dl><dd> 1 \u4e26\u5217\u5b9f\u884c<ul><li>MA \u30aa\u30f3 y<\/li><li> y \u306e MB<\/li><li> M\u4ee5\u4e0ax<\/li><\/ul><\/dd><dd> 2 y \u3092\u53d7\u3051\u5165\u308c\u308b<ul><li>MA \u306f y \u307e\u305f\u306f else \u3092\u53d7\u3051\u5165\u308c\u307e\u3059<\/li><li>MB \u306f y \u3092\u53d7\u3051\u5165\u308c\u3001\u304b\u3064 M \u306f x \u3067\u505c\u6b62\u3057\u307e\u3059<\/li><\/ul><\/dd><\/dl><\/dd><dd>2 T \u306e\u8868\u73fe\u306b\u5bfe\u3057\u3066 MP \u200b\u200b\u3092\u5b9f\u884c\u3057\u3001\u7d50\u679c\u3092\u8fd4\u3057\u307e\u3059\u3002<\/dd><\/dl><p> <i>\u300c\u4e26\u5217\u5b9f\u884c\u300d<\/i>\u3068\u306f\u3001\u30de\u30b7\u30f3 T \u304c y \u3067\u30b9\u30c6\u30c3\u30d7 MA \u3092\u5b9f\u884c\u3057\u3001\u6b21\u306b y \u3067 MB \u306e\u30b9\u30c6\u30c3\u30d7\u3092\u5b9f\u884c\u3057\u3001\u6b21\u306b x \u3067 M \u306e\u30b9\u30c6\u30c3\u30d7\u3092\u5b9f\u884c\u3057\u3001\u6b21\u306b y \u3067 MA \u306e 2 \u756a\u76ee\u306e\u30b9\u30c6\u30c3\u30d7\u3092\u5b9f\u884c\u3059\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u8a00\u3044\u63db\u3048\u308c\u3070\u3001\u3042\u308b\u30de\u30b7\u30f3\u306e\u8a08\u7b97\u30b9\u30c6\u30c3\u30d7\u3092\u4ed6\u306e\u30de\u30b7\u30f3\u306e\u8a08\u7b97\u30b9\u30c6\u30c3\u30d7\u3068\u300c\u30a4\u30f3\u30bf\u30fc\u30ea\u30fc\u30d6\u300d\u3057\u307e\u3059\u3002<\/p><p> M \u304c x \u3067\u505c\u6b62\u3059\u308b\u5834\u5408\u3001MA \u307e\u305f\u306f MB \u304c y \u3092\u53d7\u3051\u5165\u308c\u308b\u5834\u5408\u306b\u9650\u308a\u3001T \u306f y \u3092\u53d7\u3051\u5165\u308c\u307e\u3059\u3002\u307e\u305f\u3001A \u306f B \u306b\u542b\u307e\u308c\u308b\u305f\u3081\u3001\u3053\u308c\u306f\u3001y \u304c B \u306b\u5c5e\u3059\u308b\u5834\u5408\u306b\u9650\u308a\u3001\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002 \u3057\u305f\u304c\u3063\u3066\u3001T \u306f\u96c6\u5408 B \u3092\u6b63\u78ba\u306b\u53d7\u3051\u5165\u308c\u307e\u3059\u3002\u4eee\u8aac\u306b\u3088\u308a\u3001P \u306f\u691c\u8a3c\u3055\u308c\u307e\u305b\u3093\u3002\u305d\u306e\u7d50\u679c\u3001MP \u306f T \u3092\u53d7\u3051\u5165\u308c\u307e\u305b\u3093\u3002(P \u306f\u534a\u5206\u6c7a\u5b9a\u53ef\u80fd\u3067\u3042\u308b\u3068\u60f3\u5b9a\u3055\u308c\u3066\u3044\u308b\u305f\u3081\u3001MP \u306f\u307e\u3063\u305f\u304f\u505c\u6b62\u3057\u306a\u3044\u53ef\u80fd\u6027\u3082\u3042\u308a\u307e\u3059) M \u304c x \u3067\u505c\u6b62\u3057\u306a\u3044\u5834\u5408\u3001T \u306f\u6b21\u306e\u5834\u5408\u306b\u306e\u307f y \u3092\u53d7\u3051\u5165\u308c\u307e\u3059\u3002 y \u306f A \u306b\u5c5e\u3057\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001T \u306f\u3001\u4eee\u8aac\u306b\u3088\u308a P \u3092\u6e80\u305f\u3059\u96c6\u5408 A \u3092\u6b63\u78ba\u306b\u53d7\u3051\u5165\u308c\u307e\u3059\u3002\u305d\u306e\u7d50\u679c\u3001MP \u306f T \u3092\u53d7\u3051\u5165\u308c\u307e\u3059 (\u3057\u305f\u304c\u3063\u3066\u3001\u534a\u6c7a\u5b9a\u53ef\u80fd\u6027\u306e\u5b9a\u7fa9\u306b\u3088\u308a\u505c\u6b62\u3059\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059)\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u30de\u30b7\u30f3 H \u306f\u505c\u6b62\u554f\u984c\u306e\u5426\u5b9a\u3092\u8a08\u7b97\u3057\u307e\u3059\u3002\u3053\u308c\u306f\u534a\u6c7a\u5b9a\u53ef\u80fd\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u77db\u76fe\u306b\u3088\u308a\u3001P \u306f\u534a\u6c7a\u5b9a\u53ef\u80fd\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p><\/div><h2 class=\"ref_link\">\u53c2\u8003\u8cc7\u6599<\/h2><ol><li><a class=\"notranslate\" href=\"https:\/\/de.wikipedia.org\/wiki\/Satz_von_Rice\">Satz von Rice \u2013 allemand<\/a><\/li><li> <a class=\"notranslate\" href=\"https:\/\/en.wikipedia.org\/wiki\/Rice%27s_theorem\">Rice&#8217;s theorem \u2013 anglais<\/a><\/li><li> <a class=\"notranslate\" href=\"https:\/\/es.wikipedia.org\/wiki\/Teorema_de_Rice\">Teorema de Rice \u2013 espagnol<\/a><\/li><li> <a class=\"notranslate\" href=\"https:\/\/he.wikipedia.org\/wiki\/%D7%9E%D7%A9%D7%A4%D7%98_%D7%A8%D7%99%D7%99%D7%A1\">\u05de\u05e9\u05e4\u05d8 \u05e8\u05d9\u05d9\u05e1 \u2013 h\u00e9breu<\/a><\/li><li> <a class=\"notranslate\" href=\"https:\/\/it.wikipedia.org\/wiki\/Teorema_di_Rice\">Teorema di Rice \u2013 italien<\/a><\/li><li> <a class=\"notranslate\" href=\"https:\/\/ja.wikipedia.org\/wiki\/%E3%83%A9%E3%82%A4%E3%82%B9%E3%81%AE%E5%AE%9A%E7%90%86\">\u30e9\u30a4\u30b9\u306e\u5b9a\u7406 \u2013 japonais<\/a><\/li><\/ol><\/div>\n<div class=\"feature-video\">\n <h2>\n  \u30e9\u30a4\u30b9\u306e\u5b9a\u7406 &#8211; \u5b9a\u7fa9\u30fb\u95a2\u9023\u52d5\u753b\n <\/h2>\n <div class=\"video-item\">\n  \n  <figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\">\n   <div class=\"wp-block-embed__wrapper\">\n    <iframe loading=\"lazy\" title=\"\u30e9\u30a4\u30b9\u306e\u5b9a\u7406\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube.com\/embed\/s0zy84vEhcc?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe>\n   <\/div>\n  <\/figure>\n  \n <\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>\u8a08\u7b97\u53ef\u80fd\u6027\u7406\u8ad6\u3067\u306f\u3001\u30e9\u30a4\u30b9\u306e\u5b9a\u7406\u306f\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u8868\u793a\u610f\u5473\u8ad6\u306b\u95a2\u3059\u308b\u975e\u81ea\u660e\u306a (\u3064\u307e\u308a\u3001\u5e38\u306b\u771f\u307e\u305f\u306f\u5e38\u306b\u507d\u3067\u3042\u308b\u3068\u306f\u9650\u3089\u306a\u3044) \u7279\u6027\u306f\u6c7a\u5b9a\u4e0d\u53ef\u80fd\u3067\u3042\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u306f\u505c\u6b62\u554f\u984c\u3092\u4e00\u822c\u5316\u3057\u305f\u3082\u306e\u3067 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":81094,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"fifu_image_url":"https:\/\/img.youtube.com\/vi\/s0zy84vEhcc\/0.jpg","fifu_image_alt":"\u30e9\u30a4\u30b9\u306e\u5b9a\u7406 - \u5b9a\u7fa9","footnotes":""},"categories":[5],"tags":[52614,11,13,10,14,12,570,16,26601,15],"class_list":["post-81093","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-dictionary","tag-abbaye-val-notre-dame","tag-techniques","tag-technologie","tag-actualite","tag-news","tag-dossier","tag-theoreme","tag-sciences","tag-rice","tag-article"],"_links":{"self":[{"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/posts\/81093"}],"collection":[{"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/science-hub.click\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=81093"}],"version-history":[{"count":0,"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/posts\/81093\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/media\/81094"}],"wp:attachment":[{"href":"https:\/\/science-hub.click\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=81093"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/science-hub.click\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=81093"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/science-hub.click\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=81093"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}