ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
根據佛教，佛陀一生所教的內容主要就是知苦與滅苦。「四聖諦」學說是佛教教義的核心，就是苦締、集諦、滅諦、道諦。「苦諦」是佛教認為一切六道眾生都免不了生、老、病、死、求不得、愛別離、五陰熾盛八苦所煎熬。這些苦難不會因為我們的死亡而結束，因為我們死後並非徹底地消失，而是繼續會在六道中輪迴不息，無論你生在天道、阿修羅道、人間道、畜生道、餓鬼道還是地獄道，這些痛苦都總是存在的，只是程度不同罷了。佛教還認為，世間的萬物都是變化不定的，沒有永恆，這叫做無常。對眾生來說，因為於無常敗壞法起貪著，則將造成身心的熾燃大苦，因此說無常故苦。集諦是講苦產生的原因。佛教認為世上沒有無因之果，也沒有無果之因。有情眾生之所以會受苦，在於因無明而於六根觸受起愛執，而導致後有生死的純大苦聚集。佛教認為只要是在六道中輪迴，就無法避免會受苦。有情眾生要想從苦中真正的、徹底的解脫出來，只有脫離輪迴這一個辦法。道諦為了脫離輪迴，必須進行修行。佛陀給出的方法主要為戒、定、慧三學。依八正道，便可以達到涅槃，永遠從輪迴中解脫出來，證得阿羅漢。
西漢末年，佛教開始從中國的邊疆傳入內地。佛教一開始進入中國，就和中國傳統文化充滿-{zh-hans:著; zh-hant:著;}-矛盾。不少文人排斥外來文化，還出現過北魏太武帝和北周武帝的兩次大規模滅佛事件。但經過東漢魏晉二百多年的磨合，佛教與中國的本土文化從對抗走向適應，並相互影響。南北朝時期，佛教從南到北，從東到西，跨地區，跨國界的廣泛傳播開來。在吸收中國傳統文化的條件下，形成了獨具特色的中國佛教。中國佛教和儒家、道家一樣，成為中國傳統文化的重要支撐，對中國社會各個方面都產生很深的影響。中國佛教發展到隋唐，進入鼎盛時期。
在清末洋務運動，以及1894年甲午戰爭之後，首先由孫中山為首的革命派興起，將西方的自由主義、天賦人權、權力分立...等西方自由主義、民主主義的思潮引進，使得儒家思想及傳統哲學，開始衰退，變為非當代中國哲學主流。20世紀以來的中國哲學，由首先得勢的是西方的自由民主主義思想，以孫中山、胡適、蔡元培，其次是馬列主義思想，以陳獨秀、李大釗、毛澤東為代表，最後是新儒家思想與傳統的回歸。
1919車的五四運動，象徵傳統思想體系走向窮途末路。新文化運動提出「德先生」（民主）和「賽先生」（科學）的口號。西化派的領袖胡適接受了「打倒孔家店」的口號，和陳序經「全盤西化」的主張，視傳統與現代為對立的兩極，傳統是現代化的絆腳石，想用西方民主和科學代替傳統思想。他大力提倡杜威的實驗主義，繼承杜威主張點點滴滴的進步那種改良主義，但杜威重視外在條件的程序性，而胡適則提倡「大膽假設，小心求証」，把重點轉移到心理方面。胡適的改良主義無法解決當時中國內憂外患的問題，取而代之的是越來越激進的思想，馬列主義隨即成為時代思潮的主流，西化派被批評為替帝國主義搖旗吶喊的落伍思想。
毛澤東原是改良派，後來才越來越激進成為革命派。他曾受《新潮》和胡適的影響，一度主張性解放。在內憂外患的威脅下，西方的自由主義和個人主義根本無法發展，有理想的青年人傾向集體主義。毛澤東否定傳統，選擇馬列主義，以「階級鬥爭」為綱，開創了農民革命的新理論。毛澤東也資取於傳統，但他所取的不是儒家仁愛中庸的大傳統，而是農民起義的小傳統，文革破四舊、批林批孔，目的正是要徹底摧毀被譴責為「封建」的大傳統。毛澤東否定仁愛中庸等原則，與儒家精神無關，卻和漢代以來政治化的儒家，特別是明清專制下的權威主義有一定關連。文革以後，中共領導人喜歡談儒家，但主導思想仍是馬列毛思想，儒家思想至多佔支援地位。
儒家傳統仍有活力，當代新儒家標明回歸傳統，主張通過對傳統的重新闡釋和改造，吸納西方現代的成就，重新恢復傳統的活力以振興中華，並貢獻於世界。梁漱溟首先挺身而出，他終極嚮往是佛家，但為了生存，中國必先吸納以前進為導向的西方成就，然後回歸兼顧前進與後退雙向的中國文化，最後才皈依以後退為導向的佛家境界。熊十力則吸納了印度哲學，歸宗《易經》，創造《新唯識論》作為新儒家的始祖。弟子唐君毅、牟宗三、徐復觀，史家錢穆、政治家張君勵都堅決反共，認為共產黨徹底破壞傳統是錯誤的。唐君毅、牟宗三對西方哲學都有深入理解，唐君毅撰寫《哲學概論》，遍及流行的西方哲學潮流，而歸宗於黑格爾的絕對唯心論，致力於融合中西哲學。牟宗三則精研邏輯，承繼康德的批判哲學，反顯出中土三教肯定了他「智的直覺」的體証。他們要維護傳統道統的心性之學，並要以「曲通」方式開拓「學統」與「政統」，以吸納西方的民主與科學。
新儒家認為，儒家「天道性命相貫通」的思想萬古常新，生生不已的天道，內在於人而成為超越心性的根源，透過內在的體認與恭行實踐實現在個體生命之中，再通過推己及人，將理想實現在群體生活之內。但中國傳統向來不重視抽象的思辨，新儒家卻通過對康德、黑格爾的吸納，而擴大了視野，並體認到自己傳統的限制；「內聖外王」的方式，並不能實現仁政的理想，反而產生了專制暴政，缺少抽象的架構思維使科學發展也大受局限。故新儒家沒有排斥民主與科學的理想，但在人生意義的追求方面，仍然堅持傳統原則，強調人人與生俱來超越的心性根源。
;中國哲學和西方哲學
現代新儒家如方東美、牟宗三認為，儒家哲學是內在超越的，西方哲學是外在超越的。安樂哲認為，西方哲學注重追求超越性的真理；而中國哲學注重追求道、創造自己。當代西方哲學批判其超絕性而發展出來的新哲學思想，使兩者具有更多的相通性。
;中國哲學和印度哲學
中國哲學和印度哲學相比，總的來說，中國哲學更關注人，而印度哲學更關注物。以唯物主義哲學而言，傳統上，印度唯物主義哲學首先建立在對崇拜神的宗教的徹底批判的基礎上，認為宗教的存在是尋求物質真理的障礙；相對而言，中國唯物主義哲學家大多認為宗教未必妨礙人的修身，因此只有少數的學者如王充、范縝等對崇拜神的宗教作激烈的批判。
古代華夏沒有哲學一詞。前人沒有分科別類的傳統，著作通常文史哲混雜，故此有中、西哲學定義是否相同之辯。
古代中國並無「哲學」一詞，漢語裡的「哲學」一詞出自日本學者西周（1829—1897年）在其《百一新論》（1874）中對「philosophy」的翻譯，直到1902年中國人才在《新民叢報》的一篇文章里將「哲學」一詞以回溯的方式應用於中國思想。1950年代起，中國的學術研究受前蘇聯影響甚深，對思想史的研究，都套用「哲學」一詞。若以此與西方哲學比較，兩者皆有，但唯獨西方哲學有形式邏輯。因此有學者主張中西哲學並無定義之別，而形式邏輯則獨立成科。
* 《中國哲學簡史》，《中國哲學史》，馮友蘭
* 《中國哲學導論》，賴蘊慧，世界圖書出版公司北京公司，2012
* 《論道者:中國古代哲學論辯》，，中國社會科學出版社，2003
* 《古代中國的思想世界》，本杰明·史華茲，江蘇人民出版社，2008
* 《中國思想之淵源》，牟復禮，北京大學出版社，2009
* 《中國古代哲學史》（全二冊），復旦大學哲學系中國哲學教研室編，上海古籍出版社，2006
*商戈令：〈 圖像、叢生與間性——探源中國哲學的新路徑〉。
*安樂哲：〈 活著的中國哲學〉。
*李明輝：〈 關于“中國哲學之正當性問題”的一個批注〉。
*李晨陽：〈 全球華人與中國哲學的世界性〉。
*陳嘉映： 〈從移植詞看當代中國哲學〉（2006）
*倪梁康： 〈現代漢語哲學的合法性問題〉 （2009）
*趙敦華： 〈當今中國哲學中的普遍主義與特殊主義〉（2010）
*趙敦華： 〈中國哲學現代形態的可能性條件〉（2011）
*劉笑敢： 〈簡論中國哲學的身份、角色與功能〉（2010）
*李幼蒸：〈 中國哲學和符號學〉。
*黑山著，周大興譯：〈 古代中國哲學的原初存有學基礎〉。
*黃勇：〈 如何在西方哲學語境中做中國哲學：以儒學研究為例〉。
*張汝倫： 〈論中國哲學的特質〉（2008）
*張汝倫： 〈論重寫中國哲學史〉（2006）
九亭鎮，是位于中國上海市松江區東北部的一個鎮。面積26.13平方公里。鎮人民政府駐康亭路1號。
九亭鎮因九里亭而得名。傳南宋末，僧法聳始建九里亭，清光緒三年（公元1877年）鄉賢沈夢虎在蒲匯塘西端北岸重建涼亭一座，因亭距七寶、泗涇各九里，故名九里亭。
九亭地區春秋時屬吳，戰國初，吳亡歸越，越亡后屬楚。公元前221年，秦始皇統一中國，九亭地區屬婁縣。梁天監六年（公元507年），隨婁縣并入信義縣。唐天寶十載（公元751年）置華亭縣，時九亭地區為華亭縣華亭鄉之中心地帶。元至元十四年（公元1277年），升華亭縣為華亭府，領華亭縣。翌年，華亭府改稱松江府，時九亭地區為松江府華亭縣華亭鄉35保。
明嘉靖二十一年（公元1542年），劃華亭縣集賢、修竹、華亭三鄉部分和上海縣新江、北亭、海隅三鄉建青浦縣，九亭北部地區（松滬、黃泥浜、杜巷、小寅、朱坊）隸之。嘉靖三十二年（公元1553年）廢青浦縣，復為華亭縣境。萬歷元年（公元1573年），重建青浦縣，九亭北部地區復屬青浦縣轄境。清順治十三年（公元1656年），析華亭縣建婁縣，時九亭地區分屬華亭、婁、青浦三縣。清末，九亭大部分屬泗涇區七寶鄉，部分屬陳家巷鄉、莘莊鄉和青浦縣龍固區杜寅鄉。
民國元年（公元1912年），撤松江府，婁縣并入華亭縣。民國3年（公元1914年），華亭縣改稱松江縣，時張家角（即九里亭）及蒲匯塘以南地區隸屬于松江縣七寶鄉；蒼石橋、姚家閣（姚家角）、田村等九亭南沿地域隸屬于松江縣陳家行鄉（陳家巷鄉）；北場東南一地隸屬松江縣莘莊鄉；九亭北部地隸屬于青浦縣龍鳳鄉。民國38年（公元1927年），松江縣改設為16區。七寶屬第五區，今九亭大部分地區屬七寶管轄。民國18年（公元1929年）秋，九亭大部分地區屬泗涇區，部分屬莘莊區。民國23年（公元1934年），松江改為8區，原七寶、莘莊及陳家行鄉歸并為松江縣第二區，九亭仍屬七寶、莘莊及陳家行鄉所轄。民國24年（公元1935年），九亭地區歸屬松江縣第三區，屬第三區西北片。
民國26年至民國27年（公元1937至1938年），九亭地區屬維新政府松江縣泗涇區所轄。民國31年（公元1942年）日偽“清鄉”期間，九亭地區屬松江特別區。民國34年（公元1945年）抗戰勝利后，九亭地區分屬松江縣泗涇區轄下的蒲南鄉、蒲北鄉、趙莊鄉、蒼石鄉、陳行鄉以及青浦縣轄下的龍鳳鄉。民國36年（公元1947年）4月，泗涇區劃分集賢、寶義、存仁、新太四鄉及新橋、泗涇兩鎮。存仁鄉即今九亭地區部分。九亭北部地區屬青浦縣杜寅鄉。
1949年5月14日后，九亭地區隸屬松江縣第一鄉鎮聯合辦事處。同年8月撤銷松江縣第一鄉鎮聯合辦事處，成立泗涇區，九亭地區隸屬泗涇區。1949年10月中華人民共和國成立后，九亭地區分屬泗涇區新民鄉、聯農鄉、民樂鄉（部分）及青浦縣龍固區杜寅鄉。1954年3月，青浦縣龍固區杜寅鄉劃歸松江縣泗涇區。1957年8月撤區并鄉，九亭地區杜寅鄉、新民鄉、聯農鄉屬泗聯鄉，民樂鄉屬新橋鄉。
1958年9月，撤鄉建人民公社，九亭地區泗聯鄉建東方人民公社，新橋鄉建衛星人民公社。10月，推行軍隊建制，改為營、連、排編制。一、二、三、四營歸屬東方人民公社，八、九營歸屬衛星人民公社。1958年11月，九亭地區隨松江縣劃歸上海市。1959年4月，東方人民公社、衛星人民公社分別更名泗聯人民公社、新橋人民公社。1959年3月，將原來的公社、營、連、排編制改為管理區、生產隊、生產小隊。九亭地區屬泗聯人民公社的杜寅管理區和新民管理區以及屬新橋公社的聯農片。1961年撤銷管理區建制，建立公社、生產大隊、生產隊三級體制。1962年3月，九亭地區建有15個生產大隊、135個生產隊。
1978年3月10日，原泗聯人民公社劃分為九亭 、泗聯、磚橋（今洞涇）三個公社 。其中劃原泗聯人民公社松滬、杜巷、向陽、朱坊、九星、興聯、繁榮、友誼、三星、朱龍、金吳11個大隊及水產大隊一部分與原新橋人民公社松聯、曙光、黎星、北場4個大隊總共合計15個生產大隊、1個水產隊組建九亭人民公社，選址友誼大隊陳家浜生產隊建九亭集鎮，為公社駐地。1984年3月30日，恢復鄉級體制，九亭人民公社改為九亭鄉，成立鄉人民政府，生產大隊改為行政村，建立村民委員會，生產隊改為村民小組。1993年8月28日，松江縣人大常委會第十一屆四次會議通過九亭鄉撤鄉建鎮，成立九亭鎮人民政府。實行鎮管村的行政體制。
1998年2月10日，北場村東南部南行、朱潘、諸家三生產隊全境及薛家橋生產隊部分共1455畝土地劃歸閔行區管轄。
2011年4月，九亭一輛城管車正準備闖紅燈的時，與城管車前面的一對年輕夫妻衝突，8名城管下車毆打男子。結果民眾圍困城管車討要說法。警方接報到場後，封鎖附近的路段。後來涉案的2名城管人員被刑事拘留，另4名城管人員因毆打他人被行政拘留15天并處罰款500元。另有4名圍觀者同樣被拘留。
2015年7月15日，上海市人民政府批復同意從九亭鎮析出建立九里亭街道。并對九亭鎮行政區域范圍作相應調整，其行政區域范圍為：東至小淶港，南與新橋鎮接壤，西至北泖涇，北至滬松公路。
九亭鎮位于松江區東北部，距松江城區20公里。東以九曲江、小淶港為界，與閔行區七寶鎮相望；南以廟涇、張家浜、莘涇為界，與新橋鎮毗鄰；西以淀浦河（西北）盤龍塘（西南）為界，與泗涇鎮相接；北以滬松公路、湛涇港為界，與九里亭街道、青浦區徐涇鎮接壤。
九亭鎮中心地理坐標為東經121°5'55"，北緯31°07'43"。東西最寬處約4.5公里，南北最長處為7.5公里。周長約30公里。
九亭鎮境內河流眾多，有橫穿鎮境東西的市級河道淀浦河，其他主要河流還有區級河道蒲匯塘、蟠龍塘（盤龍塘）、小淶港等。
九亭鎮戶籍人口指按照《中華人民共和國戶口登記條例》，在松江區公安局（九亭分局）戶籍管理機關登記了常住戶口的人。戶籍人口不管是否外出，也不管外出時間長短，都屬于九亭地區的戶籍人口。
1984年3月，大隊改制為村，時九亭鄉下轄17個村：九里亭村、小寅村、松滬村、黃泥浜村、杜巷村、朱坊村、朱龍村、牛車涇村、趙家角村、金吳村、興聯村、北場村、松聯村、朱涇浜村、蒼石橋村、莊家村和水產村。
1989年，成立九亭鎮居委會（后一度稱亭中居委會，但非今日之亭中居委會）。
2000年，九亭鎮居委會與水產村合建亭福居委會。
2001年，黃泥浜村并入松滬村；杜巷村并入九里亭村；趙家角村并入朱龍村；蒼石橋村并入金吳村；朱坊村并入小寅村；松聯村并入朱涇浜村。劃牛車涇村北部建亭中居委會。
2002年，莊家村、興聯村境內成立亭東居委會。興聯村撤村并入。莊家村改建為莊家居委會。北場村南境建亭南居委會。
2003年，亭東居委會析建為亭東居委會、興聯居委會。
2004年，松滬、九里亭、小寅、金吳、朱龍、朱涇浜6村撤村建居委會；牛車涇村并入亭中居委會；北場村并入亭南居委會。
2005年，亭南居委會劃出原北場村，另建北場居委會。從亭福居委會、莊家居委會析地建亭源居委會；松滬居委會境內析地建奧園居委會、知雅匯居委會；興聯居委會、亭中居委會境內析地建國亭居委會、復地居委會；九里亭居委會境內析地建亭匯居委會；亭中居委會境內析地建頤景園居委會。原牛車涇村從亭中居委會分出，建牛車涇居委會。
2006年，朱龍居委會、莊家居委會境內析地建嘉禾居委會。
2008年，新建淶寅、九城湖濱、亭北3個居委會。
九亭鎮現轄以下居委會：亭中居委會、亭東居委會、亭福居委會、亭南居委會、莊家居委會、興聯居委會、朱龍居委會、金吳居委會、小寅居委會、朱涇浜居委會、亭源居委會、北場居委會、牛車涇居委會、國亭居委會、嘉禾居委會、頤景園居委會、復地居委會、天元居委會、青春居委會、云潤居委會、淶亭居委會、象嶼都城居委會、紫金居委會。
九亭鎮交通便捷，東北距上海市中心18公里，西南距松江城區20公里。北距虹橋機場8公里，東距浦東國際機場38公里。北鄰318國道滬青平公路，南傍莘磚公路。東靠嘉閔高架路、滬昆鐵路外環線和滬杭高速鐵路。滬松公路貫通東西全境，九杜路-九新公路縱穿南北全境。
G50滬渝高速、G15沈海高速和G60滬昆高速分別從北側、西側和南側三個方向穿越鎮境。
終點站位于境內或途徑境內的主要公交線路有92B、186、198、706、748、759、1840、1841、1841B、1842、1843、松江40路、松江4l路、松江42路、松江43路、松江44路、松江89路、滬松線、滬陳線、滬佘昆線、上佘定班線、松龍線等。
2007年12月29日上海軌道交通9號線一期工程通車，全長31.12公里。從泗涇過淀浦河大橋以后在境內進入地下行駛。并設置九亭站，有3個進出口。
九亭地區歷史悠久，今仍有少量建于清代的石橋完好保留至今。
* 吳家浜橋，跨吳家浜，初建于清道光十一年（1831年）十一月，重建于清光緒十八年（1892年）。
* 百歲橋，又名高義橋，跨朱坊滄涇，建于清道光二十一年（1841年）三月。
* 樂郊橋，跨高汾涇，重建于清道光十六年（1836年）。
* 積善橋，跨褚涇，建于清光緒初年，為松江、青浦兩區界橋。
九亭鎮境內有五所公辦幼兒園：中心幼兒園、亭南幼兒園、九亭二幼、九亭三幼、九亭四幼；
四所公辦小學：九亭小學、九亭二小、九亭三小、九亭四小、九亭五小；
一所公辦中學：九亭中學；
一所成人學校：九亭成校。
* 1992年7月31日，九亭鄉同日本高知縣長岡郡本山町正式建立友好鄉鎮關系。
* 1996年6月14日，九亭鎮與河南省鹿邑縣玄武鎮結為友好鄉鎮。
* 1981年，九亭噴花廠被評為1981年度“上海市模范集體”，五金廠模具小組被評為“上海市先進集體”。
* 1982年，九亭公社獲“上海市消滅血吸蟲病先進集體”。
* 1993年5月，九亭鎮被市農村黨委、市農委命名為“上海市郊區標兵鄉（鎮）”。
* 1993年11月，九亭鎮被市經委、市農委、市郊工商局評為“鄉鎮工業好，貢獻大的先進鄉（鎮）”。
* 1995年11月，九亭鎮榮獲“首屆中國鄉鎮投資環境100強”榮譽稱號。
* 1995年，九亭鎮蔬菜生產被評為上海市先進。
* 1995年，九亭鎮榮獲1994至1995年度“市擁軍優屬模范鎮”光榮稱號。
* 1996年12月，九亭鎮獲1996年度松江縣社會治安綜合治理“金盾杯”獎。
* 1996年，九亭鎮榮獲1996年度“上海市村民自治示范鎮”稱號。
* 1998年，九亭鎮榮獲“上海市文明鎮”稱號。
* 2000年12月，九亭鎮被評為“市一級衛生鎮”。
* 2004年8月，九亭鎮被評為上海市“雙擁模范鎮”。
* 2004年12月10日，九亭鎮創建“國家衛生鎮”，經全國愛委會領導一行4人驗收達標。
* 2005年12月，九亭鎮被中央文明委評為“全國創建文明村鎮工作先進鎮”。
* 1981年4月25日，張輝、張洪其被共青團上海市委員會評為“新長征突擊手”。
* 1995年5月，喻雄萍被共青團上海市委員會命名為“新長征突擊手”。
* 1979年，朱龍大隊金東生產隊隊長張國章被評為1979年度“上海市勞動模范”。
* 1981年，種子站趙蘭芳被評為1981年度“上海市勞動模范”。
* 1983年，趙家角大隊王偉才被評為1983年度“上海市勞動模范”。
* 1989年，華氏集團顧躍輝被評為1989年度“上海市勞動模范”。
* 1993年，九亭鎮工業公司蔡金榮被評為1993年度“上海市勞動模范”。
* 1995年，農業公司經理趙永高和銅材廠廠長陸紅士被評為1995年度“上海市勞動模范”。
* 1997年，九亭鎮副業公司戴學超被評為1997年度“上海市勞動模范”。
* 2000年12月，松滬村黨支部書記陳愛忠被評為2000年度“上海市勞動模范”。
* 2003年12月，吳芳、錢光強被評為2003年度“上海市勞動模范”。
* 2006年12月，牛車涇居民區黨支部書記彭明華被評為2005至2006年度“上海市勞動模范”。
*  上海市松江區九亭鎮人民政府
同濟大學嘉定校區位于上海市曹安公路4800號，校區總面積167公頃，屬于安亭汽車城的文化教育社區的組成部分。該校區的設置主要依循了“為汽車的產學研體系服務”的思路。
在2004年，嘉定校區初步建成時最先入駐的學院是軟件學院和汽車學院。在2005年，有機械工程學院、電子與信息工程學院以及交通運輸工程學院入駐。在2006年，經濟與管理學院、材料科學與工程學院、傳播與藝術學院也由校本部（四平校區）遷入。同時，同濟大學鐵道與城市交通研究院、中德工程學院與音樂系，也已經完成搬遷。
校區內的建筑設計和園林設計體現了同濟大學特有的理念和風格。其中的“以人為本”的精神尤為突出，作為標志性建筑之一的教學樓中樞是最好的例證。B、C、D、E四幢教學樓由一個四層高的中空鋼結構天橋聯系在一起，同時A、B、C、D、E、F、H七幢教學樓均有連廊相互貫通，學生和教師可以不經過露天穿行于各教學樓。多幢教學樓通過連廊和天橋而構成一體，形成了相對獨立的空間，避免了外部天氣（風、雨、霜、雪等）的影響。其他的建筑充分利用玻璃的作用，用自然光進行照明和裝飾，極力避免了墻的隔閡。在建筑的內部空間中，大量進行了植被的綠化，使建筑本身呈現更多的生態元素。校區各個功能區域主要由人工河、人工湖和橋進行劃分，良好的設計使藝術表現和功能滿足方面達到完美的統一。從硬件環境方面來看，嘉定校區提供了非常有益的環境，其建筑規劃值得肯定。
嘉定校區所處的地區為上海市與江蘇省交界處，地理位置遠離上海市中心，因此周邊環境所能提供的城市服務較為有限。在交通、餐飲、購物、銀行和醫療方面的缺陷和不便較為突出。
*交通方面，目前學生出行主要搭乘連通嘉定校區與校本部（四平校區）的北安跨線車，路途漫長、路況較差，全程需要1個半小時至3個小時。北安跨線車由校外公交公司承辦，費用較高，增加了學生出行的不便與開銷。教師主要搭乘學校班車，經滬寧高速、外環高架，因此耗時大大縮短，全程為40至50分鐘。交通方面的師生差別待遇屢屢為學生所詬病，目前暫無學生和校方均滿意的解決方案。11號線安亭一期支線于2010年3月29日開通，使得可以在上海汽車城站乘坐地鐵出行，但至嘉定校區仍需換乘沿曹安公路的公交車。校方開設了自嘉定校區往返上海汽車城站的免費接駁車，但班次有限。離校區最近的昌吉東路站于2011年4月26日開通，車站內雖有“同濟大學”標識，但還沒有建成的道路通往校區。
*餐飲方面，校區投入使用初期，校園內僅有后勤食堂供應餐飲，存在缺乏競爭、質量不佳的情況。當時在校生活的學生普遍認為后勤食堂提供的伙食“有辱幾十年來‘吃在同濟’的美名”。隨著2005年至2006年間多個學院的遷入，校園附近零星開設了數家餐飲小店，但離學生生活區域較遠，且校方禁止校外餐飲小店外送入內，因此并未緩和學生在餐飲方面的不滿。2006年秋季學期開學之后，在校內陸續增開了多家餐飲小店，且結合了中外菜肴、南北口味，收費也較市區相對低廉，受到了同學們的普遍認可。
*購物方面，目前校區內有一中小規模的聯華超市，以及數家小超市。校區周圍并無較大規模的超市或商場。校區開設了到安亭鎮的免費購物班車，但由于停靠的站點不佳且過于耗時，并未受到學生歡迎。
*銀行方面，校內僅有中國農業銀行兩臺自動柜員機（ATM，于新天地步行街）、兩臺自動存取款機（CDM，于綜合教學F樓學生事務中心）和一臺中國郵政儲蓄銀行的ATM提款機提供師生日常的取現需要。對于其他的銀行業務，需到附近的黃渡鎮，但是，鎮上的銀行受理的業務也相對有限。
*醫療方面，嘉定校區并未像校本部（四平校區）一樣，擁有一個完善、先進的校醫院。目前，只有一個規模較小的診所提供日常的醫療服務。且由于醫療設備短缺、醫療物資不充裕，學生往往需要到周邊的安亭鎮和黃渡鎮進行診療。校區提供的醫療方面的缺失，以及校方在該方面的缺乏重視，往往被認為存在發生醫療事故的隱患，師生對此均較為關注。
研究生宿舍的正南正北向設計給室內溫度帶來極大反差，許多學生活在終年不見陽光的環境下。校區內缺乏體育館等運動娛樂設施，建筑設置上追求外觀，不考慮實際，學生在校區行走，如出門搭車、去圖書館，都要花費不必要的時間。
中華人民共和國第十屆運動會上的槍術表演
槍術或槍法是指用冷兵器中的槍進行格斗的使用方法。
中國武術中的槍法非常多，槍也被稱為「百兵之王」。槍法主要以扎法為基本，隨以攔、拿，有道是「棍打一大片，槍札一條線」。
此外，各種槍法有還有不同的技巧。例如楊家槍有“八母”之說，即拿、拉、顛、捉、擼、纏、攔、還；羅家槍則有壓、打、砸、拿、滑、挑、崩、撐、攉、扎十法；岳家槍則講劈、抱、砸、創、抽、攔六法。正是各家這些不同的槍法，構成了各家具有鮮明特色的套路。而從這些基本的方法上，又產生出各種變化。不過總的來說，各家槍法大都遵循握把不露把的守則。
精妙的槍法非常不容易掌握，需要經過刻苦的練習才能練得好。武術中有“月棍、年刀、一輩子槍”的說法。
是槍術運動形式的一種，泛指兩虎口相對、手心向下握持槍桿進行演練的各種技術，以及由這類技法所組合的套路。
槍是最早出現在戰場上的兵器之一，戰場上的槍法不同于武術中的槍法復雜，非常簡單。
聚星樓，又名魁星，當地人稱它為「文塔」，位於香港新界元朗屏山上璋圍北面，與相鄰的天水圍站相距不足50米，原為新界原居民五大家族之一的屏山鄧氏的人所興建，有逾1000年歷史，為香港法定古蹟。因火災所以只剩下3層。
據鄧族父老相傳，當地立村之時，風水先生曾指出當地依山環水，定必子孫繁衍而千年不衰。唯不足之處是，1)青山尖而高大，旺火為忌，宜多水而濟之；2)而西北缺口，北煞傷人，將來鄧族文官升堂，自有擋煞之法。但至於何謂「文官升堂」，當地風水先生只答曰：「天機不可盡泄」。
於明朝洪武15年（1382年），屏山鄧族第七世祖寧國府正堂鄧彥通受封，在上任升堂的第一天晚上，他夢見故鄉西北角上空星光燦爛，但群星突然落下，聚集於西北的河口。鄧彥通夢中驚醒，並想起立村時風水師ii
傅的說話， 回顧始祖至他雖已經七代，但總共只有12個男丁，而其中竟有4人早逝。鄧彥通心中不安，於是聘請風水師傅謀求擋煞之法。師傅說：「貴村之立村先師果然學問不凡。大人升堂而群星來會，應建樓以聚之，藉助於眾星，自有雷霆萬鈞之威而北煞服焉。茍有文筆而無掌筆之才，不為用也！」鄧彥通恍惚大悟，於是在此建立了七級浮屠（即佛塔），恭奉文武諸神，擋北煞，鎮水災。果然，鄧彥通以後的七代人，發了22個男丁，當中10人另建圍村，有幾位做了壽官，有兩位建了二公祠，有的長壽達八十多歲、九十多歲，鄧氏家族在屏山的男丁有1,500多人。鄧氏在明清兩代人才輩出，每能在科舉中金榜題名，士人及當官者不計其數，族人相信是塔恭奉的文曲星庇佑，故族人亦稱此塔為「文塔」。
File:TsuiSingLauPagoda02.jpg|聚星樓底層 光射斗垣
File:TsuiSingLauPagoda03.jpg|聚星樓中層 聚星樓
File:TsuiSingLauPagoda04.jpg|聚星樓頂層 凌漢
File:Tsui Shing Lau Interior.jpg|聚星樓底層 內貌
File:Tsui_Sing_Lau_Pagoda,_Ping_Shan_Heritage_Trail.jpg|聚星樓外觀 背面
* 每日上午9時至下午1時；下午2時至5時。
* 逢星期二、聖誕日、聖誕翌日、元旦日及農曆年初一至初三休息。
*輕鐵天水圍站:705、706、751、751P
*輕鐵坑尾村站:761P、751
*  屏山古塔為什麼叫「聚星樓」
*  古物古蹟辦事處 — 法定古蹟：聚星樓
*  元朗的聚星樓之影像(2009年3月)
category:香港的塔
任熊（1823年7月19日－1857年11月23日），字渭長，一字湘浦，號不捨。1823年7月19日生於浙江蕭山縣城，1857年11月23日卒於蕭山家中。是清朝末年著名畫家，“海派”藝術的代表人物之一，浙江蕭山人。其繪畫對“海上畫派”及中國近現代繪畫影響很大。精山水，花鳥，人物畫。
其父任椿，善畫，在當地稍有名氣。受其影響，任熊自幼喜愛繪畫。父卒，又從村塾師學畫肖像。凡影描勾填之法，畫男女老幼之容，無所不會。因不願死板地恪守粉本，乃竊變其法，以期畫出裹在衣冠裡的人體解剖結構，於是弄得“朝服翎頂者禿其顱矣，端拱者跣一足矣”，因而引起老師的不滿。任熊遂離師而赴各地賣畫為生。在杭州他得到同鄉陸冶山相助，結識了許多畫友。此時他的肖像畫已為人所重，然他對傳統藝術的學習仍孜孜不倦，臨摹了杭州孤山聖因寺貫休的十六羅漢石刻畫像。浙西周閑喜愛任熊繪畫，將他邀至范湖草堂，使他終日臨撫古人名作，略不滿意，則再臨一遍，必達到與原作亂真或勝過原作乃已。興致所到，經常通宵達旦，前後達8年之久，故其畫藝日益精深。他又被寧波文人姚燮延請。姚家收藏甚富，使他得以飽賞宋元明清諸代名家的書畫佳品。在此期間，他創作了《姚燮詩意圖》120幅（故宮博物院）。後來常往來於寧波、杭州、上海、蘇州等地，靠賣畫為生。任熊的繪畫、人物、花卉、山水無所不能，工筆、寫意兼長，尤以人物畫著稱。其畫格、畫法主要學習陳洪綬，並加以發展，筆法清新活潑，氣味靜穆，富有裝飾趣味，深為當時人們所喜愛珍賞。
其代表作有《自畫像》、《二湘圖》、《盲歌圖》及木刻畫稿《列仙酒牌》、《劍俠傳》、《於越先賢傳》、《高士傳》等。其山水畫《范湖草堂圖》（上海博物館）、《十萬圖》（故宮博物院）等，為晚年山水畫的代表作。
任熊與兒子任預，弟弟任薰，侄子任頤稱“四任”；與任頤，任薰時稱“海上三任”。
《幸福終點站》，2004年出品的電影，由斯蒂芬·斯皮爾伯格導演，主要演員有湯姆·漢克斯、-{zh-hans:凱瑟琳·澤塔-瓊斯;zh-hk:嘉芙蓮·薜達-鍾斯;zh-tw:凱瑟琳·麗塔-瓊斯;}-、史丹利·圖奇和齊·麥拜特。劇本由沙查·蓋華斯，謝夫·內森遜根據安德魯·尼高爾和沙查·蓋華斯的原著故事改編。
影片講述主角前往美國途中家鄉發生政變，政府被推翻，所持證件不被美國入境當局承認，被拒絕入境卻又不能回國，被迫滯留甘迺迪國際機場期間的故事。
有人提出本片的情節跟一個名叫邁爾漢·卡里米·納賽里的伊朗難民經歷很相似，納賽里先生外號「Sir Alfred」（艾弗列先生），1988年因難民證件被偷而不得不滯留在法國巴黎查爾斯·戴高樂國-{}-際機場的1號航站樓，並在那裡住上18年。紐約時報就曾報導史提芬史匹堡買下了納賽里的故事作為本片的依據；衛報也指納賽里為此收取了電影製作人數千元報酬。
1993年出品的另一部法語電影 ''Lost in Transit'' (''Tombés du ciel'')與本片有相近主題，但故事設定在巴黎戴高樂機場。
維克多·納沃斯基（湯姆·漢克斯飾）從一個虛構的東歐國家「克拉科齊亞」抵達紐約甘迺迪國際機-{}-場，他并不知道在旅途中他的國家被反政府武裝推翻了，所持有的護照因此失效。由於他不懂英語，起初並不清楚自己的處境，後來才由機場內播放的電視新聞片段和入境當局的得知，對此他束手無策。在九個多月的時間裡，維克多不得不住在機場候機大樓裡，不能踏入美國領土半步，也沒法回家。期間他熱心幫助機場裡的人，包括空姐埃米麗亞·沃倫（凱瑟琳·澤塔-瓊斯飾）。同時他也在移民局官員弗蘭克·迪克遜（史丹利·圖奇飾）的嚴密監視之下，迪克遜一心想把維克多趕出機場。
有一天，維克多向埃米麗亞解釋他來紐約是為了收集爵士薩克斯風演奏者（戲中由他親自飾演）的簽名。維克多已故的父親是個爵士迷，他在1958年的一份匈牙利報紙中找到一幀名為「''A Great Day in Harlem''」的爵士樂手大合照。他請求照片上每個人給他一個親筆簽名，盡管很多簽名就只簽在小紙片上，但大部分人都還是回復了，就除了班尼·高爾森。維克多來紐約，就是為了了卻父親的心愿——拿到班尼·高爾森的親筆簽名。
幾個月以后，新聞報道克拉科齊亞國內戰爭結束了，但是迪克遜還是不想讓維克多進入美國。埃米麗亞就請求她的一位朋友幫忙，要了一個進入美國的緊急簽證。這位「朋友」其實是個跟她藕斷絲連了多年的已婚美國政府官員，維克多雖然得到了批準，卻也失望於埃米麗亞因此事而跟那個男人重新建立關係。更糟糕的是這個許可需要迪克遜的親筆簽名才能生效，迪克遜無視了維克多的請求，并以維克多在機場內認識的朋友的工作相威脅，維克多最后作出了讓步。
就在維克多要登機離開的時候，他的老朋友─在機場內當清潔工的印度老人拿著拖把跑到停機坪阻止飛機停靠機坪，維克多的航班因此延遲。他在機場安全員的支持下，踏出機場大門，正式踏進了美國土地。在坐上出租車的瞬間他看見了埃米麗亞，二人目光相遇，復雜的心情涌上來，最終沒有道別，二人的故事就此結束。在萊辛頓大道161號，維克多終于找到了班尼·高爾森。在欣賞完班尼的演出後，獲得了夢寐以求的簽名，維克多坐上計程車，對司機說：「我要回家了。」電影於此作結。
當維克多剛到達機場的時候，他幾乎不會英語。他利用機場提供的俄語和英語版城市向導，用對比的方法很快學到了很多的英語單詞，盡管發音不準確，但是進步相當迅速，很快就可以跟其他人溝通。
事實上克拉科齊亞的位置在影片中并沒有交代清楚，可確定的就只是個東歐國家。影片中提到克拉科齊亞與俄羅斯接壤，而克拉科齊亞語與俄語同族或者就是俄語方言，克拉科齊亞國歌旋律跟巴爾幹半島上的阿爾巴尼亞國歌十分接近 （調子類似Vajacki mar?）。
湯姆·漢克斯在電影中所講的「克拉科齊亞語」，事實上是保加利亞語。-{zh-hans:漢克斯;zh-hk:漢斯;zh-tw:漢克斯;}-的語言教練就是他的妻子麗塔·威爾遜，麗塔的父親正好就是保加利亞人。
* 湯姆·漢克斯 — 維克多·納沃斯基，來自東歐，因家鄉發生政變而成了難民，被逼住在甘迺迪國際機場
* -{zh-hans:凱瑟琳·澤塔-瓊斯;zh-hk:嘉芙蓮·薜達-鍾斯;zh-tw:凱瑟琳·麗塔-瓊斯;}- — 埃米麗亞·沃倫，39歲的美國聯合航空空姐。18歲就開始飛行，七年前開始跟有婦之夫Max（她口中的那個「朋友」）同居
* 史丹利·圖奇 — 弗蘭克·迪克遜，美國海關及邊境保衛局駐甘迺迪國際機場區域主管，為人自視甚高，因維克多間接令他失去升遷機會所以非常討厭維克多，處處與他刁難過不去，最後如願以償升為外勤專員。
*  — Joe Mulroy，一個很機靈的機場行李搬運員，喜歡抽雪茄，利用工作走私酒賺外快
*狄亞哥·盧納 — Enrique Cruz，在機場搬運食物的卡車司機。維克多成了他和機場簽證檢查員Torres的中間人，他給維克多提供食物作為交換。最后在維克多的幫助下兩人結婚
*  — Ray Thurman，一位十分樸素的安全員，弗蘭克的二把手
*  — Gupta Rajan，飛機場的清潔工，因為在印度攻擊警察成了難民。他清潔完地板后總是立起一個很大的警告標志注意防滑，但是總是有人還是滑倒，他最喜歡看人們滑倒的樣子
* 柔伊·沙達納 — Torres警官，維克多每天都要去詢問她能否得到簽證。她是個《-{zh-cn:星際旅行; zh-tw:星艦奇航記; zh-hk:星空奇遇記;}-》迷，參加 ''星際迷航'' 科幻大會，打扮成
*  — Max，一個已婚男人，政府官員，與埃米麗亞斷斷續續地維持了七年的不倫關系
*  — Karl Iverson
* Corey Reynolds — Waylin
*  — Bobby Alima
* Stephen Mendel — 頭等艙乘務員
*影片一開始的情節是一群中國偷渡客企圖闖關被警察抓獲。機場廣播里也不時傳出中文廣播的聲音。
*這是唯一一部斯蒂芬·斯皮爾伯格執導的電影沒有使用光影魔幻工業特效公司的特效。這部電影特效由數字王國3.0完成。
*戲中維克多幫一位小女孩把行李箱關上，卻把行李箱弄壞，飾演小女孩的是史提芬·史匹堡的女兒。
*主角趕到紐約後，還想去看音樂劇《貓》，后來才知道該劇早就不演了。
*維克多所持的-{zh-hans:駕照;zh-hk:駕駛執照;zh-tw:駕照;}-顯示是在白俄羅斯城市戈梅利簽發的，以西里爾文字印行，並寫著一個女性名字。
*電影最初的結局是埃米麗亞跟維克多一塊進了紐約市。
* 配樂: 班尼·高爾森、約翰·威廉斯
* Palmdale機場，加利福尼亞州Palmdale
* 蒙特利爾－米拉貝勒國際機場（加拿大魁北克省蒙特利爾附近）
* Parkes/MacDonald Productions
弗吉菲爾姆球場
NAC比達（NAC Breda），一般稱為NAC或比達。是一間位於荷蘭布雷達的足球會，成立於1912年，目前在荷甲聯賽作賽。主場為弗吉菲爾姆球場（Rat Verlegh Stadion），可容納19,000人。
NAC（全寫為）在1912年9月19日成立，當年兩間球會和，合併成現在的NAC。全寫為（英文：，意思是''永不放棄，堅定向前''）。而全寫為（英文：，意思是''娛樂時很舒暢，放鬆時很有用''），而這個名字可能是世界上最長的球會名字。
在1921年，NAC奪得聯賽冠軍，而在1973年，他們奪得荷蘭盃。在1996年，NAC的主場由先前位於市中心的''，搬至市中心外圍的弗吉菲爾姆球場，這個全新的球場擁有16,400個座位，先前稱為富士菲林球場。2004–05球季的平均入場人數為 12,500人。
2003年的早期，球會把名稱由NAC改為NAC布雷達。因為差劣的管理，NAC面臨財政危機，布雷達市買了NAC的弗吉菲爾姆球場，為NAC注入資金（NAC現在是向布雷達市借用球場）。為了感淚布雷達市的善意，球會在名字後面加上布雷達（'Breda'）。2003年，NAC布雷達獲得歐洲足協杯的參賽資格（縱使他們面對財政危機）。在第一圈，他們面對英超聯球會紐卡素，是球會近十年來最矚目的事。2004年，球會在荷蘭盃作客分別擊敗燕豪芬和阿積士，但在準決賽作客輸給川迪。不過有這樣的成績，對球會來說已經是相當不錯了。
2014–15球季，球會護級失敗，降落乙組。2016–17球季，球會附加賽第三圈擊敗NEC奈梅亨，獲得升上荷甲資格。
* -{zh-cn:范霍伊東克;zh-hk:雲賀當;zh-tw:范霍伊東克;}-
ML（Meta Language：元語言），是一個函數式、指令式的通用的編程語言，它著稱于使用了多態的Hindley–Milner類型推論。ML能自動的指定多數的類型，不要求顯式的類型標注，而且能夠確保類型安全，已經正式證明了有良好類型的ML程序不會導致運行時間類型錯誤。
ML提供了對函數實際參數的模式匹配、垃圾回收、指令式編程、傳值調用和柯里化。它被大量的用于編程語言研究之中，并且是全面規定了的和使用形式語義驗證了的少數語言之一。它的類型和模式匹配使得它非常適合并且經常用于在其他形式語言上進行操作，比如在編譯器構造、自動化定理證明和形式驗證中。
在1970年代早期，ML由愛丁堡大學的羅賓·米爾納及他人研制出來，用于在定理證明器中開發證明策略。LCF的語言是“PPλ”，它是一階邏輯演算與有類型的多態λ演算的結合，以ML作為元語言。ML的語法從ISWIM及其擴展實現PAL得到了啟發，LCF ML運行在DEC-10/TOPS-10主機的Stanford LISP下。
在1980年，于愛丁堡大學的VAX/VMS系統上開發了ML編譯器，它被稱為“VAX ML”，以區別于LCF版本的“DEC-10 ML”。VAX ML的編譯器和運行時間系統二者，都是用Pascal書寫而建立在“函數抽象機器”（FAM）之上 In Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, pages 208–217, New York, NY, USA. ACM.。在1982年，愛丁堡大學的Kevin Mitchell，用VAX ML重寫了VAX ML編譯器，隨即John Scott和加入了開發，在又進行一系列重寫改進之后，新的編譯器被稱為“Edinburgh ML”。
在1981年，INRIA的，將最初的LCF ML適配到Multics系統的Maclisp下，并且增加了編譯器。這個實現被描述于INRIA內部文檔“ML手冊”之中，它被開發者自稱為“Le_ML”。劍橋大學的用它開發了基于Franz Lisp的Cambridge LCF，進而劍橋大學的又用它開發了基于Common Lisp的第一版的。
在1983年，Robin Milner由兩個動機驅使開始重新設計ML。其一是愛丁堡大學的及其小組在規定上的工作，具體化為規定語言CLEAR，和表達可執行規定的函數式語言HOPE。這項工作與ML有關的是兩方面成果：首先，HOPE擁有優雅的編程特征，特別是模式匹配，和子句式函數定義；其次，是使用在接口中的簽名，進行規定的模塊化構造的想法。其二是在VAX ML上的工作，通過增加命名記錄和可變類型，擴展了ML中數據類型的品目。
在1984年，貝爾實驗室的David MacQueen提出了對Standard ML的模塊系統的設計。在Standard ML的持續設計期間，Edinburgh ML被漸進的修改，充當了Standard ML的近似原型實現。在1986年，普林斯頓大學的和貝爾實驗室的David MacQueen，以Edinburgh Standard ML作為起步開發環境，開始了專注于生成高質量機器代碼的Standard ML of New Jersey的活躍開發。
在1990年，Robin Milner、和制定的Standard ML的正式規定《The Definition of Standard ML》最終完成；在1997年，這個標準規定增補了David MacQueen為作者并進行了修訂。在1989年，、Nick Rothwell和David N. Turner于愛丁堡大學開始開發ML Kit編譯器，為了強調清晰性而非高效，將標準定義直接轉譯成一組Standard ML模塊；在1992年和1993年期間，主要通過愛丁堡大學的Nick Rothwell和哥本哈根大學（DIKU）的Lars Birkedal的工作，ML Kit第一版完成并開源發行。
在1987年，INRIA的Ascánder Suárez，基于巴黎第七大學的的“”（CAM） LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming, Pages 266–278.，利用Le Lisp的運行時間系統重新實現了Le_ML，并正式命名為Caml Research Report RT-0121, INRIA. pp.491.。在1990年和1991年，INRIA的基于用C實現的字節碼解釋器，利用提供的內存管理系統重新實現了Caml，并稱其為Caml Light。在1995年，Xavier Leroy又增加了機器代碼編譯器和高層模塊系統，這個版本也稱為“Caml Special Light”。在1996年，INRIA的Didier Rémy和Jér?me Vouillon，向Caml Special Light增加了面向對象特征，從而形成了OCaml。
今天ML家族的兩個主要的方言是Standard ML和OCaml。ML的實力大多被用于語言設計和操作，比如建構編譯器、分析器、定理證明器，但是它作為通用語言也被用于生物信息和財務系統等領域。ML確立了靜態類型函數式編程范型，從而在編程語言歷史上占有顯要地位，它的思想在影響了眾多的語言，例如Haskell、Nemerle、和Elm。
ML代碼片段很容易通過將其錄入到“頂層”來研習，它也叫作讀取﹣求值﹣輸出循環或REPL。這是打印結果或定義的表達式的推論類型的交互式會話。很多SML實現提供交互式REPL，比如SML/NJ：
Standard ML of New Jersey v110.79 built: Sat Oct 26 12:27:04 2019
可以在提示符-后鍵入代碼。例如計算1 + 2 * 3:
- 1 + 2 * 3;
val it = 7 : int
頂層推論這個表達式的類型為int并給出結果7。如果輸入不完全則打印第二提示符=，這時經常可以用;終結輸入。it是給未指定變量的表達式的標準變量。輸入control-C可返回解釋器頂層，輸入control-D可退出解釋器。
下面是hello, world!的程序代碼在SML/NJ解釋器下執行的結果：
- val _ = print "Hello, world!\n";
和使用MLton編譯器進行編譯執行的例子：
$ echo 'print "Hello, world!\n";' > hello-world.sml
$ mlton hello-world.sml
$ ./hello-world
不同于純函數式編程語言，ML是兼具一些指令式特征的函數式編程語言。ML的特征包括：傳值調用的求值策略，頭等函數，帶有垃圾收集的自動內存管理，參數多態，靜態類型，類型推論，，模式匹配和異常處理。不同于Haskell，ML與大多數編程語言一樣使用及早求值。
用ML書寫的程序構成自要被求值的，而非語句或命令，盡管一些表達式返回一個平凡的unit值并且只為其副作用而求值。以下章節介紹采用Standard ML的語法和語義。
就像所有的函數式語言一樣，ML的關鍵特征是函數，它被用于進行抽象。例如階乘函數用純ML可表達為：
fun fac 0 = 1
這里將階乘描述為遞歸函數，具有一個單一的終止基礎情況。它類似于在數學教科書見到的階乘描述。多數ML代碼在設施和語法上類似于數學。
憑借類型推論編譯器能推導出，fac接受整數0作為實際參數，則形式參數n也是整數類型int，而fac 0的結果是整數1，則函數fac的結果也是整數類型。函數fac接受一個整數的形式參數并返回一個整數結果，它作為一個整體從而有著“從整數到整數的函數”類型int -> int。函數及其形式參數的"類型"還可以用類型標注（annotation）來描述，使用E : t表示法，它可以被讀作表達式E有類型t，它是可選也可忽略的。使用類型標注，這個例子可重寫為如下：
fac (n : int) : int = n * fac (n - 1)
這個函數還依賴于模式匹配，這是ML語言的重要部份。注意函數形式參數不必須在圓括號內但要用空格分隔。當一個函數的實際參數是0，它將返回整數1。對于所有其他情況，嘗試第二行。這是一個遞歸，并且再次執行這個函數直到達到基礎情況。它可以使用case表達式重寫為：
fun fac n = case n
of 0 => 1
n => n * fac (n - 1)
這里case介入了模式和對應表達式的序列。它還可以重寫為將標識符綁定到lambda函數：
val rec fac =
fn 0 => 1
這里的關鍵字val介入了標識符到值的綁定，fn介入了匿名函數的定義，它可以用在fun的位置上，但使用=>算符而非=。綁定到遞歸的匿名函數需要使用rec關鍵字來指示。
通過將主要工作寫入尾遞歸風格的內部迭代函數，借助于語言編譯或解釋系統進行的尾調用優化，這個函數可以得以增進性能，它的調用棧不需要隨函數調用數目而成比例的增長。對這個函數可以采用向內部函數增加額外的“累加器”形式參數acc來實現：
fun fact n = let
fun fac (0, acc) = acc
fac (n, acc) = fac (n - 1, n * acc)
fac (n, 1)
let表達式的值是在in和end之間表達式的值。這個遞歸函數的實現不保證能夠終止，因為負數實際參數會導致遞歸調用的無窮降鏈條件。更健壯的實現會在遞歸前檢查實際參數為非負數，并在有問題的情況，即n是負數的時候，啟用異常處理：
有一些基本類型可以當作是“內建”的，因為它們是在Standard ML標準基本庫中預先定義的，并且語言為它們提供表示法，比如34是整數，而"34"是字符串。一些最常用的基本類型是：
* int 整數，比如3或~12。注意波浪號~表示負號。
* real浮點數，比如4.2或~6.4。Standard ML不隱含的提升整數為浮點數，因此表達式2 + 5.67 是無效的。
* string字符串，比如"this is a string"或""（空串）。
* char字符，比如#"y"或#"\n"（換行符）。
* bool布爾值，它是要么true要么false。產生bool值的有比較算符=、、>、>=、、，邏輯函數not和短路求值的中綴算符andalso、orelse。
包括上述基本類型的各種類型可以用多種方式組合。一種方式是元組，它是值的有序集合，比如表達式(1, 2)的類型是int * int，而("foo", false)的類型是string * bool。可以使用#1 ("foo", false)這樣的語法來提取元組的指定次序的成員。
有0元組，它的類型指示為unit。但是沒有1元組，或者說在例子(1)和1之間沒有區別，都有類型int。元組可以嵌套，(1, 2, 3)不同于((1, 2), 3)和(1, (2, 3))二者。前者的類型是int * int * int，其他兩個的類型分別是(int * int) * int和int * (int * int)。
組合值的另一種方式是記錄。記錄很像元組，除了它的成員是有名字的而非有次序的，例如{a = 5.0, b = "five"}有類型{a : real, b : string}，這同于類型{b : string, a : real}。可以使用#a {a = 5.0, b = "five"}這樣的語法來選取記錄的指定名字的字段。
Standard ML中的函數只接受一個值作為參數，而不是參數的一個列表，可以使用上述元組模式匹配來實際上傳遞多個參數。函數還可以返回一個元組。例如：
fun sum (a, b) = a + b
fun average pair = sum pair div 2
infix averaged_with
fun a averaged_with b = average (a, b)
val c = 3 averaged_with 7
fun int_pair (n : int) = (n, n)
這里第一段創建了兩個類型是int * int -> int的函數sum和average。第二段創建中綴算子averaged_with，接著定義它為類型int * int -> int的函數。最后的int_pair函數的類型是int -> int * int。
下列函數是多態類型的一個例子：
fun pair x = (x, x)
編譯器無法推論出的pair的特殊化了的類型，它可以是int -> int * int、real -> real * real甚至是(int * real -> string) -> (int * real -> string) * (int * real -> string)。在Standard ML中，它可以簡單指定為多態類型'a -> 'a * 'a，這里的'a（讀作“alpha”）是一個類型變量，指示任何可能的類型。在上述定義下，pair 3和pair "x"都是有良好定義的，分別產生(3, 3)和("x", "x")。
SML標準基本庫包括了重載標識符：+、-、*、div、mod、/、~、abs、、>、、>=。標準基本庫提供了多態函數：!、:=、o、before、ignore。中綴運算符可以有從缺省最低0到最高9的任何運算符優先級。標準基本庫提供了如下內建中綴規定：
infix  7  * / div mod
infix  6  + - ^
infixr 5  :: @
infix  4  =  > >=
算符=和分別被定義為多態的等式和不等式。=它確定兩個值是否相等，有著類型。這意味著它的兩個運算數必須有相同的類型，這個類型必須是等式類型（eqtype）。上述基本類型中除了real之外，int、real、string、char和bool都是等式類型。
例如：3 = 3、"3" = "3"、#"3" = #"3"和true = true，都是有效的表達式并求值為true；而3 = 4是有效表達式并求值為false，3.0 = 3.0是無效表達式而被編譯器拒絕。這是因為IEEE浮點數等式打破了ML中對等式的一些要求。特別是nan不等于自身，所以關系不是自反的。
元組和記錄類型是等式類型，當時且僅當它的每個成員類型是等式類型；例如int * string、{b : bool, c : char}和unit是等式類型，而int * real和{x : real}不是。函數類型永遠不是等式類型，因為一般情況下不可能確定兩個函數是否等價。
類型聲明或同義詞（synonym）使用type關鍵字來定義。下面是給在平面中的點的類型聲明，計算兩點間距離，和通過海倫公式計算給定角點的三角形的面積的函數。
type loc = real * real
fun heron (a: loc, b: loc, c: loc) = let
fun dist ((x0, y0), (x1, y1)) = let
val dx = x1 - x0
val dy = y1 - y0
Math.sqrt (dx * dx + dy * dy)
val ab = dist (a, b)
val bc = dist (b, c)
val ac = dist (a, c)
val s = (ab + bc + ac) / 2.0
Math.sqrt (s * (s - ab) * (s - bc) * (s - ac))
Standard ML提供了對（ADT）的強力支持。一個ML數據類型可以被當作是元組的不交并（之和）。數據類型使用datatype關鍵字來定義，比如：
datatype int_or_string
= INT of int
STRING of string
NEITHER
這個數據類型聲明建立一個全新的數據類型int_or_string，還有一起的新構造子（一種特殊函數或值）INT、STRING和NEITHER；每個這種類型的值都是要么INT具有一個整數，要么STRING具有一個字符串，要么NEITHER。寫為如下這樣：
val i = INT 3
val s = STRING "qq"
val n = NEITHER
val INT j = i
這里最后的一個聲明通過模式匹配，將變量j綁定到變量i所綁定的整數3。val 模式 = 表達式是綁定的一般形式，它是良好定義的，當且僅當模式和表達式有相同的類型。
數據類型可以是多態的：
datatype 'a pair
= PAIR of 'a * 'a
這個數據類型聲明建立一個新的類型'a pair家族，比如int pair，string pair等等。
數據類型可以是遞歸的：
datatype int_list
= EMPTY
INT_LIST of int * int_list
這個數據類型聲明建立一個新類型int_list，這個類型的每個值是要么EMPTY（空列表），要么是一個整數和另一個int_list的接合。
通過datatype創建的類型是等式類型，如果它的所有變體，要么是沒有參數的空構造子，要么是有等式類型參數的構造子，并且在多態類型情況下所有類型參數也都是等式類型。遞歸類型在有可能情況下是等式類型，否則就不是。
基礎庫提供的復雜數據類型之一是列表list。它是一個遞歸的、多態的數據類型，可以等價的定義為：
datatype 'a list
:: of 'a * 'a list
這里的::是中綴算符，例如3 :: 4 :: 5 :: nil是三個整數的列表。列表是ML程序中最常用的數據類型之一，語言還為生成列表提供了特殊表示法3, 4, 5。
real list當然不是等式類型。但是沒有int list不能是等式類型的理由，所以它就是等式類型。注意類型變量不同就是不同的列表類型，比如(nil : int list) = (nil : char list)是無效的，因為兩個表達式有不同的類型，即使它們有相同的值。但是nil = nil和(nil : int list) = nil都是有效的。
基本庫rev函數“反轉”一個列表中的元素。它的類型是'a list -> 'a list，就是說它可以接受其元素有任何類型的列表，并返回相同類型的列表。更準確的說，它返回其元素相較于給定列表是反轉次序的一個新列表，比如將 "a", "b", "c" 映射成 "c", "b", "a" 。中綴算符@表示兩個列表的串接。
rev和@一般被實現為基本庫函數revAppend的簡單應用：
fun revAppend (, l) = l
revAppend (x :: r, l) = revAppend(r, x :: l)
fun rev l = revAppend(l, )
fun l1 @ l2 = revAppend(rev l1, l2)
Standard ML的數據類型可以輕易的定義和用于編程，在很大程度上是由它的模式匹配，還有多數Standard ML實現的模式窮盡性檢查和模式冗余檢查。
模式匹配可以在語法上嵌入到變量綁定之中，比如：
val ((m: int, n: int), (r: real, s: real)) = ((2, 3), (2.0, 3.0))
type hyperlink = {protocol: string, address: string, title: string}
val url : hyperlink =
{title="The Standard ML Basis Library", protocol="https",
address="//smlfamily.github.io/Basis/overview.html"}
val {protocol=port, address=addr, title=name} = url
val x as (fst, snd) = (2, true)
第一個val綁定了四個變量m、n、r和s；第二個val綁定了一個變量url；第三個val綁定了三個變量port、addr和name，第四個叫分層模式，綁定了三個變量x、fst和snd。
模式匹配可以在語法上嵌入到函數定義中，比如：
datatype shape
= Circle of loc * real    (* 中心和弧度 *)
Square of loc * real    (* 左上角和邊長，坐標軸對齊 *)
Triangle of loc * loc * loc     (* 角點 *)
fun area (Circle (_, r)) = 3.14 * r * r
area (Square (_, s)) = s * s