ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
這示例了一般現像。只讀數據型別（源）是協變的；只寫數據型別（彙/sink）是逆變的。可讀可寫型別應是“不變”的。
早期版本的Java與C#不包含泛型（generics，即參數化多態）。在這樣的設置下，使陣列為“不變”將導致許多有用的多態程式被排除。
例如，考慮一個用於重排（shuffle）陣列的函數，或者測試兩個陣列相等的函數，使用與方法. 函數的實現並不依賴於陣列元素的確切型別，因此可以寫一個單獨的實現而適用於所有的陣列：
boolean equalArrays (Object a1, Object a2);
void shuffleArray(Object a);
然而，如果陣列型別被處理為“不變”，那麼它僅能用於確切為型別的陣列。對於字符串陣列等就不能做重排操作了。
所以，Java與C#把陣列型別處理為協變。在C#中，是object的子型別，在Java中，是的子型別。
如前文所述，協變陣列在寫入陣列的操作時會出問題。Java與C#為此把每個陣列對象在創建時附標一個型別。 每當向陣列存入一個值，編譯器插入一段代碼來檢查該值的運行時型別是否等於陣列的運行時型別。如果不匹配，會拋出一個（在C#中是）：
// a 是單元素的 String 數組
String a = new String1;
// b 是 Object 的數組
Object b = a;
// 向 b 中賦一個整數。如果 b 確實是 Object 的數組，這是可能的；然而它其實是個 String 的數組，因此會發生 java.lang.ArrayStoreException
b0 = 1;
在上例中，可以從b中安全地讀。僅在寫入數組時可能會遇到麻煩。
這個方法的缺點是留下了運行時錯誤的可能，而一個更嚴格的型別系統本可以在編譯時識別出該錯誤。這個方法還有損性能，因為在運行時要執行額外的型別檢查。
Java與C#有了泛型後，有了型別安全的編寫這種多態函數。陣列比較與重排可以給定參數型別
boolean equalArrays (T a1, T a2);
void shuffleArray(T a);
也可以強制C#方法只讀方式訪問一個集合，可以用界面代替作為陣列。
支持一等函數的語言具有函數類型，比如“一個函數期望輸入一只 Cat 并返回一只 Animal（寫為 OCaml 的  或 C# 的）。
這些語言需要指明什麼時候一個函數型別是另一個函數型別的子型別—也就是說，在一個期望某個函數型別的上下文中，什麼時候可以安全地使用另一個函數型別。
可以說，函數f可以安全替換函數g，如果與函數g相比，函數f接受更一般的參數類型，返回更特化的結果類型。
例如，函數型別可安全用於期望的地方；類似地，函數型別可用於期望的地方——典型地，在 Animal a=Fn(Cat(...)) 這種語境下進行調用，由于 Cat 是 Animal 的子類所以即使 Fn 接受一只 Animal 也同樣是安全的。一般規則是：
S1 → S2 ≦ T1 → T2  當T1 ≦ S1且S2 ≦ T2.
換句話說，類型構造符→對輸入類型是逆變的而對輸出類型是協變的。這一規則首先被Luca Cardelli正式提出。
在處理高階函數時，這一規則可以應用多次。例如，可以應用這一規則兩次，得到(A'→B)→B ≦ (A→B)→B 當 A'≦A。即，型別(A→B)→B在A位置是''協變的''。在跟蹤判斷為何某一型別特化不是型別安全的可能令人困擾，但是比較容易計算哪個位置是協變或逆變：一個位置是協變當且僅當在偶數個箭頭的左邊。
例如，在Visual Basic中，允許把lambda表達式（匿名函數）賦值給委托（delegate）類型的實例，如果參數是widen，返回值是narrowen：
' 定義委托 Del1
Delegate Function Del1(ByVal arg As Integer) As Integer
' 合法的 lambda 表達式賦值，不論 Option Strict 是開是關：
' 整數匹配于整數
Dim d1 As Del1 = Function(m As Integer) As Integer
' 整數擴展到長整數
Dim d2 As Del1 = Function(m As Long) As Integer
' 整數擴展到雙精度浮點
Dim d3 As Del1 = Function(m As Double) As Integer
' 合法的返回值賦值（Option Strict 打開）：
Dim d6 As Del1 = Function(m As Integer) As Integer
' 短整數擴展到整數
Dim d7 As Del1 = Function(m As Long) As Short
' 字節擴展到整數
Dim d8 As Del1 = Function(m As Double) As Byte
當一個子類重寫一個超類的方法時，編譯器必須檢查重寫方法是否具有正確的類型。雖然一些語言要求類型必須與超類相同，但允許重寫方法有一個“更好的”類型也是類型安全的。對于大部分的方法子類化規則來說，這要求返回值的類型必須更具體，也就是協變，而且接受更寬泛的參數類型，也就是逆變。
對于一下示例,假設 是  的子類,而且我們以及擁有了這兩個類(使用Java語法)
class AnimalShelter {
Animal getAnimalForAdoption {
void putAnimal(Animal animal) {
問題是:如果我們子類化 , 我們可以讓 和 具有什么類型？
在允許協變返回值的語言中, 子類可以重寫  方法來返回一個更窄的類型：
class CatShelter extends AnimalShelter {
Cat getAnimalForAdoption {
return new Cat;
主流的面向對象語言中, Java和C++允許返回值協變，C#不支持。添加返回值協變是1998年C++標準委員會最先允許的對C++語言核心的修改之一。 Scala和D語言也支持返回值協變。
類似地，子類重寫的方法接受更寬的類型也是類型安全（type safe）的：
void putAnimal(Object animal) {
允許參數逆變的面向對象語言并不多——C++和Java會把它當成一個函數重載。
然而，Sather既支持協變，也支持逆變。對于重寫的方法，''出''參數和返回值是協變的，而常規的參數是逆變的。
在主流的語言中，Eiffel 允許一個重寫的方法參數比起父類中的那一個有''更加''具體的類型，即參數類型協變。因此，Eiffel 版本的  會如下所示：
void putAnimal(Cat animal) {
這并不是類型安全的。通過把  轉換為 ，程序員可以把“狗”放進貓庇護所里。這種類型安全性的缺失（在 Eiffel 社區里稱為“貓調用問題”）由來已久。許多年以來，人們組合使用各種全局 / 局部靜態分析以及新的語言特性來進行補救
，有些已被寫進了一些 Eiffel 編譯器。
拋開類型安全問題不談，Eiffel 的設計者認為在對現實世界建模這一點上，協變的參數類型是不可或缺的。貓庇護所問題演示了一種常見現象：它是''一種''動物庇護所，但有著''額外的限制''；而用繼承和受限參數類型又似無不可。通過提出繼承的這種應用方式，Eiffel 設計者們拒絕了 Liskov 代換原則（即子類對象受的限制一定比它們父類對象少）。
另一個參數類型協變可能有益的例子是所謂二元方法，即其參數與方法所在對象的類型相同。例如  方法： 檢查  和  在某種排序下的先后關系，但比較不同類型對象——比如，比較兩個有理數以及比較兩個字符串——的方式可以大相徑庭。其它的常見二元方法例子還有相等性比較、算術運算、以及諸如求交集 / 并集的集合運算。
在舊一點的 Java 版本中，比較方法是以接口  的方式指定的：
interface Comparable {
int compareTo(Object o);
這種方式的缺點是方法參數類型指定為 。一個典型的實現可能是先把這個參數向下強制轉換——如果不是期望的類型，那么報錯：
class RationalNumber implements Comparable {
int numerator;
int denominator;
public int compareTo(Object other) {
RationalNumber otherNum = (RationalNumber)other;
return Integer.compare(numerator*otherNum.denominator,
otherNum.numerator*denominator);
在有參數協變的語言中， 的參數可以直接定為希望的類型，從而把類型轉換消除掉。（當然，該報運行時錯誤的時候還是會報錯的，比如對一個  調用 ）。
其它語言特性可能用來彌補缺乏參數類型協變的缺乏。
在有泛型（即參數化多態及）的語言中，前面的例子可用更類型安全的方式重寫
：不定義 ，改為定義一個參數化的類 。（這種方法的缺點之一是基類實現者需要預料到哪些類型要在子類中特化）
class Shelter {
T getAnimalForAdoption {
void putAnimal(T animal) {
class CatShelter extends Shelter {
相似地，在新版本的 Java 中  接口也被參數化了，從而允許以一種類型安全的方式省去向下類型轉換：
public int compareTo(RationalNumber otherNum) {
另一個有助的語言特性是多分派。二元方法難寫的一個原因就是在類似于  的調用中，對  的正確選擇其實依賴于  和  兩者的類型，但在經典的面向對象語言中只有  的類型被納入考慮。在有CLOS 樣式多分派特性的語言中，比較方法可以寫成一個泛型方法，其兩個參數類型都在方法選擇中被考慮。
Giuseppe Castagna 觀察到在一個有類型而且有多分派的語言中，泛型函數的各個參數有些控制分派而余下那些則否。因為方法選擇的規則是在可用方法中選擇特化程度最高的，如果一個方法重寫了另一個方法那么，它（前者）就會在那些控制性的參數上有更特化的類型。而另一方面，為了保證類型安全，語言又得要求剩下的參數越泛化越好。用上面的術語來說，運行時方法選擇中使用的類型是協變的，而沒用到的類型則是逆變的。常規的單分派語言，例如 Java，也遵循這種規則：只有在其上調用方法的對象類型才用來選擇方法，而在子類方法里的  的類型也確實要比在父類那里更特化。
Castagna 提議在需要參數類型協變的地方——尤其是二元方法——改用多分派，它本性就是協變的。然而不幸的是，大多數編程語言都不支持多分派。
下表總結了在上面討論的語言有關覆寫方法的規則。
C++ （自1998年）, Java (自J2SE 5.0), Scala, D
在支持泛型（即參數化多態）的語言中，程序員可以用新的構造器擴展類型系統。例如，C# 的泛型接口  可以構造  和  這樣的新類型。那么接下來的問題就是這些類型構造器應具有何種變型性質。
有兩種主要的處理方式。在有著聲明點變型標記法（如 C#）的語言中，程序員在泛型類型處標注其類型參數的預想變型方式；而在使用點變型標記法（如 Java）的語言中，程序員改在泛型類型實例化的位置標注。
具有這種記法的最流行語言包括 C#（使用關鍵字  和 ）、Scala 以及 OCaml（這兩者使用加號減號）。其中，C# 只允許在接口類型上標記變型，而 Scala 和 OCaml 既允許在接口類型上標記、也允許在具體的數據類型上標記變型。
在 C# 中，每個泛型接口的類型參數都可被標注為協變（out）、逆變（in）或不變（不標注）。例如，可以定義一個接口  作為只讀的迭代器，并聲明它在其類型參數上具有協變性：
interface IEnumerator{
T Current{
bool MoveNext;
通過這樣聲明，IEnumerator 就會在其類型參數上具有協變性。例如， 是  的子類型。
類型檢查器保證接口里每個函數聲明都通過符合 in/out 規則的方式使用其類型參數。也就是說，被聲明為協變的參數不得出現在任何逆變的位置（一個位置稱為逆變的，如果它經過了逆變類型構造器的奇數的應用）。精確的規則是接口里所有函數的返回值類型都必須''協變合法''，而所有函數參數的類型都必須''逆變合法''。具體來說，協 / 逆變合法定義如下：
* 非泛型類型（類、結構、枚舉等）既協變合法、也逆變合法。
* 類型參數 T 如果沒有標 in，那么是協變合法；如果沒有標 out，那么是逆變合法。
* 數組類型 A 是協 / 逆變合法，如果相對應地 A 是協 / 逆變合法。（C# 的數組是協變的）
* 泛型類型 G 是協 / 逆變合法，如果對于每個類型參數 Ai：
** Ai 是協 / 逆變合法，并且 G 中的第 i 個參數被聲明為協變；或者
** Ai 是逆 / 協變合法（反轉），并且 G 中的第 i 個參數被聲明為逆變；或者
** Ai 既協變合法又逆變合法，并且 G 中的第 i 個參數被聲明為不變。
舉例而言，考慮下面的  接口：
interface IList{
void Insert(int index, T item);
Insert 函數的參數類型 T 必須逆變合法，即 T 不得被標注為 out。相似地，由于 GetEnumerator 函數以一個協變的接口類型 IEnumerator 為返回值類型，T 必須不是 in。這樣一來，IList 既不能是協變，也不能是逆變。
在諸如 IList 這種泛型數據結構的通常情況下，上述的限制意味著 out 參數只能用在從對象中讀''出''數據的函數上，而 in 參數只能用在寫''入''數據的函數上。這也就是為何選擇這兩個單詞作為關鍵字的原因。
C# 允許在接口的類型參數上標注變型，但不能在類上應用。由于 C# 的成員變量永遠是可變的，類型參數可變型的類在 C# 中并沒有多大用途。不過強調不可變數據的語言就可以利用協變數據類型，例如在 Scala 和 OCaml 中不可變列表類型是協變的：ListCat 是 ListAnimal 的子類型。
Scala 的變型類型檢查規則基本上跟 C# 相同。然而，有一些習慣用法會被套用到不可變數據結構上，如下從 ListA 類中摘抄的代碼所示：
sealed abstract class List+A extends AbstractSeqA {
def head: A
def tail: ListA
/** 向列表頭添加元素 */
def ::B >: A (x: B): ListB =
new scala.collection.immutable.::(x, this)
首先，具有變型類型的類成員必須是不可變的。在這里， 成員具有類型 ，其聲明為協變，而且 head 成員確實被聲明為函數（def）。試圖將其聲明為可變成員變量（var）將會得到一個類型錯誤。
其次，即使數據結構是不可變的，它也經常會有返回值類型逆變的函數。例如，考慮向列表頭添加元素的函數 ::。（這個實現創建一個同名''類'' ::——即非空列表的類——的新對象。）這個函數最顯然的類型莫過于
def :: (x: A): ListA
然而這是個類型錯誤，因為協變的參數 A（作為函數參數而）出現在了逆變位置。不過也有繞過這個問題的方法：給 :: 一個更泛化的類型，使其能添加具有任何 A 的超類型 B 的元素。注意這依賴于 List 是協變的，因為 this 具有類型 ListA、而我們要把它作為 ListB 對待。乍看之下這個泛化的類型似乎不那么可靠，但如果程序員真拿那個簡單的聲明出來的話、類型錯誤會指出需要泛化的地方的。
設計一個讓編譯器能在所有類型參數上自動推斷出盡量好的變型的類型系統是可能的。然而，分析過程可能由于許多原因而變得復雜：其一，分析過程不是局部的，因為一個接口的變型性質取決于其所有使用到的接口；其二，為了得到最優解，類型系統必須允許''雙向變型''——既是協變、同時也是逆變——的類型參數；其三，類型參數的變型性質應當是接口設計者深思熟慮的結果，而不是隨機發生的事情。
因此，許多語言都幾乎對變型不做干預。C# 和 Scala 完全不推斷任何變型注；而 Ocaml 雖然可以推斷具體數據類型的變型，程序員還是需要顯式指定抽象類型（接口）的變型。
例如，考慮一個 OCaml 的數據類型 T，其包裝了一個函數：
type ('a, 'b) t = T of ('a -> 'b)
編譯器會推斷出第一參數是逆變、第二參數是協變的。程序員也可以顯式提供標注、讓編譯器檢查是否滿足，因此下面的聲明等價于上面：
type (-'a, +'b) t = T of ('a -> 'b)
當定義接口時，OCaml 中的顯式標注就有用了。例如，標準庫給關聯表的接口 Map.S 包括一個標注，指明類型構造器 map 的返回類型是協變的：
module type S =
type key
type (+'a) t
val empty: 'a t
val mem: key -> 'a t -> bool
這保證了  是  的子類型。
聲明點標記法的一個缺點是許多接口類型必須是不變的。例如，前面的 IList 需要是不變的，因為其中既有協變的函數也有逆變的函數。為了暴露更多的變型性，API 設計者可以提供附加的接口以提供可用方法的子集——例如，一個只提供 Insert 函數的“只寫列表”。然而這太笨拙了。
使用點標記法試圖給某個類的用戶以更多的機會去繼承，而不要求該類的設計者分開定義具有不同變型性質的若干接口。當某個類或接口被應用于類型聲明中時，程序員可以指明用到的只有成員函數的一個子集。就效果而言，類的定義同時也給出了相當于該類的協變和逆變的“部分”的接口。因此，類的設計者不再需要把變型納入考慮，從而提高了可重用性，
Java 通過通配符提供使用點變型標記，這是一種有界的約束存在量化形式。一個參數化類型可以通過通配符  加上上下界的形式實例化，例如  或者 。（諸如  這樣不加約束的通配符等價于 ，因為 Java 的所有類型都派生自 Object）。 這樣的類型表明了未知類型  滿足約束這件事。例如，如果變量  是  類型，那么類型檢查器會接受
Animal a = l.get(3);
因為已知類型  是  的子類，相反
l.add(new Animal)
將會導致類型錯誤，因為一個  并不一定是個 。一般而論，給定某個接口 ，一個  的記法禁止使用需要 T 逆變的函數；反之，如果  的類型是 ，我們可以調用  但不能調用 。
Java 中的通配符子類層次結構可以畫成立方體形狀。
雖然 Java 中的普通泛型類型是不變的（即在  和  之間沒有子類關系），通配符類型仍可以通過指定一個更嚴格的界來變得更加特化。例如， 是  的子類型。這顯示了通配符類型是在上界協變（以及在下界逆變）的。總而言之，給定一個諸如  的通配符類型，有三種方式可以形成子類：特化類 、指定更加嚴格的約束 、或者把通配符  替換成一個更特化的類型（見圖）。
通過把子類化的兩個步驟合并，我們就可以做到諸如給期望  類型參數的函數傳遞一個  參數這樣的事。這正是協變接口類型所允許的程序。 類型就像一個只包含  的那些協變的函數的接口，然而  的實現者并不需要預先作出定義。這就是使用點變型。
在 IList 這種常見的泛型數據結構中，協變參數用于從結構中讀出數據，而逆變參數用于寫入數據。Joshua Bloch 所著《Effective Java》中提出的助記短語 PECS（Producer Extends, Consumer Super）提供了一個合適使用協變 / 逆變的好記方法。
通配符很靈活，但也有個缺點。雖然使用點變型意味著 API 設計者不需要考慮接口的類型參數的變型性質，他們卻經常需要使用更復雜的函數簽名。一個常見例子涉及到 Java 中的  接口。假設我們要寫一個查找集合中最大元素的函數，這些元素需要實現  函數，所以首先我們可能會做如下嘗試：
>  T max(Collection coll);
然而這并不夠泛型——我們會發現能夠找到一個  集合中的最大值，但對  而言則否。問題在于  并不實現  接口，而是實現了（更好的）。不像 C#，在 Java 中  并不被認為是  的子類。因此  的類型要改成這樣：
有界通配符  用來表明  只調用  接口的逆變函數。這個示例令人沮喪的原因是  接口中的''所有''函數都是逆變的，因此條件是平凡真、所有用到這個接口的函數都要這樣。聲明點變型的系統就可以讓這個例子不那么啰嗦：只需要在  接口上標注即可。
使用點變型提供了額外的靈活性，允許更多程序得以通過類型檢查。然而，它們因為給語言帶來的復雜性、以及所引發的復雜類型簽名和錯誤消息而飽受批評。
一個評判這種額外靈活性是否有用的方法是看它能否應用在現存程序里。一個對大量 Java 庫的調查發現 39% 的通配符標記本可以用一個聲明點標記直接換掉，也即那剩下的 61% 是 Java 受益于有這么個使用點變型系統的地方。
在聲明點變型語言中，庫必須要么更少地暴露變型、要么定義更多的接口。例如，Scala 集合庫給每個接口都定義了三個分開的版本：基本版本是不變型的、也不提供任何寫操作，有帶副作用函數的可寫版本，還有不可寫但把類型參數（通常）標為協變的版本。這種設計跟聲明點標注配合得很好，但大量的接口給庫的用戶帶來了復雜性開銷。并且，修改庫接口可能不是一個可行選項——具體來說，Java 泛型的一個目標就是要維持二進制向后兼容性。
另一方面，Java 的通配符本身就有夠復雜。在一場會議講演，Joshua Bloch 就批評它們太過難懂難用，聲稱當添加閉包支持時“再來一個''通配符''簡直就是不能承受之重”。早期版本的 Scala 使用使用點標注，然而程序員覺得它們難于實際應用，而聲明點標注就在設計類時有大用。后期版本的 Scala 添加了 Java 樣式的存在類型和通配符；然而據 Martin Odersky 所說，假如沒有跟 Java 的互操作性需求的話，這些根本都不會被加進來。
Ross Tate 爭辯說 Java 通配符的復雜性有一部分是因為決定了要用存在類型的記法來標記使用點變型。原本的提案
是使用專門用途的語法來標記變型，寫作  而不是 Java 這么啰嗦的 。
既然通配符是存在類型的一種形式，它們就不僅可以用來做變型這一種事。一個諸如 （某種列表）的類型允許對象不必指定類型參數就能被傳遞給函數或者放進變量里。這對于像  這樣的類而言尤其有用，因為其中的大多數函數都根本不管類型參數是什么。
然而，對于存在類型的類型推導是一個難點。對于編譯器實現者來說，Java 的通配符提出了類型檢查器終結、類型參數推導、以及歧義程序的問題。對程序員來說，它則帶來了復雜的類型錯誤消息。Java 通過把通配符換成新類型變量的方式進行類型檢查（所謂''捕獲檢查''），這會讓錯誤信息更難讀，因為它們現在指向了程序員根本沒直接寫出的類型變量。例如，試圖將一個  加到  會得到類似這樣的錯誤：
函數 List.add(capture#1) 不能應用
（實參 Cat 不能被函數調用轉換成 capture#1）
其中 capture#1 是新類型變量：
capture#1 extends Animal，由于捕獲了 ? extends Animal
由于聲明點變型和使用點變型都有各自的用處，有些類型系統干脆兩者都提供了。
Dart 語言并不跟蹤變型，而是把所有參數化類型都當作協變對待。語言規約是這么說的：
由于泛型類型的協變性，類型系統并不穩健。這是故意為之（當然也無疑會引起爭論）。經驗表明穩健的泛型類型規則在程序員的直覺面前如同廢紙。如果想的話，工具仍可簡單地提供穩健的類型分析，這可能對諸如重構之類的任務有所幫助。
這些術語來源于范疇論中函子的記法。考慮范疇 C，其中的對象是類型、其態射代表了子類關系≦（這是一個任何偏序集合可被看成范疇的例子）；那么諸如函數的類型構造器接受兩個類型 p 和 r 并創建一個新類型 p→r，即它把 C2 中的對象映射到 C 中。通過函數類型的子類規則，這個運算逆轉了第一參數上的≦順序而在第二參數上保持該順序，即它是一個在第一參數上逆變、而在第二參數上協變的函子。
* 多態 (面向對象程序設計)
*  Fabulous Adventures in Coding: 一系列關于 C# 中協變 / 逆變的實現注意事項的文章
* Contra Vs Co Variance（并沒隨 C++ 與時俱進）
*  Java 7 的閉包（v0.5）
暗帶鋸脂鯉，為輻鰭魚綱脂鯉目脂鯉亞目鋸脂鯉科的其中一個種。屬於食人魚的一種，分布於南美洲Guaporé河流域，體長可達21公分，棲息在底中層水域，生活習性不明，可作為觀賞魚及食用魚。
麥克拉里嶺是南極洲的山嶺，位於葛拉漢地的弗因海岸，處於海斯山東南面9公里的科爾半島南部，在1947年12月由英國研究隊發現，現時由南極條約體系管理。
海斯山是南極洲的山峰，位於葛拉漢地東岸，處於科爾半島，海拔高度1,140米，在1947年由英國研究隊發現，現時由南極條約體系管理。
利特爾頓嶺是南極洲的山嶺，位於葛拉漢地東岸，處於邱吉爾半島西部，長7公里，海拔高度425米，在1947年由英國研究隊發現，現時由南極條約體系管理。
池沼鋸脂鯉，為輻鰭魚綱脂鯉目脂鯉亞目鋸脂鯉科的其中一個種。分布於南美洲埃塞奎博河流域，體長可達21公分，棲息在底中層水域，生活習性不明。
梅涅勞斯嶺，是南極洲的山嶺，位於帕默群島的昂韋爾島中部，屬於亞該亞山脈的一部分，海拔高度1,370米，在1955年由英國研究隊測量，現時由南極條約體系管理。
馬爾冰山麓是南極洲的冰山麓，位於帕默群島的昂韋爾島西北部，由德國探險隊發現，以英國海洋生物學家命名，現時由南極條約體系管理。
液化空氣集團（法語：Air Liquide S.A），是一家法國工業氣體公司。
成立于1902年，總部位于法國巴黎，是世界上最大的工業、健康和環保氣體供應商之一。法液空集團向眾多的行業提供氧氣、氮氣、氫氣和其它氣體及相關服務。目前，該公司在八十多個國擁有約五萬名員工。
2016年5月27日，以每股143美元現金，斥資134億美元收購美國同業Airgas公司。
*1902年：創辦人Georges Claude和Paul Delorme開發一套液化空氣之技術，同年成立公司。
*1906年：開始開拓國外市場，包括德國、意大利、日本、加拿大。
*1938年：收購阿根廷La oxígena S.A.。
*1946年：成立子公司La Spirotechnique。
*1996年：收購德國Schuelke and Mayr。
+ 百萬歐元
10 435
10 949
16 330
30 800
31 900
35 900
36 900
50 000+
::::::來源 : OpesC
截至2016年2月29日，該公司的股票價值為334.34億歐元，配股344,222,603份。
富克斯冰山麓（Fuchs Ice Piedmont），是南極洲的冰山麓，位於帕默群島的阿德萊德島西岸，長130公里，在1909年由讓-巴蒂斯特·夏古率領的法國探險隊繪入地圖，現時由南極條約體系管理。
亞馬遜河鋸脂鯉，為輻鰭魚綱脂鯉目脂鯉亞目鋸脂鯉科的其中一個種。分布於南美洲亞馬遜河流域，體長可達21公分，棲息在底中層水域，生活習性不明。
抹香鯨嶺是南極洲的山嶺，位於葛拉漢地的奧斯卡二世海岸，處於沃登高地北部，海拔高度約800米，由英國南極名稱諮詢委員會命名，現時由南極條約體系管理。
爬蟲嶺是南極洲的山嶺，位於葛拉漢地的阿德萊德島，長3.7公里，海拔高度約250米，在1977年由英國南極名稱諮詢委員會命名，現時由南極條約體系管理。
桂林市第十三中學，簡稱十三中，是直屬桂林市教育局的一所公辦初級中學，現有教學班24個，學生1087人，教職工90人。學校地處桂林市中心的四會路口，位于老人山下，兩江四湖的桂湖湖畔。1947年即在此建立學校。十三中的前身是桂林市立實驗中心小學，中共建政后更名為桂林市立第一小學。1954年，再次更名為四會路小學，1969年9月開始附設初中班，1972年取消小學，桂林市第十三中學正式成立。
桂林市第十三中學校園網
薩米特嶺是南極洲的山嶺，位於葛拉漢地的特里尼蒂半島東北端，長0.9公里，海拔高度380米，在1945年由英國研究隊命名和繪入地圖，現時由南極條約體系管理。
帕塞斯峰是南極洲的山峰，位於葛拉漢地的特里尼蒂半島，海拔高度535米，在1945年由英國研究隊繪入地圖，現時由南極條約體系管理。
斯托克嶺是南極洲的山嶺，位於葛拉漢地的阿德萊德島東南部，處於羅瑟拉角西北面6公里，長1.9公里，海拔高度約420米，現時由南極條約體系管理。
斯蒂克爾嶺是南極洲的山嶺，位於葛拉漢地的詹姆斯羅斯島，處於聖馬撒灣以西，海拔高度約720米，由英國南極名稱諮詢委員會命名，現時由南極條約體系管理。
聖馬撒灣是南極洲的海灣，位於葛拉漢地的詹姆斯羅斯島，處於克羅夫特灣西北部，在1959年的阿根廷地圖中被命名，現時由南極條約體系管理。
宙斯嶺是南極洲的山嶺，位於帕默群島的昂韋爾島中部，處於亞該亞山脈和特洛伊山脈之間，在1955年由英國研究隊測量，現時由南極條約體系管理。
布羅克赫斯特嶺是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈的一部分，由澳大利亞探險隊繪入地圖，現時由南極條約體系管理。
埃弗謝德效應由英國天文學家約翰·埃弗謝德于1909年發現，從太陽黑子的本影和半影間，有氣體向二邊水平輻射流。流速距出發點越運，速度越快，氣體流的典型速度為1-4Km每秒，達到太陽黑子外邊界處突然停止，這種現象稱為埃弗謝德效應。此效應對太陽黑子的形成，穩定和動力過程都起重要作用；而且是太陽物理的基本問題之一。
現在關于埃弗謝德效應的理論主要有二大類：
#氣體在磁通管內作管狀流動
#氣體如放長卷作對流式運動
但對其物理機制尚未有統一的認識。
布拉德利嶺是南極洲的山嶺，位於麥克羅伯特森地，處於彼得山東南面13公里，屬於查爾斯王子山脈中阿索斯山脈的一部分，由澳大利亞探險隊繪入地圖，現時由南極條約體系管理。
邦德嶺是南極洲的山嶺，位於麥克羅伯特森地，處於斯庫拉冰川北岸，屬於查爾斯王子山脈的一部分，由澳大利亞探險隊繪入地圖，現時由南極條約體系管理。
巴戈特嶺是南極洲的山嶺，位於麥克羅伯特森地，處於鮑德溫冰原島峰以西3公里，屬於查爾斯王子山脈的一部分，根據澳大利亞探險隊的測量和空中照片繪入地圖，現時由南極條約體系管理。
阿利森嶺是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈中阿拉米斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
古多爾嶺是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
戈爾茲沃西嶺是南極洲的山嶺，位於麥克羅伯特森地，屬於弗拉德山脈的一部分，挪威製圖師根據該國探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
克萊格嶺是南極洲的山嶺，位於麥克羅伯特森地，處於阿爾莫尼尼冰原島峰西南面9公里，屬於查爾斯王子山脈的一部分，根據澳大利亞探險隊在1960年拍攝的空中照片繪入地圖，現時由南極條約體系管理。
查普曼嶺是南極洲的山嶺，位於麥克羅伯特森地，處於伯德角西南面，長6公里，海拔高度300米，由澳大利亞探險家率領的探險隊發現，現時由南極條約體系管理。
哈爾孔布嶺是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於維格納爾峰以西6公里，長3公里，根據澳大利亞探險隊在1956年拍攝的空中照片繪入地圖，現時由南極條約體系管理。
維格納爾峰是南極洲的山峰，位於麥克羅伯特森地，處於麥卡錫山以西，屬於查爾斯王子山脈中波爾托斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
麥卡錫山是南極洲的山峰，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，海拔高度1,860米，以氣象學家命名，現時由南極條約體系管理。
哈維嶺是南極洲的山嶺，位於麥克羅伯特森地，處於哈斯基山以東4公里，屬於查爾斯王子山脈中阿拉米斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
哈里斯嶺是南極洲的山嶺，位於麥克羅伯特森地，處於多佛斯山東北面4公里，屬於查爾斯王子山脈中阿索斯山脈的一部分，由澳大利亞探險隊繪入地圖，現時由南極條約體系管理。
多佛斯山是南極洲的山峰，位於麥克羅伯特森地，處於德懷爾山西北面4公里，屬於查爾斯王子山脈中阿索斯山脈的一部分，現時由南極條約體系管理。
德懷爾山是南極洲的山峰，位於麥克羅伯特森地，處於多佛斯山東南面4公里，屬於查爾斯王子山脈中阿索斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
麥克拉倫嶺是南極洲的山嶺，位於麥克羅伯特森地，處於拉多克湖以西9公里，屬於查爾斯王子山脈中阿拉米斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
孟加拉蘇丹國，是指中世紀五個在孟加拉半獨立王朝。首先是蘇丹法赫爾丁·穆巴拉克·沙阿，1338年從德里蘇丹國獨立和自封蘇丹。在接下來的三個世紀中，由來自突厥，孟加拉，阿拉伯，阿比西尼亞和阿富汗起源的統治者統治蘇丹國。
蘇丹國在十六世紀初垮臺，並於1576年被吸收到莫臥兒帝國。
凱澤嶺是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈的一部分，長20公里，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
肯尼思嶺是南極洲的山嶺，位於麥克羅伯特森地，屬於曼寧冰原島峰的一部分，由美國海軍拍攝照片，以無線電操作員命名，現時由南極條約體系管理。
惠特沃思嶺是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於萊基山東北面3.7公里，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
萊基山是南極洲的山峰，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於馬丁山以東6公里，由澳大利亞探險隊踏足該山峰，現時由南極條約體系管理。
馬丁山是南極洲的山峰，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於利德山以東，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
利德山是南極洲的山峰，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於梅爾芬山東北面13公里，於1956年由澳大利亞探險隊發現，現時由南極條約體系管理。
史文森嶺是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈中阿索斯山脈的一部分，根據澳大利亞探險隊的測量和空中照片繪入地圖，現時由南極條約體系管理。
辛普森嶺是南極洲的山嶺，位於麥克羅伯特森地，處於特溫托普山以南1.9公里，屬於弗拉姆山脈的一部分，根據澳大利亞探險隊的測量繪入地圖，現時由南極條約體系管理。
CS/LS5型沖鋒槍（前稱：警用9毫米沖鋒槍）是一款由中國制造的9毫米口徑沖鋒槍。它由重慶市的建設工業（集團）總公司所研制、中國兵器裝備集團所生產。CS/LS5型沖鋒槍的設計是發射9×19毫米口徑手槍子彈，其中包括9×19毫米魯格彈。但是由於在中國製造的關係，也可以發射貫穿力更強的DAP92式9毫米普通彈，以及殺傷力較低的9毫米低殺傷彈。
在2009年5月19日北京展覽館開幕的第三屆中國國際警用裝備及反恐技術裝備展覽會上，重慶建設工業（集團）展出了一種9毫米口徑的新型沖鋒槍。這是廠家針對警用武器市場而研制的。
2012年5月，這槍通過了外貿定型，並正式命名為CS/LS5型沖鋒槍，并在2012年第五屆警用裝備展上再次展出。
CS/LS5型沖鋒槍是重慶建設工業（集團）公司針對近年來國內外執法、維穩、反恐等形式的特殊任務需要，專為警察和治安部隊研制的一款集反恐與防暴功能于一身的通用型9毫米沖鋒槍。具有多彈種兼容發射優勢，無須任何轉換機構，既可發射9×19毫米魯格手槍子彈和DAP92式9毫米普通彈（殺傷彈，殺傷有效射程內生動目標），也可發射9毫米低殺傷彈（橡膠彈，對生動目標進行非致命性打擊），還可加裝瞄準鏡、夜視儀、戰術燈和雷射瞄準器等，以實現多重戰術功能。
從原型警用9毫米沖鋒槍開始，從外觀上來看與HK MP5沖鋒槍有些神似，但缺少了HK MP5的圓滑流暢，而增加了FAMAE SAF棱角分明的外觀。定型為CS/LS5型以后，在外觀上，尤其是槍托、手槍握把、護木等都作出了改變。
原型警用9毫米沖鋒槍采用了以沖鋒槍而言較為少見的氣動式緩沖和減速機構，無需任何轉換機構即可兼容并可靠地發射9×19毫米魯格手槍子彈、DAP92式9毫米普通彈以及警用轉輪手槍上配用的9毫米低殺傷彈，前兩者可殺傷150公尺（164.04碼）范圍內的有生目標，后者則對10—80公尺（10.94－87.49碼）范圍內的有生目標進行非致命打擊。由于這種橡膠彈尖的低殺傷彈的膛壓較低，如果在傳統的反沖作用槍機或HK MP5沖鋒槍的滾輪延遲反沖式閉鎖原理上無法使用這種低膛壓的橡膠彈，于是研究人員決定采用氣動式原理并且具有兩級氣體調節器。當發射橡膠彈的時候使用大導氣量來增加作用于槍栓的能量，而當發射普通9毫米子彈的時候則使用小導氣量。另外據說該氣體調節器是自動調節的，而不需要手動調節或轉換機構。但定型為CS/LS5型以后，建設工業工作人員表示CS/LS5型沖鋒槍為反沖作用槍機、機構和采用回轉式擊錘。
其拉機柄與槍栓采用分離式設計，射擊過程中拉機柄不隨槍栓往復運動，可避免射擊過程中拉機柄隨槍栓運動對射手造成傷害。位于左側機匣面、手槍握把的上方設有撥鈕式快慢機，有三個位置，對應檔位三個：“2”檔，全自動；“1”檔，半自動；“0”檔，保險。原型警用9毫米沖鋒槍的拉機柄位于護木右側。兩者同樣可以根據客戶的需要，實現左右互換；上機匣為衝壓鋼制而下機匣則是鋁合金所制造。定型為CS/LS5型以后，拉機柄正式設于護木左側，以更符合大多數人的使用習慣；并在機匣上增設拉機柄卡槽，射擊后可槍栓固定在后方，以便冷卻槍管；而上下機匣，包括彈匣插座、扳機單元和手槍握把亦改由工程塑料制成。手槍握把進行了橫向防滑紋的設計，其空心結構可以放置各種小型附件。
原型警用9毫米沖鋒槍以30發可拆卸式鋼制不透明彈匣供彈，只在機匣左側的圓形凹槽中設有彈匣卡筍。定型為CS/LS5型以后，采用了更為輕量化的30發可拆卸式半透明工程塑料材質彈匣供彈，有利于使用者觀察余彈；并采用非對稱的雙側設置，于發射基座右側面的彈匣插座裙口后部亦設計了一個“彈匣快速釋放卡筍”，可以讓使用者的右手在不脫離握持手槍握把的情況下，通過食指便可實現彈匣的快速釋放。
槍托為折疊式，可向右側折疊。原型警用9毫米沖鋒槍的槍托卡筍為按壓式，位于左側機匣面與槍托的結合部。定型為CS/LS5型以后仍為按壓式，但位置改為槍托的頂部，使之更便于操作。
2009年初期原型警用9毫米沖鋒槍的照門配裝為“轉鼓”型照門。而2011年開始照門改為翻轉調節式覘孔照門，帶照門護翼；定型為CS/LS5型以后亦為2011年版本。而準星自原型槍開始就是柱狀準星，準星基座帶有上端開孔的全包式護圈，左側還設置了環。
原型警用9毫米沖鋒槍護木下方和機匣頂部的照門組前方設置有一段國際通用的MIL-STD-1913戰術導軌，用以安裝垂直握把、光學瞄準鏡等附件；護木兩側設有與QBZ-95-1 5.8毫米口徑步槍通用的燕尾式導軌，以安裝戰術燈等附件。這種獨特的導軌搭配，頗有中西合璧的感覺。如果用于出口的話，只需將護木兩側可拆卸的燕尾式導軌更換成為MIL-STD-1913戰術導軌即可。定型為CS/LS5型以后，護木兩側及下方的燕尾式導軌都改為MIL-STD-1913戰術導軌。但據建設工業工作人員表示，由于護木處拉機柄及導槽的結構，導致它不適合設置全尺寸導軌。
原型槍槍口可以安裝由QCW-05的消聲器所改進而成的消聲器令其成為「微聲沖鋒槍」。目前未知定型為CS/LS5型以后是否保留安裝消聲器的能力。
** 2011年6月下號： 第四屆中國（北京）國際警用裝備及反恐技術裝備展覽會新品呈獻
** 2011年7月上號： 建設工業公司新型警用9mm沖鋒槍
** 2012年7月下號： 國產新型CS/LS5通用型9mm沖鋒槍
** 2016年7月下號： CS/LS5型9mm沖鋒槍改進型
** 第7卷：中國制造——2011年中國國際警用裝備展上的輕武器
** 第18卷：中國國際警用裝備展－中警展建設集團輕武器展示
* — Modern Firearms—CS/LS-5 submachine gun
* — The Firearm Blog.com—Sino Defense Manufacturing SMG9 Test From Pierangelo Tendas
* — D Boy Gun World（槍炮世界）—CS/LS5型沖鋒槍
* — 中國警察網－國產新型警用9毫米沖鋒槍亮相警博會
* — 國產新型警用9毫米沖鋒槍亮相(圖)
**  中國的“MP5”：新型警用沖鋒槍
**  我警用MP5沖鋒槍是德國MP5的仿造
**  國產的MP5漂亮不？新的CS/LS5沖鋒槍要定型裝備了
* — 中華網－國產新款CS-LS5-9毫米沖鋒槍
摩根嶺是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於斯莫爾山和波拉德山之間，根據澳大利亞探險隊的測量和空中照片繪入地圖，以冰川學家命名，現時由南極條約體系管理。
斯莫爾山是南極洲的山峰，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於克羅恩山西南面，根據澳大利亞探險隊的測量和空中照片繪入地圖，現時由南極條約體系管理。
波拉德山是南極洲的山峰，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於克羅恩山以西6公里，根據澳大利亞探險隊的測量和空中照片繪入地圖，現時由南極條約體系管理。
喬納森·盧多維奇·比亞比亞尼（，），是一名法國足球運動員，現效力于意大利足球甲級聯賽球隊帕爾馬。
比亞比亞尼的父母來自瓜德羅普，他出生于法國巴黎，早期在巴黎郊區的勒布朗-梅尼爾接受足球訓練。2004年7月，他被意大利足球甲級聯賽球隊國際米蘭的球探相中并以“喬納森·貝格拉”的名字注冊。 2007年1月17日，他在意大利杯國際米蘭主場2比0擊敗恩波利的比賽第76分鐘替補路易斯·菲戈出場，上演職業生涯首秀。
2007年8月，比亞比亞尼被租借到意乙聯賽球隊切沃， 但他只能為切沃的青年隊出場，并沒有參加正式比賽。2008年1月，他被租借到另一支意乙球隊摩德納， 他擔任球隊的主力，在2007/08賽季下半賽季出場15次，射進1球。2008年7月，他被續租到摩德納一年。2009年7月，比亞比亞尼租借到意甲升班馬帕爾馬。2010年2月1日，作為國際米蘭購入-{zh-hans:麥克唐納·馬里加;zh-hk:麥當勞·馬里加}-一半所有權交易的一部分，帕爾馬簽入比亞比亞尼的一半所有權。 隨后國際米蘭透露比亞比亞尼的身價為500萬歐元，因為帕爾馬購入他一半所有權的價格為250萬歐元。 2010年6月，國際米蘭以950萬歐元的價格買回帕爾馬手中馬里加和比亞比亞尼的一半所有權. 國際米蘭稍后指出由于球員身價上漲，買回比亞比亞尼一半所有權的價格為420萬歐元。 2010/11賽季，比亞比亞尼回歸國際米蘭參加意甲聯賽。2010年12月18日，他在-{zh-hans:2010年世界俱樂部杯;zh-hk:2010年世界冠軍球會盃}-決賽射進在國際米蘭的首個進球，幫助球隊3比0擊敗TP馬贊姆貝.
2011年1月28日，比亞比亞尼作為-{zh-hans:詹保羅·帕齊尼;zh-hk:柏仙尼}-轉會國際米蘭協議的一部分，加盟桑普多利亞。 2011年6月24日，他再次被租借到帕爾馬。 他在2011/12賽季聯賽所有38場比賽都得到出場機會。2012年夏季，帕爾馬以350萬歐元買入比亞比亞尼的一半所有權。
* 國際足聯世界俱樂部杯：2010年
米勒山脈是南極洲的山嶺，全長80公里，該山嶺取自新西蘭探險隊的成員，南端由尼姆羅德冰川開始，沿著馬爾什冰川西側，現時該山嶺由南極條約體系管理。
安古斯·麥克菲登（，）是一名蘇格蘭男演員，出生于1963年9月21日，他扮演的比較聞名的角色有《勇敢的心》中的羅伯特·布魯斯、《電鋸驚魂3》中的杰夫·登倫和《我家買了動物園》中的皮特·麥奎帝等。他在很多電視劇中出現過，比如《加州靡情》、《犯罪心理》和最后一季的《超市特工》等等。
安古斯的童年經歷豐富多彩，他的父親是世界衛生組織的成員，所以他在兒時幾乎是在非洲、澳大利亞、法國、菲律賓、新加坡、丹麥等等這些不同的國度中度過的。安古斯在法國接受過教育，會一口流利的法語，在愛丁堡大學獲得法語和英語碩士榮譽。在英國中央演講和戲劇學院接受培訓。
''The Lost Language of Cranes''
Philip Benjamin
''Soldier Soldier''
Lt. Alex Pereira
''15: The Life and Death of Philip Knight''
David McBride
''Two Golden Balls''
''Takin' Over the Asylum''
同時出演影片旁白
''Liz: The Elizabeth Taylor Story''
''Nevada''
Michael Davidson/Adolf Hitler
''Still Breathing''
''Joseph's Gift''
''The Brylcreem Boys''
Count Rudolph von Stegenbek
''The Rat Pack''
''Lanai-Loa''
Frederic Colbert
又名 ''Death Valley''
''Jason and the Argonauts''
''Second Skin''
Sam Kane
''A Woman's a Helluva Thing''
Houston Blackett
''Styx''
''On the Roof''
''Divine Secrets of the Ya-Ya Sisterhood''
Connor McGill
Dupont
Alva Keel
''5ive Days to Midnight''
Roy Bremmer
''Tilt''
Roy "Mac" McEntyre
''Murder on the Yellow Brick Road''
Michael Alberts
''Shooting Gallery''
Tenderloin Tony
Joseph Ehrmann
''The Virgin of Juarez''
Patrick Nunzio
''Fatwa''
''Blackbeard''
''The Pleasure Drivers''
''Scoundrels, Scallywags, and Scurvy Knaves''
《電鋸驚魂3》
獲 Scream Award for Scream King 提名
''.45''
''The Rich Inner Life of Penelope Cloud''
《殺人海嘯》
John McAdams
TV mini-series（短電視劇）
''Redline''
Michael D'Orazio
《電鋸驚魂4》
''Impulse''
Jonathan Dennison/Simon Phillips
''Clean Break''
''San Saba''
Jason Cooper
One episode
《加州靡情》
《電鋸驚魂5》
''Shadowheart''
Will Tunney
''Pound of Flesh''
《電鋸驚魂6》
Logan Paget
''Shadows of the White Nights''
Sean McAllister
皮特·麥奎迪
Nicholas Quinn
''Copperhead''
Jee Hagadorn
''Sugar''
Uncle Gene
''Turn''
Robert Rodgers
將上映的電視劇
《鋼鐵雨：深潛行動》
President Smoot
《超人與露易絲》
是1998年董瑋執導的一部香港喜劇動作片，李連杰、曾志偉、任達華和梁詠琪主演，該片是李連杰進軍好萊塢之前的最後一部港產片，他在本片中罕有以粵語原聲演出。
中日戰爭，有位老人在戰時家破人亡，為了報復仇人塚本家族，以一箱軍票做為籌碼，聘請全世界一流的殺手暗殺，於是殺手之王——「熾天使」在此時出現。
塚本會社的社長塚本先生擔心有天會遭殺手暗殺而亡，在生前投入一億美金設立復仇基金帳戶，一旦自己遭到暗殺身亡，復仇基金便會馬上運作，查出並消滅主使人與殺手，即可獲得這一億美金的獎勵。有天，熾天使闖入塚本會社總部大廈，突破重重防衛系統，塚本先生在臨終前警告熾天使，但最終仍然被殺。此刻，復仇基金隨之啟動，熾天使開始遭到全世界殺手的追殺，許多殺手都透過經紀人報名參加復仇基金，如此龐大的一筆基金，連帶吸引了塚本先生的孫子英二也前來角逐。
大陸來港謀生的殺手
律師，追求琪琪
善終基金會經理
黑社會大佬，兒子被阿富所救
Paul Rapovski |
塚本英二手下
原塚本手下，後追隨塚本英二
追到岳魯家之殺手
阿狗手下，後遭警擊斃
塚本中心保安
David父親友人
善終基金參加者
Ernest Mauser |
善終基金會委員小組
於兒童樂園之警察
警察，阿軍手下
善終基金會成員
警察，阿軍上司
尼爾蘭德 |
*第18屆香港電影金像獎最佳動作設計獎提名：董瑋
*第35屆金馬獎最佳動作設計獎提名：董瑋
錫德斯曼山是南極洲的山峰，位於麥克羅伯特森地，屬於查爾斯王子山脈中阿索斯山脈的一部分，處於多佛斯山以東15公里，根據澳大利亞探險隊的空中照片繪入地圖，現時由南極條約體系管理。
麥克萊恩嶺是南極洲的山嶺，位於麥克羅伯特森地，處於巴特沃思山東南面6公里，屬於查爾斯王子山脈中阿拉米斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
臺灣農曆春節，傳統稱呼有新正（臺：Sin-tsiann、客：Xinˊzangˊ、馬祖話：S?ng-ci?ng）、新年（臺：Sin-n?、馬祖話：S?ng-nièng）、開正（臺：Khui-tsiann）、正月（臺：Tsiann-gue?h，客：Zangˊngied）、元旦（臺：Guan-tàn，客：Ngienˇdan）、新春（臺：Sin-tshun，客：Xinˊcunˊ），又俗稱新正年頭（臺：Sin-tsiann-n?-thau，客：Sinˊzangˊngienˇteuˇ）、過年、正月正時、舊曆年。是指臺灣漢人從農曆十二月十六尾牙到新年二月初二頭牙期間，慶祝農曆新年的傳統節俗。尤以除夕夜到正月初五隔開（開工）為重。過年期間的傳統稱呼為「新正」，大年初一亦稱為「新正年頭」、「開正」、「正月初一」，拜年稱為「賀正」，與一系列節令、祭祀等活動。
「新正」，即新正朔，為稱呼正月初一之意。進入日治時期，臺灣總督府曾頒布過「廢舊正月」，推廣新曆元旦，惟總督府發行的民曆仍附有舊曆，而民間也曾同時過日式新曆新年與臺式農曆新年。戰後，國民政府沿用原中國新年習俗稱呼，改稱農曆春節，遂成通稱。
中華民國國曆（公曆）、農曆二種曆法並行，時序進入二種曆法的一月一日皆謂「新年」，無論是跨年至公曆元旦，或是農曆年的春節，民眾見面祝賀語均可稱「新年快樂」。因二曆法日期不同，使用「新年」並不致混淆，反而是普遍之用法。
臺灣新年風俗隨早年閩粵移民傳入並逐漸在地化後，亦與戰後移民的大量中國南北風俗薈萃。現代社會，部分本土的舊時習俗逐漸式微，或受日式新年習俗影響。臺灣過年與傳統民間信仰息息相關，匯聚了許多宗教科儀、人文藝術與歲時信仰等禮俗，今日仍是臺灣社會全年最重要、盛大的傳統節日。
歲末廿九暝（三十暝）時，親族會齊聚一堂舉行隆重的辭年儀式。圖左為香火興旺的祖先爐。圖右為其中一盞「神明燈臺」，其原形即是竹製的油燈架、燈鉤：「燈猴」。
臺灣民間流傳著「沉島傳說」。相傳古代人類年底祭拜各家具的神靈，感謝為人類服務，往往無意間忽略神明桌上的燈猴（油燈架、燈鉤）。有一年，燈猴精心懷不平，向玉帝告狀，控訴人類不知感恩惜福。玉帝聽信讒言而降旨，令四海龍王於除夕降下大洪水（桃園龜山版本為大地動），將臺灣島沉入海中，重建世界。土地公、灶君、床母、門神等器物神及家具神向玉帝勸阻無效便託夢給凡人，於是人們在享用完豐盛的最後一餐後準備迎接末日。後來經觀音菩薩與天上眾神向玉帝求情遂終止。當正月子時一到，臺灣人發現臺灣島未沉，便歡喜慶祝萬象更新，互道恭喜。
或一說，臺灣閩南裔漢人早年在冬至有將圓仔丁黏在傢俱、窗櫺上的習慣，稱為「餉耗」。而因案桌上的燈猴長久沾滿燈油，圓仔無法黏上而被遺漏，引發「燈猴精」不滿，飛返天庭向玉皇大帝控訴人間暴殄天物、不敬神靈。玉帝遣神下凡探查方知人間惜物愛物，歲末收冬處處拜謝眾神，燈猴精所言甚偽，方赦免此浩劫。因而在元宵節往往有「放炮燒燈猴」之舊俗。。
《民俗臺灣》等叢書紀錄當時臺灣新年行事與考據。
關於燃燒舊「竹燈鉤」之記載可上溯於《彰化縣志》等所刊載，而臺灣最早完整的《燈猴故事》則出現於1936年李獻章出版的《臺灣民間文學集》。爾後金關丈夫、立石鐵臣出版的《民俗臺灣》、東方孝義出版的《臺灣習俗》之「燈猿の忿激と越年」篇，也記載著燈猴與臺灣年的采風行事，日治警察《語苑》的臺灣話教材中更有篇名為「燈猴の怒」的故事。戰後時代，胡萬川在全臺田調時，分別在臺中清水、桃園龜山、大溪等地收錄到相關文學史料。「沉島傳說」傳說不僅描繪了古代臺灣漢人面對天然災害、地理環境的想像，更述說人們從冬至「餉耗」到新正時的行事與習俗、傢俱器物崇拜的傳統民間信仰
農曆初二、十六人們會祭拜土地公，全年最後一次祭拜稱為「尾牙」，古時農人與商人入夜會宴請家人、並犒賞伙計僕婢。演變至今為企業宴請職員同樂。
農曆十二月十六是謂「尾牙」（臺：Bué-gê / Bé-gê，客：Minˊgaˇ）。是日，農家與商家會準備盛大的牲禮祭祀福德正神土地公，入夜後，則設宴席款待親族與雇傭人。在臺灣民間信仰中，農曆二月初二為福德正神聖誕，因此臺灣的工商業者有著農曆初二、十六拜土地公的習慣。祭品在撤饌後，通常會成為餐點來食用，即稱為「做牙」、「食牙」。因此農曆二月初二為「頭牙」，十二月十六為最後一次做牙，而俗稱「尾牙」。
今日的臺灣社會，尾牙拜土地公、食尾牙仍是人們感念一年辛勞並祈求來年利市，不可或缺的習俗。尾牙這天人們會準備豐盛的牲禮、特別是象徵昌盛、興隆的白斬雞（以公雞為佳）、供品祭祀土地公以祈事業、財運亨通。又會備五味碗、燒四方金（北臺灣稱刈金，中臺灣為四方金，南臺灣用九金）、銀紙、金白錢、經衣祭祀地基主。宮廟更會請戲班來酬神，有「傀儡」、「做戲」。而夜裡，人們則會以宴席款待受僱的眾人。除了用於連絡家人的感情外，主要仍是為了回饋、感念職員與客戶一年的辛勞。
古代流傳著一趣俗，僱主會將餐宴中的主菜白斬雞的雞頭對準即將解僱之人。因而有「食尾牙面憂憂，食頭牙撚喙鬚」的趣俗。亦代表著舊時臺灣社會，主僕或僱傭之間的人情世故。尾牙這天臺灣北部還流行吃刈包、潤餅，由於刈包形似錢包，而潤餅亦像是用紙包著銅錢，因此在尾牙時食用，有著發財、富潤的意涵。惟臺灣南部幾無此俗。
每年時屆尾牙，電視上便會播映著各企業排場盛大的尾牙宴會。而此同時，各地慈善團體亦會舉行免費款待寒士、街友或獨居長者等群體的慈善尾牙。而有些業者若忙於年節業務而未舉行尾牙，多半會於年後舉辦春酒，其意義與尾牙類同。
一幅由立石鐵臣所描繪的1940年代臺北艋舺婦孺「挨粿」的圖繪。家家戶戶做粿、炊粿是早期臺灣人年節前一景。
年兜（臺：N?-tau）指全年歲暮年尾，將近過年的時刻。客家人在農曆十二月廿五則稱入年假（客：Ngib ngienˇga），意為時屆年兜，即已進入新年假期，人們開始過年。一般過了冬節、尾牙後，全年的農事休耕、商業關賬後，人們就會開始準備過年。
粿音似臺灣話「過」，是過年應景、祭祀的米食品。做粿的工序有：挨粿、做粿、炊粿；在早期社會中，被視為準備過年的象徵。製程約在農曆十二月廿四至廿六間。每一種粿皆有其臺灣話寓意：甜粿（食甜甜過好年）、發粿（發財）、菜頭粿（好彩頭）、粿上的紅棗則象徵（食紅棗年年好）。而由外省裔傳入的新年寓意中，年糕則代表「步步高陞」。粿即是客語之「粄」，新年粄圓亦是客家族群全年最重要之甜品。
農曆十二月廿四日，恭送百神返天庭。傳說灶神與眾神將向玉皇大帝稟告過去一年凡間的善惡，所以必須加以敬奉，希望灶神與眾神能在玉帝前美言幾句。送神當日須備牲禮、供品、甜湯、四果供奉，另外燒金紙、放炮仔，並焚化紙馬（或神馬、雲馬、雲馬總馬）。雲馬、神馬與雲馬總馬等，都是類似的紙錢，是繪有馬、馬車或轎子等圖案的黃紙；相傳是能助眾神登天的交通工具。送神的翌日，即廿五日，玉皇大帝會派遣代天巡狩之神或其他天神，代替在天上述職的眾神，到凡間考察善惡，稱為「天神下降」，舊俗當日不可曝曬褻衣、內褲，忌諱口出惡言。現代社會則可視實際需求取捨。同樣為求方便，現代尾牙拜土地公、司命竈君（灶神）與地基主等程序，多會一併在送神時祭拜。
農曆十二月廿五日，已婚婦女會挽面、剪髮、修整儀容準備過年，因此俗諺又稱「廿四送神，廿五挽面」。「理髮」、「挽面」象徵從頭開始煥然一新，因此會有不少人在過年前理髮、修飾與美容，期許以新氣象、迎接忙碌的賀年行事。在古代尾牙後，全民進入年兜的年關時節，理髮店因此會增加理髮費。