作者归档:yxnan

用Haskell进行定理证明

类型即命题,程序则证明

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

函数式思维下的奇妙世界

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

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

啊哈,惰性求值!

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

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

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

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

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

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

人们发现,时间与空间原是分不开的,之前的动力学定律之所以形式繁杂,是因为这些定律 … 继续阅读

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

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

问题:求取一个不超过 $5$ 次的实系数多项式 $u$,使其在区间 $[-\pi … 继续阅读

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

维数定理及其可推广性的探究

\begin{aligned} |A\cup B|&=|A|+|B|-| … 继续阅读

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