2022.03.12 会议记录

1. Kotlin 调研：继续调研 diktat
2. 毕业设计：
   1. 演化算法可以采用 NSGA-Ⅲ，直接手写更方便
   2. 先将符号执行和演化算法直接结合，不要交互，先保证整个流程走通
   3. 可以把符号执行的结果和随机输入结合作为演化算法的一部分（可能随机输入的结果更好）