新智元头疼数学图表？CMU学霸开源“玫瑰笔”，让你一键绘图自由
本文插图
新智元报道
编辑：白峰、鹏飞
【新智元导读】数学可能是最抽象的学科了 。 虽然有很多可视化工具 ， 但实际使用过程中却存在学习门槛高、画图流程长等问题 ， 一个简单的公式用画图工具可能需要做很久 。 为了解决这个问题 ， 来自CMU和Technion的一组研究人员推出了Penrose ， 它可以将复杂的数学符号转换为各种风格的简单图表 ， 引发社区热议 。
提到别的学科 ， 你的脑海里或许还能有一个非常直观的画面出来 。 物理的原子、化学的烧杯、计算机的黑客……而一提到数学 ， 能想到最多可能就是函数 ， 公式 ， 希腊字母 。
为了解决这个问题 ， 自CMU和Technion的一组研究人员推出了Penrose ， 它可以将复杂的数学符号转换为各种风格的简单图表 。
本文插图
CMU学霸开源「玫瑰笔」 ， 画图从未如此简单
把数学问题可视化 ， 简直就是功在当代利在千秋的丰功伟绩啊！因此刚一发出来就引来了大量围观 ， Penrose可以让研究人员更高效地交流复杂的数学思想和概念 。
本文插图
论文一作、CMU四年级博士生Katherine Ye连发十几条推 ， 完整的阐述了这个工具 。 论文地址：
https://penrose.ink/siggraph20.html
Katherine Ye是一位很酷的小姐姐 。
她是卡内基梅隆大学微软研究博士研究员 ， 艺术、设计+社会研究中心的研究成员 。 此前曾在Decelerator和School of Making Thinking担任常驻研究员 ， 曾在微软研究院、Google Brain（Distill）和MIT CSAIL工作 ， 并参加了Recurse Center 。
简单几行代码 ， 直接生成数学表达式可视化图表 。
有很多伟大的工具来制作图表 ， 但是我们发现真的用起来 ， 就算是一个简单的公式都需要花费很长时间去画图 ， 在代码中调整坐标 。
penrose最牛的地方在于 ， 你只需要描述「关系」 ， 它就能自动完成图表绘制 ， 你只需要输入下面这段代码：
Set A, B
Intersecting(A, B)
Set C := Intersection(A, B)
Label A $\text$
Label B $\text$
Label C $\text$
penrose就能自动生成下面这个韦恩图 。
本文插图
如果你不喜欢这个 ， 还可以多生成几个 ， 直到你想要的 。
本文插图
上面这个韦恩图看着有些简陋 ， 我们还可以通过css调整它的样式 。
本文插图
通过使用不同的样式 ， 我们可以改变颜色和线条宽度 ， 或者用箭头代替圆形 。
本文插图
论文展示了如何使用同样的方法来说明许多不同种类的抽象概念 ， 包括集合、函数、向量、几何体、网格和光踪!
例如 ， 这里用Penrose用3种方法来展示同一组几何语句 。
本文插图
Penrose有2个主要部分：一种用于定义视觉表现（类似 「数学的CSS」）的语言 ， 和一个用于探索图空间的SOLVER（通过优化） 。
推荐阅读
- 碰碰战队|数学有多重要，任正非：中国和美国竞赛，唯有重视数学
- 沐瑾|现在已经开始整治，车主早该这样，高速上让车主头疼的现象
- 李喜林篮球绝杀|刘国梁最头疼天才弟子完美蜕变！曾酗酒禁赛，变国乒战东京武器
- 初中数学@初中数学丨动点最值问题19大模型+例题详解，彻底解决压轴难题
- 澎湃新闻|诺贝尔为什么没设立数学奖？
- 迷彩虎|印度几千万人没水喝，莫迪这回要头疼了，三大邻国相继断水
- 一路凯伴|新课程新教材高一数学同步预习题：集合的含义与表示
- 青城科技 给我们出了什么难题？，马云和数学家
- 嘻哈飞车族 马云任正非为何反复谈数学重要性，阿里数学竞赛全球最强出炉
- 「数学」这3个大学专业挂科率很高，毕业后还很难找工作，报考要慎重