- 博客(42)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 AI pre-proposal
<br />今天開始寫了，我們組的3個項目確定為股票市場預測，魔方和一個不知道幹什麼的什麼（sorry robin，實在是對那個項目沒什麼興趣都沒聽你說什麼）。<br /> <br />個人比較傾向於魔方的那個，因為要做畢設已經很無聊了，想找個好玩的 ：）負責找資料，看到去年8月份有一個最近的研究（God's Number）證明upper和lower bound都是20.想下載可是學校的mathematics magazine就是少了vol83 ……<br /> <br />還有很多種顯存算法，所以打算先研
2011-04-01 22:44:00
487
原创 时间飞逝
<br />看看上一篇还是2个月以前的了，那时候还在想去荷兰做毕设，今天已经跟这里的老师开过第一次会了~~ <br />停止一贯的摇摆不定，不管这个题目是不是最好的，只管尽量做到最好：）
2011-03-26 02:08:00
346
原创 多么不真实的一天啊
<br />昨天晚上回复了荷兰那边老师的邮件，因为饿了所以喝咖啡导致失眠，lab partner报告他生病挂了，反正睡不着就自己看Jean给的feedback，顺便跟他定了个今天下午的appointment。早上睡过SB的上课时间终于醒来，看到了Jean的确认，意外收到了Josef的邮件又考虑跟我谈project预约的时间刚好是第一个appointment以后一小时，洗个澡马上去FOPL，上课期间写好打算给Jean看的代码，下课前David居然提议大家晚上去酒吧聚会。下课直奔Jean的办公室碰到他溜号，顺便
2011-01-29 05:00:00
561
原创 Going home
<br />It has been a long time that I use 'The starry night' as my desktop, but recently I can feel it is different~~ so I guess I am really going crazy now and need a little break. So give myself 3 weeks: the first week for totally relaxing and enjoy, thin
2011-01-23 20:53:00
500
原创 Lecture 2
<br />Round 1：<br />今天的题目是 Domain Specific Embedded Languages<br /><br />正式上课之前，Patrik讲了一下 Signal的代码实现，对其中 unSig的部分我不是特别理解，其他部分都还可以<br /><br />DSEL: Aset of types modelling concepts in the domainCombinators: combing and modifying elementsRun functions:
2011-01-20 18:18:00
481
原创 Lecture 1 & 2
老师说这者门课在学计算机的学生看来就是一个应用算法课程+额外的学习关于蛋白质结构的东东。由于是跨学科课程，老师会讲c编程给生物背景的人，蛋白质结构知识给我们。也就是说有一半的时间会很无聊……第一节课基本算课程介绍，然后讲了一下Transformationshomogeneous transformationTransformations in 3Dc code第二节课：C codethe primary Structure of Proteins红色的部分要继续补充，等周五的presentation做完以后
2011-01-20 00:56:00
431
原创 Equations: a dependent pattern-matching compiler
<br />Lecturer Matthieu Sozeau <br /> <br />Abstract (from calender page)<br />"We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured,
2011-01-20 00:27:00
477
原创 Game Theory and the Web
<br />Lecturer Professor Paul Spirakis<br /> <br />Official Introduction:<br />The Internet and the Web are not only a huge artifact but also a major social phenomenon, dominating our everyday lives in many ways. But the
2011-01-19 00:49:00
696
原创 Lecture 1
Round 1: 旧时的纪录内容主要是对老师和课程的介绍，加上少许对FP的recall，没太多新的知识，不过发现自己有很多缺失：first class:undefined:lazy evaluationid function有时间要补上Round 2:一晃一年了已经，又是AFP的季节~~过去的一年，关于Haskell的编程做的并不多，大部分时间花在增强理论知识上。很庆幸有机会再次学习，可以体验一下这一年自己的变化……Lecture Notes 跟去年的讲义内容差不多，highlights：1. (H
2011-01-18 05:11:00
430
原创 简单规划一下接下来的半年Q3&Q4
接下来的半年：1。重头戏是毕设当然，后天争取根Josef定下来，然后就开工2。FPL的presentation还没有做，不过已经开始了解DPH了所以不用太着急，但是project是个很大的问题，始终不知道要做什么，不过总希望可以完成课程，所以要努力找3。如果毕设顺利，考虑给BME也找个毕设Q3：1. 继续完成AFP2. 选Parallel Computer Organization and Design，希望对毕业设计有所帮助3. 要不要再选一门只要考试没有作业的课呢？可以给BME那边累计学分~~ 考虑一下
2011-01-12 16:01:00
1358
原创 oral能考什么呢？
后天是这门课的oral test，不知道能考什么呢？正门课程大部分的时间在讲Promela&SPIN和JML&Key，如果不是用笔编程的话还能考什么呢？谈谈你对propositional logic and first order logic的看法？口述 sequent calculus？？抓狂……
2011-01-12 15:52:00
645
原创 考一天……Poor AL and LCS
<br />n久没有早上去考过试了，以为是8点所以披星戴月的踏冰出门，7点55到考场发现原来是8点半开考，纠结的35分钟只能陪监考老爷爷聊天，其中一句老爷爷伤感的话是，今天有20个人注册考试的，结果只来了7个。我想告诉他这个就是冬天早上考试的结果，没好意思说……<br /> <br />先烤AL，真的觉得AL的大部分知识其实早已经掌握了，但是这个汹多的题量真的让人受不了，4个小时没停笔还是有些没写完，阿三真是没有水准，用题量来压人，而且逼我们写在卷子上的狭小空白中，还要清楚明白，只能先在稿纸上写清楚再用铅笔
2011-01-12 15:38:00
538
原创 SP2结束
<br />疯狂的连续4天的考试，意料之中MC考的不好，FP也还是没有提高，PP差强人意，唯独密码是个惊喜~~<br /> <br />因为是最后一天考试，都没有怎么复习，而且考前有筋疲力尽的感觉加上之前眼镜男说他从头到尾很辛苦的学也只勉强及格，差点要放弃。勉强看了看往年试卷，找出看起来比较重要的考点，发现有些跟平时的作业和实验很契合，自己还有点了解，于是抱着拿卷子去的态度去考，做题时的感觉是要么一道题整个都会，要么就是完全无从下手，最后的成绩还算能让人满意~~ 想想这门课根本是因为听起来很好玩才选的，因为
2011-01-10 00:28:00
431
原创 Study period 2
<br />下周开始是study period 2，任务是present一篇重要会议上的research paper，选了ICFP今年的一篇Regular, Shape-polymorphic, Parallel Arrays in Haskell，希望可以做出一个比F#好的表现。<br /> <br />过了一个period对门课的感觉就是强迫我们收集信息然后以适宜听众的难度讲出来，听起来不能太难也不能太简单，材料不能太抽象也不能全都是代码，就会要求对讲得内容有深入的理解，才能应付不同听众的不同问题。对我
2010-10-25 05:04:00
650
原创 15/10/2010 最后一周
F# :P 主流语言问题多多，快晒干在台上了，不过发现我现在进阶到脸不红心不跳了，一个词形容—脸皮厚Javascript: 比我的还烂，咔咔RegExpuntyped variblesscope global & local //interpreter first collects all variables in f without initialize, then goes through all lines one by one againvar x = "hello" //globalfun
2010-10-15 20:26:00
442
原创 F# _ My poor presentation
<br />Today is my turn, talk about F#. 8 hours to prepare everything, exclude install Visual Studio 2010(that almost killed me, took me a day to clean my disk for it). I feel it is kind of cheating, cause everything is just there on MSDN library, I don't n
2010-10-15 19:00:00
453
原创 袋鼠书的驯兽师作者教Erlang
去年就想参加的Erlang课程今年终于参加了，袋鼠书的Frecesco（拼写的。。。）集中上5天课给本科学生讲基础入门的Erlang，错过了前两天不过没什么可惜的都太基础了，第三天下午参加了，觉得还果然是基础的~~Day3 concurrent programming & process design patterns去年装的Erlang，之后就没搭理过了，找了半天才找到，emacs的erlang-mode都没有设，周围的小盆友们非说一定要用emacs编译shell才能用，I don't buy it~~凭
2010-10-07 16:03:00
943
原创 没冲在前面的都是草包
<br />Ada only today:<br /> <br />code~~code full of hte screen, didn't get anything interesting<br /> <br /> <br />总结，前两次做的都是神人，中间跑了无数衰人，剩下一群草包都在往后褪……
2010-10-01 19:28:00
490
原创 Week 4
LISP:Prolog: http://en.wikipedia.org/wiki/PrologLogic programmingNo typesHorn clausegood:for some AIusable for parserssolving problems tightly involed with logicprotoyingbad:arithmeticsnot really correspond well to logic e.g. : p->peffici
2010-09-24 19:58:00
446
原创 明天考试咯
一晃一个q就过去了，明天要考试了~~ 一直觉得Basic level的算法没什么难度不过是用英文再学一遍，一直肤浅的认为针对一个题目直接想出一个算法比较快捷方便，但现在才认识到，其实复杂度和证明才更重要，迅速将问题转化到已有的求证过的成熟方法上才是正确的思路~~ 就像语言，稳定的可证明的核心远远比花哨庞大的功能更有优先级~~ 很多道理很早就知道，但要有亲身的体会才能真正领悟
2010-05-24 06:02:00
473
原创 算法设计——Chapter 1
Stable Matching Gale-shapley algorithm Interval Scheduling Greedy algorithm Weighted Scheduling dynamic programming Bipartitle Matching Independent Set
2010-04-18 05:57:00
429
原创 CC Project -- A Javalette compiler -- to be continued
我的终极懒惰是我拖延到了part A deadline前一天还什么都没有写~~疯狂的10个小时以后交了front end暂时拖延~~惭愧啊惭愧，实在是最近生活太混乱~~ Part A1. Front end abstract syntax + lexer and parser 由BNFC完成，使用老师给的cf文件加以修改 type ch
2010-03-30 09:13:00
594
原创 Lab 1 质数计算算法复杂度
prime: array [1..n] of boolean = all truefor p in 2..sqrt(n) loop if prime[p] then m = p*p while m prime[m] = false m = m+p e
2010-03-30 05:14:00
657
原创 Lab one 彻底摧毁我的假期
看了一下课程结构，大头都在开始，阴险小老头忽悠我说可以出去玩，结果发现现在只能用假期努力赶工了~~front end还不怕，back end可是真的没有谱啊，见鬼的JVM~~ 周末赶完算法作业就开始全力赶工~~
2010-03-28 04:49:00
370
原创 旅游回来当头deadline，美好的开始
偷懒被老师发现了，哈哈，估计是很有点生气，在邮件立看出来了~~好好赶作业吧，争取用好的作业挽回一点形象~~ ps:2周的课就给我48小时延长，老师好狠~~
2010-03-28 04:44:00
625
原创 AFP ongoing
呵呵我居然荣幸的通过了考试，虽然成绩一般般，但是考虑到周围剩下的以PHD居多，也就有点开始沾沾自喜起来~~要继续完成之前没有完成的Lab，希望可以完全完成这门课~~ BTW，周五一群LOSER的会议真实无聊，何苦抱怨，自己在努力就好了，纠集一群人做个远在3个月后的空洞计划，何苦~~ 今天看见批改的卷子了，一多半分都是monad和monad transfer得的，程序
2010-03-28 04:38:00
379
原创 外表憨厚慈祥的老头其实很阴险
拿去年的卷子忽悠我们说简单，当然的确去年的很简单，结果讲的不考，考的不讲，及格容易高分难，阴险阴险地~~幸好有努力学，除了JVM那里，希望我天马行空的发挥能被认可~~就偷懒没学JVM，结果下个Q的Compiler Construction就做这个，还是自己恶补吧~~~
2010-03-13 00:06:00
585
原创 疯狂AFP
终于在停止写课程总结之后也停了Lab的部分只是继续上课~ 最后一节的时候上课的人终于从第一节的60+掉到20-，不愧是Advanced~~ 前天考试，诺大教室都是考数学的，就靠窗户一小排是考AFP的~~让人崩溃的题目，前面的哥们直接白卷走人，我用了超过一半的时间来弄懂老师打算问什么，最后半小时灵感才来，坚持到了超时15分钟才把卷子交给老师，第一次发现原来可以延时交卷。当晚大家在
2010-03-12 23:57:00
486
原创 20100129 Lennart Augustsson_Partial Evaluator
Speaker Lennart Augustsson, Standard Chartered Bank Title O, Partial Evaluator, Where Art Thou? Abstract Partial evaluation is now a quite old
2010-01-30 04:39:00
633
原创 20100129 Lecture4_Lexers and parsers
因为觉得这次课重要于是翘掉一半TW4MS，多少还真有些收获 讲了一些关于lexer和parser以及相关的基本知识，其中几部分是我以前不清楚的：Conflicts， left factoring， reuduce-reduce conflits, shift-reduce conflitsLeft recursion的问题在于没有消耗表达式的过程就直接自我调用，这样永远没有
2010-01-29 20:34:00
436
原创 旁听硕士答辩——爱立信，WireShark，GGSN
今天听了一个用了BNFC给爱立信做GGSN东东的人的答辩，没太明白讲的是什么~~貌似是用于手机上网的 老师问题是grammar structurenumber of rulesmeaning of abbreviationthe shortage of the designnumber of conflicts GGSN - Gateway G
2010-01-28 23:44:00
629
原创 20100128 Lecture4_Monad Parser
法国PHD迟到10分钟才出现，很让人无奈~~ 今天讲的是monad parser， 最初的雏形跟functional programming的时候差不多，然后进行了2轮优化，过程基本是遵循提高效率原则，对++和〉〉=操作进行改动，讲解过程似懂非懂（困的云里雾里的），不过最重要的是随时清楚自己操作的是什么，类型，特性统统要非常明白，这样才能遵循monad的law进行优化~~ 好多pa
2010-01-28 22:55:00
403
原创 今天终于写了一篇烂东西交上去了，内容空洞，语言乏味~~
Normal 0 7.8 磅 0 2 false false false EN-US ZH-CN X-NONE
2010-01-27 04:54:00
606
原创 20100126 Lecture 3 BNFC tur
越来越觉得自己的生活是杯具，抗住research proposal的压力来上课，结果却是一个 BNFC的指导，基本上跟读说明书没什么区别，不过就是这次是 说明书的作者给我们念：（ 顺便讲了lab 1，还是年说明书，我晕倒，还是自己回家研究比较靠谱～～ 继续RP
2010-01-26 21:52:00
470
原创 20100125 Lecture3 Snake Game
今天是敬爱的法国PHD上课，准确说是这周都是他，一如既往地难懂的英语…… 今天全部是关于代码，实例关于Deep和Shallow，虽然我还是没有看出来哪个更好，尽管他建议DEEP来保证正确性~~另外就是MONAD，PHD同学给我们总结了一个SHEET，说一定要弄得非常非常明白~~不过看完代码之后对于第一个实验的第一部分终于有些感觉了，希望可以按时顺利完成！ 果然很多东西要做，
2010-01-26 07:02:00
356
转载 Ubuntu如何使用root帐户登陆（Ubuntu各版本均可用）
刚刚在vmware里装好了ubuntu8.04,由于Ubuntu root用户在默认情况下是禁用的，不允许用root登陆,而有很多时候的操作又需要有root用户的权限。要使用root帐户登陆，遵循以下步骤：1、首先重置root密码： 利用现有管理员帐户登陆Ubutu，在终端执行命令：sudo passwd root，接着输入密码和root密码，重复密码。再重新启动就可以用roo
2010-01-25 09:57:00
845
原创 在Ubuntu里从头架构环境
FP的时候一直在windows下用Emacs+WinHugs，完全能满足需求，GHCi基本没有碰过~~ 有了新的Ubuntu虚拟机，不用觉得挺浪费的，而且关于wxHaskell的帮助在课程论坛里全是Ubuntu和Mac的，windows完全没有消息，于是决定从头安一套Haskell的东西在Ubuntu下~~ 一顿毫无头绪的下载阅读说明之后，终于明白要安装GHC,Cabal,Cab
2010-01-24 09:18:00
721
原创 20100122 Lecture2 Abstract and Concrete Syntax(Self study)
因为去上写作所以错过了这次课，不过有自己补习～～ 主要讲了PARSE TREE的作用以及产生，CONTEXT-FREE GRAMMA(BNF), AMBIGUITY... 相关阅读有点很数学的 感觉，活像看LOGIC IN COMPUTER SCIENCE的教材，看得头疼～～ 这两天有点浮躁，看不太进去书，还是做EXERCISE吧，估计就可以检查出来哪里不足了
2010-01-23 23:26:00
484
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人