先來(lái)個(gè)靈魂之問(wèn)：數(shù)學(xué)公式真的很難打嗎？

答案是：真的難打,！

    不經(jīng)過(guò)一定的訓(xùn)練和軟件輔助,，使用再貴的鍵盤(pán)，敲一段不熟悉的數(shù)學(xué)公式,，肯定比不過(guò)在一張大白紙上用一支普通筆手寫(xiě)公式的速度,。

    這里面有三層深層原因：

1+0=0! 

(數(shù)學(xué)老師居然說(shuō)是對(duì)的)

    一是數(shù)學(xué)公式的內(nèi)涵本身就比較抽象和深?yuàn)W，在不同的語(yǔ)境和學(xué)科背景下,，同樣的字母或符號(hào),，有不同的含義、使用規(guī)范和書(shū)寫(xiě)格式要求,，極易混淆和產(chǎn)生歧義,。

    稍不留神，就可能產(chǎn)生錯(cuò)誤,，從而導(dǎo)致你被學(xué)校指導(dǎo)老師訓(xùn)斥不用功,、書(shū)刊雜志編輯要求反復(fù)修改投稿、老板揪出述職報(bào)告中的一個(gè)小錯(cuò)誤打負(fù)分影響加薪升職,。

1+0=1 

(數(shù)學(xué)老師說(shuō)明顯也是對(duì)的)

    二是數(shù)學(xué)公式的形式,，往往是二維的（圖形化傾向），并不是純文本一維形式（即使借用Unicode字符中全部的數(shù)學(xué)符號(hào),，也不能搞定相當(dāng)多的數(shù)學(xué)公式）,。

    鍵盤(pán)敲入文本時(shí),，在大小寫(xiě)、輸入法切換,，顏色,、字體、字號(hào),、間距,、對(duì)齊等相對(duì)復(fù)雜的設(shè)置方面，可能還能勝任,，甚至都有相應(yīng)快捷鍵控制,，但一旦進(jìn)入數(shù)學(xué)公式編輯模式時(shí)，鍵盤(pán)可能就無(wú)法媲美鼠標(biāo)的操作自由了,，鼠標(biāo)可以指哪打哪,，方便實(shí)現(xiàn)所見(jiàn)即所得（WYSIWYG）,。

    但鼠標(biāo)也引起了副作用,，帶來(lái)了低效率（二維定位自由度相對(duì)一維來(lái)說(shuō)比較高，容易產(chǎn)生偏差）,，另外鼠標(biāo)還有另一個(gè)弱點(diǎn),，是還未實(shí)現(xiàn)對(duì)壓力程度的感知。

33+43+53=63

 (數(shù)學(xué)老師說(shuō)也是對(duì)的)

    手寫(xiě)公式時(shí),，人的手是可以實(shí)時(shí)控制筆的二維運(yùn)動(dòng),，筆尖的軌跡就形成了文字符號(hào)，幾乎零延遲實(shí)現(xiàn)所見(jiàn)即所得,，而通過(guò)鍵盤(pán)敲字時(shí),，控制內(nèi)容和控制方向無(wú)法同時(shí)兼得。

    即使現(xiàn)在有更先進(jìn)的觸摸屏（平板和手機(jī)）電子設(shè)備,，甚至有細(xì)膩的壓感筆能在繪圖板（數(shù)位板）實(shí)現(xiàn)精細(xì)繪圖,，但與人體不費(fèi)太多力就可以自由書(shū)寫(xiě)的人類(lèi)自然本能相比還是相形見(jiàn)絀。不考慮材料的環(huán)保程度,，大白紙上的鉛筆筆尖,，只從交互上面來(lái)看，可以秒殺蘋(píng)果iPhone的3D Touch和微軟Surface的觸控筆尖,。

102+112+122=132+142 

(數(shù)學(xué)老師說(shuō)也是對(duì)的)

    三是數(shù)學(xué)公式至今還沒(méi)被軟件工程界普遍統(tǒng)一的支持,。從數(shù)學(xué)公式編輯和顯示兩個(gè)方面來(lái)看，其實(shí)市面上絕大多數(shù)電子設(shè)備,，對(duì)數(shù)學(xué)公式的支持,，還都沒(méi)有形成統(tǒng)一的解決方案。

    甚至產(chǎn)學(xué)研,，三者之間也是存在很大的間隙和分歧,。

    打開(kāi)你手上的手機(jī)或者身邊的電腦上的文本編輯器,，看看里面有多少軟件完美支持?jǐn)?shù)學(xué)公式的排版顯示與編輯。

212+222+232+242=252+262+272 

(數(shù)學(xué)老師說(shuō)也是對(duì)的)

    上世紀(jì)80年代,，著名的數(shù)學(xué)與計(jì)算機(jī)科學(xué)巨匠唐納德·高德納(Donald Ervin Knuth)發(fā)明的TeX和MetaFont,，徹底改變了科學(xué)出版界。在希臘語(yǔ)中TeX意思是“科技”和“藝術(shù)”,，它的版本號(hào)也很有意思,，是按圓周率π的近似數(shù)來(lái)更新的，例如第一版版本是3,，第二版版本是3.1,，第三版就是3.14，如此類(lèi)推,。從此用戶(hù)只需要把精力放在公式內(nèi)容上,，而不是繁瑣的格式微調(diào)上。

    后來(lái)又有了LaTeX,，數(shù)學(xué)符號(hào)命令更實(shí)用友好,，而各大網(wǎng)站的網(wǎng)頁(yè)顯示數(shù)學(xué)公式，又有了一些開(kāi)源軟件的支持,，例如美國(guó)數(shù)學(xué)會(huì)AMS的MathJax,，以及可汗學(xué)院開(kāi)源的KaTeX。

362+372+382+392+402=412+422+432+442

 (數(shù)學(xué)老師說(shuō)也是對(duì)的)

    但是這些軟件各有優(yōu)劣,，仍未被廣泛應(yīng)用在各個(gè)數(shù)學(xué)公式出現(xiàn)的場(chǎng)合,。

    試想一下，在辦公軟件如Office Word,，或者社交軟件微信,、QQ里面，要手打一個(gè)簡(jiǎn)單的豎式計(jì)算的數(shù)學(xué)公式出來(lái),，會(huì)不會(huì)要你的老命,？

    另一個(gè)例子，是學(xué)術(shù)界常用的PDF格式,，里面的數(shù)學(xué)公式你試試能否輕易地復(fù)制出來(lái),？

32+42=52 

(數(shù)學(xué)老師說(shuō)連這個(gè)不知道，不要喊我老師)

    大家可能有疑問(wèn),，畢竟現(xiàn)在都是AI人工智能時(shí)代了,，靠機(jī)器視覺(jué)和機(jī)器學(xué)習(xí)能力，能否帶來(lái)新的數(shù)學(xué)公式編輯體驗(yàn)?zāi)兀?/p>

答案是：能但有很大局限性

    產(chǎn)生局限性的原因,，各位應(yīng)能猜中幾個(gè)（大家可以試試一些市面上不同的數(shù)學(xué)解題,、計(jì)算器軟件來(lái)體驗(yàn)一下）。

552+562+572+582+592+602=612+622+632+642+652

 (數(shù)學(xué)老師說(shuō)也是對(duì)的)

    一是機(jī)器識(shí)別數(shù)學(xué)公式的場(chǎng)景不普適,，只能在特定學(xué)識(shí)范圍生效,，就像完全自動(dòng)駕駛的汽車(chē)只能在特定的封閉路段自由行駛一樣,。

    二是機(jī)器智能依賴(lài)人工，尚未脫離“投入多少人工,，就有多少智能”的窘境,，即使機(jī)器學(xué)習(xí)，深度學(xué)習(xí),，各種人工神經(jīng)網(wǎng)絡(luò)的發(fā)展如日中天,，似乎離產(chǎn)生質(zhì)的突破還有很遠(yuǎn)的路。

    三是目前編程語(yǔ)言的發(fā)展,，也處于瓶頸期,，還沒(méi)有超級(jí)智能的語(yǔ)言出現(xiàn)（計(jì)算機(jī)至今的發(fā)展還沒(méi)超出圖靈機(jī)的框架范圍）。從某種意義上來(lái)講,，埃隆·馬斯克Elon Musk的腦機(jī)接口（除了Tesla特斯拉汽車(chē)和Space X之外的大項(xiàng)目）,，小樂(lè)倒是覺(jué)得未來(lái)很有希望和前途，可能會(huì)徹底革命現(xiàn)有的人機(jī)交互方式,，擺脫鍵鼠,、顯示器這些傳統(tǒng)硬件，刺激新的軟件形式,。

113+123+133+143=203 

(數(shù)學(xué)老師說(shuō)也是對(duì)的)

    那么問(wèn)題來(lái)了,，今天要講的開(kāi)源的小樂(lè)數(shù)學(xué)zzllrr Mather,，其中一個(gè)重要功能——數(shù)學(xué)公式編輯器,，就該登場(chǎng)了。它如何操作使用,，有哪些獨(dú)特功能和優(yōu)缺點(diǎn),，處于什么水平和發(fā)展階段，究竟能幫你什么忙,，幫到什么程度,，就留到下期文章來(lái)詳細(xì)分享給各位了。