{"id":1221,"date":"2015-10-28T16:22:18","date_gmt":"2015-10-28T08:22:18","guid":{"rendered":"http:\/\/www.xixilogic.org\/?p=1221"},"modified":"2016-11-10T19:01:55","modified_gmt":"2016-11-10T11:01:55","slug":"how-to-go-nomonotonic-1-2015-11-02","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2015\/10\/how-to-go-nomonotonic-1-2015-11-02\/","title":{"rendered":"How to Go Nomonotonic-1 [2015-11-02]"},"content":{"rendered":"<p><strong>\u4e3b\u9898\uff1a<\/strong>\u8d70\u8fdb\u975e\u5355\u8c03\u63a8\u7406-1 (How to Go Nomonotonic-1)<\/p>\n<p><strong>\u62a5\u544a\u4eba\uff1a<\/strong>\u00a0\u4f55\u952e\u67ab\uff08\u903b\u8f91\u5b66\u4e13\u4e1a\u535a\u58eb\u751f\uff09<\/p>\n<p><strong>\u65f6\u95f4\uff1a<\/strong> 2015\u5e7411\u67082\u65e5\u4e0b\u53482-4\u65f6<\/p>\n<p><strong>\u5730\u70b9\uff1a<\/strong> \u6d59\u5927\u897f\u6eaa\u6821\u533a\u4e3b\u697c259\u4f1a\u8bae\u5ba4<\/p>\n<p><strong>\u5185\u5bb9\u63d0\u8981\uff1a<\/strong> \u7ecf\u5178\u547d\u9898\u903b\u8f91\u5177\u6709\u5355\u8c03\u6027\u6027\u8d28\uff1a\u6269\u5145\u516c\u5f0f\u96c6\u25b3\u4e3a\u516c\u5f0f\u96c6\u0398\uff0c\u516c\u5f0f\u96c6\u0394\u7684\u540e\u627f\u4f9d\u7136\u4e3a\u516c\u5f0f\u96c6\u0398\u7684\u540e\u627f\u3002\u7136\u800c\uff0c\u5728\u65e5\u5e38\u751f\u6d3b\u7684\u63a8\u7406\u4e4b\u4e2d\uff0c\u589e\u52a0\u524d\u63d0\u540e\u5bfc\u81f4\u539f\u6709\u7ed3\u8bba\u4e0d\u518d\u4e3a\u771f\u7684\u4f8b\u5b50\u6bd4\u6bd4\u7686\u662f\uff0c\u4f8b\u5982\u533b\u751f\u5728\u521d\u6b21\u8bca\u65ad\u65f6\u5f97\u5230\u7684\u7ed3\u8bba\u53ef\u80fd\u4f1a\u5728\u5f97\u5230\u66f4\u8be6\u7ec6\u7684\u68c0\u67e5\u62a5\u544a\u906d\u5230\u63a8\u7ffb\u3002\u670d\u52a1\u4e8e\u6570\u5b66\u63a8\u7406\u7684\u7ecf\u5178\u547d\u9898\u903b\u8f91\u4e0d\u8db3\u4ee5\u523b\u753b\u65e5\u5e38\u751f\u6d3b\u4e2d\u7684\u975e\u5355\u8c03\u63a8\u7406\u3002\u4e3a\u4e86\u6ee1\u8db3\u65e5\u5e38\u751f\u6d3b\u63a8\u7406\u4e2d\u7684\u975e\u5355\u8c03\u7279\u70b9\uff0c\u7814\u7a76\u8005\u4eec\u63d0\u51fa\u4e86\u4e09\u7c7b\u89e3\u51b3\u65b9\u6848\u3002\u672c\u6b21\u62a5\u544a\u5c06\u4f1a\u5bf9\u4f5c\u4e3a\u4e09\u7c7b\u89e3\u51b3\u65b9\u6cd5\u4e4b\u4e00\u7684\u989d\u5916\u80cc\u666f\u5047\u8bbe\uff08additional background assumptions\uff09\u8fdb\u884c\u7b80\u8981\u7684\u4ecb\u7ecd\u3002<\/p>\n<p><a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/10\/xixi18-1.jpg\"><img decoding=\"async\" class=\"alignnone size-medium wp-image-1269 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/10\/xixi18-1-300x199.jpg\" alt=\"xixi18-1\" width=\"300\" height=\"199\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/10\/xixi18-1-300x199.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/10\/xixi18-1-1024x680.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/10\/xixi18-1.jpg 2048w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/199;\" \/><\/a>\u00a0\u00a0\u00a0 <a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/10\/xixi18-2.jpg\"><img decoding=\"async\" class=\"alignnone size-medium wp-image-1270 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/10\/xixi18-2-300x199.jpg\" alt=\"xixi18-2\" width=\"300\" height=\"199\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/10\/xixi18-2-300x199.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/10\/xixi18-2-1024x680.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2015\/10\/xixi18-2.jpg 2048w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/199;\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u4e3b\u9898\uff1a\u8d70\u8fdb\u975e\u5355\u8c03\u63a8\u7406-1 (How to Go Nomonotonic-1) \u62a5\u544a\u4eba\uff1a\u00a0\u4f55\u952e\u67ab\uff08\u903b\u8f91\u5b66\u4e13\u4e1a\u535a\u58eb\u751f\uff09 \u65f6\u95f4\uff1a 2015\u5e7411\u67082\u65e5\u4e0b\u53482-4\u65f6 \u5730\u70b9\uff1a \u6d59\u5927\u897f\u6eaa\u6821\u533a\u4e3b\u697c259\u4f1a\u8bae\u5ba4 \u5185\u5bb9\u63d0\u8981\uff1a \u7ecf\u5178\u547d\u9898\u903b\u8f91\u5177\u6709\u5355\u8c03\u6027\u6027\u8d28\uff1a\u6269\u5145\u516c\u5f0f\u96c6\u25b3\u4e3a\u516c\u5f0f\u96c6\u0398\uff0c\u516c\u5f0f\u96c6\u0394\u7684\u540e\u627f\u4f9d\u7136\u4e3a\u516c\u5f0f\u96c6\u0398\u7684\u540e\u627f\u3002\u7136\u800c\uff0c\u5728\u65e5\u5e38\u751f\u6d3b\u7684\u63a8\u7406\u4e4b\u4e2d\uff0c\u589e\u52a0\u524d\u63d0\u540e\u5bfc\u81f4\u539f\u6709\u7ed3\u8bba\u4e0d\u518d\u4e3a\u771f\u7684\u4f8b\u5b50\u6bd4\u6bd4\u7686\u662f\uff0c\u4f8b\u5982\u533b\u751f\u5728\u521d\u6b21\u8bca\u65ad\u65f6\u5f97\u5230\u7684\u7ed3\u8bba\u53ef\u80fd\u4f1a\u5728\u5f97\u5230\u66f4\u8be6\u7ec6\u7684\u68c0\u67e5\u62a5\u544a\u906d\u5230\u63a8\u7ffb\u3002\u670d\u52a1\u4e8e\u6570\u5b66\u63a8\u7406\u7684\u7ecf\u5178\u547d\u9898\u903b\u8f91\u4e0d\u8db3\u4ee5\u523b\u753b\u65e5\u5e38\u751f\u6d3b\u4e2d\u7684\u975e\u5355\u8c03\u63a8\u7406\u3002\u4e3a\u4e86\u6ee1\u8db3\u65e5\u5e38\u751f\u6d3b\u63a8\u7406\u4e2d\u7684\u975e\u5355\u8c03\u7279\u70b9\uff0c\u7814\u7a76\u8005\u4eec\u63d0\u51fa\u4e86\u4e09\u7c7b\u89e3\u51b3\u65b9\u6848\u3002\u672c\u6b21\u62a5\u544a\u5c06\u4f1a\u5bf9\u4f5c\u4e3a\u4e09\u7c7b\u89e3\u51b3\u65b9\u6cd5\u4e4b\u4e00\u7684\u989d\u5916\u80cc\u666f\u5047\u8bbe\uff08additional background assumptions\uff09\u8fdb\u884c\u7b80\u8981\u7684\u4ecb\u7ecd\u3002 \u00a0\u00a0\u00a0<\/p>\n <a class=\"more-link\" href=\"https:\/\/www.zlaire.net\/events\/previous\/2015\/10\/how-to-go-nomonotonic-1-2015-11-02\/\"><span class=\"more-msg\">Continue reading &rarr;<\/span><\/a>","protected":false},"author":9,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[3],"tags":[],"class_list":["post-1221","post","type-post","status-publish","format-standard","hentry","category-group-meetings"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1221","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=1221"}],"version-history":[{"count":4,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1221\/revisions"}],"predecessor-version":[{"id":2318,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1221\/revisions\/2318"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=1221"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=1221"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=1221"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}