stanford-oval/wikipedia huggingface dataset:
福海街道 (昆明市)
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
石生耳蕨

| 石生耳蕨 |
| --- | --- |

科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
纲：: 真蕨綱 Polypodiopsida
目：: 水龍骨目 Polypodiales
科：: 鳞毛蕨科 Dryopteridaceae
属：: 耳蕨属 Polystichum
种：: 石生耳蕨 Polystichum
二名法
Polystichum Ching ex H. S. Kung et L. B. Zhang

石生耳蕨（学名：），为鳞毛蕨科耳蕨属下的一个植物种。
参考资料

↑  . 中国植物物种信息数据库.   [2013-01-15].
獅頭獸屬

| 狮头兽属 化石时期：二疊紀晚期吳家坪階  PreЄ Є O S D C P T J K Pg N  ▼   |
| --- | --- |


科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 合弓綱 Synapsida
演化支：: 獸孔類 Therapsida
科：: †丽齿兽科 Gorgonopsidae
属：: †狮头兽属 Leontocephalus Broom, 1940

模式種
Leontocephalus cadlei Broom, 1940
種
 L. cadlei Broom, 1940  L. haughtoni (von Huene, 1950)  L. intactus Kemp, 1969  L. rubidgi (Broom, 1940)
異名
 布魯姆龍獸 Broomisaurus Broom, 1940
獅頭獸屬（學名：Leontocephalus）是已滅絕合弓綱的一屬，屬於獸孔目的麗齒獸亞目，化石發現於南非，地質年代為二疊紀晚期的吳家坪階。
獅頭獸是在1940年由羅伯特·布魯姆（Robert Broom）所敘述、命名。在1980年由羅伯特·卡羅爾（Robert L. Carroll）歸類於麗齒獸類。獅頭獸目前有四個種，包含：L. cadlei、L. haughtoni、L. intactus、以及L. rubidgi。獅頭獸是種大型掠食動物，身長可達1.75公尺。研究人員根據頭顱骨的磨損痕跡推測，獅頭獸能夠將上下頜張開到約90度角。在2007年的一份研究，將獅頭獸的四個種都改歸類於Sycosaurus。如果這個分類成立，獅頭獸將成為Sycosaurus的一個次異名。
參考資料

1 2  Gebauer, E.V.I.  (PDF) (Ph.D.论文). Tübingen: Eberhard-Karls Universität Tübingen: 1–316. 2007  [2012-05-11]. （原始内容存档 (PDF)于2012-07-22）.
↑  http://tech.groups.yahoo.com/group/bmorefossilhunter/message/1969
↑  The Origin and Evolution of Mammals, Page 53. By Tom Kemp; published 2005 Oxford University Press. ISBN 0198507615 Retrieved on June 23rd, 2008.
麗齒獸亞目的各屬簡介 （页面存档备份，存于）
paleodb.org （页面存档备份，存于）
www.alexfreeman.co.uk
www.paleofile.com - Alphabetical list, Section L （页面存档备份，存于）
adsabs.harvard.edu （页面存档备份，存于）
有賀由衣

| 有賀由衣>  |
| --- | --- |
原文名: 
国籍:  日本
出生: 12月1日
出身地:  日本東京都
所属: 自由職業
活动
活動時期: 1998年－
代表作: 美邦（香格里拉） 社長〈黑樹繰美〉（R-15） 愛琳娜·哈爾特根（棺姬嘉依卡 AVENGING BATTLE）

日語寫法
日語原文: 
假名: 
平文式罗马字: 
 
：模板 | 分类
有賀由衣（日语：，12月1日—），日本女性配音員。出身於東京都。現在是自由身。勝田聲優學院（日语：）第18期畢業，以前經歷Mausu Promotion附屬培訓學校、Production Ace（2005年加入，2008年7月1日從TRIAL PRODUCTION改名，2018年9月30日離所）。
2009年以《香格里拉》第一次飾演要角。
演出作品

※粗體字表示說明飾演的主要角色。
演出作品 > 電視動畫

校園烏托邦 學美向前衝！（學生）
香格里拉（美邦）
R-15（社長〈黑樹繰美〉）
學生會的一存 Lv.2（女性店員2）
棺姬嘉依卡 AVENGING BATTLE（愛琳娜·哈爾特根）
演出作品 > OVA

超機動傳說Dinagiga（日语：）（遠野光的哥哥）
R-15（部長）
演出作品 > 遊戲

解決！奧撒芭琪娜
R-15 攜帶版（社長〈黑樹繰美〉）
演出作品 > 外語配音 > 電影／電視影集

| 作品年份 | 作品名稱 | 配演角色 | 演員 | 媒介 |
| --- | --- | --- | --- | --- |
| 1992 | 弓箭手的呆子（英语：） | － | － | DVD版本 |
| 1998 | 只有云彩讓星星動（英语：） | － | － | DVD版本 |
| 1999 | 亞曼達秀（英语：） | 凱莉 | － |  |
| 2002 | 奇異果女孩 (第3季) | 珍妮佛 | － | Netflix頻道 |
| 2003 | 夏日香氣 | － | － | TBS版 |
| 2003 | 反恐特警組 | 操作員 | － | － |
| 2003 | 重返犯罪現場 | 崔西 | － | 東京電視台版／DVD收錄 |
| 2004 | 魔鬼獵頭公司 | 艾莉遜·濟慈 | 孔奇塔·坎貝爾（英语：） | DVD版本 |
| 2005 | 男人兩個半 (第3、4季) | 康迪 | 艾波兒·鮑比 | Super！drama TV（日语：）頻道 |
| 2006 | 狙擊封鎖線（英语：） | 克莉絲汀娜 | － | － |
| 2006 | 牛頭人（英语：） | 薇娜 | 費歐娜·馬克萊 | DVD版本 |
| 2006 | 豪斯醫生 (第3季) | 露西 | 拜莉·麥迪遜（英语：） | Dlife（日语：）頻道 |
| 2007 | 鐵證懸案 (第5季) | 凱莉·克萊墨〈1989年〉 | 喬莉·卡特（英语：） | WOWOW版 |
| 2008 | 新飛越比佛利 | 達琳 | 桑妮雅・洛克威爾 | NHK教育版 |
| 2009 | 超人前傳 (第8季) | LiveWire | － | DVD版本 |
| 2009 | 辣妹我愛你（英语：） | 帕蒂·凱克 | 安娜·梅·羅特烈治（英语：） | DVD版本 |
| 2009 | 少年魔法師：電影版（英语：） | 哈波·芬克爾 | 珍妮佛·史頓（英语：） | BD&DVD版本 |
| 2009 | 奪魂鋸6 | 艾蜜莉 | 洛麗莎·戈麥斯 | DVD版本 |
| 2010 | 辣妹愛宅男 | － | － | DVD版本 |
| 2010 | 扭轉時光機 | － | － | BD&DVD版本 |
| 2010 | 我的女友是九尾狐 | 潘仙女 | 孝敏 | TBS版 |
演出作品 > 外語配音 > 動畫

Aqua Kids（英语：）（）
親親麻吉（貝瑞、巴莉）
（莫莉）
演出作品 > 廣播劇CD

魔法禁書目錄紀錄（日语：） 4卷（護士1）
演出作品 > 舞台

第2回公演「」（2004年）－
STONEψWINGS 第7回公演「」（2006年）－諾拉〈主演〉
演出作品 > 廣播節目

香格里拉 koeLabo直接了當電台!!（koe Labo（日语：）：2009年7月－9月）
演出作品 > 其它

強襲魔女2（PV旁白）
腳註 > 注釋

↑  小說第10冊附贈DVD。
↑  播出時間待查。
腳註 > 參考來源

1 2 3 4  . 有賀由衣的官方個人網站.   [2020-03-31] （日语）.
↑  . R-15 攜帶版.   [2011-09-03]. （原始内容存档于2013-06-16） （日语）.
外部連結

（日語）－有賀由衣的官方個人部落格。
有賀由衣的X（前Twitter）帳戶 （日語）
有賀由衣 Official Website （页面存档备份，存于） （日語）－有賀由衣的官方個人網站。
獅頭毒鮋屬

| 狮头鲉属 |
| --- | --- |

狮头鲉

科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 鮋形目 Scorpaeniformes
科：: 毒鲉科 Synanceiidae
属：: 狮头鲉属 Erosa Swainson, 1839

獅頭毒鮋屬，為輻鰭魚綱鮋形目鮋亞目毒鮋科的其中一屬。
下属物种

獅頭毒鮋(Erosa erosa)：又稱達摩毒鮋、狮头鲉。
扩展阅读

維基物種上的相關：獅頭毒鮋屬
辐角

「」至此。關於將真實世界當作平台的實境遊戲，請見「」。
数学中，複數的辐角是指复数在复平面上对应的向量和正向实数轴所成的有向角。复数的辐角值可以是一切实数，但由于相差 360^{\circ }（即弧度 2\pi ）的辐角在实际应用中没有差别，所以定义复数的辐角主值为辐角模 360^{\circ }（ 2\pi ）后的余数，定义取值范围在 0^{\circ }到 360^{\circ }（ 2\pi ）之间。复数的辐角是复数的重要性质，在不少理论中都有重要作用。
定义

设有非零复数 z\in \mathbb {C} \setminus \{0\}，记作 z=x+yi，其中的 x和 y为实数，那么复数 z的辐角 \varphi 指的是使下列等式：
成立的任何实数 \varphi 。直观上来说，假设非零复数 z在复平面 O_{xy}中对应的向量是 {\overrightarrow {OP}}（右图蓝色向量），那么它的辐角是所有能够描述正实数轴到 {\overrightarrow {OP}}的转角的有向角。其中有向角的正方向规定为逆时针方向。图中可以看出，相差 2\pi 的倍数的角都可以是辐角。这个性质也可以从三角函数 \cos 和 \sin 是以 2\pi 为周期的周期函数中推导出来。
只有非零复数才有辐角，复数 0的辐角是没有定义的。
辐角主值

同一个复数的辐角有无穷多个，以集合表示为 \{\varphi +2k\pi \,|\,k\in \mathbb {Z} \}，而对于所有 \varphi _{k}=\varphi +2k\pi ， \cos \varphi _{k}+i\sin \varphi _{k}都相同，所以实际只需要以其中一个辐角为代表，此辐角称为辐角主值或主辐角，记作 \operatorname {Arg} (z)。一般约定使用区间 (-\pi ,\pi ]中的值作为辐角主值（也有另一种常见的约定是以区间 [0,2\pi )中的值作为辐角主值）。如果复数的辐角主值是 \operatorname {Arg} (z)，那么它的所有辐角值就是：
注意：也有書籍記載的  \arg(z) 和  \operatorname {Arg} (z) 定義是倒轉的。
辐角的计算

给定一个形如 z=x+yi的非零复数，辐角主值 \operatorname {Arg} (z)是将它映射到区间 (-\pi ,\pi ]中的函数。辐角主值函数可以用反三角函数来描述：
或者配合半角公式：
性质

复数 z的一个辐角 \varphi \in \arg(z)和绝对值 |z|可以用来组成复数的极坐标形式：
在极坐标形式下计算，可以得到复数乘积和商的辐角的规律：
于是对复数幂次的辐角也有：
复数的共轭的辐角则满足：
参考来源

Ahlfors, Lars.  3rd. New York, London: McGraw-Hill. 1979. ISBN 0-07-000657-1.
Beardon, Alan. . Chichester: Wiley. 1979. ISBN 0-471-99671-8.
Borowski, Ephraim; Borwein, Jonathan. . Collins Dictionary 2nd. Glasgow: HarperCollins. 2002 [1st ed. 1989 as Dictionary of Mathematics]. ISBN 0-00-710295-X.
复数辐角的直观示意图
苏瓦瓦

| 苏瓦瓦 Suwawa |
| --- | --- |
城镇
苏瓦瓦苏瓦瓦在苏拉威西的位置
坐标：0°30′N 123°06′E﻿ / ﻿0.5°N 123.1°E﻿ / 0.5; 123.1
国家: 印度尼西亚
省: 哥伦打洛省
县: 波尼波朗戈县
人口（2010）
 • 總計: 10,688人
时区: 印尼中部时间（UTC+8）
苏瓦瓦（Suwawa）也叫图瓦瓦（Tuwawa）是印度尼西亚哥伦打洛省的一个城镇，是波尼波朗戈县的县治所在，位于苏拉威西岛米纳哈萨半岛中部，西距省首府哥伦打洛10公里，是哥伦打洛的一个卫星城镇。2010年统计，苏瓦瓦所在的苏瓦瓦区（Kecamatan Tilamuta）共有10,688人。
资料来源

↑  Biro Pusat Statistik, Jakarta, 2011.
蘇爾區

33°16′23″N 35°13′01″E﻿ / ﻿33.2731°N 35.2169°E﻿ / 33.2731; 35.2169
蘇爾區（阿拉伯语：‎）是黎巴嫩南部省的區份，位於該國西南部，首府設於苏尔，面積273平方公里，2008年人口138,348，人口密度每平方公里507人。
參考資料

Tyre District （页面存档备份，存于）
马西莫·安布罗西尼

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 
個人
全名:  Massimo Ambrosini
出生日期:   (1977-05-29) 1977年5月29日（47歲）
出生地點:   義大利佩薩羅
身高:  
位置:  防守中场
青年隊
:  切塞纳
職業*
| 年份 |  球隊 |  （） |   |
| 1994–1995 1995–2013 1997–1998 2013–2014 |  切塞纳 AC米蘭  →維琴察 (外借) 費倫天拿 |   025 0(1) 344 (29) 027 0(1) 0210(0)  |   |
| 總計 |   |  417 |  (31) |
‡
| 1995–1999 1999–2008 |  意大利 U21   意大利 |  018 0(1)   035 0(0)    |   |
 * 職業次數與數僅計算國內聯賽部份 最後更新於：2014年7月13日 ‡ 次數和數 最後更新於：2008年6月22日
马西莫·安布罗西尼（義大利語：，1977年5月29日—），前意大利足球員，司职中場，最後效力于意大利球會費倫天拿。現於一間電視台做解说员。
生平 > 球會 > 切塞纳

1994年时，年仅17岁的安布罗西尼在意大利足球乙级联赛中为母队切塞纳首次登场，之后一年他就被AC米兰的金牌教练卡佩罗相中签下。
生平 > 球會 > AC米蘭

在 1995 年，只有 18 歲岩布仙尼已在意大利球壇嶄露頭角，司職防守中場的他，主要是負責在中場掃蕩的工作，因此得到不少意甲球會注意。結果當時執教AC米蘭的教練卡比路成功將他帶到米蘭市。他自 1995 年起已是效力AC米蘭，是陣中其中一位長期效力的球員。在 1997 - 98 年球季，岩布仙尼被外借到維琴察，他在這段外借期間成為了維琴察的重要一員，證明自己足以在意甲的強隊中效力。一季後他被AC米蘭回收，在沙哲朗尼執教下取得不少上陣機會，結果他協助AC米蘭奪得 1998 - 99 年意甲冠軍。
可是，岩布仙尼其後卻經常受傷患影響表現，更令他的上陣機會減少。在2003 - 04 賽季，他已不是AC米蘭常規的 11 人陣容中，岩布仙尼只踢了 20 場意甲賽事，當中更大多是以後備入替為多，但他在作客拉素的比賽中一箭定江山，AC米蘭最後亦重奪失落了 5 年的意甲聯賽冠軍。之後的一個球季，岩布仙尼只上陣過 22 意甲比賽，不過他在歐聯 4 強AC米蘭對PSV的比賽取得入球，並打入決賽。不過，岩布仙尼錯過了對利物浦的歐聯決賽，AC米蘭最終互射 12 碼階段落敗。2005 年 3月，他與AC米蘭續約到 2008 年的夏天。
在2005 - 06年的球季，他又經歷了一連串的受傷，只曾上真過 13 場意甲比賽，使他落選意大利國家隊，不能為參加 2006 年夏天舉行的世界盃。在2006 - 07 年，岩布仙尼終於克服傷患。他在季初時並不是球隊的主力，但他把握著有限的上陣機會，以表演來取悅領隊安察洛堤，重新被納入到AC米蘭的主力陣容中。此外，在隊長馬甸尼的缺陣下，岩布仙尼在大部分上陣的比賽中均戴上隊長臂章。在AC米蘭對德國的拜仁慕尼黑和英超的曼聯在歐冠盃的四場比賽中表現優異，盡顯他在球場上的視野和領導能力。AC米蘭在決賽中以 2-1 擊敗利物浦，成功報回兩年前互射 12 碼落敗一辱。由於缺乏正選上陣的機會，令岩布仙尼一度打算轉投費倫天拿，但他在踏入 2007 年後重新得到重用，令他改變主意，並重申會完成與AC米蘭的合約，到2010 年夏天。
在2009年，馬甸尼退休之後，中場岩布仙尼將成為球隊的新隊長，有趣的是，岩布仙尼聲稱他可能不會每次都擔任球隊隊長，領導全隊的責任可能會被隊中的幾位老隊員所分享。
2012年夏天，岩布仙尼與AC米蘭續約一年，他的合同在該賽季後結束，紅黑高層不會與他續約。
生平 > 球會 > 費倫天拿

2013年岩布仙尼與費倫天拿簽了一年合約，但季後合約並沒有延長。
生平 > 國家隊

岩布仙尼一度是意大利國家隊的主力，他代表過國家隊出戰2000年歐洲國家盃，並取得賽事的亞軍。然而自他的AC米蘭的隊友加度素、派路、羅馬的柏路達等中場球員相繼入選後，加以他本身的伤病影響，岩布仙尼變成國家隊的邊緣球員。
2006 年世界盃後，意大利國家隊改由AC米蘭名宿鄧納東尼執教，岩布仙尼得到較多入選機會。
榮譽

意大利共和國騎士勳章
—7月12日 2000年. 奧斯卡·路易吉·斯卡爾法羅 意大利總統.
意甲：1996,1999,2004,2011
意大利盃：2003
意大利超級盃：2004,2011
歐冠：2003,2007
歐洲超級盃：2003,2007
世俱杯: 2007
歐洲國家盃亞軍：2000年
趣聞軼事

2004年5月意甲AC米蘭訪港，香港的亞洲電視邀請AC米蘭球員出席其台慶節目。岩布仙尼的生日剛好與台慶一樣，司儀朱慧珊便以廣東話邀請岩布仙尼唱生日歌，並以英文叫他開始唱。岩布仙尼一臉尷尬，唱出「Happy Birthday to me」。這個片段到現在都為香港人所傳頌。
参考资料

↑  ACMILAN.COM 的存檔，存档日期2010-10-08.
↑  quirinale.it (编). .   [09-01-2010]. （原始内容存档于2015-09-24）.  请检查|access-date=中的日期值 (帮助)
↑  . Youtube.   [2022-05-24]. （原始内容存档于2022-05-24）.
意大利共和國騎士勳章 - nastrino per uniforme ordinaria
安东尼·达米科

| 安东尼·达米科 |
| --- | --- |
《辛普森一家》角色
配音: 乔·曼特纳（英语：）

性別: 男性
職業: 春田镇黑手党头目
親屬: 妻子： 安娜·玛利亚（已故）  儿子： 迈克尔   堂兄： Fit Tony
首次亮相
辛普森一家: “Bart the Murderer（英语：）”
安东尼“肥托尼”·达米科（英語：）是美国动画片《辛普森一家》中的角色。他由乔·曼特纳（英语：）配音，并首次出现在剧集“Bart the Murderer（英语：）”（第三季（英语：））中。 肥托尼是春田镇黑手党的老大，他的手下有：路易、约翰尼、莱德斯，而他的上司是唐·维托利奥·迪马乔。
参考资料

↑  Jean, Al (2003). Commentary for "Bart the Murderer（英语：）", in The Simpsons: The Complete Third Season [DVD]. 20th Century Fox.
朱寨镇 (沛县)

| 朱寨镇 |
| --- | --- |
镇
坐标：34°45′38″N 116°49′08″E﻿ / ﻿34.76066°N 116.8188°E﻿ / 34.76066; 116.8188
国家:  中华人民共和国
上级行政区: 沛县
村级区划单位数:  22 2社区 20行政村 
时区: 北京时间（UTC+8）
行政区划代码: 32 03 22 114
电话区号: +86 
朱寨镇，是中华人民共和国江苏省徐州市沛县下辖的一个乡镇级行政单位。
行政区划

朱寨镇下辖以下地区：
朱寨社区、​闫集社区、​张楼村、​王楼村、​朱集村、​杏花村、​梅村、​蔡小楼村、​燕牌坊村、​朱岗村、​蔡村、​邵庙村、​甄楼村、​燕庙村、​马园村、​黄庄村、​罗庵子村、​蔡楼村、​暗楼村、​黄井村、​甄庙村和闫寨村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
第1方面軍 (日本陸軍)

| 第1方面軍 |
| --- | --- |

存在時期: 1942年－1945年
國家或地區:  大日本帝国
軍種:  大日本帝国陸軍
駐地:  滿洲國
別稱: 鋭
參與戰役: 第二次世界大戰蘇日戰爭
| 日語寫法 |
| --- | --- |
日語原文: 
假名: 
平文式罗马字: 
第1方面軍為昭和17年（1942年）設置之方面軍。隸屬於關東軍，主要之作戰地域在滿洲方面。投降時駐在敦化。此為「第一方面軍」。
概要

通稱號：鋭
編成時期：昭和17年7月4日
最終位置：中國・敦化
上級部隊：關東軍
歷代司令官

山下奉文中將：昭和17年7月1日 - 昭和19年9月26日
喜多誠一中將：昭和19年9月26日 - 投降
歷代參謀長

綾部橘樹少將：昭和17年7月4日 - 昭和17年12月7日
四手井綱正少將：昭和17年12月7日 - 昭和19年10月16日
寺垣忠雄少將：昭和19年10月26日 - 昭和20年4月1日
桜井鐐三少將：昭和20年4月1日 - 投降
歷代參謀長 > 參謀副長

坂間訓一少將：昭和20年8月9日 - 投降
投降時之隸屬部隊

第3軍
第5軍
第122師團
第134師團
第139師團
關連項目

大日本帝國陸軍師團列表
第20軍
第2方面軍
參考文獻

秦郁彦編『日本陸海軍總合事典』第2版、東京大學出版會、2005年。
外山操・森松俊夫編著『帝国陸軍編制總覽』芙蓉書房出版、1987年。
外部連結

Wendel, Marcus. . Japanese First Area Army(第1方面軍(日本軍)).   [2008-03-08]. （原始内容存档于2021-03-09）.
帝國陸軍～その制度と人事～
日本陸海軍事典
蕴涵命题演算

在数理逻辑中，蕴涵命题演算是只使用叫做蕴涵或条件的一个连结词的经典(二值)命题演算。用公式表达，这个二元运算被指示为“implies”
“如果 ..., 则 ...”, “→”, “ \rightarrow \!”等等。
作为算子的实质完备性

单独的蕴涵作为逻辑算子不是完备的，因为不能用它形成所有其他二值真值函数。但是如果有已知为假的一个命题并作为给虚假的零元连结词那样使用它，则可以定义所有其他真值函数。所以蕴涵作为算子实质上是完备的。如果 P,Q 和 F 是命题而 F 已知为假，则:
¬P 等价于 P→F
P∧Q 等价于 (P→(Q→F))→F
P∨Q 等价于 (P→F)→Q
P↔Q 等价于 ((P→Q)→((Q→P)→F))→F
更一般的说，因为上述算子对表达任何真值函数是充分的，可以得出任何真值函数都依据“→”和“F”来表达，如果有一个命题 F 已知为假。
公理

公理模式 1 是 P→(H→P)。
公理模式 2 是 (H→(P→Q))→((H→P)→(H→Q))。
公理模式 3 (皮尔士定律)是 ((P→Q)→P)→P。
唯一的推理规则(肯定前件)是: 从 P 和 P→Q 推出 Q。
在这里每个情况下，P, Q, H 可以被替代为只包含“→”作为连结词的任何命题。
演绎元定理

首要任务是使用公理 1, 2 和肯定前件导出演绎元定理。
我们开始于证明一个定理模式(这里的 A 和 B 可替代为只包含“→”作为连结词的任何命题):
(A→((B→A)→A))→((A→(B→A))→(A→A)) 1. 公理 2
A→((B→A)→A) 2. 公理 1
(A→(B→A))→(A→A) 3. 肯定前件 2,1
A→(B→A) 4. 公理 1
A→A 5. 肯定前件 4,3 QED
后续过程详见演绎定理。
取代虚假

如果 A 和 Z 是命题，则 A→Z 等价于 (¬A*)∨Z，这里的 A* 是把 A 中 Z 的所有、某个或零个出现替代为虚假的结果。类似的，(A→Z)→Z 等价于 A*∨Z。所以在某些条件下，它们可以分别作为表说 A* 为假或 A* 为真的替代品。
公理的完备性，第一部分

我们将看到这些公理在任何只包含“→”作为连结词的重言式都可用从它们演绎出的意义上。考虑只包含 P1, P2, ..., Pn 作为原子命题(命题变量)的重言式 S。
在真值表中选择一行给 S。它展示了对一个特定賦值(从命题变量到 {假, 真} 的函数)每个 S 的子公式的真值。通过在子公式长度上的数学归纳法，我们将证实从形如 Pk→Z (在 Pk 被给予值假的时候)或(Pk→Z)→Z (在 Pk 被给予值真的时候)的命题，可以为每个 S 的子公式演绎出类似的命题。这需要下面给出的三个引理。
公理的完备性，第一部分 > 真结论的引理

考虑 S 的子公式 P→Q。如果 Q 被賦值给予值真，则 P→Q 也将被给予值真。所以我们需要证实 ((P→Q)→Z)→Z 可以证明自关于这个賦值的假定。
(Q→Z)→Z 1. 假设
(P→Q)→Z 2. 假设
Q 3. 假设
P 4. 假设
Q 5. 重复 3
P→Q 6. 演绎自 4 到 5
Z 7. 肯定前件 6,2
Q→Z 8. 演绎自 3 到 7
Z 9. 肯定前件 8,1
((P→Q)→Z)→Z 10. 演绎自 2 到 9
((Q→Z)→Z)→(((P→Q)→Z)→Z) 11. 演绎自 1 到 10 QED
公理的完备性，第一部分 > 假前提的引理

如果 P 被賦值给予值假，则 P→Q 将给给予值真。所以我们需要证实 ((P→Q)→Z)→Z 可以证明自关于这个賦值的假定。
P→Z 1. 假设
(P→Q)→Z 2. 假设
Z→Q 3. 假设
P 4. 假设
Z 5. 肯定前件使用步骤 4 和 1
Q 6. 肯定前件使用步骤 5 和 3
P→Q 7. 演绎自 4 到 6
Z 8. 肯定前件使用步骤 7 和 2
(Z→Q)→Z 9. 演绎自 3 到 8
((Z→Q)→Z)→Z 10. 皮尔士定律
Z 11. 肯定前件使用步骤 9 和 10
((P→Q)→Z)→Z 12. 演绎自 2 到 11
(P→Z)→((P→Q)→Z)→Z) 13. 演绎自 1 到 12 QED
公理的完备性，第一部分 > 真前提和假结论的引理

如果 P 被賦值给予值真而 Q 被给予值假，则 P→Q 将被给予值假。所以我们需要证明 (P→Q)→Z 可以证明自关于这个賦值的假定。
(P→Z)→Z 1. 假设
Q→Z 2. 假设
P→Q 3. 假设
P 4. 假设
Q 5. 肯定前件 4,3
Z 6. 肯定前件 5,2
P→Z 7. 演绎自 4 到 6
Z 8. 肯定前件 7,1
(P→Q)→Z 9. 演绎自 3 到 8
(Q→Z)→((P→Q)→Z) 10. 演绎自 2 到 9
((P→Z)→Z)→[(Q→Z)→((P→Q)→Z)] 11. 演绎自 1 到 10 QED
公理的完备性，第二部分

在完备性证明的第一部分，我们证实了假定关于命题变量的适当假设，(S→Z)→Z 可以证明自重言式 S 每个賦值。现在我们将把这些賦值合并起来并除去关于命题变量的假定。
考虑仍未从假定中除去的命题变量中的一个，比如它是 P。则使用演绎元定理，我们得到 (P→Z)→((S→Z)→Z) 并且类似的我们得到 ((P→Z)→Z)→((S→Z)→Z)，二者都从 P 不出现的假定的简约集合中得出。
(P→Z)→((S→Z)→Z) 1. 假设
((P→Z)→Z)→((S→Z)→Z) 2. 假设
S→Z 3. 假设
P→Z 4. 假设
(S→Z)→Z 5. 肯定前件 4,1
Z 6. 肯定前件 3,5
(P→Z)→Z 7. 演绎自 4 到 6
(S→Z)→Z 8. 肯定前件 7,2
Z 9. 肯定前件 3,8
(S→Z)→Z 10. 演绎自 3 到 9
[((P→Z)→Z)→((S→Z)→Z)]→[(S→Z)→Z] 11. 演绎自 2 到 10
[(P→Z)→((S→Z)→Z)]→([((P→Z)→Z)→((S→Z)→Z)]→[(S→Z)→Z]) 12. 演绎自 1 到 11 QED
所以我们可以组合成对的真值表的行到一起并重复这个过程直到关于命题变量的值的假定都被除去了。结果将是我们已经证明了 (S→Z)→Z，这里的 S 是重言式而 Z 是任何命题。现在我们选择 Z 一样于 S。因此 (S→S)→S 是个定理只要 S 是重言式。但是 S→S 是我们早先证明的定理模式的一个实例。所以通过肯定前件 S 是对于任何重言式 S 的一个定理。我们的公理是完备的。
这个证明是构造性的。就是说给定一个重言式，我们可以服从指导并从我们的公理建立它的一个证明。但是，这种证明的长度随着重言式中命题变量的数目呈超指数增长。所以除了对非常短的重言式之外它不是实用性的方法。
在完备性定理中的排中律

有趣的是排中律(皮尔士定理形式的公理 3)只在我们的完备性证明中出现了一次。
相反的，Mendelson 命题逻辑的完备性证明在很多地方使用了排中律，特别是在把真值表的行合并在一起来除去命题变量依赖的步骤中。他使用了他的第三个公理 (¬A→¬B)→((¬A→B)→A) 来推导 (A→B)→((¬A→B)→B)，它接着被用来合并真值表的行到一起。
引用

Mendelson, Elliot (1997) Introduction to Mathematical Logic, 4th ed. （页面存档备份，存于） London: Chapman & Hall.
鬧鐘新聞

| 鬧鐘新聞  |
| --- | --- |
类型: 新聞節目
国家／地区:  日本
语言: 日語
每集长度: 85分鐘
制作
制作公司: 富士電視台
播出 
首播频道: FNN
播出日期: 2003年10月1日—2014年3月28日
 
相关节目
续作: 鬧鐘電視AQUA

官方网站
《鬧鐘新聞》（日语：，MEZA NEWS）是日本富士電視台及其聯播網（FNN）周一至周六清晨播出的晨間新聞節目，於2003年10月1日開始。是《鬧鐘電視》的姊妹節目，在《鬧鐘電視》之前播出。
最初節目常因為體育比賽直播的影響，開始時間時常變動，當時還以「史上首個！開始時間每日變動的資訊節目」為宣傳口號。現時一般週一至週五4:00-5:25播出85分鐘，週六5:00-5:30播出30分鐘。
2014年3月28日節目完結，由《鬧鐘電視AQUA》接檔。
出演人員 > 主要主持人

| 期間 | 期間 | 首席主持> 週一、週二 | 首席主持> 週三 | 首席主持> 週四、週五 | 首席主持> 週六 | 天氣預報> 週一、週二 | 天氣預報> 週三 | 天氣預報> 週四、週五 | 天氣預報> 週六 | 資訊> 週一、週二 | 資訊> 週三 | 資訊> 週四、週五 | 資訊> 週六 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 2003.10 | 2004.12 | 杉崎美香 | 杉崎美香 | 杉崎美香 | 無播放 | 戶部洋子 | 戶部洋子 | 石本沙織 | 無播放 | （不在） | （不在） | （不在） | （不在） |
| 2005.1 | 2005.9 | 杉崎美香 | 杉崎美香 | 杉崎美香 | 無播放 | 戶部洋子 | 戶部洋子 | 高橋真麻 | 無播放 | （不在） | （不在） | （不在） | （不在） |
| 2005.10 | 2006.9 | 杉崎美香 | 杉崎美香 | 杉崎美香 | 無播放 | 遠藤玲子 | 遠藤玲子 | 高橋真麻 | 無播放 | （不在） | （不在） | （不在） | （不在） |
| 2006.10 | 2007.9 | 杉崎美香 | 杉崎美香 | 杉崎美香 | 杉崎美香 | 遠藤玲子 | 遠藤玲子 | 松尾翠 | 松尾翠 | （不在） | （不在） | （不在） | （不在） |
| 2007.10 | 2008.3 | 杉崎美香 | 杉崎美香 | 杉崎美香 | 松尾翠 | 生野陽子 | 生野陽子 | 松尾翠 | 岩崎千明 | （不在） | （不在） | （不在） | （不在） |
| 2008.4 | 2008.9 | 杉崎美香 | 杉崎美香 | 松尾翠 | 松尾翠 | 生野陽子 | 生野陽子 | 岩崎千明 | 岩崎千明 | （不在） | （不在） | （不在） | （不在） |
| 2008.10 | 2009.3 | 杉崎美香 | 杉崎美香 | 松尾翠 | 松尾翠 | 岩崎千明 | 岩崎千明 | 岩崎千明 | （不在） | 生野陽子 | 生野陽子 | 加藤綾子 | 加藤綾子 |
| 2009.4 | 2009.9 | 杉崎美香 | 杉崎美香 | 松尾翠 | 松尾翠 | 岩崎千明 | 岩崎千明 | 岩崎千明 | （不在） | 宮瀨茉祐子 | 宮瀨茉祐子 | 加藤綾子 | 加藤綾子 |
| 2009.9 | 2010.10 | 杉崎美香 | 杉崎美香 | 加藤綾子 | 廢止 | 山中章子 | 山中章子 | 松村未央 | 廢止 | 椿原慶子 | 岩崎千明 | 岩崎千明 | 廢止 |
| 2010.10 | 2011.3 | 椿原慶子 | 杉崎美香 | 杉崎美香 | 廢止 | 細貝沙羅 | 細貝沙羅 | 山崎夕貴 | 廢止 | 山中章子 | 山中章子 | 松村未央 | 廢止 |
| 2011.4 | 2011.9 | 杉崎美香 | 杉崎美香 | 杉崎美香 | 廢止 | 細貝沙羅 | 細貝沙羅 | 高見侑里 | 廢止 | 山中章子 | 山中章子 | 松村未央 | 廢止 |
| 2011.10 | 2012.3 | 戶部洋子 | 石本沙織 | 石本沙織 | 廢止 | 竹內友佳 | 竹內友佳 | 三田友梨佳 | 廢止 | 山中章子 | 山中章子 | 高見侑里 | 廢止 |
| 2012.4 | 2012.9 | 戶部洋子 | 石本沙織 | 石本沙織 | 廢止 | 三田友梨佳 | 竹內友佳 | 竹內友佳 | 廢止 | 山中章子 | 山中章子 | 高見侑里 | 廢止 |
| 2012.10 | 2013.3 | 戶部洋子 | 戶部洋子 | 松尾翠 | 廢止 | 久代萌美 | 久代萌美 | 色紙千尋 | 廢止 | 高見侑里 | 三田友梨佳 | 竹內友佳 | 廢止 |
| 2013.4 | 2013.9 | 神田愛花 | 神田愛花 | 松尾翠 | 廢止 | 久代萌美 | 久代萌美 | 色紙千尋 | 廢止 | 高見侑里 | 竹內友佳 | 竹內友佳 | 廢止 |
| 2013.10 | 2014.3 | 神田愛花 | 神田愛花 | 遠藤玲子 | 廢止 | 久代萌美 | 三上真奈 | 三上真奈 | 廢止 | 竹內友佳 | 竹內友佳 | 高見侑里 | 廢止 |
出演人員 > 紐約轉播及企劃環節主持人

| 期間 | 期間 | 紐約轉播 | 紐約轉播 |  （週三企劃環節） |
| --- | --- | --- | --- | --- |
| 2003.10 | 2004.8 | 福原直英 | 福原直英 | 無播放 |
| 2004.8 | 2005.3 | 野島卓 | 久下香織子 | 無播放 |
| 2005.4 | 2006.3 | 野島卓 | Crystal Maki | 無播放 |
| 2006.4 | 2007.10 | 野島卓 | 久下香織子 | 無播放 |
| 2007.10 | 2009.9 | 佐野瑞樹 | 久下香織子 | 無播放 |
| 2009.9 | 2010.9 | 佐野瑞樹 | 久下香織子 | 山縣苑子 |
| 2010.10 | 2012.6 | 長谷川豐 | 久下香織子 | 岩崎千明 |
| 2012.6 | 2012.8 | 川端健嗣 | 久下香織子 | 岩崎千明 |
| 2012.8 | 2013.9 | 阿部知代 | 久下香織子 | 岩崎千明 |
| 2013.10 | 2014.3 | 阿部知代 | 久下香織子 | 色紙千尋 |
外部連結

鬧鐘新聞
泰谢拉-迪弗雷塔斯

| 泰谢拉-迪弗雷塔斯 Teixeira de Freitas |
| --- | --- |
市镇
   旗幟 徽章
泰谢拉-迪弗雷塔斯在巴西的位置
坐标：17°32′06″S 39°44′31″W﻿ / ﻿17.535°S 39.7419°W﻿ / -17.535; -39.7419
国家: 巴西
州: 巴伊亚州
面积
 • 总计: 1,153.791 平方公里（445.481 平方英里）
海拔: 18.6 公尺（61.0 英尺）
人口（2009）
 • 總計: 125,430人
 • 密度: 109人/平方公里（282人/平方英里）
泰谢拉-迪弗雷塔斯（葡萄牙语：）是巴西巴伊亚州的一个市镇。总面积1153.791平方公里，总人口125430人，人口密度108.7人/平方公里。
王书文

王书文可以指：
王书文 (山东)，抗日烈士，曾任中共武宝宁联合县工作委员会书记。
王书文 (长子)，山西省长治市武乡县人民政府县长。
王书文 (昌邑)，革命烈士，曾任昌南县大章区中队中队副。
王书文 (天津)，曾任天津市北辰区政协秘书长。
王书文 (海口)，革命烈士，曾任中共琼山县委组织委员。
王书文 (1955年)，中国楹联学会会员、湖北省作家协会会员。
帕碧罗阇

参的帕碧拉差（泰語：，1632年—1700年），暹罗阿瑜陀耶王国班普銮王朝（Ban Phulu Luang）的首任君主。他原先是那莱王的象队统领。那莱王宠信希腊人康斯坦丁·华尔康，施行向西方积极开放的政策。在华尔康的劝说下，那莱王答应法国国王路易十四割让曼谷和墨吉给法国。1688年，那莱王病危，华尔康企图拥立信仰天主教的王子亚派耶脱为王，碧罗阇立即发动政变，逮捕并处死了华尔康和亚派耶脱二人。此后，碧罗阇重兵包围曼谷，迫使驻暹法军退出暹罗。碧罗阇在那莱王死后登基为王，巴塞通王朝结束。
生平 > 早年经历

帕碧拉差生于1632年，身材短小，但是精勇能干，擅长军务。那莱王时期，帕碧拉差以国王共乳兄弟，受到那莱王重要，同起居住。担任象军统领，曾经参与征讨缅甸、柬埔寨等战役。那莱王统治后期，华尔康弄权，帕碧拉差与之不和。帕碧拉差之子銮苏罗萨（Luang Surasak）曾经痛殴华尔康，将其门牙打落二枚。1688年3月，那莱王在华富里病重，因为王室并未合适的继承人，乃听从群臣建议，册封帕碧拉差为摄政，代理朝政。
帕碧拉差摄政后，掌控宫廷禁军。在苏罗萨的怂恿下，帕碧拉差开始铲除异己，那莱王两位兄弟遭到谋害。华尔康见形势危急，向驻扎在曼谷的法军求援。6月，帕碧拉差逮捕华尔康，将其论罪处死，随后又矫诏，要求驻曼谷之法军前往华富里，但是法人拒不从命，于是帕碧拉差下令围攻曼谷，迫害基督教徒。7月11日，那莱王驾崩，帕碧拉差被群臣拥立为王。
生平 > 去世

1700年2月，帕碧拉差病重。帕碧拉差有一子名为昭帕宽（Chao Phra Kwan），年约十四岁，另一子名为昭多罗萨奈（Chao Trasa Noi），年约十岁。因为两位皆为巴塞通王室后裔，国中贵族大多认为两位王子是最为合适的继承人。副王苏罗萨（Surasak）觊觎王位，有意将二人铲除.遂以赠送马驹之名，将王子昭帕宽诱骗至宅邸。随后与二子昭碧（Chao Phet）、昭盆（Chao Phon）将昭帕宽杀害。昭法帕宽之母左宫王后玉陀提婆（Yothathip）乃至帕碧拉差病榻前哭诉，控诉苏罗萨为凶手。帕碧拉差得知后大怒，谕旨称副王苏罗萨品行不端，不得继承王位，遂立表弟帕丕猜苏林（Phra Phichai Surin）为王储。当夜，帕碧拉差去世，在位十二年，寿六十九。
石生蝇子草

| 石生蝇子草 |
| --- | --- |


科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 真双子叶植物 Eudicots
目：: 石竹目 Caryophyllales
科：: 石竹科 Caryophyllaceae
属：: 蝇子草属 Silene
种：: 石生蝇子草 S. tatarinowii
二名法
Silene tatarinowii Regel

石生蝇子草（学名：）为石竹科蝇子草属的植物。分布于中国大陆的四川、河北、陕西、内蒙古、贵州、湖北湖南、山西、河南、甘肃、宁夏等地，生长于海拔800米至2,900米的地区，见于多石质的山坡、疏林下、灌丛中和岩石缝中，目前尚未由人工引种栽培。
别名

石生麦瓶草（东北草本植物志） 麦瓶草、蝇子草（北京植物志） 山女娄菜（中国高等植物图鉴） 太子参（湖北、四川） 连参（甘肃）
异名

Melandrium tatarinowii (Regel) Y. W. Tsui
Silene potaninii Maxim.
Silene tatarinowii Regel f. albiflora (Franch.) Kitag.
曹恩愛

| D> ana |
| --- | --- |

女歌手
本名: 曹恩愛
罗马拼音: Jo Eun Ae
国籍:  
出生:  (1995-09-10) 1995年9月10日（29歲）  首爾特別市江南區開浦洞（朝鲜语：）
职业: 歌手、舞者、饒舌歌手
语言: 韓語
教育程度: 同德女子大學 放送演藝系（在學）
音乐类型: K-pop
出道地点:  
出道日期: SONAMOO:2014年12月29日 鄰家少女:2017年6月14日
出道作品: SONAMOO:《Deja Vu》 鄰家少女:《Deep Blue Eyes》
代表作品: 《Deja Vu》、《CUSHION》、《 LIKE U TOO MUCH》、《I Think I Love U》
活跃年代: 2014年至今
经纪公司: TS Entertainment(2014-2021)
相关团体: SONAMOO、鄰家少女
曹恩愛（： Jo Eun Ae；英語：；1995年9月10日—），藝名：D.ana，韓國女歌手、饒舌歌手、女子組合SONAMOO成員之一，擔任低音 Rapper、領舞。2014年12月29日以SONAMOO成員身分於韓國正式出道，發行首張迷你專輯《Deja Vu》
。
經歷 > 出道前

2011年，受玟、D.ana、宜珍、High.D及New Sun在Bang & Zelo的《Never Give Up》MV中客串。2012年受玟、旼宰、D.ana、宜珍在B.A.P的《STOP IT》MV中客串。宜珍在B.A.P的電視節目《Ta-Dah! It's B.A.P》EP4及EP8中出現。2013年，High.D在Untouchable迷你4輯收錄的《Keep In Touch》以本名到姬合唱。2014年，受玟、娜玹在電視劇《能看見鬼的警察處容》EP4中分別飾演叫鄭妍珠及朴澀琪的女學生。宜珍在Untouchable的《TAKE OUT》音樂節目現場中客串。受玟、娜玹在B.A.P的《1004》MV中客串。
經歷 > 2014年

2014年5月29日，TS娛樂公開首名成員娜玹及其個人資料，並表示新女團預計在7月出道。7月2日，公開第二位成員New Sun的個人資料，並表示新女團為8月夏天出道準備中。10月16日，公開第三位成員宜珍的個人資料，同時宣佈新女團團名為SONAMOO，開設官方Facebook及官咖。10月31日，公開第四位成員D.ana的剪影、饒舌自創曲《불 붙여 （页面存档备份，存于）》及其個人資料，並為其向公眾徵求藝名。11月19日，正式公開第四位成員D.ana，並公開更多其個人資料。12月1日，公開SONAMOO的官方網站，並公開一張概念照，除了已公開的成員娜玹，New Sun，宜珍，D.ana外，其餘未公開的三人則以剪影代替，表示SONAMOO共有七名成員。12月5日，公開D.ana及New Sun合作的饒舌自創曲《彷彿穿著盔甲（철갑을 두른 듯）》。12月12日，公開第五位成員High.D翻唱Jennifer Hudson的《And I Am Telling You I’m Not Going》的歌唱片段。12月15日，公開全員及其隊內擔當，並釋出一張古典風概念照。12月16日，全員的基本資料與概念照公開。12月19日，出道預告公開。12月22日，出道首張迷你專輯《Deja Vu》曲目公開，並確定在29日舉辦首次Showcase。12月26日，首張迷你專輯《Deja Vu》同名主打歌《Deja Vu》MV預告公開，以及釋出概念照。12月29日，公開主打歌《Deja Vu》MV，發行首張迷你專輯《Deja Vu》及釋出全輯音源，並於同日舉辦出道SHOWCASE正式出道。
經歷 > 2015年

2015年1月2日，於KBS音乐银行以《Deja Vu》一曲正式出道，並陸續於各大音樂節目展開宣傳。1月10日，於首爾汝矣島IFC舉辦第一場粉絲簽名會。2月25日，於MBC Show Champion以首張迷你專輯《Deja Vu》中的가는 거야（Just Go!）作為後續曲回歸舞台，主打明朗、正面的形象。3月3日，SBS MTV每逢週二19時播出一集「SONAMOO的寵物屋」，講述成員與寵物犬同住一室的故事。3月14日，全員飛往日本東京出席「Onitsuka Tiger X Andrea Pompilio 2015-16」時裝秀。3月15日，在日本淘兒唱片澀谷店舉行第一次握手會。4月11日，出道一百天，官方於公司內部舉行一百天出道紀念的迷你粉絲見面會。5月21日，參與在新加坡舉辦的「Music Matters 2015」，表演《Deja Vu》、《Just Go!》、《國民妹妹》等歌曲。5月23日，參與在首爾上岩洞首爾世界杯競技場舉辦的2015夢想演唱會，表演《Deja Vu》。7月1日，官方表示SONAMOO將在7月中回歸，發佈第二張迷你專輯。主打歌將由製作團隊二段橫踢旗下的新星製作人EastWest和說唱歌手uNo參與制作。成員D.ana、New Sun也將參與填詞。7月6日，公開首張回歸預告照，官網頁面更新呈現一輪明月與七個神祕符號。7月7日，公開第二張迷你專輯名稱為《CUSHION》。7月8日，公佈成員受玟、娜玹的個人概念照：7月9日，公開D.ana、New Sun的個人概念照以及開設官方Instagram帳號；7月10日，公佈旼宰、宜珍及High.D的個人概念照。7月13日，公開兩張團體概念照，分別為專輯普通版、特别版的封面照並於13日起開放預購專輯。7月15日，公開新風格的團體概念照以及迷你二輯同名主打歌《CUSHION》的MV預告。7月20日，公開主打歌《CUSHION》MV，並舉辦SHOWCASE。7月22日在節目「Show Champion」表演《CUSHION》初舞台。9月1日，以後續曲《Round N Round（빙그르르）》繼續活動，在SBS「The Show」節目中表演該曲初舞台。
經歷 > 2016年

2016年6月10日，公開第三張迷你專輯《I LIKE U TOO MUCH》首波回歸預告照公開。6月14日，公開第三張迷你專輯《I LIKE U TOO MUCH》回歸行程表。6月17日，公佈成員娜玹、宜珍的個人概念照。6月20日，公佈成員 D.ana、旼宰的個人概念照。6月21日，公佈成員 High.D、受玟、New Sun 的個人概念照。6月22日，公佈團體概念照。6月23日，公開第三張迷你專輯《I LIKE U TOO MUCH》的專輯收錄曲精華片段。6月24日，公開第三張迷你專輯《I LIKE U TOO MUCH》的MV預告。6月29日，發行第三張迷你專輯《I LIKE U TOO MUCH》及同名主打歌MV。
經歷 > 2017年

2017年1月2日，公開第一張單曲《I Think I Love U (나 너 좋아해?)》封面圖片。1月4日，公布單曲預告片。1月6日，MV預告片發布。1月9日，正式發行第一張單曲及公開主打歌《I Think I Love U》 MV，並舉辦SHOWCASE。
音樂作品

条目：SONAMOO § 音樂作品
音樂作品 > 個人音樂作品

| 個人音樂作品 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |

| 年份 | 日期 | 電視台 | 節目名稱 | 備註 |  |  |  |  |
| 2017年 | 9月19日 | Naver TVcast | 《淘氣鬼偵探》 | 作詞並演唱該網路劇OST《I got you》 |  |  |  |  |
| 2018年 | 9月20日 | Naver TVcast | 《淘氣鬼偵探2》 | 演唱該網路劇OST《Yes (좋아)》 |  |  |  |  |
影視作品 > 固定綜藝節目

| 節目 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |

| 日期 | 電視台 | 節目名稱 | 備註 |  |  |  |  |  |
| 2015年3月3日－2015年4月21日 | SBS MTV | 《SONAMOO的Pet House》 | 共8集 |  |  |  |  |  |
| 2017年5月29日－2017年6月25日 | KBS | 《偶像戲劇工作團》 |  |  |  |  |  |  |
影視作品 > 其他綜藝節目

請參考：
条目：SONAMOO § 影視作品
影視作品 > 戲劇作品

| 0 | 1 | 2 | 3 | 4 | 5 |
| --- | --- | --- | --- | --- | --- |
| 年份 | 電視台 | 劇名 | 角色 | 性質 | 備註 |
| 2016 | Naver tvcast | 《The Miracle》 | Miracle Girls 成員 | 配角 |  |
演唱會及其他活動

条目：SONAMOO § 演唱會及其他活動
參考資料

↑  SONAMOO《Deja Vu》預告片：嘻哈刀群舞反響熱烈 （页面存档备份，存于）.韓星網.2014.12.26
↑  걸 그룹 소나무, 오늘 '데자뷰' 뮤비+음원 공개 및 데뷔 쇼케이스 개최! （页面存档备份，存于）. The star 2014.12.29
↑  소나무, 25일 후속곡 활동 돌입 '가는 거야'! （页面存档备份，存于）. OSEN 2015.02.25
↑  소나무(SONAMOO), 데뷔 첫 리얼리트 ‘소나무의 펫하우스’ 공개… ‘깜찍한 예능감 선보인다’ 的存檔，存档日期2015-04-02.. Top star news 2015.03.03
↑  人気上昇中の韓国ガールズグループＳＯＮＡＭＯＯ、日本初イベント大成功！ （页面存档备份，存于）.sanspo 2015.3.15
↑  SONAMOO出席世界三大唱片展「Music Matters」 （页面存档备份，存于）.全星網.2015.04.08
↑  SONAMOO7月回歸加盟女團大戰 （页面存档备份，存于）.韓星網.2015.07.01
↑  SONAMOO 新曲預告公開 （页面存档备份，存于）.Kpopn.2015.07.15
↑  .   [2017-02-12]. （原始内容存档于2017-06-14）.
↑  .   [2017-02-12]. （原始内容存档于2017-06-14）.
↑  .   [2017-02-12]. （原始内容存档于2017-06-14）.
↑  .   [2017-02-12]. （原始内容存档于2017-03-24）.
↑  .   [2017-02-12]. （原始内容存档于2017-06-14）.
外部連結

曹恩愛的X（前Twitter）帳戶
朱寘鑭

弘農榮惠王朱寘鑭（1466年—1508年），明朝慶藩第二代弘農王，弘農安僖王朱邃㙉的庶長子。
生平

朱寘鑭初封鎮國將軍。弘治二年（1489年）七月，弘農安僖王朱邃㙉去世。弘治五年（1492年）十月，朱寘鑭襲封弘農王。
弘治十七年（1504年），朱寘鑭獲賜《為善陰隲》《四書集注》等書。
正德三年（1508年），朱寘鑭去世，享年四十三歲，諡號榮惠。八年後，嫡第二子朱台泙襲爵。
家庭 > 妻

管氏，初冊為鎮國將軍夫人，弘治五年（1492年）十月冊為弘農王妃。
家庭 > 子孫

庶第二子：鎮國將軍朱台湂
孫：輔國將軍朱鼒杪
嫡第二子：弘農恭定王朱台泙
参考资料

↑  《明孝宗實錄》卷28
1 2  《明孝宗實錄》卷68
↑  《明孝宗實錄》卷215
↑  《明史·諸王世表三》
↑  《弇山堂别集》
1 2  《明武宗實錄》卷142
↑  《明孝宗實錄》卷176
↑  《嘉靖宁夏新志·卷之一·封建》
| 0 | 1 | 2 |
| --- | --- | --- |
| 前任者： 父安僖王朱邃㙉 | 明弘農國國王 1492年－1508年 | 繼任者： 子恭定王朱台泙 |
宇宙奇艦泰坦號

本條目的名稱翻譯（例如：角色名）皆採用台灣版DVD的翻譯。
| 泰坦A> E.  |
| --- | --- |
電影海報
基本资料
导演: 唐·布鲁斯 
监制: 唐·布鲁斯  
编剧: 喬斯·溫登 本·艾德倫德[*] 約翰·奧古斯特[*]
剧本:   
故事:  
配乐: 
制片商: 
片长: 94分鐘
产地: 美國
语言: 英語
上映及发行
上映日期:  2000年6月16日 (2000-06-16)（美國）  
发行商: 二十世紀福斯
预算: 7500萬至9000萬美元
票房: 3680萬美元
各地片名
中国大陆: 
香港: 
臺灣: 
新加坡: 
《泰坦A.E.》（英語：，直譯《泰坦A.E.》）是一部於2000年上映的美國動畫片，由唐·布鲁斯與合導。