追踪“MATLAB被禁”

@[T追踪“MATLAB被禁”

![Alt]追踪“MATLAB被禁”:我们如何做出卡别人脖子的软件br> 超级数学建模
导 读
最近,哈工大、哈工程被禁用工科神器Matlab一事引发持续讨论。
6月19日,中科院计算所研究员包云岗在微博上分享了他在“CCF YOCSEF杭州·Matlab被禁之特别论坛”上关于这一事件的思考。
包云岗指出,在我们思考如何解“Matlab被禁”这个燃眉之急的同时,更需要考虑如何才能在未来做出像Matlab这样的工具,做出能卡别人脖子的技术。
通过梳理Matlab 40年的发展历程,包云岗认为,我们必须在4个关键理念上做出改变。
这4点理念包括:把东西做出来,而不是追求把论文发出来;把东西用起来,而不是做完就扔了;把教学场景用起来,而不是把教学当作负担;把持久战意识树立起来,而不是期望速胜论。
以下为包云岗在“CCF YOCSEF杭州·Matlab被禁之特别论坛”上的发言全文,科学网经授权转载。
很多人都在思考如何解决“Matlab被禁”这个燃眉之急问题。
大家回顾了中国的工业软件发展之痛,批评国内的盗版问题、知识产权保护问题、重硬件轻软件等一系列问题。也提出了很多好的建议,比如给了针对Matlab各种功能的开源软件替代方案。
这些都算是“昨天和今天”的事。
现在我想和大家一起讨论一下关于“明天”的事。
我们每个人可以问自己一个问题:从现在这个时间点开始,给10年时间,甚至20年时间,我们能做出一个卡别人脖子的东西吗并不是说真的要去卡别人脖子,而是说要成为别人离不开的东西)
如果从这个角度来看这次“Matlab被禁”事件,那么也许可以给我们更多的是启发——我们都知道Matlab最初只是新墨西哥大学Clever Moler教授在1970年代用于教学中的一个小工具软件,那它为什么能在几十年后成为卡我们脖子的利器br> 我们一起来梳理一下Matlab发展过程中折射出来的几个理念:
一、把东西做出来,而不是追求把论文发出来。
Matlab网站上有一篇Moler教授自己在2018年写的Matlab简史。
他在开头就写道,在1971年和1975年他所在团队向NSF申请了两个项目,目标是“探索开发高质量数学软件的方法、成本和资源”。
他自己也认为,某种程度上这两个项目是失败的,因为他们没有发表出一篇论文,他们只是开发出了两个软件:
一个是EISPACK,另一个是LINPACK。
而且这两个软件也谈不上多大的学术创新,因为EISPACK就是把1965-1970年发表论文中用Algo60写的算法翻译为Fortran,而LINPACK则是直接用Fortran重写一遍。
二、把东西用起来,而不是做完就扔了。
虽然EISPACK、LINPACK没有论文,学术创新也似乎不是很高,但确实是两个很有用的软件。
EISPACK的开发团队在1974年代写了一本使用手册,我在Google Scholar上查了一下,到现在已经被引用了1800多次,1970-1980年代使用非常广泛。
LINPACK更是世界超级计算机排行榜Tops500的基准测试程序,可以说是影响了世界超级计算机的发展。
三、把教学场景用起来,而不是把教学当作负担。
Matlab是Moler教授想把EISPACK和LINPACK应用于教学过程中的产物。
如果Moler教授不是用心去做教学,不是为了能让学生更好地掌握线性代数与数值分析,更容易地使用EISPACK和LINPACK这两个软件,那么他就不会有动机自己动手去写一个Matlab小工具来把这两个软件接口封装起来,从而方便学生使用。
今天,由于严苛的科研竞争环境和考核压力,很多人都把教学当作了一种负担,认为会影响科研。
但教学其实是试验新技术、新工具最好的应用场景,因为试错成本很低,而且学生的创新性和主动性,还能帮助改进优化技术和工具。
Matlab最终走上商业化,就是因为Moler教授在斯坦福大学给学生上课时,有两个学生对Matlab很感兴趣,主动提出用C重写一遍,同时移植到IBM PC上。
很多技术最早都是从课堂上发展起来,比如RISC架构是David Patterson教授在伯克利的课程实验。
四、把持久战意识树立起来,而不是期望速胜论。
坚持围绕一件事做,几十年后的累积效应是惊人了。
中国今天被卡脖子的东西,几乎都是别人积累了20年以上的东西。
从第一版Matlab算起到现在已经有40年,1980年代初的第一代EDA软件到现在也有快40年,Intel在1970年左右第一代微处理器到现在已经有50年。
台积电1987年成立到现在也是积累了30多年。
其实在学术界也有很多有影响力的工作也是积累很多年的产物,我们可以看一下ACM System Software Award,获奖的软件基本上都是持续积累了几十年,比如LLVM持续优化了17年、Eclipse优化了19年、Wireshark优化了22年、Coq优化了31年,GCC则有33年。
再仔细剖析一下Matlab以及对应的公司MathWorks,可以说是持久战的典范。
MathWorks在1984年成立,只有1名员工。
第一笔收入是1985年卖给了MIT10个Matlab版权,收入500美元。
MathWorks公司早期很不起眼,有个玩笑称它前7年员工数每一年翻一番,1984年1个员工,1985年2个员工,1986年4个员工,直到7年后的1991年也才只有128个员工。
和今天很多初创公司相比,这个成长速度就像是蜗牛了。
但是他们力出一孔,围绕着Matlab不断增加功能,使Matlab成为一个行业领先的工具软件。
1997年,MathWorks的营业额达到了5000万美元,380名员工。
如今2019年MathWorks公司营业额是10亿美元,3000多员工,全球有400多万用户。
虽然从营业额看并不大,但其实我们更应该学习这种模式——不断积累。
把一项技术做到极致,成为某个细分领域的隐形冠军。
最后总结一下,当我们在思考如何解“Matlab被禁”这个解燃眉之急的同时,更需要考虑如何才能在未来做出像Matlab那样的工作,做出能卡别人脖子的技术。
这需要我们做出改变,观念上的改变,行动上的改变。
至于哪些具体的改变,我想前面梳理的四点就算是抛砖引玉吧:
(1)把东西做出来,而不是追求把论文发出来。
(2)把东西用起来,而不是做完就扔了。
(3)把教学场景用起来,而不是把教学当作负担。
(4)把持久战意识树立起来,而不是期望速胜论。
(本文转载自科学网)
(https://imgconvert.csdnimg.cn/aHR0cHM6Ly9hdmF0YXIuY3Nkbi5uZXQvNy83L0IvMV9yYWxmX2h4MTYzY29tLmpwZw =30×30)

居中的图片:

Alt

当然,我们为了让用户更加便捷,我们增加了图片拖拽功能。

如何插入一段漂亮的代码片

去博客设置页面,选择一款你喜欢的代码片高亮样式,下面展示同样高亮的 .

生成一个适合你的列表

  • 项目
    • 项目
      • 项目
  1. 项目1
  2. 项目2
  3. 项目3
  • 计划任务
  • 完成任务

创建一个表格

一个简单的表格是这么创建的:

项目 Value
电脑 $1600
手机 $12
导管 $1

设定内容居中、居左、居右

使用居中
使用居左
使用居右

第一列 第二列 第三列
第一列文本居中 第二列文本居右 第三列文本居左

SmartyPants

SmartyPants将ASCII标点字符转换为“智能”印刷标点HTML实体。例如:

TYPE ASCII HTML
Single backticks ‘Isn’t this fun
Quotes “Isn’t this fun
Dashes – is en-dash, — is em-dash

创建一个自定义列表

Markdown
Text-to- HTML conversion tool

Authors

John
Luke

如何创建一个注脚

一个具有注脚的文本。1

注释也是必不可少的

Markdown将文本转换为 HTML

KaTeX数学公式

您可以使用渲染LaTeX数学表达式 KaTeX:

Gamma公式展示 Γ ( n ) = ( n 1 ) ! n ∈ N Gamma(n) = (n-1)!quadforall ninmathbb N Γ(n)=(n/span>1)!/span>nN 是通过欧拉积分

Γ ( z ) = ∫ 0 ∞ t z 1 e t d t . Gamma(z) = int_0^infty t^{z-1}e^{-t}dt,. Γ(z)=0/span>tz/span>1e/span>tdt.

你可以找到更多关于的信息 LaTeX 数学表达式here.

新的甘特图功能,丰富你的文章

  • Mon 06
  • Mon 13
  • Mon 20
  • 已完成 进行中 计划一 计划二 现有任务
  • Adding GANTT diagram functionality to mermaid
    • 关于 甘特图 语法,参考 这儿,

    UML 图表

    可以使用UML图表进行渲染。 Mermaid. 例如下面产生的一个序列图:

  • 张三
  • 李四
  • 王五
  • 你好!李四, 最近怎么样
  • 你最近怎么样,王五
  • 我很好,谢谢!
  • 我很好,谢谢!
  • 李四想了很长时间, 文字太长了 不适合放在一行. 打量着王五…
  • 很好… 王五, 你怎么样
  • 张三 李四 王五

    这将产生一个流程图。:

    链接 长方形 圆角长方形 菱形

    • 关于 Mermaid 语法,参考 这儿,

    FLowchart流程图

    我们依旧会支持flowchart的流程图:

    Created with Rapha2.2.0 开始 我的操作 确认 结束

    来源:wolf_chen2018

    声明:本站部分文章及图片转载于互联网,内容版权归原作者所有,如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢!

    上一篇 2020年5月19日
    下一篇 2020年5月19日

    相关推荐