Monthly Archives: 2007年1月

混沌之中

命题演算需要灵感,而我现在的感觉就是在黑暗中瞎撞八撞~~~偶尔出现一丝丝灵感的时 … 继续阅读

发表在 My Life | 留下评论

需要想象力

搞Symbolic Logic需要的是想象力,这两天试着在L的PC系统中推导两条 … 继续阅读

发表在 My Life | 2条评论

大牛

昨晚和南航的朋友聊了一下,他给我看了一个连接http://blog.csdn.n … 继续阅读

发表在 My Life | 5条评论

Symbolic Logic

今天啃泡面的时候略为翻了翻一本讲数理逻辑的书,其实还是非常有趣的科学,其实用性也 … 继续阅读

发表在 Thought | 2条评论

胡诌一下语言

Program 胡诌一下语言:Begin今天早上爬起来不知道怎么回事就想到了la … 继续阅读

发表在 Thought | 2条评论

科幻~~

今天看到linghuye前辈写了一篇蛮有意思的文章《谈谈科幻电影》,MATRIX … 继续阅读

发表在 My Life | 留下评论

宏遇到模板实参

今天突然遇到一个小问题,就是宏参数使用模板,模板参数又有很多的时候。宏处理是最先 … 继续阅读

发表在 Thought | 留下评论