stanford-oval/wikipedia huggingface dataset:
三線磯鱸

| 三線磯鱸 |
| --- | --- |

保护状况
 无危（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 笛鲷目 Lutjaniformes
科：: 石鱸科 Haemulidae
属：: 矶鲈属 Parapristipoma
种：: 三線磯鱸 P. trilineatum
二名法
Parapristipoma trilineatum Risso, 1826

異名
 Parapristipoma trilineatus   Thunberg， 1793  Perca trilineata  Thunberg， 1793
三線磯鱸（学名：），又稱三線雞魚，俗名黃雞仔、雞仔魚、三爪仔，為輻鰭魚綱鱸形目石鱸科的其中一個種。
分布

本魚分布於西北太平洋區，包括日本南部、東海、台灣的海域。该物种的模式产地在日本。
深度

水深10~50公尺。
特徵

本魚嘴唇薄，眶間骨窄，鰓耙細長；體銀白色，體上半部有三條寬的黑褐色縱帶，於幼魚時尤其明顯，成魚則較淡或不明顯。背鰭連續，中間無缺刻；尾鰭後緣深凹入。背鰭硬棘13~14枚，第四棘最強、軟條17枚；臀鰭硬棘3枚、軟條8枚。側線鱗片數55~57枚。體長可達60公分。
生態

本魚喜歡密集成群巡游於珊瑚礁區外圍之水層中，以人工魚礁或獨立礁區最常見。以動物性浮游生物為食。
經濟利用

中型的食用魚，適宜煮薑絲清湯，另外亦可做觀賞魚。
三線磯鱸刺身
东北军医大学

东北军医大学是1946年东北民主联军开办的一所军事医学高等学校。
历史

1924年，中东铁路护路军军医养成所在哈尔滨创建。1932年改名为北满铁路护路军军医养成所。1935年4月苏联把中东铁路卖给满铁，北满铁路护路军军医养成所改称满洲国陆军军医学校，拥有独立的附属医院作为临床，并且该教育机构只负责培养满洲国军的军医军官，而卫生兵方面的培养则由位于锦州的军事部直属医院负责。
1945年日本投降后，共产党接管哈尔滨，哈尔滨陆军军医学校改为东北军医大学。李兆麟非常重视对学校中百余中国学员的争取教育。该校以共产党员孙平化（后任中日友协会长）为首的教师提出了“跟着共产党，走革命的路”的口号，领导全校学生驱逐了校内的日本人，开展了护校运动。李兆麟和该校左派学生董连铭一起到苏军驻哈警备司令部交涉。苏军同意将学校移交共产党。李兆麟又到军医学校视察，李兆麟决定废止原学校的名称，正式命名该校为东北军医大学，李兆麟任命抗联的陈述任校长。1946年2月底李兆麟第二次视察该校。
1946年东北大学医学院并入东北军医大学。
1946年4月在二道江野战医院基础上组建东北民主联军通化医学院，洪引任院长，政委李宽和，薛公绰任教育长。1946年4月底奉命迁延吉。但5月上旬通化医学院师生300余人乘火车到长春，接收了伪满的新京医科大学200余人。5月又全部乘火车北上到哈尔滨马家沟。不久，根据东总卫生部的指示，把“国立医大”和通化医学院合并入东北军医大学，陈述任校长，政治委员李宽和继任，李亭植任副校长，薛公绰任教育长。1946年5月从哈尔滨迁往兴山。把鹤岗矿务局的办公大楼暂作为医大的教学大楼。
7月中旬，由延安迁来的医科大学和白求恩学校三百余师生，在王斌校长和阙耀华主任的带领下也到达兴山。1946年8月15日东北军医大学并入中国医科大学。
韦兹龙斯-屈尔坦

| 韦兹龙斯-屈尔坦 Vézeronce-Curtin |
| --- | --- |
 法國市镇

   徽章
韦兹龙斯-屈尔坦的位置  
韦兹龙斯-屈尔坦显示法国的地图韦兹龙斯-屈尔坦显示伊泽尔省的地图
坐标：45°39′02″N 5°28′14″E﻿ / ﻿45.6506°N 5.4706°E﻿ / 45.6506; 5.4706
国家:  法國
大区:  
省:  伊泽尔省
区: 拉图尔迪潘区
面积1
 • 市镇: 14.37 平方公里（5.55 平方英里）
人口（2021年）
 • 市镇: 2,193人
 • 密度: 153人/平方公里（395人/平方英里）
时区: CET（UTC+01:00）
 • 夏时制: CEST（UTC+02:00）
邮政编码: 38510
INSEE: 38543 
省级选区: 莫雷斯泰勒县（英语：）
海拔: 205—316（673—1,037英尺） （平均：247米）
網站: http://www.vezeronce-curtin.com
1法國統計部門在計算土地面積時，不計算面積大於1平方公里的湖泊、池塘、冰川和河口。 2「人口不重複計算」：擁有多重居住地的居民（如：學生和軍人）僅計算一次。
韦兹龙斯-屈尔坦（法語：，法语发音：[vezʁɔ̃s kyʁtɛ̃]）是法国伊泽尔省的一个市镇，属于拉图尔迪潘区。该市镇于1972年由原市镇韦兹龙斯（）和屈尔坦（）合并而成。
历史

524年6月25日，韦兹龙斯之战（法语：）在此发生，该场战役是克洛维一世次子克洛多米尔及其兄弟率领法兰克人与勃艮第人之间发生的战役，克洛多米尔死于该役，勃艮第方取胜，但十年之后（534年）勃艮第最终为法兰克人所吞并。1870在该战役的遗址发现一顶拜占庭式头盔，被认为属于一位法兰克人酋长，现为该市市徽。
地理

韦兹龙斯-屈尔坦（45°39'2"N, 5°28'14"E）面积14.37 平方千米，位于法国奥弗涅-罗讷-阿尔卑斯大区伊泽尔省，该省份为法国东南部内陆省份，北起顺时针与安省、萨瓦省、上阿尔卑斯省、德龙省、阿尔代什省、卢瓦尔省和罗讷省。
与韦兹龙斯-屈尔坦接壤的市镇（或旧市镇、城区）包括：莫雷斯泰勒、勒布沙日、多洛米约、圣索尔兰-德莫雷斯泰勒、塞尔梅里约、瓦斯兰、韦兰-蒂埃兰、维尼约。
韦兹龙斯-屈尔坦的时区为UTC+01:00、UTC+02:00（夏令时）。
行政

韦兹龙斯-屈尔坦的邮政编码为38510，INSEE市镇编码为38543。
政治

韦兹龙斯-屈尔坦所属的省级选区为莫雷斯泰勒县（英语：）。
人口

韦兹龙斯-屈尔坦于2021年1月1日时的人口数量为2193人。
韦兹龙斯-屈尔坦的OSM定位图
1962-2008年间韦兹龙斯-屈尔坦人口变化图示
下曲镇

| 下曲镇 |
| --- | --- |
镇
坐标：37°21′29″N 112°07′26″E﻿ / ﻿37.35812°N 112.12383°E﻿ / 37.35812; 112.12383
国家:  中华人民共和国
上级行政区: 文水县
村级区划单位数:  21 0社区 21行政村 
人口
 • 總計: 39,332人
时区: 北京时间（UTC+8）
行政区划代码: 14 11 21 105
电话区号: +86 (0)358
下曲镇，是中华人民共和国山西省吕梁市文水县下辖的一个乡镇级行政单位。
行政区划

下曲镇下辖以下地区：
下曲村、​下曲庄村、​寄谷庄村、​永乐村、​石永村、​苏家庄村、​忠义村、​田家堡村、​武家庄村、​梁家堡村、​朱家堡村、​南贤村、​青高村、​南齐村、​北齐村、​杜村、​杜村庄村、​北辛店村、​南辛店村、​石家堡村和徐家镇村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
科里帕塔

科里帕塔是玻利維亞的城鎮，由拉巴斯省負責管轄，位於該國西部，距離首府拉巴斯119公里，海拔高度1,725米，每年平均降雨量約1,100毫米，2012年人口2,292。
外部連結

Instituto Nacional de Estadistica de Bolivia
16°18′S 67°36′W﻿ / ﻿16.300°S 67.600°W﻿ / -16.300; -67.600
科特·布朗宁

科特·布朗寧, CM (Kurt Browning，1966年6月18日—)，加拿大花式滑冰運動員、編舞家、賽事講評。他曾奪得四屆世界錦標賽冠軍，以及四面加拿大錦標賽（英语：）金牌。
滑冰生涯

1988年3月25日，世界錦標賽（英语：）於匈牙利布達佩斯進行期間，布朗寧做出第一個被紀錄認可、在賽事中完成的四周跳（英语：）（一種後外點冰跳，亦即4T）。
賽事成績

| 國際> 賽事 | 國際> 1985–86 | 國際> 1986–87 | 國際> 1987–88 | 國際> 1988–89 | 國際> 1989–90 | 國際> 1990–91 | 國際> 1991–92 | 國際> 1992–93 | 國際> 1993–94 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 冬奧 |  |  | 8th |  |  |  | 6th |  | 5th |
| 世錦賽 |  | 15th | 6th | 1st | 1st | 1st | 2nd | 1st |  |
| 友好運動會（英语：） |  |  |  |  |  | 1st |  |  |  |
| 萊儷盃 |  |  |  |  |  |  | 1st |  |  |
| 國際盃 |  |  |  |  |  | 1st |  |  |  |
| NHK盃 |  | 7th |  | 3rd | 3rd |  |  |  |  |
| 美國盃 | 8th |  |  |  | 3rd |  |  |  |  |
| 加拿大盃 |  |  | 4th | 1st |  | 1st |  |  | 1st |
| 霧笛盃 | 3rd |  |  |  |  |  |  |  |  |
國內
| 加錦賽（英语：） |  | 2nd | 2nd | 1st | 1st | 1st |  | 1st | 2nd |
參考資料

↑  . The New York Times. Associated Press. 1988-03-26  [2007-10-14]. （原始内容存档于2020-11-04）.
外部連結

Kurt Files （页面存档备份，存于）
/ Kurt Browning, winner of the Lionel Conacher Award and the Bobbie Rosenfeld Award: Virtual Museum of Canada Exhibit （页面存档备份，存于）
三線鯻

| 三線鯻 |
| --- | --- |

保护状况
 未予评估（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 日鲈目 Centrarchiformes
科：: 鯻科 Terapontidae
属：: 鯻屬 Terapon
种：: 三線鯻 T. puta
二名法
Terapon puta Cuvier, 1829

異名
 Therapon puta, Cuvier, 1829  Authistes puta, Cuvier, 1829  Autisthes puta, Cuvier, 1829  Coius trivittatus, Hamilton, 1822  Autisthes argenteus, De Vis, 1884
三線鯻（學名：Terapon puta）為輻鰭魚綱鱸形目鱸亞目鯻科的其中一種。
分布

三線鯻分布於印度洋西太平洋區，從東非、紅海南部，經阿拉伯半島、印度、巴基斯坦至印尼、菲律賓、澳洲半鹹水、海域，另外還透過蘇伊士運河進入地中海，首次記錄在地中海的埃及西奈半島北部的巴達維爾潟湖中。於1994年在利比亞和亞歷山大港外被記錄發現。
特徵

本魚體呈紡錘型，側扁，口有兩排齒，外排由強錐形齒組成，內排由絨毛狀齒組成，排列成帶狀，前鰓蓋是鋸齒狀的，鰓蓋上有兩個與眼睛齊平的脊柱，下部脊柱較長，延伸到遠端或超出鰓緣。有四條縱向平行條紋，從頭部延伸到尾鰭，上面三條紋是黑色，最下面的條紋較淡，從黃色到棕色不等，背鰭硬棘部具有一黑色斑塊，尾鰭叉形，具有數條深色縱紋，全身銀色，腹部銀白色，背鰭硬棘11-12枚；背鰭軟條9-11枚；臀鰭硬棘3枚；臀鰭軟條8-9枚，體長可達16公分。
生態

成魚棲息在沿岸河口區、紅樹林沼澤底中層水域，屬肉食性，以小魚和無脊椎動物為食，成魚會保護卵並搧動魚鰭提供足夠的氧，生活習性不明，可做為食用魚。
參考文獻

↑  . CIESM Atlas of Exotic Fishes in the Mediterranean Sea. CIESM.   [21 January 2017]. （原始内容存档于2017-02-02）.
↑  . Fishbase.   [2018-11-26]. （原始内容存档于2019-02-18）.
希拉鱒

| 希拉鱒 |
| --- | --- |

保护状况
 瀕危（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 鮭形目 Salmoniformes
科：: 鮭科 Salmonidae
属：: 麻哈鱼属 Oncorhynchus
种：: 希拉鱒 O. gilae
二名法
Oncorhynchus gilae Miller, 1950

異名
 Salmo gilae, Miller, 1950  Oncorhynchus gilae gilae, Miller, 1950
希拉鱒為麻哈魚屬的一個種，為溫帶淡水魚，被IUCN列為瀕危保育類動物，分布於北美洲美國新墨西哥州、亞利桑那州的希拉河流域，體長可達32公分，棲息在海拔2000公尺的山區溪流，生活習性不明。
參考文献

Froese, R. & Pauly, D. (eds.) (2015). Oncorhynchus gilae. FishBase. Version 2015-10.
扩展阅读

維基物種上的相關：希拉鱒
食用葛

| 食用葛 |
| --- | --- |

科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 真双子叶植物 Eudicots
演化支：: 蔷薇类植物 Rosids
目：: 豆目 Fabales
科：: 豆科 Fabaceae
亚科：: 蝶形花亚科 Faboideae
属：: 葛属 Pueraria
种：: 食用葛 P. edulis
二名法
Pueraria edulis Pampan.

食用葛（学名：）是豆科葛属的植物，是中国的特有植物。分布于中国大陆的广西、四川、云南等地，生长于海拔1,000米至3,200米的地区，常生于山沟林中，目前尚未由人工引种栽培。
别名

食用葛藤（中国主要植物图说） 葛根、葛藤（云南、贵州） 粉葛、甘葛（四川）
异名

Pueraria bicalcarata Gagnep.
Pueraria edulis Pamp. var. likiangensis P. C. Li
蓝利皮亚吉农村居民点

| 蓝利皮亚吉农村居民点 Синелипяговское сельское поселение |
| --- | --- |
农村居民点
国家:  俄羅斯
州: 沃罗涅日州
区: 下杰维茨克区
行政中心: 蓝利皮亚吉
人口（2016）
 • 總計: 1,616人
时区: MSK（UTC+3）
OKTMO编码: 20623452
蓝利皮亚吉农村居民点（俄语：）是俄罗斯联邦沃罗涅日州下杰维茨克区所属的一个农村居民点。其下辖有6个居民点，行政中心为蓝利皮亚吉。据2016年统计，该农村居民点的人口为1616人。
Λ演算

λ演算（英語：lambda calculus，λ-calculus）是一套從數學邏輯中發展，以變數綁定和替換的規則，來研究函式如何抽象化定義、函式如何被應用以及遞迴的形式系統。它由數學家阿隆佐·邱奇在20世紀30年代首次發表。lambda演算作為一種廣泛用途的計算模型，可以清晰地定義什麼是一個可計算函式，而任何可計算函式都能以這種形式表達和求值，它能模擬單一磁帶图灵机的計算過程；儘管如此，lambda演算強調的是變換規則的運用，而非實現它們的具體機器。
lambda演算可比擬是最根本的編程語言，它包括了一條變換規則（變數替換）和一條將函式抽象化定義的方式。因此普遍公認是一種更接近軟體而非硬體的方式。對函數式編程語言造成很大影響，比如Lisp、ML语言和Haskell语言。在1936年邱奇利用λ演算給出了對於判定性問題（Entscheidungsproblem）的否定：關於兩個lambda運算式是否等價的命題，無法由一個「通用的演算法」判斷，這是不可判定效能夠證明的頭一個問題，甚至還在停机问题之先。
lambda演算包括了建構lambda項，和對lambda項執行歸約的操作。在最簡單的lambda演算中，只使用以下的規則來建構lambda項：
| 語法 | 名稱 | 描述 |
| --- | --- | --- |
| x | 變量 | 用字元或字串來表示參數或者數學上的值或者表示邏輯上的值 |
| (λx.M) | 抽象化 | 一個完整的函數定義（M是一個 lambda 項），在表達式中的 x 都會綁定為變量 x。 |
| (M N) | 應用 | 將函數M作用於參數N。 M 和 N 是 lambda 項。 |
產生了諸如：(λx.λy.(λz.(λx.zx)(λy.zy))(x y))的表達式。如果表達式是明確而沒有歧義的，則括號可以省略。對於某些應用，其中可能包括了邏輯和數學的常量以及相關操作。
本文討论的是邱奇的“无类型lambda演算”，此后，已经研究出来了一些有类型lambda演算。
解释与应用

λ演算是图灵完备的，也就是说，这是一个可以用于模拟任何图灵机的通用模型。 λ也被用在λ表达式和λ项中，用来表示将一个变量绑定在一个函数上。
λ演算可以是有类型或者无类型的，在有类型λ演算中（上文所述是无类型的），函数只能在参数类型和输入类型符合时被应用。有类型λ演算比无类型λ演算要弱——后者是这个条目的主要部分——因为有类型的λ运算能表达的比无类型λ演算少；与此同时，前者使得更多定理能被证明。例如，在简单类型λ演算中，运算总是能够停止，然而无类型λ演算中这是不一定的（因为停机问题）。目前有许多种有类型λ演算的一个原因是它们被期望能做到更多（做到某些以前的有类型λ演算做不到的）的同时又希望能用以证明更多定理。
λ演算在数学、哲学、语言学和计算机科学中都有许多应用。它在程式語言理論中占有重要地位，函数式编程实现了λ演算支持。λ演算在范畴论中也是一个研究热点。
历史

作为对数学基础研究的一部分，数学家阿隆佐·邱奇在20世纪30年代提出了λ演算。 但最初的λ演算系统被证明是逻辑上不自洽的——在1935年斯蒂芬·科尔·克莱尼和J. B. Rosser举出了Kleene-Rosser悖论（英语：）。
随后，在1936年邱奇把那个版本的关于计算的部分抽出独立发表—现在这被称为无类型λ演算。 在1940年，他创立了一个计算能力更弱但是逻辑上自洽的系统，这被称为简单类型λ演算。
直到1960年，λ演算与编程语言的关系被确立了；在这之前它只是一个范式。由于理查德·蒙塔古和其他语言学家将λ演算应用于自然语言语法的研究，λ演算已经开始在语言学和计算机科学学界拥有一席之地。
至于为何邱奇选择λ作为符号，连他本人的解释也互相矛盾：最初是在1964年的一封信中，他明确解释称这是来源于《数学原理》一书中的类抽象符号（脱字符），为了方便阅读，他首先将其换成逻辑与符号（ \land ）作为区分，然后又改成形状类似的λ。他在1984年又重申了这一点，但再后来他又表示选择λ纯粹是偶然。
非形式化的直覺描述

在λ演算中，每个表达式都代表一个函数，这个函数有一个参数，并且會返回一个值。不论是参数和返回值，也都是一个单参的函数。可以这么说，λ演算中只有一种“类型”，那就是这种单参函数。函数是通过λ表达式匿名地定义的，这个表达式说明了此函数将对其参数进行什么操作。
例如，“加2”函数f(x)= x + 2可以用lambda演算表示为λx.x + 2（或者λy.y + 2，参数的取名无关紧要），而f(3)的值可以写作(λx.x + 2) 3。函数的应用（application）是左结合的：f x y =(f x) y。
考虑这么一个函数：它把一个函数作为参数，这个函数将被作用在3上：λf.f 3。如果把这个（用函数作参数的）函数作用于我们先前的“加2”函数上：(λf.f 3)(λx.x+2)，则明显地，下述三个表达式：
是等价的。有两个参数的函数可以通过lambda演算这樣表达：一个单一参数的函数，它的返回值又是一个单一参数的函数（参见柯里化）。例如，函数f(x, y) = x - y可以写作λx.λy.x - y。下述三个表达式：
也是等价的。然而这种lambda表达式之间的等价性，无法找到某个通用的函数来判定。
并非所有的lambda表达式都能被歸约至上述那样的确定值，考虑
或
然后试图把第一个函数作用在它的参数上。(λx.x x)被称为ω 组合子，((λx.x x)(λx.x x))被称为Ω，而((λx.x x x) (λx.x x x))被称为Ω2，以此类推。若仅形式化函数作用的概念而不允许lambda表达式，就得到了组合子逻辑。
非形式化的直覺描述 > 動機

在數學和計算機科學中，「可計算的」函式是基礎觀念。對於所謂的可計算性，λ-演算提供了一個簡單明確的語義，使計算的性質可以被形式化研究。λ-演算結合了兩種簡化方式，使得這個語義變得簡單。第一種簡化是不給予函式一個確定名稱，而“匿名”地對待它們。例如，兩數的平方和函式
可以用匿名的形式重新寫為：
同樣地，
可以用匿名的形式重新寫為：
第二個簡化是λ演算只使用單一個參數輸入的函數。如果普通函數需要兩個參數，例如




s
q
u
a
r
e
_
s
u
m



{\textstyle \operatorname {square\_sum} }

函數，可轉成接受單一參數，傳給另一個函數中介，而中介函數也只接受一個參數，最後輸出結果。例如，
可以重新寫成：
這是稱為柯里化的方法，將多參數的函數轉換成為多個中介函數的複合鏈，每個中介函數都只接受一個參數。
將




s
q
u
a
r
e
_
s
u
m



{\textstyle \operatorname {square\_sum} }

函數應用於參數(5,2)，直接產生結果
而對於柯里化轉換版的評估，需要再多一步：
得出相同結果。
非形式化的直覺描述 > lambda演算

lambda演算是由特定形式語法所組成的一種語言，一組轉換規則可操作其中的lambda項。這些轉換規則被看作是一個等式理論或者一個操作定義。如上節所述，lambda演算中的所有函數都是匿名的，它們沒有名稱，它們只接受一個輸入變量，柯里化用於實現有多個輸入變量的函數。
非形式化的直覺描述 > lambda演算 > lambda項

lambda演算的語法將一些表達式定義為有效的lambda演算式，而某一些表達式無效，就像C編程語言中有些字串有效，有些則不是。有效的lambda演算式稱為“lambda項”。
以下三個規則給出了語法上有效的lambda項，如何建構的歸納定義：
變量 x本身就是一個有效的lambda項
如果 t是一個lambda項，而 x是一個變量，則 (\lambda x.t) 是一個lambda項（稱為lambda抽象）；
如果 t和 s是lambda項，那麼 (ts)是一個lambda項（稱為應用）。
其它的都不是lambda項。因此，lambda項若且唯若可重複應用這三個規則取得時，才是有效的。一些括號根據某些規則可以省略。例如，最外面的括號通常不會寫入。
“lambda抽象”是指一個匿名函數的定義，它將單一輸入的 \lambda x.t替換成 t的表達式，所以產生了一個匿名函數，它採用 x的值並返回 t。例如， \lambda x.x^{2}+2是表示使用函數 f(x)=x^{2}+2作為 t項的一個lambda抽象。lambda抽象只是先“設置”了函數定義，還沒使用它。這個抽象在 t項中綁定了變量 x。一個應用 ts表示將函數 t應用在輸入 s，亦即對輸入 s使用函數 t產生 t(s)。
lambda演算中並沒有變量聲明的概念。如 \lambda x.x+y（即 f(x)=x+y）的定義中，lambda演算將 y當作尚未定義的變量。lambda抽象 \lambda x.x+y在語法上是有效的，並表示將其輸入添加到未知 y的函數。
可用圓括弧對來消除歧義。例如， \lambda x.((\lambda x.x)x)和 (\lambda x.(\lambda x.x))x表示不同的項（儘管它們剛好化簡到相同值）。這裡第一個例子定義了一個包含子函數的抽象，並將子函數應用於x（先應用後傳回）的結果；而第二個例子定義了一個傳回任何輸入的函數，然後在應用過程中傳回對輸入為x的應用（返回函數然後應用）。
非形式化的直覺描述 > lambda演算 > 操作函數的函數

在lambda演算中，函數被認為是頭等物件，因此函數可以當作輸入，或作為其它函數的輸出返回。
例如， \lambda x.x表示映射到本身的函數， x\mapsto x和 (\lambda x.x)y表示將這個函數應用於 y。此外， (\lambda x.y)則表示無論輸入為何，始終返回 y值的常數函數 x\mapsto y。lambda演算中的函數應用是左結合的，因此 stx表示 (st)x。
有幾個“等價”和“化簡”的概念，允許將各個lambda項“縮減”為“相同”的lambda項。
非形式化的直覺描述 > lambda演算 > α-等價

對於lambda項，等價的基本形式定義，是 \alpha -等價。它捕捉了直覺概念，在lambda抽象中一個綁定變量的特別選擇（通常）並不重要。
比如， \lambda x.x和 \lambda y.y是 \alpha -等價的lambda項，它們都表示相同的函數（自映射函數）；但如 x和 y項則不是 \alpha -等價的，因為它們並非以lambda抽象方式綁定的。
在許多演示中，通常會確定 \alpha -等價的lambda項。
為了能夠定義 \beta -歸約，需要以下定義：
非形式化的直覺描述 > lambda演算 > 自由變量

所謂的自由變量是那些在lambda抽象不受到綁定的變量。表達式中的一組自由變量定義歸納如下：
x的自由變量就只是 x
\lambda x.t的自由變量集合，是在 t中移除了 x的自由變量集合。
ts的自由變量是 t的一組自由變量，與 s的一組自由變量，這兩項變量的並集。
例如，代表映射自身的 \lambda x.x，其中的lambda項沒有自由變量，但是在函數 \lambda x.yx中的lambda項，有一個自由變量 y。
非形式化的直覺描述 > lambda演算 > 避免捕獲的替換記法

假設 t， s和 r是lambda項，而 x和 y是變量。如果寫成 t[x:=r]是一種避免被捕獲的記法方式，表示在 t這個lambda項中，以 r來替換 x變量的值。這定義為：
x[x:=r]=r；
y[x:=r]=y，如果 x\neq y；
(ts)[x:=r]=(t[x:=r])(s[x:=r])；
(\lambda x.t)[x:=r]=\lambda x.t；
如果 x\neq y而且 y不在lambda項 r的自由變量中，則 (\lambda y.t)[x:=r]=\lambda y.(t[x:=r])。對於lambda項 r，變量 y被稱為是“新鮮”的。
例如， (\lambda x.x)[y:=y]=\lambda x.(x[y:=y])=\lambda x.x
和 ((\lambda x.y)x)[x:=y]=((\lambda x.y)[x:=y])(x[x:=y])=(\lambda x.y)y。
新鮮度條件（要求 y不在lambda項 r中的自由變量中）對於確保替換不會改變函數的意義很重要。例如，忽視新鮮度條件的替代： (\lambda x.y)[y:=x]=\lambda x.(y[y:=x])=\lambda x.x。此替換會將原本意義為常量函數的 \lambda x.y，轉換成意義為映射自身函數的 \lambda x.x。
一般來說，在無法滿足新鮮度條件的情況，可利用 \alpha -重新命名使用一個合適的新變量來補救，切換回正確的替換概念；比如在 (\lambda x.y)[y:=x]中，使用一個新變量 z重新命名這個lambda抽象，獲取 (\lambda z.y)[y:=x]=\lambda z.(y[y:=x])=\lambda z.x，則替換就能保留原本函數的義涵。
非形式化的直覺描述 > lambda演算 > β-歸約

β-歸約規定了形式如 (\lambda x.t)s的應用，可以化簡成 t[x:=s]項。符號記法 (\lambda x.t)s\to t[x:=s]用於表示 (\lambda x.t)s 經過β-歸約轉換為 t[x:=s]。例如，對於每個 s，可轉換為 (\lambda x.x)s\to x[x:=s]=s。這表明 \lambda x.x實際上的應用是映射自身函數。同樣地， (\lambda x.y)s\to y[x:=s]=y，表明了 \lambda x.y是一個常量函數。
lambda演算可視為函數式編程語言的理想化版本，如Haskell或ML語言。在這種觀點下，β-歸約對應於一組計算步驟。
這個步驟重複應用β-轉換，一直到沒有東西能再被化簡。在無型別lambda演算中，如本文所述，這個歸約過程可能無法終止，
比如 \Omega =(\lambda x.xx)(\lambda x.xx)，是個特殊的lambda項。這裡
 (\lambda x.xx)(\lambda x.xx)\to (xx)[x:=\lambda x.xx]=(x[x:=\lambda x.xx])(x[x:=\lambda x.xx])=(\lambda x.xx)(\lambda x.xx)
也就是說，該lambda項在一次β-歸約中化簡到本身，因此歸約過程將永遠不會終止。
無型別lambda演算的另一方面是它並不區分不同種類的資料。例如，需要編寫只針對數字操作的功能。然而，在無型別的lambda演算中，沒有辦法避免函數被應用於真值、字串或其它非數字物件。
形式化定义

形式化地，我们从一个标识符（identifier）的可数无穷集合开始，比如{a, b, c, ..., x, y, z, x1, x2, ...}，则所有的lambda表达式可以通过下述以BNF范式表达的上下文无关文法描述：
<表达式> ::= <标识符>
<表达式> ::= (λ<标识符>.<表达式>)
<表达式> ::= (<表达式> <表达式>)
头两条规则用来生成函数，而第三条描述了函数是如何作用在参数上的。通常，lambda抽象（规则2）和函数作用（规则3）中的括弧在不会产生歧义的情况下可以省略。如下假定保证了不会产生歧义：（1）函数的作用是左结合的，和（2）lambda操作符被绑定到它后面的整个表达式。例如，表达式 (λx.x x)(λy.y) 可以简写成λ(x.x x) λy.y 。
类似λx.(x y)这样的lambda表达式并未定义一个函数，因为变量y的出现是自由的，即它并没有被绑定到表达式中的任何一个λ上。一个lambda表达式的自由变量的集合是通过下述规则（基于lambda表达式的结构归纳地）定义的：
在表达式V中，V是变量，则这个表达式里自由变量的集合只有V。
在表达式λV .E中（V是变量，E是另一个表达式），自由变量的集合是E中自由变量的集合减去变量V。因而，E中那些V被称为绑定在λ上。
在表达式 (E E')中，自由变量的集合是E和E'中自由变量集合的并集。
例，对于表达式λx.x（我们将第一个x视作变量，第二个x视作表达式），其中表达式x中，由1，它的自由变量集合是x，又由2，表达式λx.x的自由变量的集合是表达式x的自由变量集合减去变量x。所以对于表达式λx.x，它的自由变量集合是空。

例，对于表达式λx.x x由形式化描述的第3点，我们把它看作((λx.x)(x))，(λx.x)和(x)分别为表达式，由上一例知道(λx.x)的自由变量集合为空，表达式(x)的变量集合为变量x，所以对于λx.x x，它的自由变量集合为x与空的并，即x。
在lambda表达式的集合上定义了一个等价关系(在此用==标注)，“两个表达式其实表示的是同一个函数”这样的直觉性判断即由此表述，这种等价关系是通过所谓的“alpha-变换规则”和“beta-归约规则”。
歸約

歸約的操作包括：
| 操作 | 名稱 | 描述 |
| --- | --- | --- |
| (λx.M[x]) → (λy.M[y]) | α-轉換 | 重新命名表達式中的綁定（形式）變量。用於避免名稱衝突。 |
| ((λx.M) E) → (M[x:=E]) | β-歸約 | 在抽象化的函數定義體中，以參數表達式代替綁定變量。 |
歸約 > α-变换

Alpha-变换规则表达的是，被绑定变量的名称是不重要的。比如说λx.x和λy.y是同一个函数。尽管如此，这条规则并非像它看起来这么简单，关于被绑定的变量能否由另一个替换有一系列的限制。
Alpha-变换规则陈述的是，若V与W均为变量，E是一个lambda表达式，同时E[V:=W]是指把表达式E中的所有的V的自由出现都替换为W，那么在W不是
E中的一个自由出现，且如果W替换了V，W不会被E中的λ绑定的情况下，有
这条规则告诉我们，例如λx.(λx.x) x这样的表达式和λy.(λx.x) y是一样的。
歸約 > β-归约

Beta-归约规则表达的是函数作用的概念。它陈述了若所有的E'的自由出现在E [V:=E']中仍然是自由的情况下，有
成立。
==关系被定义为满足上述两条规则的最小等价关系（即在这个等价关系中减去任何一个映射，它将不再是一个等价关系）。
对上述等价关系的一个更具操作性的定义可以这样获得：只允许从左至右来应用规则。不允许任何beta归约的lambda表达式被称为Beta范式。并非所有的lambda表达式都存在与之等价的范式，若存在，则对于相同的形式参数命名而言是唯一的。此外，有一个算法用户计算范式，不断地把最左边的形式参数替换为实际参数，直到无法再作任何可能的规约为止。这个算法当且仅当lambda表达式存在一个范式时才会停止。Church-Rosser定理说明了，当且仅当两个表达式等价时，它们会在形式参数换名后得到同一个范式。
歸約 > η-变换

前两条规则之后，还可以加入第三条规则，eta-变换，来形成一个新的等价关系。Eta-变换表达的是外延性的概念，在这里外延性指的是，对于任一給定的参数，当且仅当两个函数得到的结果都一致，則它们將被視同為一个函数。Eta-变换可以令  \lambda x.fx 和  f 相互转换，只要  x 不是  f 中的自由變量。下面说明了为何这条规则和外延性是等价的：
若  f 与  g 外延地等价，即， fa==ga 对所有的  \lambda  表达式  a成立，则当取  a 为在  f 中不是自由出现的变量  x时，我们有 f(x)==g(x)，因此  \lambda x.fx==\lambda x.gx，由eta-变换f == g。所以只要eta-变换是有效的，会得到外延性也是有效的。
相反地，若外延性是有效的，则由beta-归约，对所有的y有(λx .f x) y == f y，可得λx .f x == f，即eta-变换也是有效的。
資料類型的編碼

基本的lambda演算法可用於建構布林值，算術，資料結構和遞歸的模型，如以下各小節所述。
資料類型的編碼 > lambda演算中的算術

在lambda演算中有许多方式都可以定义自然数，但最常见的还是邱奇数，下面是它们的定义：
0 = λf.λx.x
1 = λf.λx.f x
2 = λf.λx.f (f x)
3 = λf.λx.f (f (f x))
以此类推。直观地说，lambda演算中的数字n就是一个把函数f作为参数并以f的n次幂为返回值的函数。换句话说，邱奇整数是一个高阶函数 -- 以单一参数函数f为参数，返回另一个单一参数的函数。
(注意在邱奇原来的lambda演算中，lambda表达式的形式参数在函数体中至少出现一次，这使得我们无法像上面那样定义0)在邱奇整数定义的基础上，我们可以定义一个后继函数，它以n为参数，返回n + 1：
SUCC = λn.λf.λx.f(n f x)
加法是这样定义的：
PLUS = λm.λn.λf.λx.m f (n f x)
PLUS可以被看作以两个自然数为参数的函数，它返回的也是一个自然数。你可以试试验证
PLUS 2 3
与5是否等价。乘法可以这样定义：
MULT = λm.λn.m (PLUS n) 0,
即m乘以n等于在零的基础上m次加n。另一种方式是
MULT = λm.λn.λf.m (n f)
正整数n的前驱元（predecessesor）PRED n = n - 1要复杂一些：
PRED = λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λu.u)
或者
PRED = λn.n(λg.λk.(g 1) (λu.PLUS(g k) 1) k) (λl.0) 0
注意(g 1)(λu.PLUS(g k) 1) k表示的是，当g(1)是零时，表达式的值是k，否则是g(k)+ 1。
資料類型的編碼 > 逻辑与谓词

习惯上，下述两个定义（称为邱奇布尔值）被用作TRUE和FALSE这样的布尔值：
接着，通过这两个λ-项，我们可以定义一些逻辑运算：
我们现在可以计算一些逻辑函数，比如：
我们见到AND TRUE FALSE等价于FALSE。
“谓词”是指返回布尔值的函数。最基本的一个谓词是ISZERO，当且仅当其参数为零时返回真，否则返回假：
运用谓词与上述TRUE和FALSE的定义，使得"if-then-else"这类语句很容易用lambda演算写出。
資料類型的編碼 > 有序对

有序对（2-元组）数据类型可以用TRUE、FALSE和IF来定义。
链表数据类型可以定义为，要么是为空列表保留的值（e.g.FALSE），要么是CONS一个元素和一个更小的列表。
附加的編程技術

lambda演算出現在相當大量的編程習慣用法中，其中許多編程語言最初以lambda演算作為語義基礎，在此背景下開發的；有效地利用lambda演算作為基底。因為幾個編程語言部份含括了lambda演算（或者非常相似的東西），所以這些技術也可以在實際的編程中見到，但有可能被認為是模糊或外來的。
附加的編程技術 > 命名常數

在lambda演算中，函式庫將採用預先定義好的函數集合，其中lambda項僅僅是特定的常量。純粹的lambda演算法並不具有命名常數的概念，因為所有的原子λ項都是變量；但是在程序主體中，我們可將一個變量當成常量的名稱，利用lambda抽象把這個變量綁定，並將該lambda抽象應用於預期的定義，來模擬命名常量的作法。因此在N（“主程序”的另一個lambda項）中，要以f來表示M（一些明確的lambda項），則寫成如下：
作者經常引入類似如let的语法糖，允許以更直觀的次序撰寫上述內容：
通過等號鏈接這個命名常數，即可將lambda演算“編程”的一個lambda項，寫為零或多個函數的定義，而使用構成程序主體的那些函數。這個let顯著的限制，是在M中並沒有定義f名稱，因為M不在綁定f的lambda抽象範疇之內；這意味著遞歸函數定義不能以let來使用M。更進步的letrec語法糖允許以直覺的方式編寫遞歸函數定義，而不需用到不動點組合子。
附加的編程技術 > 递归與不動點

递归是使用函数自身的函数定义；在表面上，lambda演算不允许这样。但是这种印象是误解。考虑个例子，阶乘函数f(n)递归的定义为
在lambda演算中，你不能定义包含自身的函数。要避免这样，你可以开始于定义一个函数，这里叫g，它接受一个函数f作为参数并返回接受n作为参数的另一个函数：
函数g返回要么常量1，要么函数f对n-1的n次应用。使用ISZERO谓词，和上面描述的布尔和代数定义，函数g可以用lambda演算来定义。
但是，g自身仍然不是递归的；为了使用g来建立递归函数，作为参数传递给g的f函数必须有特殊的性质。也就是说，作为参数传递的f函数必须展开为调用带有一个参数的函数g -- 并且这个参数必须再次f函数!
换句话说，f必须展开为g(f)。这个到g的调用将接着展开为上面的阶乘函数并计算下至另一层递归。在这个展开中函数f将再次出现，并将被再次展开为g(f)并继续递归。这种函数，这裡的f = g(f)，叫做g的不动点，并且它可以在lambda演算中使用叫做悖论算子或不动点算子来实现，它被表示为Y -- Y组合子：
在lambda演算中，Y g是g的不动点，因为它展开为g(Y g)。现在，要完成我们对阶乘函数的递归调用，我们可以简单的调用 g(Y g)n，这裡的n是我们要计算它的阶乘的数。
比如假定n = 5，它展开为：
等等，递归的求值算法的结构。所有递归定义的函数都可以看作某个其他适当的函数的不动点，因此，使用Y所有递归定义的函数都可以表达为lambda表达式。特别是，我们现在可以明晰的递归定义自然数的减法、乘法和比较谓词。
附加的編程技術 > 標準化的組合子名稱

某一些lambda項有普遍接受的名稱：
其中有幾個在“消除lambda抽象”中有直接的應用，將lambda項變為組合演算的術語。
附加的編程技術 > 消除lambda抽象

如果N是一個沒有λ-抽象的lambda項，但可能包含了命名常量（組合子），則存在一個lambda項T(x,N)，這相同於一個缺少λ-抽象（除了作為命名常量的一部份，如果這些被認為是非原子的）的λx.N；也可以被視為匿名變量，就如同T(x,N)從N之中刪除所有出現的x，同時仍然允許在N包含x的位置替換參數值。
轉換函數T可由下式定義：
在這兩種情況下，形式T(x,N)P可藉由使初始的組合子I，K或S獲取參數P而化簡，
就像(λx.N) P經過β-歸約一樣。I返回那個參數。K則將參數拋棄，就像(λx.N)，如果x在N中不是以自由變量出現。S將參數傳遞給應用程序的兩個子句，然後將第一個結果應用到第二個的結果之上。
組合子B和C類似於S，但把參數傳遞給應用的一個子項（B傳給“參數”子項，而C傳給“函數”子項），如果子項中沒有出現x，則保存後續的K。與B和C相比，S組合子實際上混合了兩個功能：
重新排列參數，並複製一個參數，以便它可以在兩個地方使用。W組合子只做後者，產生了SKI组合子演算的B，C，K，W系統。
可计算函数和lambda演算

自然数的函数F: N → N是可计算函数，当且仅当存在着一个lambda表达式f，使得对于N中的每对x, y都有F(x) = y当且仅当f x == y，这裡的x和y分别是对应于x和y的邱奇数。这是定义可计算性的多种方式之一；关于其他方式和它们的等价者的讨论请参见邱奇-图灵论题。
lambda演算與編程語言 > 匿名函數

条目：匿名函数
比如计算平方的函数 square 在 Lisp 中可以表示为如下的 lambda 表达式
(lambda (x) (* x x))
符号 lambda 创建一个匿名函数，给定参数列表 (x) ，以及一个作为函数体的表达式 (* x x)。 匿名函数有时称为 lambda 表达式。
很多命令式语言都有函数指针或者类似的机制。但是函数指针并不是类型中的一等公民，函数是一等公民当且仅当函数可以在运行时创建。 下面一些语言支持函数的运行时创建： Smalltalk、 JavaScript、 Kotlin、 Scala、 Python3、 C# ("delegates")、 C++11等。
外部連結

L.Allison, Some executable λ-calculus examples （页面存档备份，存于）
Georg P.Loczewski, The Lambda Calculus and A++ （页面存档备份，存于）
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
人物介紹
神奇的λ演算 （页面存档备份，存于）
(译) The Y combinator (Slight Return)
Λ運算︰淵源介紹 （页面存档备份，存于）
DUT

DUT可以指：
大连理工大学（英語：）
被测器件（英語：）
丝柱柳

| 丝柱柳 |
| --- | --- |

科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 真双子叶植物 Eudicots
演化支：: 蔷薇类植物 Rosids
目：: 金虎尾目 Malpighiales
科：: 杨柳科 Salicaceae
属：: 柳属 Salix
种：: 喜马拉雅山柳 S. himalayensis
变种：: 丝柱柳 S. h. var. filistyla
三名法
Salix himalayensis var. filistyla (C. Wang & P. Y. Fu) C. F. Fang
丝柱柳（学名：）为杨柳科柳属下的一个变种。
NGC 2558

| NGC 2558 |
| --- | --- |

观测资料
參見：星系、星系列表
NGC 2558是位于巨蟹座的一个星系，于1787年由英籍德裔天文学家弗里德里希·威廉·赫歇尔发现。它的赤经为：819.4，赤纬为：20° 30′。
科里弗頓

科里弗頓是圭亞那的城鎮，由東伯比斯-科蘭太因區負責管轄，位於該國東北部，毗鄰與蘇里南接壤的邊境，距離首都喬治敦313公里，海拔高度3米，2002年人口11,574。
外部連結

GuyanaGuide.com （页面存档备份，存于）
06°00′N 57°08′W﻿ / ﻿6.000°N 57.133°W﻿ / 6.000; -57.133
布衣乐队

布衣乐队是中国大陆的一支乐队，1995年成立于宁夏银川。
成员

主唱／吉他：吴宁越
吉他／古筝：张巍
贝司：林那
鼓手：方方
专辑

《那么久》             2007-12-18  口袋唱片
《喝不完的酒Live》 2008-06-01  九洲音像
《秋天》                2010-11-18  口袋唱片
乐队年历

1995年：宁夏银川成立，同年赴北京迷笛音乐学校学习
1996年：赴京制作乐队第一张小样
1997年：为希望工程捐资义演，举行宁夏高校巡演，同年单曲《秋天》打上宁夏黄河风云榜。
1998年：在宁夏与科威特的流行乐队联合，为受水灾的国家重点文物保护单位西夏王陵捐资义演。
2000年：在北京参加“乐坛惊雷”大赛获第三名几及最佳主唱奖。同年与伟酷网站签约发表《秋天》、《自由的鸟》、《三十里铺》。
2000年：《秋天》、《自由的鸟》入选中央电视台四套的“新民乐”栏目。
2001年：获宁夏人民广播电台最佳原创乐队奖。
2002年：参加中国北京“迷迪音乐节”，参加大众音乐基金主办的“竖起耳朵”现场音乐系列。
2003年：摩登天空唱片公司badhead3民谣合辑《花园村》中发表单曲《秋天》。
2004年：
接受英国BBC电台专访；
参加中央台节目高歌《三十里铺》；
参加贺兰山“中国摇滚的光辉道路”大型音乐节演出；
参加midi音乐节，并被多家媒体看好，被评为“最被关注的民谣摇滚乐队”；
接受《音乐周刊》专访
组织并参加以宁夏原创音乐为主题“只有一个宁夏北京站”系列演出。
2005年：
继续参加“只有一个宁夏银川站”演唱会；
与唐朝、许巍、张楚等多位摇滚人共同录制纪念张炬合辑《礼物》，作品《为你唱》收录其中；
5月27日在京成功举办“布衣乐队十周年”纪念演出；
7月参加香港［Ｖ］音乐频道举办的杰克丹尼·非常音乐派对西安、贵阳、南宁布衣专场巡演；
8月参加在内蒙古举行的“格根塔拉草原摇滚音乐节”；
8月与罗琦超载张楚同台参加“绿色北京”露天音乐节；
再次受邀参加中国最大规模的“迷笛音乐节”
2006年：
4月2日布衣乐队受邀参加华语音乐盛典“百事音乐风云榜”颁奖盛典，乐队参与录制的合辑唱片《礼物》囊括本届盛典[2005内地最佳歌曲奖]，[最佳摇滚歌曲]，[最佳摇滚专辑]，[最佳作词]四项大奖；
与中唱嘉年公司签署乐队作品海外发行合约；
举办布衣乐队成立十一周年纪念演出；
6月与日本著名音乐人Funky一同为电影《疯狂的石头》创作电影音乐；
9月8日参加北京朝阳公园流行音乐节，同台演出的还有英国著名乐队placebo。
10月受邀参加在北京雕塑公园举行的“摇滚啤酒音乐节”
10月日本巡演。
11月参与喜剧电影《大电影之数百亿》的电影音乐创作。
2007年：
受邀请参加宁夏啤酒节
10月3日受邀参加摩登音乐节。
10月6日受邀参加雪山音乐节大型演出。
11月10日受邀参加天津音乐节。
12月 发行首张专辑《那么久》
2008年：
5月发行 现场cd专辑 喝不完的酒
6月 与郑钧 苏阳 出演北展演出季
8月 为电影“羊肉泡馍麻辣烫”谱写片尾曲
10月 参加厦门海滩音乐节
11月 发行现场DVD 喝不完的酒
2009年：
1月 参加2009宁夏春节联欢晚会
2月 接受美国CNN“亚洲名人聊天室”栏目的专访
3月 发行网络EP “之前”
5月 参加重庆武隆山仙女峰音乐节
5月 参加西安张冠李戴音乐节
6月 助阵“亚洲熄灯两小时”环保行动
7月 赴台北参加台湾“海洋音乐祭”
7月 受邀担当赵传北京演唱发布会的演出嘉宾
7月 参加第二届“绿色旗帜”音乐节
8月 云南巡演
9月 发行乐队第二张录音棚专辑《布衣》
希普利 (英國國會選區)

希普利（英語：），英國國會一郡選區，包括英格蘭約克郡-亨伯西約克郡西北部、布拉德福德市中部六個地方選區。
創設於1885年，1930年恢復以來多數支持保守黨。在2010年大選中現任的菲利浦·戴維斯以48.6%選票成功連任。
福建省科学技术协会

| 主要领导> 机构概况 |
| --- | --- |
上级机构: 中国科学技术协会
机构类型: 人民团体
行政级别: 正厅级
组织法规: 中国科学技术协会章程
上级中共组织: 中国共产党福建省委员会
本级中共组织: 中国共产党福建省科学技术协会党组
福建省科学技术协会，简称福建省科协，是中华人民共和国福建省科学技术工作者组成的专业性人民团体，是中国科学技术协会的地方组织，受中国共产党福建省委员会的领导。
HD 27650

| 觀測資料 曆元 J2000> 0 |
| --- | --- |
星座: 星座名待查
星官: 
赤經: 4h 23m 35.9s
赤緯: +42° 25′ 41″
視星等（V）: 6.23
特性
光谱分类: A1pSi
U−B 色指数: -0.15
B−V 色指数: 0
R−I 色指数: 
天体测定

徑向速度 (Rv): -0.15 km/s
自行 (μ):  赤经：-12 mas/yr   赤纬：- mas/yr 
视差 (π): 0.002 mas
距离: 1630781.9 ly  (500000 pc)

其他命名
 BD+42 946，SAO 39501，HD 27650，HR 1371 
參考資料庫
SIMBAD: 资料
HD 27650，又名BD+42 946，SAO 39501、HR 1371，是一颗恒星，视星等为6.23，位于銀經159.24，銀緯-5.01，其B1900.0坐标为赤經4h 16m 38s，赤緯+42° -5.01′ 38″。
离宫四

| --- | --- |
  离宫四在飞马座的位置
觀測資料 曆元 J2000.0
星座: 飞马座
星官: 室宿 离宫
赤經: 22h 43m 00.13743s
赤緯: +30° 13′ 16.4822″
視星等（V）: +2.95
特性
光谱分类: G2 II + F0 V
U−B 色指数: +0.57
B−V 色指数: +0.86
天体测定

徑向速度 (Rv): +4.3 km/s
自行 (μ):  赤经：–100.06 mas/yr   赤纬：+15.46 mas/yr 
视差 (π): 19.51 ± 0.18 mas
距离: 167 ± 2 ly  (51.3 ± 0.5 pc)
绝对星等 (MV): –1.18

軌道
繞行週期 (P): 813 天
偏心率 (e): 0.183
近心点 曆元 (T): 2452025 HJD
近心點幅角 (ω) (secondary): 344.7°
半振幅 (K1) (primary): 14.37 km/s
詳細資料 
η Peg A
質量: 3.82 ± 0.52 M☉
半徑: 18 R☉
表面重力 (log g): 2.40
亮度: 247 L☉
溫度: 5,450 K
金属量 [Fe/H]: +0.39 dex
自轉: 818
自轉速度 (v sin i): 1.4 km/s

其他命名
 Matar, 44 Peg, FK5 857, HD 215182, HIP 112158, HR 8650, SAO 90734. 
离宫四，即飞马座η（η Peg，η Pegasi）是一个位于飞马座的双星系统，距离地球约167光年。
特征

离宫四的视星等为+2.95， 是飞马座第五亮的恒星。根据视差测量，它距离地球约167光年（51秒差距）。
离宫四由一对联星组成，两颗恒星相互旋转的周期为813天，轨道离心率为0.183。 其中较亮的主星是一颗亮巨星，恒星光谱为G2 II， 质量是太阳质量的4倍。 通过干涉测量并矫正周边昏暗后测量出这颗恒星的角直径为3.26 ± 0.07角分， 这意味着在距离地球167光年的实际位置上，它的半径约为太阳半径的18倍。 它的亮度是太阳亮度的247倍， 表面温度为5,450K。 这颗恒星的自转比较慢，视向自转速度为1.7 km·s–1，自转周期约为818天。 离宫四的伴星是一颗F-型主序星，恒星光谱为F0 V.。在天球投影上，这对联星附近还有两颗G型恒星，目前尚不知道是否和这对联星有物理联系。
离宫四和危宿一（宝瓶座α）、虚宿一（宝瓶座β）三颗中等质量的恒星组成一个恒星群落，它们在星际运动的方向垂直于银河面。
命名

离宫四在西方的传统名字为Matar，来自于阿拉伯语Al Saʽd al Maṭar（‎），意思为“幸运雨之星”。在中国古代星官系统中，离宫四属于北方玄武七宿中室宿离宫（表示皇帝的行宫）第四星，这也是离宫四名字的来由。
大众文化

美国海军有一艘货船“USS Matar (AK-119)”是以离宫四的英文名Maṭar命名。