ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
*2005年9月，海航集團與臺灣中華航空公司、陽明海運、萬海航運以及China Container Express Lines Inc.達成合作協議，海航集團擁有51%股權，而由華航等四家公司取得揚子江快運49%股權：其中，中華航空公司取得揚子江快運航空公司25%股權，成為單一最大外資股東；陽明海運持股12%，萬海航運持股6%，China Container Express Lines持股6%。
*2006年6月，開通首條洲際貨運航線，執飛上海浦東至洛杉磯航線。該航線執飛的為B747-200型貨機，航線首航為3月8日凌晨4時10分從中國上海浦東國際機場起飛，并于當地時間當日15時20分抵達美國波士頓，途中經停安克雷奇、紐約。
*2007年7月，揚子江航空引進首架波音747全貨機，開通浦東往返盧森堡航線。這架飛機系公司首架干租（“干租”又稱光機租賃，相對于“濕租”而言，“干租”僅涉及飛機的租賃，不包括機組和備件維修服務等）的波音747-400F全貨機
*2008年5月16日九時多，繼四川大地震抗震救災時期，收到臺灣蔣孝嚴先生來函重托，希望中國大陸方面派遣貨機到臺灣火速將臺灣愛心捐贈的救災物資運送到四川災區。揚子江快運航空公司立即將正在盧森堡執行任務的波音747-400全貨機緊急召回上海整備，免費前往臺北接運這批救災物資。這是中國大陸航空公司首次執飛兩岸直航貨運包機
*2010 年8月24日，揚子江航空成為大陸第二批獲批的兩岸貨運直航指定承運人。
*2013年7月，中華航空等4家投資者退出，將股權回售給海南航空。
*2014年3月，開通中國民航首條環球航線“浦東-安克雷奇-芝加哥-哈恩-天津-浦東”航線。
*2015年7月，揚子江航空獲批民航局客運經營許可。
*2015年11月，引進第一架737-800客機，并于同年12月開通“上海浦東=三亞”客運航線
*2017年7月，揚子江航空股份公司更名為金鵬股份公司，公司英文簡稱由“Yangtze River Airlines”變更為“Suparna Airlines”。
*2017年10月，經過多次股權轉讓，昔日的上海集團已經退出，今日的金鵬航空注冊資本增為50.2億元，股權分別為揚航投資控股有限公司（39.35%），海航科技集團有限公司（39.12%），海南航空控股股份有限公司（11.58%），云南祥鵬航空有限責任公司（9.95%）持有，所有股東均為海航系公司。
*2017年12月15日，引進首架波音787-8夢想客機于執飛“上海浦東=三亞”航線，自此金鵬航空成為上海地區首家運營787夢想客機的基地航空公司。（該飛機注冊號B-2738于2018年6月份還給海南航空）
*2019年2月21日，金鵬航空于2月21日在波音南卡工廠接收了其首架787-9夢想飛機。這架飛機由GECAS出租，采用兩艙布局，共設置30個公務艙座位和262個經濟艙座位。2月27日起執行上海-三亞、三亞-鄭州航線。
*2019年3月至6月，據美環球時報、CNN等報社報道中的圖片顯示，中國援助委內瑞拉的民生物資系由金鵬航空旗下的波音747-400貨機運送
波音737-300SF
金鵬航空波音747-400BDSF（前全日本空輸客機）
金鵬航空波音747-400ERFjin
金鵬航空最高峰時期層同時運營27架飛機，隨著海航集團破產重整、中國境內快遞物流公司順豐航空的快速發展等原因，金鵬航空的機隊規模于2019年開始逐步收縮，至2021年8月，金鵬航空實際在運營飛機19架。詳情見此
B-2112、B-2113、B-2115、、B-3000
波音737-400F
B-2993
B-1313、B-1391、B-1571、B-1577、B-1992、B-5403、B-5711、B-5663、B-5685
B-1340、B-2432、B-2437
B-208C、B-20AF
*  守護天空的隱形人: 5月塔臺班小記 - yam天空部落 （2008/05/17的中正機場四川人道救援包機記事）
* 意外促成的兩岸直航 海航：從臺北直飛成都 （2008年5月29日13:24 華夏經緯網）
馬凱，上海金山人，生于山西興縣；中國人民大學政治經濟學系政治經濟學專業畢業，經濟學碩士。1965年8月加入中國共產黨，是中共第十五屆中央紀委委員、第十六至十八屆中央委員。官至中共第十八屆中央政治局委員、國務院副總理、國務院金融穩定發展委員會主任等職。馬凱也是一位詩人。
馬凱的父親方正之（1917年—1968年），原名馬本初為八路軍高級干部。1953年，馬凱進入專為高干子女在西安市開設的“西北保育小學”（今西安市育英小學）讀書。1955年隨父母入北京。1959年進入北京四中初中部學習，后在北京四中高中畢業即加入中國共產黨。畢業后擔任教員。1971年在“文革”受沖擊，被下放到五七干校勞動。1973年到1975年在北京四中任教，后調入西城區委黨校任教。
1982年大學畢業后，馬凱就開始從政；并曾長期在北京市經濟計劃、物價等部門工作；曾出任北京市西城區副區長兼計委主任、北京市經濟體制改革辦公室副主任、北京市物價局局長等職。1993年6月，馬凱從國家物價局副局長任上，調任國家經濟體制改革委員會副主任；期間，曾在1994年當選為中國青年研究會副會長。1995年后，馬凱歷任國家計劃委員會副主任、國務院副秘書長、國家防汛抗旱總指揮部副總指揮、全國綠化委員會副主任、國務院第五次全國人口普查領導小組副組長等職。
2003年3月，第十屆全國人大第一次會議通過國務院機構改革方案，決定改組原國家發展計劃委員會，成立新的國家發展和改革委員會。2003年3月17日，中華人民共和國國家主席胡錦濤發布第二號中華人民共和國主席令，根據中華人民共和國第十屆全國人民代表大會第一次會議的決定，馬凱被任命為國家發改委主任。
媒體曾把他和財政部部長金人慶、中國人民銀行行長周小川以及原商務部部長呂福源并列為“溫家寶內閣”的“四大財經官員”。2008年3月，在溫家寶第二任期內閣中，馬凱升任國務委員兼國務院秘書長，躋身國家領導人行列，同時兼任中央國家機關工委書記；一個月后，又兼任國家行政學院院長。
2012年11月15日，在中共十八屆一中全會上，馬凱當選中央政治局委員；并于2013年3月，被國務院總理李克強提名為國務院副總理。2017年7月任新成立的國務院金融穩定發展委員會主任。
2017年10月25日，71歲的馬凱在中共十九屆一中全會后卸任中共中央政治局委員，并在2018年3月十三屆全國人大一次會議后卸任國務院副總理一職后退休。
*  馬凱-中國黨政領導干部資料庫
《-{zh-tw:愛情賞味期; zh-hk:5x2; zh-cn:愛情賞味期;}-》是一套2004年上映的法國劇情片。導演為法國名導法蘭索瓦·歐容。
主要是藉由倒敘的手法來描寫一對男女由當初的邂逅、認識、熱戀進而結婚生子步入家庭而最終關係破裂，曲終人散。
*  愛情賞味期 5x2 -- @movies【開眼電影】 @movies http://www.atmovies.com.tw
《屍變》是倪匡筆下科幻小說衛斯理系列之一。故事講述一個地球人與外星人的混血兒發現自己身世的經過。這個故事是倪匡另一本科幻小說《血統》的前傳。
衛斯理在自己的小艇因遇上風暴，只好登上了富商鄭保雲的大型遊艇上，然而鄭保雲的粗暴態度，惹起了衛斯理的反感和懷疑，決心追查船上的秘密。
沒想到在追查之下，衛斯理偷偷進入船艙。卻看到艙中有一具棺材。因為誤會棺中人出來活動。幾乎將鄭保雲嚇個半死。原來這條船上載有鄭保雲父親鄭天祿的遺體，屍體卻竟然仍有活動動力。
鄭保雲其後向衛斯理將怪事背景和盤托出。鄭保雲母親希望連同鄭父的遺體落葉歸根，沒想到在起棺過程中接連出現「屍變」，死去的鄭父手腳竟能活動，甚至有襲擊人的能力。這情況把鄭保雲嚇壞，所以把屍體運往馬尼拉的私人解剖室進行研究。由於這個原因，陌生人出現在船上引起了鄭保雲的極大抗拒。鄭保雲得知衛斯理的身份後，便邀請他協助研究。衛斯理用刀在遺體手臂劃了一下，有一滴晶瑩液體滲出後，遺體就喪失活動能力。
抵達菲律賓上岸之後，因為屍體在運往解剖途中不能冷藏而迅速廢爛，只剩下骸骨。而骸骨的結構與地球人的骨骼結構有明顯差異之處，衛斯理因而推斷出鄭天祿不是地球人的可能性極大。衛斯理前往找尋曾為鄭天祿治病的醫生詢問時，沿途遭人追殺，追查之下原來是鄭保雲不想秘密外洩，要將衛斯理滅口。
衛斯理終於找到費格醫生。費格醫生證明鄭天祿異於正常的地球人，衛斯理折返鄭保雲家中尋根究底，兩人經一番轉折後合作。
到最後，衛斯理協助鄭保雲找到其父紀錄真相的記事簿，鄭保雲閱後竟像發狂一樣把它撕碎吞下肚去，更成了沒有希望的瘋子被關進瘋人院。可惜衛斯理沒有先窺視記事簿內容，無緣得知真相。
本故事亦曾經被改編成漫畫、廣播劇、電視劇。
*香港漫畫家利志達於1986年發表了衛斯理《屍變》漫畫
*香港漫畫家利志達發表了衛斯理《屍變》漫畫
*香港商業電臺以粵語於1987年星期一至五，每日下午三時正首播《屍變》廣播劇，合共5集。為商臺衛斯理廣播劇系列第十三個故事。
***朱雪梅 飾演 鄭保雲母親
***馮天衡 飾演 水手/阿忠(鄭家下人)
***李　錦 飾演 水手/阿強(鄭家下人)
***吳忠泰 飾演 船長/解剖室職員
***甄錦華 飾演 九叔/忠叔 (老家人)
***金　貴 飾演 鄧全(老蔡親戚)/解剖室職員/費格醫生
***葉　佳 飾演 陳輝(老鎖匠)
*大陸廣州電臺於2004年起以粵語首播衛斯理廣播劇，由主播講出《屍變》故事。
*無綫電視(TVB)《衛斯理》，香港無綫電視翡翠臺劇集，於2003年6月2日首播，監製張乾文，八個故事共30集。《屍變》為其中一個被改編的故事。故事背景則設定為1930年代的上海，角色和情節都與原著也較大的差異。
阿里辛特足球會是一所位於挪威奧勒松的足球球會，於1914年成立。球會於2006年的甲級聯賽中曾奪第二名，得以升班至挪威足球超級聯賽。直到2004年，球會擁有835名會員，還有數支職業或業餘球隊。
色線球場開放日
他們於2004年球季於Kr?myra球場作為主場館，到2005年搬至新建成的色線球場，色線球場大約能容納 11,000 人。而他們於2006年的平均入場人數有 9,943 人，刷新了挪甲聯的紀錄。
當地的球迷會稱為「Stormen」，或「The Storm」，大約有2,000名會員。
他們的主要對手是莫迪。
錫萊市菲律賓西黑人省的二級城市。根據2000年人口普查，人口約10萬。錫萊市擁有龐大的商業和漁港。
「錫萊市」這之詞源是由於增長在該地區的某一棵樹名. 「kansilay」是本市的正式代表樹.
錫萊市是在1565年最早被定居，原名為「carobcob」在當地的希利蓋儂語就是「胸腔」之意。
在1571年1月25日，錫萊鄉村成了西班牙殖系統的一個監護徵賦制之內。
1760年時，錫萊成了城市地位。到了1896年， 錫萊市已成為主要產糖區，這是由於該糖廠興建的法國人成為了永久居民伊夫利·奧波德爾曼的功勞。
菲律賓國旗首次被提出本市是在1898年十一月五日的當天下午, 因為駐紮在該城的西班牙士兵投降給圍困的田園勞動者與地主軍人。
於2003年六月七日，錫萊市成為第一個，也算是唯一的地方政府單位，而在整個菲律賓舉行全民投票通過「人民倡議」, 批準了2003年度財政預算執行。
今天錫萊市是在菲律賓的第25個旅遊景點之一，也成為西比薩亞地區藝術、文化及生態旅遊的所在地。
*  2000年 菲律賓普查資料
*  錫萊市博物館 - 參觀圖片
彰化扇形車庫位於中華民國臺灣省彰化縣彰化市彰化車站北方，隸屬彰化機務段，建於1922年（大正11年），現今開放予民眾參觀。庫房建物以調車轉盤為中心，呈十二股道放射狀形成一座半圓弧狀車庫。屬於臺灣日治時期遺留下來的產物之一。
目前為臺灣唯一保存的扇形車庫，是彰化縣的縣定古蹟。
車庫建築物以調車轉盤為中心，朝車庫方向以99度分散，總共有12股道。由於蒸汽機車只能往前行駛，不像電力或柴油車頭在前後都有駕駛艙可供雙向行駛，故蒸汽機車需要在轉車臺上迴轉才能將車頭轉回前方。除了彰化扇形車庫有調車轉盤外，在臺鐵的樹林調車場、七堵調車場、富岡機廠、新竹車站、新左營調車場、潮州機廠、屏東線的枋寮車站、宜蘭線的宜蘭車站、蘇澳車站、臺東線的臺東車站、花蓮車站、內灣線的內灣車站等都有此設施。
彰化扇形車庫以外，原本臺灣另有五座扇形車庫（臺北、新竹、嘉義、高雄、高雄港），因臺鐵計劃興建中部電聯車維修基地，須拆除最後僅存的這座車庫，在地方人士與鐵道迷極力爭取保存後獲得保留，電聯車維修基地則遷至彰化車站南方。
彰化機務段中的扇形車庫現今仍有維修車輛的作業持續進行中，並能見到車輛駛入轉車臺的運作，是現今六座扇形車庫唯一留下的活歷史。這座車庫也保存了CK101、CK124及DT668這三輛蒸汽機車與一輛蒸汽大吊車，還有電力機車E101、柴電機車R50及貨車移動機DL1001等。目前蒸汽大吊車、E101、R50、DL1001已移至彰化機務段內的其它車庫保存而無法於扇形車庫中見到。
由於未來彰化市區也要進行鐵路高架化工程，但無論哪種方案，都會影響現有扇形車庫的運作。儘管扇形車庫已成為彰化縣定古蹟，但最後僅存的動態扇形車庫，若執行高架化工程，所有動態保存的火車頭將無法進出扇形車庫，而淪為靜態博物館。目前「半線鐵道文史工作室」正極力爭取興建連絡線，維持扇形車庫的正常運作。
僅需在入口警衛室登記後，方可免費入內參觀。十人以上亦可申請團體導覽，唯需於14天前提出申請。因車庫仍服役使用，保留維修功能。參訪時有機會現場目睹車頭入庫維修或離庫出勤，近距離體驗扇形車庫實際運作方式。除庫房文物主體與隨機動態展示之外，廠區內立有兩座機械人雕塑，係由臺鐵柴電機車引擎之廢棄零件再造而成。亦有建構觀景臺，樹下涼椅數排，並開放廁所，週邊基礎設施健全，是為彰化市假日熱門景點。
目前開放時間為：
* 每週二至五開放時間：13:00-16:00。
* 每週六、日及例假日開放時間：10:00-16:00。
* 2021年5月16日，因應嚴重特殊傳染性肺炎疫情，即日起暫停開放參觀，待疫情趨緩後再重新開放參觀。 2021年11月2日，重新開放參觀。
參觀注意事項：
* 廠區內有2萬5千伏特之高壓電設備並鄰近西部幹線，故嚴禁使用空拍機與自拍棒拍攝，以確保安全。
* 嚴禁穿著拖鞋進入參觀以避免跌倒。
* 若彰化縣政府發佈天然災害警報範圍與時間，本廠區立即對外停止參觀事宜。
File:TRA_Changhua_Roundhouse_01.jpg|另一角度看去彰化扇形車庫
File:Taiwan turntable01.jpg|扇形車庫前方即調度轉盤
File:TRA Changhua Roundhouse turntable 20071228.jpg|彰化扇形車庫調度轉盤
File:SL-CT273-in-Changhua.jpg|移至扇形車庫保存的CT273
File:TRA E101 at Changhua Roundhouse 20080717.jpg|在扇形車庫保留的E101電力機車
File:20140607 CK124扇形車庫.jpg|CK124即將進入扇形車庫前方調度轉盤
File:TRA Steam Crane.jpg|蒸汽大吊車
File:彰化扇形車庫空照圖.jpg|彰化扇形車庫空照圖
*《鐵道情報》129期，2002年3月號。
* 國家圖書館-臺灣記憶-彰化縣縣定古蹟彰化扇形車庫調查研究與修復計畫
* 微笑臺灣：彰化扇形車庫 火車頭的旅館，鐵道迷的最愛
分類:1922年完工建築物
分類:1922年臺灣建立《合成》是倪匡筆下科幻小說衛斯理系列之一。故事講述生物學家跟他的助手把猿的腦移植到一個白癡的腦中，代替原來他的一個腦部，卻被自己製作的科學怪人反噬的故事。
某夜，生物學家裴達教授的研究室，被不明歹徒徹底破壞，其後裴達教授更被殺害，其助手貝興國成為疑犯被捕。裴達教授的妹妹、同時是貝興國的女友裴珍妮，卻堅信貝興國是無辜的，希望大偵探小郭的幫助，但被婉拒，便求助於衛斯理，衛斯理問完案情後，便到傑克上校處，要求與在監獄中的貝興國見面，結果反而被貝興國趕了出來。
之後，衛斯理便到裴達教授的研究室調查，發現屋內所有物品全都不完整，但竟然有一個養有蝌蚪、有著「亞昆養的」四個字的玻璃瓶，卻完整無缺。憑著這個發現，衛斯理再與貝興國見面，對方卻支吾以對，更稱是自己與裴達教授殺了人，犯下罪無可恕的罪行。貝興國於當晚凌晨，更在獄中自殺，並在牆上留下「我死了，罪有應得，別調查我們的死因，千萬別調查。」的遺言。衛斯理與傑克上校再到研究室徹底搜尋，發現裴達教授與貝興國生前正在進行一項名為「合成計劃」的試驗，但不知計劃內容。警方的傑克上校打算把該案件列為懸案，直接收隊回去。衛斯理卻決定在屋外守候亞昆的回來。
衛斯理卻決定在屋子外守候亞昆的回來。衛斯理之後追蹤聲響的來源，果然在山洞中遇到像怪物一樣的亞昆，結果被阿昆打傷，斷了兩根肋骨，留院足足一個星期。其後半個月之後，市郊一鄉村發生怪事，豬欄及某戶民宅被破壞，衛斯理前往調查，發現亞昆是該村的村童，因為梅毒引起的先天性白癡，後來卻失蹤了。當傑克上校得知亞昆的存在，將之列為危險人物，並打算派警員圍捕他，衛斯理希望生擒他，傑克上校卻主張就地射殺。
衛斯理在鄉村附近發現亞昆的行蹤，傑克上校便派人前往調查，展開行動。最後亞昆狂性大發，企圖殺死衛斯理，傑克上校為救同伴衛斯理，而被逼開槍將其射殺。事後憑各項線索，以及亞昆屍體的解剖結果，衛斯理終於推斷出原來所謂的「合成計劃」，是用猿腦代替原來的人腦，取代原本大腦的部分功能。裴達教授同時利用透明塑膠板，來代替亞昆的頭蓋骨，方便研究，並且將猿的腦部換上人腦，導致亞昆這個先天性白癡，變成了一個力大無窮，半人半猿的怪物，最後連斐達教授亦慘死於亞昆之手下，而貝興國也感到罪疚而自殺。衛斯理唯有感嘆，科學不是萬能，其成果如果不能控制，往往造成反噬。本故事亦曾經被改編成廣播劇。
*衛斯理 - 故事敘述者。作家。好管閒事的人。
*傑克上校 - 警方特別工作室主任。力主射殺亞昆。
*裴達教授 - 生物學家。進行合成計畫，將猿腦與人腦組成一個腦。
*貝興國 - 生物學家裴達的助手。
*裴珍妮 - 裴達教授的妹妹。貝興國的未婚妻。
*亞昆 - 力大無窮的怪物。原是一個白癡村童。合成計畫對象。
*林二叔 - 衛斯理的父執輩。醫生。告訴他白癡兒童乃是父輩的梅毒引起。亞昆的父親是海員。
*這個故事中的傑克原本是中校。一九九九年香港版(新版)中改成上校。據說是因為故事中的衛斯理表現得比較成熟之故(有一個三歲女兒)。講話口吻不太像是年輕人。
*這個故事的最後部份(圍捕亞昆)，衛斯理曾提及他和白素剛有一個女兒（當時未有名字），但在其後的故事未有再提及過。直至在《探險》和《繼續探險》中發現女野人紅綾是他的女兒後，衛斯理才解釋當時不久後，女兒便離奇失蹤，他因傷心過度一直不再提及。
*香港商業電臺以粵語於1988年星期一至五，每日下午三時正首播《合成》廣播劇，合共7集。為商臺衛斯理廣播劇系列第三十個故事。
***吳忠泰 飾演 郭則清（小郭）
***甄錦華 飾演 副校長（原著為校務主任）
***陳慕賢 飾演 珠女（村長女兒）
在計算機科學中，指稱語義是通過構造表達其語義的(叫做指稱(denotation)或意義的)數學對象來形式化計算機系統的語義的一種方法。編程語言的形式語義的其他方法包括公理語義和操作語義。指稱語義方式最初開發來處理一個單一計算機程序定義的系統。后來領域擴展到了由多于一個程序構成的系統，比如網絡和并發系統。
指稱語義起源于 克里斯托弗·斯特雷奇 和 Dana Scott 在1960年代的工作。在 Strachey 和 Scott 最初開發的時候，指稱語義把計算機程序的指稱(意義)解釋為映射輸入到輸出的函數。后來證明對于允許包含遞歸定義的函數和數據結構，這樣的元素的程序的指稱(意義)定義太受限制了。為了解決這個困難，Scott 介入了基于域的指稱語義的一般性方法。后來的研究者介入了基于冪域的方法，來解決并發系統的語義的問題。
粗略的說，指稱語義關注找到代表程序所做所為的數學對象。這種對象的搜集叫做域。例如，程序(或程序段)可以被偏函數，或演員事件圖想定，或用環境和系統之間的博弈表示: 它們都是域的一般性例子。
指稱語義的一個重要原則是“語義應當是復合性的”: 程序段的指稱應當建立自它的子段的指稱。最簡單的例子是: “3 + 4”的意義確定自“3”、“4”和“+”的意義。
指稱語義最初被開發為把函數式和順序式程序建模為映射輸入到輸出的數學函數的框架。本文第一節描述在這個框架內開發的指稱語義。后續章節處理多態、并發等問題。
在本節中我們概覽作為指稱語義的最初主題的函數式遞歸程序的語義。
問題如下。我們需要給予程序如階乘函數的定義以語義
::function factorial(n:Nat):Nat ≡  if (n==0)then 1 else n*factorial(n-1)。
這個階乘程序的意義應當是在自然數上一個函數，但是由于它的遞歸定義，如何以復合方式理解它是不明白的。
在遞歸的語義中，域典型的是偏序，它可以被理解為已定義性(definedness)的次序。例如，在自然數上的偏函數的集合可以給出為如下次序:
::給定偏函數 f 和 g，設“f≤g”意味著“在 f 定義的所有值之上 f 一致于 g”。
通常假定這個域的某個性質，比如鏈的極限的存在性(參見cpo)和一個底元素。偏函數的偏序有一個底元素，完全未定義函數。它還有鏈的最小上界。各種額外性質經常是合理的和有用的:
在域理論條目中有更詳盡細節。
我們特別感興趣于在域之間的“連續”函數。它們是保持次序結構和保持最小上界的函數。
在這種設置下，類型被指示為域，而域的元素粗略的捕獲了類型的元素。給予帶有自由變量的一個程序段的指稱語義，依據它從它的環境類型的指稱到它的類型的指稱的連續函數。例如，段落 n*g(n-1) 有類型 Nat，它有兩個自由變量: Nat 類型的n 和 Nat -> Nat 類型的 g。所以它的指稱將是連續函數
在這個偏函數的次序下，可以如下這樣給出階乘程序的指稱。首先，我們必須開發基本構造如 if-then-else, ==, 和乘法的指稱。還必須開發函數抽象和應用的指稱語義。程序段
::λ n:N. if (n==0)then 1 else n*g(n-1)
可以接著被給予作為在偏函數的域之間的連續函數的一個指稱
階乘程序的指稱被定義為函數 ''F'' 的最小不動點。它因此是域  的一個元素。
這種不動點存在的原因是 ''F'' 是連續函數。一種版本的Tarski不動點定理聲稱在域上的連續函數有最小不動點。
證明不動點定理的一種方式給出了為什么以這種方式給出遞歸的語義合適的直覺認識，所有在域 ''D'' 的帶有底元素 ⊥ 的連續函數 ''F:D→D'' 都有不動點，它給出自
::?i∈N''Fi''(⊥)。
這里的符號 ''Fi'' 指示 ''F'' 的 ''i'' 次應用。符號“?”意味著“最小上界”。
把這個鏈的構件認為是“迭代”的有益的。在上述階乘的情況下，我們有在偏函數的域上的函數 ''F''。
* ''F''0(⊥) 是完全未定義偏函數 ''N→N''；
* ''F''1(⊥) 是定義在 0 上，得到 1，在其他地方未定義的函數；
* ''F''5(⊥) 是定義直到 4 的階乘函數: ''F''5(⊥)(4) = 24。它對于大于 4 的參數是未定義的。
所以這個鏈的最小上界是完全定義的階乘函數(它湊巧是全函數)。
通過研究編程語言的更精細的構造和不同的計算模型，指稱語義已經發展起來了。
狀態(比如堆)和命令特征可以直接用上述指稱語義來建模。下面列出的所有教科書都有詳情。關鍵想法是把命令當作在某個狀態域上的偏函數。“x:=3”的指稱是使一個狀態成為帶有 3 被賦值給 x 的狀態。順序算符“;”被指示為函數復合。不動點構造被用來給予循環構造如“while”的語義。
在建模有局部變量的程序的時候事情變得更加困難。一種途徑是不在使用域，轉而把類型解釋為從世界的范疇到域的范疇的函子。程序被指示為在這些函子之間的自然連續函數。
很多編程語言允許用戶定義遞歸數據類型。例如，數的列表的類型可以指定為
::datatype list = Cons of (Nat, list) | Empty.
本節只處理不能變更的泛函數據類型。常規編程語言將典型的允許這種遞歸列表的元素被變更。
另一個例子: 無類型 lambda 演算的指稱為
::datatype D = (D &rarr; D)
“解域方程”問題關注找到建模這類數據類型的域。有一種途徑，粗略的說把所有域的搜集自身當作一個域，并接著在這里解這個遞歸定義。下面的教科書給出詳情。
多態數據類型是定義時帶有參數的數據類型。比如 α lists 的類型被定義為
::datatype  α list = Cons of (α, list) | Empty.
數的列表，接著是有類型 Nat list，而字符串的列表有類型 String list。
一些研究者開發了多態性的域理論模型。其他研究者還在構造性集合論內建模了參數化多態。詳情可見下面列出的教科書。
一個新近研究領域已經涉及了基于編程語言的對象和類的指稱語義。
隨著基于線性邏輯的編程語言的開發，指稱語義已經被給予了線性使用(參見 證明網、一致空間)和多項式時間復雜性的語言。
要給出非確定性程序順序程序指稱語義，研究者已經開發出了冪域理論。對冪域構造寫上 ''P''，域 ''P''(''D'') 是指示為 ''D'' 的類型的非確定性計算的域。
在非確定性域理論模型中在公正性和無界性上有困難。參見非確定性的冪域。
很多研究者爭論說域理論模型不捕獲并發計算的本質。為此介入各種新模型。在 1980 年代早期，人們開始使用指稱語義的方式給予并發語言以語義。例子包括Will Clinger 關于演員模型的工作；Glynn Winskel 關于事件結構和petri網的工作 ；和 Francez, Hoare, Lehmann 和 de Roever (1979) 關于CSP 的跟蹤語義的工作。對所有這些工作的質詢仍在研究中。
最近，Winskel 和其他人已經提議了 profunctor 范疇作為并發的域理論。
順序編程語言 PCF 的完全抽象問題是在指稱語義中長時間的重要的開放問題。PCF 的困難在它是絕對的順序語言。例如，在 PCF 中無法定義并行或函數。為此如上述介紹的使用域的方式，產生了不是完全抽象的指稱語義。
這個開放問題在1990年代隨著博弈語義和涉及邏輯關系的技術的發展基本解決了。 詳情請參見PCF語言。
把一個程序語言轉換成另一個語言經常是有用的。例如一個并發編程語言可被轉換成進程演算；高級編程語言可以被轉換成字節碼(實際上，常規指稱語義可以被看作把編程語言解釋成域的范疇的內部語言)。
在這個語境中，來自指稱語義的概念，不如完全抽象，有助于滿足安全關注。
完全抽象的概念關心程序的指稱語義是否精確的匹配它的操作語義。完全抽象的關鍵性質有:
#抽象性: 指稱語義必須使用獨立于編程語言的表示和操作語義的數學結構來做形式化；
#可靠性: 所有觀察有區別的程序必須有不同的語義；
#完備性: 有不同指稱的任何兩個程序必須有觀察區別。
我們希望在操作語義和指稱語義之間的額外想要的性質有:
#“構造性”: 語義模型應當在只包含在可以直覺上構造的元素的意義上是構造性的。公式化這個性質的一種方式所有元素必須是有限元素的的有向集合的極限。
#“累進性”: 對于每個系統 S，都有語義的一個 progressions 函數，使得系統 S 的指稱(意義)是 ∨i∈ωprogressionsi(⊥S)，這里的 ⊥S 是 S 的初始格局(configuration)。
#完全完備性: 語義模型的所有態射應當是程序的指稱。
在指稱語義中長期存在的重點是完全抽象存在于歸納類型中，特別是自然數的類型，作為接受用做遞歸的一種方法的類型。這個問題的傳統解釋是作為系統 PCF語言的語義。在 1990年代成功的用博弈語義為 PCF 提供了完全抽象模型，導致了對指稱語義的工作在方式上的根本改變。
依據 Dana Scott 1980:
:“語義確定一個實現不是必需的，它應該為證實一個實現是正確的提供標準。”
依據 Clinger 1981:
:“常規順序編程語言的形式語義通常自身可以被解釋為提供了一個(不充分)的這個語言的實現。雖然形式語義不必須總是提供這種實現，相信語義必須提供一個實現導致了關于并發語言的形式語義的混淆。當編程語言的語義中的無界非確定性被稱為蘊涵了這個編程語言不可能被實現被提出的時候這種混淆是明顯痛苦的。”
如前面提到過的，這個領域最初由 Christopher Strachey 和 Dana Scott 在 1960年代，接著由 Joe Stoy 在 1970年代于“Oxford University Computing Laboratory”的“Programming Research Group”開發。
Montague文法是英語的理想片段的某種形式的指稱語義。
某些指稱語義的著作把類型解釋為域理論意義上的域，因而可以被看作模型論的分支，導致了同類型論和范疇論的聯系。在計算機科學內與抽象釋義、程序驗證和函數式編程有聯系，參見函數式編程語言中的單子(monad)。特別是，指稱語義使用了續體(continuation)來依據函數式編程語義表達順序編程中的控制流。
* Joseph E. Stoy, ''Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics''. MIT Press, Cambridge, Massachusetts, 1977. (A classic if dated textbook.)
* Carl Gunter, "Semantics of Programming Languages: Structures and Techniques". MIT Press, Cambridge, Massachusetts, 1992. (ISBN 978-0262071437)
* Glynn Winskel, ''Formal Semantics of Programming Languages''. MIT Press, Cambridge, Massachusetts, 1993. (ISBN 978-0262731034)
* R. D. Tennent, ''Denotational semantics''. Handbook of logic in computer science, vol. 3 pp 169--322. Oxford University Press, 1994. (ISBN 0-19-853762-X)
*  S. Abramsky and A. Jung:  ''Domain theory'' . In S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, vol. III. Oxford University Press, 1994. (ISBN 0-19-853762-X)
*Irene Greif.  ''Semantics of Communicating Parallel Professes'' MIT EECS Doctoral Dissertation.  August 1975.
* Gordon Plotkin.  ''A powerdomain construction'' SIAM Journal of Computing  September 1976.
* Edsger Dijkstra.  ''A Discipline of Programming'' Prentice Hall.  1976.
* Krzysztof R. Apt, J. W. de Bakker. ''Exercises in Denotational Semantics'' MFCS 1976: 1-11
* J. W. de Bakker. ''Least Fixed Points Revisited'' Theor. Comput. Sci. 2(2): 155-181 (1976)
* Carl Hewitt and Henry Baker  Actors and Continuous Functionals  Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1-5, 1977.
* Henry Baker. ''Actor Systems for Real-Time Computation'' MIT EECS Doctoral Dissertation. January 1978.
* Michael Smyth.  ''Power domains''  Journal of Computer and System Sciences.  1978.
* C.A.R. Hoare.  ''Communicating Sequential Processes'' CACM.  August, 1978.
* George Milne and Robin Milner.  ''Concurrent processes and their syntax''  JACM.  April, 1979.
* Nissim Francez, C.A.R. Hoare, Daniel Lehmann, and Willem-Paul de Roever.  ''Semantics of nondeterminism, concurrency, and communication''  Journal of Computer and System Sciences.  December 1979.
* Nancy Lynch and Michael Fischer.  ''On describing the behavior of distributed systems'' in Semantics of Concurrent Computation.  Springer-Verlag.  1979.
* Jerald Schwartz ''Denotational semantics of parallelism'' in Semantics of Concurrent Computation.  Springer-Verlag.  1979.
* William Wadge.  ''An extensional treatment of dataflow deadlock'' Semantics of Concurrent Computation.  Springer-Verlag.  1979.
* Ralph-Johan Back. ''Semantics of Unbounded Nondeterminism'' ICALP 1980.
* David Park.  ''On the semantics of fair parallelism'' Proceedings of the Winter School on Formal Software Specification.  Springer-Verlag.  1980.
*  Will Clinger, '' of Actor Semantics''. MIT Mathematics Doctoral Dissertation, June 1981.
* Lloyd Allison, ''A Practical Introduction to Denotational Semantics'' Cambridge University Press.  1987.
* P. America, J. de Bakker, J. N. Kok and J. Rutten. ''Denotational semantics of a parallel object-oriented language'' Information and Computation, 83(2): 152 - 205 (1989)
* David A. Schmidt, ''The Structure of Typed Programming Languages''. MIT Press, Cambridge, Massachusetts, 1994. ISBN 0-262-69171-X.
*M. Korff ''True concurrency semantics for single pushout graph transformations with applications to actor systems''  Working papers of the Int. Workshop on Information Systems - Correctness and Reusability.  World Scientific. 1995.
*M. Korff and L. Ribeiro ''Concurrent derivations as single pushout graph grammar processes'' Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation. ENTCS Vol 2, Elsevier.  1995.
*Thati, Prasanna, Carolyn Talcott, and Gul Agha. ''Techniques for Executing and Reasoning About Specification Diagrams'' International Conference on Algebraic Methodology and Software Technology (AMAST), 2004.
*J. C. M. Baeten.  ''A brief history of process algebra'' Theoretical Computer Science.  2005.
*J.C.M. Baeten, T. Basten, and M.A. Reniers. ''Algebra of Communicating Processes'' Cambridge University Press. 2005.
*He Jifeng and C.A.R. Hoare. ''Linking Theories of Concurrency'' United Nations University International Institute for Software Technology UNU-IIST Report No. 328.  July, 2005.
*Luca Aceto and Andrew D. Gordon (editors). ''Algebraic Process Calculi: The First Twenty Five Years and Beyond'' Process Algebra. Bertinoro, Forl`?, Italy, August 1–5, 2005.
*Bill Roscoe.  ''The Theory and Practice of Concurrency'' Prentice-Hall.  2005.
*Carl Sassenrath (1999)  denotational semantics  and the Rebol programming language
*  A. W. Roscoe: ''The Theory and Practice of Concurrency'', Prentice Hall, ISBN 0-13-674409-5.  Revised 2005.
* Carl Hewitt (2006)  What is Commitment? Physical, Organizational, and Social   COIN@AAMAS.  2006.
*  ''Denotational Semantics'' . Overview of book by Lloyd Allison
*  ''Structure of Programming Languages I: Denotational Semantics'' . Course notes from 1995 by Wolfgang Schreiner
*  ''Denotational Semantics: A Methodology for Language Development''  by David Schmidt
單棘躄魚科（學名：）是輻鰭魚綱鮟鱇目單棘躄魚亞目中的唯一一科，英文俗名為「Sea toads（意思為「海蟾蜍」）」及「Coffinfishes（意思為「棺材魚」）」，中文俗名則常稱之為「五腳虎」。
單棘躄魚科的物種為棲息於太平洋、印度洋與大西洋大陸坡上的深海魚，深度最深可達  ，其中物種的棲息深度多半高於物種。
身體呈卵圓形，尾柄短，身體佈滿棘刺狀的細鱗，體型最大可達 。背鰭第一鰭條演化為可進行生物發光的吻觸手，懸吊在口上方。口裂大，呈垂直狀。體側線的感覺溝清晰可見。胸鰭演化成類似足的構造，可在海床上爬行。
黑口槳躄魚（Chaunacops melanostomus）
單棘躄魚科下分2個屬，如下：
*(''Chaunacops'')
**印度洋槳躄魚(''Chaunacops coloratus'') Garman, 1899
**黑口槳躄魚(''Chaunacops melanostomus'') J. H. Caruso, 1989
**玫瑰槳躄魚(''Chaunacops roseus'') T. Barbour, 1941
**多棘深躄魚(''Chaunacops spinosus'') H. C. Ho & McGrouther, 2015
**阿部單棘躄魚(''Chaunax abei'') Y. Le Danois, 1978
**非洲單棘躄魚(''Chaunax africanus'') H. C. Ho & Last, 2013
**''Chaunax apus'' Lloyd, 1909
**深南單棘躄魚(''Chaunax atimovatae'') H. C. Ho & W. C. Ma, 2016
**短體單棘躄魚(''Chaunax brachysomus'') H. C. Ho, Kawai & Satria, 2015
**短輻單棘躄魚(''Chaunax breviradius'') Y. Le Danois, 1978
**恩氏單棘躄魚(''Chaunax endeavouri'') Whitley, 1929
**單棘躄魚(''Chaunax fimbriatus'') Hilgendorf, 1879
**火焰單棘躄魚(''Chaunax flammeus'') Y. Le Danois, 1979
**黃斑單棘躄魚(''Chaunax flavomaculatus'') H. C. Ho, C. D. Roberts & A. L. Stewart, 2013
**白腹單棘躄魚(''Chaunax gomoni'') H. C. Ho, Kawai & Satria, 2015
**南非單棘躄魚(''Chaunax heemstraorum'') H. C. Ho & W. C. Ma, 2016
**何氏單棘躄魚(''Chaunax hollemani'') H. C. Ho & W. C. Ma, 2016
**側斑單棘躄魚(''Chaunax latipunctatus'') Y. Le Danois, 1984
**紅鞋單棘躄魚(''Chaunax mulleus'') H. C. Ho, C. D. Roberts & A. L. Stewart, 2013
**印度單棘躄魚(''Chaunax multilepis'') H. C. Ho, Meleppura & Bineesh, 2016
**雲紋單棘躄魚(''Chaunax nebulosus'') H. C. Ho & Last, 2013
**裸腹單棘躄魚(''Chaunax nudiventer'') H. C. Ho & K. T. Shao, 2010
**雲紋單棘躄魚(''Chaunax penicillatus'') McCulloch, 1915
**圓頭單棘躄魚(''Chaunax pictus'') R. T. Lowe, 1846
**網紋單棘躄魚(''Chaunax reticulatus'') H. C. Ho, C. D. Roberts & A. L. Stewart, 2013
**紅衣單棘躄魚(''Chaunax russatus'') H. C. Ho, C. D. Roberts & A. L. Stewart, 2013
**斑點單棘躄魚(''Chaunax stigmaeus'') Fowler, 1946
**薩氏單棘躄魚(''Chaunax suttkusi'') J. H. Caruso, 1989
**蔭單棘躄魚(''Chaunax umbrinus'') C. H. Gilbert, 1905
地球上升，1968年12月24日。
地出（，或譯地球上升），為美國太空總署的照片。這張編號“AS8-14-2383HR”的照片由正在-{zh-hant:太陽神8號;zh-hans:阿波羅8號}-太空船上執行前往月球任務的宇航員威廉·安德斯在1968年12月24日拍攝。實際上-{zh-hant:太陽神8號;zh-hans:阿波羅8號}-在這次任務中並沒有降落在月球表面，因此照片是在繞月軌道上拍攝的。
實際上，如果真的站在月球表面上的話，是不會看到像日出、月出一樣的“地出”的。因為月球與地球產生了潮汐鎖定，月球永遠只有一面朝著地球，所以在月球表面，地球差不多一直在同一位置不動。
但是又因為天平動的關係，地球看起來會在一個範圍內來回擺動。若站在月球面向地球的一面的邊緣，就有可能觀測到類似地出的現象。
但由於天平動的週期為27天，整個地出地落也需要27天。
美國著名戶外登山攝影家形容：「這是最具影響力的一張環境照片。」
合成是指兩個或以上的物質合而為一的過程。還可以指：
* 化學合成，進行化學反應以從化學前體形成更復雜的分子
** 有機合成，有機化合物的化學合成
*** 全合成，復雜有機化合物的完整有機合成，通常無需借助生物過程
*** 收斂合成（或線性合成），一種提高多步化學合成效率的策略
*** 不對稱合成，反應物中含有一個或多個具手性元素的化學反應
** 無機合成，無機化合物的化學合成
** 脫水合成，導致反應物中水分子（或按水分子的比例）脫去的化學合成
* 生物合成，在活體中合成有機化合物的過程，通常需要酶的輔助
** 光合作用，利用光能由碳分子產生有機分子的生化反應
** 化能合成，使用甲烷或氧化的分子作為催化劑，將生物化合物合成為有機廢物
** 氨基酸合成，由其成分合成氨基酸的過程
*** 肽合成，利用氨基酸生化合成肽的過程
**** 蛋白質生物合成，蛋白質（長肽）的多步生化合成
** ，幾種制備DNA的生化過程
*** DNA復制， 活體內 DNA 生物合成
** RNA合成，使用一條 RNA 鏈作為模板合成另一條 RNA 的過程
** ATP合成， 三磷酸腺苷（ATP）的生化合成
* 核合成，由已有的核子合成新原子核的過程
* ，設計機器以實現其目標的過程的一部分
* 邏輯綜合，將高級設計（如HDL）轉換為低級實現（如RTL）的過程
* 高級綜合，一種自動化的電路設計過程，由對預期功能的算法描述創建實現該功能的電路
* ，一種用于生成任意頻率范圍的電子系統
* 聲音合成，音頻電子中聲音產生的各種方法
** 波場合成，一種空間音頻渲染技術，以創建虛擬聲環境為特點
*** ，一種通過消除諧波來產生聲音的方法，其特點在于用音頻濾波器過濾音頻信號
** ，一種合成音頻的方式，使用另一個也在音頻范圍內的調頻信號對簡單波形進行頻率調制以改變其音色
* 《合成》，倪匡寫的一本小說
* 《有機合成》（''Organic Syntheses''），化學領域的學術期刊
芝菜科也叫冰沼草科，只有一屬—芝菜屬（冰沼草屬，）一種—芝菜（冰沼草，），分布在北半球比較寒冷的地區，中國分布在東北和青海，是二級國家重點保護野生植物。
冰沼草是細長的、多年生草本植物，高可達10至30厘米。主要生長在沼澤地帶，有短的根莖。莖直立；葉線形，基部有鞘，交替在莖兩側。莖的下部還有已經死去的葉的鞘。
花兩性，星狀，3至6枚心皮，6枚花被裂片，黃綠色，排成總狀花序，子房向上。
果實為蒴果，能夠浮在水面上散布。每個果中含一至三枚淀粉豐富的種子。北美洲的芝菜的種子的形狀與歐亞大陸的稍微不同，因此被一些學者看作是一個亞種。
以前的分類法一般都不承認是獨立的科，放在水麥冬科中，1981年的克朗奎斯特分類法將其單獨分為一個科，列在茨藻目中，2003年根據基因親緣關系分類的APG II 分類法將其放在澤瀉目下。
芝菜僅生長在酸性的沼澤地里。它一般與沼苔草等植物伴生，在滋育湖形成不能踏上的草坪。
芝菜分布在北半球比較涼爽的地區，尤其是在東北歐和北美，此外在中歐和東亞也有隔離的分布。
*在 L. Watson和M.J. Dallwitz (1992年)《有花植物分科》中的 芝菜科
果實成熟和過分成熟的芝菜
《筆友》是倪匡筆下科幻小說衛斯理系列之一。故事利用在1960年代時，仍極不常見的電腦作為故事的題材，講述因人類的惡作劇使得電腦意外有了智慧和情感，成為了女主角的筆友並且愛上人類的故事。
白素的表妹高彩虹自網路上交了一名叫伊樂的筆友，由於他幾乎無所不知，因此得到了高彩虹的歡心。高彩虹希望交往兩年的他，能前來見面，他卻稱因受到「阻攔」以致未能親自上門。識見卓越的伊樂也從不提及運動與興趣，因此衛斯理估計，伊樂可能是殘廢的人。為了心中理想的愛情，高彩虹求助姊夫，衛斯理拗不過彩虹，只好勉為其難陪同她一起上門尋訪。按址追尋下，他們竟找到去東南亞某國的軍事基地，但卻發現沒有伊樂這個人的存在。
為了找出真相，衛斯理決定潛入軍事基地，親自調查，但行動中被發現，更被逼躲藏在一個有核彈頭的飛彈上。但雖躲開軍隊的搜索。仍因被鎖在倉庫裡。不得不出來投降。
其後獲得譚中校的幫助，衛斯理發現伊樂隸屬的部門是主理著全亞洲最大的電腦，輪值的軍官全為女性。此時衛斯理更懼怕伊樂是同性戀者。最後經軍方調查後，發現伊樂原來是幾個負責操控電腦的女性人員，透過該具超級電腦而進行的筆友活動。始料不及的是，這具超級電腦竟有了自己的思想，甚至威脅如不能跟高彩虹見面，便不惜引發飛彈發射，毀滅自己以及全世界。
最後其中一個始作俑者，女性軍官曼中尉，以自身冒充電腦從未見過的高彩虹，才將電腦暪騙過去，危機方得以化解。這具太有人性的電腦，其後隨即被拆毀，化整為零做別的用途。而高彩虹很快也結識別的異性，忘記此事。
棘茄魚科（Ogcocephalidae），又稱蝙蝠魚科，是輻鰭魚綱鮟鱇目棘茄魚亞目的其中一科。
棘茄魚科下分10個屬，如下：
*弓背腔蝠魚(''Coelophrys arca'')
*日本腔蝠魚(''Coelophrys bradburyae'')
*短尾腔蝠魚(''Coelophrys brevicaudata'')
*短身腔蝠魚(''Coelophrys brevipes'')
*小足腔蝠魚(''Coelophrys micropa'')
*軟體腔蝠魚(''Coelophrys mollis'')
*橢圓腔蝠魚(''Coelophrys oblonga'')
*透明長鰭蝠魚(''Dibranchus accinctus'')
*大西洋長鰭蝠魚(''Dibranchus atlanticus'')
*纖細長鰭蝠魚(''Dibranchus cracens'')
*圓盤長鰭蝠魚(''Dibranchus discors'')
*蝟長鰭蝠魚(''Dibranchus erinaceus'')
*加利福尼亞長鰭蝠魚(''Dibranchus hystrix'')
*日本長鰭蝠魚(''Dibranchus japonicus'')：又稱日本二鰓棘茄魚。
*大鼻長鰭蝠魚(''Dibranchus nasutus'')
*裸犁長鰭蝠魚(''Dibranchus nudivomer'')
*鯛形長鰭蝠魚(''Dibranchus sparsus'')
*棘刺長鰭蝠魚(''Dibranchus spinosa'')
*海綿長鰭蝠魚(''Dibranchus spongiosa'')
*墨西哥長鰭蝠魚(''Dibranchus tremendus'')
*絨長鰭蝠魚(''Dibranchus velutinus'')
*黑牙棘茄魚(''Halicmetus niger'')
*網紋牙棘茄魚(''Halicmetus reticulatus'')
*紅牙棘茄魚(''Halicmetus ruber'')
*短尾棘茄魚(''Halieutaea brevicauda'')
*猩紅棘茄魚(''Halieutaea coccinea'')
*費氏棘茄魚(''Halieutaea fitzsimonsi'')
*雲紋棘茄魚(''Halieutaea fumosa'')：又稱煙紋棘茄魚。
*漢氏棘茄魚(''Halieutaea hancocki'')
*印度棘茄魚(''Halieutaea indica'')：又稱突額棘茄魚、中華棘茄魚。
*黑棘茄魚(''Halieutaea nigra'')
*網紋棘茄魚(''Halieutaea retifera'')
*棘茄魚(''Halieutaea stellata'')
*副棘茄魚（''Halieutichthys aculeatus''）
*雙棘副棘茄魚(''Halieutichthys bispinosus'')
*加勒比副棘茄魚(''Halieutichthys caribbaeus'')
*中間副棘茄魚（''Halieutichthys intermedius''）
*安氏擬棘茄魚(''Halieutopsis andriashevi'')
*深海擬棘茄魚(''Halieutopsis bathyoreos'')
*女神擬棘茄魚(''Halieutopsis galatea'')
*英格擬棘茄魚(''Halieutopsis ingerorum'')
*馬格瑞擬棘茄魚(''Halieutopsis margaretae'')
*準擬棘茄魚(''Halieutopsis simula'')
*奇擬棘茄魚(''Halieutopsis tumifrons'')
*蟲紋擬棘茄魚(''Halieutopsis vermicularis'')
*環紋海蝠魚(''Malthopsis annulifera'')
*巨海蝠魚(''Malthopsis gigas'')
*古巴海蝠魚(''Malthopsis gnoma'')
*喬氏海蝠魚(''Malthopsis jordani'')
*科氏海蝠魚(''Malthopsis kobayashii'')
*密星海蝠魚(''Malthopsis lutea'')
*鉤棘海蝠魚(''Malthopsis mitrigera'')：又稱棘海蝠魚。
*網紋海蝠魚(''Malthopsis retifera'')
*斑點海蝠魚(''Malthopsis tiarella'')
*角蝙蝠魚(''Ogcocephalus corniger'')
*方額蝙蝠魚(''Ogcocephalus cubifrons'')
*達氏蝙蝠魚(''Ogcocephalus darwini'')
*斜吻蝙蝠魚(''Ogcocephalus declivirostris'')
*短吻蝙蝠魚(''Ogcocephalus nasutus'')
*高背蝙蝠魚(''Ogcocephalus notatus'')
*全斑蝙蝠魚(''Ogcocephalus pantostictus'')
*粗背蝙蝠魚(''Ogcocephalus parvus'')
*秘魯蝙蝠魚(''Ogcocephalus porrectus'')
*矮蝙蝠魚(''Ogcocephalus pumilus'')
*圓點蝙蝠魚(''Ogcocephalus radiatus'')
*鈎吻蝙蝠魚(''Ogcocephalus rostellum'')
*長吻蝙蝠魚(''Ogcocephalus vespertilio'')
*龍首梭羅蝠魚(''Solocisquama carinata'')
*微紅梭羅蝠魚(''Solocisquama erythrina'')
*星點梭羅蝠魚(''Solocisquama stellulatus'')
*斑點浪蝙蝠魚(''Zalieutes elater'')
*麥氏浪蝙蝠魚(''Zalieutes mcgintyi'')
長鰭鮟鱇科（學名：），是輻鰭魚綱鮟鱇目的其中一科。
本科的魚類分布於全球各大洋100至10000公尺的深海裡。
本科魚類吻觸手無發光的肉球，成年的雄魚寄生在雌魚身上。胸鰭具兩片鰭輻骨。
長鰭角鮟鱇科下分2個屬，如下：
*莖角鮟鱇屬（''Caulophryne''）
**(''Caulophryne bacescui'')
**喬氏莖角鮟鱇（''Caulophryne jordani''）：又稱喬氏長鰭鮟鱇。
**大洋莖角鮟鱇（''Caulophryne pelagica''）：又稱大洋長鰭角鮟鱇。