胡永光

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

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