- 博客(2)
- 收藏
- 关注
RSS订阅原创 学习Coq笔记（一）：Windows下安装Coq
正在学习形式语义这门课，需要使用到Coq作为辅助语言进行描述。因此，需要在熟悉Coq语言。然而，直接百度Coq会出现很多奇奇怪怪的结果（Google更准确，但是我在加载自定义库遇到的问题没有直接找到答案），因此特别在这里做个笔记，以备后来查验。 Coq的核心下载地址：https://coq.inria.fr/download，我选择的是Windows下的8.8.1版本。安装之后，记得将安装...
2018-09-15 20:15:43
7253
1
原创 [LeetCode]278. 第一个错误的版本
新的开始为了准备保研的机试，决定选个OJ练习一下，于是在好友推荐下选择了LeetCode。刚刚开始OJ之旅（学校的OJ比较松，暂且不算），就遇到了超时的问题。理论上很多操作都是在同一时间复杂度的，但实现起来却表现不同。作为一个刚刚开始踩坑的新手，想要记下这些曾经未预料的情况，为未来做准备。切入正题所谓眼高手低，第一次就直接试了278。看到题目，由于本身版本的正确性在本质上就是已经排序好的数组，猜到...
2018-05-29 11:08:17
385
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人