科学与数学arxiv.org
用 Haskell 编程学物理
Learn Physics by Programming in Haskell
2015 — 2018,它一次次回到首页
黑点是上首页(≥ 50 分)的那次投稿,空心点是没冲上去的投稿,点越大分数越高。
导读
这篇 arXiv 论文探讨如何用 Haskell 编程来学习物理,把物理概念和计算写成可执行的函数式程序;评论提到配套有 learn-physics 库,并有续篇讨论用 Haskell 学量子力学。相关讨论还涉及把函数式编程引入中学和大学物理课程的教学实践。
为什么经久不衰:它把抽象的数学和物理变成可运行、可调试的代码,让学习者通过亲手实现计算获得直观理解;配套库和后续工作也让这条路径今天仍可上手。
HN 评论精选
Bootstrap 将函数式编程融入九年级物理课程,尽量减少无关的编程负担。
Bootstrap 正在为九年级开发高中物理课程,把函数式编程作为基础组成部分。目前只有落地页,但我参加过他们今夏的一个很棒的工作坊。他们设计的编程语言刻意避免任何“附带复杂性”——物理老师只需教对达成物理教学目标绝对必要的计算机科学。
alew1查看英文原文
Bootstrap is working on a high school physics curriculum for ninth graders, which integrates functional programming as a fundamental component. They only have a landing page up at the moment [0], but I attended a very cool workshop they gave this summer. They’ve designed the programming language to avoid any “incidental complexity”—Physics teachers only have to teach the CS that’s absolutely necessary for the physics education goals they’re trying to achieve. [0] http://www.bootstrapworld.org/materials/spring2018/courses/physics/
存在用 Haskell 学量子力学的后续论文。
还有续篇《Learn Quantum Mechanics with Haskell》:https://arxiv.org/abs/1611.09471
kuwze查看英文原文
There is also the sequel “Learn Quantum Mechanics with Haskell”[0]. [0]: https://arxiv.org/abs/1611.09471
配套 Haskell 库可在 GitHub 和 Hackage 获取。
Haskell 库在这里:https://github.com/walck/learn-physics 和 https://hackage.haskell.org/package/learn-physics
privong查看英文原文
The haskell library is here: https://github.com/walck/learn-physics https://hackage.haskell.org/package/learn-physics
物理学生支持编程与物理融合,但强调需要循序渐进、避免额外负担。
我是物理系大二学生,很希望物理课程更多整合编程,尤其是函数式编程。学习期间我写过与课程相关的模拟,比如用过山车模拟展示拉格朗日力学和广义坐标,用有限差分法解泊松方程,以更实践地理解原本偏理论的内容。这类自愿活动很激励我;但并非所有人都乐意,有人会觉得被迫学编程,而且同时学编程、数值方法和物理确实很难。尽管如此,我认为这是未来方向,温和引入、边学物理边教编程是关键。
flannelhead查看英文原文
I'm a physics sophomore, and I would be very glad to see more programming, especially FP, integrated to physics courses. During my studies, I've programmed some simulations related to the physics courses I've taken. My main purpose has been to gain a deeper, more practical insight on the subject which would've otherwise remained quite theoretical and distant. For example, I made a little rollercoaster simulation to demonstrate the power of Lagrangian mechanics and generalized coordinates to myself. On the electrodynamics course I programmed a solver for Poisson's equation using the finite difference method to see a little more than the few simple geometries we calculated by hand. That kind of voluntary activities have greatly motivated me and helped me to understand various concepts. On some courses we already have some simulation work and numerics in homework problems. Maybe deeper integration of programming into teaching requires time and, more importantly, a driving force and resources behind it. Then, of course, not everyone would be happy to see that kind of integration – I'm sure some would feel like they're forced to learn to program. And, as it has been seen on our entry level numerical physics course, learning programming, numerics and physics the same time is really quite hard. Given those shortcomings, I still feel this is the way to go for future physics education. A gentle introduction and slowly teaching programming alongside physics would be the key, I think.
历次讨论
同类还值得读
如果月球只有 1 像素:一个极其精确的太阳系模型(2014)
If the moon were only 1 pixel: A tediously accurate solar system model (2014)
一个网页版太阳系模型,以“如果月亮只有 1 像素”的真实比例呈现:你必须一路横向滚动,才能体会行星之间空旷到何等程度。
科学与数学上首页 7 次 · 2014–2025joshworth.com编辑精选沉浸式线性代数(2016)
Immersive Linear Algebra (2016)
《Immersive Linear Algebra》是一本完全免费、开放在线的线性代数“超文本教科书”,其最大特色是大量可交互的图形:读者可以直接拖动、操作图中的向量、矩阵和变换…
科学与数学上首页 5 次 · 2015–2024immersivemath.com编辑精选如何将贝果切成两个相连的半环(2009)
How to Slice a Bagel into Two Linked Halves (2009)
数学家 George Hart 的经典教程,演示如何用一刀把贝果切成两个相互扣住的环,并附上切割步骤与数学原理。
科学与数学上首页 5 次 · 2009–2022georgehart.com“犹太问题”:一组用于歧视的数学题
Jewish problems
一篇 arXiv 论文,整理并讨论苏联时期犹太学生在申请大学数学系时被问到的特殊数学难题:这些题往往有简单解法却极难想到,被用作面试中拒绝犹太考生的手段。
科学与数学上首页 5 次 · 2011–2021arxiv.org你的身体并非为长久而造:人类死亡率数据的一课
Your body wasn’t built to last: a lesson from human mortality rates
文章从人类死亡率随年龄变化的统计规律出发,解释身体并非为长久使用而设计:年轻时死亡风险较低,之后随年龄近似指数上升,像复杂系统在不断累积损伤。
科学与数学上首页 5 次 · 2009–2018gravityandlevity.wordpress.com