2019年1月20日
停机问题（英语：halting problem）是逻辑数学中可计算性理论的一个问题。通俗地说，停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
摘要： htps://baike.baidu.com/item/停机问题/4131067?fr=aladdin 理发师悖论：村子里有个理发师，这个理发师有条原则是，对于村里所有人，当且仅当这个人不自己理发，理发师就给这个人理发。如果这个人自己理发，理发师就不给这个人理发。无法回答的问题是，理发师给自己理发么 阅读全文
posted @ 2019-01-20 16:44 papering 阅读(1138) 评论(0) 推荐(0) 编辑
代码保护
摘要： https://mp.weixin.qq.com/s/lHDMXYqUnwC3N3w8jcAHPQ 别动我的代码！聊聊那些代码保护的艺术 原创： 祁麟 InfoQ 2018-12-12 阅读全文
posted @ 2019-01-20 16:39 papering 阅读(193) 评论(0) 推荐(0) 编辑
summary
摘要： summary 阅读全文
posted @ 2019-01-20 09:08 papering 阅读(159) 评论(0) 推荐(0) 编辑