Chinaunix首页 | 论坛 | 博客
  • 博客访问: 4463916
  • 博文数量: 1214
  • 博客积分: 13195
  • 博客等级: 上将
  • 技术积分: 9105
  • 用 户 组: 普通用户
  • 注册时间: 2007-01-19 14:41
个人简介

C++,python,热爱算法和机器学习

文章分类

全部博文(1214)

文章存档

2021年(13)

2020年(49)

2019年(14)

2018年(27)

2017年(69)

2016年(100)

2015年(106)

2014年(240)

2013年(5)

2012年(193)

2011年(155)

2010年(93)

2009年(62)

2008年(51)

2007年(37)

发布时间:2014-05-07 17:16:12

文章来源:http://blog.tuidao.me/2011/03/geb-note-4/在继续折腾数学之前我们先来看看计算机中的一个类似的问题吧。作为程序猿,提到新的一门语言,大概都是是先学“Hello World”怎么说(相对的,正常人一般会先学“我爱你”怎么说)。一般来说提到Hello World程序那必定就是非常简单的程序了,不过我们想像这样一.........【阅读全文】

阅读(1240) | 评论(0) | 转发(0)

发布时间:2014-05-07 16:27:46

文章来源:http://blog.tuidao.me/2011/03/geb-note-3/上次提到了一个叫pq的形式系统,并且讨论了相容性是什么玩意,那么这次就来讲讲形式系统的另一个重要概念——完备性。还记得我们给pq系统赋予的加法解释么?当时我说这个系统形式化了正整数的加法,那么笼统的说加法行不行?行,但是却不够准确,因为0=0+.........【阅读全文】

阅读(1250) | 评论(0) | 转发(0)

发布时间:2014-05-07 16:14:03

文章来源:http://blog.tuidao.me/2011/01/geb-note-2/上次说到了形式系统大概是个什么样子,不过光用语言描述总是很抽象的,不好理解。那么就来举一个书上给出的例子来看看:pq系统字符集:p   q    -公理:设 x 是包含且仅包含一个或多个字符'-'的字符串,则.........【阅读全文】

阅读(1153) | 评论(0) | 转发(0)

发布时间:2014-05-07 15:41:25

文章来源:http://blog.tuidao.me/2011/01/geb-note-1/之前开始学数理逻辑的时候听说了《哥德尔,艾舍尔,巴赫》这本书,不过实在是太忙,这书又很厚,结果最后并没有去看。前两天看到Twitter上有人提到这本书再版了,正好现在放假无事,于是便到书店把这本书买了回来。要说这本书里讲到的哥德尔不完备性定理,可以说.........【阅读全文】

阅读(926) | 评论(0) | 转发(0)

发布时间: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..........【阅读全文】

阅读(3300) | 评论(1) | 转发(3)
给主人留下些什么吧!~~

北大未名居士2013-03-08 10:16

回复  |  举报

北大未名居士2013-03-08 10:16

回复  |  举报

pureal2012-05-09 12:01

你好,看到一个帖子发现你看过APUE2英文版,我也刚好看到读写锁,写饿死的问题。所以想认识交流下,我没找到你的邮箱,我的是dwdang@126.com

回复  |  举报

大鬼不动2010-09-23 00:47

回复  |  举报

chinaunix网友2009-10-12 16:19

你好,你在Google Code上放的sg2fcitx的mainme.c源代码我下载编译会出现段错误。请问你的编译环境是什么?GCC版本是多少? 谢谢。

回复 |  删除 |  举报
留言热议
请登录后留言。

登录 注册