我们从640KB走来

在上世纪90年代初期,个人计算机内存只有640KB;在这种客观情况下,历史要求我们设计制作三卷合订本的配套全文检索系统,攻坚克难,夜以继日,取得成功,由人民出版社在全国发行。当今,50年过去了,计算机内存增加了千万倍  我们面对同样的历史任务。我们从640KB走来! PHP Linux Mysql必定大宣神通 历史将会记住这一切!袁萌  陈启清&nbs...

微积分教学的一朵鲜花

微积分教学中,超实无穷小是鲜花,还是毒草?超实无穷小是一种“理想数”,其标准部分是实数零。由于数理逻辑紧致性定证明了超实无穷小的存在以及在数学中的实用性,所以是微积分教学的一朵鲜花。与此相反,在传统数学中, 超实无穷小是逻辑谎言,误人子弟,是大毒草;所以无穷小是微积分教学的一朵鲜花袁萌  陈启清  8月24日

无穷小微积分在中国传播40年

记得在上世纪1978年,中国科学院计算机研究所张锦文研究员托人从美国带回J.Keisler教授“无穷小微积分”(英文原版),交给中国人民大学袁萌学习与研究。从此以后,结合教学实践袁萌在中国人民大学与北京大学的讲堂上不断地讲授无穷小微积分的基础知识。进入本世纪,袁萌带队进行“无穷小微积分”放飞互联网至今。这就是无穷小微积分在中国传播的40年。无穷小微积分专业网站是独一无二的传播基地。袁萌&nb...

三卷扫描结果装入数据库

不做扫描数据预修改,三卷扫描结果装入数据库没有什么用处。但是怎么预修改,很有讲究。每一个句子记录应该添加哪些附加信息?一般而言,检索的目标不是语句的本身,而是该语句所在的位置。例如,语句所在的卷数、页数和行数等等。袁萌  陈启清  8月20日

全文检索与数学证明

初看起来,全文检索与数学证明似乎没有关系。其实不然。何故?全文检索就是在有限步骤内确定一类特定的句子是否存在。而数学证明就是在由此说、你步骤之内路逻辑?判定一个给定的句子是否成立。所以,全文检索与数学证明在理论本质上是一回事。请见:好消息:三卷扫描的效果特别好!袁萌  陈启清 8月17日

好消息三卷扫描的效果特别好

由此,拒绝配套全文检索没有道理!一般而言,思想、理论表现为一个句子集合,如果上级单位要求对该理“全面系统学、深入思考学”,那么,拒绝配套全文检索没有道理?为什么?因为,配套全文检索是“全面系统学”、“深入思考学”的辅助工具。袁萌 陈启清 8月12日附件:中共中央办公厅转发《中央宣传部、中央组织部关于认真组织学习〈习近平谈治国理政〉第三卷的通知》来源: 新华社新华社北京7月8日电 近日,中共中...

拒绝配套全文检索没有道理

一般而言,思想、理论表现为一个句子集合。如果上级单位要求对该理论“全面系统学、深入思考学”,那么,拒绝配套全文检索没有道理!为什么?因为,配套全文检索是“全面系统学”、“深入思考学”的辅助工具。袁萌  陈启清  8月12日

多日未发文,何故?

坦然地说,一切为了“备战”第二套三卷句集全文检索的启动!今天上午第二套三卷句集全文检索软件开发已经正式启动。第二套指的是什么著作?不言自明第一套是么?为什么?不言自明。袁萌  陈启清 7月31日