- 博客(2)
- 资源 (6)
- 收藏
- 关注
RSS订阅原创 Scheme宏的二三事
一次造轮子的经历 因为我的Scheme入门书是Dan Friedman的《The Little Schemer》，老爷子从头到尾都没有提到过if。所以一直到翻完整本书，对于只有2个分支的逻辑，我也是用这么“蠢萌”的方式写的（这里的cond可以理解成if的多分支的版本）： (define (my-abs x) (cond ((>= x 0) x) (else (- x)))) ...
2019-09-15 11:24:48
590
1
原创 关于停机问题的一点思考
文章目录从最大公约数讲起停机问题的一种证明方式写在后面参考资料 从最大公约数讲起 如果要计算90和21的最大公约数，根据欧几里德的定理，等同于求21和6的最大公约数，进一步等同于求6和3的最大公约数，经过几步转化，最终我们得到了结果：3。 这样一系列“有限”的步骤的集合，我们称之为算法。假设我们把求最大公约数算法的名字就叫做GCD，当我们说GCD作用于90和21可以停机的时候，转成大白话就是：GC...
2019-09-10 14:21:13
277
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人