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