{"id":25946,"date":"2025-05-21T10:01:49","date_gmt":"2025-05-21T02:01:49","guid":{"rendered":"https:\/\/aif.amtbbs.org\/?p=25946"},"modified":"2025-05-21T10:01:49","modified_gmt":"2025-05-21T02:01:49","slug":"%e9%99%b6%e5%93%b2%e8%bd%a9%e5%96%82%e9%a5%ad%e7%ba%a7ai%e6%95%99%e7%a8%8b%e6%9d%a5%e4%ba%86%ef%bc%81%e5%8f%aa%e7%94%a8github-copilot%e8%af%81%e6%98%8e%e5%87%bd%e6%95%b0%e6%9e%81","status":"publish","type":"post","link":"https:\/\/aif.amtbbs.org\/index.php\/2025\/05\/21\/25946\/","title":{"rendered":"\u9676\u54f2\u8f69\u201c\u5582\u996d\u7ea7\u201dAI\u6559\u7a0b\u6765\u4e86\uff01\u53ea\u7528GitHub Copilot\u8bc1\u660e\u51fd\u6570\u6781\u9650\u95ee\u9898"},"content":{"rendered":"<div><img data-dominant-color=\"828ca0\" data-has-transparency=\"false\" style=\"--dominant-color: #828ca0;\" loading=\"lazy\" decoding=\"async\" class=\"not-transparent alignnone size-full wp-image-25948\" src=\"https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2025\/05\/560b63c900d04143708428dacac351ca399fa6-300x167-1.jpg\" width=\"300\" height=\"167\" alt=\"\" srcset=\"https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2025\/05\/560b63c900d04143708428dacac351ca399fa6-300x167-1.jpg 300w, https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2025\/05\/560b63c900d04143708428dacac351ca399fa6-300x167-1-150x84.jpg 150w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/div>\n<div><\/div>\n<div class=\"article-desc\">\u636e\u9676\u54f2\u8f69\u4ecb\u7ecd\uff0c\u4ed6\u6b64\u524d\u4e3b\u8981\u5c06GitHub Copilot\u7528\u4e8e\u4e00\u4e9b\u201c\u82b1\u91cc\u80e1\u54e8\u201d\u7684\u4ee3\u7801\u8865\u5168\uff0c\u4f46\u5b9e\u9645\u60c5\u51b5\u662f\uff0c\u5982\u679c\u60f3\u8ba9\u5b83\u6765\u8bc1\u660e\u6570\u5b66\u5b9a\u7406\uff0c\u5f80\u5f80\u9700\u8981\u4eba\u7c7b\u7684\u201c\u6b63\u786e\u6307\u6325\u201d\u3002<\/div>\n<div id=\"postspictures\" class=\"article-content\">\n<div id=\"container\" class=\"container am-engine\" data-v-1d7a5742=\"\" data-element=\"root\">\n<p>\u89c6\u9891\u65b0\u4eba\u535a\u4e3b\u9676\u54f2\u8f69\u53c8\u66f4\u65b0\u4e86\uff01\u8fd9\u6b21\u662f\u201c\u5582\u996d\u7ea7\u201dAI\u6559\u7a0b\u2014\u2014<\/p>\n<p class=\"js_darkmode__2\">\u624b\u628a\u624b\u6f14\u793a<strong>\u5982\u4f55\u53ea\u7528GitHub Copilot\u8bc1\u660e\u51fd\u6570\u6781\u9650\u95ee\u9898<\/strong>\u3002<\/p>\n<p class=\"js_darkmode__3\">\uff08\u8fd9\u66f4\u65b0\u9891\u7387\u786e\u5b9eo(\uffe3\u25bd\uffe3)\uff44\uff09<\/p>\n<p class=\"js_darkmode__4\"><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s8.51cto.com\/oss\/202505\/21\/55181c457ddb48dea24323d4e417b8094c9034.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><\/p>\n<p class=\"js_darkmode__5\">\u636e\u9676\u54f2\u8f69\u4ecb\u7ecd\uff0c\u4ed6\u6b64\u524d\u4e3b\u8981\u5c06GitHub Copilot\u7528\u4e8e\u4e00\u4e9b\u201c\u82b1\u91cc\u80e1\u54e8\u201d\u7684\u4ee3\u7801\u8865\u5168\uff0c\u4f46\u5b9e\u9645\u60c5\u51b5\u662f\uff0c\u5982\u679c\u60f3\u8ba9\u5b83\u6765\u8bc1\u660e\u6570\u5b66\u5b9a\u7406\uff0c\u5f80\u5f80\u9700\u8981\u4eba\u7c7b\u7684\u201c\u6b63\u786e\u6307\u6325\u201d\u3002<\/p>\n<p class=\"js_darkmode__6\">\u56e0\u6b64\uff0c\u8fd9\u4e00\u6b21\u7684\u6559\u5b66\u6838\u5fc3\u5954\u7740\u4e00\u4e2a\u76ee\u6807\uff1a<\/p>\n<blockquote>\n<p class=\"js_darkmode__8\">\u8ba9\u5927\u5bb6\u5b66\u4f1a\u5982\u4f55\u6b63\u786e\u5f15\u5bfcGitHub Copilot\u3002<\/p>\n<\/blockquote>\n<p class=\"js_darkmode__9\">\u4ed6\u4ece\u5b9a\u4e49\u51fd\u6570\u6781\u9650\u95ee\u9898\u51fa\u53d1\uff0c\u4f9d\u6b21\u6f14\u793a\u4e86\u6c42\u548c\u3001\u6c42\u5dee\u548c\u6c42\u79ef\u5b9a\u7406\u7684\u8bc1\u660e\u8fc7\u7a0b\uff0c\u4ee5\u53ca\u4ed6\u5728\u8fc7\u7a0b\u4e2d\u9047\u5230\u7684\u95ee\u9898\u548c\u89e3\u51b3\u65b9\u6cd5\uff0c\u5168\u7a0b\u4e3b\u6253\u4e00\u4e2a\u7ec6\u81f4\u3002<\/p>\n<p class=\"js_darkmode__10\">\u4e0b\u9762\u5177\u4f53\u6765\u770b\u3002<\/p>\n<h2>\u4e00\u62db\u9c9c\uff1aCopilot\u4ee3\u7801\u8865\u5168+\u4eba\u5de5\u624b\u52a8\u8c03\u6574<\/h2>\n<p class=\"js_darkmode__12\">\u5148\u8bf4\u7ed3\u8bba\uff0c\u548c\u9676\u54f2\u8f69\u4e00\u76f4\u4ee5\u6765\u7684\u89c2\u5ff5\u4e00\u81f4\uff0cGitHub Copilot\u7b49AI\u76ee\u524d\u5728\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\u4e2d\u4ecd\u4e3b\u8981\u7528\u4e8e\u201c\u6253\u8f85\u201d\u3002<\/p>\n<blockquote>\n<p class=\"js_darkmode__14\">Copilot\u80fd\u5feb\u901f\u751f\u6210\u4ee3\u7801\u6846\u67b6\u548c\u5e38\u89c1\u6a21\u5f0f\uff0c\u5bf9\u521d\u5b66\u8005\u5c24\u5176\u6709\u7528\uff0c\u8fd8\u80fd\u63d0\u793a\u4f7f\u7528\u5df2\u6709\u5e93\u51fd\u6570\u3002<\/p>\n<p class=\"js_darkmode__15\">\u4f46\u9762\u5bf9\u590d\u6742\u7684\u6570\u5b66\u7ec6\u8282\u3001\u7279\u6b8a\u60c5\u51b5\u548c\u9700\u8981\u521b\u9020\u6027\u89e3\u51b3\u65b9\u6848\u7684\u95ee\u9898\u65f6\uff0cCopilot\u7684\u53ef\u9760\u6027\u4e0b\u964d\uff0c\u9700\u8981\u5927\u91cf\u4eba\u5de5\u5e72\u9884\u548c\u8c03\u6574\u3002<\/p>\n<\/blockquote>\n<p class=\"js_darkmode__16\">\u5728\u4ed6\u770b\u6765\uff0c\u590d\u6742\u95ee\u9898\u53ef\u80fd\u9700\u8981\u7ed3\u5408\u7eb8\u7b14\u63a8\u5bfc\uff0c\u786e\u4fdd\u601d\u8def\u6b63\u786e\u540e\u518d\u8fdb\u884c\u5f62\u5f0f\u5316\u9a8c\u8bc1\u3002<\/p>\n<p class=\"js_darkmode__17\"><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s4.51cto.com\/oss\/202505\/21\/c1e86cb2263cce1791b812465a5c4355e04346.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><\/p>\n<p class=\"js_darkmode__18\">\u4ee5\u4e0b\u4e3a\u5f97\u51fa\u7ed3\u8bba\u7684\u8be6\u7ec6\u8fc7\u7a0b\u3002<\/p>\n<p class=\"js_darkmode__19\">\u9996\u5148\uff0c\u4ed6\u5b9a\u4e49\u4e86\u51fd\u6570\u6781\u9650\u95ee\u9898\uff0c\u5373\u201c\u8bbef\u662f\u4ece\u5b9e\u6570\u5230\u5b9e\u6570\u7684\u51fd\u6570\uff0c\u5f53x\u8d8b\u8fd1\u4e8ex_\ud835\udf03\u65f6f(x)\u6536\u655b\u4e8eL\u201d\u3002<\/p>\n<p class=\"js_darkmode__20\">Copilot\u5e2e\u5fd9\u81ea\u52a8\u8865\u5168\u4e86\u8fd9\u4e2a\u6781\u9650\u7684\u03b5-\u03b4\u5b9a\u4e49\uff0c\u4e0d\u8fc7\u7531\u4e8e\u4ed6\u66f4\u559c\u6b22\u7528\u7edd\u5bf9\u503c\u7b26\u53f7\u6765\u8868\u8fbe\u6781\u9650\u7684\u5b9a\u4e49\uff0c\u6240\u4ee5\u81ea\u5df1\u53c8\u7a0d\u5fae\u4fee\u6539\u4e86\u4e00\u4e0b\u3002<\/p>\n<h4>\u6c42\u548c\u5b9a\u7406\u8bc1\u660e<\/h4>\n<p class=\"js_darkmode__22\">\u7136\u540e\u4ed6\u63d0\u51fa\u4e86\u7b2c\u4e00\u4e2a\u60f3\u8981\u8bc1\u660e\u7684\u95ee\u9898\u2014\u2014<strong>\u51fd\u6570\u6781\u9650\u7684\u6c42\u548c\u5b9a\u7406\u8bc1\u660e<\/strong>\u3002<\/p>\n<blockquote>\n<p class=\"js_darkmode__24\">\u5982\u679c\u51fd\u6570f\u5728x_\ud835\udf03\u5904\u6536\u655b\u4e8eL\uff0c\u51fd\u6570g\u5728x_\ud835\udf03\u5904\u6536\u655b\u4e8eM\uff0c\u90a3\u4e48f+g\u5728x_\ud835\udf03\u5904\u6536\u655b\u4e8eL+M\u3002<\/p>\n<\/blockquote>\n<p class=\"js_darkmode__25\">Copilot\u7ed9\u51fa\u4e86\u6b63\u786e\u7684\u547d\u9898\u8868\u8ff0\u3002<\/p>\n<p class=\"js_darkmode__26\"><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s8.51cto.com\/oss\/202505\/21\/883a24e0981d2762e70003729939a6b94cfcd0.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><\/p>\n<p class=\"js_darkmode__27\">\u968f\u540e\u5728\u8bc1\u660e\u8fc7\u7a0b\u4e2d\uff0c\u9676\u54f2\u8f69\u7528\u5230\u4e86\u5927\u91cf<strong>\u201cCopilot\u4ee3\u7801\u8865\u5168+\u4eba\u5de5\u624b\u52a8\u8c03\u6574\u201d<\/strong>\u8fd9\u4e00\u6a21\u5f0f\u3002<\/p>\n<p class=\"js_darkmode__28\">\u6bd4\u5982\u8bc1\u660e\u7684\u8d77\u59cb\u6b65\u9aa4\u662f\u63d0\u53d6f\u548cg\u6536\u655b\u7684\u03b5-\u03b4\u6761\u4ef6\u3002\u8fd9\u91cc\u9700\u8981\u7279\u522b\u6ce8\u610f\u03b4\u7684\u9009\u53d6\uff0c\u5373\u53d6\u03b4\u2081\u548c\u03b4\u2082\u7684\u6700\u5c0f\u503c\uff0c\u4ee5\u4fdd\u8bc1\u4e24\u4e2a\u51fd\u6570\u7684\u6536\u655b\u6027\u540c\u65f6\u6210\u7acb\u3002<\/p>\n<p class=\"js_darkmode__29\">\u4f46Copilot\u6700\u521d\u7ed9\u51fa\u7684\u8bc1\u660e\u65b9\u5f0f\u6709\u4e9b\u95ee\u9898\uff0c\u7279\u522b\u662f\u5728\u5904\u7406\u03b4\u7684\u6b63\u6027\u9a8c\u8bc1\uff08\u67d0\u4e2a\u6570\u5b66\u547d\u9898\u6216\u7ed3\u8bba\u662f\u5426\u4e3a\u6b63)\u65f6\u4e0d\u591f\u4e25\u8c28\u3002<\/p>\n<p class=\"js_darkmode__30\">\u540c\u65f6\u5728\u8bc1\u660e\u4e0d\u7b49\u5f0f\u90e8\u5206\uff0c\u9676\u4f7f\u7528\u4e86\u8ba1\u7b97\u5757\uff08calc block\uff09\u6765\u6784\u5efa\u4e0d\u7b49\u5f0f\u94fe\u3002\u867d\u7136Copilot\u81ea\u52a8\u751f\u6210\u4e86\u57fa\u672c\u7ed3\u6784\uff0c\u4f46\u5728\u7edd\u5bf9\u503c\u7b26\u53f7\u5904\u7406\u548c\u6700\u7ec8\u6b65\u9aa4\u4e0a\u51fa\u73b0\u4e86\u504f\u5dee\u3002<\/p>\n<p class=\"js_darkmode__31\">\u8fd9\u91cc\u9700\u8981\u624b\u52a8\u4fee\u6b63\u51e0\u4e2a\u5173\u952e\u70b9\uff1a<\/p>\n<ul data-id=\"u738a58b-lMZhZMqT\">\n<li data-id=\"l34939b2-Qm6lZIdc\">\u79fb\u9664\u4e86\u591a\u4f59\u7684\u7edd\u5bf9\u503c\u7b26\u53f7<\/li>\n<li data-id=\"l34939b2-1NbLMNxY\">\u4fee\u6b63\u4e86\u4e09\u89d2\u4e0d\u7b49\u5f0f\u7684\u5e94\u7528<\/li>\n<li data-id=\"l34939b2-6fEHp33n\">\u8c03\u6574\u4e86\u6700\u7ec8\u8868\u8fbe\u5f0f<\/li>\n<\/ul>\n<p class=\"js_darkmode__33\">\u53e6\u5916\uff0c\u4e3a\u4e86\u5e94\u5bf9\u6570\u5b66\u5206\u6790\u4e2d\u5408\u5e76\u4f30\u8ba1\u503c\u65f6\u5e38\u9047\u5230\u7684\u03b5\u635f\u5931\u95ee\u9898\uff0c\u9676\u4e5f\u5c1d\u8bd5\u8ba9Copilot\u91c7\u7528\u6807\u51c6\u89e3\u51b3\u65b9\u6cd5\uff08\u4ece\u4e00\u5f00\u59cb\u5c31\u4f7f\u7528\u03b5\/2\u6765\u8fdb\u884c\u8bba\u8bc1\uff09\uff0c\u7ed3\u679c\u53d1\u73b0\u5176\u751f\u6210\u7684\u4ee3\u7801\u4e2d\u03b5\u4ecd\u7136\u662f\u539f\u6765\u7684\u4e24\u500d\uff0c\u56e0\u6b64\u9700\u8981\u624b\u52a8\u8c03\u6574\u53c2\u6570\u3002<\/p>\n<p class=\"js_darkmode__34\"><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s8.51cto.com\/oss\/202505\/21\/95a6efc141d3ce8b1b6369e8109401c4a57fcb.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><\/p>\n<p class=\"js_darkmode__35\">\u6574\u4f53\u800c\u8a00\uff0c\u4ed6\u4e0d\u65ad\u5728Copilot\u7684\u81ea\u52a8\u8865\u5168\u548c\u624b\u52a8\u8c03\u6574\u4e4b\u95f4\u5207\u6362\u3002\u8fd9\u8bf4\u660eCopilot\u867d\u7136\u80fd\u5feb\u901f\u751f\u6210\u4ee3\u7801\u6846\u67b6\uff0c\u4f46\u5173\u952e\u7684\u6570\u5b66\u7ec6\u8282\u548c\u4e25\u8c28\u6027\u4ecd\u9700\u8981\u4eba\u5de5\u628a\u63a7\u3002<\/p>\n<p class=\"js_darkmode__36\">\u4e0d\u8fc7\u503c\u5f97\u4e00\u63d0\u7684\u662f\uff0cCopilot\u5728\u540e\u671f\u63d0\u793a\u53ef\u4ee5\u4f7f\u7528Lean\u5185\u7f6e\u7684add_sub_add_comm\u5f15\u7406\uff0c\u4ee5\u7b80\u5316\u91cd\u7ec4\u6b65\u9aa4\u3002<\/p>\n<p class=\"js_darkmode__37\">\u8fd9\u610f\u5473\u7740\uff0cCopilot\u4e0d\u4ec5\u80fd\u8865\u5168\u4ee3\u7801\uff0c\u8fd8\u80fd\u63d0\u9192\u5f00\u53d1\u8005\u5229\u7528\u73b0\u6709\u7684\u5e93\u51fd\u6570\u3002<\/p>\n<h4>\u6c42\u5dee\u5b9a\u7406\u8bc1\u660e<\/h4>\n<p class=\"js_darkmode__39\">\u5728\u8bc1\u660e\u4e86\u548c\u7684\u6781\u9650\u540e\uff0c\u9676\u5c1d\u8bd5\u7528\u7c7b\u4f3c\u65b9\u6cd5\u8bc1\u660e\u5dee\u7684\u6781\u9650\u3002<\/p>\n<p class=\"js_darkmode__40\">\u548c\u524d\u9762\u4e00\u6837\uff0cCopilot\u80fd\u591f\u751f\u6210\u57fa\u672c\u6b63\u786e\u7684\u547d\u9898\u8868\u8ff0\uff0c\u5e76\u81ea\u52a8\u6cbf\u7528\u4e86\u4e4b\u524d\u7684\u8bc1\u660e\u6846\u67b6\u3002<\/p>\n<p class=\"js_darkmode__41\">\u4e0d\u8fc7\u5728\u5173\u952e\u7684\u4e00\u884c\u8fd8\u662f\u51fa\u73b0\u4e86\u95ee\u9898\uff1a\u5b83\u9519\u8bef\u5730\u4f7f\u7528\u4e86\u4e00\u4e2a\u4e0d\u5b58\u5728\u7684sub_sub_anc\u65b9\u6cd5\u3002<\/p>\n<p class=\"js_darkmode__42\">\u867d\u7136\u9676\u5c1d\u8bd5\u901a\u8fc7\u63d0\u793a\u8ba9\u5b83\u4fee\u6b63\uff0c\u4f46Copilot\u4f3c\u4e4e\u65e0\u6cd5\u8bb0\u4f4f\u4e0a\u4e0b\u6587\uff0c\u7ed9\u51fa\u7684\u89e3\u51b3\u65b9\u6848\u4e5f\u4e0d\u7406\u60f3\u3002<\/p>\n<p class=\"js_darkmode__43\"><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s6.51cto.com\/oss\/202505\/21\/57ea92c6952b4e62c801100bb58e968fde9851.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><\/p>\n<p class=\"js_darkmode__44\">\u540c\u65f6\u5728\u5904\u7406\u4ee3\u6570\u8868\u8fbe\u5f0f\u65f6\uff0c\u9676\u539f\u672c\u5e0c\u671b\u4f7f\u7528congruence\u7b56\u7565\u6765\u5339\u914d\u7b49\u5f0f\u4e24\u8fb9\uff0c\u4f46\u8fd9\u4e2a\u7b56\u7565\u8fc7\u4e8e\u6fc0\u8fdb\uff0c\u628a\u95ee\u9898\u8fc7\u4e8e\u7b80\u5316\u4e86\u3002<\/p>\n<p class=\"js_darkmode__45\">Copilot\u5728\u8fd9\u4e2a\u73af\u8282\u8868\u73b0\u5f97\u4e0d\u592a\u7a33\u5b9a\uff0c<strong>\u6709\u65f6\u4f1a\u865a\u6784\u4e0d\u5b58\u5728\u7684\u65b9\u6cd5<\/strong>\u3002<\/p>\n<p class=\"js_darkmode__46\">\u6700\u540e\u9676\u4e0d\u5f97\u4e0d\u624b\u52a8\u5b8c\u6210\u8fd9\u4e2a\u4ee3\u6570\u6052\u7b49\u5f0f\u7684\u8bc1\u660e\uff0c\u56e0\u4e3a\u867d\u7136\u8fd9\u4e2a\u6052\u7b49\u5f0f\u5728\u6240\u6709\u4ea4\u6362\u7fa4\u4e2d\u90fd\u6210\u7acb\uff0c\u4f46Lean\u7684\u6570\u5b66\u5e93\u4e2d\u5e76\u6ca1\u6709\u73b0\u6210\u7684\u76f4\u63a5\u89e3\u51b3\u65b9\u6848\u3002<\/p>\n<p class=\"js_darkmode__47\"><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s8.51cto.com\/oss\/202505\/21\/022084a7165cc524b0981157b73fe092de3e42.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><\/p>\n<h4>\u6c42\u79ef\u5b9a\u7406\u8bc1\u660e<\/h4>\n<p class=\"js_darkmode__49\">\u6700\u540e\uff0c\u5bf9\u4e8e\u51fd\u6570\u4e58\u79ef\u6781\u9650\u5b9a\u7406\u8bc1\u660e\uff0c\u9676\u7ed9Copilot\u7684\u6253\u5206\u4e3a<strong>B+<\/strong>\u3002<\/p>\n<p class=\"js_darkmode__50\">\u603b\u4f53\u800c\u8a00\uff0c\u5b83\u5b8c\u6210\u4e86\u5927\u90e8\u5206\u5de5\u4f5c\uff0c\u4f46\u5728\u5904\u7406\u03b5\u7684\u5206\u914d\u548c\u7edd\u5bf9\u503c\u4e0d\u7b49\u5f0f\u65f6\u51fa\u73b0\u4e86\u6df7\u4e71\u3002<\/p>\n<p class=\"js_darkmode__51\">\u9996\u5148\uff0c\u5bf9\u4e8e\u4e58\u79ef\u6781\u9650\u7684\u8bc1\u660e\uff0cCopilot\u63d0\u51fa\u7684\u7b56\u7565\u662f\uff1a<\/p>\n<ul data-id=\"u738a58b-2RA7WpBc\">\n<li data-id=\"l34939b2-q8aGp6sE\">\u5c06f\u7684\u8fd1\u4f3c\u8bef\u5dee\u8bbe\u4e3a\u03b5\/(2|M|+1)<\/li>\n<li data-id=\"l34939b2-5MPZhOGm\">\u5c06g\u7684\u8fd1\u4f3c\u8bef\u5dee\u8bbe\u4e3a\u03b5\/(2|L|+1)<\/li>\n<\/ul>\n<p class=\"js_darkmode__53\"><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s7.51cto.com\/oss\/202505\/21\/5361d2700462cdf7de7534a4eaff1f7f17592c.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><\/p>\n<p class=\"js_darkmode__54\">\u9676\u54f2\u8f69\u8868\u793a\uff0c\u8fd9\u4e2a\u601d\u8def\u57fa\u672c\u6b63\u786e\uff0c\u4f46\u5728\u5177\u4f53\u5b9e\u73b0\u65f6\u51fa\u73b0\u4e86\u51e0\u4e2a\u95ee\u9898\uff1a<\/p>\n<p class=\"js_darkmode__55\">\u5176\u4e00\uff0c\u5728\u9a8c\u8bc1\u6b63\u6027\u6761\u4ef6\u65f6\uff0cCopilot\u8bd5\u56fe\u4f7f\u7528\u591a\u4e2a\u7279\u5b9a\u5f15\u7406\uff0c\u4f46\u5b9e\u9645\u4e0a\u53ef\u4ee5\u4f7f\u7528\u66f4\u901a\u7528\u7684\u6b63\u6027\u9a8c\u8bc1\u65b9\u6cd5\u3002\uff08\u9676\u624b\u52a8\u8c03\u6574\u4e86\u8fd9\u4e2a\u90e8\u5206\uff09<\/p>\n<p class=\"js_darkmode__56\">\u5176\u4e8c\uff0c\u5728\u5904\u7406\u7edd\u5bf9\u503c\u4e0d\u7b49\u5f0f\u65f6\uff0cCopilot\u9519\u8bef\u5730\u4f7f\u7528\u4e86add_lt_add\u65b9\u6cd5\uff0c\u8fd9\u4e2a\u65b9\u6cd5\u8981\u6c42\u4e24\u8fb9\u90fd\u662f\u4e25\u683c\u4e0d\u7b49\u5f0f\uff0c\u4f46\u5b9e\u9645\u60c5\u51b5\u4e2d\u6709\u4e00\u4e2a\u7b49\u5f0f\u3002\u9676\u5c1d\u8bd5\u8ba9Copilot\u4fee\u6b63\u8fd9\u4e2a\u95ee\u9898\uff0c\u4f46\u5b83\u7ed9\u51fa\u7684\u89e3\u51b3\u65b9\u6848\u5e76\u4e0d\u7406\u60f3\u3002<\/p>\n<p class=\"js_darkmode__57\">\u4e0e\u6b64\u540c\u65f6\uff0c\u5728\u6700\u7ec8\u8bc1\u660e\u7684\u4ee5\u4e0b\u51e0\u4e2a\u5173\u952e\u6b65\u9aa4\u4e2d\uff0c\u867d\u7136Copilot\u5728\u6574\u4f53\u6846\u67b6\u4e0a\u63d0\u4f9b\u4e86\u5f88\u5927\u5e2e\u52a9\uff0c\u4f46\u5728\u5904\u7406\u8fd9\u4e9b\u7cbe\u7ec6\u7684\u6570\u5b66\u7ec6\u8282\u65f6\uff0c\u8fd8\u662f\u9700\u8981\u4eba\u5de5\u5e72\u9884\u6765\u786e\u4fdd\u51c6\u786e\u6027\u3002<\/p>\n<ul data-id=\"u738a58b-UFqf8dKc\">\n<li data-id=\"l34939b2-f1WP2gMD\">\u4f7f\u7528\u4e09\u89d2\u4e0d\u7b49\u5f0f\u5206\u89e3\u8868\u8fbe\u5f0f<\/li>\n<li data-id=\"l34939b2-qApdcXOj\">\u5206\u522b\u63a7\u5236f(x)-L\u548cg(x)-M\u7684\u9879<\/li>\n<li data-id=\"l34939b2-0weHQTN7\">\u5904\u7406\u4ea4\u53c9\u9879L(g(x)-M)\u548cM(f(x)-L)<\/li>\n<\/ul>\n<p class=\"js_darkmode__59\">\u9676\u54f2\u8f69\u5f3a\u8c03\uff0c<strong>\u5c24\u5176\u5728\u5904\u7406\u4e0d\u7b49\u5f0f\u548c\u7edd\u5bf9\u503c\u8fd0\u7b97\u65f6\uff0c\u9700\u8981\u7279\u522b\u6ce8\u610f\u6bcf\u4e2a\u6b65\u9aa4\u7684\u9002\u7528\u6761\u4ef6<\/strong>\u3002<\/p>\n<p class=\"js_darkmode__60\">\u6bd4\u5982\u5728\u6700\u540e\u9636\u6bb5\u9047\u5230\u7684\u4e00\u4e2abug\uff1aCopilot\u751f\u6210\u7684\u4ee3\u7801\u5047\u8bbeM\u662f\u6b63\u6570\uff0c\u800c\u5b9e\u9645\u4e0a\u5e76\u6ca1\u6709\u8fd9\u4e2a\u524d\u63d0\u6761\u4ef6\u3002<\/p>\n<p class=\"js_darkmode__61\">\u5bf9\u4e8e\u8fd9\u4e2a\u95ee\u9898\uff0c\u9676\u6700\u540e\u4e5f\u82b1\u4e86\u4e00\u756a\u529f\u592b\u624b\u52a8\u8c03\u6574\u3002\u5e76\u4e14\u4ed6\u610f\u8bc6\u5230\uff0c\u5f53\u95ee\u9898\u590d\u6742\u5ea6\u8fbe\u5230\u4e00\u5b9a\u7a0b\u5ea6\u65f6\uff0cCopilot\u786e\u5b9e\u4f1a\u53d8\u5f97\u4e0d\u592a\u53ef\u9760\u3002<\/p>\n<p class=\"js_darkmode__62\">\u6700\u540e\u4ed6\u5f97\u51fa\u7ed3\u8bba\uff0c\u9762\u4e34\u4e0a\u8ff0\u60c5\u51b5\uff0c\u5207\u6362\u5230\u66f4\u4f20\u7edf\u7684\u4eba\u5de5\u8bc1\u660e\u65b9\u6cd5\u53ef\u80fd\u66f4\u6709\u6548\u3002<\/p>\n<blockquote>\n<p class=\"js_darkmode__64\">\u5982\u679c\u6211\u80fd\u5148\u7528\u7eb8\u7b14\u5199\u4e0b\u5b8c\u6574\u7684\u8bc1\u660e\u601d\u8def\uff0c\u786e\u4fdd\u6240\u6709\u03b5\u53c2\u6570\u90fd\u6b63\u786e\u8bbe\u7f6e\uff0c\u7136\u540e\u518d\u8fdb\u884c\u5f62\u5f0f\u5316\u9a8c\u8bc1\uff0c\u6548\u7387\u4f1a\u66f4\u9ad8\u3002<\/p>\n<\/blockquote>\n<p class=\"js_darkmode__65\">\u5c0f\u7ed3\u4e00\u4e0b\uff0cCopilot\u8fd9\u7c7b\u5de5\u5177\u5728\u8d77\u6b65\u9636\u6bb5\u786e\u5b9e\u5f88\u6709\u5e2e\u52a9\uff0c\u4f46\u5173\u952e\u5728\u4e8e\u8981\u61c2\u5f97\u4f55\u65f6\u4f7f\u7528\u5b83\uff0c\u4f55\u65f6\u9700\u8981\u5207\u6362\u56de\u4f20\u7edf\u65b9\u6cd5\u3002<\/p>\n<p class=\"js_darkmode__66\"><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s2.51cto.com\/oss\/202505\/21\/88f988b08bc6d4138b32377913bef9c3699130.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><\/p>\n<h2>One More Thing<\/h2>\n<p class=\"js_darkmode__68\">\u4ee5\u4e0a\u6559\u5b66\u6536\u83b7\u4e00\u7247\u597d\u8bc4\u7684\u540c\u65f6\uff0c\u7f51\u53cb\u7684\u5173\u6ce8\u70b9\u4e5f\u5f00\u59cb\u9010\u6e10\u8dd1\u504f\u2014\u2014<\/p>\n<p class=\"js_darkmode__69\">\u4f17\u4eba\u5728\u7ebf\u6c42\u66f4\u6362\u5f55\u97f3\u8bbe\u5907\u3002<\/p>\n<p class=\"js_darkmode__70\"><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s7.51cto.com\/oss\/202505\/21\/d22e421680173c079998196b9e532f63395649.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s3.51cto.com\/oss\/202505\/21\/59191b93454106503ad997a4ad0973164c0215.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><\/p>\n<p class=\"js_darkmode__71\">\u770b\u6765\u6cb9\u7ba1\u65b0\u4eba\u535a\u4e3b\u7684\u4e1a\u52a1\u8fd8\u9700\u8981\u7cbe\u8fdb\uff08doge\uff09\u3002<\/p>\n<p>\u6587\u7ae0\u6765\u81ea\uff1a51CTO<\/p>\n<\/div>\n<\/div>\n<div class=\"pvc_clear\"><\/div>\n<p id=\"pvc_stats_25946\" class=\"pvc_stats total_only  \" data-element-id=\"25946\" style=\"\"><i class=\"pvc-stats-icon medium\" aria-hidden=\"true\"><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" version=\"1.0\" viewBox=\"0 0 502 315\" preserveAspectRatio=\"xMidYMid meet\"><g transform=\"translate(0,332) scale(0.1,-0.1)\" fill=\"\" stroke=\"none\"><path d=\"M2394 3279 l-29 -30 -3 -207 c-2 -182 0 -211 15 -242 39 -76 157 -76 196 0 15 31 17 60 15 243 l-3 209 -33 29 c-26 23 -41 29 -80 29 -41 0 -53 -5 -78 -31z\"\/><path d=\"M3085 3251 c-45 -19 -58 -50 -96 -229 -47 -217 -49 -260 -13 -295 52 -53 146 -42 177 20 16 31 87 366 87 410 0 70 -86 122 -155 94z\"\/><path d=\"M1751 3234 c-13 -9 -29 -31 -37 -50 -12 -29 -10 -49 21 -204 19 -94 39 -189 45 -210 14 -50 54 -80 110 -80 34 0 48 6 76 34 21 21 34 44 34 59 0 14 -18 113 -40 219 -37 178 -43 195 -70 221 -36 32 -101 37 -139 11z\"\/><path d=\"M1163 3073 c-36 -7 -73 -59 -73 -102 0 -56 133 -378 171 -413 34 -32 83 -37 129 -13 70 36 67 87 -16 290 -86 209 -89 214 -129 231 -35 14 -42 15 -82 7z\"\/><path d=\"M3689 3066 c-15 -9 -33 -30 -42 -48 -48 -103 -147 -355 -147 -375 0 -98 131 -148 192 -74 13 15 57 108 97 206 80 196 84 226 37 273 -30 30 -99 39 -137 18z\"\/><path d=\"M583 2784 c-38 -19 -67 -74 -58 -113 9 -42 211 -354 242 -373 16 -10 45 -18 66 -18 51 0 107 52 107 100 0 39 -1 41 -124 234 -80 126 -108 162 -133 173 -41 17 -61 16 -100 -3z\"\/><path d=\"M4250 2784 c-14 -9 -74 -91 -133 -183 -95 -150 -107 -173 -107 -213 0 -55 33 -94 87 -104 67 -13 90 8 211 198 130 202 137 225 78 284 -27 27 -42 34 -72 34 -22 0 -50 -8 -64 -16z\"\/><path d=\"M2275 2693 c-553 -48 -1095 -270 -1585 -649 -135 -104 -459 -423 -483 -476 -23 -49 -22 -139 2 -186 73 -142 361 -457 571 -626 285 -228 642 -407 990 -497 242 -63 336 -73 660 -74 310 0 370 5 595 52 535 111 1045 392 1455 803 122 121 250 273 275 326 19 41 19 137 0 174 -41 79 -309 363 -465 492 -447 370 -946 591 -1479 653 -113 14 -422 18 -536 8z m395 -428 c171 -34 330 -124 456 -258 112 -119 167 -219 211 -378 27 -96 24 -300 -5 -401 -72 -255 -236 -447 -474 -557 -132 -62 -201 -76 -368 -76 -167 0 -236 14 -368 76 -213 98 -373 271 -451 485 -162 444 86 934 547 1084 153 49 292 57 452 25z m909 -232 c222 -123 408 -262 593 -441 76 -74 138 -139 138 -144 0 -16 -233 -242 -330 -319 -155 -123 -309 -223 -461 -299 l-81 -41 32 46 c18 26 49 83 70 128 143 306 141 649 -6 957 -25 52 -61 116 -79 142 l-34 47 45 -20 c26 -10 76 -36 113 -56z m-2057 25 c-40 -58 -105 -190 -130 -263 -110 -324 -59 -707 132 -981 25 -35 42 -64 37 -64 -19 0 -241 119 -326 174 -188 122 -406 314 -532 468 l-58 71 108 103 c185 178 428 349 672 473 66 33 121 60 123 61 2 0 -10 -19 -26 -42z\"\/><path d=\"M2375 1950 c-198 -44 -350 -190 -395 -379 -18 -76 -8 -221 19 -290 114 -284 457 -406 731 -260 98 52 188 154 231 260 27 69 37 214 19 290 -38 163 -166 304 -326 360 -67 23 -215 33 -279 19z\"\/><\/g><\/svg><\/i> <img loading=\"lazy\" decoding=\"async\" width=\"16\" height=\"16\" alt=\"Loading\" src=\"https:\/\/aif.amtbbs.org\/wp-content\/plugins\/page-views-count\/ajax-loader-2x.gif\" border=0 \/><\/p>\n<div class=\"pvc_clear\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>\u636e\u9676\u54f2\u8f69\u4ecb\u7ecd\uff0c\u4ed6\u6b64\u524d\u4e3b\u8981\u5c06GitHub Copilot\u7528\u4e8e\u4e00\u4e9b\u201c\u82b1\u91cc\u80e1\u54e8\u201d\u7684\u4ee3\u7801\u8865\u5168\uff0c\u4f46\u5b9e\u9645\u60c5\u51b5\u662f\uff0c\u5982\u679c\u60f3\u8ba9\u5b83 [&hellip;]<\/p>\n<div class=\"pvc_clear\"><\/div>\n<p id=\"pvc_stats_25946\" class=\"pvc_stats total_only  \" data-element-id=\"25946\" style=\"\"><i class=\"pvc-stats-icon medium\" aria-hidden=\"true\"><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" version=\"1.0\" viewBox=\"0 0 502 315\" preserveAspectRatio=\"xMidYMid meet\"><g transform=\"translate(0,332) scale(0.1,-0.1)\" fill=\"\" stroke=\"none\"><path d=\"M2394 3279 l-29 -30 -3 -207 c-2 -182 0 -211 15 -242 39 -76 157 -76 196 0 15 31 17 60 15 243 l-3 209 -33 29 c-26 23 -41 29 -80 29 -41 0 -53 -5 -78 -31z\"\/><path d=\"M3085 3251 c-45 -19 -58 -50 -96 -229 -47 -217 -49 -260 -13 -295 52 -53 146 -42 177 20 16 31 87 366 87 410 0 70 -86 122 -155 94z\"\/><path d=\"M1751 3234 c-13 -9 -29 -31 -37 -50 -12 -29 -10 -49 21 -204 19 -94 39 -189 45 -210 14 -50 54 -80 110 -80 34 0 48 6 76 34 21 21 34 44 34 59 0 14 -18 113 -40 219 -37 178 -43 195 -70 221 -36 32 -101 37 -139 11z\"\/><path d=\"M1163 3073 c-36 -7 -73 -59 -73 -102 0 -56 133 -378 171 -413 34 -32 83 -37 129 -13 70 36 67 87 -16 290 -86 209 -89 214 -129 231 -35 14 -42 15 -82 7z\"\/><path d=\"M3689 3066 c-15 -9 -33 -30 -42 -48 -48 -103 -147 -355 -147 -375 0 -98 131 -148 192 -74 13 15 57 108 97 206 80 196 84 226 37 273 -30 30 -99 39 -137 18z\"\/><path d=\"M583 2784 c-38 -19 -67 -74 -58 -113 9 -42 211 -354 242 -373 16 -10 45 -18 66 -18 51 0 107 52 107 100 0 39 -1 41 -124 234 -80 126 -108 162 -133 173 -41 17 -61 16 -100 -3z\"\/><path d=\"M4250 2784 c-14 -9 -74 -91 -133 -183 -95 -150 -107 -173 -107 -213 0 -55 33 -94 87 -104 67 -13 90 8 211 198 130 202 137 225 78 284 -27 27 -42 34 -72 34 -22 0 -50 -8 -64 -16z\"\/><path d=\"M2275 2693 c-553 -48 -1095 -270 -1585 -649 -135 -104 -459 -423 -483 -476 -23 -49 -22 -139 2 -186 73 -142 361 -457 571 -626 285 -228 642 -407 990 -497 242 -63 336 -73 660 -74 310 0 370 5 595 52 535 111 1045 392 1455 803 122 121 250 273 275 326 19 41 19 137 0 174 -41 79 -309 363 -465 492 -447 370 -946 591 -1479 653 -113 14 -422 18 -536 8z m395 -428 c171 -34 330 -124 456 -258 112 -119 167 -219 211 -378 27 -96 24 -300 -5 -401 -72 -255 -236 -447 -474 -557 -132 -62 -201 -76 -368 -76 -167 0 -236 14 -368 76 -213 98 -373 271 -451 485 -162 444 86 934 547 1084 153 49 292 57 452 25z m909 -232 c222 -123 408 -262 593 -441 76 -74 138 -139 138 -144 0 -16 -233 -242 -330 -319 -155 -123 -309 -223 -461 -299 l-81 -41 32 46 c18 26 49 83 70 128 143 306 141 649 -6 957 -25 52 -61 116 -79 142 l-34 47 45 -20 c26 -10 76 -36 113 -56z m-2057 25 c-40 -58 -105 -190 -130 -263 -110 -324 -59 -707 132 -981 25 -35 42 -64 37 -64 -19 0 -241 119 -326 174 -188 122 -406 314 -532 468 l-58 71 108 103 c185 178 428 349 672 473 66 33 121 60 123 61 2 0 -10 -19 -26 -42z\"\/><path d=\"M2375 1950 c-198 -44 -350 -190 -395 -379 -18 -76 -8 -221 19 -290 114 -284 457 -406 731 -260 98 52 188 154 231 260 27 69 37 214 19 290 -38 163 -166 304 -326 360 -67 23 -215 33 -279 19z\"\/><\/g><\/svg><\/i> <img loading=\"lazy\" decoding=\"async\" width=\"16\" height=\"16\" alt=\"Loading\" src=\"https:\/\/aif.amtbbs.org\/wp-content\/plugins\/page-views-count\/ajax-loader-2x.gif\" border=0 \/><\/p>\n<div class=\"pvc_clear\"><\/div>\n","protected":false},"author":56,"featured_media":25948,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3,23,20,80],"tags":[124,1114,1703],"class_list":["post-25946","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ai","category-23","category-20","category-80","tag-ai","tag-1114","tag-1703"],"_links":{"self":[{"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts\/25946","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/users\/56"}],"replies":[{"embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/comments?post=25946"}],"version-history":[{"count":1,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts\/25946\/revisions"}],"predecessor-version":[{"id":25949,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts\/25946\/revisions\/25949"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/media\/25948"}],"wp:attachment":[{"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/media?parent=25946"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/categories?post=25946"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/tags?post=25946"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}