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