「有 A、B 两个集合，A 与 B 相交，C 是 A 与 B 的交集，分别将三个集合命名为 Circles、Diagrams、Venn Diagrams。」给出这样一段描述，你要怎么作图？先画两个相交的圆，然后各自命名？太麻烦了！卡内基梅隆大学开发的一款新工具可以帮你自动生成。在有些人眼里，数学公式就是一堆数字和符号，但在另一些人看来，这些数字和符号是可以动的，而且极富美感。为什么会有这种差距？那是因为对于后者来说，这些数字和符号的背后是一幅灵动的图，他们可以根据公式约定的规律进行变换，让人感受到数学规律带来的美感。但问题在于，不是每个人都有这么好的「脑补」能力，能将数学公式自动想象成图。因此，我们需要借助于工具。说到工具，你可能想到的是 Adobe Illustrator 等广泛使用的画图工具。没错，这些工具确实好用，但未免有点繁琐，你要不断地花时间手动调整坐标等信息。有没有简单一点的方法呢？类似于「我来说，你来画」那种。卡内基梅隆大学开发的 Penrose 就是这样一款工具。你只需要描述一些数学关系或输入数学表达式，该软件就能自动帮你画图，从而将抽象的数学公式转化为直观的图，文章开头给出的只是一个简单的例子。如果你不想用圆来表示上述关系，软件还可以帮你换成箭头表示。

内容中包含的图片若涉及版权问题，请及时与我们联系删除