Welcome back!

不管怎么说，这么快又能看到自己的blog还是很意外的，唔，虽然其实短暂的无法访问期间其实还是可以登录和写作的，但是读者们看不到~我们可以说没人看的blog写起来没什么意思啦~

看上去的确如此，只是~偶没错在恢复访问之后便回来继续写，显然是感觉有点意思啦~然而偶的blog其实不管可不可以访问都是没有啥人访问的=。=所以说呢，绿色的论断是不正确的...正确的是红色的这句：没有人看得到的blog写起来没什么意思啦~

区别还是很大的=。=我是想说，至少对于我来说，写blog的乐趣更多的在于被别人看到的可能。blog并不完全是写给自己的日记，或许我只是在等待，等待某一天它被某些人看到~~~这些话看上去也许是不知所云，或者毫无逻辑…木有关系啦=。=子曾经曰过么：blog的存在是为了满足读者的偷窥欲和作者的被偷窥欲~子还曾经曰过么：人类的全部智慧就集中在这5个字上（居然是汉字…）：等待与希望~~

上面的话看起来有些像怨念，其实偶最近心情很好^_^阳光明媚的日子么，郊区的天还是很蓝的，也没什么挡视线的高大混凝土块~多么happy，残冬的寒意也终于消失，mm们都换上了pp的衣装~我不是诗人，只是春风真的是醉人的~

Welcome back

Blogger看来再次被ban

我都懒得说什么了…

倒霉的足球课……

完全无语，让我站在足球场上就像是一种折磨…天啊…

好吧，其实我是守门的…好吧，也许我踢哪个位置的时候区别都不大=。=

引用某人的话，其实足球和实况是两种游戏来着……

The Paradoxical Operator.

说起来我对院士好像一直没有什么好印象，唔，这么说似乎FQ了点，那至少当偶知道给偶们上离散的老师是传说中的院士+副院长的时候，偶的第一感觉是~寒=。=~

注意我的语气~按照套路作文写到这个地方就应该话锋一转：但是^^云云~没错~我就是会这么写……= =周二的离散课多多少少改变了我的这个印象，那个看上去完全想象不出他笑是什么样子的陈老头讲课的时候也可以笑得很自然嘛…喜欢说无厘头的笑话让我仿佛又回到了王殿军同学的课上~~~Anyway，希望偶的Discrete Math也能95哈~~~

设计Pandaria的时候偶然遇到匿名函数的递归这么个问题，就在离散上课前用教室的电脑随便Google了一下，居然读到了一些无比好玩的关于Lambda Calculus的文章~~记得以前接触这个还是在一本Programmer上，函数的Fix-point和递归的关系什么什么的，尽管现在看来这篇文章有点扯（Programmer上有点CS意味的文章一贯如此），当时还是勾起了我很多想法= =，呵呵，所以才会买那本The structure & interpretation of computer programs~~~唔，很美好的感觉^_^

Y = lambda G. (lambda g. G(g g)) (lambda g. G(g g))

The Paradoxical Operator. 

For example, a factorial program can be written with no recursive declarations, in fact with no declarations at all. First note that YF=F(YF); YF is a fixed-point of F.

    Y F
=   (lambda G. (lambda g.G(g g)) (lambda g.G(g g))) F
--> (lambda g. F(g g)) (lambda g. F(g g))
--> F( (lambda g. F(g g)) (lambda g. F(g g)) )
/*notice this step is also a beta-reduction...cool*/
=   F( Y F )

Using this observation it is possible to evaluate factorial(3) as follows.

let F = lambda f. lambda n. if n=0 then 1 else n*f(n-1)
in  Y F 3

--> Y (lambda f. lambda n. if n=0 then 1 else n*f(n-1)) 3

--> F(Y F) 3

=   (lambda f.lambda n.if n=0 then 1 else n*f(n-1)) (Y F) 3

--> (lambda n. if n=0 then 1 else n*(Y F)(n-1)) 3
                                                     
--> if 3=0 then 1 else 3*( (Y F 2) )

--> 3*( Y F 2 )
...
--> 6

太酷了

2007的第一篇文字

貌似自从倒霉的地震之后，我已经让这里荒芜了很多时间了~太长时间，于是乎地震变得越发像个借口，就像我经常寻找的其他借口一样
= =

But I can't always find a justified excute for my fault，尽管我看上去总是对了，那也只是因为我非常讨厌承认我错了罢了~

~Anyway，让我的blog archive上迟迟不出现2007的印记不代表2007就不会来~时间并不会因为我的讨厌而停下来。