摘要：这一年真的忙翻了，连画画的时间都没有了T_T…但也是很有收获的吧。 年初的时候，参加了豆瓣的一个活动，告诉活动举办者你今年的三个愿望，他会在年末的时候把愿望豆邮回来，问问你是否都有实现。此事过后我就忘了，年末收到豆邮，我当时许的三个愿望是1) 找到一个好工作；2) 申到GSOC；3) 完成项目，竟然都实现了.原本还没有感觉的事情，突然就欣喜不已，这一年，我可以不用对自己失望了。 1-3月... 阅读全文

摘要：题外话：很久没更新了，前一阵子同时扛着两个项目，实在无暇他顾。如果结束了一个，又要开始找工作了。一直想着对自己做的项目总结一下，还是等这段时间过去吧。今天投了搜狗校招，邮件通知我去做测试。旁边的MM打开测试网页发现提示说恭喜她已经通过测试了，而我打开了俨然一个题目放在那里，说30分钟做完。题目给出了一个编码的函数，要求给出解码部分的代码，然后执行程序，将运行结果提交。代码如下#include <stdio.h> #include <stdlib.h> #include "stdint.h" #include <assert.h> #inc 阅读全文

摘要：很久没写博客了，最近写了很多代码，虽然是对编程能力的一大锻炼，但是并没有什么感悟可以写成合集，所以也就不提了，C++学习之路任重道远。 勉勉强强完成了看100篇论文的任务，但泛读居多，真的很泛很泛。现在挑出被我实现的两篇来说一下，基于模板的手势识别算法，很简单也挺直观的。 Gestures without Libraries, Toolkits or Training -- A $1 Recogn... 阅读全文

摘要：刚开学的时候并不是很忙，只是寒假任务只完成了一半，不知道该如何交代。我把大把的时间用在了玩游戏上，玩了近二三十个幻想游戏，大多是解谜。其实解谜的风格都差不多，可是看到画面还不错，如果再带点奇幻元素，我根本就无法抗拒。但玩了这么久，还是觉得，经典的只有那么几个。 前几天在写项目申请书，每天一大早跑来开会，然后回去改申请书，晚上交掉，第二天早上继续开会。后来老板说我们写申请书的能力都有了很大提高，用语... 阅读全文

摘要：about English 室友都在背单词练口语准备考TOFEL，虽然我近期没有这个打算但也不能就荒废了英语的学习。拜美剧所赐听力一直没拉下，但单词量一直被大家鄙视，因为连四级都不到。 但是我确实是很讨厌看单词书，没有应试的压力，我可以悠闲地看着电视背单词，嗯。。。   about C++ 把More Effective C++带回去看完   about programming 之... 阅读全文

摘要：如果不总结一下，我真的会觉得这一年时光飞逝来不及留恋。其实有很多事情都记不起来了，只能凭借着自己的日记来提醒自己曾经做过什么，也许以后我应该每月写一个总结。一月的事其实已记不清了，大概就是窝在实验室里忙复习和考试吧。映像最深的就是用一个下午的时间认识coq然后用它把形式化语言的作业写完了，虽然当时蛮有成就感，不过现在已经都忘记了。幸好当时写了博文做纪念，因为想到国内的资料还很少，希望能给被人提供一些帮助。寒假在家玩，带了本英文版的C++ primer，但只看了一半。画了几幅画，做了些ACM题，其他时间都玩去了。看了一整季的美国偶像，也许大概英文听力有一点进步吧^_^。。。寒假的设想总是美好，现 阅读全文

摘要：昨天学姐运行我的程序，结果总是不对，原本以为注释掉几条语句就可以，结果直接崩了。因为是GPU程序，而我没办法使用EmuDebug，所以只能一点点注释来查错。刚开始学CUDA，真的不知道如何是好。这个错误隐约见过，我觉得是内存访问越界，可是又不明白，为什么在计算了那么多次之后才越界。昨晚百思不得其解，今天早上爬起来继续看代码的时候发现，从一维索引转二维索引有错误，改过来之后，终于没有再崩溃了。以前没... 阅读全文

摘要：下面是谓词逻辑。在coq里，量词的表示如下：全称量词：forall存在量词：exists同样都有自己的引入规则和删除规则1. forall引入规则 intros x 输入intros x就可以提取出一个前提x，使得结论成为F。intros前面有讲很多，这里就不多说了。2. forall删除规则 apply H 对于已知的前提H : forall x:A , F.可以用它来简化结论，比如对于H : ... 阅读全文

摘要：用coq做了一个作业，所以现在会一点点证明了。不过这只是coq中的很小很小的一部分，现在把我的理解写出来。 首先隆重介绍命题逻辑的5种基本连接词： ~ 非 /\ 合取 \/ 析取 -> 蕴含 <-> 等价 每种连接都有两种基本规则： introduction rule 引入规则 elimination rule 删除规则 这些规则是用来证明一个命题是否正确的根本。下... 阅读全文