科学学术

量子化学计算实战:从 Hückel 分子轨道、Hartree-Fock 自洽场到密度泛函与 Kohn-Sham 的完整工程链路

量子化学是用量子力学求解分子体系电子结构的学科。对习惯"矩阵、特征值、迭代优化"的 AI/ML 工程师而言,它的数学骨架异常熟悉:分子哈密顿量是一张大稀疏矩阵,波函数是它的特征向量,而 Hartree-Fock 自洽场(SCF)本质上就是**不动点迭代**——和训练一个网络求参数不动点同构。本文用可运行代码把三条主干链路从头实现一遍,所有数值都与教科书/文献精确吻合。

计算神经科学深度实战:从 Hodgkin-Huxley 离子通道与漏积分发放神经元到脉冲编码、STDP 可塑性与群体解码的完整工程链路

计算神经科学(Computational Neuroscience)是架在生物学与计算科学之间的一座桥:它用可运行的数学模型回答"一个由几亿到上千亿个神经元构成的网络,如何完成感知、记忆、决策与运动"这一根本问题。它既是现代神经科学的方法论内核,也是今天深度学习的隐秘源头——感知机、Hebb 学习、脉冲神经网络、神经形态计算,乃至注意力与集成编码,都能在生物神经元的动力学里找到原型。本文用一条"生…

范畴论深度实战:从范畴、函子与自然变换到单子、Yoneda 引理与 Kleisli 范畴的完整工程链路

范畴论常被误读为"抽象代数之上的另一层抽象",但它的真正价值在于提供一套描述"结构如何被保持、计算如何被组合"的通用语言。本文用纯 Python 从零实现范畴、函子、自然变换、单子与 Yoneda 引理,并逐条用代码验证代数定律,最后落到它与深度学习、Agent 工作流的工程映射。