- 博客(11)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 多么不真实的一天啊
<br />昨天晚上回复了荷兰那边老师的邮件，因为饿了所以喝咖啡导致失眠，lab partner报告他生病挂了，反正睡不着就自己看Jean给的feedback，顺便跟他定了个今天下午的appointment。早上睡过SB的上课时间终于醒来，看到了Jean的确认，意外收到了Josef的邮件又考虑跟我谈project预约的时间刚好是第一个appointment以后一小时，洗个澡马上去FOPL，上课期间写好打算给Jean看的代码，下课前David居然提议大家晚上去酒吧聚会。下课直奔Jean的办公室碰到他溜号，顺便
2011-01-29 05:00:00
574
原创 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
512
原创 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
511
原创 Lecture 1 & 2
老师说这者门课在学计算机的学生看来就是一个应用算法课程+额外的学习关于蛋白质结构的东东。由于是跨学科课程，老师会讲c编程给生物背景的人，蛋白质结构知识给我们。也就是说有一半的时间会很无聊……第一节课基本算课程介绍，然后讲了一下Transformationshomogeneous transformationTransformations in 3Dc code第二节课：C codethe primary Structure of Proteins红色的部分要继续补充，等周五的presentation做完以后
2011-01-20 00:56:00
448
原创 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
508
原创 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
735
原创 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
463
原创 简单规划一下接下来的半年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
1447
原创 oral能考什么呢？
后天是这门课的oral test，不知道能考什么呢？正门课程大部分的时间在讲Promela&SPIN和JML&Key，如果不是用笔编程的话还能考什么呢？谈谈你对propositional logic and first order logic的看法？口述 sequent calculus？？抓狂……
2011-01-12 15:52:00
653
原创 考一天……Poor AL and LCS
<br />n久没有早上去考过试了，以为是8点所以披星戴月的踏冰出门，7点55到考场发现原来是8点半开考，纠结的35分钟只能陪监考老爷爷聊天，其中一句老爷爷伤感的话是，今天有20个人注册考试的，结果只来了7个。我想告诉他这个就是冬天早上考试的结果，没好意思说……<br /> <br />先烤AL，真的觉得AL的大部分知识其实早已经掌握了，但是这个汹多的题量真的让人受不了，4个小时没停笔还是有些没写完，阿三真是没有水准，用题量来压人，而且逼我们写在卷子上的狭小空白中，还要清楚明白，只能先在稿纸上写清楚再用铅笔
2011-01-12 15:38:00
545
原创 SP2结束
<br />疯狂的连续4天的考试，意料之中MC考的不好，FP也还是没有提高，PP差强人意，唯独密码是个惊喜~~<br /> <br />因为是最后一天考试，都没有怎么复习，而且考前有筋疲力尽的感觉加上之前眼镜男说他从头到尾很辛苦的学也只勉强及格，差点要放弃。勉强看了看往年试卷，找出看起来比较重要的考点，发现有些跟平时的作业和实验很契合，自己还有点了解，于是抱着拿卷子去的态度去考，做题时的感觉是要么一道题整个都会，要么就是完全无从下手，最后的成绩还算能让人满意~~ 想想这门课根本是因为听起来很好玩才选的，因为
2011-01-10 00:28:00
463
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人