{"id":29660,"date":"2021-11-02T22:16:35","date_gmt":"2021-11-02T14:16:35","guid":{"rendered":"https:\/\/swarma.org\/?p=29660"},"modified":"2021-11-02T22:16:35","modified_gmt":"2021-11-02T14:16:35","slug":"%e8%8c%83%e7%95%b4%e8%ae%baii%e7%ac%ac6%e8%af%be%ef%bc%9a%e4%bc%b4%e9%9a%8f%e5%87%bd%e5%ad%90-%e5%91%a8%e6%9b%b4%e8%a7%86%e9%a2%91","status":"publish","type":"post","link":"https:\/\/swarma.org\/?p=29660","title":{"rendered":"\u8303\u7574\u8bbaII\u7b2c6\u8bfe\uff1a\u4f34\u968f\u51fd\u5b50 | \u5468\u66f4\u89c6\u9891"},"content":{"rendered":"
\n
\n
\n
\n
<\/section>\n<\/section>\n
\n
\n
\n
\n
\n
\n

<\/section>\n<\/section>\n
\n
\n

\u5bfc\u8bed<\/strong><\/span><\/p>\n<\/section>\n<\/section>\n

\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n
\n
\n
\n

\u8303\u7574\u8bba\u662f\u4e00\u4e2a\u7814\u7a76\u7ed3\u6784\u7684\u7406\u8bba\uff0c\u63d0\u4f9b\u4e86\u4e00\u79cd\u7cfb\u7edf\u3001\u7cbe\u786e\u3001\u62bd\u8c61\u7684\u8de8\u9886\u57df\u79d1\u5b66\u65b9\u6cd5\u8bba\uff0c\u53ef\u76f4\u63a5\u4ed8\u8bf8\u4e8e\u5404\u9886\u57df\u8003\u5bdf\u7684\u95ee\u9898\uff0c\u5bfb\u6c42\u8de8\u9886\u57df\u7684\u89e3\u51b3\u4e4b\u9053\u3002\u8fd9\u79cd\u6570\u5b66\u8bed\u8a00\u4e0e\u590d\u6742\u6027\u79d1\u5b66\u6709\u4f17\u591a\u76f8\u4f3c\u4e4b\u5904\uff0c\u52a0\u4e4b\u5176\u672c\u8eab\u4f5c\u4e3a\u6570\u5b66\u5de5\u5177\u7684\u4e25\u5bc6\u6027\uff0c\u540e\u7eed\u53ef\u80fd\u80fd\u4e3a\u89e3\u51b3\u590d\u6742\u6027\u79d1\u5b66\u95ee\u9898\u63d0\u4f9b\u4e00\u628a\u94a5\u5319\u3002<\/span><\/strong><\/p>\n


<\/span><\/strong><\/p>\n

\u4e3a\u4e86\u8ba9\u5927\u5bb6\u4e86\u89e3\u8303\u7574\u8bba\u8fd9\u6837\u4e00\u95e8\u73b0\u4ee3\u6570\u5b66\u8bed\u8a00\uff0c\u514b\u670d\u4f20\u7edf\u5b66\u4e60\u8303\u7574\u8bba\u62bd\u8c61\u548c\u5bf9\u524d\u7f6e\u77e5\u8bc6\u7684\u969c\u788d\uff0c\u96c6\u667a\u5b66\u56ed\u7279\u9080\u4e00\u4f4d\u6b63\u5728\u5c1d\u8bd5\u6559\u4e2d\u5b66\u751f\u8303\u7574\u8bba\u7684J-CAT\u732b\u5708\u8001\u5e08\u5f00\u8bfe\uff0c\u7b79\u5212\u4e86\u201c\u96c6\u667a\u8303\u7574\u8bba\u5165\u95e8\u7cfb\u5217\u8bfe\u7a0b\u201d\u3002\u7b2c\u4e8c\u5b63\u8bfe\u7a0b\u6b63\u5f0f\u63a8\u51fa\uff0c\u5728\u7b2c\u4e00\u5b63\u4e60\u5f97\u7684\u8303\u7574\u8bba\u601d\u7ef4\u65b9\u5f0f\u57fa\u7840\u4e0a\uff0c\u672c\u5b63\u8bfe\u7a0b\u5c06\u7ad9\u5728\u65b0\u7684\u8d77\u70b9\u4e0a\uff0c\u66f4\u591a\u5173\u6ce8\u8303\u7574\u8bba\u5185\u5728\u7684\u95ee\u9898\uff0c\u800c\u4e0d\u7528\u8fc7\u4e8e\u5173\u6ce8\u5177\u4f53\u7684\u95ee\u9898\u80cc\u666f\u3002\u4f8b\u5982\u5728\u8303\u7574\u8bba\u4e2d\uff0c\u53ef\u4ee5\u76f4\u63a5\u62bd\u8c61\u5730\u8ba8\u8bba\u4e00\u4e2a\u4f5c\u4e3a\u51fd\u5b50\u7684\u7bad\u5934\u5982\u4f55\u8fd0\u52a8\u5230\u53e6\u4e00\u4e2a\u51fd\u5b50\u7bad\u5934\uff0c\u8fd9\u6837\u9700\u8981\u7406\u89e3\u51fd\u5b50\u8303\u7574\u548c\u81ea\u7136\u53d8\u6362\u7684\u6982\u5ff5\u3002\u901a\u8fc7\u638c\u63e1\u8fd9\u4e9b\u8d8a\u6765\u8d8a\u62bd\u8c61\u7684\u601d\u7ef4\u5de5\u5177\uff0c\u5b66\u5458\u5c06\u9010\u6e10\u611f\u53d7\u5230\u8303\u7574\u8bba\u7684\u5f3a\u5927\u62bd\u8c61\u7b80\u5316\u80fd\u529b\uff0c\u611f\u53d7\u5230\u4e3a\u4f55\u4e0d\u540c\u9886\u57df\u7684\u7814\u7a76\u524d\u6cbf\u4e0d\u7ea6\u800c\u540c\u5730\u5e94\u7528\u8fd9\u4e9b\u5de5\u5177\u3002<\/strong><\/p>\n


<\/p>\n

\u6b64\u7cfb\u5217\u8bfe\u7a0b\u4e3a\u5468\u66f4\u8bfe\u7a0b\uff0c\u6bcf\u5468\u65e5\u4e2d\u534812\u70b9\u66f4\u65b0\u3002<\/strong>\u672c\u6587\u4ecb\u7ecd<\/span>\u7b2c6\u8bfe<\/strong>\uff0c\u4e3b\u9898\u4e3a<\/span>\u4f34\u968f\u51fd\u5b50<\/strong>\u3002\u6b22\u8fce\u5bf9\u8303\u7574\u8bba\u611f\u5174\u8da3\u7684\u670b\u53cb\u62a5\u540d\u52a0\u5165\u8bfe\u7a0b\u3002<\/span><\/strong><\/p>\n<\/section>\n<\/section>\n<\/section>\n

\n
<\/svg><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n
\n
<\/section>\n<\/section>\n


<\/p>\n

<\/h2>\n

\n
\n
\n
\n
\n

<\/section>\n

<\/section>\n
\n
<\/svg><\/section>\n<\/section>\n<\/section>\n
\n

\u8bfe\u7a0b\u7b80\u4ecb<\/strong><\/strong><\/p>\n<\/section>\n

\n

<\/section>\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n


<\/p>\n

\u4f34\u968f\u51fd\u5b50\u662f\u8303\u7574\u8bba\u4e2d\u6700\u91cd\u8981\u7684\u6982\u5ff5\u4e4b\u4e00\u3002\u4e24\u4e2a\u96c6\u5408\u4e4b\u95f4\u53ef\u4ee5\u8ba8\u8bba\u4e92\u9006\u7684\u6620\u5c04\u95ee\u9898\uff0c\u800c\u4e92\u9006\u662f\u975e\u5e38\u5f3a\u7684\u6761\u4ef6\uff0c\u5728\u8303\u7574\u8bba\u4e2d\u53ef\u4ee5\u5c06\u5b83\u6781\u5927\u5730\u63a8\u5e7f\u548c\u62bd\u8c61\u3002\u5728\u7ebf\u6027\u4ee3\u6570\u4e2d\uff0c\u7ebf\u6027\u6620\u5c04\u6709\u4f34\u968f\u6620\u5c04\u7684\u6982\u5ff5\uff0c\u5373\u4f34\u968f\u77e9\u9635\u548c\u4f34\u968f\u7b97\u5b50\uff0c\u6700\u5e38\u89c1\u7684\u5f62\u5f0f\u5c31\u662f\u5b9e\u8f6c\u7f6e\u77e9\u9635\u548c\u590d\u5171\u8f6d\u8f6c\u7f6e\u77e9\u9635\u3002\u501f\u52a9\u7ebf\u6027\u7a7a\u95f4\u4e0a\u5b9a\u4e49\u7684\u5185\u79ef\uff0c\u53ef\u4ee5\u6784\u9020\u7b97\u5b50\u4e4b\u95f4\u7684\u4f34\u968f\u5173\u7cfb\u3002<\/span><\/p>\n


<\/span><\/p>\n

\u4e3a\u4e86\u5f15\u5165\u4f34\u968f\u51fd\u5b50\uff0c\u6211\u4eec\u5148\u4ecb\u7ecd\u4e86\u504f\u5e8f\u96c6\u4e4b\u95f4\u53ef\u4ee5\u4fdd\u6301\u504f\u5e8f\u7ed3\u6784\u7684\u6620\u5c04\u3002\u76f8\u5411\u7684\u4e00\u5bf9\u51fd\u5b50\uff0c\u82e5\u80fd\u4fdd\u6301\u504f\u5e8f\uff0c\u6784\u6210\u4e86Galois\u8fde\u63a5\u3002\u5728Galois\u7406\u8bba\u4e2d\uff0c\u57df\u7684\u5b50\u57df\u6784\u6210\u504f\u5e8f\u96c6\u8303\u7574\uff0c\u5bf9\u5e94\u7684Galois\u7fa4\u7684\u5b50\u7fa4\u4e5f\u6784\u6210\u504f\u5e8f\u96c6\u8303\u7574\uff0cGalois\u7406\u8bba\u53ef\u4ee5\u7528Galois\u8fde\u63a5\u7684\u65b9\u5f0f\u9610\u8ff0\uff0c\u8fd9\u4e5f\u662fGalois\u8fde\u63a5\u7684\u5f97\u540d\u3002Galois\u8fde\u63a5\u672c\u8eab\u5219\u662f\u4f34\u968f\u51fd\u5b50\u5728\u504f\u5e8f\u96c6\u8303\u7574\u4e0a\u7684\u4e00\u4e2a\u7279\u4f8b\u3002<\/span><\/p>\n


<\/span><\/p>\n

\u63a5\u4e0b\u6765\u7ed9\u51fa\u4f34\u968f\u51fd\u5b50\u7684\u5b9a\u4e49\u548c\u8bba\u8ff0\u3002\u4e24\u4e2a\u8303\u7574\u4e4b\u95f4\u7528\u76f8\u5411\u7684\u4e00\u5bf9\u51fd\u5b50\u8fde\u63a5\uff0c\u7ea6\u675f\u4e8c\u8005\u8fde\u63a5\u7684\u6761\u4ef6\u5219\u662f\u4e24\u4e2a\u8303\u7574\u4e2d\u5f62\u6210\u7684\u540c\u6784\u7684\u6001\u5c04\u96c6\u5408\u3002\u8fd9\u610f\u5473\u7740\u4e00\u5bf9\u4f34\u968f\u51fd\u5b50\u53ef\u4ee5\u5efa\u7acb\u8d77\u4e24\u4e2a\u8303\u7574\u4e2d\u6001\u5c04\u96c6\u5728\u540c\u6784\u610f\u4e49\u4e0b\u7684\u76f8\u7b49\uff0c\u4f7f\u5f97\u4e24\u4e2a\u8303\u7574\u4e2d\u7684\u884c\u4e3a\u4e92\u76f8\u5f71\u54cd\u5bf9\u65b9\u3002\u8fd9\u79cd\u6784\u9020\u662f\u5bf9\u53ef\u9006\u51fd\u6570\u7684\u5de8\u5927\u62bd\u8c61\u3002<\/span><\/p>\n


<\/span><\/p>\n

\u63a5\u4e0b\u6765\u8bb2\u89e3\u4e86currying\u65b9\u6cd5\uff0c\u5728\u591a\u9636\u51fd\u6570\u548c\u591a\u5143\u51fd\u6570\u4e4b\u95f4\u76f8\u4e92\u8f6c\u6362\uff0c\u5b83\u53cd\u5e94\u4e86\u96c6\u5408\u8303\u7574\u4e2dCartes\u96c6\u548c\u6001\u5c04\u96c6\u6307\u6570\u5bf9\u8c61\u7684\u8f6c\u6362\u3002\u5c06\u5176\u81f3\u4e8e\u4f34\u968f\u51fd\u5b50\u7684\u6846\u67b6\u4e0b\uff0c\u5728\u7ebf\u6027\u7a7a\u95f4\u8303\u7574\u4e2d\u53ef\u4ee5\u5f97\u5230Hom-Tensor\u4f34\u968f\u5173\u7cfb\uff0c\u4e5f\u662f\u540c\u8c03\u4ee3\u6570\u4e2d\u6700\u91cd\u8981\u7684\u4f34\u968f\u5173\u7cfb\u4e4b\u4e00\u3002<\/span><\/p>\n


<\/span><\/p>\n


<\/span><\/p>\n

\n
\n
\n
\n
\n

<\/section>\n

<\/section>\n
\n
<\/svg><\/section>\n<\/section>\n<\/section>\n
\n

\u8bfe\u7a0b\u5927\u7eb2<\/strong><\/strong><\/p>\n<\/section>\n

\n

<\/section>\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n


<\/p>\n