分类目录归档:计算机

用Haskell进行定理证明

类型即命题,程序则证明

发表在 形式验证, 计算机 | 留下评论

高空坠物

前几天在我校OJ上看到这样的一道题

发表在 C++, 计算机 | 留下评论

函数式思维下的奇妙世界

天下武功,唯快不破,对于函数式语言更是如此。 基本上,函数式语言慢于大多数命令式 … 继续阅读

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

啊哈,惰性求值!

因为最近在研究 Haskell 的惰性求值,看到了一篇讲得不错的文章,网上好像还 … 继续阅读

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

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

class Functor f where fmap :: (a -> b … 继续阅读

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

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

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

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

密码学体制和古典密码学

密码学体制的基本概念和几种简单的古典密码。 继续阅读

发表在 密码学 | 留下评论

路灯问题

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

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

Java入门学习笔记(一)

Java是坠吼的语言!

发表在 Java | 标签为 | 留下评论

从Array[0]和0[Array]谈起

发表在 C++ | 留下评论