从今天起寒假似乎就已经开始了。虽然说学校寒假开始了。但是导师还是要求多留在学校学习学习，写写论文什么的。但是我目前的状态来看。感觉自己在停步不前。
最近在做代数语义，代数语义我觉得挺难的，我自己不太会做，而且看朱老师的论文也看不明白。
我在想如何使用统一的样式来表示连续的行为？
用统一的样式表示连续行为之后还要表示并发？
并发是什么样的规则我也不清楚？
最近虽然每天在实验室待着，但是学术上没有任何进展，这可怎么办？论文到现在也还没有开始写。
这两天再仔细想想吧。
但是我自己感觉不想写论文，只想玩javaweb，哎，这是病，得治。