數(shù)學可能是最抽象的學科了。雖然有很多可視化工具，但實際使用過程中卻存在學習門檻高、畫圖流程長等問題，一個簡單的公式用畫圖工具可能需

數(shù)學可能是最抽象的學科了。雖然有很多可視化工具，但實際使用過程中卻存在學習門檻高、畫圖流程長等問題，一個簡單的公式用畫圖工具可能需要做很久。為了解決這個問題，來自CMU和Technion的一組研究人員推出了Penrose，它可以將復雜的數(shù)學符號轉(zhuǎn)換為各種風格的簡單圖表，引發(fā)社區(qū)熱議。

提到別的學科，你的腦海里或許還能有一個非常直觀的畫面出來。物理的原子、化學的燒杯、計算機的黑客……而一提到數(shù)學，能想到最多可能就是函數(shù)，公式，希臘字母。

為了解決這個問題，自CMU和Technion的一組研究人員推出了Penrose，它可以將復雜的數(shù)學符號轉(zhuǎn)換為各種風格的簡單圖表。

CMU學霸開源「玫瑰筆」，畫圖從未如此簡單

把數(shù)學問題可視化，簡直就是功在當代利在千秋的豐功偉績啊!因此剛一發(fā)出來就引來了大量圍觀，Penrose可以讓研究人員更高效地交流復雜的數(shù)學思想和概念。

論文一作、CMU四年級博士生Katherine Ye連發(fā)十幾條推，完整的闡述了這個工具。論文地址：

https://penrose.ink/siggraph20.html

Katherine Ye是一位很酷的小姐姐。

她是卡內(nèi)基梅隆大學微軟研究博士研究員，藝術(shù)、設(shè)計+社會研究中心的研究成員。此前曾在Decelerator和School of Making Thinking擔任常駐研究員，曾在微軟研究院、Google Brain(Distill)和MIT CSAIL工作，并參加了Recurse Center。

簡單幾行代碼，直接生成數(shù)學表達式可視化圖表。

有很多偉大的工具來制作圖表，但是我們發(fā)現(xiàn)真的用起來，就算是一個簡單的公式都需要花費很長時間去畫圖，在代碼中調(diào)整坐標。

penrose最牛的地方在于，你只需要描述「關(guān)系」，它就能自動完成圖表繪制，你只需要輸入下面這段代碼：

Set A, B

Intersecting(A, B)

Set C := Intersection(A, B)

Label A $\text$

Label B $\text$

Label C $\text$

penrose就能自動生成下面這個韋恩圖。

如果你不喜歡這個，還可以多生成幾個，直到你想要的。

上面這個韋恩圖看著有些簡陋，我們還可以通過css調(diào)整它的樣式。

通過使用不同的樣式，我們可以改變顏色和線條寬度，或者用箭頭代替圓形。

論文展示了如何使用同樣的方法來說明許多不同種類的抽象概念，包括集合、函數(shù)、向量、幾何體、網(wǎng)格和光蹤!

例如，這里用Penrose用3種方法來展示同一組幾何語句。

Penrose有2個主要部分：一種用于定義視覺表現(xiàn)(類似 「數(shù)學的CSS」)的語言，和一個用于探索圖空間的SOLVER(通過優(yōu)化)。

項目已足夠優(yōu)秀，但仍然歡迎大家一起來完善

作者的夢想不止于此。他們希望把Penrose打造成一個自動插畫的平臺。比如說給數(shù)學課本和網(wǎng)頁自動插圖、制作交互式圖表、創(chuàng)建個性化教程等等。

關(guān)鍵詞： CMU