A Lisper
·
2024 冰河年鉴
💡
原文中文，约2000字，阅读约需5分钟。
📝
内容提要
2024年是我在澳大利亚的第一年，生活平稳，身体健康，完成了必要手续。工作中写了大量证明代码，指导学生项目，但对他们的水平不太满意。日常生活单调，未能游览其他城市，怀念意大利。未来两年需发表论文以证明学术能力，争取留在这里或回欧洲。
🎯
关键要点
- 2024年是我在澳大利亚生活的第一年，身体健康，手续完整。
- 工作中写了超过一万行形式化证明代码，修复了一个重要引理，但尚未发表论文。
- 指导四名学生的毕业项目，对他们的水平不太满意，可能与学校生源、研究领域难度和个人教学水平有关。
- 日常生活单调，未能游览其他城市，怀念意大利的风景。
- 未来两年需发表论文以证明学术能力，争取留在澳大利亚或回欧洲找工作。
❓
延伸问答
2024年在澳大利亚的生活情况如何？
2024年是我在澳大利亚的第一年，生活平稳，身体健康，手续完整。
在工作中取得了哪些成就？
我写了超过一万行形式化证明代码，修复了一个重要引理，但尚未发表论文。
指导学生项目的感受如何？
我对四名学生的水平不太满意，可能与学校生源、研究领域难度和个人教学水平有关。
在澳大利亚的日常生活有哪些挑战？
我的日常生活单调，未能游览其他城市，主要在家、超市和学校之间往返。
未来的学术计划是什么？
未来两年需发表论文以证明学术能力，争取留在澳大利亚或回欧洲找工作。
对意大利的怀念表现在哪些方面？
我怀念意大利的风景，虽然在澳大利亚也能买到意大利的生火腿和奶酪。
➡️
