hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
豪尔赫·拉斐尔·魏地拉 卸任后
1985年，魏地拉以反人类罪被判处终身监禁。1990年，总统卡洛斯·萨乌尔·梅内姆為了爭取右派的支持，特赦魏地拉及其他军政府獨裁统治时期的领导人。1998年魏地拉再度被軟禁家中。2007年，这个赦免令被宣布无效。魏地拉随后被逮捕。
2010年12月22日，法院认定他在总统任期内下令虐待和杀害31名政治犯，及因「偷嬰案」被判處50年監禁。控罪指他在執政期間指揮偷走政治犯的嬰兒，相信至少400名嬰兒在他們的父母被關押期間被人抱走。至今已有100多名被認領的異見人士孩子與親生父母團聚。因而犯有反人类罪，再次判处他入獄五十年。
2013年5月17日，魏地拉在監獄中病逝。秘密安葬於皮拉爾的公墓。
Λ演算
λ演算（英語：lambda calculus，λ-calculus）是一套從數學邏輯中發展出的形式系統，以變數綁定和替換的規則，來研究函式如何抽象化定義、函式如何被應用以及遞迴。它由數學家阿隆佐·邱奇在20世紀30年代首次發表。lambda演算作為一種廣泛用途的計算模型，可以清晰地定義什麼是一個可計算函式，而任何可計算函式都能以這種形式表達和求值，它能模擬單一磁帶图灵机的計算過程；儘管如此，lambda演算強調的是變換規則的運用，而非實現它們的具體機器。
lambda演算可比擬是最根本的編程語言，它包括了一條變換規則（變數替換）和一條將函式抽象化定義的方式。因此普遍公認是一種更接近軟體而非硬體的方式。對函數式編程語言造成很大影響，比如Lisp、ML语言和Haskell语言。在1936年邱奇利用λ演算給出了對於判定性問題（Entscheidungsproblem）的否定：關於兩個lambda運算式是否等價的命題，無法由一個「通用的演算法」判斷，這是不可判定效能夠證明的頭一個問題，甚至還在停机问题之先。
Λ演算
lambda演算包括了建構lambda項，和對lambda項執行歸約的操作。在最簡單的lambda演算中，只使用以下的規則來建構lambda項：
產生了諸如：(λx.λy.(λz.(λx.zx)(λy.zy))(x y))的表達式。如果表達式是明確而沒有歧義的，則括號可以省略。對於某些應用，其中可能包括了邏輯和數學的常量以及相關操作。
本文討论的是邱奇的“无类型lambda演算”，此后，已经研究出来了一些有类型lambda演算。
Λ演算 解释与应用
λ演算是图灵完备的，也就是说，这是一个可以用于模拟任何图灵机的通用模型。 λ也被用在λ表达式和λ项中，用来表示将一个变量绑定在一个函数上。
λ演算可以是有类型或者无类型的，在有类型λ演算中（上文所述是无类型的），函数只能在参数类型和输入类型符合时被应用。有类型λ演算比无类型λ演算要弱——后者是这个条目的主要部分——因为有类型的λ运算能表达的比无类型λ演算少；与此同时，前者使得更多定理能被证明。例如，在简单类型λ演算中，运算总是能够停止，然而无类型λ演算中这是不一定的（因为停机问题）。目前有许多种有类型λ演算的一个原因是它们被期望能做到更多（做到某些以前的有类型λ演算做不到的）的同时又希望能用以证明更多定理。
λ演算在数学、哲学、语言学和计算机科学中都有许多应用。它在程式語言理論中占有重要地位，函数式编程实现了λ演算支持。λ演算在范畴论中也是一个研究热点。
Λ演算 历史
作为对数学基础研究的一部分，数学家阿隆佐·邱奇在20世纪30年代提出了λ演算。 但最初的λ演算系统被证明是逻辑上不自洽的——在1935年斯蒂芬·科尔·克莱尼和J. B. Rosser举出了Kleene-Rosser悖论。
随后，在1936年邱奇把那个版本的关于计算的部分抽出独立发表—现在这被称为无类型λ演算。 在1940年，他创立了一个计算能力更弱但是逻辑上自洽的系统，这被称为简单类型λ演算。
直到1960年，λ演算与编程语言的关系被确立了；在这之前它只是一个范式。由于理查德·蒙塔古和其他语言学家将λ演算应用于自然语言语法的研究，λ演算已经开始在语言学和计算机科学学界拥有一席之地。
至于为何邱奇选择λ作为符号，连他本人的解释也互相矛盾：最初是在1964年的一封信中，他明确解释称这是来源于《数学原理》一书中的类抽象符号（脱字符），为了方便阅读，他首先将其换成逻辑与符号（）作为区分，然后又改成形状类似的λ。他在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)，则明显地，下述三个表达式：
(λf.f 3)(λx.x+2) 与 (λx.x + 2) 3 与 3 + 2
Λ演算 非形式化的直覺描述
是等价的。有两个参数的函数可以通过lambda演算这樣表达：一个单一参数的函数，它的返回值又是一个单一参数的函数（参见柯里化）。例如，函数f(x, y) = x - y可以写作λx.λy.x - y。下述三个表达式：
(λx.λy.x - y) 7 2 与 (λy.7 - y) 2 与 7 - 2
也是等价的。然而这种lambda表达式之间的等价性，无法找到某个通用的函数来判定。
并非所有的lambda表达式都能被歸约至上述那样的确定值，考虑
(λx.x x)(λx.x x)
或
(λx.x x x)(λx.x x x)
然后试图把第一个函数作用在它的参数上。(λx.x x)被称为ω 组合子，((λx.x x)(λx.x x))被称为Ω，而((λx.x x x) (λx.x x x))被称为Ω2，以此类推。若仅形式化函数作用的概念而不允许lambda表达式，就得到了组合子逻辑。
Λ演算 非形式化的直覺描述
在數學和計算機科學中，「可計算的」函式是基礎觀念。對於所謂的可計算性，λ-演算提供了一個簡單明確的語義，使計算的性質可以被形式化研究。λ-演算結合了兩種簡化方式，使得這個語義變得簡單。第一種簡化是不給予函式一個確定名稱，而“匿名”地對待它們。例如，兩數的平方和函式
可以用匿名的形式重新寫為：
（理解成一包含x和y的數組被映射到）
同樣地，
可以用匿名的形式重新寫為：
（即輸入是直接對應到它本身。）
第二個簡化是λ演算只使用單一個參數輸入的函數。如果普通函數需要兩個參數，例如函數，可轉成接受單一參數，傳給另一個函數中介，而中介函數也只接受一個參數，最後輸出結果。例如，
可以重新寫成：
這是稱為柯里化的方法，將多參數的函數轉換成為多個中介函數的複合鏈，每個中介函數都只接受一個參數。
將函數應用於參數(5,2)，直接產生結果
,
而對於柯里化轉換版的評估，需要再多一步：
//在內層表達式中的定義為，這就像β-歸約一樣。
//的定義為，再次如同β-歸約。
得出相同結果。
Λ演算 非形式化的直覺描述
lambda演算是由特定形式語法所組成的一種語言，一組轉換規則可操作其中的lambda項。這些轉換規則被看作是一個等式理論或者一個操作定義。如上節所述，lambda演算中的所有函數都是匿名的，它們沒有名稱，它們只接受一個輸入變量，柯里化用於實現有多個輸入變量的函數。
lambda演算的語法將一些表達式定義為有效的lambda演算式，而某一些表達式無效，就像C編程語言中有些字串有效，有些則不是。有效的lambda演算式稱為“lambda項”。
以下三個規則給出了語法上有效的lambda項，如何建構的歸納定義：
其它的都不是lambda項。因此，lambda項若且唯若可重複應用這三個規則取得時，才是有效的。一些括號根據某些規則可以省略。例如，最外面的括號通常不會寫入。
“lambda抽象”是指一個匿名函數的定義，它將單一輸入的替換成的表達式，所以產生了一個匿名函數，它採用的值並返回。例如，是表示使用函數作為項的一個lambda抽象。lambda抽象只是先“設置”了函數定義，還沒使用它。這個抽象在項中綁定了變量。一個應用表示將函數應用在輸入，亦即對輸入使用函數產生。
Λ演算 非形式化的直覺描述
lambda演算中並沒有變量聲明的概念。如（即）的定義中，lambda演算將當作尚未定義的變量。lambda抽象在語法上是有效的，並表示將其輸入添加到未知的函數。
可用圓括弧對來消除歧義。例如，和表示不同的項（儘管它們剛好化簡到相同值）。這裡第一個例子定義了一個包含子函數的抽象，並將子函數應用於x（先應用後傳回）的結果；而第二個例子定義了一個傳回任何輸入的函數，然後在應用過程中傳回對輸入為x的應用（返回函數然後應用）。
在lambda演算中，函數被認為是頭等物件，因此函數可以當作輸入，或作為其它函數的輸出返回。
例如，表示映射到本身的函數，和表示將這個函數應用於。此外，則表示無論輸入為何，始終返回值的常數函數。lambda演算中的函數應用是左結合的，因此表示。
有幾個“等價”和“化簡”的概念，允許將各個lambda項“縮減”為“相同”的lambda項。
Λ演算 非形式化的直覺描述
對於lambda項，等價的基本形式定義，是-等價。它捕捉了直覺概念，在lambda抽象中一個綁定變量的特別選擇（通常）並不重要。
比如，和是-等價的lambda項，它們都表示相同的函數（自映射函數）；但如和項則不是-等價的，因為它們並非以lambda抽象方式綁定的。
在許多演示中，通常會確定-等價的lambda項。
為了能夠定義-歸約，需要以下定義：
所謂的自由變量是那些在lambda抽象不受到綁定的變量。表達式中的一組自由變量定義歸納如下：
例如，代表映射自身的，其中的lambda項沒有自由變量，但是在函數中的lambda項，有一個自由變量。
假設，和是lambda項，而和是變量。如果寫成是一種避免被捕獲的記法方式，表示在這個lambda項中，以來替換變量的值。這定義為：
例如，
和。
新鮮度條件（要求不在lambda項中的自由變量中）對於確保替換不會改變函數的意義很重要。例如，忽視新鮮度條件的替代：。此替換會將原本意義為常量函數的，轉換成意義為映射自身函數的。
一般來說，在無法滿足新鮮度條件的情況，可利用-重新命名使用一個合適的新變量來補救，切換回正確的替換概念；比如在中，使用一個新變量重新命名這個lambda抽象，獲取，則替換就能保留原本函數的義涵。
β-歸約規定了形式如的應用，可以化簡成項。符號記法用於表示 經過β-歸約轉換為。例如，對於每個，可轉換為。這表明實際上的應用是映射自身函數。同樣地，，表明了是一個常量函數。
lambda演算可視為函數式編程語言的理想化版本，如Haskell或ML語言。在這種觀點下，β-歸約對應於一組計算步驟。
這個步驟重複應用β-轉換，一直到沒有東西能再被化簡。在無型別lambda演算中，如本文所述，這個歸約過程可能無法終止，
比如，是個特殊的lambda項。這裡

也就是說，該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表达式的结构归纳地）定义的：
Λ演算 形式化定义
例，对于表达式λ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-归约规则”。
Λ演算 歸約
歸約的操作包括：
Alpha-变换规则表达的是，被绑定变量的名称是不重要的。比如说λx.x和λy.y是同一个函数。尽管如此，这条规则并非像它看起来这么简单，关于被绑定的变量能否由另一个替换有一系列的限制。
Alpha-变换规则陈述的是，若V与W均为变量，E是一个lambda表达式，同时E[V:=W]是指把表达式E中的所有的V的自由出现都替换为W，那么在W不是
E中的一个自由出现，且如果W替换了V，W不会被E中的λ绑定的情况下，有
λV.E == λW.E[V:=W]
这条规则告诉我们，例如λx.(λx.x) x这样的表达式和λy.(λx.x) y是一样的。
Beta-归约规则表达的是函数作用的概念。它陈述了若所有的E'的自由出现在E [V:=E']中仍然是自由的情况下，有
((λV.E) E') == E [V:=E']
成立。
==关系被定义为满足上述两条规则的最小等价关系（即在这个等价关系中减去任何一个映射，它将不再是一个等价关系）。
Λ演算 歸約
对上述等价关系的一个更具操作性的定义可以这样获得：只允许从左至右来应用规则。不允许任何beta归约的lambda表达式被称为Beta范式。并非所有的lambda表达式都存在与之等价的范式，若存在，则对于相同的形式参数命名而言是唯一的。此外，有一个算法用户计算范式，不断地把最左边的形式参数替换为实际参数，直到无法再作任何可能的规约为止。这个算法当且仅当lambda表达式存在一个范式时才会停止。Church-Rosser定理说明了，当且仅当两个表达式等价时，它们会在形式参数换名后得到同一个范式。
前两条规则之后，还可以加入第三条规则，eta-变换，来形成一个新的等价关系。Eta-变换表达的是外延性的概念，在这里外延性指的是，对于任一給定的参数，当且仅当两个函数得到的结果都一致，則它们將被視同為一个函数。Eta-变换可以令  和  相互转换，只要  不是  中的自由變量。下面说明了为何这条规则和外延性是等价的：
若  与  外延地等价，即， 对所有的  表达式 成立，则当取  为在  中不是自由出现的变量 时，我们有，因此 ，由eta-变换f == g。所以只要eta-变换是有效的，会得到外延性也是有效的。
相反地，若外延性是有效的，则由beta-归约，对所有的y有(λx .f x) y == f y，可得λx .f x == f，即eta-变换也是有效的。
Λ演算 資料類型的編碼
基本的lambda演算法可用於建構布林值，算術，資料結構和遞歸的模型，如以下各小節所述。
在lambda演算中有许多方式都可以定义自然数，但最常见的还是邱奇数，下面是它们的定义：
以此类推。直观地说，lambda演算中的数字n就是一个把函数f作为参数并以f的n次幂为返回值的函数。换句话说，邱奇整数是一个高阶函数 -- 以单一参数函数f为参数，返回另一个单一参数的函数。
(注意在邱奇原来的lambda演算中，lambda表达式的形式参数在函数体中至少出现一次，这使得我们无法像上面那样定义0)在邱奇整数定义的基础上，我们可以定义一个后继函数，它以n为参数，返回n + 1：
加法是这样定义的：
PLUS可以被看作以两个自然数为参数的函数，它返回的也是一个自然数。你可以试试验证
与5是否等价。乘法可以这样定义：
即m乘以n等于在零的基础上m次加n。另一种方式是
Λ演算 資料類型的編碼
正整数n的前驱元（predecessesor）PRED n = n - 1要复杂一些：
或者
注意(g 1)(λu.PLUS(g k) 1) k表示的是，当g(1)是零时，表达式的值是k，否则是g(k)+ 1。
习惯上，下述两个定义（称为邱奇布尔值）被用作TRUE和FALSE这样的布尔值：
TRUE := λx.λy.x
FALSE := λx.λy.y
(注意FALSE等价于前面定义邱奇数零)
接着，通过这两个λ-项，我们可以定义一些逻辑运算：
AND := λp q.p q FALSE
OR := λp q.p TRUE q
NOT := λp.p FALSE TRUE
IFTHENELSE := λp x y.p x y
我们现在可以计算一些逻辑函数，比如：
AND TRUE FALSE
≡(λp q.p q FALSE) TRUE FALSE →β TRUE FALSE FALSE
≡(λx y.x) FALSE FALSE →β FALSE
Λ演算 資料類型的編碼
我们见到AND TRUE FALSE等价于FALSE。
“谓词”是指返回布尔值的函数。最基本的一个谓词是ISZERO，当且仅当其参数为零时返回真，否则返回假：
ISZERO := λn.n (λx.FALSE) TRUE
运用谓词与上述TRUE和FALSE的定义，使得"if-then-else"这类语句很容易用lambda演算写出。
有序对（2-元组）数据类型可以用TRUE、FALSE和IF来定义。
CONS := λx y.λp.IF p x y
CAR := λx.x TRUE
CDR := λx.x FALSE
链表数据类型可以定义为，要么是为空列表保留的值（e.g.FALSE），要么是CONS一个元素和一个更小的列表。
Λ演算 附加的編程技術
lambda演算出現在相當大量的編程習慣用法中，其中許多編程語言最初以lambda演算作為語義基礎，在此背景下開發的；有效地利用lambda演算作為基底。因為幾個編程語言部份含括了lambda演算（或者非常相似的東西），所以這些技術也可以在實際的編程中見到，但有可能被認為是模糊或外來的。
在lambda演算中，函式庫將採用預先定義好的函數集合，其中lambda項僅僅是特定的常量。純粹的lambda演算法並不具有命名常數的概念，因為所有的原子λ項都是變量；但是在程序主體中，我們可將一個變量當成常量的名稱，利用lambda抽象把這個變量綁定，並將該lambda抽象應用於預期的定義，來模擬命名常量的作法。因此在N（“主程序”的另一個lambda項）中，要以f來表示M（一些明確的lambda項），則寫成如下：
(λf.N) M
作者經常引入類似如let的语法糖，允許以更直觀的次序撰寫上述內容：
let f = M in N
Λ演算 附加的編程技術
通過等號鏈接這個命名常數，即可將lambda演算“編程”的一個lambda項，寫為零或多個函數的定義，而使用構成程序主體的那些函數。這個let顯著的限制，是在M中並沒有定義f名稱，因為M不在綁定f的lambda抽象範疇之內；這意味著遞歸函數定義不能以let來使用M。更進步的letrec語法糖允許以直覺的方式編寫遞歸函數定義，而不需用到不動點組合子。
递归是使用函数自身的函数定义；在表面上，lambda演算不允许这样。但是这种印象是误解。考虑个例子，阶乘函数f(n)递归的定义为
f(n):= if n = 0 then 1 else n·f(n-1)。
在lambda演算中，你不能定义包含自身的函数。要避免这样，你可以开始于定义一个函数，这里叫g，它接受一个函数f作为参数并返回接受n作为参数的另一个函数：
g := λf n.(if n = 0 then 1 else n·f(n-1))。
函数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组合子：
Y = λg.(λx.g(x x))(λx.g(x x))
在lambda演算中，Y g是g的不动点，因为它展开为g(Y g)。现在，要完成我们对阶乘函数的递归调用，我们可以简单的调用 g(Y g)n，这裡的n是我们要计算它的阶乘的数。
比如假定n = 5，它展开为：
(λn.(if n = 0 then 1 else n·((Y g)(n-1)))) 5
if 5 = 0 then 1 else 5·(g(Y g，5-1))
5·(g(Y g)4)
Λ演算 附加的編程技術
5·(λn.(if n = 0 then 1 else n·((Y g)(n-1))) 4)
5·(if 4 = 0 then 1 else 4·(g(Y g，4-1)))
5·(4·(g(Y g)3))
5·(4·(λn.(if n = 0 then 1 else n·((Y g)(n-1))) 3))
5·(4·(if 3 = 0 then 1 else 3·(g(Y g，3-1))))
5·(4·(3·(g(Y g)2)))
...
等等，递归的求值算法的结构。所有递归定义的函数都可以看作某个其他适当的函数的不动点，因此，使用Y所有递归定义的函数都可以表达为lambda表达式。特别是，我们现在可以明晰的递归定义自然数的减法、乘法和比较谓词。
某一些lambda項有普遍接受的名稱：
I := λx.x
K := λx.λy.x
S := λx.λy.λz.x z (y z)
B := λx.λy.λz.x (y z)
C := λx.λy.λz.x z y
W := λx.λy.x y y
U := λx.λy.y (x x y)
ω := λx.x x
Ω := ω ω
Λ演算 附加的編程技術
Y := λg.(λx.g (x x)) (λx.g (x x))
其中有幾個在“消除lambda抽象”中有直接的應用，將lambda項變為組合演算的術語。
如果N是一個沒有λ-抽象的lambda項，但可能包含了命名常量（組合子），則存在一個lambda項T(x,N)，這相同於一個缺少λ-抽象（除了作為命名常量的一部份，如果這些被認為是非原子的）的λx.N；也可以被視為匿名變量，就如同T(x,N)從N之中刪除所有出現的x，同時仍然允許在N包含x的位置替換參數值。
轉換函數T可由下式定義：
T(x, x) := I
T(x, N) := K N if x is not free in N.
T(x, M N) := S T(x, M) T(x, N)
在這兩種情況下，形式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 表达式。
很多命令式语言都有函数指针或者类似的机制。但是函数指针并不是类型中的一等公民，函数是一等公民当且仅当函数可以在运行时创建。 下面一些语言支持函数的运行时创建： Smalltalk、 JavaScript、 Kotlin、 Scala、 Python3、 C# ("delegates")、 C++11等。
刺莧
刺莧（学名：），又名竻苋菜（岭南采药录）、勒苋菜（广东），是一种野生苋菜，属莧科莧属，可以食用，但在許多地區都是入侵物種。
刺莧 分佈
刺莧原產於美洲熱帶地區，但現在已被引入世界各地，有些時候甚至在被引入地當做毒草來對待。在亞洲的稻米種植業中是危害極大的一種雜草。
除去原產地以外，刺莧還分布在印度、日本、台湾岛、菲律宾、中南半岛、马来西亚以及中国大陆的福建、河南、云南、江苏、浙江、广东、四川、贵州、陕西、安徽、湖南、湖北、广西、江西等地，生长于海拔350米至1,500米的地区，喜生長在乾燥荒地，及园圃的杂草。
刺莧 食用
在非洲，刺莧和同屬的其他幾種植物一樣屬於珍貴的食用植物。在泰國菜中，刺莧做出來的一道菜被稱作phak khom（泰語：），在泰米爾語中被叫做mullik keerai，梵語中則是tanduliyaka。菲律賓人也會用刺莧來做菜，他們將其稱為kulitis。在迪維希語中，刺莧的葉子被稱為massaagu，馬爾代夫的人們數個世代以來都用於食物。
茵蔯蒿
茵陈蒿（學名：Artemisia capillaris），是菊科蒿属的植物。多年生木狀草本，通常生長在海邊的旱生沙地上。其幼苗干燥后是一种中草药；作为中草药，與同科的“滨蒿”（Artemisia scoparia）共稱為“茵陈”。亦寫作「茵陳」、「茵陳蒿」。
茵蔯蒿 型態
茎呈圆柱形，多分枝，长30-100厘米，直径2～8厘米，表面淡紫色或紫色，有纵条纹，体轻，质脆。绵茵陈多卷曲成团状，灰白色或灰绿色。茵陈蒿叶密集，或多脱落。下部叶二至三回羽状深裂，裂片条形或细条形，茎生叶一至二回羽状全裂，基部抱茎，裂片细丝状；头状花序卵形，多数集成圆锥状，长1.2～1.5mm，直径1～1.2mm，有短梗；总苞片3～4层，卵形，苞片3裂；外层雌花6～10个，可多达15个，内层两性花2～10个；瘦果长圆形，黄棕色。
茵蔯蒿 藥用成分
是治療肝病的重要中藥。入药部分为全草乾幼苗， 含有6,7-二甲基七叶树内酯(6,7-dimethylsculetin)、α-蒎烯(α-pinene)、茵陈二炔酮(capillin)、茵陈烯块(capillene)等化学成分。
茵蔯蒿 中醫所用的茵陳
「茵陳蒿」，始見於《神農本草經》。根據《中國藥典》記載，「茵陳」為菊科植物滨蒿（豬毛蒿）（Artemisia scoparia Waldst.et Kit.）或茵陳蒿（Artemisia capillaries Thunb.）的乾燥地上部分。春季幼苗高6－10cm時採收的習稱「綿茵陳」（即濱蒿與茵陳蒿帶有白色或灰白色絨毛的植物幼苗）。
中医认为气芳香，味苦微寒，归脾、胃、肝、胆经，有清湿热，退黄疸的功效。用来主治黄疸尿少、湿疮瘙痒、黄疸型传染性肝炎等症状。用量一般为10－15克。
中醫師認為茵陳可促進膽汁分泌，有利膽作用，故能退黃；另外，膽汁可刺激肝細胞再生，對保護肝臟非常重要，是保護肝細胞的良藥。現代藥理研究也證明，茵陳有顯著利膽、解熱、保肝、降血壓效果，對結核菌也有抑制作用。
台灣的中藥舖所售的茵陳，有「綿茵陳」與「北茵陳」兩類。北茵陳是唇形科植物牛至（Origanum vulgare L.）的乾燥帶花枝葉。臺灣市售茵陳藥材中，北茵陳佔多數。此可能是地區用藥習慣。北茵陳，有清暑解表，利水消腫的功能，民間常作為利尿、發汗劑，與具有清熱利濕作用，為治療黃疸要藥的綿茵陳在功效上有所不同。
茵蔯蒿 其他用途
在過去蚊香和殺蟲劑未普及時，老一輩的人常將茵蔯蒿的莖葉曬乾，扎成一束，放在打過洞的鐵罐裡，傍晚時分在房間或禽畜的欄圈裡點燃，用以驅蚊。
茵蔯蒿 延伸阅读
[在维基数据编辑]
《植物名實圖考·茵陳蒿》，出自吳其濬《植物名實圖考》
天使在美国
《天使在美国》（又译《美国天使》，英文原名Angels in America: A Gay Fantasia on National Themes，简称Angels in America），是美国剧作家托尼·库士纳创作的一部共两部分的戏剧，後来又被改编为电视连续短剧和歌剧。
天使在美国 剧情概述
故事发生於20世纪80年代中期的纽约，《千禧年降临》的第一幕介绍了中心人物路易·爱恩森（Louis Ironson）。他是一名神经质的犹太人，与同性恋爱人HIV携带者普莱尔·沃尔特（Prior Walter）住在一起。普莱尔後来发现自己艾滋病病发，随着他病情的逐渐恶化，路易无法承受住巨大的情感压力便搬离了两人的共同住处。与此同时，在城市中另一方，有一位名为乔·皮特（Joe Pitt）的共和党律师，一位摩门教徒，在尽力压制自己的同性恋倾向。他的导师罗依·康给了他一次很大的升职机会，乔没有立即接受，接受这次升职意味着他和妻子得搬家，他得征求他的妻子的意见。他的妻子有安定药物依赖和旷野恐惧症，她拒绝搬迁。。罗伊本人也是未出柜的同性恋者，新进也被诊断为艾滋病。
天使在美国 剧情概述
随着剧情发展，普莱尔发现经常有鬼魂和天使来拜访他，还被这些人称为先知；乔在自己的宗教信仰和性取向的矛盾中痛苦挣扎；路易十分後悔抛弃了爱人，时刻受到良心的折磨；乔的妈妈汉娜（Hannah）得知儿子是同性恋後搬到纽约，要照顾儿媳；而罗依·康本人也是一位同志，因为艾滋病住进了医院，负责护理他的护士是一位名为伯利兹（Belize）的黑人同志，他是普莱尔的好友，原来从事过女装表演；最后，原来冷战时期因为罗依·康的幕後操纵而被美国司法处以极刑的共产党人艾瑟尔·罗森堡也化为鬼魂来報復他。
全剧充满了黑色幽默与悲剧色彩，对白极为出色，在一些需要特殊效果衬托的地方展现出很浓的戏剧风格。大多数演员都一人分饰几角，比如扮演普莱尔的护士的演员，也同时扮演美国天使。剧中对圣经和美国政治、经济、文化、种族、环境现象有非常多的引用，也有发生在南极和天堂的戏份，也涉及了旧金山的大地震与纽约中央公园中的毕士大（Bethesda）天使像。
很多观众与评论家都认为此剧是美国近年来最有影响力的戏剧之一。
天使在美国 制作历史
第一部分名为《千禧年降临》（Millenium Approaches），由Eureka Thretre Company of San Francisco於1991年5月上演，导演是David Esbjornson，由剧作者本人和长期合作伙伴Mark Taper Forum of Los Angeles共同改编。1992年1月，此剧於伦敦一家皇家国家剧院首演，导演是迪克蘭‧唐納倫，后来持续上演了一年。
第二部分名为《重建》（Perestroika），在第一部分上演时仍然在编写过程中。后来以读剧形式上演了几次，分别在Eureka Theatre（第一部分上演时）和Mark Taper Forum（1992年五月）登场。1992年11月，此部分在伦敦国家剧院首演，仍然由Declan Donnellan导演，於再版的《千禧年降临》同为保留换演剧目。
1993年此剧在百老汇首演，地点是Walter Kerr Theatre。5月《千禧年降临》上演，11月《重建》也加入了剧目中。
此剧两部分一共持续大约7小时长。
天使在美国 戏剧奖项
最后，文学评论家Harold Bloom在1994年出版了一本有争议的书《The Western Canon》，书中他列举了自己认为文学史上最重要的一些作品，此剧就正好列在了最后一位。
天使在美国 HBO的连续短剧
2003年，HBO电影台将此剧拍摄成为一部电视连续短剧，托尼·库士纳负责改编自己的剧本，迈克·尼克尔斯导演。HBO将此剧分为不同格式播出：大的部分有两个，分别三小时长，对应《千禧年降临》和《重建》两个部分，其中每一小时为一章，对应戏剧中某一两幕。前三章於12月7日首映，在全世界范围内都广受好评。《天使在美国》是2003年收视率最高的有线电视台电视电影/连续短剧类节目，并赢得了接下来的金球奖和艾美奖最佳连续短剧奖。
豆科
豆科（學名：，替換名：、）又名蝶形花科、蘇木科、含羞草科，屬於真雙子葉植物豆目，约有800屬19,325種。為被子植物中相當龐大的一科，占了已知開花植物物種的7%。部分物種在經濟上具有重要地位，該科成員形態上包含喬木、灌木，也有多年生或一年生草本植物。該科成員最顯著的特徵是會結豆莢。成員具複葉及托葉。該科成員分布廣泛，為目前已知陸生植物中第三大科，僅次於蘭科及菊科。目前該科已知有765屬，約19,500餘種。其中最大的五屬分別為黃芪屬（Astragalus，逾3,000種）、相思樹屬（Acacia，逾1000種）、木藍属（Indigofera，約700種）、豬屎豆屬（Crotalaria，約700種）、含羞草屬（Mimosa，約500種），這五大屬占了該科物種的四分之一。豆科也是非洲及美洲熱帶雨林和沙漠氣候中，最常見的科別。系統分類學分析認為該科最接近同屬於豆目的遠志科、海人樹科，以及皂皮樹科。中國大陸有172屬，1485種，13亞種，153變種，16變型。臺灣豆科自生及歸化的有79屬246種。
豆科
人類利用豆科植物已經有數千年的歷史，且與人類演化具有密切關聯。豆科的作物包含大豆（Glycine max）、菜豆（Phaseolus ）、豌豆（Pisum sativum）等等。
豆科 語源
豆科的學名「Fabaceae」來自其模式屬蠶豆屬（Vicia）（模式种救荒野豌豆 Vicia sativa L.）的异名「Faba」（模式種蠶豆 Vicia faba L.）。「Faba」於源自拉丁文，意指「豆」。「Leguminosae」是該科更早的學名，但并未以模式属的名字来命名，目前被視作仍然有效的保留名。
豆科 描述
豆科成員形態多樣，從喬木（如樹王木）到一年生草本植物皆有，其中最大宗者為多年生草本植物。花序多樣，花朵有一短花托筒及單一雌蕊，雌蕊柄短小。在受精後才會結果。
豆科與其它科區分的特點是其果實為本科獨有的莢果，由一心皮發育而成，成熟時果皮沿背縫線和腹縫線開裂。
莢果通常由2片果瓣组成，1室，種子生在腹縫線上。莢果的形狀、大小及莢瓣質地變化很大。如草木犀属，直徑只有3-4毫米，而生长在热带中的鴨腱藤，木質莢果可長達1公尺。有些有翅，如老虎刺屬的果頂端有一長圓形薄翅；紫檀莢果周圍被一圈闊翅所繞；盾柱木屬和黄檀屬莢果都具有翅。鱼鳔豆的膜質莢瓣，充氣呈泡狀，借風力傳播；猪腰豆的木質莢瓣厚達2公分以上。苜蓿屬和猴耳環屬的一些莢果呈螺旋狀盤捲。阿勃勒的莢果像一根圓柱形的棒。相思子的莢果裡面藏有半红半黑、鮮豔的種子，種皮堅硬有光澤。
豆科植物的一個重要特點是絕大部分在根系上具有共生的根瘤菌，可以將大氣中的氮固定到土壤中，從而提高土壤的肥力。
豆科 生態
豆科為蟲媒，主要為蜜蜂傳粉，少數靠螞蟻、蛾類或甲蟲等傳粉。含羞草亞科和蘇木亞科的一些種類在葉柄、葉軸上帶有花外蜜腺以吸引螞蟻；金合歡屬有些種類莖上有大、中空的刺，供螞蟻停留；決明屬植物有頂孔開裂的基著花葯，適應蜜蜂搖動花药取花粉；蘇木屬植物花絲基部被毛，遮蓋雌蕊和花托口部，避免自花授粉。
豆科 系統分類學
豆目各科的亲缘关系如下：
豆科各亚科关系如下：
浩室音樂
浩室音乐（英語：，直译：「房子音乐」）是一種電子音樂风格。最早的浩室音樂源自於美國20世纪80年代初期到中期。“House”一字是出自於芝加哥當代知名的舞廳“倉庫”（Warehouse），當時駐場唱片骑师（DJ）法蘭基·納克魯斯在此播放連續的經典迪斯可以及歐陸合成器電子音樂的混音舞曲，而舞廳的常客把他的混音作品歸納於浩室類型。
絕大部分的浩室是以拍，音乐速度（BPM）范围为每分钟110—130拍，伴隨著厚實的低音声部的音乐。在這層基礎之上再加入各種電子樂器製造出來的聲音和音乐取样，比如爵士樂、藍調或电子流行。浩室目前已經發展出非常多種的子類型。
官立大學 (日本)
官立大學指日本政府根据学制改革前《大学令》设立的旧体制大学。截至1947年共有11所官立大學，分別是：
其中六所原医科大学被称为旧六医大，剩下五所被称为旧五官大。
官立大學 (日本) 歷史
1918年日本政府公布《大學令》，強調大學的目的在於傳授國家所需要的學術、理論及應用知識，同時注意陶冶人格和灌輸國家觀念。大學原則上由幾個學院組成，必要時也可獨立設置單科的專業學院。除國立大學外，允許地方設公立大學，允許私人團體設私立大學，以便更快地發展高等教育。
部分官立大學的前身比京都帝国大学（1897年設立）或東北帝国大学（1907年設立）還要古老，包括東京高等師範學校（1886）、廣島高等師範學校（1902年）、名古屋醫科大学的前身（1871年）、岡山醫科大学的前身（1870年）、千葉醫科大学的前身（1882年）、金澤醫科大学的前身（1870年）、長崎醫科大学的前身（1857年）、東京商科大学前身東京高等商業学校（1887年）、神户商業大学前身神戸高等商業学校（1902年）、大阪工業大学前身大阪高等工業学校（1901年）。
這些學校在日本自認僅次於帝國大學，其中廣島文理科大学、金澤醫科大学、岡山醫科大学、旅順工科大学在戰前已有升格為帝國大學的計畫，因日本戰敗未實行。
官立大學 (日本) 官立大學列表
名古屋醫科大学在1939年升格為名古屋帝国大学，現在是名古屋大学醫学部。其他六所在日本俗稱旧六医大，在日本醫學界執牛耳，在1949年合併縣內專科學校及大學預科學校，改組為綜合大學。
文理科大学為高等師範學校的併設學校，参见中華民國早期南京高等師範學校與國立東南大學之關係。
贸易
貿易，是指個人、企業、國家之間的規模較大的財貨或服務互換，並且經常牽涉使用貨幣進行交易。一個讓貿易得以進行的系統或網絡稱為「市場」。
以物易物是用財貨直接交換其他財貨，是不經由貨幣的貿易，也是最原始的貿易形式。後來發展出以某種中介商品作為貿易的媒介，這類型中介商品稱為「貨幣」。貨幣的出現簡化了貿易程序，從而促進了貿易的發展。
由於勞動力的專門化，個體只會從事一個小範疇的工作，所以他們必須通過購買來獲取生活的日用品。兩個地區之間的貿易往往是因為一地在生產某產品上有相對優勢，如有較佳的技術、較易獲取原材料等。
贸易 批發與零售
貿易主要可以分為批發與零售。
批發是指把產品售予除了消費者以外的其他企業，例如工業機構、商業機構、組織、以及其他專業公司等等，或者其他批發者。一般來說，批發通常會大批量地買賣和處理貨物。
零售是透過不同的銷售渠道，向消費者銷售貨品或服務以賺取利潤的過程。「零售業者」或「零售商戶」通常指把貨品小量地售賣給許多個人顧客的商店。
贸易 對於貿易的觀點
保護主義不鼓勵各國之間的貿易，會加以限制，和自由貿易的政策恰好相反。保護主義常用的手段是关税以及限制性的進口限額。在1930年代時，保護主義政策相當盛行，特別是在大蕭條以及第二次世界大戰的初期。
伊斯蘭教的教導鼓勵貿易（但反對利息或是高利貸）
猶太教和基督教的教導不禁止貿易，但是反對詐欺或是不公正的行為。猶太教和基督教以往曾禁止在借貨時取利。
最早的貨幣是本身就有價值的物品，稱為商品貨幣，包括所有本身就有價值的商品。商品貨幣的例子有豬、稀有的貝殼、鯨魚牙齒或是小牛。中古時期的伊拉克，曾經用麵包當成貨幣。在蒙特蘇馬二世執政時的阿兹特克帝国，曾經用可可豆當成法定貨幣。
通貨是一種標準化的貨幣，用途在於讓貨品和服務的交易範圍可以更廣。第一階段的通貨，本身是保值的金屬，上面有符號，表示其商品的性質，這種通貨是肥沃月彎地帶貿易的基礎。
錢幣學家發現許多早期的大型文化中就有錢幣，不過一開始可能只是幾塊沒有特別符號的貴金屬。
贸易 國內貿易
國內貿易、對內貿易、內貿、本地貿易，是指在一個國家之內將貨物作交換。國內貿易讓物資能流通到國家之內的不同地方，因此相當重要，並能改善居民的生活水平。同時，貿易亦能促進工業發展，為工業生產提供所需的原材料，並把產品運送到消費者或其他所需企業手上。
贸易 國際貿易
國際貿易、對外貿易、外貿是指跨越不同國家進行商品或服務交易的行為。國際貿易自古以來經已存在，例如絲綢之路、琥珀之路、香料貿易、大西洋奴隸貿易等等。當牽涉複數國家時，兩個國家之間的貨幣、政策、經濟、司法系統、法律、市場等因素便會影響貿易進行。
國際貿易可分為三種：
國家間的貿易有時會被政府抽取被為關稅的稅項，或透過進口限額和貿易禁運來限制以至禁止跨國貿易活動。走私活動指意圖規避這些政府施行的貿易限制進行跨國貿易。自由貿易指國家間的關稅和貿易限額等等貿易壁壘降至極低以至相當於無。貿易協議可以便利參與國家間的貿易。
多哈回合貿易談判是世界貿易組織規劃的多次多邊貿談判，目的在降低各國之間的貿易壁壘，著重在和開發中國家的公平貿易。由於較富裕的已開發國家（以G20為代表）和主要開發中國家的意見不同，談判無法進行。在許多不容易協商的議題中，農業補貼是其中最大的議題。而在貿易便捷化的議題上，各國的共識比較高。第一次的杜哈發展議程最早是在2001年11月在卡達首都杜哈進行，後來也曾在墨西哥的坎昆、瑞士的日内瓦、法國的巴黎、以及香港進行過談判。
贸易 國際貿易
經濟制裁是由於特定國家的行為，所做出的懲罰行為。經濟制裁是一個（多個）國家封鎖對特定國家的所有貿易，是由外部強加、嚴重孤立特定國家的行為。像美國自從1958年3月14日起，就針對古巴進行經濟制裁（美國對古巴的禁運）。一般而言，經濟制裁都是短期的，例如亞美尼亞曾在2020年12月31日起對土耳其的產品實施臨時禁運，停止從土耳其進口商品。此次禁運是在考量土耳其對亞美尼亞的敵意，以及亞美尼亞的糧食安全下，所做的舉動。
贸易 简史
西汉时張騫和東漢時班超出使西域开辟的以长安（今西安）为起点，经甘肃、新疆，到中亚、西亚，并联结地中海各国的陆上通道，开辟了中外交流的新纪元。
明初需要大量馬匹。洪武二十年（1387年）九月，撒馬兒罕駙馬帖木兒遣回回滿剌哈非思等來朝貢馬十五匹、駝二隻。洪武二十三年（1390年），撒馬兒罕回回舍怯兒阿裏義等以馬六百七十匹抵涼州互市。洪武二十七年，帖木兒遣酋長迭力必失等來朝貢馬三百匹。
建文四年（1402年）九月壬辰，陝西行都司奏：“回回可古思于寧夏市馬，請官市之，以資邊用”。永樂元年十一月，兀良哈頭目哈兒兀歹遣部屬脫古思等貢馬，詔“命禮部賜鈔幣襲衣並償其馬直，上馬每匹鈔五十錠，中馬四十錠，下馬三十錠；每匹仍與彩幣表裏一”。
婚礼
婚礼是一種締結婚姻的儀式，有法律公證儀式、宗教儀式或民俗儀式等，用以慶祝一段婚姻的開始，代表结婚。婚禮廣受重視，被部分人當作人生大事，亦被部分人視若無物，指無需舉辦或隆重操辦。
所有民族都有其传统的婚礼仪式，传统婚礼传承其民俗文化。但大部分的文化中的結婚傳統與習俗，許多在現代社會中已經失去了其原始意義。
皇室、政商名流或明星的婚禮常因規模龐大、耗費巨資舉辦而獲得矚目，被傳媒譽為「世紀婚禮」。
婚礼 汉字文化圈婚禮
中國古代稱婚禮為昏禮，因多在黃昏舉行。婚礼是周礼嘉礼的一种，其仪式内涵载于《仪礼·士昏礼》、《礼记·昏义》、《朱子家礼》中，并且在《开皇律》《唐律》《宋刑统》《大明律》等历朝法典中得到推广，还通过吉凶宾军嘉五礼的制度传播影响了朝鲜、越南等汉文化圈国家。《礼记》对婚礼所做的规范化的表述：“昏礼者，将合二姓之好，上以事宗庙，而下以继后世也，故君子重之。”
婚礼 汉字文化圈婚禮
《仪礼》中有详细规制，整套仪式合为“六礼”，与三书（即聘书、礼书和迎亲书）一起被合称为“三書六禮。”六礼指的是纳采、问名、纳吉、纳征、请期、亲迎。以上六个程序中，男方家都要向女方家送礼。除了纳征外，其余五礼都以雁为贽。到唐代，婚礼用雁已普遍被家鹅代替。歷朝歷代婚禮大致相同，貴族與民間婚禮有一些区别。婚礼的礼仪程序、婚宴的规格、纳币的多少、新郎新娘的礼服各有等差。比如贵族“六礼”所用的财物，六礼的每一步骤所送礼物应为“羔羊一口、雁一只，酒、黍、稷、稻、米、麦各一斛”，庶民减半。宋代以后对于六礼所含名目和内容有简约趋势。明代仕宦之家婚娶或爲子聘婦，初行六禮。嘉慶時，依「朱子家禮」所訂儀制，頒布士庶婚禮，取消古禮中的「問名」和「纳吉」，只行「纳采、纳幣、請期、親迎」四禮。此六礼，几千年相沿下来，至现代西风东渐才开始发生较大的变革。
程序包括：相亲，断八字，定聘，择日，送嫁，催嫁，迎亲，拜堂，出厅，闹洞房，换花，回车。
婚礼 汉字文化圈婚禮
六礼创始于周而完善于汉，成为中国传统婚礼的基本模式，不仅在民间流传广泛，而且远播到朝鲜、越南等国，影响很大。朝鲜礼俗受汉文化影响较深，其婚礼一直采用规范化了的《文公家礼》六礼模式，编著了《四礼便览》。
周朝、汉代的婚礼凸显庄严肃穆，没有音乐。唐代嫁娶出现"广奏音乐"、"歌舞喧哗"的情况后，婚礼举乐已习以成俗。唐代还有士大夫认为嫁娶举乐不合古礼，要求禁断，可是到了宋代，嫁娶举乐就成了必不可缺的仪式之一，民间都有鼓吹乐队参加。吹打乐是兴于明代流行于江苏南部地区的《十番鼓》和《十番锣鼓》。江南丝竹多与民间的婚礼喜庆联系在一起。如《行街》就是明清时代民间在婚礼行列进行时所用乐曲。此外还有《欢乐歌》、《云庆》、《四合如意》、《三六》、《慢三六》、《中花六板》、《慢六板》等等。1991年，行政院文化建設委員會委托許常惠主持一個婚禮音樂的計畫，邀請專家分別編作三套八式樂曲,製作了唱片和磁帶發行。第一套是「中國傳統婚禮音樂」,第二套是「台灣地方婚禮音樂」，第三套是「現代創作婚禮音樂」。
李宝能指日本皇室大致继承了中国古代婚礼仪式，包括“纳彩之仪”、“交换彩礼”、以及随后的“告期之仪”、“举式”、“入第之仪”等各项仪式。
明治三十三年，以大正天皇结婚为契机，出现了明治式神前结婚法。1899年，华族女学校校长細川潤次郎男爵拟定了《新撰婚礼式》。目前神前结婚式有三种：自家神前结婚式、氏神神前结婚式、宗教神道教会结婚式。结婚祭仪分为几个步骤。社司为新人开启神社大门，新人献上神馔，社司吟诵祝词，新人交换誓词并献上玉串再敬拜。摆上神酒、一献、二献、三献。媒人、男方亲族及女方亲族入座，与新人敬酒并问候。结婚式举行完后，紧接着举行“披露宴”。
婚礼 印度教婚礼
印度婚禮儀式相當繁瑣。結婚之前，雙方家長會透過充當媒人的祭司討論嫁妝事宜，女方必須答應男女提出的嫁妝數量後，雙方才選定黃道吉日、開始籌備婚禮。
婚礼 西方婚禮
在西方的結婚習俗中，新郎穿制服、晚礼服、早礼服或者便服，新娘會穿著白色的大禮服，象徵了維多利亞時代中的「純潔」（由於大眾媒體的誤導，白色禮服被以為是象徵了「貞操」，但事實上代表貞操的是新娘的頭紗）。因此在這種「白色婚禮」的封建傳統中，寡婦或曾離婚的女性被認為不應當在其再婚的婚禮上穿著白色的婚紗，但現代的文明社會已沒有這種區分。請參見「白色婚禮」條目。在晚间，很正式的婚礼要求男方白領結着装，黑色领结次之。
婚禮是天主教七件聖事之一。天主教的国家要求天主教徒的婚姻严格按照天主教的教规来举行，並且由神父主持。基督教新教婚礼由牧师主持，新郎新娘携手站在圣坛前，牧师为他们念诵布道文，祈求上帝对婚姻的祝搐，新郎新娘面对圣坛交换結婚信物，而戒指是最為普遍的。
婚礼 西方婚禮
西方的婚宴通常是在結婚儀式之後舉行，在婚宴中會有一個大型的結婚蛋糕。西方結婚傳統包括了向新人敬酒、新人會第一對下去跳舞、以及切結婚蛋糕。新娘會向在場所有尚未結婚的女性丟出手中的新娘捧花(bridal bouquet)，而接到花束的女性被認為將會是下一個結婚的人。為了公平起見，最近發展出了新郎將新娘的襪帶（garter）丟向未結婚的男性群，而接到的男性會被認為將是下一個結婚的人。
西方婚禮中還有一項重要的儀式：在新人進場時，新郎先走到紅毯一半等待新娘，新娘再由父親牽進場，並在紅毯中進行交手儀式。而這個儀式象徵著父親把照顧新娘的責任託付給新郎。
時常在西方結婚典禮上播放的音樂，如結婚進行曲等，較著名的有：
婚礼 东西洋结合式
19世纪末20世纪初，婚礼从形式到内容明显的接受了西式风俗。一般采取了中西合璧的婚礼形式。蒋中正和宋美龄的基督教婚礼，令国内无数青年女子仰慕不已。此后，西洋婚纱便在中国广泛流行起来了。
現在中國大陆的婚禮結合了中國傳統以及受西方影響的元素。公民結婚儀式並沒有太多的程序，法律上来说只需结婚双方亲自到地方民政部门進行結婚登記即可。多数婚礼，也就是由迎亲和喜酒两部分组成。其隆重程度，也就在迎亲车辆和喜酒桌数的多寡。受西方元素影响，新人于正式婚礼前拍攝婚紗照也为多数新人所采纳。不过由于中国各地风俗不同，于婚礼的细节之处，也南北殊异。如浙江省舟山地区，无论城乡，今天仍有在正式婚礼前夜举办隆重的祭天祭祖仪式的传统，称为相喜。
日本的婚禮可依宗教形式分成神道的神前式、佛教的佛前式、基督教的教會式，地點分別在神社、佛寺、教堂，但是，現在提供神前式、教會式的飯店、結婚式場等也相當多，未必需要在前述的宗教設施舉辦婚禮。受歷史的影響，神前式和教會式已相當普及於日本社會，佛前式則即使一般信徒也較少採用。
婚礼 东西洋结合式
加拿大籍馬偕牧師於1871年底到台灣傳教，在他的《臺灣六記》一書提及，1873年3月2日他在臺北縣五股設立的教會，舉行台灣史上第一次的基督教式結婚典禮，陳鄭聯姻（陳男25歲；鄭女17歲），新娘坐的轎子，後面跟著25個苦力，沿路燃放鞭炮，馬偕則為證婚人。1895年台灣進入日本統治時代，日本政府為推動現代化，將西式婚禮冠上「文明婚禮」，藉以改變民眾所熟知的傳統迎親嫁娶習俗。
依據1915年1月1日《台灣日日新報》的報導，台北的廖坎與陳阿娟結婚除去舊禮，共乘自動車（轎車），由於1912年才有第一部汽車進口台湾，廖坎夫婦是目前資料中，最早乘坐轎車的新人。同一天，翁俊明醫師的婚禮在台南舉行，司儀則是連雅堂。自此，台灣政商界望族的結婚多依此方式。而一般婚宴則隨婚禮結束登場，民眾多以「辦桌」或到大酒樓餐廳舉行喜宴，台北市著名的餐廳有「江山樓」（今延平北路二段，吳江山創辦）、「蓬萊閣」（圓環邊，陳水田創辦），醫師杜聰明即選在江山樓宴客，據統計蓬萊閣光在1935年就有超過250對新人預定喜宴。而西式餐宴則選擇在鐵路旅館（今新光摩天大樓，可容納150人，全台唯一洋式飯店）舉行。
婚礼 伊斯兰教婚礼
在信仰伊斯兰教的民族一般只在穆斯林民族中通婚，尤其排斥妇女外嫁非穆斯林诸族。举行婚礼仪式时，客人分男(左)、女(右)两厢，由阿訇或伊玛木居中念诵《古兰经》，并主持婚礼。“尼卡哈”是《古兰经》有关婚姻家庭方面的训条，又叫“喜经”。“尼卡哈”念完，穆斯林男女青年的婚礼结束，这对新婚夫妇便成为合法夫妻。按照伊斯兰教规定，在阿訇向新郎新娘询问结婚意愿时，最多只能询问三次，得到肯定回答后，念尼卡哈，包括哇孜(双方要担负责任、义务的重要性)。之后吃饭。
婚礼 延伸阅读
[在维基数据编辑]
《欽定古今圖書集成·經濟彙編·禮儀典·婚禮部》，出自陈梦雷《古今圖書集成》
超级大国
超級大國（英語：），又稱特級大國、世界霸主、全球霸主，普遍認為其國力在國際社會體系中處於第一級水準的國家。超級大國在國際事件有舉足輕重的影響力，能夠向全世界投射军事力量，並且在經貿、文化、科研、體育等領域領先其他國家。「超級大國」概念起源于20世纪初，並普及於冷战時代。最早指英国、蘇聯、美国3个大国，二戰後大英帝国随着殖民地紛紛獨立使其瓦解而衰弱，此後超級大國即指美国、苏联两大国，亦是冷战時期代表資本主義、社會主義兩大陣營。1991年苏联解体后，美国成为目前唯一的超级大国。
超级大国 来源
根据《牛津英语词典》，“超级大国”（）这个术语最早于1930年见诸文字。英語中的這個術語來源於較早的“powers”（即「列強」）和“great power”（即「大國」）。在歐洲的政治外交領域，從1815年開始各國普遍認同達到“大國”或“列強”地位的國家，在國際事務中有較特殊的權利和義務，例如在多邊戰爭和談判中大國擔當主持和調停的責任。在整個十九世紀，大英帝國是世界上的超級大國及第一強國。
二十世紀初，國際政治學者開始意識到大國中有極少數的國家，由於其綜合國力和國際影響力特別大，而具備了大幅超出其他大國的左右世界事務的能力。第二次世界大戰很清楚的展現了這個形勢：同盟國和軸心國兩大陣營各有極少數的大國擔當核心領導的角色。因此，在同盟國勝利在望的1944年，美國外交政策教授威廉·T·R·福克斯（英語：）發表了《超级大国：美国、英国、苏联——及其对和平的责任》（英語：）一書，描繪了超级大国的全球投射力。後來，此書被認爲確立了現代地緣政治上的“超级大国”概念。
超级大国 演變
如同福克斯所預見的一樣，二戰結束后的世界格局變成了一個三極化的形勢：雖然由戰勝國主導建立的聯合國強調正式廢除列強制度、各國平等，但又在安理會設立了等同于大國或列強地位的常任理事國。而同時，1945年的世界形勢很明顯形成三個遠比其他國家強大的三個超级大国：
但是這個三個超級大國的形勢並未保持很久：大英帝國在戰前就已開始轉型，加拿大等重要領土在1931年大英帝國給予自治地位後，開始偏向美國。二戰初期，英帝國部隊在亞洲戰場的失利，以及二戰對英國經濟的重創，使得英國在全球（特別是亞太地區）的影響力大不如前，例如一直不願接受主權獨立的澳大利亞已在1942年接受獨立自治領地位。對英國影響力的打擊加速了從戰前就開始的大英帝國的肢解過程。
超级大国 演變
不久后，隨著1947年印度和其他大英帝國殖民地的獨立，再加上英國本土經濟政策失敗，雖然英國力求利用英聯邦保持其全球貿易及經濟中心的地位，但由於世界貿易重心的轉移，此政策失敗，英國從50年代開始逐漸失去了經濟超級大國地位，最終不得不加入歐洲貿易共同體，雖然仍是世界金融中心之一，但失去主導世界經濟的話語權。軍事上，英國在二戰結束時被美國取代失去了世界第一大海軍的地位，雖然在1952年成功研製出核武器並在之後繼續在軍事科技上處於世界領先水平，但喪失了廣闊帝國的英國已沒有作爲超級大國所需的戰略縱深和軍事資源。在1956年的蘇伊士運河事件中，英國雖然拉上法国、以色列来一起配合行动，但由於受到苏联和美国的同時反對以及美國對英鎊匯率採取的阻擊，英國最終只能以恥辱的撤退結束軍事行動。受到兩次大戰及全球貿易格局發展影響的英國財政虛弱，英國政府視維持英鎊作爲儲備貨幣的自由兌換力為中心政策目標，在維持此政策的前提下英國只能對美國及蘇聯妥協。這一衝突表明英國已沒有能力與蘇聯和美國在均等地位上謀求獨立的外交政策目標。運河事件后，英國決定將其全球軍事部署退防至蘇伊士運河以西，放棄在全球其他地區單方面出兵干涉的能力。這一政策變化至少在軍事上為英國的超級大國地位划上了句號。
超级大国 演變
1966年，聯合國區域集團進行了重新劃分，英國主導的“英聯邦”國家組解散，英國及英聯邦中的大國（加拿大、澳大利亞、新西蘭）加入“西歐及其他”組，其他英聯邦國家則加入了相應的地區組。這一改變也象徵性的表示了英國在國際外交上的超級大國地位已經結束。雖然英國至今在世界範圍內仍具有相當的影響力，在政治、外交、軍事及經濟上均有超出其人口、國土、經濟比重的影響力，但一般對於各國國力的排名中都把英國列爲“大國”之一，而不是超級大國。
與此同時，由于二战中，绝大部分的战斗都没有在美国本土上进行，因此，十分幸运地，美国的工业没有遭受到像深深烙在欧洲和亚洲国家身上的那样毁灭性的打击，它也没有巨大的人员伤亡。而且在战争期间，美国建立起了一个强大的工业和技术体系，这为它的军事力量迅速登上全球舞台上最显眼的位置奠定了基础。第二次世界大戰結束時，美國成功將其經濟優勢變成軍事優勢，美國海軍一躍成爲世界最大海軍。美國在戰爭末期率先研製成功核武器。1945年後美國更利用經濟優勢成功説服各大國將聯合國主要總部設在美國。
超级大国 演變
同時，二戰迫使斯大林放棄了戰前的孤立主義和内部鬥爭政策，同時也暫時鞏固了斯大林派的權威，因此蘇聯在戰後經歷了短期的經濟發展時期，並在歐洲東部和其他地區培植親蘇聯的政權。蘇聯通過掠奪德國技術，在戰後不久也成功獲得核武器。
战后，几乎所有的欧洲国家都与美国或苏联之中的一者结盟。尽管国际上存在着建立起一套多国的联合司法体制（如联合国）的尝试，但是事态越来越明晰：美国和苏联就是在初露头角的冷战中占全球统治地位的两个政治和经济力量。不过人们对战后的世界应该是如何却有很大的分歧。这在北大西洋公约和华沙条约的签订所形成的两大军事联盟上有所体现。这种种现象都表明美苏将在即将出现的两极世界，而不是战前的多极世界里面扮演重要的角色。不知道是否对这种世界格局的反应，除了英、美、蘇以外的法国和中国，以及其他一些國家，都纷纷做起包括研制核武器在内的各种努力，来保证自己独立的“强权”地位，以及能够在国际舞台上扮演一个“世界性的角色”。