hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
九亭镇 地理
九亭镇位于松江区东北部，距松江城区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个进出口。
九亭镇 古桥
九亭地区历史悠久，今仍有少量建于清代的石桥完好保留至今。
九亭镇 公办教育
九亭镇境内有五所公办幼儿园：中心幼儿园、亭南幼儿园、九亭二幼、九亭三幼、九亭四幼；
四所公办小学：九亭小学、九亭二小、九亭三小、九亭四小、九亭五小；
一所公办中学：九亭中学；
一所成人学校：九亭成校。
同济大学嘉定校区
同济大学嘉定校区位于上海市曹安公路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年秋季学期开学之后，在校内陆续增开了多家餐饮小店，且结合了中外菜肴、南北口味，收费也较市区相对低廉，受到了同学们的普遍认可。
研究生宿舍的正南正北向设计给室内温度带来极大反差，许多学生活在终年不见阳光的环境下。校区内缺乏体育馆等运动娱乐设施，建筑设置上追求外观，不考虑实际，学生在校区行走，如出门搭车、去图书馆，都要花费不必要的时间。
枪术
枪术或枪法是指用冷兵器中的枪进行格斗的使用方法。
枪术 中國槍術
中国武术中的枪法非常多，枪也被称为「百兵之王」。枪法主要以扎法为基本，随以拦、拿，有道是「棍打一大片，槍札一條線」。
此外，各种枪法有还有不同的技巧。例如杨家枪有“八母”之说，即拿、拉、颠、捉、撸、缠、拦、还；罗家枪则有压、打、砸、拿、滑、挑、崩、撑、攉、扎十法；岳家枪则讲劈、抱、砸、创、抽、拦六法。正是各家这些不同的枪法，构成了各家具有鲜明特色的套路。而从这些基本的方法上，又产生出各种变化。不過總的來說，各家槍法大都遵循握把不露把的守則。
精妙的枪法非常不容易掌握，需要经过刻苦的练习才能练得好。武术中有“月棍、年刀、一辈子枪”的说法。
陰把槍
是槍術運動形式的一種，泛指兩虎口相對、手心向下握持槍桿進行演練的各種技術，以及由這類技法所組合的套路。
枪是最早出现在战场上的兵器之一，战场上的枪法不同于武术中的枪法复杂，非常简单。
聚星樓
聚星樓（英語：），又名魁星，當地人稱它為「文塔」，位於香港新界元朗屏山上璋圍北面，與相鄰的天水圍站相距不足50米，原為新界原居民五大家族之一的屏山鄧氏的人所興建，有逾600年歷史，為香港法定古蹟。它原有7層，因颱風所以只剩下3層。
聚星樓 名字由來
據鄧族父老相傳，當地立村之時，風水先生曾指出當地依山環水，定必子孫繁衍而千年不衰。唯不足之處是，1)青山尖而高大，旺火為忌，宜多水而濟之；2)而西北缺口，北煞傷人，將來鄧族文官升堂，自有擋煞之法。但至於何謂「文官升堂」，當地風水先生只答曰：「天機不可盡泄」。
聚星樓 名字由來
於明朝洪武15年（1382年），屏山鄧族第七世祖寧國府正堂鄧彥通受封，在上任升堂的第一天晚上，他夢見故鄉西北角上空星光燦爛，但群星突然落下，聚集於西北的河口。鄧彥通夢中驚醒，並想起立村時風水師傅的說話， 回顧始祖至他雖已經七代，但總共只有12個男丁，而其中竟有4人早逝。鄧彥通心中不安，於是聘請風水師傅謀求擋煞之法。師傅說：「貴村之立村先師果然學問不凡。大人升堂而群星來會，應建樓以聚之，藉助於眾星，自有雷霆萬鈞之威而北煞服焉。苟有文筆而無掌筆之才，不為用也！」鄧彥通恍惚大悟，於是在此建立了七級浮屠（即佛塔），恭奉文武諸神，擋北煞，鎮水災。果然，鄧彥通以後的七代人，發了22個男丁，當中10人另建圍村，有幾位做了壽官，有兩位建了二公祠，有的長壽達八十多歲、九十多歲，鄧氏家族在屏山的男丁有1,500多人。鄧氏在明清兩代人才輩出，每能在科舉中金榜題名，士人及當官者不計其數，族人相信是塔恭奉的文曲星庇佑，故族人亦稱此塔為「文塔」。
任熊
任熊（1823年7月19日－1857年11月23日），字渭長，一字湘浦，號不捨，浙江萧山人，清朝画家。“海派”艺术的代表人物之一。其绘画对“海上畫派”及中国近现代绘画影响很大。精山水，花鸟，人物画。
任熊 生平
1823年7月19日生於浙江蕭山縣城。
受父影響，任熊自幼喜愛繪畫。父卒，又從村塾師學畫肖像。凡影描勾填之法，畫男女老幼之容，無所不會。因不願死板地恪守粉本，乃竊變其法，以期畫出裹在衣冠裡的人體解剖結構，於是弄得“朝服翎頂者禿其顱矣，端拱者跣一足矣”，因而引起老師的不滿。任熊遂離師而赴各地賣畫為生。在杭州他得到同鄉陸冶山相助，結識了許多畫友。此時他的肖像畫已為人所重，然他對傳統藝術的學習仍孜孜不倦，臨摹了杭州孤山聖因寺貫休的十六羅漢石刻畫像。浙西周閑喜愛任熊繪畫，將他邀至范湖草堂，使他終日臨撫古人名作，略不滿意，則再臨一遍，必達到與原作亂真或勝過原作乃已。興致所到，經常通宵達旦，前後達8年之久，故其畫藝日益精深。他又被寧波文人姚燮延請。姚家收藏甚富，使他得以飽賞宋元明清諸代名家的書畫佳品。在此期間，他創作了《姚燮詩意圖》120幅（故宮博物院）。後來常往來於寧波、杭州、上海、蘇州等地，靠賣畫為生。任熊的繪畫、人物、花卉、山水無所不能，工筆、寫意兼長，尤以人物畫著稱。其畫格、畫法主要學習陳洪綬，並加以發展，筆法清新活潑，氣味靜穆，富有裝飾趣味，深為當時人們所喜愛珍賞。
任熊 作品
其代表作有《自畫像》、《二湘圖》、《盲歌圖》及木刻畫稿《列仙酒牌》、《劍俠傳》、《於越先賢傳》、《高士傳》等。其山水畫《范湖草堂圖》（上海博物館）、《十萬圖》（故宮博物院）等，為晚年山水畫的代表作。
任熊 家族
父任椿，善畫，在當地稍有名氣。
任熊与儿子任预，弟弟任薰，侄子任颐称“四任”；与任颐，任薰时称“海上三任”。
幸福终点站
《幸福终点站》（英語：），2004年出品的電影，由斯蒂芬·斯皮尔伯格導演，主要演员有汤姆·汉克斯、凯瑟琳·泽塔-琼斯、史丹利·圖奇和齊·麥拜特。剧本由沙查·蓋華斯，謝夫·內森遜根据安德魯·尼高爾和沙查·蓋華斯的原著故事改编。
影片讲述主角前往美國途中家鄉發生政變，政府被推翻，所持证件不被美國入境當局承認，被拒绝入境卻又不能回國，被迫滞留甘迺迪國際機場期間的故事。
電影於2004年6月18號發行，獲得了普遍好評，尤其是汤姆·汉克斯的演出受影評家讚譽，並取得了商業上的成功，全球票房達 2.19 億美元。
幸福终点站 故事取材
有人提出本片的情节跟一个名叫梅赫蘭·卡里米·納賽里的伊朗難民经历很相似，納賽里先生外号「Sir Alfred」（艾弗列先生），1988年因难民证件被偷而不得不滞留在法国巴黎查尔斯·戴高乐国际机场的1号航站楼，並在那裡住上18年。紐約時報就曾報導史提芬史匹堡買下了納賽里的故事作為本片的依據；衛報也指納賽里為此收取了電影製作人數千元報酬。
1993年出品的另一部法语电影 Lost in Transit (Tombés du ciel)与本片有相近主题，但故事設定在巴黎戴高樂機場。
幸福终点站 剧情
维克多·纳沃斯基（汤姆·汉克斯飾）从東歐国家「克拉科齊亚」（；現實已亡）抵达纽约甘迺迪國際機場，他并不知道在旅途中他的国家被反政府武装推翻了，所持有的护照因此失效。由於他不懂英語，起初並不清楚自己的處境，後來才由機場內播放的電視新聞片段和入境當局的得知，对此他束手无策。在九个多月的时间裡，维克多不得不住在机场候机大楼裡，不能踏入美国领土半步，也没法回家。期間他热心帮助机场裡的人，與他們逐漸建立友誼，包括產生曖昧關係的聯航空姐埃米丽亚·沃伦（凯瑟琳·泽塔-琼斯飾）。同时他一直處在移民局官员弗兰克·迪克逊（史丹利·圖奇飾）的严密监视之下，此人一心想把维克多赶出机场。
幸福终点站 剧情
最終，迪克遜派人將埃米丽亚請到自己辦公室，告知她維克多并非她想當然以爲是經常出行的建築承包商，而是被迫一直滯留機場。维克多不得不向埃米丽亚解释他来纽约的真實目的是为了收集爵士萨克斯风演奏者班尼·高爾森（戲中由班尼·高爾森本人親自飾演）的签名。维克多已故的父亲是个爵士迷，他在1958年的一份匈牙利报纸中找到一幀名為「A Great Day in Harlem」的爵士樂手大合照。他请求照片上每个人给他一个亲笔签名，尽管很多签名就只簽在小纸片上，但大部分人都有回复，就除了班尼·高爾森。维克多来纽约，就是為了了却父亲的心愿——拿到班尼·高爾森的亲笔签名。
几个月以后，新闻报道克拉科齊亚内战结束，但是迪克逊还是不想让维克多进入美国。埃米丽亚就请求她的一位朋友幫忙，要了一个进入美国的緊急簽證。這位「朋友」其實是個跟她藕斷絲連了多年的已婚美国政府官员，维克多雖然得到了批准，卻也失望於埃米麗亞因此事而跟那個男人重新建立關係。更糟糕的是这个许可需要迪克逊的亲笔签名才能生效，迪克逊無視了维克多的请求，并以维克多在機場內认识的朋友的工作相威胁，维克多最后作出了让步。
幸福终点站 剧情
就在维克多要登机离开的时候，他的「朋友」——在機場內當清潔工的印度老人拿著拖把跑到停機坪阻止飞机停靠，维克多的航班因此延迟。他在机场衆多普通職工以及海關基層官員無視迪克遜命令的支持下，踏出机场大门，正式踏进了美国土地。在將要坐上計程車的瞬间他看见了埃米丽亚，二人目光相遇，复杂的心情涌上来，最终没有道别，二人的故事就此结束。在萊辛頓大道161号，维克多终于找到了班尼·高爾森。在欣賞完班尼的演出後，获得了梦寐以求的签名，维克多坐上計程車，對司機說：「我要回家了。」（）電影於此作結。
幸福终点站 语言
当维克多刚到达机场的时候，他几乎不会英语。他利用机场提供的俄语和英语版城市向导，用对比的方法很快学到了很多的英語单词，尽管发音不準確，但是进步相当迅速，很快就可以跟其他人溝通。
事实上克拉科齊亚的位置在影片中并没有交代清楚，可确定的就只是個东欧國家。影片中提到克拉科齊亚与俄罗斯接壤，而克拉科齊亚语与俄语同族或者就是俄语方言，克拉科齐亚国歌旋律跟巴爾幹半島上的阿尔巴尼亚国歌十分接近 （调子类似Vajacki marš）。
汤姆·汉克斯在电影中所講的「克拉科齊亚語」，事实上是保加利亚语。的语言教练就是他的妻子麗塔·威爾遜，丽塔的父亲正好就是保加利亚人。
NAC比達
NAC比達（NAC Breda），一般稱為NAC或比達。是一間位於荷蘭布雷達的足球會，成立於1912年，目前在荷乙聯賽作賽。主場為弗吉菲爾姆球場（Rat Verlegh Stadion），可容納19,000人。
NAC比達 歷史
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年，球會在荷蘭盃作客分別擊敗燕豪芬和阿積士，但在準決賽作客輸給川迪。不過有這樣的成績，對球會來說已經是相當不錯了。
NAC比達 歷史
2014–15球季，球會護級失敗，降落乙組。2016–17球季，球會附加賽第三圈擊敗NEC奈梅亨，獲得升上荷甲資格。
ML语言
ML（Meta Language：元语言），是一个函数式、指令式的通用的编程语言，它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数表达式的类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。
ML提供了对函数实际参数的模式匹配、垃圾回收、指令式编程、传值调用和柯里化。它被大量的用于编程语言研究之中，并且是全面规定了的和使用形式语义验证了的少数语言之一。它的类型和模式匹配使得它非常适合并且经常用于在其他形式语言上进行操作，比如在编译器构造、自动化定理证明和形式验证中。
ML语言 历史
在1970年代早期，ML由爱丁堡大学的罗宾·米尔纳及他人研制出来，用于在LCF定理证明器中开发证明策略。LCF的语言是“PPλ”，它是一阶逻辑演算与有类型的多态λ演算的结合，以ML作为元语言。ML的语法从ISWIM及其扩展实现PAL得到了启发，LCF ML运行在DEC-10/TOPS-10主机的Stanford LISP 1.6下。
在1980年，Luca Cardelli于爱丁堡大学的VAX/VMS系统上开发了ML编译器，它被称为“VAX ML”，以区别于LCF版本的“DEC-10 ML”。VAX ML的编译器和运行时间系统二者，都是用Pascal书写而建立在“函数抽象机器”（FAM）之上。在1982年，爱丁堡大学的Kevin Mitchell，用VAX ML重写了VAX ML编译器，随即John Scott和Alan Mycroft加入了开发，在又进行一系列重写改进之后，新的编译器被称为“Edinburgh ML”。
ML语言 历史
在1981年，INRIA的Gérard Huet，将最初的LCF ML适配到Multics系统的Maclisp下，并且增加了编译器。这个实现被描述于INRIA内部文档“ML手册”之中，它被开发者自称为“Le_ML”。剑桥大学的Lawrence Paulson在1985年用它开发了基于Franz Lisp的Cambridge LCF，进而剑桥大学的Michael J. C. Gordon又用它开发了基于Common Lisp的HOL88。
在1983年，Robin Milner由两个动机驱使开始重新设计ML。其一是爱丁堡大学的Rod Burstall及其小组在规定上的工作，具体化为规定语言CLEAR，和表达可执行规定的函数式语言HOPE。这项工作与ML有关的是两方面成果：首先，HOPE拥有优雅的编程特征，特别是模式匹配，和子句式函数定义；其次，是使用在接口中的签名，进行规定的模块化构造的想法。其二是Luca Cardelli在VAX ML上的工作，通过增加命名记录和可变类型，扩展了ML中数据类型的品目。
ML语言 历史
在1984年，贝尔实验室的David MacQueen提出了对Standard ML的模块系统的设计。在Standard ML的持续设计期间，Edinburgh ML被渐进的修改，充当了Standard ML的近似原型实现。在1986年，普林斯顿大学的Andrew Appel和贝尔实验室的David MacQueen，以Edinburgh Standard ML作为起步开发环境，开始了专注于生成高质量机器代码的Standard ML of New Jersey的活跃开发。
ML语言 历史
在1990年，Robin Milner、Mads Tofte和Robert Harper制定的Standard ML的正式规定《The Definition of Standard ML》最终完成；在1997年，这个标准规定增补了David MacQueen为作者并进行了修订。在1989年，Mads Tofte、Nick Rothwell和David N. Turner于爱丁堡大学开始开发ML Kit编译器，为了强调清晰性而非高效，将标准定义直接转译成一组Standard ML模块；在1992年和1993年期间，主要通过爱丁堡大学的Nick Rothwell和哥本哈根大学计算机科学系（DIKU）的Lars Birkedal的工作，ML Kit第一版完成并开源发行。
在1987年，INRIA的Ascánder Suárez，基于巴黎第七大学的Guy Cousineau的“范畴抽象机器”（CAM），利用Le Lisp的运行时间系统重新实现了Le_ML，并正式命名为Caml。在1990年和1991年，INRIA的Xavier Leroy基于用C实现的字节码解释器，利用Damien Doligez提供的内存管理系统重新实现了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、ATS和Elm。
ML语言 解释与编译
ML代码片段很容易通过将其录入到“顶层”来研习，它也叫作读取﹣求值﹣输出循环或REPL。这是打印结果或定义的表达式的推论类型的交互式会话。很多SML实现提供交互式REPL，比如SML/NJ：
可以在提示符-后键入代码。例如计算1 + 2 * 3:
顶层推论这个表达式的类型为int并给出结果7。如果输入不完全，解释器会打印第二提示符=，这时通常可以用;终结输入。it是给未指定变量的表达式的标准变量。输入control-C可返回解释器顶层，输入control-D可退出解释器。可以使用第三方工具rlwrap运行SML/NJ解释器，它处理用户输入并提供readline的行编辑、持久历史和补全功能。
下面是输出hello, world!的例子代码，在SML/NJ解释器下执行它：
使用MLton编译器进行编译执行它：
使用LunarML源到源编译器，将前面的例子编译成Javascript代码并使用Node.js执行它:
ML语言 核心语言
不同于纯函数式编程语言，ML是兼具一些指令式特征的函数式编程语言。ML的特征包括：传值调用的求值策略，头等函数，带有垃圾收集的自动内存管理，参数多态，静态类型，类型推论，代数数据类型，模式匹配和例外处理。不同于Haskell，ML与大多数编程语言一样使用及早求值。
用ML书写的程序构成自要被求值的表达式，而非语句或命令，尽管一些表达式返回一个平凡的unit值并且只为其副作用而求值。以下章节介绍采用Standard ML的语法和语义。
就像所有的函数式语言一样，ML的关键特征是函数，它被用于进行抽象。例如阶乘函数用纯ML可表达为：
这里将阶乘描述为递归函数，具有一个单一的终止基础情况。它类似于在数学教科书见到的阶乘描述。多数ML代码在设施和语法上类似于数学。
ML语言 核心语言
凭借类型推论编译器能推导出，fac接受整数0作为实际参数，则形式参数n也是整数类型int，而fac 0的结果是整数1，则函数fac的结果也是整数类型。函数fac接受一个整数的形式参数并返回一个整数结果，它作为一个整体从而有着“从整数到整数的函数”类型int -> int。函数及其形式参数的"类型"还可以用类型标注（annotation）来描述，使用E : t表示法，它可以被读作表达式E有类型t，它是可选也可忽略的。使用类型标注，这个例子可重写为如下：
这个函数还依赖于模式匹配，这是ML语言的重要部份。注意函数形式参数不必须在圆括号内但要用空格分隔。当一个函数的实际参数是0，它将返回整数1。对于所有其他情况，尝试第二行。这是一个递归，并且再次执行这个函数直到达到基础情况。它可以使用case表达式重写为：
这里case介入了模式和对应表达式的序列。它还可以重写为将标识符绑定到lambda函数：
这里的关键字val介入了标识符到值的绑定，fn介入了匿名函数的定义，它可以用在fun的位置上，但使用=>算符而非=。绑定到递归的匿名函数需要使用rec关键字来指示。
ML语言 核心语言
通过将主要工作写入尾递归风格的内部迭代函数，借助于语言编译或解释系统进行的尾调用优化，这个函数可以得以增进性能，它的调用栈不需要随函数调用数目而成比例的增长。对这个函数可以采用向内部函数增加额外的“累加器”形式参数acc来实现：
let表达式的值是在in和end之间表达式的值。这个递归函数的实现不保证能够终止，因为负数实际参数会导致递归调用的无穷降链条件。更健壮的实现会在递归前检查实际参数为非负数，并在有问题的情况，即n是负数的时候，启用例外处理：
有一些基本类型可以当作是“内建”的，因为它们是在Standard ML标准基本库中预先定义的，并且语言为它们提供文字表示法，比如34是整数，而"34"是字符串。一些最常用的基本类型是：
包括上述基本类型的各种类型可以用多种方式组合。一种方式是元组，它是值的有序集合，比如表达式(1, 2)的类型是int * int，而("foo", false)的类型是string * bool。可以使用#1 ("foo", false)这样的语法来提取元组的指定次序的成员。
ML语言 核心语言
有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中的函数只接受一个值作为参数，而不是参数的一个列表，可以使用上述元组模式匹配来实际上传递多个参数。函数还可以返回一个元组。例如：
ML语言 核心语言
这里第一段创建了两个类型是int * int -> int的函数sum和average。第二段创建中缀算子averaged_with，接着定义它为类型int * int -> int的函数。最后的int_pair函数的类型是int -> int * int。
下列函数是多态类型的一个例子：
编译器无法推论出的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")。
ML语言 核心语言
SML标准基本库包括了重载标识符：+、-、*、div、mod、/、~、abs、<、>、<=、>=。标准基本库提供了多态函数：!、:=、o、before、ignore。中缀运算符可以有从缺省最低0到最高9的任何运算符优先级。标准基本库提供了如下内建中缀规定：
算符=和<>分别被定义为多态的等式和不等式。=它确定两个值是否相等，有着类型''a * ''a -> bool。这意味着它的两个运算数必须有相同的类型，这个类型必须是等式类型（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不等于自身，所以关系不是自反的。
ML语言 核心语言
元组和记录类型是等式类型，当时且仅当它的每个成员类型是等式类型；例如int * string、{b : bool, c : char}和unit是等式类型，而int * real和{x : real}不是。函数类型永远不是等式类型，因为一般情况下不可能确定两个函数是否等价。
类型声明或同义词（synonym）使用type关键字来定义。下面是给在平面中的点的类型声明，计算两点间距离，和通过海伦公式计算给定角点的三角形的面积的函数。
Standard ML提供了对代数数据类型（ADT）的强力支持。一个ML数据类型可以被当作是元组的不交并（积之和）。数据类型使用datatype关键字来定义，比如：
这个数据类型声明建立一个全新的数据类型int_or_string，还有一起的新构造子（一种特殊函数或值）INT、STRING和NEITHER；每个这种类型的值都是要么INT具有一个整数，要么STRING具有一个字符串，要么NEITHER。写为如下这样：
ML语言 核心语言
这里最后的一个声明通过模式匹配，将变量j绑定到变量i所绑定的整数3。val 模式 = 表达式是绑定的一般形式，它是良好定义的，当且仅当模式和表达式有相同的类型。
数据类型可以是多态的：
这个数据类型声明建立一个新的类型'a pair家族，比如int pair，string pair等等。
数据类型可以是递归的：
这个数据类型声明建立一个新类型int_list，这个类型的每个值是要么EMPTY（空列表），要么是一个整数和另一个int_list的接合。
通过datatype创建的类型是等式类型，如果它的所有变体，要么是没有参数的空构造子，要么是有等式类型参数的构造子，并且在多态类型情况下所有类型参数也都是等式类型。递归类型在有可能情况下是等式类型，否则就不是。
基础库提供的复杂数据类型之一是列表list。它是一个递归的、多态的数据类型，可以等价的定义为：
这里的::是中缀算符，例如3 :: 4 :: 5 :: nil是三个整数的列表。列表是ML程序中最常用的数据类型之一，语言还为生成列表提供了特殊表示法[3, 4, 5]。
ML语言 核心语言
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的简单应用：
Standard ML的数据类型可以轻易的定义和用于编程，在很大程度上是由它的模式匹配，还有多数Standard ML实现的模式穷尽性检查和模式冗余检查。
模式匹配可以在语法上嵌入到变量绑定之中，比如：
ML语言 核心语言
第一个val绑定了四个变量m、n、r和s；第二个val绑定了一个变量url；第三个val绑定了三个变量port、addr和name，第四个叫分层模式，绑定了三个变量x、fst和snd。
模式匹配可以在语法上嵌入到函数定义中，比如：
次序在模式匹配中是紧要的：模式按文本次序来依次进行匹配。在特定计算中，使用下划线_，来省略不需要它的值的子成员，这也叫做通配符（wildcard）模式。所谓的“子句形式”风格的函数定义，这里的模式紧随在函数名字之后出现，只是如下形式的一种语法糖：
模式穷尽性检查将确保数据类型的每个情况都已经顾及到。
如果有遗漏，则产生警告。
如果模式存在冗余，也会导致一个编译时间警告。
函数可以接受函数作为实际参数，比如：
函数可以产生函数作为返回值，比如：
函数可以同时接受和产生函数，比如复合函数：
基本库的函数List.map，是在Standard ML中最常用的Curry化高阶函数，它在概念上可定义为：
在基本库中将函数复合定义为多态中缀算符(f o g)，map和fold高阶函数有较高效率的实现。
例外可以使用raise关键字发起，并通过模式匹配handle构造来处理：
这里的^是字符串串接算符。可以利用例外系统来实现非局部退出，例如这个函数所采用技术：
Zero在0情况下发起，控制从函数p中一起出离。
初始化基础库还以引用的形式提供了可变的存储。引用ref可以在某种意义上被认为是如下这样定义的：
还定义了内建的:=函数来修改引用的内容，和!函数来检索引用的内容。阶乘函数可以使用引用定义为指令式风格：
这里使用圆括号对以;分隔的表达式进行了顺序复合。
可变类型'a ref是等式类型，即使它的成员类型不是。两个引用被称为是相等的，如果它们标识相同的“ref单元”，就是说相同的对ref构造子调用生成的同一个指针。因此(ref 1) = (ref 1)和(ref 1.0) = (ref 1.0)都是有效的，并且都求值为false，因为即使两个引用碰巧指向了相同的值，引用自身是分立的，每个都可以独立于其他而改变。
ML语言 模块语言
模块是ML用于构造大型项目和库的系统。
一个模块构成自一个签名（signature）文件和一个或多个结构文件。签名文件指定要实现的API（就像C语言头文件或Java接口文件）。结构实现这个签名（就像C语言源文件或Java类文件）。顶层解释器通过use命令导入它们。ML的标准库被实现为这种方式的模块。
例如，下列定义一个算术签名：
将上述内容存入arith.sig文件中。下面是这个签名使用有理数的实现：
将上述内容村存入rational.sml文件中。下面是在SML/NJ中这个结构的简单用例：
Standard ML只允许通过签名函数同实现进行交互，例如不可以直接通过这个代码中的Rat来建立数据对象。结构块对外部隐藏所有实现细节。这里的:叫做透明归属（ascription），可以通过所绑定的变量见到此结构的数据内容，与之相对的是:>，它叫做不透明归属，此结构的数据内容对外完全不可见。比如上面用例有结果：val c = Rat (4,3) : Rational.t，如果改为不透明归属则有结果：val c = - : Rational.t。
ML语言 模块语言
要用有理数进行实际上的数值计算，需要处理分数形式中分母快速增大导致溢出整数类型大小范围等问题。
函子接受指定签名的一个结构作为参数，并返回一个结构作为结果，下面示例的函子能在ARITH签名的结构上计算移动平均：
将上述内容存入movinglist.sig文件。
将上述内容存入movinglist.sml文件中。下面是在SML/NJ中这个函子的简单用例，承接前面章节的例子已经加载arith.sig和rational.sml：
这个用例承上节示例，Rational结构采用了透明归属，有结果如：val d = ([Rat (4,5),Rat (2,3)],2,Rat (11,15)) : MLR.t。如果它改为不透明归属，则对应结果为：val d = ([-,-],2,-) : MLR.t。
ML语言 示例代码
下列例子使用了Standard ML的语法和语义。
下面是求素数的试除法实现：
基本库find和exists函数在不存在符合条件元素的时候会遍历整个列表，
这里采用了特殊化了的existsDivisor，用以在后续元素都不满足条件时立即结束运算。
下面是埃拉托斯特尼筛法实现：
这里基于列表的筛法实现符合埃拉托斯特尼的原初算法。筛法还有基于数组的直观实现。
下面是其解释器下命令行运行实例：
正规数是形如的整数，对于非负整数、和，它是可以整除的数。计算升序的正规数的算法经由戴克斯特拉得以流行，理查德·汉明最初提出了这个问题，故而这个问题被称为“汉明问题”，这个数列也因而被称为汉明数。Dijkstra计算这些数的想法如下：
示例汉明数程序代码，一般用来展示，确使计算只在需要时进行的纯函数式编程方式。
ML语言 示例代码
产生指定范围内的汉明数需要多轮运算，后面每轮中的三个列表元素乘积运算中都可能产生超出这个范围的结果，它们不需要出现在后续的运算之中。
基本库mapPartial函数与它所映射的函数，通过基于Option结构的SOME和NONE构造子的协定，可以将所映射函数认为不符合条件的元素或者结果排除掉，它会遍历整个列表。
由于这个算法采用升序列表，故而这里将它改写为mapPrefix函数，用来在特定条件不满足条件就立即结束。下面是汉明数程序在解释器下命令行运行实例：
下面是续体传递风格（CPS）的高阶函数foldr和map的实现，和达成一个整数列表的合计函数的简单用例：
对于输入[e1, e2, …, en]，sum函数等价于将函数复合(fn x => x)∘(fn x => e1 + x)∘(fn x => e2 + x)∘…∘(fn x => en + x)，应用于0之上，它得到(e1 + (e2 + (… + (en + 0)…)))。
ML语言 示例代码
SML/NJ支持头等对象的续体。头等续体对一门语言而言是能完全控制指令执行次序的能力。它们可以用来跳转到产生对当前函数调用的那个函数，或者跳转到此前已经退出了的函数。头等续体保存了程序执行状态，它不保存程序数据，只保存执行上下文。
排序算法关注计算复杂度，特别是时间复杂度，基本库函数的实现细节也要考虑在内，比如串接函数@，它被实现为fun l1 @ l2 = revAppend(rev l1, l2)，除非必需的情况避免使用遍历整个列表的rev和length函数。
通过比较于这些排序算法的周知过程式编程语言比如C语言的实现，可以体察到ML在控制流程和列表数据结构上的相关限制，和与之相适应的采用尾递归的特色函数式编程风格。
下面是简单的插入排序算法的尾递归和等价的普通递归实现：
ML语言 示例代码
插入排序算法是稳定的自适应排序，它在输入列表趋于正序的时候性能最佳，在输入列表趋于反序的时候性能最差，因此在算法实现中，需要insert函数所插入列表保持为反序，在插入都完成后经rev函数再反转回正序。在预期输入数据趋于随机化或者预知它经过了反转的情况下，可以采用保持要插入列表为正序的变体插入排序算法实现，它在输入列表趋于反序的时候性能最佳，在输入列表趋于正序的时候性能最差，它比自适应实现少作一次全列表反转。
采用foldr函数可以相应的保持要插入列表为正序，由于fun foldr f b l = foldl f b (rev l)，它等同于对反转过的列表应用变体插入排序。
希尔排序算法是对插入排序的改进，保持了自适应性，放弃了稳定性。
下面是希尔排序的实现：
ML语言 示例代码
这里采用的间隔序列是OEIS A108870，即，它是徳田尚之在1992年提出的。这个序列用递推公式表示为：hk = ⌈h'k⌉，这里的h'k = 2.25·h'k-1 + 1而h'1 = 1。假定一个列表的长度s位于序列两个元素之间，即hk-1 < hk ≤ s < hk+1，如果hk ≤ ·s，这里的n ≤ m，则选择初始间隔为hk，否则为hk-1。在这个阈值下，对于不同长度s的列表和对应的初始间隔h，每个列表的这些初始子列表的平均长度，约在 ≤  < ·范围之内。间隔序列还可以采用OEIS A102549，它是Marcin Ciura在2001年通过实验得到的。
下面是快速排序算法的自顶向下实现：
基本库partition函数实现对快速排序而言有不必要的反转，
这里采用了它的简化改写。在ML中快速排序应采用自底向上实现：
下面是归并排序算法的自底向上法实现：
ML语言 示例代码
考虑输入列表[x1, ..., xi, a0, ..., a9, xj, ..., xn]，这里在xi和xj之间的10个a，具有相同的值并且需要保持其下标表示的次序，这里的xi > a并且xj < a，并且在这个区段前后的元素总数都能被3整除，则它被分解成子列表的列表[Xm, ..., [xj, a8, a9], [a5, a6, a7], [a2, a3, a4], [a0, a1, xi], ..., X1]，这里有m = n div 3；假定这4个含有a的子列表两两归并，在归并正序子列表的归并条件x < y下，能得到[X1, ..., [xi, a4, ..., a0], [a9, ..., a5, xj], ..., Xk]；继续推演下去，在归并反序子列表的归并条件x > y下，能得到[Xh, ..., [xj, a0, ..., a9, xi], ..., X1]。可以看出这种归并操作能够保证排序算法的稳定性，即具有相同值的元素之间的相对次序保持不变。
分解初始的子列表采用了插入排序，还可进一步增加其大小。归并排序也有自顶向下实现。
下面是堆排序的基于数组的实现：
ML语言 示例代码
在数组实现中，siftdown函数融合了插入和筛选功能，它首先在暂时位于堆顶的要插入的元素，和从堆顶节点左右子堆的两个堆顶元素中筛选出的那个元素，二者中选择出哪个适合作堆顶元素；如果要插入元素适合，则以它为新堆顶元素而结束整个过程，否则以筛选出元素为新堆顶元素，并自顶向下逐级处理提供了新堆顶元素的子堆，将要插入元素暂时作为其堆顶元素并对它继续进行siftdown；siftdown只要到达了某个堆底，就插入要插入的元素而结束整个过程。
在提取堆顶元素生成结果列表时，先提取走堆顶元素的内容，再摘掉最后的堆底元素将它的内容暂时放置在堆顶，这时堆的大小也相应的减一，随后的siftdown函数，筛选出新的堆顶元素，并把原最后堆底元素插入回堆中。
在heapify函数建造堆的时候，首先自列表中间将元素分为前后两组，后组中的元素被视为只有一个元素的堆，然后从后往前处理前组中的元素，这时它的左右子节点已经是已有的堆或者为空，在其上进行siftdown，从而合成一个新堆。建造堆也可以采用siftup函数来实现，它自第二个元素开始从前往后逐个处理列表元素，其前面是已有的堆，将这个新元素自堆底向上插入到这个堆中。
堆排序算法也可以使用二叉树数据结构来实现二叉堆：
二叉树实现不能直接访问堆底元素，从而不适宜通过摘掉它使堆的大小减一。这里的insert函数，在原堆顶元素和要插入元素中选择适合者作为新的堆顶元素，将落选的另一个元素作为新的要插入元素，插入到利于保持这个堆平衡的那个子树之中。这里的extract函数只筛选不插入，它将堆的大小减一。
这里的insert和extract函数也可以直接转写为等价的尾递归形式，与列表情况不同，只要树结构能保持良好的平衡，采用尾递归形式就没有太大的必要性。
在二叉树实现下，也可以采用siftdown函数来初始建造堆，而不需要在节点中保存关于树状态的统计信息。
下面是针对非负整数的基数排序算法的实现：
这里采用的基数是2的3次幂8，代码所使用的列表元组大小与基数大小成正比，运算量与列表中元素的总数与最大数的位数的乘积成正比。
编写排序算法进行测试除了使用简单的数列，
测试用列表还可以使用线性同余伪随机数函数来生成：
定义和处理一个小型表达式语言是相对容易的：
将这段代码录入文件比如expr-lang.sml，并在命令行下执行sml expr-lang.sml，可以用如下在正确类型的和不正确类型上运行的例子，测试这个新语言：
鄂善
鄂善（满语：，穆麟德轉寫：ošan，？—1741年），滿洲鑲黃旗人。中國清朝官員。
鄂善 生平
1738年由汀漳道調任福建分巡台灣道。曾任吏部左侍郎。乾隆三年十二月己卯，接替訥親，擔任清朝兵部尚書，后革。由班第接任。
十三棍僧救唐王
十三棍僧救唐王是中国的一个传说故事，由于电影《少林寺》而使这个传说变得广为人知。
十三棍僧救唐王的传说，最早见于民国初年梁启超为《中华新武术棍术科》一书所作的序，文中说：
隋大业末，天下乱。流贼万人，将近少林寺。寺僧将散走。有老头陀短棍冲贼锋，当之者皆辟易，不敢入寺。乃选少壮僧百人授棍法。唐太宗李世民征王世充，用僧众以棍破之。叙其首功者十三人。
此后姜容樵在《少林棍法》中也持此说，韩慕侠为之作序，也持这一说法。
然而根据现存《秦王李世民告柏谷坞少林寺上座书》、《唐太宗赐少林寺教》、《皇唐嵩岳寺碑》等碑文及裴漼《少林寺碑》，只有提到昙宗等13人擒王仁则的记载，并没有少林僧人用棍和救李世民的记载。而史籍中更没有唐宋时期少林僧人用棍习武的记载。
史蒂芬·皮爾·安德魯斯
史蒂芬·皮爾·安德魯斯（Stephen Pearl Andrews, 1812年3月22日—1886年5月21日）是美國個人無政府主義者和作家。
史蒂芬·皮爾·安德魯斯 生平
1812年出生於马萨诸塞州烏斯特郡的田普頓。他在18歲時前往路易斯安那州學習法律；他被當地的蓄奴現象給震撼，從此成為廢奴主義者。他在1839年前往德州，由於他激進的廢奴主義授課言論，他和他的家人差點遭到當地人的殺害，於是他們在1843年逃離了那裡。接著安德魯斯前往英國，試圖在那裡籌措資金以回國資助廢奴運動，但並沒有成功。
他對語音學和外國語言也相當感興趣，最後他學習了高達30種語言。到了1840年代他開始將注意力放在烏托邦的社區上，他和另外一名個人無政府主義者約書亞·沃倫（沃倫也是促使安德魯斯轉變為激進個人主義的人）一同在1851年於紐約州創立了Modern Times烏托邦社區，接著在1857年又在紐約市創建Unity Home。到了1860年代他已經構思出了一種名為「Pantarchy」（由所有人統治）的理想社會，並接著構思出了一套名為「宇宙學」（universology）的哲學，強調所有知識和行動的一貫性。
戮屍 中國
戮屍於古代中國曾列入刑法。通常的做法是砍去死屍的頭。
一般而言，犯罪的人如在事件揭發之前已死，其罪行多不會被追究，俗語謂「已死勿論」（見於《水滸傳》、《東周列國志》，亦可見於現今法律中，如中華民國刑事訴訟法第231條第六款）。然而，如果罪行較為嚴重 (如謀反) ，即使在事件揭發時犯人已去世，當局亦可根據當時的法例，在犯人的屍體上施刑，是為戮屍。另外，對於被判死刑但在行刑前已身故的犯人，亦可根據其罪行嚴重程度決定是否戮屍。
《清史稿》卷一百一十八〈刑法志〉中，指戮屍為「所以待惡逆及强盜應梟諸犯之監故者。」，即所有應判梟首但在待刑時去世者均處戮屍之刑。
明朝自萬曆十六年 (1588年) 起，定有戮屍的條例，主要針對謀殺父母或祖父母者。清朝沿用有關刑法，並 (明文) 擴大至於強盜身上亦有效。
戮屍在1905年的刑法改革中被廢除。
中國歷代均有人由於在死後被定罪而被戮屍。
戮屍 其他地方
在古代，信奉基督教國家的人曾認為：死後屍體要保持完整並朝東方埋葬，才能在最後的審判中起來面見神。
英國在亨利八世統治時期的一項法令曾指示只有謀殺犯的屍體可被用作解剖，而這被看作是對已被處死的犯人的附加懲罰。
雙節棍
雙節棍，又称双截棍，（英語：）一種冷兵器。
雙節棍 起源
傳說宋太祖趙匡胤发明大盘龙棍（又称大扫子、长小棒）和小盘龙棍（小扫子）两种，與現在雙節棍不同的地方是大掃子是一長一短，用以長截破盾，與現在雙節棍應用技法上均大異其趣。但從宋代起連枷即成為中原地區的制式武器，，但名稱隨地區與朝代不同各有演變，如宋代與西夏的鐵鍊夾棒，，元明的馬上鞭棍、鞭棍，一直沿續到清代的虎頭棒、哨子棍等，皆有演練之法。双节棍的英文名称為「Nunchaku」，由琉球语」直譯而來。琉球语「ヌンチャク」（nunchyaku）据说来自于闽南语“兩節棍”的发音“nng-chat-kun”，指长小棒。
由於雙節棍的特殊構造，得以衍生出各種華麗動作，加上攜帶便利，因此現受到很多武術運動愛好者的練習，且常用於武術。
雙節棍真正名揚世界是始於武打明星李小龙，因为在电影中多次使用，許多文献都聲稱他是向菲律宾著名武术家伊诺山度学习雙節棍，但李小龙的女儿李香凝則否认此一说法，並澄清其父的雙節棍功夫全為自学。
雙節棍 结构
由棍体和棍链组成，通常一根叫龍棍，另一根叫陽棍，又或叫青棍和白棍。对于单节棍体来说，靠近棍链一端称为内端，另一端为外端。
雙節棍 握法
共分為正握、反握、叠握、垂棍、架棍、夹棍、背棍、藏棍、举棍等。
麥克斯威爾·柏金斯
麥克斯威爾‧柏金斯（英語：，1884年9月20日—1947年6月17日）是美国出版史上一位傳奇人物和編輯。
他曾為佛蘭西斯·史考特·基·費茲傑羅（F. Scott Fitzgerald）、歐內斯特·海明威（Ernest Hemingway）、湯瑪斯·伍爾夫（Thomas Wolfe）、瑪喬麗·金楠·勞林斯（Marjorie Kinnan Rawlings）等著名作家編書。
麥克斯威爾·柏金斯 生平
柏金斯出生於紐約。1907年從哈佛大學畢業後，他的第一份工作是在紐約時報當記者；1910年，他進入斯克裡布納之子公司擔任廣告經理一職；自1914年起轉戰編輯部，從此展開他一生最重要的編輯事業。
1917年，柏金斯開始和一位有志創作的年輕人通信，為了能順利出版他的作品，柏金斯歷經一番奮戰，不顧出版社文學顧問布羅奈爾的反對，堅持買下這位年輕人處女作的版權。最後經過數次的改寫，終於在1920年－《塵世樂園》（This Side of Paradise）一書進了印刷廠。此書出版後深獲好評，被認為是反映時代的一部佳作，這個年僅24歲、原本默默無聞的年輕人－佛蘭西斯·史考特·基·費茲傑羅，自此一舉成名，也是當時斯克裡布納之子公司出版記錄上最年輕的作家。柏金斯與費茲傑羅，兩人聯手宣告年輕爵士時代的來臨；也從此展開柏金斯與多位重要作家的共事經驗。
麥克斯威爾·柏金斯 生平
1925年，費茲傑羅在巴黎認識一位剛出道的窮作家，該作家正在撰寫自己的第一本長篇小說，於是費茲傑羅將他推薦給柏金斯；他就是日後在文學領域佔有舉足輕重地位、並獲得諾貝爾文學獎的歐內斯特·海明威。1926年，柏金斯幫助海明威出版他的成名作《太陽照樣升起》（台譯《妾似朝陽又照君》The Sun Also Rises），正式將這位小說家引入美國文壇。
另一位著名小說家湯瑪斯·伍爾夫，亦是藉由柏金斯的挖掘與琢磨，始在文壇大放光芒。他曾在作品的扉頁上寫著，要把書獻給「一位偉大的編輯和一位勇敢而誠實的人。當作者陷入極度的失望和懷疑中時，他不吝於給予堅定的支持，不讓作者在絕望中輕易放棄。」藉此肯定柏金斯的貢獻。伍爾夫並在自己《你再也無法回家》（You can't Go Home Again）一書中，藉一個虛擬的人物愛德華（Foxhall Edwards）生動地刻畫這位編輯，使他的傳奇形象躍然紙上。
麥克斯威爾·柏金斯 生平
在柏金斯長達25年的編輯生涯中，他引導無數才華洋溢的作家開創寫作顛峰；他不僅是一位專業的編輯，同時身兼作者的精神支柱、忠實摯友、資金贊助者及事業生涯的引導者等多重身份。柏金斯認為編輯工作要盡己所能地挖掘、栽培作者的才華，並用各種方式協助一部優秀作品的完成；儘管他在編輯著作上花費許多的心血，但柏金斯自始至終都堅持自己的信念－「書是屬於作者的」。
柏金斯與費茲傑羅的信件往來，被收集成《Dear Scott, Dear Max: The Fitzgerald-Perkins Correspondence》（John Kuehl /Jackson Bryer,1991）一書出版，另一本性質類似的作品《The Only Thing That Counts》（Matthew J. Bruccoli/Robert W. Trogdon），則是談論有關柏金斯和海明威之間的關係。A. Scott Berg在1978年出版了一本頗暢銷的柏金斯傳記《Max Perkins: Editor of Genius》，當中記錄了他的一生與經歷。在《編輯寫給作者的信：柏金斯信件集》（Editor to Author: The Letters of Maxwell Perkins）一書中，集結了柏金斯有關編輯工作的信件，充分流露他卓越的能力與品味、領導文化潮流的強烈風格，更加奠定這位編輯巨匠的地位；此書是對編輯行業或角色有興趣的人，都該一讀的佳作。
1947年6月17日，柏金斯逝世。他生前在康乃迪克州的新卡納的住處，目前已被列入國家歷史古蹟管理處。
结构 (数理逻辑)
在数学学科模型论中，语言  的结构 (也叫做 '-结构'，并通常写为哥特体大写)是一个有序对，它的第一个成员是论域或全集  (对应于可能带有定义在其上的关系和函数的集合，并通常写为相应于结构名字的罗马体大写)，它的第二个成员是一个释义 ，就是  的一个偏函数，它完全定义在  的非逻辑符号之上，使得  的常量符号对应于  上的元素，如果有的话； 的函数符号对应于  上的函数，如果有的话；而  的关系符号对应于  上的关系；如果有的话。
结构 (数理逻辑) 用法注释
在模型论中使用的术语模型，本质上是"结构"的同义词，但是意图用在不同的上下文中。典型的，术语"模型"在头脑中有一个特定理论的时候使用，并且只考虑为这个理论的模型，—就是说满足在这个理论中所有句子的结构。在另一方面，"结构"意图在缺乏对这种结构的行为的所知或规定的时候使用。
结构 (数理逻辑) 结构和一阶逻辑
每个一阶逻辑结构都有一个"满足关系"。
此关系是使用T-schema归纳定义的。
冷兵器
冷兵器，是指純用物理性攻擊而不使用化學燃爆的武器，與火器相對；一般是不利用火藥、炸藥等熱能打擊系統、熱動力機械系統、殺傷手段，以固體機械殺傷敵人、保護自己的武器裝備；多用於近戰和白刃格鬥，但部份亦可作遠距離拋射。
冷兵器的构造一般較火器简单，可通过人力和机械的力量来操作。在火器没有大规模被使用之前，冷兵器一直是战场上广泛被使用的兵器，因此冷兵器多屬於傳統兵器，但也有例外，如電磁砲雖是極先進的武器卻沒使用化學燃爆技術，因此也屬於冷兵器的一種。冷兵器最初是由木、石、骨等原始材料制成。随着科技的发展，铜、铁等金屬逐漸成為冷兵器的主要原料。
冷兵器 傳統冷兵器
按照用途分類如下：
进攻性兵器可以分为格斗兵器，护身兵器，远射兵器。亦有長兵器、短兵器分類，但長兵器與短兵器在兵書中有兩種定義，以下用不會混淆之名稱來敘述：
也稱長桿武器，一般是在长柄上安装有锋利的刃，使之具有杀伤性。这一类兵器是冷兵器时代最基本的攻击性兵器。
主要有：
一般短柄，易于单手使用，主要用作护体防身。
主要有：
也稱投射武器、抛射兵器（來自英語Missile weapon），用来远距离的杀伤敌人。主要有：
冷兵器时代的防护性装具主要用来保护身体，以避免被敌人杀伤。例如：铠甲、盔胄、盾牌等。
又稱攻城武器、圍城武器、攻守器械是用作攻城或守城的一类兵器包括攀城的云梯、撞開城門的衝撞车、堵門的刀車、重火力的床弩、砲（拋石機）等。
常用于生产领域的传统农具和工具。
主要有：