刚刚结束了spin的lab,马上要开始的是KeY的, 希望不要太变态……
KeY之初体验:
昨天晚上吃夜宵的时候玩了一下,感觉很好,成功时候的庆功号声很扯,最开心是使用自动推导证明的时候,然后开始想要是可以在考logic in computer science的时候用这个,大家肯定都是100分了,哈哈~~
还是没有看出来这个怎么能跟第二个实验扯上关系,JML和逻辑范式,纠结啊~~
想起课程论坛里面的搞笑事件:
老师曰:下周放实验,因为至少要上过下周的第一节课才有可能做实验
某生曰:I really appreciate能早点看到实验以便学习更有目的性
老师曰:I really appreciate能多点时间准备出一个好的instruction
某生曰:收到
众人乐翻……