蜀味 只想说 凹非寺量子位 报导 | 微信公众号 QbitAI

画数学插画图片令人头秃？

如今，CMU的科学研究工作人员们开发设计出了一款常用工具Penrose：

阿依莲文字的方法键入，依据語言叙述，就能自动生成数学图表。

集合论：

几何图形：

离散数学：

光线追踪：

都轻轻松松。

全部全过程，不用手动式开展繁杂调节，只需在手机软件选用计算机语言的方法，叙述数学关系式。

而且，这种关系式不但仅限于基本要素，只是能够表述一切数学行业的繁杂关联。

这一科研成果，当选电子计算机图象处理顶会SIGGRAPH 2020。

在GitHub上，也获得了3500星标，走上热搜榜。

有网友觉得：Penrose，就好像科学研究图表中LaTeX。

纯文字绘图数学图表

用LaTeX编写数学公式计算的开心，谁用谁知道。

那麼Penrose实际是怎么绘图出数学图表的呢？

例如，要绘制那样一个结合关联：

在程序界面中，进行那样的键入就能自动生成：

假如对颜色、合理布局不满意，点一下「resample」，系统软件会出示别的不一样的挑选：

还可以自身手动式在「sty」文档中开展调节：

科学研究工作人员还提及，该系统软件适用与根据Web的程序运行集成化。而且，Penrose IDE可以出示全自动英语的语法高亮度和全自动补齐作用。

但是，现阶段Penrose尚处于前期版本，未向群众对外开放。研发部门表明，她们已经马不停蹄，期待能尽早发布公布版本。

数学标记怎样变为精致图表？

创作者之一、CMU电子信息科学和运动控制系统终身教授Keenan Crane表明，她们打造出Penrose的目地，是让任何人都能有着数学家一般，绘图好看图表的工作能力。

以便完成这一总体目标，Penrose紧紧围绕2个设计原理来完成：

根据从数学标记到视错觉图片标底投射来要求图表；根据求出有关有管束的优化问题来生成图表。

第一步，是用计算机语言来要求数学目标以及可视化表明。

实际来讲分成三个一部分：

Substance：类似HTML，用于特定內容。Style：类似CSS，用以调节外型和可视化表明。Domain：申明数学行业中能用的目标、关联和符号。

必须表明的是，这并不代表着客户要想入门Penrose，务必学好三种語言。

事实上，大部分客户要是把握Substance语言，相近那样：

Set A,Bintersecting(A,B)set C := intersection(A,B)Label A $\text{Circles}$Label B $\text{Diagrams}$Label C $\text{Venn Diagrams}$

Domain和Style就交到专业人员，得用的情况下启用程序包就可以了。

第二步，应用限制性提升来生成考虑给出标准的图。

该方式关键遭受手绘图的启迪。

3500星，走上GitHub热搜榜

Penrose呈现的实际效果，获得了网友们的关注。

现阶段，Penrose的GitHub早已有3500星标，在Hacker News上也是有399的关注度。

有网友觉得，要想了解数学定义，可视化是十分关键的方式，而Penrose将会会给数学文化教育产生挺大的协助。

也有网友表明，期待几何图形绘图工具Geogebra能集成化这一作用。

但是，也是有网友强调，简易的实例表明了系统软件的观念，但還是期待见到Penrose完成的更加繁杂的数学定义可视化，以证实其的确能够表述数学行业的繁杂关联。

传送器

毕业论文详细地址：http://penrose.ink/media/Penrose_SIGGRAPH2020.pdf

GitHub详细地址：https://github.com/penrose/penrose

官方网站：http://www.penrose.ink/