4.1周报——李和合

本周主要完成了增量式论文第四部分的书写，在增量过程中有两部分的约束条件，感觉自己第一部分在子背景下的约束条件写的不够完善，有关的定义写的也不够规范，最近也稍微看了一些其他论文有关部分，但是也不是特别有想法，想再周一和老师敲定后再进行修改。