laion/Wikipedia-Exotic huggingface dataset:
祝你生日快乐

《祝你生日快乐》 （英語：Happy Birthday to You）是一首用来庆祝生日的歌曲。根据《吉尼斯世界纪录》，《祝你生日快乐》是英语中三首最著名的歌曲之一，其余两首分别是《友谊地久天长》 和《他是一个快乐的好小伙（英语：For He's a Jolly Good Fellow）》（For He's a Jolly Good Fellow）。这首歌曲被翻译成了多国语言，在一些英语不是主要语言的国家，人们也经常唱这首歌曲的英语歌词。 《祝你生日快乐》的旋律是由两位美国的希尔姊妹，帕蒂·希爾（英语：Patty Hill）与米爾德麗德·珍·希爾（英语：Mildred J. Hill）于1893年在美国肯塔基州路易斯维尔的学校任教的时候写成的。这首歌的歌词本来是用于课堂问候，题为《祝大家早安》（Good Morning to All）。希爾家族將這首歌放在《幼稚園的歌曲故事》一書中。人们还不完全清楚到底是谁写了《祝你生日快乐》的歌词。 2015年9月22日，洛杉磯聯邦法院判定，華納音樂集團未擁有《祝你生日快樂》歌詞版權，《祝你生日快樂》應為免費歌曲（公有領域）。另外很多人認為生日快樂歌是兒歌，但他其實是一首流行歌曲。 中間的「名字」為壽星的名字，早期的英語出版物中常以「John」作為例子。 作为桑米公司（Summy Co.）雇佣的普雷斯顿·维尔·奥瑞姆（Preston Ware Orem）的职务作品，《祝你生日快乐》在1935年登记了版权。然而，《祝大家早安》是1893年出版的，根据美国法律，它现在属于公有领域。1935年版权版本的当前拥有者相信，人们不能不支付版税，就以营利为目的演唱“祝你生日快乐”的歌词。除了《祝大家早安》的旋律的首个音符被分成了两个，以适合“Happy”（快乐）这个词的两个音节之外，《祝你生日快乐》和《祝大家早安》的旋律是一样的。 《祝大家早安》最早于1893年发表在为幼儿园使用的《歌曲故事》（Song Stories）一书中（1896年出版了修订本）。它记载着帕蒂·希尔作词，米尔德丽德·希尔作曲。 根据美国法律，《祝大家早安》的词曲都没有版权。 后来，《祝你生日快乐》的歌词和希尔姐妹发表的旋律合在了一起，出现在了舞台表演中。百老汇的音乐剧The Band Wagon于1931年使用了《祝你生日快乐》。那时候，《祝你生日快乐》的歌词还没有版权。许多文章常常错误地记载了这引发的诉讼，但是正相反，这桩诉讼最后被放弃了，这桩事件没有任何结果。 结果，桑米公司在1935年为《祝你生日快乐》登记了版权，但这并不影响今天《祝大家早安》属于公共领域的状态。 （根据公有领域创作的作品以及关于类似音乐作品的案例）先例似乎表明，把《祝大家早安》的首音符拆成两个，并不能得到更多的法律保护。 有一个理论认为，由于《祝你生日快乐》这一衍生作品没有得到希尔姐妹的授权，并且在发表的时候没有根据1909年的美国版权法进行版权宣告，因此1935年的版权登记是无效的。 1990年，桑米公司被华纳唱片以1500万美元收购，其中《祝你生日快乐》的价值被估作500万美元。一般估計，華納音樂每年可以從「生日快樂歌」收取約200萬美元的使用費。 2013年，Jennifer Nelson以其製作公司「GOOD MORNING TO YOU PRODUCTIONS CORP」向紐約南區聯邦法院提起了針對Warner Chappell Music的版權集體訴訟，一周後加利福尼亞中央區聯邦法院發生類似案件，Rupa & the April Fishes針對Warner Chappell Music發起相同版權訴訟，兩案最終併案審理。 一家早安歌發行集團因為要製作一部紀錄片，還得付華納音樂1500美元的版權費，因此向法院提起訴訟。 2015年9月22日，洛杉磯聯邦法院判定：桑米公司從來就沒有擁有「生日快樂歌」歌詞的版權，華納音樂也沒有。也就是說，「生日快樂歌」應為免費歌曲。原告與被告於2016年6月27日達成和解，華納公司償還賠錢。 《祝你生日快乐》的一次最著名的演出，是玛丽莲·梦露于1962年5月为美国总统约翰·F·肯尼迪演唱的。阿波罗9号飞船的成员于1969年3月8日也演唱了这首歌，或许这可以被认为是第一首在太空演唱的歌曲。 许多餐馆在为顾客上蛋糕的时候，演奏他们自己创作的歌曲，而不是《祝你生日快乐》。这些歌曲创作的目的是为了避开《祝你生日快乐》的版权问题。 BBC的学龄前儿童频道也用不同于《祝你生日快乐》的歌曲来祝贺小观众们的生日（Youtube有提供2006年此等歌曲的影片）。 2014年香港雨傘革命期間，示威者佔領旺角道路，期間常有持不同意見人士上前爭論，或釀成爭執；曾經有人嘗試以擴音器調解，但意外播放出擴音器預設的生日歌，此後成為習慣，當雙方政見不同爭拗相持不下、形勢緊張時，便有人以「唱生日歌」形式緩和氣氛，停止爭拗。 唱過那麼多次生日歌，你付過版稅嗎？. 紐約時報. [2015-09-06]. （原始内容存档于2018-01-03）.  Happy Birthday ruled public domain as judge throws out copyright claim. The Guardian. 2015-09-23 [2015-09-28]. （原始内容存档于2015-09-23）.  Rupa Marya, et al. v. Warner/Chappell Music, Inc., et al. (PDF). United States District Court for the Central District of California. September 22, 2015 [June 18, 2016]. Case Number CV-13-4460-GHK.  存档副本. [2019-11-29]. （原始内容存档于2020-05-22）.  生日快樂歌有版權？美國律師求解禁. 中央社. 2015-07-30 [2015-09-23]. （原始内容存档于2016-03-05）.  生日快樂歌無版權 可免費使用. 中央社. 2015-09-23 [2015-09-23]. （原始内容存档于2017-10-02）.  《生日快樂》纏訟3年落幕 華納將償還4.5億. 自由時報. 2016-06-29 [2016-06-28]. （原始内容存档于2020-10-20）.  旺角唱生日歌抗反佔中之謎. 香港網絡大典. 2014-10-07 [2014-10-07]. （原始内容存档于2014-12-01）.  旺角唱生日歌起源. 新浪香港. 2014-10-08 [2014-10-08]. （原始内容存档于2017-08-25）.  普選爭議：市民再踩場　旺角集會者唱生日歌回應. 東方日報 (香港). 2014-10-09 [2014-10-09]. （原始内容存档于2020-10-22）.  【佔領旺角】有人挑機要嘈交? 回敬生日歌唔使鬧. 蘋果日報 (香港). 2014-10-06 [2014-10-06]. （原始内容存档于2017-04-22）.  旺角集會市民多次唱生日歌回應反佔中人士. 香港電台. 2014-10-06 [2014-10-06]. （原始内容存档于2016-03-05）.
新农村建设

新农村建设，即“建设社会主义新农村”的简称。淵源來自趙紫陽1960年代所提社會主義新農村，指2005年10月11日中共第十六届中央委员会第五次全体会议通过的《中共中央关于制定国民经济和社会发展第十一个五年规划的建议》、以及之后通过的第十一个五年规划中提出了发展农业和建设农村的基本目标，中心内容为增强政府对农业和农村投入，扩大财政对农村覆盖范围和农村基础设施的投入，强调以工促农、以城带乡。主要内容如下： 优化农业生产布局、推进产业化经营，加强农田水利建设、搞好土地整理，提高农业机械化水平、加快农业标准化。 稳定与完善家庭承包责任制，推行流转土地承包经营权，健全对农民征地的补偿机制，建立城乡统一的劳动力市场和公平竞争的就业制度。 普及和巩固九年制义务教育，对农村学生免收杂费，对贫困家庭学生提供免费课本和寄宿生活费补助。 加强农村公共卫生和基本医疗服务体系建设，建立新型農村合作醫療制度。 加大农村基础设施建设投入，包括乡村道路建设、农村通信、完善农村电网，逐步解决饮水的困难和安全。 完善现有农业补贴政策，合理保护农产品价格，逐步建立农业支持保护制度。 随着中国1978年推行的改革开放，中国经济获得快速发展，国内生产总值由1985年的7780亿元(人民币)上升至2005年的182321亿元，增长超过22倍，扣除物价上涨因素，年均增长率超过10％。2005年度国家财政收入超过3万亿，其中税收30866亿元（不包括关税和农业税）。 经济发展后反哺农业的需要。中华人民共和国成立以后，一直实行城乡二元制经济政策，在这种体制下，以政府规定的低廉价格由农业输送基本生活资料和生产资料，农村地区成为廉价的原料供应地，农民为城市的发展和建设提供廉价的劳动力，农民工不能享受任何社会福利。整个经济的发展以牺牲农民利益为代价，并维持城市人口生活、城市建设和工业的发展。 据国家统计局发布的统计公报，2005年中国大陆城镇居民人均可支配收入10493元，农村人均纯收入3255元，二者差距为3.22:1；而1985年城镇居民人均工资690元，农村人均纯收入397元，二者差距为1.74:1，20年时间城乡收入差距扩大了85％。农村的基础设施仍旧维持在1970年代的水平，水利设施严重破损。联合国发展报告宣称，如果贵州是一个国家，那么它的人类发展指数仅刚刚超过纳米比亚，但是如果把上海比作一个国家的话，其人类发展指数则与葡萄牙相当。随着经济发展，城乡差距反而增大，贫富悬殊增大。2005年，作为监控贫富差距的主要指标，中国的基尼系数已经逼近0.47。 中国的新农村建设主要借鉴韩国的新乡村运动。韩国在上世纪中后期遇到的诸多社会问题与当前中国大陆遇到的问题极为相似，韩国新乡村运动始于1970年代，以改善生产、生活环境为重点，韩国政府对中国的新农村建设计划抱以极大关注，中国决定参考韩国“新乡村运动”的经验。 渔农村新型社区 星火計劃 十星文明戶
因是子靜坐法

《因是子靜坐法》是由民國初年商務印書館編輯蔣維喬所撰寫的一本關於靜坐的書籍，最初連續刊載於《學生雜誌》，受到歡迎因此集結成書，由商務印書館出版。內容將傳統儒家、佛家等靜坐氣功等知識，與現代的健康概念結合。 外部連結：因是子靜坐法正篇 未校（页面存档备份，存于互联网档案馆）
一次能源

一次能源（Primary energy，PE）又稱初級能源、天然能源，是指能源部門為人類社會所需所找到或產生的能源，其在自然界中發現與取得且未經任何加工改變或轉換過程，而可以直接使用的能量形式；其定義為：在將能源中包含的能量轉換成熱量或機械功之前，應使用「一次能源」來稱呼那些直接由自然環境提取的能源，無論是否清潔、分級、與原物料分離、純化或濃縮。（相对地，「二次能源」則是指稱由一次能源加工轉換產生的所有能源。）其能量多是由太阳辐射能直接转化而来的能源，如煤、石油、天然气、铀、阳光等。在一次能源中，根据其能否再生，又分为再生能源和非再生能源。 “一次能源供應總量”（TPES）等於生產量和進口量之和減去出口量和儲存量的變化。 使用途径：一次能源大多转化为更便捷电能用于社会，其他则用于燃料等。 二次能源，又称次级能源，是指由一次能源经过加工转换以后得到的能源，是一种能量载体；包括電能、热能、汽油、柴油、液化石油气和氢能等。二次能源又可以分为“过程性能源”和“含能体能源”，電能就是應用最廣的過程性能源，而汽油和柴油是目前應用最廣的含能體能源。 二次能源亦可解釋為自一次能源中，所再被使用的能源，例如將煤燃燒產生蒸氣能推動發電機，所產生的電能即可稱為二次能源。電之所以特別有用，是因為它具有較低的熵，因此可以非常有效地轉換成其他形式的能量。區域供熱是二次能源的另一個例子。 特点：二次能源和一次能源不同，它不是直接取自自然界，只能由原生能源加工转换以后得到，因此严格的说它不是“能源”，而应称之为“二次能”。能源危机，可再生能源等都不涉及二次能源。 歐盟統計局（歐洲委員會）在其能源手冊中對此進行了說明，能源商品是直接從原油、煤、天然氣等自然資源（稱為初級資源）中提取的，或者是由初級產品生產的。所有不是主要而是由初級產品生產的能源產品都稱為次要產品。 二次能源來自一次或二次能源的轉化，燃燒燃料油發電就是一個例子。其他示例包括原油（一次）的石油產品（二次），焦煤（一次）的焦爐焦（二次），薪柴（一次）的木炭（二次）等。主要或次要形式。 使用途径：（略） 存在意义：有的一次能源在使用过程中会生成大量污染物及废弃物，需要进行工业转化，如原油的精炼加工，煤炭的清洗等。储存能量形式的能量载体发生改变是有效的一次能源转化为二次能源的途径。电力是最常见的能量载体，它可以从各种一次能源煤炭、石油、天然气、风力，光能转化得到。电力是特别高效的，因为它是具有高度有序（低熵），并且因此可以被高转化率地转换成其他形式的能量。另一个例子是电能供热来进行区域供热。 能源效率：也常被称为能源有效利用率。 能量转换效率：当电能被利用后，经由电风扇再转化成风能，这时风能亦可称为二次能源。一次能源与二次能源间必定存在一定程度的转换损耗。 2019 Key World Energy Statistics (PDF). IEA. 2019. [失效連結] Giampietro, Mario; Mayumi, Kozo. The Biofuel Delusion: The Fallacy of Large Scale Agro-Biofuels Production. Earthscan, Taylor & Francis group. 2009: 336. ISBN 978-1-84407-681-9.  Øvergaard, S. (2008). Issue paper: Definition of primary and secondary energy. Statistics Norway, Oslo. OECD Factbook 2013: Economic, Environmental and Social Statistics. 2013 [12 April 2014]. （原始内容存档于2016-03-04）.  U.S. EPA Energy STAR （页面存档备份，存于互联网档案馆） Retrieved 2017-11-03 Mandil, C. (2005). Energy Statistics–Manual. Int Energy Agency, Paris, Fr, 1-196. https://ec.europa.eu/eurostat/documents/3859598/5885369/NRG-2004-EN.PDF/b3c4b86f-8e88-4ca6-9188-b95320900b3f （页面存档备份，存于互联网档案馆） 工业二次能源利用途径 （页面存档备份，存于互联网档案馆） 对二次能源的看法 （页面存档备份，存于互联网档案馆） 我国钢铁工业余热利用概况 （页面存档备份，存于互联网档案馆）
鄭如英

鄭如英，字無美，小字妥娘，明朝末年歌妓。 與寇白門、卞玉京等均擅長詩畫，鋒利言詞，脾氣太壞，素為清客所惱。其事蹟見於周誼《香東漫筆》、孔尚任《桃花扇》。钱牧斋《金陵杂题绝句》有詩：“淡粉轻烟佳丽名，开天营建记都城。而今也入烟花部，灯火樊楼似汴京。一夜红笺许定情，十年南部早知名。旧时小院湘帘下，犹记鹦哥唤客声。借别留欢恨马蹄，勾栏月白夜乌啼。不知何与汪三事，趣我欢娱伴我归。别样风怀另酒肠，伴他薄幸奈他狂。天公要断烟花种，醉杀瓜洲萧伯梁。顿老琵琶旧典型，檀槽生涩响零丁。南巡法曲谁人问？头白周郎掩泪听。旧曲新诗压教坊，缕衣垂白感湖湘。闲开闰集教孙女，身是前朝郑妥娘。”
剩余格

在抽象代数中，剩余格是既为格又为幺半群的代数结构，使得幺半群乘法的每个自变量都是关于这个格次序的伽罗瓦连接的一极。它的一般概念是Ward和Dilworth在1939年介入的。某些例子先于一般概念而存在，包括布尔代数、Heyting代数、剩余布尔代数、关系代数和MV-代数。剩余半格省略了交运算∧，比如克莱尼代数和作用代数。 在数学中，剩余格是代数结构L = (L, ∧, ∨, ·, I, /, \)使得 (i) (L, ∧, ∨)是格， (ii) (L, ·, I)是幺半群， (iii)对于所有L　中的x, y, z，有y ≤ x\z ⇔ x·y ≤ z ⇔ x ≤ z/y（剩余公理）。 条件(iii)的效果是，对每个L中的x和z，x\z成为最大的y使得x·y ≤ z，对偶的对于每个L中的y和z，z/y成为最大x使得x·y ≤ z。 运算x\y和y/x分别叫做y对x的“右剩余”和“左剩余”。如符号所暗示的那样它们是某种形式的商。更加精确地说，对于一个给定的L中的x，一元运算x·和x\是在L和它的序对偶之间的伽罗瓦连接的两极，并且对偶于两个函数·y和 /y。通过同样适用于伽罗瓦连接的推理，我们有了另一个剩余的定义，就是： x·(x\y) ≤ y ≤ x\(x·y)， (y/x)·x ≤ y ≤ (y·x)/x， 并且要求这些函数必须在L上是单调的（或反单调的，在被看作从L到它的序对偶的函数的时候，这是在格理论中表示伽罗瓦连接的更标准的方式）。其意义在于使函数x·和x\相互之间是伪逆（pseudoinverse）或伴随，·x和 /x也类似。 最后这个定义纯粹依据不等式，注意单调性可以公理化为x·y ≤ (x∨z)·y，其他运算和它们的自变量也类似。而且任何不等式x ≤ y可以等价的表示为等式，要么x∧y = x要么x∨y = y。这与格和幺半群的等式公理化一起生成剩余格的纯等式定义，而它们形成了一个等式类或簇。注意分配律x·(y∨z) = (x·y) ∨ (x·z)是这些公理的结论所以不需要是定义的一部分。在幺半群乘法是∧的时候，剩余格变成为Heyting代数，这种格是分配性的，但是一般的说格不需要是分配性的，而它的·分配在∨之上。 x\y的可供替代的符号是x → y，y/x的可供替代的符号是y ← x，这是在剩余和逻辑蕴涵之间的类似性所暗示的，而幺半群的乘法可以被理解为不需要是交换性的某种形式的合取。当幺半群是交换性的时候这两种剩余是一致的。 x·y的可供替代的符号包括x◦y, x;y（关系代数），和x⊗y（线性逻辑）。I的可供替代的符号包括e和1'。 布尔代数和Heyting代数是交换剩余格，在其中x·y = x∧y（而单位元I是代数的顶元素1）而两个剩余x\y和y/x是同一个运算，就是蕴涵x → y。第二个例子非常一般性，因为Heyting代数包换所有有限分配格，和形成完全格的所有链或全序，例如实数轴上的单位区间[0,1]，或者整数和± ∞ {\displaystyle \infty } 。 结构(Z, min, max, +, 0, −, −)（整数带有两个剩余都是减法）是交换剩余格，使得幺半群的单位元不是最大元素(实际上这里没有最小或最大元素)，而幺半群的乘法不是这个格的交运算。在这个例子中，不等式就是等式，因为−（减法）不只是+的伴随或伪逆运算而真就是它的逆运算。任何在加法下的全序群比如有理数或实数都可替代这个例子中的整数。任何这些例子的非负部分都假定了min和max被互换并且−被替代为“monus”（定义为在x ≤ y时x-y = 0其他时候为正常减法）的例子。 更一般性的一类例子是在给定集合X的所有二元关系也就是X2幂集的布尔代数，通过选取幺半群乘法·为关系复合，选取幺半群单位元为由在所有X中x的有序对(x,x)构成的恒等关系I而成为剩余格。给定在X上的两个关系R和S，S对R的右剩余R\S是二元关系使得x(R\S)y只在对于所有X中的z，zRx蕴涵zSy的时候成立（注意与蕴涵的联系）。左剩余是它的镜像：y(S/R)x在对于所有X中的z，xRz蕴涵ySz的时候成立。 可用在{0,1}上的二元关系<和>来展示，在其中0 < 1和1 > 0是唯一成立的关联。那么x(>\<)y只在x = 1的时候成立，而x(</>)y只在y = 0的时候成立，显示出<对>的剩余是不同的，依赖于我们剩余在右侧还是在左侧。这种不同是在<;>和>;<和之间的不同的推论，这里唯一成立的关联是0(<;>)0（因为0<1>0）和1(>;<)1 (since 1>0<1)。如果我们转而选择≤和≥，≥\≤和≤/≥是同样的，因为≤;≥ = ≥;≤，二者在所有x和y之间总是成立（因为x≤1≥y并且x≥0≤y）。 字母表（集合）Σ上的所有形式语言的布尔代数2Σ*形成了剩余格，它的幺半群乘法是语言串接LM而它的幺半群单位元I是由空字符串ε足成的语言{ε}。右剩余M\L构成自所有在Σ上的字w是的Mw ⊆ L。左剩余L/M用wM替代了左剩余中的Mw。 只在X为有限的时候X上的所有二元关系的剩余格是有限的，并且只在X有最多一个元素的时候是交换的。当X为空的时候代数是退化的布尔代数其中0 = 1 = I。只在Σ有最多一个字母的时候Σ上的所有语言的剩余格是交换的。只在Σ为空的时候它是有限的，这时它由两个语言0（空语言{}）和幺半群单位元I = {ε} = 1构成。 形成有特殊性质的布尔代数的例子请参见剩余布尔代数。 剩余半格除了省略了交运算∧之外同一于剩余格。它是代数结构L = (L, ∨, ·, 1, /, \)满足上面规定的所有剩余格等式，除了包含符号∧的之外。定义x ≤ y为x∧y = x的选项就不可用了，只留下了另一个选项x∨y = y（或任何等价者）。 通过简单的省略∧用任何剩余格制作出剩余半格。剩余半格起因于与作用代数的联系，它是也是克莱尼代数的剩余半格，它通常不需要∧。 Ward, Morgan, and Robert P. Dilworth (1939) "Residuated lattices," Trans. Amer. Math. Soc. 45: 335-54. Reprinted in Bogart, K, Freese, R., and Kung, J., eds. (1990) The Dilworth Theorems: Selected Papers of R.P. Dilworth Basel: Birkhäuser.
古吉拉特

古吉拉特可以指： 古吉拉特邦，印度轄下的一個邦。 古吉拉特，中國古書稱之為瞿折羅、胡茶辣，印度大陸的一個古老民族及古國名稱。 古杰拉特，巴基斯坦城市。 古杰拉特县，巴基斯坦旁遮普省的一个县。 名稱以「古吉拉特」開頭的所有条目 名稱以「古杰拉特」開頭的所有条目
合式公式

在形式系統與逻辑中，合式公式（well-formed formula，WFF）又称合適公式、良式公式，可简称公式（formula），即“符合語法規則的公式”，是一逻辑体系中的“一个表达式”或“一个有限符号序列”；此表达式或序列，来自给定的字母表（字符），且属于形式语言的一种。合式公式与该逻辑体系的构成规则相符合，类似于自然语言中的一个语法句子。 若给定一形式文法，则WFF是这个文法生成的任何字符串。 例如，在命题演算中符号序列 ( ( α → β ) → ( ¬ β → ¬ α ) ) {\displaystyle ((\alpha \rightarrow \beta )\rightarrow (\neg \beta \rightarrow \neg \alpha ))} 是一个WFF，因为它在文法上正确。符号序列 ( ( α → β ) → ( β β ) ) α ) ) {\displaystyle ((\alpha \rightarrow \beta )\rightarrow (\beta \beta ))\alpha ))} 不是WFF，因为它不符合命题演算的文法。 在形式逻辑中，证明是有特定性质的WFF序列，而序列中最终的WFF就是要证明的。 设S是联结词的集合. 由S生成的合式公式定义如下： 原子公式是由S生成的合式公式. 若c是S中的0元联结词，则c是由S生成的合式公式. 若n ⩾ {\displaystyle \geqslant } 1， F {\displaystyle F} 是S中的n元联结词， A 1 , A 2 , . . . , A n {\displaystyle A_{1},A_{2},...,A_{n}} 是由S生成的公式，则 F A 1 A 2 . . . A n {\displaystyle FA_{1}A_{2}...A_{n}} 是由S生成的合式公式. 合式公式是按以下规则构成的有穷长符号串： 原子公式是合式公式. 若 A {\displaystyle {\mathcal {A}}} 是合式公式，则 ( ¬ A ) {\displaystyle (\neg {\mathcal {A}})} 是合式公式. 若 A , B {\displaystyle {\mathcal {A}},\,{\mathcal {B}}} 是合式公式，则 ( A ⇒ B ) {\displaystyle ({\mathcal {A}}\Rightarrow {\mathcal {B}})} 是合式公式. 若 A {\displaystyle {\mathcal {A}}} 是合式公式， x {\displaystyle x} 是变元，则 ( ∀ x A ) {\displaystyle (\forall x{\mathcal {A}})} 是合式公式. 公式 (数理逻辑) Allen, Layman E., Toward Autotelic Learning of Mathematical Logic by the WFF 'N PROOF Games, Mathematical Learning: Report of a Conference Sponsored by the Committee on Intellective Processes Research of the Social Science Research Council, Monographs of the Society for Research in Child Development, 1965, 30 (1): 29–41  Boolos, George; Burgess, John; Jeffrey, Richard, Computability and Logic 4th, Cambridge University Press, 2002, ISBN 978-0-521-00758-0  Ehrenberg, Rachel. He's Positively Logical. Michigan Today (University of Michigan). Spring 2002 [2007-08-19]. （原始内容存档于2009-02-08）.  Enderton, Herbert, A mathematical introduction to logic 2nd, Boston, MA: Academic Press（英语：Academic Press）, 2001, ISBN 978-0-12-238452-3  Gamut, L.T.F., Logic, Language, and Meaning, Volume 1: Introduction to Logic, University Of Chicago Press, 1990, ISBN 0-226-28085-3  Hodges, Wilfrid, Classical Logic I: First-Order Logic, Goble, Lou (编), The Blackwell Guide to Philosophical Logic, Blackwell, 2001, ISBN 978-0-631-20692-7  Hofstadter, Douglas, Gödel, Escher, Bach: An Eternal Golden Braid, Penguin Books, 1980, ISBN 978-0-14-005579-5  Kleene, Stephen Cole, Mathematical logic, New York: Dover Publications（英语：Dover Publications）, 2002 [1967], ISBN 978-0-486-42533-7, MR 1950307  Rautenberg, Wolfgang, A Concise Introduction to Mathematical Logic 3rd, New York: Springer Science+Business Media, 2010, ISBN 978-1-4419-1220-6, doi:10.1007/978-1-4419-1221-3 [永久失效連結] Well-Formed Formula for First Order Predicate Logic（页面存档备份，存于互联网档案馆） - includes a short Java quiz. Well-Formed Formula at ProvenMath（页面存档备份，存于互联网档案馆） WFF N PROOF game site（页面存档备份，存于互联网档案馆） http://terms.naer.edu.tw/detail/18145751/[失效連結]
逐樂賭場

逐樂賭場（Slots-A-Fun）是由美高梅國際酒店集團在美國內華達州天堂市賭城大道所經營的一間小賭場。位於馬戲團酒店的東南一角。 雖然逐樂賭場無論位置或是其他方面都和馬戲團酒店息息相關，但原則上兩者在博彩事宜上都是各自經營、各有各特色的。原則上，這是拉斯維加斯大道上最小的賭場、並無設有酒店。但此賭場則以低廉的最低投注額見稱。據2004年數據顯示，花旗骰最低投注可低至1美元、廿一點最低則為3美元。 逐樂賭場亦有不少著名且便宜的小食，如99美分的半磅重熱狗和1.25美元一支啤酒。 Slots-A-Fun的介紹 （页面存档备份，存于互联网档案馆） Sylvester, Ron. MGM planning Strip water park at Circus Circus - VEGAS INC. vegasinc.lasvegassun.com. 2012-12-11 [2023-04-11]. （原始内容存档于2023-04-11）.
平措尼珍

平措尼珍（Phuntsog Nyidron），西藏人，生于1967年，藏传佛教女僧人（即尼姑），被西藏流亡政府称为是服刑期最长的西藏女政治犯。 1989年10月24日，平措尼珍前往拉萨示威，被中国司法机关以“反革命宣傳煽動罪”的罪名判处8年有期徒刑。一般认为这个罪名具有政治用意，被关押者属于良心犯。 1993年，因平措尼珍服刑期间与其它囚犯在狱中歌颂独立分子的祈祷歌曲录音带外泄，被中国司法机关加刑8年，共需服刑16年。平措尼珍和这些同案的女囚犯被国际社会称为“歌唱尼姑”。 1995年，在狱中获日内瓦人权奖，由西藏流亡政府的代表代领。 2004年2月24日，平措尼珍被提前释放。她也是当时最后一名获释的藏族尼姑。平措尼珍被释放后仍被政府严密监视，行动自由有限制，申请护照出国也未获批准。 2006年3月，在中国国家主席胡锦涛正式访问美国前，平措尼珍在美国对话基金会协助下，获得中国政府特许，赴美国保外就医
2006年九鐵人事變動風波

2006年九鐵人事變動風波是由2006年3月10日起九廣鐵路公司出現的一場高級行政人員人事變動事件。事件直接導致九廣鐵路公司署理行政總裁黎文熹辭職，市務總經理黎啟憲被解約及潘錦全被申訴和廉政專員公署飭令停薪留職，另有19名高級行政人員遭收警告信。 由於九廣鐵路公司於1982年成立，但部份職員早於該公司成立之前已加入其前身「九廣鐵路局」工作，基於他們的工作習慣，令該公司的公司文化一直被外界所詬病，並認為是不合時宜。 在管理層面方面，一些中層管理人員只准下屬按上級的意願來工作，並不喜歡其下屬自發地做一些原有工作範圍以外的工作，即使下屬多做一點點也要責備。結果令到前線員工有一個「少做少錯，不做便會沒有錯」的心理。因為員工們就認為鐵路意外是需要數項錯誤同時出現才會發生。故此員工們都有一個心態，若只犯上一個工作上的輕微失誤，員工們都只會感到該失誤是無傷大雅。 而九鐵內部亦有一種「理想主義文化」，所有問題都要有待事情解決後，有詳細的數據才上報，而有關的員工大多也只會自行解決問題。而上報的時候，即使中層員工沒有蓄意隱瞞，但由於資料不清晰，令到即使是管理局的成員也不能即時知道有關運作上的問題。九鐵管理局主席田北辰亦指出，這做法已不能符合現今社會對透明度的迫切性要求，即使田氏自從2001年以來擔任董事局主席，也未能成功改變這種文化。 自從香港政府於1996年委任楊啟彥擔任九鐵管理局主席兼行政總裁以來，九鐵就開始被外界冠上「退休高官俱樂部」的惡名，原因是由於當時管理局主席以及行政總裁是由同一人出任，故此管理局主席有絕對的控制權。時任九鐵主席的楊啟彥，甫上任便安排詹伯樂、梁國新、丘李賜恩等前香港政府官員加入九鐵，而九鐵主席更可以自行釐訂薪酬。另外，當九鐵要求加價之時，有傳媒揭發了九鐵管理局以公司名義，獨享3艘遊艇、8輛名貴私家車、40多個公司俱樂部會籍等奢侈而非必要的福利，為外界所非議。 政府有感該等問題日漸嚴重，如同「獨立王國」。為此，政府於2001年修訂《九廣鐵路公司條例》，將管理局主席及行政總裁交由兩人出任，以加強政府對九鐵的管治，並於同年12月委任田北辰為九鐵管理局主席，而楊啟彥則為九鐵行政總裁。 2006年3月10日，九鐵署理行政總裁黎文熹連同全部5名總監及19名總經理，寫了一封機密信給公司管理局信去管理局，指主席田北辰在九鐵內部干預過多、要求透明度過高及過份要求問責、公司主席和行政總裁權責不清等十大指控，形成一種「責難文化」，並在兩日內收集到九鐵約6000多名員工中近80%員工的逾3000個簽名。 3月12日，田北辰知悉後感到震驚，田北辰和行政長官曾蔭權會面，並向曾提請辭職要求。在3月12日下午，田北辰召開記者會，宣佈辭職，但生效日期由曾蔭權決定。 田北辰辭職後，他在記者會上成功打造了一個改革者遇到挫折的景象，一些員工和市民便開始支持他而令到形勢逆轉。 另一方面，為數20名總經理及部門主管，趁着管理局進行會議期間，在該地點旁邊舉行記者會；任職市務總經理的黎啟憲發言時指田北辰為了短期利益而忽視長遠發展，故此辭職是最佳方案。 3月14日，《明報》公開了一封黎文熹遞交九鐵管理局關於對主席田北辰表示不滿的信件內容，事件曝光後黎文熹雖然在信內明確指出不能與田北辰共事，卻否認有要求田北辰下台，田北辰對黎文熹的回應表示「驚訝」。另一方面，九鐵管理局召開特別會議處理事件，田北辰和黎文熹均有出席。當日下午2時，以九鐵市務總經理黎啟憲為首的20名九鐵高層人員集體請假，到位於中環的西鐵總部召開特別會議的會議室旁的房間召開記者會，聲援黎文熹及支持田北辰辭職。會後時任環境運輸及工務局局長廖秀冬博士宣報會議取得有建設性的進展。九鐵3個工會對事件表示中立。 3月15日，曾蔭權、廖秀冬、田北辰和黎文熹在政府總部召開記者會，宣布田北辰將留任九鐵管理局主席，田黎二人更四手相握以示和好。曾蔭權並指出九鐵出現嚴重紀律問題，故他已下令九鐵管理局處理事件。 3月16日，九鐵管理局中午召開會議後，黎文熹親自宣佈管理局的決定，管理局與黎啟憲解除合約，原因是黎啟憲在聲援黎文熹而帶領19名九鐵高層人士集體請假有擅離職守之問題；而其餘19名管理層則遭收警告信，如一年內再犯則被解僱。同時黎文熹宣佈為九鐵出現嚴重紀律問題問責而辭去署理行政總裁一職，由曾任新鐵路工程高級總監及前工務司的詹伯樂出任署理行政總裁。根據香港明報的報導，管理局與黎啟憲解約和黎文熹引咎辭職，是黎文熹本人提出的，而1979年加入無線電視的潘錦全則於4月1日執行紀律性處分。 黎文熹在兩鐵合併之後的一星期，發表了報告文學《九天風雲》；內容是講述這件事情的一些不為人知的內幕和來龍去脈。 於2007年12月，即事隔超過一年半，兩鐵剛正式合併後不久，黎文熹為其親自撰寫，並講述當年九廣鐵路「兵變」事件過程的書籍《九天風雲》舉行發佈會。於會中，他表示是以平實的態度去寫，而非為發洩不滿。他亦表示之所以在兩鐵合併後才出書，是因為免影響到合併前的地鐵和九鐵員工。 到2008年3月5日，潘錦全宣布由6月1日起辭任港鐵助理營運總裁，準備轉投中電集團出任助理營運總監。 九廣鐵路公司 田北辰 黎文熹 黎啟憲 九廣鐵路公司（页面存档备份，存于互联网档案馆）
香港會所大廈

香港會所大廈（英語：Hong Kong Club Building），是香港高級俱樂部「香港會」的會所建築物，位於中環昃臣道、遮打道、會所街、干諾道中之間。 目前的會所大廈為第三代會所建築物，落成於1984年。樓高共21層，其中8層為會所使用，其餘為商業辦公室，其中烏拉圭駐港名譽領事館位於16樓（已遷）。 第一代的香港會所大廈建於1846年，地點在皇后大道中旁，從德己笠街口至雲咸街口，是一棟三層樓的建築物。 1897年，會所搬到臨近戰爭紀念館的更寬敞地點。原有的建築物賣給屈臣氏公司。 第二代香港會所大廈建於1897年，為4層樓建築物，是當時其中一座香港最後的文藝復興風格建築物，設計精緻。 現在的香港會所大廈是第三代，是1981年6月拆除第二代會所大廈後於原地重建。 1984年落成啟用，樓高共21層，其中8層是會所設施，其餘為商業辦公室，由置地公司發展，並由澳洲建築師亨利·施得拿（英语：Harry Seidler）設計。 根據當年置地與香港會簽訂發展及租用合同，置地需從物業落成起計首25年的租金收入中拆賬，其他收益撥入香港會的經費，直至2009年把物業歸還給香港會為止。 第一代香港會所大廈繪圖， 左邊斜路為雲咸街 1905年的第二代香港會所大廈， 前方為已拆除的維多利亞皇后像拱頂亭座 1928年的第二代香港會所大廈， 此時和平紀念碑已設立 9樓：領展房地產投資信託基金（901室）租用面積約3033方呎，每月租金28.8萬元，呎租約95元，租期由2022年4月至2028年3月 11樓：Kennedys Law LLP 12樓：Paul, Weiss, Rifkind, Wharton & Garrison LLP 16樓：李約翰企業管理諮詢有限公司（JLA Asia Limited） 17樓：Melli Bank Plc（1703-04室） 18樓：達維律師事務所（Davis Polk & Wardwell） 20樓：大昌建築有限公司 SOM建築設計事務所香港分公司（2018年遷出） 九廣鐵路公司中環辦事處及管理局（2007年兩鐵合併後停用） 烏拉圭駐港名譽領事館 和平紀念碑 (香港) 舊最高法院大樓 香港會 遮打花園 中環站 中國建設銀行大廈 友邦金融中心 長江集團中心二期 李八方. 仁龍傑哥齊入香港會. 蘋果日報. 2006-09-08 [2018-10-14]. （原始内容存档于2018-10-14）.  （页面存档备份，存于互联网档案馆） 香港置地125周年. 香港置地. 2014: 192-193.  策力：九廣鐵路公司員工月刊. 九廣鐵路公司公司事務處. No. 96. 2000-05: 15.  维基共享资源上的相关多媒体资源：香港會所大廈 （英文）香港會官方網站：The Hong Kong Club: Home （页面存档备份，存于互联网档案馆）
詹伯樂

詹伯樂，GBS，OBE，JP（Ronald James Blake，1934年4月2日—）；土木工程師出身，曾經擔任香港政府工務司，九廣鐵路公司新鐵路工程高級總監。於2006年3月，受到九鐵管理局任命，代替前任的黎文熹出任九廣鐵路公司行政總裁。兩鐵合併後，為了穩定兩鐵軍心及減低合併過渡期出現混亂風險，詹伯樂得以留任，職位更改名稱為九廣鐵路公司總裁。由於九廣鐵路公司在合併後不再營運鐵路，惟地鐵是以租賃九鐵服務經營權的形式合併成為港鐵，所以詹伯樂的工作只是為公司收取租金及掌管財務。2013年1月1日，詹伯樂離任九廣鐵路公司總裁，由梁廣灝接任。 香港政府工務司 保華建業集團有限公司現任公司主席兼獨立非執行董事 九廣鐵路公司新鐵路工程高級總監 九廣鐵路公司署理行政總裁（2006年5月1日﹣2007年12月1日） 九廣鐵路公司總裁（2007年12月2日﹣2012年12月31日） 詹伯樂接任九鐵行政總裁 （页面存档备份，存于互联网档案馆） 詹伯樂延誤釀西門子事件 保華建業集團有限公司 保華建業集團 （港交所：0577）詹伯樂前董事履歷
賦值 (邏輯)

在逻辑和模型论中，賦值（valuation）是从一阶语言的变量的集合到这个语言的某个释义的全集的映射[來源請求]。 非形式的说，它是把一个特定的值指派（赋值）给一个数学陈述或等式中的变量[來源請求]。例如陈述 "x = y" 满足于（就是说，为真于）在其中 "x" 被映射到同 "y" 相同的值的求值，而不满足于（就是说，为假于）所有其他賦值。在这种简单情况下这好像是平凡的，但它是使用数学符号公式化逻辑论证的过程的一部分[需要解释]。
玻利瓦尔城

玻利瓦城（西班牙語：Ciudad Bolívar）是委內瑞拉東部玻利瓦尔州的首府。在1764年創建時原名「安哥斯度拉」（Angostura），意為狹窄的通道，後於1846年改名。2000年時人口估計為312,691人。 這座城市位在奧里諾科河一個變狹窄的地方，原來的名字“安哥斯度拉”是該城舊全名“奧里諾科河變狹處的蓋亞那的聖多瑪斯”（Santo Tomé de Guayana de Angostura del Orinoco）的簡稱。奧里諾科河在該城處河寬減少到約1英哩（約1.6公里），是至今唯一一座跨越奧里諾科河的橋的所在地。另外還有兩座橋正在興建中。 维基共享资源上的相关多媒体资源：玻利瓦尔城
楊啟彥

楊啟彥，GBS，CBE，JP（英語：Yeung Kai-yin，1941年1月6日—2007年2月8日），前香港政府政務官，首位華人庫務司，曾任九廣鐵路公司管理局主席兼行政總裁。任政府官員期間以其火爆「官威」聞名。 楊生於香港，祖籍廣東中山，家中排行第六，中學就讀於拔萃男書院，1959年中七畢業，並取得香港大學英皇愛德華七世獎學金進入香港大學歷史系，在1962年以一級榮譽畢業。 大學畢業後，楊啟彥於同年9月加入香港政府工作，前後任職公務員達32年。他最先在1962年擔任政務主任，甫一年即在1963年出任助理華民政務司，到1965年改任新界民政署行政助理。在1968年，楊啟彥獲調離新界，出任社會福利署高級行政助理。此後自1970年至1974年任助理財政司，1974年至1975年任助理經濟司，1975年至1976年任教育司署助理署長，1976年至1979年重任助理財政司，以及在1980年至1981年擔任工商署副署長。 在1982年，楊啟彥獲調任為副經濟司，至1984年改任出口信用保險局總監，終在1986年升任為工業署署長，期間曾任署理工商司，及後又在1989年至1991年改任教育統籌司。到1991年，楊啟彥獲總督衛奕信委任為庫務司，是首位華人出掌此職。當時不少人認為他是財政司或布政司的熱門人選，惟時任港督彭定康卻在1993年，選擇以與楊啟彥同年加入政府的陳方安生為首位華人布政司，相反楊啟彥卻只獲平調運輸司，結果有感意興闌珊，先在同年9月辭去運輸司一職，再在1994年辭官退休。 據了解，廉政公署曾在1993年指楊啟彥曾私下與新華社官員見面，認為他對英國忠誠度不足，因此這成為了楊啟彥不獲升遷的主因。 退休後，楊啟彥曾任職於私人機構信和集團，但期間又有傳聞指他和公司主席黃志祥不咬弦。1996年12月，政府委任楊啟彥出任九廣鐵路公司管理局主席兼行政總裁。其後，被傳媒揭發楊啟彥將九鐵公司變為「獨立王國」（如在未經招標下批出國際都會發展項目），加上落馬洲支線設計不符環保要求被駁回事件，使政府立意整頓九鐵公司的管理及營運。2001年12月，政府委任田北辰出任九廣鐵路公司主席，楊啟彥則只留任行政總裁。田北辰與楊啟彥同在拔萃男書院畢業，田北辰是其師弟。在西門子事件記者會上，楊啟彥指田北辰是其好朋友，但被田北辰當面回應：「希望你不介意，我們不是好好的朋友」，令場面十分尷尬。田北辰亦曾在立法會會議上，批評楊啟彥及其他九鐵管理層「有傲氣」。2003年，政府不與楊啟彥續約，楊啟彥只餘下香港職業訓練局主席一項公職。 香港特首曾蔭權曾稱道楊啟彥在任內，積極發展九鐵網絡，並成功向世界各地的財團集資以興建九鐵新支線 。 雖然在公眾和傳媒面前從不吸煙，但楊啟彥向來有吸煙的習慣，晚年更因此患上心臟病及腎病。他在1998年進行心臟「搭橋」手術後，才開始立心戒煙。於2003年12月，他又接受心臟「通波仔」（冠狀動脈擴張及支架植入手術）手術，同時離任九鐵，其後身體狀況轉壞，他在2004年患上腎衰竭，2006年2月經醫生轉介到北京進行換腎手術，同年9月中曾在瑪麗醫院深切治療部治療，並向職訓局請病假。 楊啟彥2007年2月3日因氣促及咳嗽入院，但情況急速惡化，最終於香港時間2月8日晚上8時07分因肺炎引致腎衰竭在香港瑪麗醫院逝世，終年66歲。在楊彌留前，特首曾蔭權曾在傍晚6時許往醫院探望。而他死後，九鐵一度下半旗致哀。 幾日後，有香港傳媒引述消息指楊啟彥是死於退伍軍人症，但衛生署轄下的衛生防護中心及楊啟彥的家人均以私隱的原因拒絕證實該傳聞的真偽。然而，其後有報道指楊啟彥居住的碧華花園業主立案法團代表開會時，法團主席黎樹濠證實楊啟彥染上退伍軍人症，衛生防護中心也證實該其呼吸輔助儀器及家用濾水器中，發現退伍軍人症病菌。 2007年3月6日，楊啟彥在香港殯儀館舉殯，以基督教儀式進行，曾蔭權、陳方安生、陳祖澤、詹伯樂與田北辰等人均有出席，遺體隨後移送到哥連臣角火葬場火化，骨灰安葬於香港華人基督教聯會薄扶林道墳場。 楊啟彥的妻子是劉詠霜，兩人於1964年結婚，育有一子一女，皆已大學畢業。 C.B.E.（1993年） J.P.（1994年7月11日，在此以前是官守太平紳士） 香港運輸學會資深會員（1997年） 香港管理專業協會會士（1998年） 金紫荊星章（2005年7月） 香港出口信用保險局總監（1984年） 香港職業訓練局主席（1998年1月） 香港紅十字會顧問團委員 長遠房屋策略諮詢委員會委員 香港公益金董事會成員 換腎後出毛病 楊啟彥入院，《明報》，2005年9月29日 九鐵猶如獨立王國，《大公報》，2006年3月13日 老董逼走楊啟彥內幕，《壹周刊》622期，2002年2月7日 楊啟彥：田咎由自取，我絕對不是幕後黑手，《東方日報》，2006年3月13日 九鐵對楊啟彥先生逝世表示哀悼[永久失效連結]，《九廣鐵路公司》，2007年2月8日 前九鐵主席楊啟彥病逝[永久失效連結]，《明報》，2007年2月8日 九鐵對楊啟逝世深表惋惜[永久失效連結]，《明報》，2007年2月8日 楊啟彥病逝曾蔭權感惋惜，《明報》，2007年2月8日 曾蔭權讚楊啟彥全力服務香港[永久失效連結]，商業電台，2007年2月8日 九鐵讚揚楊啟彥擴鐵路網絡[永久失效連結]，商業電台，2007年2月8日 楊啟彥病逝，《大公報》，2007年2月9日 田北辰深切慰問楊啟彥家人[永久失效連結]，商業電台，2007年2月9日 染退伍軍人症男子逝世，香港政府新聞網2007年2月8日／楊啟彥疑死於退伍軍人症 （页面存档备份，存于互联网档案馆），《明報》，2007年2月9日／退伍軍人症死者兩樣本含菌 （页面存档备份，存于互联网档案馆），《明報》2007年2月23日 老董逼走楊啟彥內幕，《壹周刊》622期，2002年2月7日。 存档副本. [2007-03-06]. （原始内容存档于2015-05-12）.  曾蔭權致楊啟彥悼辭全文[永久失效連結]
大卫·芬奇

大卫·安德鲁·莱奥·芬奇（英語：David Andrew Leo Fincher，1962年8月28日—），美国音樂錄影帶及电影导演。在导演电影处女作《異形3》（Alien 3）前，他只是幫“史密斯飛船”乐團和麦当娜拍攝MV以及一些广告。尽管处女作很不成功，但是其后的两部電影《七宗罪》和《搏击俱乐部》因为深刻反映了当代社会道德沦丧等社会问题而广受好评。 大卫·芬奇出生于美国科罗拉多州丹佛市，在加州馬林縣長大，年少時搬往俄勒冈州愛許蘭市，畢業於當地的愛許蘭高中。 年幼時的大卫·芬奇便喜欢花整天的时间画画，对雕塑、摄影和用录音机录音有浓厚兴趣。8岁时受到電影《虎豹小霸王》啟發，他开始使用8毫米摄影机拍摄自己的作品。大卫没有受過電影的正規訓練，他選擇进入約翰·寇迪（John Korty）的寇迪电影公司工作，透過實地操作，學習第一手的電影拍攝細節。1980年他进入工业光魔公司参与影片《星际大战六部曲：绝地大反攻》的制作，直到1984年离开公司。之后他拍摄了紀錄片《敲擊生命之鼓》（The Beat of the Live Drum），凭借拍摄该片的经验他得到拍摄电视商业广告的機會，他的广告處女作獻給了美国癌症协会，他以一个抽烟的婴儿，表達出殘忍無情的背後暗示。后来他的广告客户有露华浓、Converse、NIKE、可口可樂、百事可乐及Levi's。大卫不久後就发现，拍攝MV也許是一个更有发展空间的领域。 1986年，大卫·芬奇以他獨到的眼光，加入专門拍摄广告及MV的电影廣告公司「政令宣達電影公司（英语：Propaganda Films）」（Propaganda Films），該公司培養出後來都相當有名的電影導演，如麥可·貝、米歇·龚德里、安东尼·福奎阿、尼爾·拉布特（英语：Neil LaBute）、史派克·琼斯、馬克·羅曼尼（英语：Mark Romanek）、查克·史奈德、高爾·華賓斯基及亞歷士·普羅亞斯。 大卫·芬奇曾為許多明星拍摄MV，这些明星較著名的包括麦当娜、乔治·迈克尔、空中铁匠、滚石乐队等等。綜合拍攝MV與電視廣告的經驗之後，大卫才开始转为拍摄电影。 《异形3》 大卫·芬奇的首部影片是1992年的續集電影《异形3》，该片是有史以来新导演执导的耗资最大的影片，但拍摄过程却不愉快，大卫与20世纪福克斯公司摩擦不断，剧本未完成便投拍使得整个过程成为噩梦，虽然最终在奥斯卡金像獎获得了一个最佳視覺效果提名，该片仍不被评论界和观众看好。失望之餘，大卫回到拍摄广告和MV的生活中，并凭借1994年滚石乐队的《Love Is Strong》得到了一座葛莱美奖，他认为自己可能再也不会執導电影了。 本片投资5000万美元，最终全球票房1.6億美元。 《七宗罪》 編劇安德魯·凱文·沃克创作的惊悚侦探故事《七宗罪》给大卫带来了另一个机遇，故事讲述资深冷静的警官沙摩塞（摩根·費里曼 Morgan Freeman 饰）和血气方刚的新扎警官密尔斯（布萊德·彼特 Brad Pitt 饰）追寻一位依照天主教传说中人类的七种恶行（即七原罪）作案的连环杀人犯。影片投资3300万美元，美国国内票房便达1亿美元（全球收益超过3亿美元），使得大卫·芬奇成为炙手可热的导演。 《心理游戏》 大卫的下一部作品是1997年的黑色探险故事《心理遊戲》，该片保持了《七宗罪》的悬疑怪诞风格，但上映后反响平平。故事讲述一个旧金山商人收到一件来自他弟弟的神秘生日礼物，从此进入一个以他一生生活所设计的游戏中。大卫曾说：「如果没有麥克·道格拉斯和西恩·潘，我想我的这部片子结局会更糟。」 本片投资預計5000万美元，最终全球票房1.09億美元。 《搏击俱乐部》 根据恰克·帕拉尼克的同名小说改编，《搏击俱乐部》讲述两名男子开设了一个让彼此不戴护具互相殴打的俱乐部，旨在发泄情绪。爱德华·诺顿、海伦娜·博纳姆·卡特以及在《七宗罪》中和大卫已经合作过的布拉德·皮特出演该片。这部1999年上映的影片展开了强烈但錯誤的宣传攻势：20世纪福克斯公司最後決定以電影的打鬥情節為宣傳焦點，引致票房让人失望。影評家反应趋向两个极端，爭論其中露骨的暴力和道德觀的暧昧。本片投资6300万美元，美國國内票房3703万美元。 但不久评论界对该片的看法发生巨大转变，《搏击俱乐部》开始出现在很多“年度最佳影片”的名单上。《娱乐周刊》杂志先前只给影片评为较差的D级，此时却将该片的DVD排在了“50张你必须拥有的DVD”榜单的第一位。同時，DVD的暢銷拯救了该片，使得该片最终仍有盈利。搏击俱乐部的社會評論亦成爲眾多學者和影評家分析的源頭。 《战栗空间》 2002年大卫·芬奇执导惊悚片《顫慄空間》，该片突破性的使用了一些电脑动画技术。虽然该片票房不错，但评论普遍认为水准不及大卫的前几部作品。影片讲述了一个单身妈妈和她的女儿在一所房子的密室内躲避前来寻找秘密财富的盗贼。本片投资4800万美元，最终全球票房1.96億美元。 大卫·芬奇在筹备拍摄《狗镇之主（英语：Lords of Dogtown）》（Lords of Dogtown）之前曾有机会执导《谍中谍3》，但是後來都與这两部影片失之交臂，前者由凱瑟琳·哈德威克导演（大卫任执行監製），而后者则由J·J·亞柏拉罕執導。 最後更新：2023年11月21日 存档副本. [2017-01-01]. （原始内容存档于2012-05-13）.  存档副本. [2017-01-01]. （原始内容存档于2015-08-30）.  存档副本. [2017-01-01]. （原始内容存档于2017-10-21）.  Ryan Lambie. Looking back at David Fincher's Fight Club. DenofGeek. [2018-04-17]. （原始内容存档于2019-10-30）.  存档副本. [2017-01-01]. （原始内容存档于2006-11-11）.  存档副本. [2017-01-01]. （原始内容存档于2019-07-08）.  Steve Dove. Oscar Winners 2021: See the Full List. The Oscars 2021. [2021-09-21]. （原始内容存档于2021-04-26）.  大衛·芬奇. 爛番茄. [2018-04-19]. （原始内容存档于2021-01-07）.  大衛·芬奇. Metacritic. [2018-04-19]. （原始内容存档于2021-01-08）.  大衛·芬奇. IMDb. [2018-04-19]. （原始内容存档于2021-09-12）.  大衛·芬奇. Boxofficemojo.com. Amazon.com. [2018-04-19]. （原始内容存档于2019-10-19）.  大卫·芬奇在互联网电影资料库（IMDb）上的資料（英文） 大卫·芬奇在豆瓣上的资料（简体中文） 法国的一个影迷网站 （页面存档备份，存于互联网档案馆）
光球

光球（英語：Photosphere）是恒星向外輻射出光線的區域。它從天體的表面向內延伸，直到氣體變得不透明的區域，大约相當於光深度（光的減弱距離以自然對數形式表示）2/3的位置。換言之，光球是天體外層對普通的光線透明，光子的平均散射次数小于1的區域。恆星輻射的總能量相當於在該半徑處氣體輻射的總能量。由於恆星沒有固體的表面（除了中子星），光球通常指的就是太陽或恆星可以被看見的視覺表面。這個字的英文源自古希臘的字根φως¨- φωτος／photos和σφαιρος／sphairos，意思就是光和球，事實上就是被觀察到表面發光的球體。 光球是人类实际能够看到的太阳的圆面，它的界限比较分明，太阳的半径就是按照这个界限确定的。 太陽光球的有效溫度大約是5780K，是太阳大气的最内一部分，密度大約是2×10-4 千克立方米−3，粒子数密度为1023/m3，大约是地球大气层在海平面附近密度的1%；其他的恆星的光球可以更熱或更冷。 太陽的光球的厚度只有500公里，由被稱為米粒組織的對流胞組成，每個由氣體組成的對流胞直徑大約1,000公里，熱的氣體由中心向上升，而變冷的氣體從它們之間狹窄的空隙下沉。每個米粒組織的生命期大約是8分鐘，造成一個連續煮沸的轉移模式。典型的米粒組織可以聚集成直徑達到30,000公里，生命期長達24小時的更大集團 － 超米粒組織。這些細節是在其他的恆星上觀察不到的。 在光球之上，太陽還有幾層可以觀察到的大氣層：色球層位於光球和更熱且更稀薄的日冕之間，厚度可以達到10,000公里，通常要使用濾色片，像Hα濾鏡，才能觀察到。出現在光球表面上的其它現象還有太陽耀斑、太陽黑子和光斑。