合集

探索函数式编程背后美妙的数学理论。

介绍泛函和变分法，并分别求解最速降线问题与狄多问题。

介绍目前主要的导数类型以及相应的符号，包括牛顿、拉格朗日、莱布尼茨、欧拉等古典记号，以及基于算子的现代微分符号。

用流形理论重新解释平面曲线和空间曲面上的积分，并推导广义斯托克斯公式。

用线性代数相关理论，把单变量函数的微分直观且清晰地推广到多变量函数。

从局部线性变换的角度，解释雅可比矩阵及其行列式。

用极坐标变换推导 Box-Muller 算法，并给出一个 JavaScript 实现。

只用“是”与“不是”可以理解物理世界，但无法理解人类社会。

埋葬对列宁式革命的憧憬，迎接更加混乱但同时拥有更多可能的现实世界吧。

关于女性主义的四次浪潮，及其在本土既相似又特色的实践。