- 博客(5)
- 收藏
- 关注
RSS订阅原创 【Coq 笔记自用】
第一种方式使用未知参数，c是参数，next_col_alt是函数名第二种方式是使用函数构造函数，将函数作为其它函数的结果’返回’end.fun c =>end.
2024-04-09 21:45:19
801
1原创 【SAT】
Bounded Model Checking of Signal Temporal Logic Properties using Syntactic Separation1. The main points of this paper.In this paper, the authors from Pohang University of Science and Technology present a new symbolic model checking algorithm for cyber-ph
2022-05-04 17:09:45
1127
原创 JAVA双指针
双指针主要分为快慢指针和左右指针两种。快慢指针解决链表含环问题以及相差问题。左右指针解决数组问题，左=0，右=length-1，二分查找等问题。快慢指针1.判断有无环：快指针一步走两个，慢指针一步一个，如果有环，最后指针会相遇；如果无环快指针先遇到null;2.快慢指针可以寻找链表的中点（左右指针也可以）3.相差问题，寻找链表的倒数第k个元素快指针先走k步，然后快慢指针同时同速前...
2020-03-31 09:59:07
1365
原创 Stand, with feet on the ground
今天是20年3月30日，星期一，由于疫情原因，我已经在家里多呆了五个星期，现在第六个星期已经开始，而开学依旧遥遥无期。昨晚迷迷糊糊没有睡好觉，满脑子都是导师不要我了，早上醒了之后，发送的邮件又把日期写错了，估计导师不会再回话了。空空如也的简历，只能考课程填充，大一大二没有想清楚的事，现在都是自食其果。由于现在是大三，在家期间也认真考虑了自己以后到底要从事什么方向，我本科985的软件工程，两年半的...
2020-03-30 17:45:03
165
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人