https://blog.youkuaiyun.com/S_Janezh-cnhttps://blog.youkuaiyun.com/https://blog.youkuaiyun.com/S_Jane/article/details/6295975https://blog.youkuaiyun.com/S_Jane/article/details/6295975S_JaneFri, 01 Apr 2011 22:44:00 +0800今天開始寫了，我們組的3個項目確定為股票市場預測，魔方和一個不知道幹什麼的什麼（sorry robin，實在是對那個項目沒什麼興趣都沒聽你說什麼）。
 
個人比較傾向於魔方的那個，因為要做畢設已經很無聊了，想找個好玩的 ：）負責找資料，看到去年8月份有一個最近的研究（God's Number）證明upper和lower bound都是20.想下載可是學校的mathematics magazine就是少了vol83 ……
 
還有很多種顯存算法，所以打算先研]]>https://blog.youkuaiyun.com/S_Jane/article/details/6279222https://blog.youkuaiyun.com/S_Jane/article/details/6279222S_JaneSat, 26 Mar 2011 02:08:00 +0800看看上一篇还是2个月以前的了，那时候还在想去荷兰做毕设，今天已经跟这里的老师开过第一次会了~~
停止一贯的摇摆不定，不管这个题目是不是最好的，只管尽量做到最好：）]]>https://blog.youkuaiyun.com/S_Jane/article/details/6168493https://blog.youkuaiyun.com/S_Jane/article/details/6168493S_JaneSat, 29 Jan 2011 05:00:00 +0800昨天晚上回复了荷兰那边老师的邮件，因为饿了所以喝咖啡导致失眠，lab partner报告他生病挂了，反正睡不着就自己看Jean给的feedback，顺便跟他定了个今天下午的appointment。早上睡过SB的上课时间终于醒来，看到了Jean的确认，意外收到了Josef的邮件又考虑跟我谈project预约的时间刚好是第一个appointment以后一小时，洗个澡马上去FOPL，上课期间写好打算给Jean看的代码，下课前David居然提议大家晚上去酒吧聚会。下课直奔Jean的办公室碰到他溜号，顺便]]>https://blog.youkuaiyun.com/S_Jane/article/details/6160084https://blog.youkuaiyun.com/S_Jane/article/details/6160084S_JaneSun, 23 Jan 2011 20:53:00 +0800It 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]]>https://blog.youkuaiyun.com/S_Jane/article/details/6155599https://blog.youkuaiyun.com/S_Jane/article/details/6155599S_JaneThu, 20 Jan 2011 18:18:00 +0800Round 1：
今天的题目是 Domain Specific Embedded Languages

正式上课之前，Patrik讲了一下 Signal的代码实现，对其中 unSig的部分我不是特别理解，其他部分都还可以

DSEL: Aset of types modelling concepts in the domain Combinators: combing and modifying elements Run functions:]]>https://blog.youkuaiyun.com/S_Jane/article/details/6153911https://blog.youkuaiyun.com/S_Jane/article/details/6153911S_JaneThu, 20 Jan 2011 00:56:00 +0800https://blog.youkuaiyun.com/S_Jane/article/details/6153894https://blog.youkuaiyun.com/S_Jane/article/details/6153894S_JaneThu, 20 Jan 2011 00:27:00 +0800Lecturer Matthieu Sozeau
 
Abstract (from calender page)
"We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured,]]>https://blog.youkuaiyun.com/S_Jane/article/details/6151389https://blog.youkuaiyun.com/S_Jane/article/details/6151389S_JaneWed, 19 Jan 2011 00:49:00 +0800Lecturer Professor Paul Spirakis
 
Official Introduction:
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 ]]>https://blog.youkuaiyun.com/S_Jane/article/details/6148563https://blog.youkuaiyun.com/S_Jane/article/details/6148563S_JaneTue, 18 Jan 2011 05:11:00 +0800https://blog.youkuaiyun.com/S_Jane/article/details/6131694https://blog.youkuaiyun.com/S_Jane/article/details/6131694S_JaneWed, 12 Jan 2011 16:01:00 +0800https://blog.youkuaiyun.com/S_Jane/article/details/6131638https://blog.youkuaiyun.com/S_Jane/article/details/6131638S_JaneWed, 12 Jan 2011 15:52:00 +0800https://blog.youkuaiyun.com/S_Jane/article/details/6131569https://blog.youkuaiyun.com/S_Jane/article/details/6131569S_JaneWed, 12 Jan 2011 15:38:00 +0800n久没有早上去考过试了，以为是8点所以披星戴月的踏冰出门，7点55到考场发现原来是8点半开考，纠结的35分钟只能陪监考老爷爷聊天，其中一句老爷爷伤感的话是，今天有20个人注册考试的，结果只来了7个。我想告诉他这个就是冬天早上考试的结果，没好意思说……
 
先烤AL，真的觉得AL的大部分知识其实早已经掌握了，但是这个汹多的题量真的让人受不了，4个小时没停笔还是有些没写完，阿三真是没有水准，用题量来压人，而且逼我们写在卷子上的狭小空白中，还要清楚明白，只能先在稿纸上写清楚再用铅笔]]>https://blog.youkuaiyun.com/S_Jane/article/details/6126017https://blog.youkuaiyun.com/S_Jane/article/details/6126017S_JaneMon, 10 Jan 2011 00:28:00 +0800疯狂的连续4天的考试，意料之中MC考的不好，FP也还是没有提高，PP差强人意，唯独密码是个惊喜~~
 
因为是最后一天考试，都没有怎么复习，而且考前有筋疲力尽的感觉加上之前眼镜男说他从头到尾很辛苦的学也只勉强及格，差点要放弃。勉强看了看往年试卷，找出看起来比较重要的考点，发现有些跟平时的作业和实验很契合，自己还有点了解，于是抱着拿卷子去的态度去考，做题时的感觉是要么一道题整个都会，要么就是完全无从下手，最后的成绩还算能让人满意~~ 想想这门课根本是因为听起来很好玩才选的，因为]]>https://blog.youkuaiyun.com/S_Jane/article/details/5963300https://blog.youkuaiyun.com/S_Jane/article/details/5963300S_JaneMon, 25 Oct 2010 05:04:00 +0800下周开始是study period 2，任务是present一篇重要会议上的research paper，选了ICFP今年的一篇Regular, Shape-polymorphic, Parallel Arrays in Haskell，希望可以做出一个比F#好的表现。
 
过了一个period对门课的感觉就是强迫我们收集信息然后以适宜听众的难度讲出来，听起来不能太难也不能太简单，材料不能太抽象也不能全都是代码，就会要求对讲得内容有深入的理解，才能应付不同听众的不同问题。对我]]>https://blog.youkuaiyun.com/S_Jane/article/details/5944132https://blog.youkuaiyun.com/S_Jane/article/details/5944132S_JaneFri, 15 Oct 2010 20:26:00 +0800https://blog.youkuaiyun.com/S_Jane/article/details/5944017https://blog.youkuaiyun.com/S_Jane/article/details/5944017S_JaneFri, 15 Oct 2010 19:00:00 +0800Today 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]]>https://blog.youkuaiyun.com/S_Jane/article/details/5925365https://blog.youkuaiyun.com/S_Jane/article/details/5925365S_JaneThu, 07 Oct 2010 16:03:00 +0800https://blog.youkuaiyun.com/S_Jane/article/details/5918026https://blog.youkuaiyun.com/S_Jane/article/details/5918026S_JaneFri, 01 Oct 2010 19:28:00 +0800Ada only today:
 
code~~code full of hte screen, didn't get anything interesting
 
 
总结，前两次做的都是神人，中间跑了无数衰人，剩下一群草包都在往后褪……]]>https://blog.youkuaiyun.com/S_Jane/article/details/5912833https://blog.youkuaiyun.com/S_Jane/article/details/5912833S_JaneTue, 28 Sep 2010 21:48:00 +0800https://blog.youkuaiyun.com/S_Jane/article/details/5910299https://blog.youkuaiyun.com/S_Jane/article/details/5910299S_JaneMon, 27 Sep 2010 18:54:00 +0800