作為一位在計算機(jī)編程和數(shù)學(xué)兩大領(lǐng)域都十分感興趣的研究員，我希望借這篇文章和大家一起分享在數(shù)學(xué)研究當(dāng)中，十大我最喜歡的編程語言。
我這么做是為了給其他研究者提供更多的選擇，并提供更多建立模型的方法。這些語言的介紹直接來源于他們各自的官方網(wǎng)站簡介或維基百科，在字里行間當(dāng)中，我也把個人的看法穿插其中。
1.?WOLFRAM LANGUAGE?

???

Wolfram語言是Mathematica和Wolfram Programming Cloud中使用的編程語言。

它是由Wolfram Research公司開發(fā)的一種綜合性多模態(tài)編程語言，主要用于符號計算、函數(shù)式編程和規(guī)則型編程。在上述領(lǐng)域中，它自身設(shè)計使得它可以得到最大程度的廣泛使用。
這種語言有許多使用場景，并且時常是非常專業(yè)化的。
我的看法
這是一種下降泛函、規(guī)則型的編程語言，他在處理符號計算上非常有優(yōu)勢。盡管如此，我覺得和Go語言比較起來，Wolframe的使用并不簡潔。
它真正的價值在于它龐大的多領(lǐng)域標(biāo)準(zhǔn)庫（特別是數(shù)學(xué)應(yīng)用），這幾乎比世界上任何其他編程語言都領(lǐng)先很多年。看過他們的演示程序以后，這門語言的魅力會讓你神魂顛倒。2. MATLAB / GNU OCTAVE
MATLAB（矩陣實驗室）是由MathWorks公司出品的一門多模態(tài)數(shù)值計算運(yùn)行環(huán)境，被認(rèn)為是第四代編程語言。它可以進(jìn)行矩陣運(yùn)算、畫出函數(shù)和數(shù)據(jù)圖像、實現(xiàn)算法、創(chuàng)建用戶界面、提供接口以便和其他編程語言的程序（包括C, C++, Java, Fortran和Python）進(jìn)行交互。我的看法
它在數(shù)值計算方面處于霸主的地位。其開源版本——GNU Octave也是如此。3. RR編程語言為統(tǒng)計計算和圖像處理提供了軟件環(huán)境，這個軟件由?the R Foundation for Statistical Computing提供技術(shù)支持。R語言主要使用者是統(tǒng)計學(xué)家和數(shù)據(jù)開發(fā)者，廣泛用于統(tǒng)計軟件開發(fā)和數(shù)據(jù)挖掘分析。
對數(shù)據(jù)挖掘開發(fā)者的調(diào)查和學(xué)術(shù)文獻(xiàn)數(shù)據(jù)庫調(diào)查中發(fā)現(xiàn)，近幾年來，R語言受到了越來越多的關(guān)注。

4. COQ / GALLINA

Coq是一款交互式定理證明軟件。它允許使用數(shù)學(xué)符號和命題的形式進(jìn)行邏輯演繹，對推演驗證猜想的推理過程進(jìn)行模式化處理，幫助人們找到比較合情合理的證明方法。然后，通過規(guī)范的格式說明中進(jìn)行嚴(yán)格證明，最后建立起一個認(rèn)證程序。
Coq在構(gòu)建算子的衍生物——?dú)w納構(gòu)建算子理論的基礎(chǔ)上運(yùn)行程序。
如果我們要把它當(dāng)做是一種編程語言的話，Coq實現(xiàn)了一種依賴類型的函數(shù)式編程語言；作為邏輯系統(tǒng)，它實現(xiàn)了高階類型理論。
Coq提供了一種名為Gallina的范式語言。用Gallina編寫的程序具有弱規(guī)范化性質(zhì)——讓程序最終運(yùn)行結(jié)束，不會陷入死循環(huán)。

5. PROLOG

Prolog是一種與人工智能和計算語言學(xué)相結(jié)合的通用邏輯編程語言。
Prolog扎根于一階邏輯（一種形式邏輯）。與其他編程語言的不同之處在于，Prolog是定義式語言。
Prolog的程序邏輯用關(guān)系描述，用事實和規(guī)則表示。它的運(yùn)行方式是進(jìn)行查詢的這些關(guān)系的內(nèi)在聯(lián)系來決定的。

6. HASKELL

Haskell是一種標(biāo)準(zhǔn)化，通用純函數(shù)式編程語言。它有非限定性語義和強(qiáng)靜態(tài)類型。Haskell的特色是擁有一個類型推斷和延后計算的類型系統(tǒng)。
我的看法
對于使用非函數(shù)式編程的程序員來說，它是最難懂的語言之一.為了能熟練使用這門語言，程序員的學(xué)習(xí)曲線會非常陡。但這同時也是非常值得的。因為它的無任何其他影響。正因為它有純函數(shù)屬性，所以它十分適合用來對數(shù)學(xué)問題進(jìn)行分析并建立模型。而對于那些從事范疇理論和做編程語言研究的人來說，它有極強(qiáng)的吸引力。

7. IDRIS

Idris是一種擁有依賴類型的通用純函數(shù)式編程語言。它的類型系統(tǒng)與Agda的類似。
它支持交互式定理和策略的證明，可以與Cop相媲美。定理證明開始之前，我們就可以將重點(diǎn)放在通用編程上。
Idris的其他目標(biāo)是“充分”性能，它的副作用也容易得到控制，并且他還支持在特別針對于嵌入式領(lǐng)域中應(yīng)用語言的實現(xiàn)。
我的看法

作為一種研究型語言，它結(jié)合了Haskell和Coq的特性。是很有意思的。

?

8. JULIA

ulia是一種用于技術(shù)計算的高水平、高性能的動態(tài)編程語言，對于其他技術(shù)計算環(huán)境的用戶來說，它的語法讓初學(xué)者很容易上手。
它提供了復(fù)雜的編譯器、分布式并行處理、高數(shù)值精度和一個可擴(kuò)展的數(shù)學(xué)函數(shù)庫。Julia的基礎(chǔ)函數(shù)庫大多數(shù)由官方維護(hù)人員編寫，同時，它也集成了一些C和FORTRAN中開源成熟、性能良好的庫來處理線性代數(shù)、隨機(jī)數(shù)產(chǎn)生和字符串處理等問題。

我的看法

它是一種非常有前景的科學(xué)計算和數(shù)據(jù)科學(xué)語言。由于Jupyter項目，Julia也可以用于分享代碼，并和他人一起協(xié)作完成項目。

9. PYTHON

Python是一種被廣泛使用的高級、通用、解釋型動態(tài)編程語言。
它的設(shè)計理念是要強(qiáng)調(diào)代碼的可讀性，其變量系統(tǒng)是弱類型的，這樣的特性讓程序員用比C或Java等語言更少的代碼行來實現(xiàn)自身需求。
該語言提供了一種旨在實現(xiàn)各種規(guī)模程序中都能清晰展示程序架構(gòu)的方法。
Python支持多種編程范式，包括面向?qū)ο?、命令式和函?shù)式編程或過程式的風(fēng)格。它具有動態(tài)類型系統(tǒng)和自動內(nèi)存管理功能，并有一個龐大而詳盡的標(biāo)準(zhǔn)庫。
我的看法

從數(shù)學(xué)和科學(xué)的角度來看，Python之所以有趣，是因為它有大量的相關(guān)文庫可供這種流行的編程語言使用(例如， numpy, scipy, scikit-learn, Sage等)。
得益于這個豐富的生態(tài)系統(tǒng)，你能輕松地學(xué)到一門對科學(xué)計算來說非常友好的語言。并且由于它很受歡迎，例子(和Jupyter notebooks中的示例代碼)隨處可見。

10. J

J是一種非常簡潔的數(shù)組編程語言。它最適合數(shù)學(xué)和統(tǒng)計編程，尤其是對矩陣執(zhí)行操作的時候。它還被用于極限編程和網(wǎng)絡(luò)性能分析。
與最初的FP/FL語言一樣，J通過其默認(rèn)的編程特性支持過程式(與函數(shù)式編程不同)的編程方式。我的看法

像APL和K一樣，J是一種令人費(fèi)解的語言。它的語言很簡潔，很難讀，但卻強(qiáng)大得難以置信。如果您有興趣采用新的方法來處理數(shù)據(jù)操作和分析的話，那么J值得一試。
這是一個快速排序的實現(xiàn)，來讓您了解我們正在處理的問題。
quicksort=: ((:@(<#[)?,?(=#[)?,:@(<#[)?,?(=#[)?,:@(>#[)) ({~ ?@#)) ^: (1<#)寫得比較豪放。上面的十種語言就是我眼中認(rèn)為在數(shù)學(xué)領(lǐng)域中值得一試的語言。當(dāng)然，如果您有更好的選擇，歡迎留言表達(dá)你的個人見解。

————

編輯?∑Gemini

?來源：青少年數(shù)學(xué)之旅

?泰勒定理的奇聞軼事

?丘成桐：漫談微分幾何

?Leibniz 如何想出微積分？（一）

?線性相關(guān)和秩的物理意義

?數(shù)學(xué)史上你認(rèn)為最丑陋的公式是什么？

?陶哲軒談什么是好的數(shù)學(xué)

?田淵棟：數(shù)學(xué)的用處（下篇）

?你絕對沒想過原來數(shù)學(xué)家這么流氓，一言不合就進(jìn)行暴力證明

?世界上最牛的五篇博士論文

?數(shù)學(xué)中有哪些巧合讓人眼前一亮？

?算法立功！清華畢業(yè)教授美國被搶車，警察無能為力自己用“貪心算法”找回

?學(xué)術(shù)史上的奇文：怎樣用數(shù)學(xué)抓獅子

?臺大教授的反思：最難的一課 我們卻沒教給學(xué)生

?麻省理工學(xué)院(MIT)研究生學(xué)習(xí)指導(dǎo)—— 怎樣做研究生

?分享 數(shù)學(xué)，常識和運(yùn)氣 ——投資大師詹姆斯·西蒙斯2010年在MIT的講座

算法數(shù)學(xué)之美微信公眾號歡迎賜稿

稿件涉及數(shù)學(xué)、物理、算法、計算機(jī)、編程等相關(guān)領(lǐng)域，經(jīng)采用我們將奉上稿酬。

投稿郵箱：math_alg@163.com

創(chuàng)作挑戰(zhàn)賽新人創(chuàng)作獎勵來咯，堅持創(chuàng)作打卡瓜分現(xiàn)金大獎

總結(jié)

以上是生活随笔為你收集整理的十大应用在数学的计算机语言的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。