负暄琐话

我的email: rot47('649@ 6(hF+`hd"w=92vhG{>}G3"@l M >:&a...

MIT开发的画图程序

想象无止境啊。http://www.youtube.com/watch?v=NZNTgglPbUA , 从reddit看来的。

2006-10-09 09:59:00

阅读数 2923

评论数 2

交互递归和丘齐数

上次说到丘齐数 的时候并没有提到怎么定义后继函数, succ(n) = n + 1。这两天读Pierced的书(顺便说一句,这本Types and Programming Languages的叙述清晰,推理自然,符号也用得非常简约。相比那本Principles of Program Analysi...

2006-10-02 14:46:00

阅读数 2818

评论数 0

提示
确定要删除当前文章?
取消 删除
关闭
关闭