[3/3] 其实我之前在澳国立（ANU）干得并不开心：每天从早到晚都在忙着写形式化证明，然后偏偏这个证明又非常难写——有个长达 4000 行的单体证明整整花了我半年时间，反复修改相关定义和引理最后才搞定。写不完就发不出第一篇论文，于是也就没业绩（就算有一篇论文也不足以升职或续合同）。手下带的学生都要手把手地从头教起，因为没人之前学过定理证明，花了超额时间但这些也算不上业绩。我早上根本没时间吃早饭（原则上9点开始工作，我8点多才起床）。停职在家那段时间我反而吃上早饭了——每天上午10点之前去坐车家附近商场的麦当劳吃早饭，然后去商场旁边的社区图书馆里继续写代码，下午再回家。按照大学规定我有权召集一个委员会重新评估校领导的决定，我就简单写了封评估申请，但没抱希望（后来那三个教授用了两周时间一致同意校领导的决定）。就是这么荒诞的国外职场。