C++,python,热爱算法和机器学习
全部博文(1214)
发布时间:2014-05-07 16:27:46
文章来源:http://blog.tuidao.me/2011/03/geb-note-3/上次提到了一个叫pq的形式系统,并且讨论了相容性是什么玩意,那么这次就来讲讲形式系统的另一个重要概念——完备性。还记得我们给pq系统赋予的加法解释么?当时我说这个系统形式化了正整数的加法,那么笼统的说加法行不行?行,但是却不够准确,因为0=0+.........【阅读全文】
发布时间:2014-05-07 16:14:03
文章来源:http://blog.tuidao.me/2011/01/geb-note-2/上次说到了形式系统大概是个什么样子,不过光用语言描述总是很抽象的,不好理解。那么就来举一个书上给出的例子来看看:pq系统字符集:p q -公理:设 x 是包含且仅包含一个或多个字符'-'的字符串,则.........【阅读全文】
发布时间:2014-05-07 15:41:25
文章来源:http://blog.tuidao.me/2011/01/geb-note-1/之前开始学数理逻辑的时候听说了《哥德尔,艾舍尔,巴赫》这本书,不过实在是太忙,这书又很厚,结果最后并没有去看。前两天看到Twitter上有人提到这本书再版了,正好现在放假无事,于是便到书店把这本书买了回来。要说这本书里讲到的哥德尔不完备性定理,可以说.........【阅读全文】
发布时间:2014-05-01 11:38:27
想用命令行发送邮件,发现有msmtp和mutt的组合。msmtp是发邮件的,mutt负责操作怎样更方便发送。sudo apt-get install msmtp mutt查看gmail smtp服务器情况msmtp --host smtp.gmail.com --serverinfoSMTP server at smtp.gmail.com (pa-in-f109.1e100.net [74.125.25.109]), port 25:mx..........【阅读全文】
发布时间:2014-04-28 21:03:24
文章来源:http://my.oschina.net/breakjoa/blog/155186本文主要是从HBase应用程序设计与开发的角度,总结几种常用的性能优化方法。有关HBase系统配置级别的优化,可参考:淘宝Ken Wu同学的博客。下面是本文总结的第一部分内容:表的设计相关的优化方法。1. 表的设计1.1 Pre-Creating Regions默认情况.........【阅读全文】
chinaunix网友2009-10-12 16:19
你好,你在Google Code上放的sg2fcitx的mainme.c源代码我下载编译会出现段错误。请问你的编译环境是什么?GCC版本是多少? 谢谢。