战斗,才刚刚开始
CSCI4011 Formal Language and Automaton Theory是一门极端严肃,极端讲求逻辑推理证明的课。课本的名字叫Introduction to Computation Theory,可以说,涵盖的内容是当今计算机科技中最最最基础的定理和概念。这些概念和定理奠定了计算机科学的基石。正因为如此,尽管4011被喻为本科生课程中难度最大的课,但它仍然被列在必修的列表中。
也许正印了“天将降大任”那句古训,本人首次TA就被“不幸”安排到这门课上。还好本科时上过这门课,有一定的理论基础。但是刚开始那段时间,面对完全陌生的课本,陌生的美国授课流程,陌生的学生的面孔,就像一下子被丢进了大海中,挣扎在漂浮与溺水之间。“天将降大任于世人也,必先苦其心志,劳其筋骨,饿其体肤,空乏其身,行胡乱其所为,然后动心忍性,增益其所不能”。近一个学期的磨砺,逐步掌握了课程内容,语言能力大大提高,和学生之间也熟悉起来,上课的时候不但能充分讲解概念和习题,还能游刃有余地施展各种授课技巧,必要的时候引用现实生活中的例子予以阐述,大量的和学生互动,再不然说点笑话活跃气氛…… 短短的一个学期,对自己的进展,连我自己都感到难以置信!这就是所谓的“增益其所不能”吧。
今天是本学期倒数第三次习题课,压着还略有咳嗽的嗓子,在讲台上如行云流水般进行了50分钟的逻辑推理后,竟然有种意犹未尽的感觉。I feel, I am enjoying teaching! (我想,我是在享受授课的过程吧。)
CSCI5103 Operating System 第二次期中考试揭晓,又拿到一个最高分。今天碰见教课的教授,他拍着我的肩膀说: "Good for you. You deserve it!" (“这是你应得的”)
关于Research,参与的一个项目的论文已经正式提交到本领域最有声望的会议上,等待明年一月的评审结果。如果有幸被接受,那么,2008的夏天,北京见!
生活充满了未知,充满了无限的可能,充满了等待发掘的精彩…… 真正的勇士,时刻整装待发,因为,战斗,才刚刚开始!







