10 2010 档案

看MIT的线性代数
摘要:长假期间,开始学组合图论,于是顺便把线性代数温习下,先是在verycd上看到有MIT Gilbert Strang教授的课程 ,然后搞来iTunes开始看,发现国外的老师讲课就是不一样——能够把我们认为一些“简单套公式”就能摆平的东西当作一个研究性课题讲上一大节课!小题大做了!但是,做过研究生的都... 阅读全文

posted @ 2010-10-08 02:44 胡永光 阅读(350) 评论(0) 推荐(0) 编辑

停机问题、哥德尔定理
摘要:今天读《哥德尔、艾舍尔、巴赫——GEB 集异璧之大成》,看到“自指”的论述,突然想起以前学自动机理论时的“停机问题”。该问题上课前看书就看明白了,考试完了又忘了,后来又想起来看过一次,现在又忘了——可见,我是不懂装懂。 我之前其实没搞明白:怎么这么一个程序H2,当作 输入P给另一个H2后,它的... 阅读全文

posted @ 2010-10-03 23:42 胡永光 阅读(176) 评论(0) 推荐(0) 编辑

关于jar
摘要:eclipse下,所有问题都好解决——但是,解决问题最终是为了离开eclipse独立运行!比如,打成jar包,打成exe包……但不管是eclipse的export还是ant的target jar,都不够智能…… 门路1:手写MANIFEST.MF 如下:Manifest-Version: 1.... 阅读全文

posted @ 2010-10-03 23:33 胡永光 阅读(146) 评论(0) 推荐(0) 编辑

导航

点击右上角即可分享
微信分享提示