2024年2月28日
vim括号匹配等跳转技巧
摘要： % 跳转到相配对的括号 gD 跳转到局部变量的定义处 '' 跳转到光标上次停靠的地方, 是两个', 而不是一个" mx 设置书签,x只能是a-z的26个字母, " `x "跳转到书签处 > 增加缩进,"x>"表示增加以下x行的缩进 < 减少缩进,"x<"表示减少以下x行的缩进 { 跳到上一段的开头 阅读全文
posted @ 2024-02-28 19:01 光辉233 阅读(69) 评论(0) 推荐(0) 编辑
欧几里得《原本》与亚里士多德《诗学》
摘要： 欧几里得《原本》与亚里士多德《诗学》 2021/08/05 导读 从本质上讲，这两部著作都是对三维空间的模仿。 READING 导读 浙江大学数学学院蔡天新教授新近出版了《数学与艺术》（江苏人民出版社，2021.7），此书入选了《光明日报》“光明书榜”，《解放日报》记者予以采访报道，《中华读书报》整 阅读全文
posted @ 2024-02-28 18:46 光辉233 阅读(19) 评论(0) 推荐(0) 编辑
数学只是头脑中的产物，不是【真实】
摘要： 欧式几何和柏拉图的理念论 摘自吴老师讲授《金刚经》38:37 问题：数学中公理【两点之间直线最短】，是不是符合缘起性空呢？这条公理的成立是有时空前提，也不一定成立，所以是性空吗？ 吴老师答：这个问题问得很好，两点之间是不是直线最短呢？其实也不一定，因为那是欧几里得空间，如果是非欧空间的话，最短的是曲 阅读全文
posted @ 2024-02-28 18:45 光辉233 阅读(6) 评论(0) 推荐(0) 编辑
计算的意义
摘要： 宇宙的尽头是计算 How to Think Computationally About AI, the Universe and Everything | Stephen Wolfram | TED 回顾欧洲发展的三个paradigm Human language, mathematics, log 阅读全文
posted @ 2024-02-28 18:42 光辉233 阅读(8) 评论(0) 推荐(0) 编辑
2024年2月27日
"对于其他任何事物，数学理论也是如此：美可以被感知，但无法被解释"。阿瑟-凯莱
摘要： Arthur Cayley (1821 - 1895) "As for everything else, so for a mathematical theory: beauty can be perceived but not explained." 阿瑟-凯莱（1821 - 1895） "对于其 阅读全文
posted @ 2024-02-27 12:50 光辉233 阅读(11) 评论(0) 推荐(0) 编辑
鄂维南院士：应用数学新时代的到来
摘要： 鄂维南院士：应用数学新时代的到来 Kepler范式和Newton范式 自从Newton(牛顿)时代以来，做科学研究存在着两种不同的范式: Kepler(开普勒)范式(paradigm)和Newton范式. 在Kepler范式或称为数据驱动的(data driven)方法中，人们通过对数据的分析提炼科 阅读全文
posted @ 2024-02-27 12:49 光辉233 阅读(54) 评论(0) 推荐(0) 编辑
传统套路只能处理低维问题，机器学习数学理论的关键是高维函数
摘要： 与传统方法相比，机器学习解决的最基本的问题就是函数的表达和逼近。数学上有分片多项式、傅利叶级数、小波……这都是传统的表达函数的套路。但传统套路只能处理低维问题，难以处理高维问题。而机器学习，尤其是深度学习，解决的许多问题都是非常高维的，所以机器学习数学理论的关键是高维函数。在数学里，函数是一个基本概 阅读全文
posted @ 2024-02-27 12:47 光辉233 阅读(13) 评论(0) 推荐(0) 编辑
2024年2月25日
虚拟环境
摘要： 一、什么是虚拟环境 virtual environment 它是一个虚拟化，从电脑独立开辟出来的环境。通俗的来讲，虚拟环境就是借助虚拟机docker来把一部分内容独立出来，我们把这部分独立出来的东西称作“容器”，在这个容器中，我们可以只安装我们需要的依赖包，各个容器之间互相隔离，互不影响。 二、为什 阅读全文
posted @ 2024-02-25 23:33 光辉233 阅读(9) 评论(0) 推荐(0) 编辑
linux之${ }、[ ]、$( )、$[ ]、$(( ))、[[ ]]、(( ))的作用
摘要： 1. ${}和{} $与${ }都是用来引用变量的，只不过${ }可以指定变量边界，也可用于对字符串变量进行截取等处理， 2. []和test [ ]是test命令的另一种形式，用于判断某个表达式的返回值是0或者非0，常用于if命令的判断条件 test $a == "linux" 等于 [ $a = 阅读全文
posted @ 2024-02-25 10:44 光辉233 阅读(3) 评论(0) 推荐(0) 编辑
2024年2月4日
Shell脚本——make命令和Makefile文件
摘要： make命令是一个常用的编译命令，尤其在C/C++开发中，make命令通过makefile文件中描述源程序之间的依赖关系进行自动编译； makefile文件是按照规定格式编写，需说明如何编译各个源文件并连接生成可执行文件，并要求定义源文件之间的依赖关系； 首次执行make命令时，编译所有相关文件，之 阅读全文
posted @ 2024-02-04 19:09 光辉233 阅读(330) 评论(0) 推荐(0) 编辑