列举一下本周工作：

  • 软件分析A4
  • Semantic作业
  • PL作业
  • ISER proposal
  • DMCK main
  • …

其他方面的就不在这里写了。现在是14：32，到19：00还有270分钟。我们抓紧把DMCK多搞一点。