stanford-oval/wikipedia huggingface dataset:
相继式演算
LK系统 > 推理规则

将要使用下列符号：
A和 B指示一阶谓词逻辑的公式（你也可以把它限制为命题逻辑），
\Gamma 、 \Delta 、 \Sigma 和 \Pi 是有限的（可能为空）公式序列，也叫做上下文，
t指示一个任意的项，
A[t]指示一个公式 A，在其中项 t的某个出现是我们感兴趣的
A[s/t]指示把在 A[s]中的 s的指定出现代换为项 t，
x和 y指示变量，
一个变量被称为在一个公式中自由出现，如果它只出现于不在量词 \forall 或 \exists 作用域内的公式中，
WL和 WR表示弱化左/右， CL和 CR表示紧缩左/右，而 PL和 PR表示排列左/右。
| --- | --- |
公理：: 切：
  {\cfrac {\qquad }{A\vdash A}}\quad (I):   {\cfrac {\Gamma \vdash A,\Delta \qquad \Sigma ,A\vdash \Pi }{\Gamma ,\Sigma \vdash \Delta ,\Pi }}\quad ({\mathit {Cut}})
| --- | --- |
左逻辑规则：: 右逻辑规则：
  {\cfrac {\Gamma ,A\vdash \Delta }{\Gamma ,A\land B\vdash \Delta }}\quad ({\land }L_{1}):   {\cfrac {\Gamma \vdash A,\Delta }{\Gamma \vdash A\lor B,\Delta }}\quad ({\lor }R_{1})
  {\cfrac {\Gamma ,B\vdash \Delta }{\Gamma ,A\land B\vdash \Delta }}\quad ({\land }L_{2}):   {\cfrac {\Gamma \vdash B,\Delta }{\Gamma \vdash A\lor B,\Delta }}\quad ({\lor }R_{2})
  {\cfrac {\Gamma ,A\vdash \Delta \qquad \Sigma ,B\vdash \Pi }{\Gamma ,\Sigma ,A\lor B\vdash \Delta ,\Pi }}\quad ({\lor }L):   {\cfrac {\Gamma \vdash A,\Delta \qquad \Sigma \vdash B,\Pi }{\Gamma ,\Sigma \vdash A\land B,\Delta ,\Pi }}\quad ({\land }R)
  {\cfrac {\Gamma \vdash A,\Delta }{\Gamma ,\lnot A\vdash \Delta }}\quad ({\lnot }L):   {\cfrac {\Gamma ,A\vdash \Delta }{\Gamma \vdash \lnot A,\Delta }}\quad ({\lnot }R)
  {\cfrac {\Gamma \vdash A,\Delta \qquad \Sigma ,B\vdash \Pi }{\Gamma ,\Sigma ,A\rightarrow B\vdash \Delta ,\Pi }}\quad ({\rightarrow }L):   {\cfrac {\Gamma ,A\vdash B,\Delta }{\Gamma \vdash A\rightarrow B,\Delta }}\quad ({\rightarrow }R)
  {\cfrac {\Gamma ,A[t]\vdash \Delta }{\Gamma ,\forall xA[x/t]\vdash \Delta }}\quad ({\forall }L):   {\cfrac {\Gamma \vdash A[t],\Delta }{\Gamma \vdash \exists xA[x/t],\Delta }}\quad ({\exists }R)
  {\cfrac {\Gamma ,A[y]\vdash \Delta }{\Gamma ,\exists xA[x/y]\vdash \Delta }}\quad ({\exists }L):   {\cfrac {\Gamma \vdash A[y],\Delta }{\Gamma \vdash \forall xA[x/y],\Delta }}\quad ({\forall }R)
限制：在规则 (\forall R)和 (\exists L)中，变量 y一定不能在 \Gamma ,A[x/y]或 \Delta 中自由出现。
| --- | --- |
左结构规则：: 右结构规则：
  {\cfrac {\Gamma \vdash \Delta }{\Gamma ,A\vdash \Delta }}\quad ({\mathit {WL}}):   {\cfrac {\Gamma \vdash \Delta }{\Gamma \vdash A,\Delta }}\quad ({\mathit {WR}})
  {\cfrac {\Gamma ,A,A\vdash \Delta }{\Gamma ,A\vdash \Delta }}\quad ({\mathit {CL}}):   {\cfrac {\Gamma \vdash A,A,\Delta }{\Gamma \vdash A,\Delta }}\quad ({\mathit {CR}})
  {\cfrac {\Gamma _{1},A,B,\Gamma _{2}\vdash \Delta }{\Gamma _{1},B,A,\Gamma _{2}\vdash \Delta }}\quad ({\mathit {PL}}):   {\cfrac {\Gamma \vdash \Delta _{1},A,B,\Delta _{2}}{\Gamma \vdash \Delta _{1},B,A,\Delta _{2}}}\quad ({\mathit {PR}})
LK系统 > 直觉解释

上面的规则可以被分成两个主要群组：逻辑规则和结构规则。每个逻辑规则都在十字转门 \vdash 的左边或右边介入一个新的逻辑公式。相反的，结构规则操作在相继式的结构上，忽略公式的准确形状。这个一般模式的两个例外是同一性公理 (I)和规则切 (Cut)。
尽管是以形式方式陈述的，上述规则允许用经典逻辑的方式非常直觉的读出来。比如，考虑规则 \wedge L_{1}。它陈述了如果你能证明 \Delta 可以从包含 A的公式序列推导出来，则你也能证明 \Delta 自更强的假定，也就是 A\wedge B成立。类似的，规则 (\neg R)陈述了如果 \Gamma 和 A足够推导出 \Delta ，则从单独的 \Gamma 你可以要么仍然推导出 \Delta 要么 A必然为假，就是说 \neg A成立。所有规则都可以用这种方式来解释。
对于量词规则的直觉解释，考虑规则 (\forall R)。当然只从 A[y]为真的事实推导出 \forall x,A[x/y]成立一般是不可能的。但是如果变量 y在其他地方没有被提及（就是说，它仍可以被自由的选择，而不影响其他公式），则你可以假定， A[y]对 y的任何值都成立。其他规则应当是非常直接的。
不再把规则看作是对在谓词逻辑中合法的推导的描述，你还可以把它们当作为给定陈述构造一个证明的指导。在这种情况下规则可以自底向上的读。例如， (\wedge R)声称要证明 A\wedge B推导自假定 \Gamma 和 \Sigma ，分别证明 A可以推导自 \Gamma 和 B可以推导自 \Sigma 就足够了。注意，给顶某个前件，如何分解成 \Gamma 和 \Sigma 是不明确的。但是，只有有限多的可能需要检查，因为前件被假定为是有限的。这也展示了证明论如何被看作是以组合方式在证明的操作：给定对 A和 B二者的证明，你可以构造一个对 A\wedge B的证明。
在查找某个证明的时候，多数规则提供或多或少的如何做的处方。切规则是不同的：它声称，在公式 A可以被推导出来，并且这个公式也可以充当推导其他公式的前提的时候，则公式 A可以被"切掉"并把各自的推导连接起来。在自底向上构造一个证明的时候，这产生了猜测 A的问题（因为它在下面根本就没有出现）。这个问题在切消定理中处理。
第二个规则有某种特殊性，它就是同一性公理 (I)。明显的直觉读为： A证明 A。
LK系统 > 例子推导

作为一个例子，下面是叫做排中律（拉丁语tertium non datur）的 \vdash (A\vee \neg A)的序列推导。
这个推导还强调了语法演算的严格形式结构。例如，上述定义的右逻辑规则总是作用于右相继式的第一个公式，这使得 (PR)的应用在形式上是需要的。这种非常严格的推理开始时可能难于理解，但是它形成了在形式逻辑中语法和语义之间非常核心的区别。尽管我们知道 A\vee \neg A和 \neg A\vee A有相同的意义，对后者的推导将不等价于上面给出的那个。但是，你可以通过介入引理而使语法推理更加方便些，就是说，预定义完成特定标准推导的方案。作为一个例子，你可以证明下列是一个合法的变换：
一旦已知一个一般的规则序列要建立这种推导，你可以使用它作为证明内的缩写。但是，当证明使用了好的引理而变得更加易读的时候，也使得推导的过程更加复杂，因为有更多可能的选择要考虑。在使用证明论（经常需要）作为自动演绎的时候这特别重要。
LK系统 > 结构规则

结构规则需要某些额外的讨论。规则的名字是弱化（ W）、紧缩（ C）和排列（ P）。紧缩和排列确保序列元素的次序（ P）和多次出现（ C）都不重要。就是说，你可以不把它当作序列而作为集合。
但是使用序列的额外努力是正当的，因为部分或全部的结构规则可以被忽略。这么做了就得到了所谓的亚结构逻辑。
LK系统 > LK系统的性质

这个规则系统可以被证明关于一阶逻辑是可靠的和完备的，就是说，从前提的集合Γ语义上得到的一个陈述 (\Gamma \vDash A)，当且仅当相继式 \Gamma \vdash A可以用上述规则推导出来。
在相继式演算中，切是可接纳的。这个结果也称为Gentzen的Hauptsatz（"主定理"）。
变体

上述规则可以以各种方式修改：
变体 > 次要结构变更

有些修改不改变 LK系统的本质。所有这些修改都仍可以叫做 LK系统。
首先，如上面提及的，相继式可以被看做由集合或多重集组成。在这种情况下，排列和（在使用集合的时候）紧缩公式的规则就可以废弃了。
弱化规则也变成是可接纳的了，在公理 (I)被变更的时候，使得形如 \Gamma ,A\vdash A,\Delta 的任何相继式都可以被得出。这意味着在任何上下文中 A证明 A。在推导中的任何弱化因此可以在开始处正确的进行。在自底向上构造证明的时候这是个方便的变更。
独立于这些修改，你还可以在规则内上下文被分割的方式：在 (\wedge R)、 (\vee L)和 (\rightarrow L)的情况下，在向上走的时候，左上下文被以某种方式分割成 \Gamma 和 \Sigma 。因为紧缩允许它们的重复，你可以假定全部上下文在两个推导分支中都使用。通过这么做，你能确保没有重要的前提在错误的分支中被丢失。使用弱化，上下文中无关的部分以后可以被消去。
所有这些改变生成等价的系统，这是在LK中的所有推导可以有效的变换因使用了替代规则的推导反之亦然的意义上。
变体 > 亚结构逻辑

条目：亚结构逻辑
人们可以限制或禁用某个结构规则。这产生了亚结构逻辑系统变体。它们一般要弱于 LK（就是说有更少的定理），因为关于标准的一阶逻辑语义是不完备的。但是它们的其他有趣性质导致其在理论计算机科学和人工智能中的应用。
变体 > LJ系统

令人惊讶的， LK的规则的一些细小的变更就足以把它变成直觉逻辑的证明系统。你必须限制使用直觉相继式（就是说，右上下文被消去）并修改规则 (\vee L)为如下：
这里的 C是任意的公式。
结果的系统叫做 LJ系统。它关于直觉逻辑是可靠的和完备的并且容许类似的切消证明。
引用

↑  Gentzen 1934, Gentzen 1935.
↑  Curry 1977，第189–244頁, calls Gentzen systems LC systems. Curry's emphasis is more on theory than on practical logic proofs.
↑  Kleene 2009，第440–516頁. This book is much more concerned with the theoretical, metamathematical implications of Gentzen-style sequent calculus than applications to practical logic proofs.
↑  Kleene 2002，第283–312, 331–361頁, defines Gentzen systems and proves various theorems within these systems, including Gödel's completeness theorem and Gentzen's theorem.
↑  Smullyan 1995，第101–127頁
↑  Curry 1977，第208–213頁, gives a 5-page proof of the elimination theorem. See also pages 188, 250.
↑  Kleene 2009，第453頁, gives a very brief proof of the cut-elimination theorem.
↑  Curry 1977，第184–244頁, compares natural deduction systems, denoted LA, and Gentzen systems, denoted LC. Curry's emphasis is more theoretical than practical.
↑  Suppes 1999，第25–150頁, is an introductory presentation of practical natural deduction of this kind. This became the basis of System L.
↑  Lemmon 1965 is an elementary introduction to practical natural deduction based on the convenient abbreviated proof layout style System L based on Suppes 1999，第25–150頁.
↑  这里的“只要”是如下的非正式略写“对值到判断中的自由变量的所有指派”。
↑  Shankar, Natarajan; Owre, Sam; Rushby, John M.; Stringer-Calvert, David W. J.  (PDF). User guide. SRI International. 2001-11-01  [2015-05-29]. （原始内容 (PDF)存档于2022-03-27）.
↑  For explanations of the disjunctive semantics for the right side of sequents, see Curry 1977，第189–190頁, Kleene 2002，第290, 297頁, Kleene 2009，第441頁, Hilbert & Bernays 1970，第385頁, Smullyan 1995，第104–105頁 and Gentzen 1934，第180頁.
福州软件职业技术学院

福州软件职业技术学院是中华人民共和国的一所全日制专科民办普通高等职业学校，位于福建省福州市长乐区滨江滨海路168号（海西动漫城）。
福州软件职业技术学院是经福建省人民政府批准建立，创办的一所民办高职院校。2012年，网龙网络有限公司正式入主学院办学。
学院坚持“以数字为基础”“以设计为导向”的办学理念，倡导艺术与技术融合，秉承“厚德笃行、励学强技”校训，确立“立足福州，面向福建，辐射全国，服务数字产业”的办学定位，以“校企一体化办学”为发展理念和路径，着力为福州“数字经济”、“数字福建”的建设，培养以“互联网+”为主体的研发、设计、运营一线高素质技术技能型人才。学院设有智能产业学院、游戏产业学院、容艺影视产业学院、建筑工程系、经济管理系和公共基础部6个二级教学单位。专业规划与建设对接福州经济和产业发展，形成与福州新区和海上丝绸之路核心区、自贸区建设需求的主导产业、新一代信息产业、现代服务业等相对接的专业体系，逐步形成涵盖以电子信息大类、文化艺术大类为主，土木建筑大类（BIM方向）、财经商贸大类为两翼，建设软件技术、人工智能、动漫游戏、VR技术、融媒体、建筑工程、现代商贸等七大专业群，已初步形成以全日制高等职业教育、五年制职业教育（中高对接）、“二元制”人才培养职业教育等多种类型人才培养模式的职业教育体系，为福州“数字经济”、“数字福建”的建设培养高素质技术技能型人才。
参考资料

↑  .   [2022-02-04]. （原始内容存档于2022-02-04）.
↑  阳光高考 https://gaokao.chsi.com.cn/sch/viewZszc--infoId-3225685334,categoryId-5284083,schId-5284073.dhtml.  缺少或|title=为空 (帮助)
新什布卡

47°22′40″N 29°42′3″E﻿ / ﻿47.37778°N 29.70083°E﻿ / 47.37778; 29.70083
新希布卡（烏克蘭語：）是位於烏克蘭西南部的村莊，由敖德萨州羅茲季利納區的扎哈里夫卡市鎮（烏克蘭語：）負責管轄。該村始建於1849年，面積0.66平方公里，海拔高度107米，2001年人口223，人口密度每平方公里337.88人。
电子控制器

吉优Storm（英语：）上的一个电子控制器
电子控制器（又称作电子控制单元或电控单元，英語：，缩写为ECU）是汽车电子系统中用来控制电气系统、电子系统及汽车子系统的嵌入式系统。
现代汽车使用各种各样的电控单元，如发动机控制器（ECM或ECU）、动力总成控制器（英语：）（PCM）、传动系统控制器（英语：）（TCM）、制动控制器（BCM或EBCM）、中央控制器（CCM）、中央计时器（CTM）、通用电子器（GEM）、车身控制器（BCM）、悬挂控制器（SCM）等等。所有的系统组合在一起，有时候被称作车载电脑。技术上来讲，这不是单个计算机，而是很多个计算机组成的。有时一个组件包含几个单独的控制器，例如动力总成控制器通常包含发动机及传动系统。
2009年時机动车上搭载的电控单元可以达到80个，而其嵌入式系统变得越来越复杂。对原始设备制造商（OEM）来说，制造及管理日益复杂的系统成为挑战。
控制单元对控制模块

在描述电子控制器时，大多数情况下，“控制单元”和“控制模块”是同义词。有的制造商倾向于使用其中一种，有的制造商混用。技术上来讲，这两个词没有区别。
由于电子控制单元缩写为ECU，发动机控制单元也可缩写为ECU，因此制造商将发动机控制命名为发动机控制模块（ECM）来区分，避免造成误解。这也导致在对其他控制器命名时，沿用了控制模块这一概念。
现代ECU

目前在一些中高级轿车上，许多地方都可发现ECU的踪影。例如防鎖死剎車系统、4轮驱动系统、电控自动变速器、主动悬架系统、安全气囊系统、多向可调电控座椅等都配置有各自的ECU。随着轿车电子化自动化的提高，ECU将会日益增多，线路会日益复杂。为了简化电路和降低成本，汽车上多个ECU之间的信息传递就要采用一种称为多路复用通信网络技术，将整车的ECU形成一个网络系统，也就是CAN数据总线。
类型

车门控制器（英语：）（DCU）
发动机控制器 (ECM)
电子辅助转向控制器（PSCU） ——通常集成在电子辅助转向动力单元中。
用户界面（HMI）
动力总成控制器（英语：）（PCM）：发动机控制器及传动系统控制器（英语：）集成模块
座椅控制器
巡航定速（SCU）
远程信息处理控制单元（英语：）（TCU）
传动系统控制器（英语：）（TCM）
制动控制器（BCM）：防鎖死煞車系統或电子稳定程序
电池管理系统（BMS）
主要元素

核心
单片机
存储
静态随机存取存储器（SRAM）
電子抹除式可複寫唯讀記憶體（EEPROM）
闪存（Flash）
输入
电源和接地
数字信号输入
模拟信号输入
输出
执行器驱动（例如喷油器，继电器，阀门）
伺服电机H桥驱动
逻辑输出
通讯链接
总线收发器（例如K-Line、控制器局域网、以太网)
嵌入式软件
啟動程式
软件识别、版本管理、校验的元数据
功能软件例程
配置数据
设计及开发

电子控制单元开发涉及到硬件与软件，开发流程遵循V模型。目前，控制单元开发会遵守例如ISO 26262之类的标准，并集中投入大量时间进行研发，并且鲜少有从零开始研发的情况。新的控制器通常基于前代产品的软硬件，迭代研发以降低研发成本和时间。大多数电控单元由一级供应商根据原始设备制造商提供的规范进行开发。
测试和验证

作为研发周期的一部分，制造商会进行详细的失效模式与影响分析或其他种类的故障分析，囊括所有潜在的危险或会带来的烦恼的故障。生產件批准程序（PPAP）中包含广泛的测试和验证项目，加强软硬件的置信度。車上診斷系統（OBD）可在系统或元件故障时提供详尽的数据记录，帮助进行故障排查和分析。
调试

部分发烧友希望对其电子控制单元进行篡改来增加更多功能，然而如今的大多数电子控制单元都有保护系统，防止用户随意篡改程序。绕过保护系统会触犯數字千年版權法，除非获得豁免，随意篡改电子控制单元程序的行为是违法的。
ECU故障

汽车在使用过程中可能会产生各种各样的故障，这些故障如果不能及时排除，可能会使汽车不能正常使用，甚至会产生很大的安全隐患。现代的配备ECU的汽车有一个最基本的功能，就是在汽车某个部件发生故障时，相应的ECU存储器里就自动产生一个故障码，同时在汽车的仪表盘上显示出来，往往是一个汽车保养灯亮起，保持不灭。车主在发现异常后就应该立即前去维修店检查问题并维修。
参考资料

1 2  National Instruments White Paper on Electronic Control Units 的存檔，存档日期2013-12-21.
↑  Ebert, Christof; Jones, Capers. . Computer. 2009-04-01, 42 (4): 42–52  [2010-09-15]. doi:10.1109/MC.2009.118.
↑  Case, Lenny. . Automotive Industries. October 2011  [2019-10-16]. （原始内容存档于2019-10-04）.
↑  . 2015-10-28.
↑  . Wired. 2015-01-23  [2019-10-16]. （原始内容存档于2019-06-16）.
瓊·洛夫喬伊

瓊·洛夫喬伊（June Lovejoy，日语：，1996年2月14日—），美國出身的AV女優。所屬事務所是Prime Agency株式會社（日语：）。
簡歷

2020年1月在AV界出道。
2021年2月於月刊FANZA發表的「このAV女優がすごい!2021冬」獲得第3名。
2021年5月被週刊Playboy選為「次世代美巨尻AV女優ベスト10」。在評論中被稱為「尻番長」。
人物

出身於美國加利福尼亞州。
興趣是宝可梦和讀書，擅長翻譯（英語）、攝影和口譯。
從2018年開始定居在日本並找工作。
參考資料

1 2 3 4  . プライムエージェンシー.   [2020-04-12]. （原始内容存档于2021-04-29）.
↑  ジーオーティー『月刊FANZA』2021年4月号103頁
↑  集英社『週刊プレイボーイ』2021年5月24日号No.21 138‐141頁
↑  ジーオーティー『月刊FANZA』2020年4月号16頁
外部連結

June Lovejoy Official Website
June Lovejoy ジューン•ラブジョイ的Facebook專頁
June Lovejoy ジューン•ラブジョイ的X（前Twitter）帳戶（2019年11月7日 - ）
June Lovejoy的Instagram帳戶
YouTube上的ジューン・ラブジョイwith Love&Joy頻道
June Lovejoy的Twitch频道
纪尧姆·德·诺加雷

紀堯姆·德·諾加雷半身像
纪尧姆·德·诺加雷（法語：，1260年？月？日—1313年4月13日），是法国政治家，腓力四世的总理大臣、掌玺大臣，与斯恰拉·科隆纳带兵攻击教宗博義八世。
登尼斯·恩德拉斯

| 登尼斯·恩德拉斯 |
| --- | --- |

出生: 1985年7月14日  （39歲） 伊门施塔特 
职业: 冰球运动员 
登尼斯·恩德拉斯（德語：，1985年7月14日—），德国男子冰球运动员。他曾代表德国参加2010年和2018年冬季奥林匹克运动会冰球比赛，其中2018年冬季奥运会获得一枚银牌。
参考资料

↑  . International Olympic Committee.   [2022-03-20]. （原始内容存档于2022-03-20）.
新年快樂事件

新年快樂事件是香港2002年元旦發生的一件警民衝突事件，事發地點為九龍尖沙咀近香港文化中心一帶的跨年倒數活動，一名14歲青年練志偉與一名警員互相掌摑，其後該名青年投訴被一名警員毆打，而警方則回應指只是二人互相輕拍面部並向對方祝賀「Happy New Year」（新年快樂）。經過警方內部調查後，投訴警方獨立監察委員會最後接納警方的調查報告，指未能證實青年曾被毆打，只能證實雙方曾經講過粗口，所以終止調查工作。
參考文獻

「摑警」少年﹕沒說新年快樂[]，《星島日報》，2002年1月5日
討論「新年快樂」調查，《蘋果日報》，2002年9月4日
警監會「無法證實」練智偉投訴不成立 「新年快樂」案調查終止 （页面存档备份，存于），《太陽報》，2002年10月4日
練志偉遭警毆打難證實 （页面存档备份，存于），《文匯報》，2002年10月4日
福州 (广西)

福州，古代在广西壮族自治区西北部的羁縻州。
唐朝置，治所在今河池市南丹县西罗富。为黔州所领羁縻州；辖境即相当今南丹县西一带。宋朝仍为羁縻州，属广南西路。元朝属于湖广行省，后废。
参考资料

《旧唐书》地理志
《新唐书》地理志
《宋史》地理志
《元史》地理志
斑點翹嘴脂鯉

| 斑點翹嘴脂鯉> 保护状况 |
| --- | --- |
 未予评估（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 脂鯉目 Characiformes
科：: 鱂脂鯉科 Lebiasinidae
属：: 翘嘴脂鲤属 Pyrrhulina
种：: 斑點翹嘴脂鯉 P. spilota
二名法
Pyrrhulina spilota Weitzman, 1960

斑點翹嘴脂鯉（Pyrrhulina spilota），為輻鰭魚綱脂鯉目脂鯉亞目鱂脂鯉科的其一種，為熱帶淡水魚，分布於南美洲秘魯亞馬遜河上游流域，體長可達7公分，棲息中底層水域，生活習性不明。
罗伯特·安杰尤克

| 獎牌記錄> 男子劍擊 | 獎牌記錄> 男子劍擊 | 獎牌記錄> 男子劍擊 | 男子劍擊 |
| --- | --- | --- | --- |
| 代表  波蘭 | 代表  波蘭 | 代表  波蘭 |  |
| 奧林匹克運動會 | 奧林匹克運動會 | 奧林匹克運動會 |  |
|  | 2008年北京 | 重劍團體 |  |
罗伯特·安杰尤克（波兰语：，1975年7月17日—）生于华沙，是一名波兰男子击剑运动员，主攻重剑。他曾参加2008年夏季奥林匹克运动会，在男子团体重剑项目上获得一枚银牌。
當代藝術博物館 (薩格勒布)

當代藝術博物館
當代藝術博物館（克羅埃西亞語：）是克羅埃西亞首都薩格勒布的一座博物館，位於杜布羅夫尼克大道。這座博物館是克羅埃西亞最大和最為現代的博物館。當代藝術博物館的前身是設立於1954年的當代藝術畫廊。
參考資料

↑  Mamić, Tomislav. . Jutarnji list. 6 October 2009  [4 March 2010]. （原始内容存档于2012年3月22日） （克罗地亚语）.
↑  . msu.hr. Museum of Contemporary Art, Zagreb.   [4 March 2010]. （原始内容存档于2019-05-28） （克罗地亚语）.
外部連結

官方网站（克羅埃西亞文）
Brochure with basic information about the museum in English
Article about museum's history （页面存档备份，存于） published in Vijenac （克羅埃西亞文）
朱惟燿

永壽懷順王朱惟燿（？—1528年），是明朝永壽恭和王朱秉欓之子，明朝政府初封他為鎮國將軍，嘉靖七年去世。兒子朱懷墡襲封為永壽王後，他被追封為永壽王，諡懷順。
家庭 > 子女 > 子

永壽榮靖王朱懷墡
參考資料

.
白葚蟹守螺

| 白葚蟹守螺 |
| --- | --- |


科学分类 
界：: 动物界 Animalia
门：: 軟體動物門 Mollusca
纲：: 腹足纲 Gastropoda
目：: 吸螺目 Sorbeoconcha
科：: 蟹守螺科 Cerithiidae
属：: Clypeomorus属 Clypeomorus
种：: 白葚蟹守螺 C. bifasciatus
二名法
Clypeomorus bifasciatus (Sowerby, 1855)

白葚蟹守螺（学名：），是中腹足目蟹守螺科Clypeomorus的一种。其种加词“bifasciatus”意为“双带的”。主要分布于韩国、中国大陆、台湾，常栖息在潮间带。
查尔斯·杜克

| 小查尔斯·莫斯·杜克 |
| --- | --- |

出生: 1935年10月3日  北卡罗莱那州，夏洛特
国籍:  美国
航天生涯
美国国家航空航天局宇航员
过往职业: 试飞员
: 准將（美国空军）
在太空时间: 11天1小时51分钟
甄选: 第五组宇航员
任务: 阿波罗16号
任务徽章: 
 
小查尔斯·莫斯·杜克（英語：，1935年10月3日—）曾是一位美国国家航空航天局的宇航员，执行过阿波罗16号任务。杜克是第十个踏上月球的人。
斯塔洛瓦沃拉

| 斯塔洛瓦沃拉 Stalowa Wola |
| --- | --- |

   徽章
斯塔洛瓦沃拉 Stalowa Wola
坐标：50°35′N 22°03′E﻿ / ﻿50.58°N 22.05°E﻿ / 50.58; 22.05
国家:  波蘭
省: 喀尔巴阡山省
县: 斯塔洛瓦沃拉县
面积
 • 总计: 83 平方公里（32 平方英里）
人口（2006年）
 • 總計: 65,818人
 • 密度: 793人/平方公里（2,054人/平方英里）
时区: CET（UTC+1）
 • 夏时制: CEST（UTC+2）
斯塔洛瓦沃拉（波兰语：）位于波兰喀尔巴阡山省北部桑河畔，是斯塔洛瓦沃拉县的县治。
白石山 (宁海)

29°30′09″N 121°36′13″E﻿ / ﻿29.50261836334249°N 121.603524684906°E﻿ / 29.50261836334249; 121.603524684906
白石山是浙江省象山港内的一个岛屿，面积1.135平方公里，具体位置在东经121°36′，北纬29°30′，最高点海拔74.7米。行政上属于宁海县强蛟镇，是强蛟列岛中位置最东和面积最大的一个岛屿，也是宁海县属面积最大的岛屿，在列岛的12座岛屿中以岩石诡秘著称。目前该岛并无常住人口。
参考资料

《中国海域地名志》 岛，李曦沐
敏感性肌膚

维基百科中的醫學内容，並視作專業意見。如需獲取醫療幫助或意見，请咨询专业人士。詳見。
容易敏感性肌膚（英語：）是指肌膚容易敏感和耐受性較低的膚質，因為皮膚障壁較為薄且脆弱，容易發生水分流失、刺激因子滲透，導致皮膚容易過度反應，造成血管擴張和發炎的現象，使皮膚上產生紅斑，並伴隨著搔癢、灼熱、緊繃與針刺感。容易敏感性肌膚發生原因包含內源性因素和外源性因素，可能和環境溫度和空氣品質、肌膚摩擦、清潔用品的化學成份刺激、賀爾蒙變化及心理因素有關。
敏感性肌膚的分類：
| --- | --- |
分類: 描述
敏感性肌膚: 皮膚的屏障功能容易被破壞且產生嚴重的發炎反應。
反應性肌膚: 產生強烈的發炎反應，但皮膚屏障沒有被破壞。
神經刺激肌膚: 皮膚的神經刺激反應增強。
| --- | --- |
分類: 描述
敏感性肌膚: 皮膚對多種內源性和外源性因子具有急性和慢性症狀，以及強烈的生理反應性。
對環境敏感肌膚: 容易發紅、潮紅、乾燥或較薄的皮膚，並且皮膚對環境改變有反應，例如溫度劇烈變化。
對化妝品敏感肌膚: 對特定化妝品或保養品有反應的皮膚。
| 容易敏感性肌膚主要影響的三種要素> 外源性因素 |
| --- | --- |
(1)環境:  曝曬陽光  急驟的溫度變化  起風  汙染
(2)不當的保養:  清潔劑 硬水  清潔產品的刺激  不適當的保養和化妝品
內源性因素
(3)心理因素: 憤怒、壓力、很強烈的情緒反應
盛行率

根據一份跨國性報告，大約三成的兒童有敏感性肌膚。新光醫院小兒科主任穆淑琪在參與這項計畫中發現，台灣兒童的皮膚敏感盛行率約為29.75%，約三個兒童就有一個有肌膚容易敏感的問題。台灣兒童容易敏感性肌膚的徵狀主要是搔癢和乾燥，其他徵狀依比例多寡分別有發紅、刺痛、緊繃和灼熱。
兒童容易敏感性肌膚的發生率高與兒童肌膚構造及功能有關，兒童的肌膚較一般成人正常膚質脆弱，通常兒童肌膚厚度僅約成人的40-60%，表面肌膚的pH值呈現中性而非一般健康肌膚的弱酸性，所以比較容易受到外界的敏感原入侵。兒童的皮膚的結構與成人較明顯的不同包括：
較薄的角質層
細胞密集度較低
細胞間的空間會越來越少
細胞間的脂質不同
含較少胞橋體 (Desmosomes)
等因素，所以容易敏感性肌膚的兒童對外界環境往往呈現容易敏感與耐受性差，如暴露在紫外線、空氣污染嚴重或潮濕及氣候變化等環境中，或者接觸到如花粉、蝨子、灰塵、黴菌、塵等不清潔的過敏原，皮膚便會產生如不適應的症狀。
容易敏感性肌膚容易被誤認為是異位性皮膚炎，和異位性皮膚炎相較之下，異位性皮膚炎在表皮會有較嚴重的粗糙和魚鱗屑，可能伴隨著強烈的搔癢，持續時間較長，且異位性皮膚炎會發生在身體的對稱性部位，像是兩腳的關節處或是兩側臉頰，不同於容易敏感性肌膚會發生在身體的任何部位。異位性皮膚炎的部分成因和動物毛屑、黴菌、花粉、塵蟎等過敏原有關。許多皮膚方面的疾病徵兆亦和敏感性膚質徵兆類似，宜經專業醫師診斷後判定。
臨床病徵

| 臨床病徵 | 台灣發生率 |
| --- | --- |
發紅: 51.20%
乾燥: 56.86%
搔癢: 69.93%
刺痛感: 13.29%
緊繃感: 11.55%
灼熱感: 9.15%
與異位性皮膚炎的差異判準

|  | 容易敏感性肌膚 | 異位性皮膚炎 |
| --- | --- | --- |
| 症狀 | 表面看似正常肌膚 呈現暫時性的泛紅。  常伴有輕微癢感、灼熱、緊繃與針刺的感覺。  短暫的臨床症狀。  可能發生於身體的任何部位。若在面部，常見蘋果臉。 | 持續性嚴重表皮乾燥 嚴峻劇烈泛紅、粗糙或伴有魚鱗屑。  強烈搔癢。  通常發作期會持續數天到數個星期。  隨著年紀增長而有不同的對稱性部位發作。 |
參考資料

↑  這裡紅，那裡癢─談敏感性肌膚 （页面存档备份，存于） - 張和興 醫師 / 光田綜合醫院 - 皮膚科
↑  N Muizzuddin , K D Marenus, D H Maes. . Factors defining sensitive skin and its treatment.   [2020-08-02]. （原始内容存档于2022-06-16）.
↑  A Pons-Guiraud. . journal of cosmetic dermatology.
↑  容易敏感性肌膚，酪梨醣類可護敏 （页面存档备份，存于） 台灣醒報 2009-10-16
↑  認識敏感性肌膚 （页面存档备份，存于） - 台大醫院雲林分院 邱品齊醫師
成人與嬰兒皮膚的切面示意，嬰兒較薄的皮膚而且免疫力系統尚未成熟，容易受到損傷。
的卢救主

的卢救主发生于刘备屯兵樊城时。当时荆州刺史刘表礼焉，然惮其为人，不甚信用。尝延备赴宴，其下蔡瑁等欲因取备。备觉之，佯如厕，潜遁去。其所乘马名“的卢”。备骑“的卢”走堕城西檀溪水，溺不能出。备亟曰：“的卢，的卢！今日危矣！可努力！”“的卢”乃一踊三丈，遂得以过水。
作者简介

郭颁，字长公，西晋史学家，生卒年不详。
新楓葉鎮物語棕櫚鎮篇

『新楓葉鎮物語棕櫚鎮篇』（新メイプルタウン物語 パームタウン編，しんメイプルタウンものがたり パームタウンへん）是1987年1月18日至12月27日於朝日放送制作並於全日本新聞網每週日早上8:30-9:00（JST）共50集、東映動畫製作的動畫節目。
概要

本作是前作楓葉鎮物語的續集，也是本時段第四個作品，本作品1987年10月11日第39集開始至1987年12月27日大結局第50集為止播出時間縮短為星期日早上8時30分至8時45分。該期間的其餘時間播出聖魔大戰。新楓葉鎮物語棕櫚鎮篇也有電影上映。
另見

超獸戰隊生命人，超級戰隊系列作品，有其角色出現
參考資料

↑  . marumegane.com. Takashi Murakami.   [20 October 2016]. （原始内容存档于2019-11-11） （日语）.
白石头乡

| 白石头乡 |
| --- | --- |
乡
坐标：43°20′15″N 93°41′45″E﻿ / ﻿43.33753°N 93.69588°E﻿ / 43.33753; 93.69588
国家:  中华人民共和国
上级行政区: 伊州区
村级区划单位数:  4 0社区 4行政村 
人口
 • 總計: 1,569人
时区: 北京时间（UTC+8）
: 新疆時間（UTC+6）
行政区划代码: 65 05 02 212
电话区号: +86 (0)902
白石头乡，是中华人民共和国新疆维吾尔自治区哈密市伊州区下辖的一个乡镇级行政单位。
行政区划

白石头乡下辖以下地区：
白石头村、​口门子村、​塔水村和牧场村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
田野龙属

| 田野龙属 化石时期：瑞替阶， 206–202 Ma  PreЄ Є O S D C P T J K Pg N  ▼   |
| --- | --- |

科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 蜥形纲 Sauropsida
总目：: 恐龍總目 Dinosauria
目：: 蜥臀目 Saurischia
亚目：: †蜥脚形亚目 Sauropodomorpha
科：: †槽齿龙科 Thecodontosauridae
属：: †田野龙属 Agrosaurus Seeley, 1891

模式種
†麦氏田野龙 Agrosaurus macgillivrayi Seeley, 1891
異名
 Thecodontosaurus macgillivrayi von Huene（英语：）, 1906
田野龙（属名：Agrosaurus，发音：/ˌæɡroʊˈsɔːrəs/；希腊语agros意为“田野”，sauros意为“蜥蜴”，组合起来意为“田野蜥蜴”）是槽齿龙科蜥脚形亚目恐龙已灭绝的一个属，可能生存于现在的英国。田野龙最初被视为一种来自澳洲的三叠纪原蜥脚类，也是该国最古老的恐龙。然而，其化石材料似乎属于英国布里斯托尔镁质砾岩（英语：）地层中的槽齿龙或某种类似槽齿龙的动物。模式种是麦氏田野龙（Agrosaurus macgillivrayi）。
研究历史

据推测，英国单桅帆船HMS Fly号（英语：）的一支探险队的成员于1844年从澳大利亚昆士兰州约克角收集了一根胫骨、一只爪子和其它碎片，尽管这些骨头可能是亨利·莱利（英语：）和塞缪尔·斯图奇伯里（英语：）于1834年秋在布里斯托尔的镁质砾岩（英语：）中收集的。原化石于1879年被大英自然历史博物馆买下，但直到1891年人们才对遗骸进行研究。同年，哈利·丝莱将其命名为田野龙。化石在20世纪80年代末进行准备。准备过后，拉夫·莫尔纳（1991年）注意到其与原蜥脚类大椎龙存在相似之处。加尔东和克卢弗（1976年）认为田野龙与近蜥龙很类似。维克斯－里奇、里奇、迈克－纳玛拉和米尔纳（1999年）认为田野龙是槽齿龙的异名，声称大英博物馆的遗骸被贴错了标签。正确识别化石来源的困难之处在于HMS Fly号的日志并未记录该发现。对约克角（澳大利亚）和杜尔达姆丘陵地区（英国）年龄相似的地层基质进行检测，结果表明田野龙的化石成分更类似于英国地层。事实上，早在1906年，弗里德里希·冯·休尼（英语：）就曾将岩石基质叙述为“极其让人想起布里斯托尔附近杜尔达姆的镁质砾岩”，并将其更名为麦氏槽齿龙（Thecodontosaurus macgillivrayi）。喙头目Diphyodontosaurus avonis（一种在布里斯托尔三叠纪地层中很常见的蜥蜴状爬行动物）的下颌化石已被提取出来。这种将田野龙重新解释为英国恐龙的说法在后期研究中得到认可。
从稀少的遗骸来看，这只动物生前长约3米（10英尺），有着典型基底蜥脚形亚目的外貌：身体粗壮，脖子长，头小，脚有爪。像其它原蜥脚类一样，它在大部分时间可能以四足行走，是种食草动物或杂食动物。
田野龙现在通常被视为一个疑名或槽齿龙的次异名。田野龙并非来自澳大利亚――这一结论似乎是最有可能的。瑞拖斯龙和澳洲盗龙皆生存于中侏罗世巴柔阶，二者将是澳洲已知最古老的恐龙且有着很好的化石记录。
参考资料

↑  Williams, (1835), "Discovery of Saurian Bones in the Magnesian Conglomerate near Bristol", American Journal of Science and Arts 28: 389
↑  Seeley. H. G. (1891). On Agrosaurus macgillivrayi (Seeley), a saurischian reptile from the N.E. coast of Australia. Quarterly Journal of the Geological Society of London 47:164-165
↑  Weishampel, David B.; Barrett, Paul M.; Coria, Rodolfo A.; Le Loueff, Jean; Xu Xing; Zhao Xijin; Sahni, Ashok; Gomani, Elizabeth M.P.; Noto, Christopher N. . Weishampel, David B.; Dodson, Peter; Osmólska, Halszka  (编).  2nd. Berkeley: University of California Press. 2004: 517–606. ISBN 978-0-520-24209-8.
↑  Galton, Peter. . Revue de Paléobiologie. 2007, 26 (2): 505–591.
新布托里

47°5′29″N 29°31′50″E﻿ / ﻿47.09139°N 29.53056°E﻿ / 47.09139; 29.53056
新布托里（烏克蘭語：）是位於烏克蘭西南部的村莊，由敖德萨州羅茲季利納區的大米哈伊利夫卡市鎮（烏克蘭語：）負責管轄。該村始建於1890年，面積0.44平方公里，海拔高度89米，2001年人口153，人口密度每平方公里347.73人。
畫工棄市

《畫工棄市》是小说集《西京杂记》中的故事。故事中的画工在《汉书》没有记载。
情节

汉元帝后宫很多，不得常见。让画工绘画，按图召幸。宫人都賄赂画工，多者十万，少者不下五万。只有王昭君不肯，于是不会被汉元帝召幸。后来匈奴呼韩邪单于求汉朝美人为阏氏，汉元帝按图召王昭君前去和親。王昭君上殿被召见，汉元帝发现她美貌冠于后宫。汉元帝后悔，但对外国不能失信，不再换人，于是将其事追查到底。画工毛延寿为杜陵人，所作的人物画，无論美丑老少都画得很像，他和安陵陈敞、新丰刘白、龚宽、下杜阳望这些画工全部弃市，籍没其家，家资巨万。
白羊溪乡

| 白羊溪乡 |
| --- | --- |
乡
坐标：28°10′19″N 109°56′28″E﻿ / ﻿28.17182°N 109.94119°E﻿ / 28.17182; 109.94119
国家:  中华人民共和国
上级行政区: 泸溪县
村级区划单位数:  8 0社区 8行政村 
时区: 北京时间（UTC+8）
行政区划代码: 43 31 22 208
电话区号: +86 
白羊溪乡，是中华人民共和国湖南省湘西土家族苗族自治州泸溪县下辖的一个乡镇级行政单位。
行政区划

白羊溪乡下辖以下地区：
白羊溪村、​茅坪村、​周家寨村、​马入田村、​麻溪村、​马王溪村、​云上村和排口村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
白葉釣樟

| 白葉釣樟 |
| --- | --- |


科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 木兰类植物 Magnoliids
目：: 樟目 Laurales
科：: 樟科 Lauraceae
属：: 山胡椒属 Lindera
种：: 白葉釣樟 L. glauca
二名法
Lindera glauca Sieb. & Zucc. Bl., 1851

白葉釣樟（学名：）为樟科釣樟屬下的一个种。
红楼梦 (1989年电影)

| 红楼梦 A Dream of Red Mansions> 基本资料 |
| --- | --- |
导演: 谢铁骊 趙元
编剧: 谢铁骊 谢蓬
原著: 红楼梦
主演: 夏钦 陶慧敏 傅艺伟 刘晓庆
制片商: 北京电影制片厂
片长: 735分钟
产地: 中国大陆
语言: 普通话
上映及发行
上映日期:  中国 1989年
《红楼梦》是北京电影制片厂在20世纪80年代末以中国古典小说《红楼梦》改编拍摄的一部系列电影。电影共6部8集，时间长为735分钟，为红楼梦电影之最。本片对《红楼梦》进行了电影化的处理，融入了现实、虚幻的手法，兼具典雅和豪放的特色。
概述

1986年，北京电影制片厂正式决定拍摄电影红楼梦。当时的北影厂投入巨资，建造了“大观园”和“宁国府”等外景地。本片除邀请当时大陆电影界的一线演员刘晓庆、赵丽蓉、丁岚等加盟，还效仿87版《红楼梦》，在全国范围内海选演员。从1986年启动拍摄到1989年正式上映，共历时三年有余，由著名导演谢铁骊执导，亦招入了越剧、京剧、吕剧、相声、评弹、话剧、评剧、河北梆子、昆曲等不同剧种的演员，力求本片具有民族化、生活化、艺术化的风格.
本片较之87版电视剧《红楼梦》，场景、造型、服装上因投资大故更胜一筹，演员阵容也是美女如云，汇集了当时电影界的一大批当红明星。导演谢铁骊凭借本片夺取第10届中国电影金鸡奖最佳导演奖，女主角陶慧敏也获得百花奖最佳女主角第二名。但电影本身仍带有浓重的越剧表演色彩，贾宝玉这个角色是女演员反串演出，在87版电视剧男版宝玉的比较之下，不为大多数人接受，相较重播率很高的87版电视剧，加上受制于电影的篇幅，剧情的衔接上稍失连贯。故本片的影响力则逊色一些。
此外本片现在流出的版本色调光线都太过于沉暗，美感度不足。
职员表

改编：谢铁骊、谢蓬
总监制：汪洋、胡健
制片主任：林永刚、赵汉皋、王云霞
顾问：朱家溍、胡文彬、丁维忠、方一中
红学顾问：李希凡、冯其庸、胡文彬、丁维忠
历史顾问：朱家溍
导演：赵元
摄影：邹积勋
美术：陈翼云、杨占家
副美术：徐连伟、秦多
录音：刘士达
拟音：杨来祥
剪辑：朱小勤、李媛媛
资料：李瑟璠
化妆造型：王希忠、范青山
化妆：刘舟、杜永秀、徐广瑞、刘长征、高兰英、王素娟
头饰：杜永秀、王桂荣
服装设计：夏亚一、赵茹华、张璇、洪军、丁梅仙
服装：刘惠萍、姜锦明
道具：杨允铭
置景：蕭宏、英广庆、崔秀荣、刘锡安、郭在斌
绘景：张裕
副摄影：李建新
照明：倪宗泽、秦效军
特技摄影：金燕茜、李再春
特效：徐
副导演：王云霞、赵建军
制片：刘运昌、蔡金华、张建军、周晓峰
作曲：王酩
指挥：胡炳旭
演奏：中央乐团、中央音乐学院试验乐团
独唱：文华
导演：谢铁骊、趙元
演员表

| --- | --- |
 贾宝玉：夏钦（反串）（配音：李梓）  林黛玉：陶慧敏（配音：田洪涛）  薛宝钗：傅艺伟  王熙凤：刘晓庆  贾母：林默予  贾赦：周志宇  邢夫人：宫景华  贾政：章  王夫人：王敏宜  李纨：邢红  贾元春：李秀明  贾迎春：杨世华  贾探春：季艷梅、曾丹  贾惜春：薛麗娜、丁岚  贾琏：王光权、姬麒麟  贾环：张宇、甜甜  贾珍：石冼  尤氏：陈祖荣  贾敬：王振荣  贾蓉：章健  秦可卿：何晴  贾兰：范永瀚  贾瑞：闪增宏  史湘云：马晓晴  妙玉：何赛飞  赵姨娘：张葆秋  薛姨妈：袁玫  薛蟠：林小解  夏金桂：范卫华  薛蝌：王斑  薛宝琴：马春慧  邢岫煙：程榮  鸳鸯：许志群  平儿：倪雪华  袭人：邢金莎、张蕾  晴雯：李勇勇  麝月：俞红菲  琥珀：李伊  雪雁：齊紅  香菱：童欣  紫鹃：关炜、陈红  :  鶯兒：王菁菁  金钏：金文蓓  司棋：张鸣鸣  芳官：馬麗娜  小紅：宋京姣  墜兒：吳春蓮  秋桐：荣蓉  茗烟：李伟健  周瑞家的：王云霞  王善保家的：樊淑棣  吳新登家的：王延祜  夏婆子：李明珠  傻大姐：閔英  趙嬷嬷：黃素影  李嬷嬷：李健  善姐：田濱  彩明：蘇可  寶蟾：王玲  焦大：李翔  刘姥姥：赵丽蓉  静虚：金淑媛  乌进孝：绍康  襲人母親：白銘  張道士：管宗祥  灯姑娘：周雅庆  夏金桂母：楊玉天  北靜王：王衛  忠順王：傅祖成  忠順王長史：段煉  趙堂官：邵萬林  馮紫英：黃實  蒋玉菡：徐守莉  柳湘莲：王勇  尤老娘：凌元  尤二姐：陈虹  尤三姐：李玲玉  癩頭和尚：李雨農  跛足道人：金風  贾雨村：李法曾  門子：周舟  警幻仙子：马盛君
獎項

| 获奖与提名> 评奖名称 | 获奖与提名> 奖项 | 获奖与提名> 获得者 | 获奖与提名> 结果 |
| --- | --- | --- | --- |
| 第10屆中國電影金雞奖 | 最佳導演 | 謝鐵驪、趙元 | 獲獎 |
第10屆中國電影金雞奖: 
| 第10屆中國電影金雞奖 | 最佳女配角 | 林默予 | 獲獎 |
第10屆中國電影金雞奖: 
| 第10屆中國電影金雞奖 | 最佳服裝造型 | 夏亞一、丁梅先、姜錦明、趙茹華、張璇、洪軍、劉惠萍 | 獲獎 |

| 最佳化妝 | 王希鐘、范青山、劉丹、杜永秀、徐廣瑞 | 提名 |  |

| 最佳道具 | 楊允銘 | 提名 |  |
黛玉葬花
美拉尼西亞語

在語言學中，美拉尼西亞語是一個過時的術語，指的是分布於美拉尼西亞的南島語：涵蓋所有不屬於玻里尼西亞語和密克羅尼西亞語的南島語，包含一些非大洋洲語族的東部或中部馬來-玻里尼西亞語族語言。1970左右的南島語分類研究大致如下：
台灣南島語（北部）
西部馬來-玻里尼西亞語族
東部馬來-玻里尼西亞語族
美拉尼西亞語（包括斐濟語）
密克羅尼西亞語
玻里尼西亞語
現在普遍知道，「美拉尼西亞語」並不構成一個系譜學中的演化分支，而是並系群，甚或是多系群的；如同巴布亞諸語言，僅為方便性術語，使用時最好以引號標註。 雖然最初的分類方式更偏向種族性的劃分，而非語言學上的演化分支，美拉尼西亞的南島語與其他中-東部馬來-玻里尼西亞語族語言均受到巴布亞諸語言長期影響，在類型學上十分相近。
美拉尼西亞諸語言

大多數的美拉尼西亞語言屬於南島語族，或是屬於巴布亞諸語言眾多語族中的一支。據統計，美拉尼西亞有1319種語言，分散於有限的地理區域。比例約為每平方公里就有716種語言，是目前世界上語言密度最高的，幾乎是奈及利亞（同為語言密度極高的國家）的三倍。
除了大量的原住民語言之外，美拉尼西亞也有許多皮欽語及克里奧爾語。較為常提及的語言有如巴布亞皮欽語、希里摩圖語、索羅門皮京語、比斯拉馬語和巴布亞馬來語。
參考文獻

↑  Merritt Ruhlen, 1991, A Guide to the World's Languages, p 165
↑  As for example in The Austronesians: Historical and Comparative Perspectives (eds. Bellwood, Fox, & Tryon, 1995)
↑  Mark Donohue, 2007. The Papuan language of Tambora （页面存档备份，存于）. Oceanic Linguistics 46(2):520–537.
↑  M. Lynn Landweer and Peter Unseth. 2012. An introduction to language use in Melanesia. International Journal of the Sociology of Language 214:1-3.
格拉瓦塔伊

格拉瓦塔伊
格拉瓦塔伊（葡萄牙語：）是巴西的城市，位於該國南部，由南里奧格蘭德州負責管轄，面積463.5平方公里，海拔高度26米，受亞熱帶氣候影響，主要經濟活動是製造業，2010年人口255,762。
參見

南大河州市鎮列表
外部連結

Gravataí Mayor's Office （页面存档备份，存于） (in Portuguese)
Sogil: Gravataí's Intercity bus system and schedule （页面存档备份，存于） (in Portuguese)
29°56′S 50°59′W﻿ / ﻿29.933°S 50.983°W﻿ / -29.933; -50.983
登封老君洞

| 登封老君洞 |
| --- | --- |

河南省文物保护单位
地址: 河南省登封市
分类: 古建筑
时代: 唐、明、清
编号: 第四批第34项
认定时间: 2006年
登封老君洞位于中华人民共和国河南省登封市北太室山南麓、逍遥谷北面十八隈下面的山梁上，始建于唐朝，现存建筑多为明、清以后修建。2006年6月8日，河南省人民政府公布其为第四批河南省文物保护单位。
历史

老君洞为唐朝初年的隐逸居士潘师正开凿，后人在洞内供有老君塑像，因而得名。又因洞形如鸡卵，有“鸡卵洞”别称。唐朝以后，在老君洞周围陆续增修了一所道院，分为中院、东院和西院，房舍100余间。1984年进行大规模翻修，形成东西两个院落。