Chinaunix首页 | 论坛 | 博客
  • 博客访问: 4563217
  • 博文数量: 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:37:14

文章来源:http://blog.tuidao.me/2011/03/geb-note-5/阿宅们,好好读书啊!如果你有看过凉宫春日系列的话,应该还记得在《凉宫春日的烦闷》里的 "竹叶狂想曲一章"(话说提到这个我每次的第一反应就是某人在某年七夕很淡定的去校北门拔了一个竹子然后大摇大摆的放回宿舍做许愿竹的事),阿虚受1096的委托和她.........【阅读全文】

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

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

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

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

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

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

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

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

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

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

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

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

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

北大未名居士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版本是多少? 谢谢。

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

登录 注册