ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
* Step and Go（2008年2月20日）
* 前往風的彼方（2008年8月20日）
* Believe（2009年3月4日）
* Face Down（2012年5月9日）
* Daylight（2016年5月18日）
* 五里霧中（2004年2月18日）
* 二人的紀念日（2005年11月16日）
* NA!NA!NA!（2006年5月17日）
* 永遠（2007年2月21日）
* Di-Li-Li（2007年5月2日）
* Still...（2007年9月5日）
* 發條鐘的傘（2009年11月11日）
* 螺旋墜落（2010年5月19日）
* Boom Boom（2011年2月23日）
* うたかた（2011年11月2日）
* ふたりのカタチ（2012年3月7日）
* Sync（2014年2月12日）
* HERE WE GO!（2002年7月17日）
** Theme of ARASHI
** ALL or NOTHING Ver.1.02
* How's it going?（2003年7月9日）
** Crazy ground的國王
* 就趁現在（2004年7月21日）
** EYES WITH DELIGHT
** RIGHT BACK TO YOU
* 5×5 THE BEST SELECTION OF 2002←2004（2004年11月10日）
** La tormenta 2004（僅限通常盤）
* One（2005年8月3日）
* ARASHIC（2006年7月5日）
** Runaway Train
** Raise Your Hands
* Time（2007年7月11日）
** Can't Let You Go（僅限初回限定盤）
* Dream "A" live（2008年4月23日）
** Move your body
** Once Again（僅限通常盤）
** Hip Pop Boogie（僅限初回限定盤）
* 1999-2009 完全精選! （2009年8月19日）
** Re(mark)able （僅限初回限定盤）
* 我眼中的風景（2010年8月4日）
**  let me down
**  Summer Splash!
* Beautiful World（2011年7月6日）
* Popcorn  （2012年10月31日）
** Fly on Friday
** Welcome to our party
* LOVE  （2013年10月23日）
**P?A?R?A?D?O?X
**sugar and salt
**Starlight kiss
* THE DIGITALIAN  （2014年10月23日）
(僅限通常盤，全曲作詞)
* Japonism  （2015年10月21日）
**In The Room（イン?ザ?ルーム）
*Are You Happy?? （2016年10月26日）
**TWO TO TANGO（僅限通常盤）
* La Tomenta (舊版)
* Where is the Love?
* いつかのsummer(RAP版)
* 筆尖的方向 chapterI～chapterIII
* 二人的紀念日（完整Rap版）
* Hip Pop Boogie Chapter II
*: 『ARASHI BLAST in Miyagi』
*註：角色名粗體字者表示為主演
27HTV 父親
木更津貓眼|
池袋西口公園|
時生 給父親的口信
世界奇妙物語 才能糖果
益-{智}-遊戲
神戶新聞7日間
再也不誘拐了|
推理要在晚餐後 SP
推理要在晚餐後 船上偵探影山
推理要在晚餐後 風祭警部的事件簿
大使閣下的料理人
談戀愛世界難
櫻井翔@News Zero
獻給你的徽章
NO SIDE GAME
木更津貓眼日本系列
木更津貓眼完結篇
推理要在晚餐後電影版
神的病歷簿2
綜藝節目名稱
餓鬼薔薇帝國2000!
USO!Japan
探險! ホムンクルス
嵐の技ありっ！
澳大利亞大陸縱斷面!激斗3000km　超強勁遊戲
嵐的大挑戰第1期
櫻井·有吉 THE夜會
嵐的大挑戰第2期
傑尼斯的幻想KYO TO KYO
傑尼斯的幻想KYO TO KYO 舞臺版
West side story
報道節目名稱
NEWS ZERO
ZERO×選舉2007NNN總選舉特別節目 ZERO×選舉2009ZERO×選舉2010NNN總選舉特別節目 ZERO×選舉2012ZERO×選舉2013擔當「MY VOICE」角色NNN衆院選特別番組 ZERO×選挙2014 小泉進次郎訪談、プレゼンターNNN參院選特別番組 ZERO×選挙2016 小泉進次郎訪談、「VOTE18」、擔當「MY VOICE」角色NNN衆院選特別番組 ZERO×選挙2017 小泉進次郎訪談、擔當「MY VOICE」角色
THE MUSIC DAY 伝えたい歌
體育節目名稱
2007年排球世界盃
2008年夏季奧林匹克運動會
2010年冬季奧林匹克運動會
LONDON HEAT～倫敦熱視線～
2012年夏季奧林匹克運動會
向明石家秋刀魚&櫻井翔&上田晉也在倫敦！日本代表命運日SP
倫敦奧林匹克運動會2012 秋刀魚·櫻井·上田的獎牌獲得者生大集結！慶祝勝利會
2019年世界盃橄欖球賽
* Extra Storm in Winter '06 THE SHOW 櫻井翔 Solo concert （2006.1.14～2006.1.31）
* 《In a rush!―嵐1st寫真集》（Magazine House mook）
* 《嵐04150515―嵐之Pika☆Nchi Daily Life》（M.Co）
* 《Pika☆☆Nchi A to Z―嵐之Pika Nchi Double Daily Life》（M.Co）
* 《アラシゴト》(集英社)　- 嵐（著）
岑毓英，字彥卿，號匡國，中國廣西壯族人。清朝光緒年間政治、軍事人物。
岑毓英出生於廣西，家族本是壯族勞寨土司，因清朝改土歸流而家道沒落。早年組織團練剿匪有功。
1856年云南回變中，他跟隨廣西團練前往云南助剿，先后與滇西杜文秀的回族武裝以及貴州豬拱箐地區的苗民起義武裝交戰，屢立戰功。1873年云南回變平定時，他已升為云南巡撫。
1875年云南巡撫任上，下令騰沖縣騰越鎮邊防軍民阻擋來自緬甸的英國武裝探險隊，擊斃英國駐華公使館書記官馬嘉理，引發馬嘉理事件，導致《中英煙臺條約》的簽訂。
1881年，岑毓英任福建巡撫，轄管閩臺地區，于1874年發生的臺灣牡丹社事件後加強西南海防。于任內不但整建兩地軍防水治，並於1881年前往臺灣監督臺北府城建城事宜，讓本窒礙難行的建城事宜得以繼續。
1884年中法戰爭爆發，岑毓英奉調雲貴總督，並參與宣光之戰，雖後因戰功任兵部尚書，不過對中法戰爭態度較不積極，頗成歷史話題。
岑毓英為壯族歷史中的首位總督、頭品頂戴與兵部尚書。岑毓英於1889年去世，卒諡襄勤。
岑春煊、岑春蓂。
岑毓英墓位于今廣西桂林市疊彩區大河鄉。
*《清史稿》卷四百十九 列傳二百六
*大甲溪橋 (清)：岑毓英1881年來臺時所籌建的工程。
組合子邏輯是Moses Sch?nfinkel和哈斯凱爾·加里介入的一種符號系統，用來消除數理邏輯中對變量的需要。它最近在計算機科學中被用做計算的理論模型和設計函數式編程語言的基礎。它所基于的組合子是只使用函數應用或早先定義的組合子來定義從它們的參數得出的結果的高階函數。
組合子邏輯意圖作為簡單的元邏輯，它能澄清在邏輯符號中的量化變量的意義，并真正的消除對它們的需要。消除量化變量的另一種方式是蒯因的謂詞函子。盡管多數組合子邏輯系統超出了一階邏輯的表達能力，蒯因的謂詞函子的表達能力等價于一階邏輯（#Quine 1960 1966|Quine 1960 1966）。
組合子邏輯的最初發明者Sch?nfinkel，在1929年之后基本停止了發表著作。Curry在1927年晚期于哥廷根大學讀博士的時候重新發現了組合子。在1930年代后期，邱奇和他的學生在普林斯頓發明了一個競爭的函數抽象的形式化，就是lambda演算，它比組合子邏輯更加流行。這些歷史上的意外事件的結果是直到在1960年代和1970年代理論計算機科學開始感興趣于組合子邏輯，關于這個主題的幾乎所有工作都是Haskell Curry和他的學生們，或比利時的Robert Feys做的。Curry和Feys (1958)和Curry等人（1972） 縱覽了組合子邏輯的早期歷史。組合子邏輯和lambda演算的更現代的平行處置參見Barendregt（1984），他還評論了Dana Scott在1960年代和1970年代為組合子邏輯設計的模型。
在計算機科學中，組合子邏輯被用做可計算性理論中計算和證明論的簡化模型。這個理論盡管簡單，但捕獲了計算本質的很多根本特征。
組合子邏輯可以被看作是lambda演算的變體，它把lambda表達式（用來允許函數抽象）替代為組合子的有限集合，它們是不包含自由變量的原始函數。很容易把lambda表達式變換成組合子表達式，并且因為組合子歸約比lambda歸約要簡單，它已經被用做用軟件中的某些非嚴格的函數式編程語言和硬件的圖歸約機的實現基礎。
還可以用很多其他方式來看待它，很多早年的論文證明了各種組合子到各種邏輯公理的等價性Hindley and Meredith, 1990。
lambda演算關注的是叫做lambda-項的對象，它們是下列形式之一的符號串：
這里的v是變量名字，它取自預定義變量名字的無限集合，而E1和E2是lambda-項。形如λv.E1的項叫做抽象。變量v叫做抽象的形式參數，而E1是抽象的“主體”。
項λv.E1表示一個函數，它應用于一個參數，綁定形式參數v到這個參數，接著計算E1的結果值---就是說，它返回E1，帶有v的所有出現被參數所替代。
形如 (E1 E2)的項叫做應用。應用建模函數調用或執行：調用E1所代表的函數，帶有E2作為它的參數，并計算結果。如果E1（有時叫做applicand）是一個抽象，則這個項可以被歸約：參數E2可以被代換如E1的主體中E1的形式參數的位置上，而結果是一個新的lambda項，它等價于舊的。如果一個lambda項不包含形如 (λv.E1 E2)的子項，則它不能被歸約，而被稱為是范式。
表達式Ev := a表示接受項E并把v的所有自由出現替代為a的結果。所以我們寫
:(λv.E a) => Ev := a
出于方便，我們用 (a b c d ... z)來簡寫 (...(((a b) c) d) ... z)。（就是說，應用是左結合的）。
歸約的這個定義的動機是捕獲所有數學函數的本質行為。例如，考慮計算數的平方的函數。我們寫
:x的平方是x*x
（使用"*"來指示乘法）。這里的x是這個函數的形式參數。要計算一個特定參數的平方，比如3，我們把它插入到這個定義中形式參數的位置上：
:3的平方是3*3
要求值表達式3*3的結果，我們必須訴諸我們關于乘法和數3的知識。因為任何計算都簡單的就是在適當基本參數上的適當函數的計算的復合，這個簡單代換原理足夠捕獲計算的本質機制。此外，在lambda演算中，概念比如3和*，不需要任何額外定義基本運算符或常量就可以表示出來。有可能在lambda表達式中確定一些項，在做適合的解釋的時候，它們的表現得如同數3和乘法運算符。
已知lambda演算在計算性上等價于關于計算的任何其他似乎為真的模型（包括圖靈機）的能力；就是說，可以在任何這些模型中完成的計算都可以用lambda演算表達，反之亦然。根據邱奇-圖靈論題，這些模型都可以表達任何可能的計算。
可能令人驚奇，只使用基于對項中變量的簡單文字代換的函數抽象和應用的簡單概念，lambda演算可以表達任何可想象出來的計算。但是更加不尋常的是甚至抽象都是不需要的。組合子邏輯就是等價于lambda演算的計算模型，它不需要抽象。
因為在lambda演算中抽象是制造函數的唯一方式，在組合子演算中必須有某種東西替代它。不再使用抽象，組合子演算提供了有限的基本函數的集合，其他函數可以用它們來構建。
組合子項是下列形式之一：
這里的v是一個變量，P是基本函數之一，而E1和E2是組合子項。基本函數自身是組合子，或不包含自由變量的函數。
組合子的最簡單的例子是I，恒等組合子，定義為
:(I x) = x
對于所有的項x。另一個簡單的組合子是K，制造常量函數：(K x)是對于任何參數都返回x的函數，所以我們定義
:((K x) y) = x
對于所有的項x和y。或者，服從同lambda演算中多重應用同樣的約定，
:(K x y) = x
第三個組合子是S，它是應用的一般化版本：
:(S x y z) = (x z (y z))
S首先將z分別代換到x和y，然后再將兩個結果進行應用操作。
給出S和K，I自身就不是必須的了，因為可以建造自其他兩個：
:   ((S K K) x)
: =(S K K x)
: = (K x (K x))
對于任何的項x。注意盡管((S K K)x) = (I x)對于任何x，(S K K)自身不等于I。我們稱這種項是外延相等的。外延相等捕獲了函數的等式的數學概念：兩個函數是相等的，如果它們對于相同的參數總是生成相同的結果。相反的，項自身捕獲了函數的內涵相等的概念：兩個函數是相等的，當且僅當它們有相同的實現。有很多實現恒等函數的方式；(S K K)和I是其中的方式，(S K S)也是。我們將使用詞等價來指示外延相等，保留等于給同一的組合子項。
更有趣的組合子是不動點組合子或Y組合子，它可以用來實現遞歸。
可能會令人驚奇，事實上S和K可以組合起來生成外延相等于任何lambda項的組合子，所以依據邱奇-圖靈論題，等價于任何可計算的函數。證明是提出一個變換T ，它轉換一個任意的lambda項到等價的組合子。
T 可定義如下：
# TV = > V
# T(E1 E2) = >(TE1 TE2)
# Tλx.E = > (K TE)（如果x在E中沒有自由出現）
# Tλx.x = > I
# Tλx.λy.E = > Tλx.Tλy.E（如果x在E中自由出現）
# Tλx.(E1 E2) =>（S Tλx.E1 Tλx.E2）
例如，我們可以轉換λx.λy.(y x)為組合子：
:   Tλx.λy.(y x)
: = Tλx.Tλy.(y x)（通過5）
: = Tλx.(S Tλy.y Tλy.x)（通過6）
: = Tλx.(S I       Tλy.x)（通過4）
: = Tλx.(S I       (K x))（通過3）
: = (S Tλx.(S I) Tλx.(K x))（通過6）
: = (S (K (S I))   Tλx.(K x))（通過3）
: = (S (K (S I))   (S Tλx.K Tλx.x))（通過6）
: = (S (K (S I))   (S (K K)   Tλx.x))（通過3）
: = (S (K (S I))   (S (K K)   I))（通過4）
如果我們應用這個組合子于任何兩個項x和y，它可以歸約到如下：
:   (S (K (S I))   (S (K K)   I) x y)
: = (K (S I) x  (S (K K)   I x) y)
: = (S I (S (K K)   I x) y)
: = (I y (S (K K)   I x y))
: = (y (S (K K)   I x y))
: = (y (K K x (I x) y))
: = (y (K (I x) y))
: = (y (I x))
: =(y x)
組合子表示 (S (K (S I)) (S (K K) I))比相應的lambda項λx.λy.(y x)要長很多，這是典型的。一般的，T 構造可以把長度為n的lambda項展開為長度為Θ（3n）的組合子項。
T 變換的目的是要消除抽象。兩個特殊情況，規則3和4是平凡的：λx.x明顯等價于I，而λx.E明顯等價于（K E），如果x在E中不是自由出現的。
前兩個規則也是簡單的：變量轉換為自身；通過簡單的轉換applicand和參數到組合子，把在組合子項中允許的應用轉換為組合子。
有趣的是規則5和6。規則5簡單的聲稱要轉換一個復雜的抽象為組合子，我們必須首先把它的主體轉換成組合子，接著消除這個抽象。規則6實際上消除這個抽象。
λx.(E1 E2)是一個函數，它接受一個參數比如a，并把它代換到lambda項 (E1 E2)中x的位置上，生成 (E1 E2)x : = a。但是代換a到 (E1 E2)中x的位置上同于代換它到E1和E2二者中，所以
:(E1 E2)x := a =(E1x := a E2x := a)
:   (λx.(E1 E2) a) = ((λx.E1 a) (λx.E2 a))
: =(S λx.E1 λx.E2 a)
: = ((S λx.E1 λx.E2) a)
通過外延相等，
:λx.(E1 E2) =(S λx.E1 λx.E2)
所以，要找到等價λx.(E1 E2)的組合子，找到等價于 (S λx.E1 λx.E2)的組合子就足夠了，而
:(S Tλx.E1 Tλx.E2)
顯然合適。E1和E2每個都包含嚴格的比 (E1 E2)更少的應用，所以遞歸必定終止于根本沒有應用的lambda項之上---要么是一個變量，要么是形如λx.E的項。
通過T 變換生成的組合子可以做的更小，如果我們采用η-歸約規則：
:Tλx.(E x) = TE（如果x在E中不是自由的）
λx.(E x)是一個函數，它接受一個參數x并應用函數E于它之上；這外延相等于函數E自身。因此足夠轉換E到組合子形式。
采用這種簡化，上面的例子變成：
: = ...
: = (S (K (S I))   Tλx.(K x))
: = (S (K (S I))   K)  （通過η-歸約）
這個組合子等價于早先的更長的那個：
:   (S (K (S I))   K x y)
: = (K (S I) x (K x) y)
: = (S I (K x) y)
: = (I y (K x y))
: = (y (K x y))
類似的，T 變換的最初版本把恒等函數λf.λx.(f x)變換成 (S (S (K S) (S (K K) I)) (K I))。通過η-歸約規則，λf.λx.(f x)被變換成I。
有一點基（one point basis），所有組合子都可從它復合而外延等于任何lambda項。這種基的最簡單的例子是{X}:
:X ≡ λx.((xS)K)
:X (X (X X)) =ηβ K而
:X (X (X (X X)))) =ηβ S.
因為{K, S}是基，得出{X}也是基。
除了組合子S和K之外，Sch?nfinkel的著作中包含了現在叫做B和C的兩個組合子，帶有如下歸約：
:(C a b c) =(a c b)
:(B a b c) = (a (b c))
他還解釋了如何只使用S和K來表達它們。
這些表達式在把謂詞邏輯或lambda演算轉換成組合子表達式的時候非常有用。它們也被Curry和更后來的David Turner所使用，他們的名字已經關聯到了它們的應用上了。使用這些組合子，我們可以擴展變換規則為如下：
# Tλx.E = > (K TE)        （如果x在E中不是自由的）
# Tλx.λy.E = > Tλx.Tλy.E（如果x在E中是自由的）
# Tλx.(E1 E2) => (S Tλx.E1 Tλx.E2)（如果x在E1和E2二者中是自由的）
# Tλx.(E1 E2) => (C Tλx.E1 E2)（如果x在E1中是自由的，但在E2中不是自由的）
# Tλx.(E1 E2) => (B E1 Tλx.E2)（如果x在E2中是自由的，但在E1中不是自由的）
使用B和C組合子，λx.λy.(y x)的變換如下：
: = Tλx.Tλy.(y x)
: = Tλx.(C Tλy.y x)     （通過規則7）
: = Tλx.(C I x)
: = (C I)                   （η-歸約）
: = C*（傳統規范記號：X* = X I）
: = I'（傳統規范記號：X' = C X）
(C I x y)的確歸約到 (y x):
:  (C I x y)
: =(I y x)
B和C的目的是S的有限版本。S接受一個值，并把在應用之前，把它代換入applicand和它的參數內，C只在applicand內進行代換，而B只在參數內進行代換。
這些組合子的現代名字源于哈斯凱爾·加里在1930年的博士論文（參見B,C,K,W系統）。在Sch?nfinkel的最初著作中，把現在的S, K, I, B和C分別叫做S, C, I, Z和T。
在本文描述的CLK和CLI演算必須做出區分。這種區別對應于在λK和λI演算之間的區別。不同于λK演算，λI演算限制抽象為：
:λv.E1這里的v在E1中有至少一次自由出現。
作為結論，組合子K不出現在λI演算和CLI演算中。CLI的常量有：I, B, C和S，這形成了所有CLI項可以從它復合出來的基，B和C模擬K。所有λI項可以轉換成等價的CLI組合子，依據類似于前面提供的把λK項轉換成CLK組合子的規則。參見Barendregt (1984)第9章。
從組合子項到lambda項的轉換L 是平凡的：
: LI = λx.x
: LK = λx.λy.x
: LC = λx.λy.λz.(x z y)
: LB = λx.λy.λz.(x (y z))
: LS = λx.λy.λz.(x z (y z))
: L(E1 E2) =（LE1 LE2）
但是，要注意這個變換不是我們見到的任何版本的T 的逆變換。
一個組合子項是否有規范形式，兩個組合子項是否是等價的等等都是不可判定的。者等價于
lambda項相應問題的不可判定性。但是，有一個直接證明如下：
首先，觀察到項
: Ω = (S I I (S I I))
沒有規范形式，因為它在三個步驟之后歸約到自身，如下：
:   (S I I (S I I))
: = (I (S I I) (I (S I I)))
: = (S I I (I (S I I)))
: = (S I I (S I I))
而且沒有其他歸約次序可以使表達式更短些。
現在，假設N是檢測范式的組合子，使得
: (N x) => T,如果x有規范形式
:                F,沒有規范形式。
(這里的T和F是常規的lambda演算的真假定義λx.λy.x和λx.λy.y的變換。
組合子版本是T = K和F = (K I))。
:Z = (C (C (B N (S I I)) Ω) I)
現在考慮項（S I I Z）。(S I I Z)有規范形式嗎?它有規范形式，當且僅當下列也有：
:  (S I I Z)
: = (I Z (I Z))
: = (Z (I Z))
: =(Z Z)
: = (C (C (B N (S I I)) Ω) I Z)   （Z的定義）
: = (C (B N (S I I)) Ω Z I)
: = (B N (S I I) Z Ω I)
: = (N (S I I Z) Ω I)
現在我們需要應用N于(S I I Z)。(S I I Z)要么有規范形式，要么沒有。如果它確實有規范形式，則前述歸約為如下：
:   (N (S I I Z) Ω I)
: = (K Ω I)   （N的定義）
但是Ω沒有規范形式，所以我們得到矛盾。但是如果 (S I I Z)沒有規范形式，則前述歸約為如下：
: = (K I Ω I)   （N的定義）
: =(I I)
這意味著 (S I I Z)的范式簡單的是I，這是另一個矛盾。所以，假設的范式組合子N不存在。
函數式編程語言經常基于lambda演算的簡單而普遍的語義。
David Turner使用它的組合子實現了SASL編程語言。
Kenneth E. Iverson在他的J編程語言中使用了基于Curry的組合子的原語（primitive），J語言是APL語言的后繼者。這使得Iverson達成了隱式編程，就是說，編程采用不包含變量的函數表達式，并一起使用與這種程序共同工作的強力工具。結果是在任何帶有用戶定義算子的類APL語言中隱式編程都是可能的。
Curry-Howard同構蘊涵了在邏輯和編程之間的聯系：每個直覺邏輯的有效的定理證明都直接對應于一個有類型的lambda項的歸約，反之亦然。定理自身也通過函數類型標志（signature）來識別。特別是，有類型的組合子邏輯對應于證明論中的希爾伯特系統。
K和S組合子對應于公理
:AK: A → (B → A),
:AS: (A → (B → C))  →  ((A → B) → (A → C)),
而函數應用對應于肯定前件規則
:MP:從A且A → B推出B。
由AK, AS和MP組成的演算對于直覺邏輯的蘊涵片段是完備的。考慮所有演繹閉合的公式的集合W，按包含排序。則是直覺Kripke框架，我們定義在這個框架內的模型為
這個定義服從對→的滿足的條件：在一方面，如果，并且使得且，則通過肯定前件而。在另一方面，如，則通過演繹定理而，因此的演繹閉包是的一個元素使得, 和。
設A是在演算中不能證明的任何公式。則A不屬于非空集合的演繹閉包X，所以，而A不是直覺有效的。
* Moses Sch?nfinkel, 1924, "über die Bausteine der mathematischen Logik," translated as "On the Building Blocks of Mathematical Logic" in From Frege to G?del: a source book in mathematical logic, 1879-1931, Jean van Heijenoort, ed. Harvard University Press, 1967. ISBN 978-0-674-32449-7  The article that founded combinatory logic.
* Field, Anthony J. and Peter G. Harrison, 1998. Functional Programming. . Addison-Wesley. ISBN 978-0-201-19249-0
* Paulson, Lawrence C., 1995.  Foundations of Functional Programming. University of Cambridge.
* S?rensen, Morten Heine B. and Pawe? Urzyczyn, 1999.  Lectures on the Curry-Howard Isomorphism. University of Copenhagen and University of Warsaw, 1999.
*  1920-1931 Currys block notes
* Hindley, Roger, and Meredith, 1990, "Principal Type-Schemes and Condensed Detachment," Journal of Symbolic Logic 55: 90-105
* Hendrik Pieter Barendregt, 1984. The Lambda Calculus, Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics, Volume 103, North-Holland. ISBN 978-0-444-87508-2
* Quine, W. V., 1960 1966. "Variables explained away." Chapter 23 in W. V. Quine, Selected Logic Papers, 227–235. New York: Random House. Originally read by invitation to the American Philosophical Association in April 1960 and published in their Proceedings.
阿南德·薩蒂亞南德爵士（Anand Satyanand，）GNZM, QSO,KStJ ，新西蘭的律師、法官和調查員。他于2006年8月23日接任任滿的前任總督西爾維亞·卡特賴特，出任新西蘭第19任總督。
他生長在奧克蘭一個印度-斐濟家庭，祖輩是印度人，移民斐濟，到薩蒂亞南德父輩遷居新西蘭。1970年畢業于奧克蘭大學，獲法學學士學位。此后從事律師職業，1982年他被任命為地方法院法官，隨后在1995年被任命為政府廉政官（監察員，兩個五年的任期），近年致力于司法改革和法學教育，成效顯著。
白澤鳥山石燕 『今昔百鬼拾遺』
琉球畫家欽可聖筆下的白澤
白澤是上古時代傳說中的神獸。能說人語，通達天下萬物之情理。能夠通曉天下鬼神萬物狀貌，是可使人逢兇化吉的吉祥獸。常與麒麟或鳳凰等，同視為德行高的統治者治世的象徵。
相傳黃帝巡狩時，在東海海濱遇到白澤，向它請教鬼神之事。白澤告訴了黃帝11,520種鬼神的事情。
白澤完整的故事見於宋代《雲笈七籤》卷100引《軒轅本紀》。
傳說黃帝平定天下後，在巡視中國各地時來到東海海邊。當時黃帝遇見白澤，白澤向黃帝說了11,520種的天下妖怪和鬼神的一切。黃帝命令家臣將「白澤」所描述的妖怪鬼神一個一個地畫成圖畫，昭示國人。到了中古時期，對白澤的尊崇更是隆重。祂知道天下所有鬼怪的名字、形貌和驅除的方術，所以從很早開始，就被當作驅鬼的神和祥瑞來供奉。當時《白澤圖》（又稱《白澤精怪圖》）一書非常流行，到了幾乎家手一冊的程度。書中記有各種神怪的名字、相貌和驅除的方法，並配有神怪的圖畫，人們一旦遇到怪物，就會按圖索驥加以查找。
在禪宗語錄中，也常見有“家有白澤圖，妖怪自消除”、“不懸肘後符，何貼白澤圖”、“家無白澤圖，有如此妖怪”一類的語錄。
《軒轅本紀》︰「帝巡狩，東至海，登桓山，於海濱得白澤神獸，能言，達於萬物之情，因何天下神鬼之事，自古精氣為物、游魂為變者凡萬物一千五百二十種，白澤能言之，帝令以圖寫之，以示天下。」
《抱樸子?極言》︰「黃帝……窮神奸則記白澤之辭。」
《瑞應圖》︰「黃帝巡於東海，白澤出，達知萬之情，以戒於民，為除災害。」
《通典》記帝王之旗就繪有白澤的形貌，被稱為白澤旗。
《五行志》記載中宗韋皇后的妹妹用虎豹枕以避邪，白澤枕以避魅。
唐開元有白澤旗，是天子出行儀所用；明有白澤補，為貴戚之服飾
《西游記》中，白澤是妖怪九靈元圣的孫子之一。
《雲笈七簽》卷一百引《軒轅本紀》：「帝巡狩，東至海，登桓山，於海濱得白澤神獸，能言，達於萬物之情，因何天下神鬼之事，自古精氣為物、游魂為變者凡萬物一千五百二十種，白澤能言之，帝令以圖寫之，以示天下。」葛洪《抱樸子?極言》：「黃帝……窮神奸則記白澤之辭。」《瑞應圖》：「黃帝巡於東海，白澤出，達知萬之情，以戒於民，為除災害。」
紐格萊奇墓（Newgrange），位于愛爾蘭東北部的米斯郡（County Meath），是博因河河曲地區的一座通道式墳墓。是愛爾蘭最為著名的史前墳墓之一。是世界文化遺產博因宮考古遺址的一部分。
紐格萊奇墓被認為大約建造于新石器時代的公元前3200年左右，是由一群在博因河谷從事農業耕作的人類建造的。
凱爾特人到來后，紐格萊奇墓被認為是他們的神的居所。博因河曲在凱爾特神話中經常出現。作為神的居所，它也被公元3世紀時的羅馬人崇拜。他們的貢品錢幣珠寶等都在石堆的頂上被發掘出來。
在1142年，基督徒建立了梅利豐特修道院（Mellifont Abbey）。紐格萊奇墓附近的土地成為了修道院的地產，這座墳墓和附近的小鎮也得名于此。
1699年后，墓室被打開，紐格萊奇墓成為重要考古遺址。但直到1962年，才對紐格萊奇墓進行了第一次科學的發掘。發掘之后，內部的通道被弄直，再附上了看不見的第二條通道，以減輕頂上石堆的壓力，以免崩塌。原先用白色石英建成的正面被重建，用的是在遺址找到的石頭。重建正面的高度和角度都是從倒塌的擁壁上測得的。
紐格萊奇的墓室通道大約有60英尺長，通向一個有三個凹室（recess）的房間。墓室以完整的密封的拱頂支撐。覆蓋墓室的石冢大約有20萬噸重，由97塊巨石組成的地基支撐。
作為典型的愛爾蘭史前通道式墳墓，右側凹室的入口是最大的也是裝飾最華麗的。在這個凹室里有兩個石盆，一個套著另一個。外面的那個石盆是新石器時代匠人的杰作典范，使用一整塊堅硬的花崗巖雕成的。而另兩個凹室，則是用砂巖雕成的。考古學家認為這些石盆曾經放過死者的遺體。
由于在科學的發掘前，有盜墓賊光顧過這座墳墓，并不清楚最初有多少人被葬在這座墓中。后來又發掘出五具遺體，但可能最初葬下的人更多。許多骨頭都被火化過，只有一小部分沒被火化。另外從墓中出土的人造物品包括有骨質的珠子、垂飾、磨光的石球。毫無疑問，這些物品在葬禮儀式中都有特殊用途。如果沒有盜墓賊光顧過的話，出土文物會更為可觀。
入口處巨石上的雕刻
一圈12塊豎立的巨石圍繞著紐格萊奇墓。也許原本還有更多，但如果這樣的話，它們也在很久以前就被搬走了。對圓形木結構的發掘表明石圈大約是在公元前2000年后被豎立起來的。石圈的用途并不清楚，有的研究認為有天文用途。但不論怎么樣，石圈都是紐格萊奇墓建造的最后一步。
這些石頭上刻著許多謎一般的圖案，有螺旋形、菱形、三角形、平行線或是弧形。對于這些圖案，歷來說法不一，有認為是星象，也有認為是當地的地圖。但無論如何，這些石刻都是歐洲史前巨石藝術最好的杰作之一。
在紐格萊奇墓的入口上方，有一個像窗一樣的開口。這個開口會產生一種奇特的現象。在冬至時，它可以讓陽光照進墓室。
在12月19日至23日的黎明，一束狹窄的陽光穿過入口上方的開口，射入墓室。隨著太陽的升高，光束越來越寬，最后整個墓室都充滿陽光。這個奇特的現象持續17分鐘左右，大約是8點58分到9點15分。
結合天文學上的研究，從這個現象可以得知紐格萊奇墓的建造比埃及金字塔早約500年，比巨石陣早約1000年。這可能反映了建造者要表達新的一年的開端，或是生對死的勝利。
每年冬至時，都會有人像幾千年的人們一樣，在墓中等待陽光的射入，要感受在一年最長的一個夜晚終于過去太陽終于升起的場面。但可惜的是，往往由于天氣原因，而看不到這種奇特的現象。
File:Newgrange, Ireland.jpg|
File:Newgrange ireland 750px.jpg|
File:Newgrange at a distance.jpg|
File:Bru na Boinne Squire.jpg|
File:Knowth entrance to second passage 2010.JPG|
File:Wakeman Newgrange tumulus chamber cross section.png|
*  Newgrange info website
*  Newgrange information and photos
*  Irish passage tombs and other Neolithic monuments in excellent context
*  101 Facts About Newgrange
羅斯季斯拉夫·雅羅斯拉維奇（俄語：Ростислав Ярославич），可能為以下人物：
婚姻監禮人是香港法律更新之後的一項利民政策。日後在香港註冊結婚不必一定在入境事務處香港婚姻登記處內，也不一定由政府指定的註冊官。時間及地點可以更自由選擇。
由2006年4月21日開始，在香港申請結婚的新人可以自由選擇婚姻監禮人，但是新法律規定婚姻監禮人必須是律師，所以也可以稱為婚姻監禮律師制度。然而，申請結婚的新人還可以選擇沿用舊制，在入境處其婚姻登記處舉行婚禮。
入境事務處2006年7月14日公布，自4月21日委任首批婚姻監禮人至今，已有693名婚姻監禮人獲委任。
自2006年4月下旬推出婚姻監禮人計劃後至6月底，已有超過600對準新人透過婚姻監禮人向婚姻登記官遞交擬結婚通知書，並有超過450對新人已由監禮人為他們證婚。
資料顯示，由婚姻監禮人主持婚禮的地點，包括監禮人的辦事處、酒店、會所、公園、婚姻服務公司的禮堂，以及鄉村的祠堂等。
入境處預計，將有更多準新人在下半年度結婚旺季選用婚姻監禮人提供的服務。
香港的婚姻監禮人的任期為5年。
登記費，用於呈交擬結婚通知書：HK$305港元
婚姻監禮律師費：大約 HK$3,000港元 至 HK$5,000港元，昂貴的可以高達HK$8,000港元（由市場決定）
婚姻註冊費：（平日）HK$715港元；（假日）HK$1,935港元（法定）
*  入境事務處 - 婚姻監禮人計劃
**  符合《婚姻條例》（第181章）附表4所訂明的婚姻監禮人的資格條件（“資格條件”）第1及2段的律師及公證人可申請成為婚姻監禮人。
**  入境事務處《婚姻監禮人委任/續期委任申請書》附加小冊子《怎樣申請“成為婚姻監禮人”》
*  香港立法會《婚姻(設立婚姻監禮人制度及一般修訂)條例草案》委員會及會議的紀要
*  入境事務處表示，婚姻登記官由今日開始，接受要求委任為婚姻監禮人的申請。
羅斯季斯拉夫·雅羅斯拉維奇（Ростислав Ярославич，）古羅斯王公，斯諾夫王公（約到1215年）。
羅斯季斯拉夫·雅羅斯拉維奇是切爾尼戈夫公王朝的成員，系切爾尼戈夫王公雅羅斯拉夫·弗謝沃洛多維奇之子。他是歷史上唯一一個被分封到斯諾夫的王子。
1187年6月，作為他父親的政治交易的一部分，羅斯季斯拉夫·雅羅斯拉維奇與弗拉基米爾大公弗謝沃洛德·尤里耶維奇的女兒結婚，以鞏固兩家的聯盟。
臺灣都市計畫一覽圖(1941年)
1911年臺南市區改正計畫圖；此計畫奠定臺南市中心道路格局的基礎
臺灣日治時期都市計畫，是指日治時期在臺灣各地實施的都市計畫，總計有72處（清水、梧棲、沙鹿合併為新高港），總面積約52,500公頃，總計畫人口約326萬人。臺灣第一個公告的都市計畫，是明治33年1月公布的「臺中市區設計圖制定」，但同年八月的「臺北市城內市區計畫」則是第一個實行的都市計畫，最晚公告的則是1943年的善化都市計畫和白河都市計畫。
近代都市計畫的概念於19世紀起源於歐洲，是為了因應工業革命造成的快速都市化，特別是始於1850年代改造巴黎的奧斯曼計畫，影響了許多城市的空間發展，開闢興建下水道、開闢道路、圓環並形塑街道立面。日治時期在臺灣也引進了近代都市計畫制度，改造臺灣傳統的城市空間。以寬敞筆直的道路、圓環、公園等公共設施，以及對建築物設置的規範，取代以往道路曲折狹窄，且衛生環境不佳的空間。
「都市計畫」一詞，要在1936年《臺灣都市計畫令》公告後才正式確立，其前身為「市區（街）改正」和「市區計畫」。市區改正僅是應急、局部性的都市改造措施，在考量市區整體發展後，逐步由市區改正演變為市區計畫，之後再進一步成為都市計畫。《臺灣都市計畫令》公布後實施的都市計畫僅21處。雖然部分都市計畫因戰爭時期並未全部實現，但仍對至今的都市計畫影響深遠。這些計畫跟法令在戰後仍持續沿用，直至1964年公布《都市計畫法》後，才廢止《臺灣都市計畫令》。
相較於日本其他地區，日本本土在1919年制訂《都市計畫法》，朝鮮則於1934年公布《朝鮮市街地計畫令》。
根據1937年的《關於市街地樹立都市計畫標準之規定》，應擬定都市計畫的市街地有：
* 因修築港灣、設置工業區、鐵道車站所伴生之新市街計畫
* 具有溫泉、海水浴場、史蹟、遊覽地區者
日本治臺初期，亟需改善臺灣市街的公共衛生，陸續針對上下水道、建築設計，與土地徵收制定了相關規範。此時期對城市的改造稱為市區改正，特別針對改善道路和衛生環境，規模較全面者則稱市區計畫。初期由各地方政府設置市區計畫委員會，如臺北、基隆、臺南市區計畫委員會；後來在1910年由總督府統一設置市區計畫委員會，由中央審議市區計畫。
1899年8月，臺灣總督府以臺北為重點，對臺灣的大城市採取約五年的建設計畫，名曰「第一次市區改正」，該計畫以舊有道路的改進與新設道路的擬定為主。以臺北為例，該計畫訂定了拆除臺北城牆的計畫，並整建西門町作為日本新移民住宅。1901年，總督府公告第二次市區改正計畫公告，除了臺北市之外，還將重點移往臺中為主，該計畫實施地區為臺北南門城外與東門附近一帶外，也開發臺中車站等周圍地區。這兩次改正計畫均以水溝與基礎道路改善為重點，其目的為應付日本新移民。
較完備的市區改正為1905年8月，計畫不但包含臺南等大城市，也有人口容量的設計。1917年止，臺灣有20個市街莊進行市區改正。
由於都市快速發展，原先的法令已不敷使用，於是總督府在1921年成立「特別調查委員會」，以沿用日本內地的「都市計畫法」為目標，但並未成功；後來在1934年成立「都市計畫法施行準備委員會」，並在1936年公布《臺灣都市計畫令》和施行細則，於隔年實施。都市計畫令中，首創使用土地使用分區與特定專用區（原文為地域制、地區制）管制，劃定住宅區、商業區、工業區，以及美觀地區、防火地區、風景地區、風紀地區等類別。
在總督府內設有「臺灣都市計畫委員會」，負責都市計畫的調查與審議，在1940年因為受戰事影響，將都委會分為中央及地方，在州廳內的地方都市計畫委員會，可直接決議一般都市計畫的新訂與變更，特別者再交由中央都市計畫委員會決議，唯一的例子為新高港附近都市計畫。
市區改正中興建的榮町通（今衡陽路）
本町通（今重慶南路一段）與榮町通（今衡陽路）路口的西尾商店（原金石堂城中店，已於2018年6月關閉）
臺北市區計畫
1900年8月
* 1896年：開始下水道工程
* 1901年：城外南、東門附近市區改正
* 1905年：全市街市區改正
* 1909年：上水道開始供水
* 1913年：開始淡水河防水護岸工程
* 1917年：艋舺江瀕街埋立地竣工
* 1932年：大臺北市都市計畫
基隆都市計畫
宜蘭都市計畫
1932年5月
羅東市區計畫
1934年4月
瑞芳市區計畫
草山市區計畫
1935年1月
板橋都市計畫
蘇澳都市計畫
File:草山市區計畫平面圖.jpg|草山市區計畫
File:宜蘭街市區計畫.jpg|宜蘭街市區計畫
新竹都市計畫
1905年5月
*1905年：新竹市街市區改正
大溪市區計畫
竹東都市計畫
1935年7月
震災地都市計畫
苗栗市區計畫
北埔市區計畫
竹南市區計畫
頭份市區計畫
南莊市區計畫
後龍市區計畫
公館市區計畫
銅鑼市區計畫
三叉市區計畫
苑裡市區計畫
通霄市區計畫
大湖市區計畫
卓蘭市區計畫
中壢都市計畫
桃園都市計畫
File:新竹市區計畫.jpg|新竹市區計畫
File:苗栗市區改正計畫圖.jpg|苗栗市區改正計畫圖
File:北埔市區改正計畫圖.jpg|北埔市區改正計畫圖
File:竹南市區改正計畫圖2.jpg|竹南市區改正計畫圖
File:南莊市區改正計畫圖.jpg|南莊市區改正計畫圖
File:銅鑼市區改正計畫圖.jpg|銅鑼市區改正計畫圖
日治時期1895年，臺灣民政支部長兒玉利國建議將當時臺中市規劃為「圓形放射狀」都市，但未被臺灣總督府採納。
隔年，總督府在準備實施的市區改正計畫中，民政長官後藤新平採用了巴爾頓與濱野彌四郎的「臺中市街區劃設計報告書」，將臺中市規劃為「棋盤狀」都市。為配合整體都市發展也設置了公園預定地，但此地後來被鐵路車站用地取代，也就是臺中車站現址，而公園預定地為臺中公園現址。
1900年市區計畫執行一部分之後廢止，於1911年重擬新的計畫，1900年的計畫已不能符合縱貫鐵路興建以後臺中市區發展所需，所以才在1911年將1900年之計畫未執行的部分廢止而重新擬定新計畫、因而整治綠川、柳川與開闢棋盤狀道路、興建臺中驛（舊臺中車站），將臺中興建成為臺灣新興的現代化都市。
值得一提的是「臺中」這個地名就是在日本在臺灣始政隔年的1896年取的。臺中距離當時臺灣南北兩大城市臺北與臺南都約一百英哩，不知是巧合還是此原因是日本人打算在此建設臺灣中部新城市的考量之一。
臺中的都市計畫雖然是第一個提出，但是第一個近乎完整實行的都市計畫卻是晚幾個月的臺北城內市區計畫。
儘管最初要將臺中規劃為放射狀城市的提議未被採用，然而在百年後的現代，臺中除了當時市區改正後中區是棋盤狀外，放射狀規劃在的都市擴張下卻起死回生，一圈又一圈的外環道自中區向外擴張，時至今日成為臺灣最具代表性的放射狀城市。
臺中都市計畫
1900年1月
* 1900年：臺中市區改正計畫
* 1911年：臺中市街市區計畫
* 1935年：臺中市市區擴張計畫
彰化都市計畫
北斗市區計畫
1912年6月
南投市區計畫
埔里市區計畫
1914年9月
竹山市區計畫
大甲市區計畫
1934年5月
鹿港市區計畫
實施市區改正，拓寬並拆除不見天街
豐原市區計畫
內埔市區計畫
神岡市區計畫
石岡市區計畫
清水市區計畫
三計畫於1940年7月廢止，
合併為新高港附近都市計畫
梧棲市區計畫
沙鹿市區計畫
員林市區計畫
1936年8月
新高港附近都市計畫
1940年8月
東勢都市計畫
水裡坑都市計畫
1942年3月
草屯都市計畫
嘉義都市計畫
*1902年：拆除嘉義縣城城壁
*1906年：嘉義大地震後，推行嘉義市區改正計畫
* 1913年：嘉義都市計畫擴張
*1931年：嘉義街市區改正計畫
臺南市區計畫
1911年7月
* 1911年：臺南市區改正計畫
* 1929年：臺南市區計畫擴張
北港市區計畫
1913年6月
樸子都市計畫
1916年12月
斗六市區計畫
麻豆市區計畫
斗南市區計畫
西螺都市計畫
鹽水市區計畫
1937年6月
新營都市計畫
學甲都市計畫
佳里都市計畫
1938年2月
虎尾都市計畫
善化都市計畫
1943年2月
白河都市計畫
高雄都市計畫
1908年5月
* 1908年：打狗市區改正計畫
* 1921年：高雄街市區計畫變更
* 1921年：高雄市市區計畫變更
屏東都市計畫
* 1908年：阿緱街市區計畫
旗山都市計畫
岡山都市計畫
鳳山都市計畫
東港都市計畫
File:打狗市區改正計畫圖1912.jpg|打狗市區改正計畫圖
花蓮港都市計畫
* 1910年：花蓮港街市區改正計畫
* 1934年：花蓮港市區計畫
鳳林市區計畫
1915年7月
玉里市區計畫
1921年8月
File:鳳林市區計畫圖.jpg|鳳林市區計畫圖
臺東都市計畫
* 1913年：卑南街市區計畫
新港市區計畫
1922年4月
File:卑南市區改正計畫面.jpg|卑南市區改正計畫
File:新港市區改正計畫圖.jpg|新港市區改正計畫圖
馬公市區計畫
1912年10月
* 1912年：媽宮街市區改正計畫
* 1935年：馬公街市區計畫
File:澎湖媽宮市區改正計畫圖面.jpg|媽宮市區改正計畫圖
邁克爾·哈迪·博伊斯爵士，GNZM，GCMG，QSO（英語：Sir Michael Hardie Boys，），新西蘭法官，新西蘭第十七任總督（1996年-2001年）。
邁克爾爵士畢業于維多利亞大學，獲藝術學士和法律學士學位。1980年成為新西蘭高等法院法官，1989年到上訴法院，同一年他成為英國樞密院成員。1994年被授于格雷律師學院（Gray's Inn）榮譽Bencher，并當選劍橋大學沃爾森學院榮譽院士兼客座研究員。1995年被授于聖米迦勒及聖喬治大十字騎士勳章，1996年獲新西蘭功績勛章和圣約翰騎士勛章（Order of St John)。
1996年3月21日邁克爾被任命為新西蘭總督，任期結束后，他和他的妻子被授于女王勛章。
1957年邁克爾·博伊斯和Mary Zohrab結婚。他們有兩個兒子、兩個女兒和八名孫子。在總督退休后，他曾擔任基里巴斯高等法院法官。他現在住在懷卡奈（Waikanae）。
凱瑟琳·蒂澤德女爵士，（；），新西蘭總督，她是新西蘭歷史上首位女性總督，也是第一位女性奧克蘭市長。著有《海洋資源大全》等書。
1971年的當選為奧克蘭市議會議員，1980年當選為奧克蘭地區議會議員。1983年成為奧克蘭歷史上首位女性市長。1990年被紐西蘭女王伊麗莎白二世任命為新西蘭總督，同時也是當地史上第一位女性總督，至1996年卸任。
她的前夫為紐西蘭前政府副總理鮑勃·蒂澤德（Bob Tizard），同時她也是前內閣成員Crown Judith Tizard的母親。
2021年10月31日因長期的疾病問題於奧克蘭逝世。
* Official biography
category:奧克蘭市長
臘味一詞泛指所有經過臘製的肉食，常見的有臘腸、臘鴨、臘雞、臘肉、臘魚等，中國廣東清遠連州市著名的臘味之鄉東陂鎮甚至有臘狗和臘蛋等品種。
中國人製作臘味的歷史已有兩千多年之久，臘味在華人社群深受歡迎，是過年必備的年貨。
「臘」是一種肉類食物的處理方法，指把肉類以鹽或醬腌漬後再風乾。農曆十二月稱爲“臘月”，而且如廣州一帶，素有“秋風起，食臘味”的俗語，每年農曆十一月到十二月秋冬季節，天氣寒冷且乾燥，肉類不易變質且蚊蟲不多，適合風乾製臘味，因以為名。
由於華南地區潮濕溫暖，缺乏風乾的天然條件，因此也有以太陽曬乾的方法製作臘味。由於戶外乾製容易招來蟲子，衛生條件較難保證，因此近年也有使用專門的烘焙室來乾製或燻製。然而，據一些加拿大的香港移民表示，在加國乾燥大陸性氣候下風乾的臘味，風味比香港在潮濕天氣下曬製的為佳。
廣式臘味流行於廣東、香港和澳門，不但可用於餸菜，更是製作蘿蔔糕、生炒糯米飯的主要配料。
廣式臘味的口味偏甜，主要配料包括油、鹽、醬油、糖等。其中臘腸較常見，製作方法為將豬肉切粒腌製，然後塞入腸衣（一般用豬、羊等牲畜的小腸製作）內風乾。長度有長有短，顔色比較鮮豔。
除臘腸外，廣式臘味還包括臘肉、臘鴨、臘制內臟（如臘鴨胗、臘鴨腸），以至于臘魚、臘田鼠等多個種類。此外，還有使用多種原料的復合臘味（像是在鴨肝中塞入肥豬肉后臘制而成的“金銀潤”）等。
廣式臘味在秋冬時節特別受歡迎，是烹調臘味飯的重要食材，但部分商家為增加臘味的色澤和改善口感，從而賣得更好的價錢，謀取更高利潤，於是使用含有瘦肉精的豬肉製作臘肉，並對臘味加入各種染料和防腐劑。
盧卡位于意大利中北部利古里亞海附近，是托斯卡納大區的一座城市，也是盧卡省的首府。
盧卡是位於塞爾基奧河南邊平原，屬低地，海拔不超過20米。
盧卡在古時是由伊特魯里亞人所建立。後來被羅馬帝國征服。在中世紀時代，盧卡是一個重要的堡壘城市，由倫巴底人統治。到了十一世紀，因為絲綢貿易，開始繁榮起來。
十九世紀初，盧卡落入在拿破崙帝國之手，其後輾轉落入托斯卡納大公國。到1861年，成為意大利國一部分。
恆星月是指月球對於一顆恆星來説的自轉週期。如果月球上某一點，本來面向著遙遠的一顆恆星，在經過一段時間後，這一點指向同一恆星，這一週期就稱爲恆星月。一個朔望月有29.53天，而一個恆星月就有27.322天，或是27天7小時43分11.51秒（約為天）。在天文學中，有三種主要的旋轉週期：天（太陽—地球）、恆星月（月球—地球—恆星）、年（太陽—地球—恆星）
*太陽年=365.242199天
*太陰率=12.36826623/年
*沙羅交蝕週期=18.03年=223個太陰月=6585.322天
*太陰交點週期=18.618年=6800.0天
*默冬週期(太陰週期)=19年=235個太陰月=6939.602天
*太陰日（平均）=24小時52分4.31秒
*潮汐間隔（平均）=12小時26分2.15秒
加思欄炮臺（或寫嘉思欄炮臺；或稱噶斯蘭炮臺、聖方濟各炮臺、聖方濟各堡壘）是位於澳門大堂區之古老炮臺。在葡萄牙殖民地時期，曾是軍事防禦據點之一。昔日的加思欄炮臺曾為沿海第一道防線，與媽閣炮臺、仁伯爵炮臺、聖約翰城堡及三巴炮臺互相連貫，防守澳門東南方向的沿海地區。
炮臺名字是紀念一艘名叫嘉思欄（Gallias）的葡萄牙戰船，戰船在1622年(明朝天啟二年)抵抗荷蘭人入侵澳門時被擊沉。
加思欄炮臺原址的較低處的多面堡，建於1623年。加思欄炮臺則建於1629年，其後在十八世紀末曾改建，1864年建築物連同旁邊的聖方濟各會的修道院和教堂一起被拆卸，改建為現今的加思欄兵營。1872年，在較低處的多面堡建起了一座圓形的十二月一日堡壘。由於填海關係，現在的加思欄炮臺已不再沿海，被高樓大廈所包圍。
早期的加思欄炮臺沿著海邊山勢而興建，為不規則形狀。而東西兩邊設置圓形小碉堡，其中的胸牆上設有六個炮眼，下面較低處是伸出水面的多面堡。昔日較低處的多面堡現設有五個放置大炮的圓形平臺、兵營和火藥庫。1864年的拆建活動後，成為一個兩個圓形的棱堡東西並列，形狀對稱規整的炮臺。其中間為平緩的V形中堤連接，胸牆上沒有堞形炮眼。
*  澳門百科全書：嘉思欄炮臺
*  中國經濟史論壇 - 17世紀廣東與荷蘭關係述論（上）
何成濬，又名季剛（亦說季哲），派名光鏞。字雪竹，初字雪舟。湖北隨州厲山何家畈龔家灣人。中華民國陸軍一級上將。何被譽為天才的說客和雜牌軍的天才領袖。與劉鎮華（字雪亞），陳調元（字雪暄）并稱為“三雪”。
何成濬的父親何星三，小時窮無立錐之地。后通過經商致富。何成濬排行第三，兩個兄長均考取秀才。何成濬本人也為清末秀才。1896年，何成濬14歲時報考湖北武備學堂，因年齡身體均不合格而未獲錄取。19歲時以第一名補博士弟子員，由學使蔣式棻保送經心書院肄業。因廢科舉，興學校，1903年原有之兩湖書院、經心書院合併為兩湖大學（兩湖文高等學堂）。何于是入兩湖大學，從而與黃興接為好友，並加入革命黨。1904年何經張之洞選派赴日本留學,入東京振武學堂。翌年加入中國同盟會，結識孫中山。據記載，何在兩湖書院與振武學堂均以第一名畢業。從振武學堂畢業后，何在名古屋軍隊中實習，接李書城轉黃興囑咐，望其於軍事上更求深造，故而於1907年實習期滿，考入陸軍士官學校第五期步兵科。1909年何回國，供職于湖北督練公所。次年受吳祿貞邀請，擬任吳屬下第二十三標標統。未獲軍政當局批準，改去北京，任陸軍部軍制司蒐健科科員，秘密參加推翻清政府的革命活動。何成濬在北京期間，與湖北隨縣同鄉彭介石過從甚密。彭介石是清末拔貢，當時在直隸省咨議局當議員。直隸省咨議局議長孫洪伊(字伯蘭)，原系康有為、梁啟超維新派人物，政治上動搖不定。何成濬通過彭介石的關系，拉孫洪伊投向同盟會。孫洪伊在北方是一個很有影響的人，他投入同盟會后，羅致一部分人，形成一派力量，稱為“小孫派”(指孫中山為大孫派)。何成濬因此在同盟會內名聲大噪，頗受黃興等之信任。
武昌起義爆發后，清廷派兵南下鎮壓革命，何成濬被任命為一等參謀，帶兩標兵（第一鎮第一標及第六鎮第二十四標）赴漢口，駐扎於黃陂祁家灣。其間何暗助起義軍，用計阻止清軍過江攻擊武昌。武昌起義后，何被吳祿貞任命為參謀長。然尚未赴任，吳便以被人刺殺。故而轉赴上海，投奔黃興，旋去南京參與籌建臨時政府工作。1912年1月南京臨時政府成立，出任陸軍部副官長。期間在黃興送孫中山赴滬時，何成濬主持平定了南京城內贛軍的嘩變。4月臨時政府北遷，任南京留守府總務廳長。其后，南京政府與北京政府發生衝突，黃興解職回湘，何也卸任回到湖北。不久，作為黃興的駐北京代表，赴北京見袁世凱。民國二年，宋教仁在上海被刺身亡。之后，何成濬拒絕了袁世凱的挽留回到上海，參加討袁。返回上海后，何往返南京上海數十次，游說了駐南京的第八師獨立。汪精衛數次與其同行。二次革命中何任江蘇討袁軍總司令部總參議。討袁失敗后與1913年9月份逃亡日本。1914年6月，何成濬受黃興委托，以“駐滬軍事特派員”的身份回到上海，負責聯絡上海的革命同志繼續反袁鬥爭。期間，何成濬加入歐事研究會，在黃興去世后，何加入中華革命黨。不久，陳其美也回到上海。何與陳其美其間交往甚密，共同進行討袁鬥爭。當時湖北人參加辛亥革命的國民黨人，有居正、何成濬、田桐、蔣作賓、鄧玉麟等住在上海，何成濬也住在法租界內。何成濬家經常住有閑人，他不僅招待食宿，有時還給點零用錢或幫助介紹工作，人稱有“孟嘗君之風”。他與黃興及其夫人徐宗漢，也一直保持密切關系。在上海時，何成濬曾與蔣中正、陳其美在一起搞過證券交易所買賣，從而與蔣中正熟識。
袁世凱死后，黎元洪任總統，邀請黃興入京。何受黃興之托，赴京查看情形，被黎元洪任命為北京政府內務次長兼警察總監。何目睹軍閥掌權，國事不可為，迅即離京。1917年孫中山在廣州成立護法軍政府，命何負責聯絡各省軍隊。何在湖北策反了荊沙的石星川師。其后，被孫中山委任為其代表，長駐湖南，并負責聯絡四川和湖北兩省。何在湖南以總指揮身份指揮部隊經岳州攻入湖北，迫近武昌時，眾寡不敵，為吳佩孚親率大軍所敗。何釋去兵權，潛行經武漢赴上海見孫中山。孫中山赴廣州后，何與廖仲愷兩人負責留滬聯絡各方。何留滬約半年，奉命聯絡了孫洪伊。之后何又被派往云南游說唐繼堯，經三月，不成乃返。陳炯明背叛革命后，何成濬依靠孫洪伊贈予五百金而得以從上海趕赴廣州。孫中山下令討伐陳炯明，何成濬奉孫中山命只身入閩，策反了延平鎮守使王永泉，協助許崇智拿下了福州。許崇智擔任東路討賊軍總司令。何成濬被委任為東路討賊軍前敵總指揮。其后因何攻下了泉州及鄰近數縣，被許崇智任命為興化，泉州，永春等屬總指揮兼閩南善后督辦，總指揮部設在泉州。參謀長潘康時，參謀石毓靈，汪世鎏，喻育之，趙壁原等。何率軍三旅掃蕩閩南，并整編民軍，歷時約兩年。其后孫傳芳部隊攻入福建，王永泉與何成濬的部隊皆戰敗，同時孫中山因廣州久攻不下，也要何將所部帶回廣東。于是何成濬又將所部從福建汀州經江西，歷28日，於1924年帶回了廣東，改稱“鄂軍”。1924年10月何被孫中山任命為湖北招討使兼建國軍北伐總司令部參謀長兼左翼總指揮，隨總司令譚延闿入江西北伐。在占領吉安后，左右兩翼都失利，因而退回廣東。何也因部隊損傷過重，需要整理而交出兵權，解甲回滬。1925年9月被蔣中正任命為東征軍總部總參議，討伐陳炯明。何成濬部下蘇世安部在這次作戰中甚為得力。勝利后，何又返回上海。