最近的文章
Haskell 中实现一个简易的lambda 演算解释器
·867 字·2 分钟·
loading
·
loading
Algorithms
Mathematical
Math
Haskell
Codewars
实际上这是Codewars的一个题，但没能完全通过。 先放代码
数学家与证明
·1087 字·3 分钟·
loading
·
loading
Mathematical
Math
首先，我不得不歌颂下伟大的数学家们（包含哲学家、逻辑学家们）
Coq 证明几何不等式
·267 字·1 分钟·
loading
·
loading
Algorithms
Mathematical
Math
Coq
一开始是想形式化几何不等式（均值不等式），然后想用来证明一些
斐波那契数O(lgn)算法及证明
·1196 字·3 分钟·
loading
·
loading
Algorithms
Mathematical
Math
C/C++
介绍一种对数时间复杂度的斐波那契数列算法。 指数时间 # 我们都知
分形
·998 字·2 分钟·
loading
·
loading
Fractal
C/C++
Python
Math
前言 # 话说一直想找时间写写关于学图形学时学到的东西，但又觉得
使用 sklearn 机器学习包
·1575 字·4 分钟·
loading
·
loading
Machine Learning
Python
Machine Leraning
Python
机器学习可以做许多有趣的事情，每个技术方向都有入门例子，但实