{"id":1888,"date":"2020-03-01T22:56:37","date_gmt":"2020-03-01T14:56:37","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=1888"},"modified":"2020-03-01T23:35:36","modified_gmt":"2020-03-01T15:35:36","slug":"%e4%b8%8e%e5%ad%90%e5%81%95%e4%bd%9c%ef%bc%8c%e9%87%91%e5%b2%b3%e9%9c%96%e8%ae%b2%e5%b8%ad%e6%95%99%e6%8e%88%e5%8a%a9%e5%8a%9b%e6%b8%85%e5%8d%8e%e4%ba%91%e8%af%be%e5%a0%82","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/%e4%b8%8e%e5%ad%90%e5%81%95%e4%bd%9c%ef%bc%8c%e9%87%91%e5%b2%b3%e9%9c%96%e8%ae%b2%e5%b8%ad%e6%95%99%e6%8e%88%e5%8a%a9%e5%8a%9b%e6%b8%85%e5%8d%8e%e4%ba%91%e8%af%be%e5%a0%82\/","title":{"rendered":"\u4e0e\u5b50\u5055\u4f5c\uff0c\u91d1\u5cb3\u9716\u8bb2\u5e2d\u6559\u6388\u52a9\u529b\u6e05\u534e\u201c\u4e91\u8bfe\u5802\u201d"},"content":{"rendered":"<p><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-1889\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/640-1.jpg\" alt=\"\" width=\"1080\" height=\"720\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/640-1.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/640-1-200x133.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/640-1-768x512.jpg 768w\" sizes=\"(max-width: 1080px) 100vw, 1080px\" \/><\/p>\n<p>\u4e4d\u6696\u8fd8\u5bd2\u4e2d\u6625\u5b63\u5b66\u671f\u5f00\u59cb\u4e86\u3002\u56e0\u4e3a\u7a81\u53d1\u7684\u75ab\u60c5\uff0c\u65b0\u5b66\u671f\u663e\u5f97\u6709\u4e9b\u4e0d\u4e00\u822c\u3002\u201c\u505c\u8bfe\u4e0d\u505c\u5b66\u201d\uff0c\u6309\u7167\u5b66\u6821\u7684\u7edf\u4e00\u90e8\u7f72\uff0c\u6211\u4eec\u6625\u5b63\u5b66\u671f\u7684\u6240\u6709\u8bfe\u7a0b\u90fd\u6539\u4e3a\u7ebf\u4e0a\u8fdb\u884c\u3002\u6e05\u534e\u5927\u5b66\u91d1\u5cb3\u9716\u903b\u8f91\u5b66\u6559\u6388\u3001\u745e\u5178\u65af\u5fb7\u54e5\u5c14\u6469\u5927\u5b66\u7684\u9b4f\u8fbe\u683c\u6559\u6388\uff08Dag Westerst\u00e5hl\uff09\u7b2c\u4e00\u65f6\u95f4\u6536\u5230\u7ebf\u4e0a\u6559\u5b66\u7684\u901a\u77e5\uff0c\u4ed6\u7acb\u5373\u5f00\u59cb\u7814\u7a76\u7f51\u4e0a\u6559\u5b66\u7684\u5404\u79cd\u8f6f\u4ef6\uff0c\u8ba4\u771f\u5b66\u4e60\u8fd9\u4e9b\u8f6f\u4ef6\u7684\u6280\u672f\u7ec6\u8282\uff0c\u5e76\u591a\u6b21\u8ddf\u6e05\u534e\u7684\u52a9\u6559\u3001\u540c\u4e8b\u548c\u5b66\u751f\u4eec\u8fdb\u884c\u6d4b\u8bd5\u3002\u6700\u540e\u51b3\u5b9a\u4f7f\u7528\u96e8\u8bfe\u5802\/\u5fae\u4fe1\u8ddf\u5b66\u751f\u8fdb\u884c\u4fe1\u606f\u6c9f\u901a\uff0c\u7528Zoom\u5f00\u5c55\u5b9e\u65f6\u6559\u5b66\u30022020\u5e742\u670817\u65e5\uff0c\u65b0\u5b66\u671f\u7b2c\u4e00\u5929\uff0c\u4ed6\u4ece\u8fdc\u5728\u745e\u5178\u7684\u65af\u5fb7\u54e5\u5c14\u6469\u6b63\u5f0f\u5411\u6e05\u534e\u5b66\u751f\u5f00\u8bb2\u201c\u903b\u8f91\u5b66\u201d\u3002<\/p>\n<p><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-1890\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/641-1.jpg\" alt=\"\" width=\"1080\" height=\"1439\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/641-1.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/641-1-150x200.jpg 150w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/641-1-768x1023.jpg 768w\" sizes=\"(max-width: 1080px) 100vw, 1080px\" \/> <img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-1891\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/642.jpg\" alt=\"\" width=\"1080\" height=\"810\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/642.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/642-200x150.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/642-768x576.jpg 768w\" sizes=\"(max-width: 1080px) 100vw, 1080px\" \/> <img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-1892\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/643-1.jpg\" alt=\"\" width=\"1080\" height=\"810\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/643-1.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/643-1-200x150.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/643-1-768x576.jpg 768w\" sizes=\"(max-width: 1080px) 100vw, 1080px\" \/><\/p>\n<p><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-1893\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/644.jpg\" alt=\"\" width=\"1080\" height=\"810\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/644.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/644-200x150.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/644-768x576.jpg 768w\" sizes=\"(max-width: 1080px) 100vw, 1080px\" \/><\/p>\n<p>\u672c\u5b66\u671f\uff0c\u9b4f\u8fbe\u683c\u6559\u6388\u5f00\u7684\u8bfe\u662f\u201c\u903b\u8f91\u5b66\u57fa\u7840\u7406\u8bba\u201d\u3002\u8bfe\u7a0b\u5b89\u6392\u5728\u524d8\u5468\uff0c\u6bcf\u54682\u6b21\u8bfe\uff0c2\u4e2a\u5b66\u5206\u3002\u8fd9\u662f\u91d1\u5cb3\u9716\u8bb2\u5e2d\u6559\u6388\u56e2\u7ec4\u8bbe\u7acb\u4ee5\u6765\u4ed6\u5728\u6e05\u534e\u7684\u7b2c\u4e09\u6b21\u5f00\u8bfe\uff0c\u5df2\u7ecf\u5438\u5f15\u4e86\u5bf9\u903b\u8f91\u5b66\u611f\u5174\u8da3\u7684\u4e00\u6279\u8de8\u8d8a\u4e0d\u540c\u4e13\u4e1a\u7684\u6e05\u534e\u5b66\u751f\u3002\u6309\u7167\u903b\u8f91\u5b66\u7814\u7a76\u4e2d\u5fc3\u7684\u8ba1\u5212\uff0c\u6559\u6388\u4eec\u5728\u6388\u8bfe\u7684\u540c\u65f6\uff0c\u8fd8\u64b0\u5199\u9762\u5411\u6e05\u534e\u5b66\u751f\u7684\u6559\u6750\uff0c\u4ee5\u4e2d\u6587\u3001\u82f1\u6587\u540c\u65f6\u51fa\u7248\u3002\u4eca\u5e74\u9b4f\u8fbe\u683c\u6559\u6388\u51c6\u5907\u8bd5\u7528\u4ed6\u5df2\u5b8c\u6210\u7684\u6559\u6750\u201cFoundations of Logic\u201d\u3002<\/p>\n<p>\u5728\u6700\u8fd1\u7684\u901a\u8bdd\u4e2d\uff0c\u9b4f\u8fbe\u683c\u6559\u6388\u5341\u5206\u5173\u5fc3\u88ab\u56f0\u5728\u5bb6\u7684\u6e05\u534e\u5b66\u751f\uff0c\u5e76\u9f13\u52b1\u4ed6\u4eec\u4ee5\u79ef\u6781\u7684\u6001\u5ea6\u9762\u5bf9\u773c\u524d\u7684\u56f0\u96be\u3002\u4ed6\u8bf4\uff0c\u7ebf\u4e0a\u6559\u5b66\u5bf9\u4ed6\u6765\u8bf4\u662f\u4e00\u79cd\u6311\u6218\uff0c\u8bfe\u4e0a\u7684\u4e92\u52a8\u548c\u4f5c\u4e1a\u6279\u6539\u90fd\u9700\u8981\u91c7\u7528\u4e0d\u540c\u7684\u65b9\u5f0f\uff0c\u4f46\u4ed6\u975e\u5e38\u6709\u4fe1\u5fc3\u505a\u597d\u3002\u4ed6\u5bf9\u5b66\u751f\u4eec\u8bf4\uff0c\u201c\u5b66\u4e60\u6ca1\u6709\u754c\u9650\uff08border\uff09\uff0c\u8d8a\u662f\u5728\u56f0\u96be\u7684\u65f6\u5019\u8d8a\u8981\u73cd\u60dc\u5b66\u4e60\u7684\u673a\u4f1a\u3002\u201d \u6765\u81ea\u4eba\u6587\u5b66\u9662\u3001\u8ba1\u7b97\u673a\u7cfb\u3001\u6570\u5b66\u7cfb\u3001\u7269\u7406\u7cfb\u3001\u4ea4\u53c9\u4fe1\u606f\u7814\u7a76\u9662\u3001\u7535\u5b50\u5de5\u7a0b\u5b66\u9662\u7b49\u9662\u7cfb\u768430\u4f59\u540d\u5b66\u751f\u5c06\u8ddf\u968f\u9b4f\u8fbe\u683c\u6559\u6388\u5b66\u4e60\u903b\u8f91\u5b66\u3002<\/p>\n<p><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-1894 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/645-1.jpg\" alt=\"\" width=\"479\" height=\"639\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/645-1.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/645-1-150x200.jpg 150w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/645-1-768x1024.jpg 768w\" sizes=\"(max-width: 479px) 100vw, 479px\" \/><\/p>\n<p style=\"text-align: center;\">\uff08\u5218\u6bd3\u7075 \u81ea\u52a8\u5316\u7cfb \u73b0\u5c45\u6e56\u5317\u5341\u5830\u5e02\uff09<\/p>\n<p style=\"text-align: center;\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone  wp-image-1895\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/646-1.jpg\" alt=\"\" width=\"493\" height=\"369\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/646-1.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/646-1-200x150.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/646-1-768x576.jpg 768w\" sizes=\"(max-width: 493px) 100vw, 493px\" \/><\/p>\n<p style=\"text-align: center;\">\uff08\u5f20\u5fc3\u4e4b \u4ea4\u53c9\u4fe1\u606f\u7814\u7a76\u9662 \u73b0\u5c45\u5e7f\u5dde\uff09<\/p>\n<p><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-1896 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/647.jpg\" alt=\"\" width=\"483\" height=\"554\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/647.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/647-175x200.jpg 175w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/647-768x880.jpg 768w\" sizes=\"(max-width: 483px) 100vw, 483px\" \/><\/p>\n<p style=\"text-align: center;\">\uff08\u80e5\u5609\u653f \u8ba1\u7b97\u673a\u7cfb \u73b0\u5c45\u6d59\u6c5f\uff09<\/p>\n<p style=\"text-align: center;\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-1897 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/648.jpg\" alt=\"\" width=\"478\" height=\"637\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/648.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/648-150x200.jpg 150w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/648-768x1024.jpg 768w\" sizes=\"(max-width: 478px) 100vw, 478px\" \/><\/p>\n<p style=\"text-align: center;\">\uff08\u66fe\u8513\u73b2 \u4eba\u6587\u5b66\u9662 \u73b0\u5c45\u56db\u5ddd\u7701\u6cf8\u5dde\u5e02\uff09<\/p>\n<p style=\"text-align: center;\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone  wp-image-1898\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/649.jpg\" alt=\"\" width=\"443\" height=\"590\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/649.jpg 600w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/649-150x200.jpg 150w\" sizes=\"(max-width: 443px) 100vw, 443px\" \/><\/p>\n<p style=\"text-align: center;\">\u00a0\uff08\u9648\u5584\u709c \u571f\u6728\u5de5\u7a0b\u7cfb \u73b0\u5c45\u6d77\u5357\u7701\u4e09\u4e9a\u5e02\uff09<\/p>\n<p style=\"text-align: center;\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone  wp-image-1899\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/650.jpg\" alt=\"\" width=\"455\" height=\"341\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/650.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/650-200x150.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/650-768x576.jpg 768w\" sizes=\"(max-width: 455px) 100vw, 455px\" \/><\/p>\n<p><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-1900 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/651.jpg\" alt=\"\" width=\"486\" height=\"274\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/651.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/651-200x113.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/651-768x432.jpg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/651-528x297.jpg 528w\" sizes=\"(max-width: 486px) 100vw, 486px\" \/><\/p>\n<p style=\"text-align: center;\">\uff08\u8fdc\u7a0b\u8bfe\u5802\u6548\u679c\uff09<\/p>\n<p><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-1885\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/646.jpg\" alt=\"\" width=\"698\" height=\"524\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/646.jpg 698w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2020\/03\/646-200x150.jpg 200w\" sizes=\"(max-width: 698px) 100vw, 698px\" \/><\/p>\n<p>Dag Westerst\u00e5hl\uff0c\u662f\u65af\u5fb7\u54e5\u5c14\u6469\u5927\u5b66\u7406\u8bba\u54f2\u5b66\u4e0e\u903b\u8f91\u5b66\u6559\u6388\uff0c\u745e\u5178\u7687\u5bb6\u79d1\u5b66\u9662\u9662\u58eb\u3001\u54e5\u5fb7\u5821\u7687\u5bb6\u827a\u672f\u4e0e\u79d1\u5b66\u9662\u9662\u58eb\uff0c\u66fe\u62c5\u4efb\u56fd\u9645\u903b\u8f91\u5b66\u3001\u65b9\u6cd5\u8bba\u548c\u79d1\u6280\u54f2\u5b66\u534f\u4f1a\u79d8\u4e66\u957f\u3002\u4ed6\u7684\u7814\u7a76\u4e3b\u8981\u96c6\u4e2d\u5728\u903b\u8f91\u5b66\u4e0e\u8bed\u8a00\u5b66\u7684\u4ea4\u53c9\u9886\u57df\uff0c\u5305\u62ec\u5f62\u5f0f\u8bed\u4e49\u5b66\u548c\u8bed\u8a00\u54f2\u5b66\u3002\u7279\u522b\u662f\uff0c\u4ed6\u5bf9\u91cf\u8bcd\uff08quantifiers\uff09\u7684\u7814\u7a76\u6210\u679c\u5728\u56fd\u9645\u4e0a\u5177\u6709\u5e7f\u6cdb\u800c\u6df1\u523b\u7684\u5f71\u54cd\u30022017\u5e74\u5f00\u59cb\uff0c\u4ed6\u53d7\u8058\u6210\u4e3a\u6e05\u534e\u5927\u5b66\u91d1\u5cb3\u9716\u903b\u8f91\u5b66\u6559\u6388\uff0c\u6bcf\u5e74\u6625\u5b63\u6765\u6e05\u534e\u56ed\u5de5\u4f5c\u3002\u4ed6\u4e0e\u6211\u6821\u4e2d\u6587\u7cfb\u9093\u76fe\u535a\u58eb\u3001\u5916\u8bed\u7cfb\u5218\u660e\u660e\u535a\u58eb\u53d1\u8d77\u30012019\u5e74\u6210\u529f\u7ec4\u7ec7\u4e86\u7b2c\u4e00\u6b21\u201c\u903b\u8f91\u3001\u8bed\u8a00\u548c\u610f\u4e49\u201d\u7684\u56fd\u9645\u4f1a\u8bae\u3002\u539f\u5b9a\u4eca\u5e744\u6708\u4e3e\u884c\u7684\u7b2c\u4e8c\u6b21\u201c\u903b\u8f91\u3001\u8bed\u8a00\u548c\u610f\u4e49\u201d\u56fd\u9645\u4f1a\u8bae\u5df2\u7ecf\u5b8c\u6210\u6295\u7a3f\u8bba\u6587\u7684\u8bc4\u5ba1\u5de5\u4f5c\uff0c\u4e8e\u75ab\u60c5\u7ed3\u675f\u540e\u4e3e\u884c\u4f1a\u8bae\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u4e4d\u6696\u8fd8\u5bd2\u4e2d\u6625\u5b63\u5b66\u671f\u5f00\u59cb\u4e86\u3002\u56e0\u4e3a\u7a81\u53d1\u7684\u75ab\u60c5\uff0c\u65b0\u5b66\u671f\u663e\u5f97\u6709\u4e9b\u4e0d\u4e00\u822c\u3002\u201c\u505c\u8bfe\u4e0d\u505c\u5b66\u201d\uff0c\u6309\u7167\u5b66\u6821\u7684\u7edf\u4e00\u90e8\u7f72\uff0c\u6211\u4eec\u6625\u5b63\u5b66 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1888"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=1888"}],"version-history":[{"count":4,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1888\/revisions"}],"predecessor-version":[{"id":1905,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1888\/revisions\/1905"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=1888"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=1888"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=1888"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}