Profilo di agentzhHuman ＆ MachineFotoBlogElenchiAltro  |  Strumenti Guida |
|
17 novembre XClips 与 VRG前些日子我本打算为本周的专家系统课程制做两组幻灯片。一组是《Introduction to XClips》，介绍我基于 CLIPS 设计的专家系统编程语言；一组是《Introduction to VRG》，介绍我用 XClips 语言编写的 立体几何自动化证明系统 VRG。但由于时间的关系，只完成了第一组。第二组我真的累了，暂时不想做了（尽管有更多更激动人心的东西值得介绍）。 《Introduction to XClips》这一组幻灯片，共 94 张。制做这套幻灯的过程是非常令人愉快的，尽管有些辛苦。呵呵。这是我第一次为自己设计和实现的专家系统语言编写幻灯，激动啊~~ 如果您在江大校外，可以从这里下载 PPT 格式的幻灯： http://svn.berlios.de/svnroot/repos/unisimu/Slides/xclips/xclips.ppt 将上面的 .ppt 改为 .pdf 可以取得 PDF 格式的版本。 如果您在江大校内，则可以从江大医学院的服务器上获取： http://yxy.ujs.edu.cn/images/xclips.ppt 或者 http://yxy.ujs.edu.cn/images/xclips.pdf 经过 10 天的努力，VRG 和 XClips 这两个项目从无到有，从小到大。 高中数学书上几乎所有的立体几何部分的公理、定理现在都能正确地为我的专家系统所证明啦。对应的测试文件如下： http://svn.berlios.de/svnroot/repos/unisimu/VRG/t/sanity.t 另外，我使用高三时搜集的许多高考复习题轰炸它，也全部为它轻松搞定。对应的测试文件如下： http://svn.berlios.de/svnroot/repos/unisimu/VRG/t/senior.t 你看到的这两个 .t 文件其实都是 100% 的 perl 脚本文件。由于使用了 Ingy 的 Test::Base 模块， 测试都是自说明的，非常清晰，非常漂亮。呵呵。 通过 VRG 项目我证实了向量化方法和定性推理的确是极为有力的几何证明工具。 该项目的源代码总是可以从下面的位置自由获取： http://svn.berlios.de/svnroot/repos/unisimu/VRG 与此同时，我还在专家系统的自动化单元测试技术、自动化覆盖测试、DBC (Design by Contract) 风格的自检验、基于模块的规则隔离与事实共享、推理过程的可视化等方面做了不少有趣的工作。我正试图将这些东西以最自然的形式融入到我的幻灯片中。呵呵。 由于使用像 CLIPS 这样的基于正向链 (forward chaining) 的推理引擎，我可以从 Prolog 的无限循环的困挠中解放出来，从而将主要力量放在知识库本身的表达以及推理过程的自动化解释的核心问题上，而不是时时刻刻去关心像消除左递归，避免规则回路这样的枯燥而琐碎的事情。耶~~~ 16 novembre 抱怨电子政务老师过分……居然在当中打断我……我才讲到第 20 张。一共准备了 58 张呢…… 王龙志那小子也跑了……我可是认真地听完了他的演讲了哦。 很高兴的是，开始讲的时候还有几个同学在下面窃窃私语，而当我讲到美国 FirstGov 网站以后， 所有同学都抬起头认真地听我说了。耶~~~感觉好棒哦~~~要的就是这种效果。 我要好好让咱们的老师看看电子政务课应该怎么个上法。全国新闻联播式的一页一页地朗读课件 只是没有教学经验的初学者的方式！上课一定要充满爱心，充满激情，充满乐趣， 这样才能感染听众，这样才能不误人子弟…… 有兴趣的朋友请参见我这堂课的幻灯： http://svn.berlios.de/svnroot/repos/unisimu/Slides/egov/egov.ppt 或者 http://svn.berlios.de/svnroot/repos/unisimu/Slides/egov/egov.pdf 正如我当时在演讲前所说的，幻灯里几乎每一句话都是我自己的。 如有引用，必有双引号标出。 在此之前，我已经听了太多太多大段大段抄袭的演讲。简直都厌烦死了~~~也只有张娣、王龙志， 还有 3 班另一个我叫不出名字的男生讲的还有些东西。还不至于让我感到时间被浪费了。至于 其他人的……简直就是时间“谋杀”……但出于尊重，我一直认真地听完最后一个人的报告。这也算是 给我们老师一个榜样，让她知道什么叫做最基本的尊重。 好在事先我已经给我徒儿、祥子，还有珣新完整地讲解过这套幻灯了。其实我如此认真地准备就 是想在今晚真正向同学演示一些电子政务方面的实实在在、有血有肉的东西。看来我是没有机会 在公共场合完整地讲完这套幻灯了。 事实上，我对我的每一次上台机会都是非常珍惜的。讲台是一个很光辉、很神圣的地方。可悲的是， 许多大学里的职业教师看不到这一点。从我们的许多老师身上我能清晰地感受到一种普遍的沮丧情绪。 似乎他们认为在大学里教书是一种“低就”，是一种“委屈”。 而我从讲课和教学当中却发现了极大的乐趣，这种乐趣不是一般的编程和私人的交流所能比拟的。 那是一种与许多朋友进行思想沟通的美妙场合！ 是啊，“与其诅咒黑暗，不如点亮一枝蜡烛。”我希望以我的实际行动作出一些贡献（对自己的， 还有对我的朋友们的）。这样才能让我觉得安心。 与应试教育抗争了这么多年，我真的累了。尽管在这个过程当中也积累了一些东西值得和我的同学们 一起分享。 明天专家系统课程还有一个极有有趣的讲座，有兴趣的同学欢迎光临啊~~~ 周五下午 7、8 节，2212。明天的讲座的幻灯片我昨天就已经准备好了。大约有 94 张。我将通过一 些有趣的例子深入浅出地介绍了我自己设计和实现的一种专家系统编程语言，名为 XClips。我已经和 小万简单地演示过了。他给我的反馈很不错，夸我的 XClips 系统做得“很专业”。好有成就感哦，呵呵。 ``Introduction to XClips'' 幻灯片的位置如下： http://svn.berlios.de/svnroot/repos/unisimu/Slides/xclips/xclips.ppt 或者 http://svn.berlios.de/svnroot/repos/unisimu/Slides/xclips/xclips.pdf 欢迎大家批评指正！ 虽然这学期我已经给大家和刘一松老师的研究生上了近 10 次大课了（而且还要上一二次），但其中 没有一次是我自己向老师申请的。每一次都是老师邀请我上我才上的。我这个人平日行事虽然好张扬， 但也没到没课找课上的地步。毕竟，每上一堂课，都要做大量的准备工作。而且在讲堂上讲上个 90 分钟 甚至更长是极为耗费体力的。 正如我的朋友蔡玉飞先前警告过我的，我自己这边的重修课还焦头烂额……其实我应该算是这个班上成绩 最差的了。嘿，没关系，不急，咱不急。呵呵。 身边的朋友们不是在找工作，就是在准备考研。就我一个人还不知道以后怎么办。是啊，以后怎么办呢？ 没想过。先把眼前的每一件事做完美吧。以后的事情，等以后再说。你说呢？ 其实想想生活还是如此美好的，呵呵。有这么多朋友，有这么多有趣的知识和技术…… 珍惜眼前所拥有的一切，不要等失去了再后悔。以一颗感恩的心，面对每一天的生活。 别忘了我可是两“一”老人啊：“一事无成，一文不值。”自己这么认为就足够了。 所谓“举世誉之而不加劝，举世非之而不加沮” ，“定乎内外之分，辨乎荣辱之境” 。 这都是我的座右铭。 呵呵，哲学是好东西啊。许多哲学思想是可以帮助我们开智慧的。这比生命更重要。 没有智慧，那人和禽兽、机器就没什么差别了。所以有些人虽然活着，他的心却已经死了。 在这儿发泄了一通，对不起诸位啊……抱怨可不好哦。关注我博客的同志们会发现，我最近一直 在抱怨。更年期到了？我想主要是因为心情有些郁闷。“内郁于中，自然要发之于外。” 不过有时我觉得我和年纪相仿的同学有代沟，而和小学里的那些孩子们在一块却感觉不到。 其实我还小呢，呵呵。总是这么天真幼稚的。有一句说一句，从不知在别人面前说客气的话，说好听的话 我父母也批评过我好多次了。我就是不愿改。因为我觉得那些很虚伪。真的不喜欢兜圈子。 确实，我一点儿都没长大，而且讨厌长大。很没出息吧？呵呵。话又说回来，要不怎么叫做 “两一老人”呢，呵呵。 其实我妈也是如此啊，呵呵，她到现在都承认自己没长大。真是“有其母必有其子”。 想想我现在过得很幸福，真的。没什么烦恼,没什么寂寞的,也没什么操心的。 只是偶尔会贪心，会不知足，会抱怨一通…… 今儿个累了，要休息了…… 明天见…… Zzz 14 novembre 以苦为乐突然发现自己的生活是如此虚幻。疾病和死亡会在任何时候轻松地毁灭原本引以为荣的一切。健康时会全然忘却病时的巨大痛苦，而在病中时会如此羡慕平日里觉得平淡无味的一点一滴。 死亡最终会降临到我的身上，你的身上，他的身上。是啊，年轻人怎么会真正认真地思考老苦和死苦呢？在青年人的眼中，生活像一条彩色的绸带，无限地延伸至未来。逻辑上的老去和死亡，究竟是“逻辑上”的，我们的大脑认同，而我们的心其实不然。 我不敢去追问。不敢去追问学习的意义，追求的意义，生命的意义，以及存在的意义。 我习惯于化苦为乐。我擅长这桩事情。面对很枯燥的学科，我也会想尽各种方法去挖掘它的美，它的本质，让自己能在那里面找到一乐趣，做出一些事情。如此折腾，无非是想为自己学习各门课程寻找一个理由。其实，仅是寻找一个借口。 上大四的今天我还在摆弄高三的几何题，仅仅是因为我想继续高三时搞的一个自动化证明项目。表面看来很酷，深究起来觉得可悲。我还在自己延续高考给我的伤害。我还在自己延续那个可笑的“借口”。 从很小的时候起，我就沉迷在这种游戏之中，而且乐此不疲。不能说我是假装对它们感兴趣。我真的发现了它们的美，我真的喜欢上了包括数学在内的那些原本很讨厌的学科。可又能怎样？我还是不知道它的意义。 确实，在这一连串无休止的游戏中，我积累了许多领域的知识和技术，其中的许多是让我身边的不少同学羡慕的。可那又能怎样？又有什么意义呢？ 是啊，我或许有了这些东西，可以更容易地找到工作，更容易地找到比较好的工作。可那只是为了活下去，并没有解释为什么要活下去。 我想过我也许会而且也应该为人类的进步做贡献，让现在的人们，以及我们的后代生活得更好。可是，我看到的现实是，随着物质文明的日益丰富，人的欲望也日益膨胀，人的压力也日益增加，人的道德也日趋滑落，人的生活也越来越不幸福。 毕竟，幸福是一种感觉，而不是一种物质。 看来，我不应该再去“添砖加瓦”了。我们所吹捧的那些科学、那些技术，无法向我解释人生的意义，无法向我解释它们自己的“真正意义”，无法向我解释这个世界这个宇宙的意义。 我在孩童时就渴望知晓星空后面的秘密。这个世界的本质只有一个，生老病死的源头只有一个。我是如此渴望在今生得到它。将自己的时间浪费在那些自己编造的“借口”上，浪费在与这个应试制度作抗争上，实在是无趣的很，实在是可惜的很。 今天的人们似乎更多地是向“外”去求索。于是这才有了天文学、物理学、化学、生物学这些东西。我们喜欢说我们每天都在进步，每天都在接近那个“绝对真理”。可如果我们的方向从一开始就错了怎么办？如果我们历尽千辛万苦，发现自己苦苦追寻的“真理”其实是一场空，怎么办？如果我们在这个过程中，自己把自己毁灭了怎么办？ 我们的科学真的在接近真理，而不是在远离真理么？ 接近真理的时候，我们的烦恼应该越来越少，我们的品德应该越来越高尚，我们的生活应该越来越幸福。 真正的智慧，只有那些有德行的人才有资格——或者说才有可能获得。真正的智慧应该让我们远离生活中的一切苦恼。 我要看着自己，嗯，紧紧地盯着。看着自己的过失，看着自己的迷惘，看着自己的贪欲。 我要坐着思考，嗯，静静地沉思，思考自己的存在，思考自己的痛苦，思考自己的出路。 10 novembre 怎样生活每天都在奔跑————不好，这不是我想要的生活。 每天都在学习————不好，这也不是我想要的生活。 每天都在工作————不好，这还不是我想要的生活。 我自己究竟想要什么样的生活呢？我不知道。 嗯，或许是那种比较清闲的生活。繁忙让我厌烦，压力让我不悦。 让别人拉着我向前奔跑？天哪，那有什么趣味？ 让自己逼着我向前奔跑？嗨，奔跑又是为了什么？ 按照“习俗”追求的许多东西，想来根本没有意义。归根究底，仍是放牛娃的逻辑： 学习，成功，娶妻，生子，学习，成功，娶妻，生子…… 无聊之极。 极少去思考自己的思考。平日里所谓的思考，想来更多的是一种习惯，一种迷惑。 恶念在心中生起来却浑然不知，甚至乐此不彼。可悲，可叹，可恶！ 终日只知愤世嫉俗，殊不知最俗最坏的竟是自己。 妍媸自彼，与我何干！ 其实只愿在大部分的时间里，能够真真正正地静下心来，读懂我的灵魂，读懂我的心…… 这个世界是虚幻的，我的心也是虚幻的。无奈。 |
|
|
