螺旋数阵的封闭形式解

2025-08-06

本文探究了一个无限网格中数字以螺旋状排列的数学问题,该螺旋线在每次到达网格边缘时都会反向。作者通过分析螺旋线边缘和对角线上的数字规律,最终推导出一个封闭形式的表达式 (f(m, n) = (max(m, n))^2 - max(m, n) + 1 + (-1)^{max(m, n)} (m - n)),用于计算网格中任意位置 (m, n) 的数字。文章详细阐述了推导过程,包括对边缘数字和对角线数字的分析,以及如何将分段函数转化为单一的封闭形式表达式。

阅读更多
数学

百万的百万:长尺度与短尺度之争

2025-07-11

作者童年时学习的是长尺度命名法,其中百万的百万是十亿,百万的百万的百万是万亿,以此类推。然而,进入大学后,他发现科技界普遍使用短尺度命名法,百万的百万变成了万亿,百万的三次方变成了十亿的十亿。文章比较了两种命名法的差异,并解释了短尺度命名法的逻辑:它基于一千的累乘,而非百万。作者最终适应了短尺度,但仍怀念长尺度命名法的简洁优雅。

阅读更多

域的理想:简洁的优雅

2025-05-31

这篇论文探讨了域的理想这一代数概念。域只包含两个理想:零理想和域本身,两者都被称为平凡理想。论文证明了这两个事实:首先,任何域都只有平凡理想;其次,任何具有非平凡加法和乘法单位元的交换环,如果只有平凡理想,则它一定是域。论文通过定义理想、举例说明以及证明过程清晰地阐述了这两个结论的推导过程,展现了数学结论的简洁优雅。

阅读更多
开发 理想

有限积分整环与有限域:大小决定结构?

2025-05-29

本文探讨了抽象代数中关于域和积分整环的一些著名结果。作者首先定义了积分整环,并通过例子说明了哪些环是积分整环,哪些不是。随后,文章证明了:每个域都是积分整环;有限积分整环都是域;但无限积分整环可能是也可能不是域。文章还提供了两种证明方法来证明有限积分整环是域,并探讨了有限性和结构之间的有趣关系。

阅读更多
开发 积分整环

用省略号编写Python程序:一场独特的编程实验

2025-04-10

一篇博文介绍了一种奇特的Python编程方式,用省略号(...)和简单的算术运算符来表示数字,并以此构建程序。作者用这种方式编写了一个简单的程序,虽然代码晦涩难懂,但却巧妙地阐述了Python的简洁性哲学。文章最后强调,这种方法不适用于生产环境,并建议在实际编程中注重代码的可读性和可维护性。

阅读更多
开发

黑客新闻的无声拥抱:一次有趣的网络实验

2025-04-10

作者在黑客新闻上分享了一个有趣的实验:一个简单的netcat脚本,每当有人连接到他的服务器端口时,就会发出四声蜂鸣。结果,在24小时内,他收到了超过4761个连接,共计19044声蜂鸣!这个看似无意义的实验,却展现了黑客新闻社区的活跃和参与度,也体现了编程的乐趣不只在于解决问题,更在于探索奇思妙想。

阅读更多

独立网络:无需“起飞”,已足够有意义

2025-03-21

IndieWeb,一个致力于个人数字独立的互联网社区,其成员通过自建网站掌控自身内容。有人质疑IndieWeb尚未“起飞”,但这忽略了其核心价值:掌控数字身份、拥抱创作自由和表达个性。文章作者回顾了早期个人建站的乐趣,认为IndieWeb并非追求大众化,而是传承了早期黑客文化,通过创作和分享与志同道合者连接。IndieWeb的意义并非在于规模,而在于其对去中心化和创意的坚持,对那些珍视这些价值的人来说,它已经足够有意义。

阅读更多
开发 IndieWeb

证明伽罗瓦基本定理的关键引理

2025-03-15

这篇博文证明了伽罗瓦基本定理(FTGT)证明中一个关键的引理。引理12.1指出:如果L/K是一个域扩张,M是一个中间域,τ是L的一个K-自同构,那么τM*τ⁻¹ = τ(M)*。文章通过一个具体的例子(L = Q(√2, √3), K = Q, M = Q(√2))详细解释了该引理,并给出了完整的证明过程,包括证明τM*τ⁻¹ ⊆ τ(M)* 和 τM*τ⁻¹ ⊇ τ(M)*。这篇文章对于理解伽罗瓦理论至关重要。

阅读更多

我的数字、颜色和声音联想:一个程序员的记忆技巧

2025-03-03

作者分享了他独特的数字、颜色和声音联想记忆法,这种方法源于孩童时期学习计算机和记忆技巧的经历。他将0到9的数字分别与特定的颜色和国际音标符号关联,并解释了这些联想的来源,例如IBM CGA显示器的颜色代码和一种语音记忆系统。作者还展示了如何利用这些联想记忆巴士路线号和航班号,并指出这种方法虽然并非日常必需,却能使枯燥的数字和单词更生动有趣。

阅读更多

MathB.in:一个数学家的13年心血,即将谢幕

2025-02-27

MathB.in,一个运行了13年的在线数学公式编辑器,即将于2025年3月16日关闭。其开发者Susam Pal表示,由于日益严格的监管合规要求以及维护成本的增加,他无力继续维护该服务。尽管尝试了多种改进方案,例如改进反垃圾邮件机制,但最终都无法解决核心问题。Susam Pal感谢用户多年的支持,并提供了开源代码和替代方案,用户可以自行搭建或使用MathCask。

阅读更多
开发

我的网站的一些技术细节

2024-06-15

本文介绍了作者个人网站的技术细节,例如:网站运行在 Debian GNU/Linux 系统上,使用 Nginx 提供服务,并使用 Common Lisp 程序静态生成;网站的所有 HTML 和 CSS 代码均为手工编写,并使用 HTML Tidy 进行验证;网站使用 Common Lisp 和 Hunchentoot 实现了一些动态页面,例如评论和订阅表单;网站提供整合的网络订阅源,每个新页面都会出现在订阅源中;网站使用 MathJax 渲染包含数学公式的页面上的 LaTeX 代码片段等等。

阅读更多
61
未分类

FD 100

2024-06-02

本文回顾了作者学习编程的经历,从 1992 年使用 IBM/LCSI PC Logo 开始,学习编写简单的代码控制“小海龟”绘图,从最初的一条直线到正方形、五边形、五角星,再到圆形以及多个圆形的组合图形,作者详细介绍了每一种图形的绘制方法以及代码背后的逻辑。作者认为,这段经历激发了他对软件工程的热情,以及对编写、分享代码和开源开发的热爱。

阅读更多
76