我读本科时，学校指定的清华大学出版社的一本理论计算机科学教材，完全是狗屁不通。作者显然是从其他地方抄过来的，抄也没抄对，自己其实完全就不懂。

我于是花了两个晚上和好多包巧克力豆，硬是从字里行间，逆向工程出原始的正确的理论模型。当时真是折磨。没想到修一门课读一本教材，还需要这么费力地搞逆向工程。

当时这门课的授课老师其实也不懂，于是后面每次交作业，老师都会先把我的作业本翻出来学习我的答案，毕竟只有我一个人是明白人。

我母校（江苏大学）的计算机专业的教学大纲确实是雄心勃勃，可惜选的教材大多很不给力。我一般都会去找美国高校的影印版英文教材来看。而那门课又是比较前沿的理论研究，即使是欧美的资料也很难找，毕竟在美国其实也是较生僻的研究生课程。

当年我也基于悟出来的这个理论模型，从零实现了一个结构化程序的形式化证明系统，后来还跟美国的一位理论计算机的 PhD 一起交流过，他也对我当时的工作非常感兴趣。