ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
C++11將會提供一些標準分布：uniform_int_distribution（離散型均勻分佈），bernoulli_distribution(伯努利分布），geometric_distribution（幾何分佈），poisson_distribution（卜瓦松分佈），binomial_distribution（二項分佈），uniform_real_distribution（離散型均勻分佈)，exponential_distribution（指數分布），normal_distribution（常態分佈）和gamma_distribution（伽瑪分布）。
底下描述一個亂數生成物件如何由亂數生成引擎和分布構成：
std::uniform_int_distribution distribution(0, 99); // 以離散型均勻分佈方式產生int亂數，範圍落在0到99之間
std::mt19937 engine; // 建立亂數生成引擎
auto generator = std::bind(distribution, engine); // 利用bind將亂數生成引擎和分布組合成一個亂數生成物件
int random = generator;  // 產生亂數
我們可以透過實體化樣板類reference_wrapper得到一個包裝引用（wrapper reference）。包裝引用類似於一般的引用。對於任意物件，我們可以透過模板類ref得到一個包裝引用（至於constant reference則可透過cref得到）。
當樣板函式需要形參的引用而非其拷貝，這時包裝引用就能派上用場：
// 此函數將得到形參'r'的引用並對r加一
void f (int &r)  { r++; }
// 樣板函式
template void g (F f, P t)  { f(t); }
int i = 0 ;
g (f, i) ;  // 實體化'g'
// 'i'不會被修改
std::cout >'
// 'i'會被修改
這項功能將加入標頭檔之中，而非透過擴展語言來得到這項功能。
針對函數對象的多態包裝器（又稱多態函數對象包裝器）在語義和語法上和函式指標相似，但不像函式指標那麼狹隘。只要能被呼叫，且其參數能與包裝器相容的都能以多態函數對象包裝器稱之（函式指標，成員函式指標或仿函式）。
透過以下例子，我們可以了解多態函數對象包裝器的特性：
std::function func;  // 利用樣板類'function'
// 建立包裝器
std::plus add;  // 'plus'被宣告為'template T plus( T, T ) ;'
//  因此'add'的型別是'int add( int x, int y )'
func = &add;  // 可行。'add'的型參和回返值型別與'func'相符
int a = func (1, 2);  // 注意：若包裝器'func'沒有參考到任何函式
// 會丟出'std::bad_function_call'例外
std::function func2 ;
if(!func2) { // 因為尚未賦值與'func2'任何函式，此條件式為真
bool adjacent(long x, long y);
func2 = &adjacent ;  // 可行。'adjacent'的型參和回返值型別可透過型別轉換進而與'func2'相符
struct Test {
bool operator(short x, short y);
Test car;
func = std::ref(car);  // 樣板類'std::ref'回傳一個struct 'car'
// 其成員函式'operator'的包裝
func = func2;  // 可行。'func2'的型參和回返值型別可透過型別轉換進而與'func'相符
模板類function將定義在標頭檔，而不須更動到語言本身。
對於那些能自行創建或修改本身或其它程式的程式，我們稱之為元編程。這種行為可以發生在編譯或執行期。C++標準委員會已經決定引進一組由模板實現的函式庫，程式員可利用此一函式庫於編譯期進行元編程。
底下是一個以元編程來計算指數的例子：
struct Pow {
// recursive call and recombination.
enum{ value = B*Pow::value };
// ''N == 0'' condition of termination.
enum{ value = 1 };
int quartic_of_three = Pow::value;
許多演算法能作用在不同的資料型別；C++模板支援泛型，這使得代碼能更緊湊和有用。然而，演算法經常會需要目前作用的資料型別的資訊。這種資訊可以透過型別屬性（type traits）於模板實體化時將該資訊萃取出來。
型別屬性能識別一個物件的種類和有關一個型別（class或struct）的特徵。標頭檔描述了我們能識別那些特徵。
底下的例子說明了模板函式‘elaborate’是如何根據給定的資料型別，從而實體化某一特定的演算法（algorithm.do_it）。
// 演算法一
template struct Algorithm {
template static int do_it (T1 &, T2 &)  { /*...*/ }
// 演算法二
template static int do_it (T1, T2)  { /*...*/ }
// 根據給定的型別，實體化之後的'elaborate'會選擇演算法一或二
int elaborate (T1 A, T2 B)
// 若T1為int且T2為float，選用演算法二
// 其它情況選用演算法一
return Algorithm::value && std::is_floating_point::value>::do_it( A, B ) ;
此種編程技巧能寫出優美、簡潔的代碼；然而除錯是此種編程技巧的弱處：編譯期的錯誤訊息讓人不知所云，執行期的除錯更是困難。
要在編譯期決定一個樣板仿函式的回返值型別並不容易，特別是當回返值依賴於函式的參數時。舉例來說：
struct Clear {
int    operator(int);     // 參數與回返值的型別相同
double operator(double);  // 參數與回返值的型別相同
class Calculus {
template Arg operator(Arg& a) const
return member(a);
Obj member;
實體化樣板類Calculus，Calculus的仿函式其回返值總是和Clear的仿函式其回返值具有相同的型別。然而，若給定類別Confused:
struct Confused {
double operator(int);     // 參數與回返值的型別不相同
int    operator(double);  // 參數與回返值的型別不相同
企圖實體化樣板類Calculus將導致Calculus的仿函式其回返值和類別Confused的仿函式其回返值有不同的型別。對於int和double之間的轉換，編譯器將給出警告。
模板std::result_of被TR1引進且被C++11所採納，可允許我們決定和使用一個仿函式其回返值的型別。底下，CalculusVer2物件使用std::result_of物件來推導其仿函式的回返值型別：
class CalculusVer2 {
typename std::result_of::type operator(Arg& a) const
如此一來，在實體化CalculusVer2其仿函式時，不會有型別轉換，警告或是錯誤發生。
模板std::result_of在TR1和C++11有一點不同。TR1的版本允許實作在特殊情況下，可以無法決定一個函式呼叫其回返值型別。然而，因為C++11支持了decltype，實作被要求在所有情況下，皆能計算出回返值型別。
iota 函數可將給定區間的值設定為從某值開始的連續值，例如將連續十個整數設定為從 1 開始的連續整數（即 1、2、3、4、5、6、7、8、9、10）。
std::array ai;
std::iota(ai.begin, ai.end, 1);
for(int i: ai){
預計由Technical Report提供支援：
* Concepts（概念 (C++)）
* 更完整或必備的垃圾回收支援
* 循序點（sequence point），這個術語正被更為易懂的描述所取代。一個運算可以發生（is sequenced before）在另一個運算之前;又或者兩個運算彼此之間沒有順序關係（are unsequenced）。
* exception specifications
* 被std::unique_ptr取代。
* 仿函式基底類別 (std::unary_function, std::binary_function)、函式指針適配器、類別成員指針適配器以及綁定器 (binder)。
C++編譯器對C++11新特性的支持情況：
* Visual C++ 2010： C++0x Core Language Features In VC10: The Table
* Visual C++ 2010與Visual C++ 2012支持的C++11特性的對比列表： C++11 Features (Modern C++)
* Visual C++ 2013支持的C++11特性的對比列表： C++11 Features (Modern C++)
* Visual C++ 2015預覽版支持的C++11/14/17特性的對比列表： VC2015 Preview語言特性列表
* GCC 4.8.1已實現C++11標準的所有主要語言特性： Status of Experimental C++11 Support in GCC 4.8
* C++ Technical Report 1
* C11，C程式語言的最新標準
* C++17，C++的最新標準
* Constexpr，用於編譯時的常量與常量函數。
*  Doc No.   1401: Jan Kristoffersen（2002年10月21日）''Atomic operations with multi-threaded environments''
*  Doc No.  1402: Doug Gregor（2002年10月22日）''A Proposal to add a Polymorphic Function Object Wrapper to the Standard Library''
*  Doc No.   1403: Doug Gregor（2002年11月8日）''Proposal for adding tuple types into the standard library''
*  Doc No.   1424: John Maddock（2003年3月3日）''A Proposal to add Type Traits to the Standard Library''
*  Doc No.   1429: John Maddock（2003年3月3日）''A Proposal to add Regular Expression to the Standard Library''
*  Doc No.   1449: B. Stroustrup, G. Dos Reis, Mat Marcus, Walter E. Brown, Herb Sutter（2003年4月7日）''Proposal to add template aliases to C++''
*  Doc No.  1450: P. Dimov, B. Dawes, G. Colvin（2003年3月27日）''A Proposal to Add General Purpose Smart Pointers to the Library Technical Report (Revision 1)''
*  Doc No.  1452: Jens Maurer (April 10, 2003) ''A Proposal to Add an Extensible Random Number Facility to the Standard Library (Revision 2)''
*  Doc No.  1453: D. Gregor, P. Dimov (April 9, 2003) ''A proposal to add a reference wrapper to the standard library (revision 1)''
*  Doc No.  1454: Douglas Gregor, P. Dimov (April 9, 2003) ''A uniform method for computing function object return types (revision 1)''
*  Doc No.  1456: Matthew Austern (April 9, 2003) ''A Proposal to Add Hash Tables to the Standard Library (revision 4)''
*  Doc No.   1471: Daveed Vandevoorde (April 18, 2003) ''Reflective Metaprogramming in C++''
*  Doc No.   1676: Bronek Kozicki (September 9, 2004) ''Non-member overloaded copy assignment operator''
*  Doc No.   1704: Douglas Gregor, Jaakko J?rvi, Gary Powell (September 10, 2004) ''Variadic Templates: Exploring the Design Space''
*  Doc No.   1705: J. J?rvi, B. Stroustrup, D. Gregor, J. Siek, G. Dos Reis (September 12, 2004) ''Decltype (and auto)''
*  Doc No.   1717: Francis Glassborow, Lois Goldthwaite (November 5, 2004) ''explicit class and default definitions''
*  Doc No.   1719: Herb Sutter, David E. Miller (October 21, 2004) ''Strongly Typed Enums (revision 1)''
*  Doc No.  1720: R. Klarer, J. Maddock, B. Dawes, H. Hinnant (October 20, 2004) ''Proposal to Add Static Assertions to the Core Language (Revision 3)''
*  Doc No.  1757: Daveed Vandevoorde (January 14, 2005) ''Right Angle Brackets (Revision 2)''
*  Doc No.   1811: J. Stephen Adamczyk (April 29, 2005) ''Adding the long long type to C++ (Revision 3)''
*  Doc No.  1815: Lawrence Crowl (May 2, 2005) ''ISO C++ Strategic Plan for Multithreading''
*  Doc No.  1827: Chris Uzdavinis, Alisdair Meredith (August 29, 2005) ''An Explicit Override Syntax for C++''
*  Doc No.  1834: Detlef Vollmann (June 24, 2005) ''A Pleading for Reasonable Parallel Processing Support in C++''
*  Doc No.   1836: ISO/IEC DTR 19768 (June 24, 2005) ''Draft Technical Report on C++ Library Extensions''
*  Doc No.   1886: Gabriel Dos Reis, Bjarne Stroustrup (October 20, 2005) ''Specifying C++ concepts''
*  Doc No.   1891: Walter E. Brown (October 18, 2005) ''Progress toward Opaque Typedefs for C++0X''
*  Doc No.   1898: Michel Michaud, Michael Wong (October 6, 2004) ''Forwarding and inherited constructors''
*  Doc No.   1919: Bjarne Stroustrup, Gabriel Dos Reis (December 11, 2005) ''Initializer lists''
*  Doc No.   1968: V Samko; J Willcock, J J?rvi, D Gregor, A Lumsdaine (February 26, 2006) ''Lambda expressions and closures for C++''
*  Doc No.   1986: Herb Sutter, Francis Glassborow (April 6, 2006) ''Delegating Constructors (revision 3)''
*  Doc No.  2016: Hans Boehm, Nick Maclaren (April 21, 2002) ''Should volatile Acquire Atomicity and Thread Visibility Semantics?''
*  Doc No.  2142: ISO/IEC DTR 19768 (January 12, 2007) ''State of C++ Evolution (between Portland and Oxford 2007 Meetings)''
*  Doc No.  2228: ISO/IEC DTR 19768 (May 3, 2007) ''State of C++ Evolution (Oxford 2007 Meetings)''
*  Doc No.   2258: G. Dos Reis and B. Stroustrup ''Templates Aliases''
*  Doc No.  2280: Lawrence Crowl (May 2, 2007) ''Thread-Local Storage''
*  Doc No.  2291: ISO/IEC DTR 19768 (June 25, 2007) ''State of C++ Evolution (Toronto 2007 Meetings)''
*  Doc No.  2336: ISO/IEC DTR 19768 (July 29, 2007) ''State of C++ Evolution (Toronto 2007 Meetings)''
*  Doc No.  2389: ISO/IEC DTR 19768 (August 7, 2007) ''State of C++ Evolution (pre-Kona 2007 Meetings)''
*  Doc No.  2431: SC22/WG21/N2431 = J16/07-0301 (October 2, 2007), ''A name for the null pointer: nullptr''
*  Doc No.  2432: ISO/IEC DTR 19768 (October 23, 2007) ''State of C++ Evolution (post-Kona 2007 Meeting)''
*  Doc No.   2437: Lois Goldthwaite (October 5, 2007) ''Explicit Conversion Operators''
*  Doc No.   2461: ISO/IEC DTR 19768 (October 22, 2007) ''Working Draft, Standard for programming Language C++''
*  Doc No.  2507: ISO/IEC DTR 19768 (February 4, 2008) ''State of C++ Evolution (pre-Bellevue 2008 Meeting)''
*  Doc No.   2544: Alan Talbot, Lois Goldthwaite, Lawrence Crowl, Jens Maurer (February 29, 2008) ''Unrestricted unions''
*  Doc No.  2565: ISO/IEC DTR 19768 (March 7, 2008) ''State of C++ Evolution (post-Bellevue 2008 Meeting)''
*  Doc No.  2597: ISO/IEC DTR 19768 (April 29, 2008) ''State of C++ Evolution (pre-Antipolis 2008 Meeting)''
*  Doc No.   2606: ISO/IEC DTR 19768 (May 19, 2008) ''Working Draft, Standard for Programming Language C++''
*  Doc No.  2697: ISO/IEC DTR 19768 (June 15, 2008) ''Minutes of WG21 Meeting June 8–15, 2008''
*  Doc No.   2798: ISO/IEC DTR 19768 (October 4, 2008) ''Working Draft, Standard for Programming Language C++''
*  Doc No.   2857: ISO/IEC DTR 19768 (March 23, 2009) ''Working Draft, Standard for Programming Language C++''
*  Doc No.  2869: ISO/IEC DTR 19768 (April 28, 2009) ''State of C++ Evolution (post-San Francisco 2008 Meeting)''
*  Doc No.  3000: ISO/ISC DTR 19769 (November 9, 2009) ''Working Draft, Standard for Programming Language C++''
*  Doc No.  3014: Stephen D. Clamage (November 4, 2009) ''AGENDA, PL22.16 Meeting No. 53, WG21 Meeting No. 48, March 8–13, 2010, Pittsburgh, PA''
*  Doc No.  3082: Herb Sutter（2010年3月13日）''C++0x Meeting Schedule''
*  Doc No.  3092: ISO/ISC DTR 19769（2010年3月26日）''Working Draft, Standard for Programming Language C++''
*  Doc No.  3126: ISO/ISC DTR 19769（2010年8月21日）''Working Draft, Standard for Programming Language C++''
*  Doc No.  3225: ISO/ISC DTR 19769（2010年11月27日）''Working Draft, Standard for Programming Language C++''
*  Doc No.  3242: ISO/ISC DTR 19769（2011年2月28日）''Working Draft, Standard for Programming Language C++''
*  Doc No.  3290: ISO/ISC DTR 19769（2011年4月11日）''Working Draft, Standard for Programming Language C++''
*  The C++ Source Bjarne Stroustrup（2006年1月2日）''A Brief Look at C++0x''
*  C/C++ Users Journal Bjarne Stroustrup (May, 2005) ''The Design of C++0x: Reinforcing C++’s proven strengths, while moving into the future''
* Web Log di Raffaele Rialdi（2005年9月16日）''Il futuro di C++ raccontato da Herb Sutter''
* Informit.com（2006年8月5日）''The Explicit Conversion Operators Proposal''
* Informit.com（2006年7月25日）''Introducing the Lambda Library''
* Dr. Dobb's Portal Pete Becker（2006年4月11日）''Regular Expressions TR1's regex implementation''
* Informit.com（2006年7月25日）''The Type Traits Library''
* Dr. Dobb's Portal Pete Becker（2005年5月11日）''C++ Function Objects in TR1''
* The C++ Source Howard E. Hinnant, Bjarne Stroustrup, and Bronek Kozicki（2008年3月10日） A Brief Introduction to Rvalue References
* DevX.com Special Report（2008年8月18日） C++0x: The Dawning of a New Standard
*  The C++ Standards Committee
*  Bjarne Stroustrup's homepage
*  C++0X: The New Face of Standard C++
*  Herb Sutter's blog coverage of C++0X
*  A talk on C++0x given by Bjarne Stroustrup at the University of Waterloo
*  A quick and dirty introduction to C++0x (as of November 2007)
*  The State of the Language: An Interview with Bjarne Stroustrup (August 15, 2008)
*  Working draft for the C++ language, October 4, 2008
刺殺希特勒可以指：
*7月20日密謀案：1944年由施陶芬貝格上校謀劃刺殺希特勒的流產政變
*行動代號：華爾奇麗雅：據上一項而拍成的電影。
*刺殺希特勒2093-1944:一部波蘭射擊游戲。
是一部2009年的美國超級英雄電影，由保羅·麥格根執導，克里斯·伊凡、達科塔·芬妮和卡蜜拉·貝兒領銜主演。電影將在北美地區2009年2月6日首映，臺灣於3月6日上映。電影大部分場景香港實景拍攝，有多位香港藝人演出，如梁麗瑩、梁繼璋、劉玉翠、車保羅、林盛斌、李漫芬、向佐等。
一切起源於1945年，納粹進行超能強化計劃。試圖把超能力注入數以千計的士兵體內。戰爭結束了，但這個實驗卻從未中止。全世界的政府都建立了「隔離區」（The Division）的機構，繼續進行納粹的實驗，把人們制成武器。
主角尼克（Nick）企圖逃離組織掌控，並意外發現有個箱子裝有可以將組織摧毀的秘密，而另一方面，來自中國的組織也在搜尋箱子的下落。故事主場景為香港。
能入侵人的思想，讓人們把「推手」所編造的一些謊話當作事實甚至命令控制意志較薄弱的人。（代表人物：琪拉、亨利·卡佛探員）
能以意念移動人或物體。（代表人物：尼克·甘特）
* WATCHERS（神視者）
能看到未來的景像，亦可以尋找人或物的蹤影。（代表人物：凱西·荷姆斯）
* BLEEDERS（嘯吼者）
能從口發出巨大聲音對物件甚至人作出損傷。（代表人物：THE POP BOYS）
能從接觸過的東西，知道它所到的地方。（代表人物：EMILY HU）
* SHIFTERS（移形者）
能把一個物件的外觀變成另一個物件。（代表人物：HOOK WATERS）
能將某些物件或人匿跡，使一般人不能見到，包括靈嗅人，但逃不過透視人的能力。也不能使一棟巨大建築匿跡。（代表人物：PINKY STEIN）
能把人們的某部分記憶消除（代表人物：WO CHIANG）
* STITCHES（修補者）
幫人治療創傷，又或將人扭傷（代表人物：TERESA STOWE）
* 基斯·伊雲斯 飾 尼克·甘特（Nick Gant）
** 科林·福特 飾 年輕的尼克
本片首映時的達科塔·芬妮
* 達科塔·芬妮 飾 凱西·荷姆斯（Cassie Holmes）
本片首映時的卡蜜拉·貝兒
* 卡蜜拉·貝兒 飾 琪拉（Kira Hudson/Hollis）
* 吉蒙·翰蘇 飾 亨利·卡佛探員（Agent Henry Carver）
*  飾 Jonah Gant
* 溫明娜 飾 Emily Wu
* 克利夫·柯蒂斯 飾 Hook Waters
*  飾 Pinky Stein
* 寇瑞·史托爾 飾 Mack探員
* 尼爾·傑克遜 飾 Victor Budarin
*  飾 Teresa Stowe
* 李小璐 飾 Pop Girl
* Kwan Fung Chi和向佐 飾 Pop Boys
*  飾 Pop Father
*  移動城市  at MySpace
圣雷莫音樂節（意大利語：Festival della canzone italiana，英語：Italian song festival）是從1951年創辦以來深受歡迎的意大利歌唱比賽，每年在圣雷莫市舉行。通常被稱為Festival di Sanremo，在意大利以外也被稱為Sanremo Music Festival，Sanremo中的獲勝者將參與歐洲歌唱大賽，而歐洲歌唱大賽的創辦靈感也是源于意大利的這個音樂節。Sanremo音樂節對于意大利人意義非凡，它是持續時間最久的并且至今仍在繼續的音樂節。
從1953至1971年間（1956年除外），每首歌有兩位不同的表演者（歌手或樂隊）演唱兩次，每次使用不同的管弦樂編曲伴奏。由此說明，這是一個作曲家的比賽，而不是歌手的比賽。在此期間，歌曲通常有由意大利本土歌手演唱一遍，另一遍由特邀國際歌手演唱。
在1956至1966年，1972至1997年期間，由圣雷莫音樂節選出代表意大利參加歐洲歌唱大賽的選手。該音樂節也發掘了很多著名歌手，最著名的有安德烈·波切利、Giorgia Todrani、Elisa、勞拉·普西妮和艾羅斯·拉瑪佐第。
該音樂節從1955年至今，由Rai 1現場直播。1951至1954年，只由意大利廣播電視公司通過電臺轉播。這個音樂節的獨特性在于，每個參與排名的歌手所帶來的歌曲，必須是首發原創，不可提前泄露。
保羅·約瑟夫·寇恩（，) ，美國數學家，他證明策梅洛-弗蘭克爾公理系統加上選擇公理 (ZFC) 不能反駁連續統假設 (CH) 的否命題，而ZF不能反駁選擇公理 (AC) 的否命題。這一劃時代的工作與哥德爾在1930年代的工作一起，證明了CH和AC分別獨立于ZFC和ZF。寇恩在證明中創造了力迫法，如今力迫法已經成為公理集合論的一項基本技術。寇恩憑借連續統假設的獨立性證明于1966年獲得菲爾茲獎章。
保羅·寇恩生于美國新澤西州長灘（Long Branch）的一個猶太家庭，1950年畢業于紐約市的Stuyvesant高中。
1950年寇恩入讀紐約市立大學布魯克林學院。不過他了解到申請芝加哥大學的研究生院只需兩年大學經歷，因此于1953年從布魯克林學院肄業。1954年寇恩在芝加哥大學取得碩士學位，1958年他在 Antoni Zygmund的指導下獲得博士學位。寇恩的博士論文題為《三角級數唯一性理論的一些問題》（''Topics in the Theory of Uniqueness of Trigonometric Series''）。
* 1957-1959年，在獲得博士學位之前曾先后執教于羅徹斯特大學和麻省理工大學。
* 1959-1961年，普林斯頓高等研究院博士后研究員。
* 1961年，獲聘為斯坦福大學數學系助理教授。
* 1962年，升任斯坦福大學數學系副教授，同年獲得斯隆獎。
* 1963年，憑借連續統假設的獨立性證明獲得 Research Corp. 獎。
* 1964年，升任斯坦福大學數學系教授。
* 1966年，獲得菲爾茲獎章。
* 1967年，獲得美國國家科學獎章。
* 2004年，從斯坦福大學退休，但任教直至2007年春季。
* 生前是美國國家科學院和美國藝術科學院的院士。
寇恩的博士論文和早期的研究內容是調和分析。1964年寇恩憑借分析學論文《關于李特爾伍德猜想和冪等測度》（''On a conjecture of Littlewood and idempotent measures''）獲得美國數學學會頒發的博謝紀念獎。
1960年代初，寇恩開始對連續統假設感興趣。最終他發明了力迫法。在ZF協調的假設下，他運用力迫法構造了一個ZFC的模型M，M不滿足CH，因此ZFC不能證明CH。另外，同樣在ZF協調的假設下，寇恩運用力迫法擴張一個給定的ZFC模型M得到MG，然后取MG的一個子模型N，N滿足ZF、然而不滿足AC。寇恩的這兩項工作和哥德爾在1930年代的工作一起，證明了CH獨立于ZFC而AC獨立于ZF，因此CH是ZFC上的一個不可判定問題。
憑借CH的獨立性證明，寇恩于1966年獲得菲爾茲獎章，并于1967年獲得美國國家科學獎章。直至今天，寇恩的菲爾茲獎章依然是數理邏輯界獲得的唯一一枚菲爾茲獎章。
寇恩生前是斯坦福大學的教授，也是一位出色的教師，他指導的博士生彼得·薩納克（Peter Sarnak）是一位杰出的數學家、美國科學院院士和英國皇家學會會士。
據說在研究連續統假設的過程中，寇恩曾經感到其他數學家認為沒有希望解決這個問題，因為當時沒有構造集合論模型的新方法。1985年寇恩接受采訪時提到，人們甚至認為考慮這個問題的人多少有點瘋狂。
寇恩的獨立性證明引入了力迫法，如今力迫法成為一項強有力的技術，不計其數的數學家們運用這一方法構造模型，檢驗給定的假設可否與不同的公理系統協調。
*  paulcohen.org - 寇恩紀念網站
薛禮廟，位于鴨綠江南岸的朝鮮新義州。為紀念唐朝將領薛禮（即白袍將薛仁貴）而建，自大唐薛禮征東以來，在朝鮮深入民心。朝鮮人為了紀念薛禮，于統軍亭相距不遠的地方修建了薛禮廟。歷經千年，依然香火不斷。
持續改進（又稱為漸進改善，梯級改進）是一種過程或提高生產率的手段，旨在保持穩定而又持續的增長以及改善某一或某些過程的所有階段或部分。
Dearest為傅穎第三張個人專輯，於情人節前夕2009年2月13日分為兩款不同封面（Sexy及Cute）推出。雖現今市道差，但其唱片銷量已突破超過一萬張。更被唱片公司老闆黃柏高封傅穎為金牌大風最高銷量的女歌手。
''推出日期：2009年2月13日''
隨首批限量特別版附送：
# Before My Dearest 相集+Theresa 愛情記載
# Theresa 親筆繪圖 Dearest Card
# 12"x24" Poster (Version A)&(Version B)（其中一款）
# 20"x30" Poster (Version A)&(Version B)（其中一款）
AMR—2是一款由中華人民共和國武器製造商中國南方工業集團公司所設計及生產的12.7毫米（.50英吋）大口徑重型狙擊步槍（反器材步槍），最早於2000年早期推出，并曾經于2005年（第一屆）北京國際裝備及反恐技術展以上展出，發射12.7×108毫米俄羅斯口徑（.50俄羅斯或54式12.7毫米重機槍彈）步槍子彈。
AMR-2是為了軍警、反恐和外貿設計的一種單兵武器，以為狙擊分隊提供摧毀物資器材的能力，彌補7.62毫米等中小型口徑狙擊武器系統對有生目標殺傷威力（包括射程、精度、終點動能）不足的缺點。AMR-2被設計為一支非自動武器，因為設計者充分考慮到作為一支遠距離狙擊武器，強調的是首發命中。由于非自動的栓動式步槍不像半自動步槍一樣，利用火藥燃氣能量再次裝彈入膛，因此將發射時運動件產生的力減小到了最低程度，從而保證了精度高于半自動步槍，在需要一槍結束戰斗的特殊情況下具有更大的優勢。其次，大口徑高精度狙擊步槍射擊后，射手和槍械的位置難以保持絲毫不動，在必須進行精確射擊的場合，必然要重新瞄準才能再次扣動扳機。實踐證明，彈匣供彈式栓動步槍裝填一發子彈的時間要遠少于重新瞄準所需要的時間。因此，當戰術需要極高射擊精度的時候，栓式步槍成為了首選。半自動狙擊步槍主要用于需要較強的持續火力的情況。
AMR-2采用了折疊式可調節槍托，配備了兩腳架、雙室式槍口制退器、提把和可裝拆式彈匣，根據特殊需要可選配消聲器。中國官方宣稱，該槍具備全天候作戰的能力，配備了光學／光電瞄具和供緊急情況下作為輔助瞄準用途使用的后備折疊式機械瞄具。該槍采用5發容量彈匣供彈，發射12.7×108毫米（.50俄羅斯或54式12.7毫米重機槍彈）系列步槍子彈，包括全新研制的穿爆燃多功能彈藥和遠程高精度彈藥。
自由浮動式精鍛成型槍管總長度為850毫米（33.46英吋），在槍管準直度、加工精度、壽命等性能指標上都達到了較高的水準。自由浮動式設計亦最大限度地避免了射擊過程中各種因素的幹擾，有利於提高射擊精度。機匣以聚合物作為材料。上機匣頂部設有全長度MIL-STD-1913戰術導軌，可安裝瞄準鏡、夜視鏡、兩腳架等各種戰術瞄具。槍上設有後備摺疊式機械瞄具以在緊急情況下作為輔助瞄準用途。它亦採用了折疊式可調肩托，不但在折疊時縮短了全長、提高其攜行性，而且增設的（高度調整）、駐鋤（可作為狙擊步槍的伸縮式後腳架）都可根據使用者的習慣進行微調，最大程度地提升了其人機工效。
AMR-2是一件傳統與創新并重的武器。作為一款要求精度高的非自動步槍，它采用了久經考驗的旋轉后拉式槍機和傳統式設計。前者的槍機閉鎖面完全對稱，對提高射擊精度非常有利。該結構從德國Gew 98步槍開始應用。100多年來為眾多優秀的高精度步槍所采用。美軍M24和M40狙擊步槍所采用的雷明登700型槍機也是源于該結構。可是，由于該結構開鎖和壓擊針簧待擊由一個動作同時完成，因而導致開鎖困難，有時甚至由于槍管和機頭發熱而無法開鎖；這成為一大難題，也是毛瑟發明該結構100多年來倍受指責的地方。而AMR-2則是采用獨特的創新結構成功地解決了這個難題，使開鎖動作相對的輕松。
減小後座力是設計當中面臨的第一大難題。眾所周知，12.7毫米步槍子彈原本是大口徑機槍子彈，其槍身是架設在三腳架上發射的。如今要實現抵肩發射，在減小后坐力的設計方面比半自動狙擊步槍的難度還要大。因為半自動的能量在供彈過程中需要進行各種不可逆的能量消耗，因此后坐能量有所減小。而12.7毫米槍彈的直接后坐力接近40,000牛頓，如果缺乏有效的減后坐措施，射手根本難以承受；加之抵肩點和槍管軸線無法確保在一條直線上，即使射手能承受也無法保證必要的射擊精度。
為此，AMR-2除了采用常用的高效膛口制退器以外，還創造性地采用了三級減后坐措施以減小后坐力。
* 槍管分級后坐系統（專利技術）
據指，AMR-2通過合理控制槍管運動成功地解決了槍管浮動和精度之間的矛盾，在彈丸未出膛口前（內彈道時間約為2.3毫秒），射手的可感后坐力被嚴格控制在極小范圍內，基本不會造成槍管軸心的偏移。而在槍管后坐到位時，彈丸已經脫離中間彈道（約為8毫秒），槍管后坐到位的振動使彈丸飛行的擾動降到最小，槍管分級后坐系統保證了較高的射擊精度。
AMR-2的機匣和槍托之間采用了特殊設計的彈簧液壓緩沖器，在后坐沖量不變的情況下，彈簧液壓緩沖器可以更加有效地降低后坐力。
AMR-2的肩托將最新的軍用緩沖橡膠澆鑄在金屬嵌件外，并精心設計造型，保證抵肩面為直面并盡量增大面積。廠商方面使用力學傳感器抵肩測量，發現AMR-2的后坐力僅為采用硬質塑料肩托的79式狙擊步槍的10%。雖然這個測試結果不能完全反映射手的可感后坐力，但這種橡膠肩托對于減小后坐力無疑起到了很大作用。
一方面減小了槍口跳動，另一方面減小了射手的畏懼心理，為保證極高的射擊精度創造了基本的條件。在此基礎上，AMR-2還采取了多項技術措施來提高射擊精度。
為了保證AMR-2有足夠的精度，設計者先是在槍管的設計與制造工藝上做了大量工作，在中國大陸境內首次采用了特殊膛線，改善了槍彈的飛行穩定性，提高了狙擊步槍的遠距離精度。采用特殊的槍管精鍛工藝、激光強化技術和鍍鉻工藝，滿足了高精度大口徑高精度狙擊步槍對槍管的特殊要求。
同時設計者采用了擊針平移的擊發機構，擊發時只有擊針與步槍子彈底火的沿槍管軸線的對心撞擊，加上解脫擊針到撞擊底火的時間短，可以說是所有擊發機構中最有利于提高射擊精度的一種形式。發射機構采用了運動槍械的發射機構，扣引扳機平穩，扳機扣力12—18牛頓。
據稱，AMR-2的總體布局和細小結構都相當重視人機工效的合理性，抵肩到扳機的距離和手槍握把虎口到扳機的尺寸都是嚴格按照人體的最佳尺寸來確定的。機匣上端設計有MIL-STD-1913戰術導軌，光學瞄準具在戰術導軌上可以前后移動，可根據不同的需要來調整射手眼部到目鏡的距離。
另外，該槍的托腮設計獨具特色。一是（高度調整）的材料雖然為超硬鋁制，但在其表面進行了軟體材料噴塑，與人臉接觸時會讓操作者感到較舒適，二是托腮板高度只要按下按鈕就可隨意調節。
設計者在手槍握把的表面上加工了精細的防滑紋，以達到最佳的舒適度。槍托上設有供左手握持的后握把。
據中國官媒宣稱，AMR-2的射擊精度達到了“前所未有”的水平。在其精度測試中，100米R50值達到1.8厘米（大致0.7—0.8角分），高于彈道槍使用標準彈的射擊精度（標準彈射擊精度要求是1角分，即100米R50值爲2.5厘米左右）；其中有一靶R50達到1.1厘米的驚人水平（大致0.42角分），相當於使用該槍可輕鬆地于100米處打中一個乒乓球。然而其真實性仍然有待確認。
AMR-2全槍設計緊湊，帶5發空彈匣時全重9.8公斤（21.61磅），在長度為850毫米（33.46英吋）的槍管重達4千克的情況以下，全槍系統采用了多種新型輕質合金材料，最終將全槍重控制在理想的范圍內。由于機匣、、手槍握把等采用鋁合金，槍口制退器、擊針等采用鈦合金，金屬表面采用了QPQ、微弧氧化等多種先進工藝，具有良好的表面色澤和較佳的表面硬度以及良好的防腐性能。
12.7毫米大口徑狙擊步槍的一大缺點是槍口噪聲、槍口沖擊波、槍口煙（焰）等發射特征明顯。在反恐特種作戰等秘密行動中，狙擊手的活動必須具有高度隱蔽性，才能確保行動的成功和自身的安全，如不采取特殊的技術措施，必然會出現類似于巴雷特M82A1發射時塵土飛揚這樣明顯的發射特征。而且大口徑狙擊步槍強大的噪聲接近180分貝，可說是接近火炮的水平，因此射手不戴耳罩等聽力保護裝置根本無法射擊，但戴耳罩又勢必嚴重影響射手和戰友的必要交流和無線通信。
12.7毫米槍彈在無膛口裝置的情況下會令槍口焰向前噴射近5米，這就不僅是夜間容易暴露的問題，而且在危險環境中可能引起爆炸。由此可見，以上發射特征必須合理解決才能滿足該武器在特種場合的適用性，要想解決這個難題，必須降低膛口壓力、氣流速度。
為此AMR-2的設計人員專門設計了具有多項專利技術的消聲器，測試結果表明，使用該消聲器可以將膛口噪聲減小20多分貝，達到普通7.62毫米步槍子彈的水平，而且由于設計合理，該消聲器有效長度僅為20厘米，并沒有過多加長全槍尺寸，并可快速拆裝。
據中國方面宣稱，AMR-2具有如下優勢。
由于該槍采用了折疊槍托，因此攜行時有效縮短了全槍長至1,420毫米（55.91英吋），在槍托折疊狀態下全槍長僅為1,230毫米（48.43英吋），方便人員上下各種軍警用車，而將槍托展開僅需要幾秒鐘。兩腳架采用了伸縮桿結構，射手可根據需要快速調節兩腳架的高度，攜行時可以快速向前折疊，與槍身平行。腳架箍的安裝位置可以說獨具匠心，設計者將其巧妙地設計在機匣的前端，形成了＂吊籃式＂腳架，這種結構可以在瞄準時更靈活地調整瞄準角度來實現快速準確射擊，并有利于提高射擊精度。根據狙擊步槍的作戰特點，有時武器在瞄準后需要進行長時間等待，為此，AMR-2在槍托底部設計了可折疊內置式支撐桿。支撐桿采用雙向螺紋調節方式，調節十分迅速，便于快速瞄準目標。
AMR-2全槍分解結合簡單，僅壓縮按鈕再拔下一個聯接裝置，就可以將全槍分解為槍管、槍身兩部分，這種狀態更加方便兩人攜行。而擦拭保養時，進行不完全分解費時不到2分鐘。
AMR-2設計有供近距離或在不能使用光學瞄準具的緊急情況下使用的機械瞄具，準星和照門在不使用時可以平放，使用時向上翻轉即可。此外還配備了白光瞄準鏡和光電瞄準具。白光瞄準鏡采用了光學變倍結構，前置，減少了光學變倍帶來的零位走動。分劃板有簡易的測距指示，通過照明裝置，使分劃晝夜清晰可見，光學變倍范圍為3倍到9倍，連續可調。低倍率用于搜索目標，高倍率用于精確瞄準。瞄準鏡結構簡單，操作簡便。光電瞄具能進行激光測距，完成彈道解算和自動調整瞄準點。
AMR-2可以使用12.7×108毫米（.50俄羅斯或54式12.7毫米系列步槍子彈），反器材時可以使用類似于穿甲彈（，簡稱：HEIAP），精確殺傷時可以使用類似于XM1022遠程戰術狙擊步槍子彈。有效射程達到1,800米。
目前，美國巴雷特系列狙擊步槍可謂是世界大口徑狙擊步槍的代表。巴雷特公司在開發出M82A諸多半自動產品的同時，還開發了M90、M95、M99等一系列栓動狙擊步槍，可見栓動式大口徑狙擊步槍擔任的角色是半自動狙擊步槍所無法代替的。
AMR-2與巴雷特的槍機開閉鎖原理基本一樣，但巴雷特的三枝栓動大口徑高精度狙擊步槍為了縮短全槍長，都采用了無托結構。而AMR-2在解決這個難題后采取了折疊槍托，不但達到了縮短全槍長的目的，而且增加了貼腮和肩托支撐桿，因此推斷AMR-2的射擊舒適性略優于巴雷特，但采用折疊槍托對本槍的耐用性、可靠性會否對射擊精度産生影響還有待觀察。而采用四重減后坐措施的AMR-2其后坐力也比巴雷特小。然而AMR-2大口徑高精度狙擊步槍的整體水平應該還在巴雷特M90狙擊步槍、M95狙擊步槍、M99狙擊步槍之下。
由于AMR-2性能相當普通，因此它目前只有限地裝備中國人民解放軍，至今仍未發現有其他國家大量採用。
* 2011年—《光榮使命》：命名為「重型狙擊步槍」。
* 2013年—《-{zh-hans:戰地4; zh-hant:戰地風雲4;}-》：命名為「AMR-2」，發射12.7×108毫米子彈，被歸類為戰場拾取武器，載彈量5+1發。只於多人模式時登場，可由所有陣營的玩家拾獲後使用，預設配備測距儀和腳架，並具有三種型號：
** AMR-2標準型（中文版則命名為「AMR-2狙擊步槍」）：使用彈道（放大40倍）和變焦視鏡（放大14倍）；
** AMR-2 MID（中文版則命名為「AMR-2 MID狙擊步槍」）：使用CL6X（放大6倍）；
** AMR-2 CQB（中文版則命名為「AMR-2 CQB狙擊步槍」）：使用稜鏡（放大3.4倍）。
* 10式狙擊步槍（QBU-10）
* 11式狙擊榴彈發射器（QLU-11）
* XY 7.62毫米高精度狙擊步槍
* —《兵器知識》雜志2006年2月版號： 目標10環：中國AMR-2 12.7毫米大口徑狙擊步槍
* — AMR-2 12.7mm Sniper Rifle, Sino Defence
* — 12.7mm Anti-Materiel Rifles
* — Modern Firearms—12.7mm AMR-2 anti-materiel / sniper rifle
* — Sinodefence.com.—AMR-2 12.7mm Sniper Rifle
* — Chinese Infantry Heavy Weapon & Small Arms | China Defense Mashup
* — Снайперская винтовка "AMR-2"
* —圖文：國產AMR-2 12.7毫米半自動狙擊步槍： 1、 2、 3、 4、 5
* — 華聲論壇—風雨曆程40年—國營216廠專題
王芷蕾，本名王玉娟，臺灣歌手，臺北縣板橋市（今新北市板橋區）人，籍貫浙江，目前是美國維吉尼亞州「觀光旅遊局國際事務代表」。父親服務於警界，家人喜愛歌唱。王芷蕾從小就有本事將收音機聽過的歌重新唱過，六歲曾得過教會「唱詩」比賽冠軍。父親為培養具有唱歌天份的王芷蕾，曾送王芷蕾到聲樂老師倪學銓處接受訓練。王芷蕾夫婿為美國維州商貿廳華裔廳長鄭叔霆。
王芷蕾於就讀泰北高中三年級期間，參加歌唱比賽，連續三次得到比賽「週冠軍」，獲得臺視基本歌星合約。1977年，經由美黛介紹，加入馬來西亞的大聯唱片；同年，在臺灣出版第一張專輯《情深深》。1980年，王芷蕾演唱翁清溪作曲的臺視連續劇《秋水長天》（黃以功導播，蕭芳芳、劉德凱主演）主題曲，知名度大增。此後，王芷蕾唱過《巴黎機場》、《秋潮向晚天》、《天長地久》、《海角天涯》、《花落春猶在》、《最難忘的人》、《金色山莊》……等多部臺視連續劇的主題曲。駱明道作曲的《海角天涯》也是王芷蕾加盟飛羚唱片時期的代表作品之一。
1983年，王芷蕾推出飛羚唱片時期最後一張專輯《週末的晚上》後，加盟飛碟唱片。1985年3月，王芷蕾推出加盟飛碟唱片時期第一張專輯《王芷蕾的天空》以全新時尚形象與音樂風格大受歡迎；其主打歌《臺北的天空》（當時臺視八點檔連續劇《花落春猶在》主題歌）反映1980年代臺灣海外留學風潮下的留學生對臺北市的記憶與鄉愁，流行甚廣。1985年9月，王芷蕾推出融合古典現代的《翩翩飛起》專輯，1986年，在獲得五次金鐘獎提名未得獎之後，以臺視《王芷蕾專輯》獲得金鐘獎最佳女歌星演員獎。之後王芷蕾也在飛碟推出《冷冷的夏》(1986)、《春天的臉》(1987)、《悲歡歲月》(1988)等專輯，評價銷售皆受肯定。
1988年，王芷蕾推出加盟飛碟唱片時期最後一張專輯《悲歡歲月》。與飛碟唱片合約期滿之後，王芷蕾與來自臺灣、四歲時即隨全家移民美國的電腦硬體商人鄭叔霆（，2010年起擔任美國維吉尼亞州「商務暨貿易廳長」，共和黨籍）結婚，婚後定居美國大華府地區，退出影藝圈。
2003年，應張清芳邀請，王芷蕾擔任張清芳個人演唱會嘉賓演唱「翩翩飛起」與「臺北的天空」。2006年底，王芷蕾復出，與張小燕經營的豐華唱片簽約，推出《我們的天空》專輯。2007年，王芷蕾在臺北舉行「臺北的天空：王芷蕾演唱會」，並由公共電視臺在2007年4月7日錄影播出。2010年5月王芷蕾推出現場錄音專輯《仰望》，並在各大教會展開慈善巡演。
王芷蕾出過三十多張專輯唱片，包括「秋水長天」、「天長地久」、「海角天涯」、「一千個春天」、「讓他們都知道」、「臺北的天空」、「翩翩飛起」、「晚風」、「明天你是否依然愛我」、「冷冷的夏」、「流沙」、「今夜相思雨」、「悲歡歲月」……等經典代表作品。
《海角天涯》
#我心不變掛
#我願意跟著你
#讓他們都知道
《孤獨夢中》
《周末的晚上》
#週末的晚上
#離別不再是永遠
#恨不鍾情在當年
#逝去的戀情
#秋潮向晚天
#想你在夢裡
#你為什麼要回來
#長記在心田
《雅歌新韻(一)》
#我是一隻畫眉鳥
#月光小夜曲
#加多一點點
《一千個春天》
#一千個春天
#心冷的時候
#今晚不要說再見
《雅歌新韻 ( 二 )》
#紅花襟上插
#花兒落誰家
#相思夜夜深
#月兒彎彎照九洲
#希望在明天
#一年又一年
《中國老歌 ( 上 ) / 國語老歌6 》
《中國老歌 ( 下 ) / 國語老歌7 》
#月亮彎彎照九州
*臺視《美的觸角》（純歌唱節目，彭達製作，共136集，播映期間：1985年1月7日至1985年6月17日每週一14:30～15:00，1985年6月24日至1986年4月30日每週三16:00～16:30，1986年5月10日至1987年9月25日每週五16:00～16:30。）
*臺視《王芷蕾專輯》（播映期間：1982年12月24日23:00～24:00，1983年12月26日17:00～18:00，1984年12月24日21:30～23:00，1985年12月26日21:30～23:00。）
2012年，以代理孕母，生下一子。
圣奧拉夫教堂是愛沙尼亞首都塔林的一座教堂，創建于12世紀，在1219年丹麥征服塔林以前，是舊塔林斯堪的那維亞社區的中心。它的主保圣人是奧拉夫二世。最早的文字記載見于1267年，在14世紀進行了大規模改建。
有一個傳說說到，修建教堂的人名叫奧拉夫，從塔頂摔下死亡。據說當他的身體撞到地面時，從口中爬出蛇和蟾蜍，在附近的圣母小教堂，有壁雕描繪這一事件。
1500年前后，這座建筑升高到了159米。建這樣高的尖塔，動機是把它作為海洋路標，從塔林遠處的海上就可看見這座商業城市。經過幾次改建后，今天高123米 - 從1549年，到1625年尖頂毀于雷電，這是世界最高建筑。圣奧拉夫教堂的尖頂已經被閃電擊中至少有8次，而整個教堂被燒毀也有3次。
在蘇聯占領時期從1944年直到1991年，蘇聯克格勃將圣奧拉夫教堂的尖頂用作廣播發射塔和監視點。目前此處是活躍的浸信會教堂。
File:St Olaf's Church, Tallinn exterior.jpg|外景
File:Iglesia de San Olaf, Tallinn, Estonia, 2012-08-05, DD 01.JPG
File:Iglesia de San Olaf, Tallinn, Estonia, 2012-08-05, DD 02.JPG
File:Iglesia de San Olaf, Tallinn, Estonia, 2012-08-05, DD 05.JPG
File:Iglesia de San Olaf, Tallinn, Estonia, 2012-08-05, DD 14.JPG
File:Iglesia de San Olaf, Tallinn, Estonia, 2012-08-05, DD 18.JPG
File:Iglesia de San Olaf, Tallinn, Estonia, 2012-08-05, DD 19.JPG
File:Tallinna Oleviste kirikutorni muna ja rist.jpg
File:Spires of St Olaf's Church, Tallinn.jpg
File:Staircase of St Olaf's Church.jpg
*  Tourist Sights in Estonia
*  The Legend of St Olav's Church
*  St. Olav's Church, short history
意大利廣播電視公司（意大利語：Rai - Radiotelevisione Italiana），簡稱RAI，是意大利的公共廣播機構，隸屬於經濟財政部之下。開設有許多電視臺和廣播電臺，是歐洲廣播聯盟的23個成員之一，是意大利最大的電視網。
意大利廣播電視公司一半的收入來源于許可費，一半來源于廣告。該公司有著44.35%相對高的收視份額。由于地理上的鄰近關系，馬爾他、斯洛文尼亞、圣馬力諾和克羅地亞也能收到信號。目前主席由Anna Maria Tarantola擔任。
意大利廣播電視公司有五個主要頻道：Rai 1、Rai 2、Rai 3、、。
其中Rai 1、Rai 2、Rai 3是主要的三個綜合頻道，播出新聞、電影、電視劇、娛樂節目和少兒節目等，Rai 1是意大利收視率最高的頻道，它是Rai的旗艦頻道，直接與Mediaset下屬的Canale 5頻道展開競爭。
Rai 4是播出影視、娛樂節目的頻道，Rai 5是播出科教類和紀實類節目的頻道。
數字電視平臺上還有以下頻道：
* Rai News24 （24小時新聞頻道）