啊哈,惰性求值!

因为最近在研究 Haskell 的惰性求值,看到了一篇讲得不错的文章,网上好像还没人翻译成中文,因此来试着翻译一下 (Haskell 的中文资源好像很少,我似乎发现了巨大的机会)

本文不会是原文忠实的翻译,在中间我也会穿插一些自己的理解;文章中引用的部分资料,我也会适当展开并给出翻译。某些易混淆或是中文译法未统一的词,我会如实保留原文。

原文地址:Oh my laziness!

继续阅读

发表在 函数式语言, 计算机 | 留下评论

哈代数论读书笔记(二)——素数(2)

突然发现章节内容大增,上一章md代码仅为296行,本章高达523行

阅读时间可能会大大增长,咕咕咕的可能性大大提高

继续阅读

发表在 数论 | 一条评论

Haskell学习笔记(四)——Types 和 Typeclasses 的构造

class Functor f where
fmap :: (a -> b) -> f a -> f b

继续阅读

发表在 函数式语言, 计算机 | 留下评论

哈代数论读书笔记(一)——素数(1)

前天入手了G.H.Hardy的《An Introduction of the theorem of numbers》,亚马逊定价589心疼死我了,这昂贵的价格应该会鞭策我读完这本书吧。

继续阅读

发表在 数学, 数论 | 一条评论

相对论中的 Lorentz 变换与四维矢量

人们发现,时间与空间原是分不开的,之前的动力学定律之所以形式繁杂,是因为这些定律描述的仅仅是一个更大结构——时空的几个分量而已。一旦把时间纳入体系,统一的形式便展现在人们眼前了。

继续阅读

发表在 物理, 线性代数 | 留下评论

积性函数前缀和的处理——Min25筛

踩爆洲阁筛的算法终于出现了,向Min25大佬致敬

继续阅读

发表在 数论, 算法 | 留下评论

内积空间的正交投影与极小化问题

问题:求取一个不超过 $5$ 次的实系数多项式 $u$,使其在区间 $[-\pi,\pi]$ 上尽量好地逼近 $sin\,x$.

继续阅读

发表在 数学, 线性代数 | 留下评论

莫比乌斯反演练习

问题 1     求对所有的正整数 $n$ ,  $\sum_{d | n}\mu (d)\tau (d)$,其中 $\tau (d)$是因子个数函数. 继续阅读

发表在 数学, 数论 | 留下评论

密码学体制和古典密码学

密码学体制

一个密码学体制是满足下列条件的五元组:

  1. P 表示所有明文的集合。
  2. C 表示所有密文的集合。
  3. K 表示密钥空间,是由所有密钥组成的集合。
  4. 对于任意一个 $k \in K$,都存在一个对应的加密函数 $e_K(x) \in \epsilon$ 和对应的解密规则 $d_K \in D$ ,对于任意的明文 $ x \in P $,均有 $ d_K(e_k(x)) = x $。

继续阅读

发表在 密码学 | 留下评论

路灯问题

冬训期间,dalao提出了几个有关路灯的问题,觉得有趣就做了个记录. 继续阅读

发表在 C++, 数论 | 留下评论