laion/Wikipedia-Exotic huggingface dataset:
코돈속

코돈속(codon屬, 학명: Codon 코돈[*])은 지치목의 단형 과인 코돈과(codon科, 학명: Codonaceae 코도나케아이[*])에 속하는 유일한 속이다. 과거에는 지치과 지치아과 코돈족(Codoneae) 아래에 분류하기도 했으나, 지치목 워킹 그룹(Boraginales Working Group)의 2016년 분류에서는 분자계통학적 근거에 따라 별개의 과로 재분류했다. 코돈(C. royenii L.) C. schenckii Schinz Weigend, Maximilian & Hilger, Hartmut Hugo. Phytotaxa 10: 27. 2010. Linnaeus, Carl von. Systema Naturae, ed. 12 2: 12. 1767. Luebert, Federico; Cecchi, Lorenzo; Frohlich, Michael W.; Gottschling, Marc; Guilliams, C. Matt; Hasenstab-Lehman, Kristen E.; Hilger, Hartmut H.; Miller, James S.; Mittelbach, Moritz; Nazaire, Mare; Nepi, Massimo; Nocentini, Daniele; Ober, Dietrich; Olmstead, Richard G.; Selvi, Federico; Simpson, Michael G.; Sutorý, Karel; Valdés, Benito; Walden, Genevieve K.; Weigend, Maximilian (2016). “Familial classification of the Boraginales”. 《Taxon》 (영어) 65 (3): 502‒522. doi:10.12705/653.5.
콜데니아

콜데니아(coldenia, 학명: Coldenia procumbens 콜데니아 프로쿰벤스[*])는 택사목의 단형 과인 콜데니아과(coldenia科, 학명: Coldeniaceae 콜데니아케아이[*])의 단형 속인 콜데니아속(coldenia屬, 학명: Coldenia 콜데니아[*])에 속하는 유일한 종이다. 과거에는 지치과의 송양나무아과나 개송양나무아과 아래에 분류하기도 했으나, 지치목 워킹 그룹(Boraginales Working Group)의 2016년 분류에서는 분자계통학적 근거에 따라 별개의 과로 재분류했다. Miller, James Spencer & Gottschling, Marc. Taxon 65: 509. 2016. Linnaeus, Carl von. Species Plantarum 1: 125. 1753. Luebert, Federico; Cecchi, Lorenzo; Frohlich, Michael W.; Gottschling, Marc; Guilliams, C. Matt; Hasenstab-Lehman, Kristen E.; Hilger, Hartmut H.; Miller, James S.; Mittelbach, Moritz; Nazaire, Mare; Nepi, Massimo; Nocentini, Daniele; Ober, Dietrich; Olmstead, Richard G.; Selvi, Federico; Simpson, Michael G.; Sutorý, Karel; Valdés, Benito; Walden, Genevieve K.; Weigend, Maximilian (2016). “Familial classification of the Boraginales”. 《Taxon》 (영어) 65 (3): 502‒522. doi:10.12705/653.5.
물잎풀속

물잎풀속(---屬, 학명: Hydrophyllum 히드로필룸[*])은 물잎풀과의 속이다. 속명 "히드로필룸"은 고대 그리스어로 "물"을 뜻하는 "휘도르(ὕδωρ)"와 "잎"을 뜻하는 "퓔론(φύλλον)"을 붙인 말이다. H. alpestre A.Nelson & P.B.Kenn. H. appendiculatum Michx. H. brownei Kral & V.M.Bates H. canadense L. H. capitatum Douglas ex Benth. H. c. var. thompsonii (M.Peck) Constance H. fendleri (A.Gray) A.Heller H. f. var. albifrons (A.Heller) J.F.Macbr. H. macrophyllum Nutt. H. occidentale (S.Watson) A.Gray H. tenuipes A.Heller H. virginianum L. H. v. var. atranthum (Alexander) Constance H. v. var. patens Brand Linnaeus, Carl von. Species Plantarum 1: 146. 1753.
폴란드센터

폴란드센터(폴란드어: Polskie Centrum 폴스키에 첸트룸[*]는 폴란드 제2공화국의 정당연합이었다. 폴란드센터는 전국인민연합, 가톨릭국민당, 폴란드 국경연합으로 구성되어 있으며 1922년 총선에서 3%를 기록하여 6석을 흭득하였다.
최우선 (희극인)

최우선(1988년 9월 1일~)은 대한민국의 희극 배우이다. tvN 코미디빅리그 youtube 아싸최우선 중앙대학교 경제학과
송양나무과

송양나무과(松楊--科, 학명: Ehretiaceae 에흐레티아케아이[*])는 지치목의 과이다. 과거에는 지치과 아래의 송양나무아과(Ehretioideae)로 분류하기도 했으나, 지치목 워킹 그룹(Boraginales Working Group)의 2016년 분류에서는 분자계통학적 근거에 따라 별개의 과로 재분류했다. 송양나무속(Ehretia P.Browne) Bourreria P.Browne Halgania Gaudich. Lepidocordia Ducke Rochefortia Sw. Rotula Lour. Tiquilia Pers. Martius, Carl Friedrich Philipp von. Nova Genera et Species Plantarum : quas in peregrinatione ad plagam aequinoctialem orbis novi collegerunt /descripserunt, partim adumbraverunt Amat. Bonpland et Alex. de Humboldt ; ex schedis autographis Amati Bonplandi in ordinem digessit Carol. Sigismund. Kunth ... 2: 136, 138. 1827. Luebert, Federico; Cecchi, Lorenzo; Frohlich, Michael W.; Gottschling, Marc; Guilliams, C. Matt; Hasenstab-Lehman, Kristen E.; Hilger, Hartmut H.; Miller, James S.; Mittelbach, Moritz; Nazaire, Mare; Nepi, Massimo; Nocentini, Daniele; Ober, Dietrich; Olmstead, Richard G.; Selvi, Federico; Simpson, Michael G.; Sutorý, Karel; Valdés, Benito; Walden, Genevieve K.; Weigend, Maximilian (2016). “Familial classification of the Boraginales”. 《Taxon》 (영어) 65 (3): 502‒522. doi:10.12705/653.5.
연언 소거

논리학에서 연언 소거(連言消去, 영어: conjunction elimination)은 연언 명제로부터 그 두 성분을 유도하는 추론 규칙이다. 연언 소거는 다음과 같은 두 개의 추론 규칙이다.:183, §16.3.1:29, §2.4 P ∧ Q P P ∧ Q Q {\displaystyle {\begin{matrix}P\land Q\\\hline P\end{matrix}}\qquad {\begin{matrix}P\land Q\\\hline Q\end{matrix}}} 또는 P ∧ Q ⊢ P P ∧ Q ⊢ Q {\displaystyle P\land Q\vdash P\qquad P\land Q\vdash Q} 여기서 P {\displaystyle P} , Q {\displaystyle Q} 는 논리식을 나타내는 메타 변수이다. ∧ {\displaystyle \land } 는 논리곱이다. 수평선은 증명 과정의 이웃한 두 단계를 구분하는 메타 논리 기호이다. ⊢ {\displaystyle \vdash } 는 왼쪽에 놓인 논리식들로부터 오른쪽에 놓인 논리식을 증명할 수 있음을 나타내는 메타 논리 기호이다. 직관 논리에서 성립하며, 따라서 고전 논리를 비롯한 모든 초직관 논리에서 성립한다. 연언 도입 선언 소거 Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865.  van Dalen, Dirk (2013). 《Logic and Structure》. Universitext (영어) 5판. London: Springer. doi:10.1007/978-1-4471-4558-5. ISBN 978-1-4471-4557-8. ISSN 0172-5939. LCCN 2012953020.
선언 도입

논리학에서 선언 도입(選言導入, 영어: disjunction introduction)은 주어진 명제로부터 이를 한 성분으로 하는 선언 명제를 유도하는 추론 규칙이다. 선언 도입은 다음과 같은 두 개의 추론 규칙이다.:183, §16.3.1 P P ∨ Q P Q ∨ P {\displaystyle {\begin{matrix}P\\\hline P\lor Q\end{matrix}}\qquad {\begin{matrix}P\\\hline Q\lor P\end{matrix}}} 또는 P ⊢ P ∨ Q P ⊢ Q ∨ P {\displaystyle P\vdash P\lor Q\qquad P\vdash Q\lor P} 여기서 P {\displaystyle P} , Q {\displaystyle Q} 는 논리식을 나타내는 메타 변수이다. ∨ {\displaystyle \lor } 는 논리합이다. 수평선은 증명 과정의 이웃한 두 단계를 구분하는 메타 논리 기호이다. ⊢ {\displaystyle \vdash } 는 왼쪽에 놓인 논리식들로부터 오른쪽에 놓인 논리식을 증명할 수 있음을 나타내는 메타 논리 기호이다. 직관 논리에서 성립하며, 따라서 고전 논리를 비롯한 모든 초직관 논리에서 성립한다. 선언 소거 연언 도입 Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865.
선언 소거

논리학에서, 선언 소거(選言消去, 영어: disjunction elimination)는 선언 명제와 그 두 성분을 전제로 하고 주어진 같은 명제를 결론으로 하는 두 가언 명제로부터, 이 두 가언 명제의 공통 결론을 유도하는 추론 규칙이다. 즉, “P이거나 Q이다. 만약 P라면 R이다. 만약 Q라면 R이다. 따라서 R이다.”와 같이 추론한다. 선언 소거는 다음과 같은 추론 규칙이다.:183, §16.3.1 P ∨ Q P ⟹ R Q ⟹ R R {\displaystyle {\begin{matrix}P\lor Q\qquad P\implies R\qquad Q\implies R\\\hline R\end{matrix}}} 또는 P ∨ Q , P ⟹ R , Q ⟹ R ⊢ R {\displaystyle P\lor Q,P\implies R,Q\implies R\vdash R} 여기서 P {\displaystyle P} , Q {\displaystyle Q} 는 논리식을 나타내는 메타 변수이다. ∨ {\displaystyle \lor } 는 논리합이다. ⟹ {\displaystyle \implies } 는 함의이다. 수평선은 증명 과정의 이웃한 두 단계를 구분하는 메타 논리 기호이다. ⊢ {\displaystyle \vdash } 는 왼쪽에 놓인 논리식들로부터 오른쪽에 놓인 논리식을 증명할 수 있음을 나타내는 메타 논리 기호이다. 직관 논리에서 성립하며, 따라서 고전 논리를 비롯한 모든 초직관 논리에서 성립한다. 선언 도입 연언 소거 Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865.
응우옌푹미엔턴

응우옌푹미엔턴은 다음을 의미한다. 응우옌푹미엔턴 (1817년) 응우옌푹미엔턴 (1837년) 제목에 "응우옌푹미엔턴" 항목을 포함한 모든 문서
제40회 청룡영화상

제40회 청룡영화상은 2019년 11월 21일 인천광역시 파라다이스 시티에서 진행되었다. 정윤철 – 영화 감독 윤종빈 – 영화 감독 원동연 – 영화 제작자 박매희 – 영화 제작자 조혜정 – 교수 윤성은 – 영화평론가 정보석 – 영화 배우 김형중 – 기자 네티즌 투표 2018년 10월 12일부터 2019년 10월 10일까지 개봉한 한국영화를 대상으로 한 후보가 2019년 10월 31일 공개되었다. 수상작 및 수상자는 가장 위에 굵은 글씨와 이중 칼표()로 표시하였다. 한국영화 최다관객상: 《극한직업》 청정원 인기스타상 박형식 이광수 이하늬 임윤아 최다 후보: 《기생충》 – 11 최다 수상: 《기생충》 – 5 제56회 백상예술대상 제56회 대종상 “제40회 청룡영화상, 韓영화 후보 공개..'기생충' 11개 부문 최다 노미”. 《씨네리와인드》. 2019년 10월 31일. 2019년 11월 23일에 원본 문서에서 보존된 문서. 2019년 11월 24일에 확인함.  제40회 청룡영화상 - SBS TV
임태증

임태증(林泰曾, 1851년 - 1894년)는 청나라 말기의 해군 군인이다. 자는 개사(凱士). 청나라의 북양해군의 고급 장교였으며, 북양수사의 좌익총병과 북양함대에서는 당시 최첨단이었던 진원의 함장을 겸하고 있었다. 1894년의 청일전쟁 중 황해 해전에서 패한 후 입항한 진원이 좌초한 것에 책임을 지고 자살했다. 임태증은 복건성 후관현(현재의 복주시) 사람으로, 할아버지는 임칙서의 동생이며, 임칙서의 딸을 아내로 삼은 심보정은 먼 친척에 해당했다. 부모님은 어릴 때 돌아가셨기 때문에 어린 시절의 임태증은 죽은 형의 아내에게 의지하고 있었다. 1867년, 임태증은 심보정이 만든 복건 선정학당 제1기생으로 입학하여 이곳에서 선박의 조종법을 배웠다. 1871년에 졸업을 한 이후 연습선 ‘건위’에 탑승하여 각지를 연습 항해를 했고, 1874년에는 건위의 1등 항해사로 임명되었다. 이듬해 복건 선정학당의 주임 교관이었던 프로스 마리 지켈을 따라 유럽을 순방하면서 영국 해군 군관학교에 입학했다. 이때의 유학은 단기간으로 지켈이 중국에 돌아올 때 일단 귀국했지만, 곧 정식 학생으로 다시 출국했다. 1879년에 귀국해서 유격(游撃)으로 승진했다. 1880년에 북양 해군에 전속되었고, 우선 포함 ‘진서’(鎭西)의 함장으로 임명되었다. 그 후, 영국에서 새로 건조한 방호순양함 양위(揚威), 초용(超勇)을 인수하기 위해 영국을 다녀온 공적으로 참장(參將)으로 승진하면서 초용의 함장으로 임명되었다. 1886년에는 ‘진원’의 함장이 되었다. 1888년, 정식으로 북양 해군이 창설되면서 임태증은 좌익 총병의 제독이 되었다. 1894년, 청일 전쟁이 발발했을 때 임태증은 진원의 함장으로 복무했다. 황해 해전에서 진원과 정원은 북양 함대의 주력으로 일본군의 연합 함대의 집중포화를 당했고, 다수의 피탄으로 인해 화재가 발생했다. 그러나 진원은 침착하게 소화를 했고, 전선을 이탈하지도 않았다. 이 전공에 따라 임태증은 곽춘조파도노(霍春助巴圖魯)라는 칭호를 받았다. 이 전투 이후, 북양 함대는 그 정책을 개전 초기의 ‘존재함대’로 전환하고, 남은 함선을 웨이하이웨이로 집중시켜 방어에만 전념했다. 그해 겨울 근해를 순찰하다 웨이하이웨이로 귀항하려고 한 진원이 항구에서 좌초되었다. 선체의 균열은 10m (세 길이) 정도에 걸쳤고, 응급수리를 통해 침몰 위험은 면했지만, 이전과 같은 고속 항해는 할 수 없게 되었다. 본격적 수리하려고 했지만, 여순 독은 이미 일본군의 손에 넘어갔고, 북양 함대의 전력은 크게 감소했다. 결국 임태증이 책임지고 음독 자살을 했다. 《청사고》, 460권 · 열전 247
조슈아 블로치

조슈아 J. 블로치(Joshua J. Bloch, 1961년 8월 28일~ )는 미국의 소프트웨어 공학자이자 기술 저자이며, 썬 마이크로시스템즈와 구글의 전 직원이다. 그는 자바 컬렉션 프레임워크, java.math 패키지, assert 매커니즘을 포함한 수많은 자바 플랫폼의 설계와 구현을 주도하였다. 프로그래밍 가이드 《이펙티브 자바》(Effective Java, 2001년)의 저자이며, 해당 책은 2001년 졸트상을 수상하였고, 《자바 퍼즐러》(Java Puzzlers, 2005년)와 《자바 컨커런시 인 프랙티스》(Java Concurrency In Practice, 2006)라는 다른 두 권의 자바 책의 공동 저자이다. 블로치는 컬럼비아 대학교에서 컴퓨터 과학 학사 학위를, 카네기 멜런 대학교에서 컴퓨터 과학 박사 학위를 받았다. 그의 1990년 논문 제목은 《추상 데이터 객체의 복제에 관한 실용적 접근》(A Practical Approach to Replication of Abstract Data Objects)이었으며 ACM Distinguished Doctoral Dissertation Award에 지명되었다. 블로치는 Transarc의 선임 시스템 디자이너로 일하다가 나중에 썬 마이크로시스템즈의 Distinguished Engineer로 일했다. 2004년 6월 썬을 떠나 구글의 수석 자바 아키텍트가 되었다. 2012년 8월 3일, 블로치는 구글을 떠날 것이라고 발표하였다. 2004년 12월, 자바 개발자 저널(Java Developer's Journal)은 블로치를 세계 최고의 40대 소프트웨어 인물 가운데 한 명으로 지명하였다. Effective Java: Programming Language Guide, ISBN 0-201-31005-8, 2001; second edition: ISBN 978-0-321-35668-0, 2008; third edition: ISBN 978-0134685991, 2017 Java Puzzlers: Traps, Pitfalls, and Corner Cases, ISBN 0-321-33678-X, 2005 (co-authored with Neal Gafter) Java Concurrency in Practice, ISBN 0-321-34960-1, 2006 (co-authored with Brian Goetz, Tim Peierls, Joseph Bowbeer, David Holmes, and en:Doug Lea) "About the Author", Effective Java Programming Language Guide 2002 Jolt & Productivity Award Winners 보관됨 2007-05-03 - 웨이백 머신. Dr. Dobb's Portal. A Practical Approach to Replication of Abstract Data Objects. Computer Science Department, School of Computer Science, Carnegie Mellon University. May 1990. Books & Authors: Effective Java, accessed 16 April 2008 Heiss, Janice J. Rock Star Josh Bloch Java Sun.com. Joshua Bloch, After eight years at Google, the time has come for me to move on Geelan, Jeremy (2004년 12월 21일). “The i-Technology Right Stuff”. 《Java Developer's Journal》. 2008년 4월 22일에 원본 문서에서 보존된 문서. 2019년 11월 22일에 확인함.  Bill Venners, Josh Bloch on Design: A Conversation with Effective Java Author, Josh Bloch, JavaWorld, January 4, 2002 Janice J. Heiss, More Effective Java With Google's Joshua Bloch October, 2008 Josh Bloch, How to design a good API and why it matters, Google Tech Talk, 2007
섬전암

섬전암(閃電巖, Fulgurite)은 벼락이 땅을 쳤을 때 광물질이 녹았다 굳어서 만들어지는 돌덩어리다. 벼락이 땅을 때리면 최대 1억 볼트(100 MV)의 전압을 가진 전류가 땅으로 빠르게 방전되며, 이 에너지로 인해 규소가 풍부한 석영, 점토 등 퇴적물이 용융하고, 이것들이 굳으면 유리질의 돌덩어리가 되는데 이것이 섬전암이다. 텍타이트 트리니타이트 Ann Cooper, Mary (1980년 3월 1일). “Lightning injuries: Prognostic signs for death”. 《Annals of Emergency Medicine》 9 (3). 2019년 6월 16일에 확인함.  Joseph, Michael L. (January 2012). “A Geochemical Analysis of Fulgurites: from the inner glass to the outer crust”. Scholarcommons.usf.edu. 2015년 8월 16일에 확인함.  “Fulgurite Classification, Petrology, and Implications for Planetary Processes - The University of Arizona Campus Repository”. Arizona.openrepository.com. 2015년 8월 16일에 확인함.  위키미디어 공용에 관련된 미디어 분류가 있습니다. 섬전암  〈Fulgurite〉. 《브리태니커 백과사전》 11 11판. 1911.
함의 도입

논리학에서, 함의 도입(含意導入, 영어: implication introduction)은 가언 명제를 유도하는 추론 규칙이다. 논리식 P {\displaystyle P} 를 가정으로 삼아 과정 D {\displaystyle {\mathcal {D}}} 를 통해 논리식 Q {\displaystyle Q} 를 유도한 것을 P ( D ) Q {\displaystyle {\begin{matrix}P\\({\mathcal {D}})\\Q\end{matrix}}} 로 나타내자. 그렇다면 함의 도입은 다음과 같다.:183, §16.3.1:29, §2.4 [ P ] ( D ) Q P ⟹ Q {\displaystyle {\begin{matrix}[P]\\({\mathcal {D}})\\Q\\\hline P\implies Q\end{matrix}}} 여기서 [ P ] {\displaystyle [P]} 는 P {\displaystyle P} 의 가정을 취소한다는 뜻이다. 즉, 함의 도입을 사용하여 유도한 결론 P ⟹ Q {\displaystyle P\implies Q} 는 P {\displaystyle P} 를 전제로 가정하지 않는다. 명제 논리에서 성립한다. 1차 논리에서는 D {\displaystyle {\mathcal {D}}} 가 P {\displaystyle P} 의 자유 변수에 대한 전칭 도입을 사용하지 않을 경우에 한하여 성립한다. 고전 명제 논리 또는 직관 명제 논리에서, 논리식 ( P ∧ Q ) ⟹ ( Q ∧ P ) {\displaystyle (P\land Q)\implies (Q\land P)} 를 함의 도입을 사용하여 다음과 같이 유도할 수 있다. [ P ∧ Q ] [ P ∧ Q ] Q P Q ∧ P ( P ∧ Q ) ⟹ ( Q ∧ P ) {\displaystyle {\begin{matrix}{\begin{matrix}[P\land Q]\\\hline \end{matrix}}\qquad {\begin{matrix}[P\land Q]\\\hline \end{matrix}}\\{\begin{matrix}Q\qquad \qquad \quad P\\\hline \end{matrix}}\\{\begin{matrix}\qquad \quad \;Q\land P\qquad \quad \;\\\hline \end{matrix}}\\(P\land Q)\implies (Q\land P)\end{matrix}}} 둘째 줄은 첫째 줄에서 연언 소거를 사용하여 유도하며, 셋째 줄은 둘째 줄에서 연언 도입을 사용하여 유도한다. 마지막 줄은 함의 도입을 사용한다. 함의 소거 Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865.  van Dalen, Dirk (2013). 《Logic and Structure》. Universitext (영어) 5판. London: Springer. doi:10.1007/978-1-4471-4558-5. ISBN 978-1-4471-4557-8. ISSN 0172-5939. LCCN 2012953020.
쌍조건문 도입

논리학에서, 쌍조건문 도입(雙條件文導入, 영어: biconditional introduction)은 두 명제가 서로 함의한다는 것으로부터 두 명제의 동치를 유도하는 추론 규칙이다. 쌍조건문 도입은 다음과 같은 추론 규칙이다.:183, §16.3.1 P ⟹ Q Q ⟹ P P ⟺ Q {\displaystyle {\begin{matrix}P\implies Q\qquad Q\implies P\\\hline P\iff Q\end{matrix}}} 또는 P ⟹ Q , Q ⟹ P ⊢ P ⟺ Q {\displaystyle P\implies Q,Q\implies P\vdash P\iff Q} 여기서 P {\displaystyle P} , Q {\displaystyle Q} 는 논리식을 나타내는 메타 변수이다. ⟹ {\displaystyle \implies } 는 함의이다. ⟺ {\displaystyle \iff } 는 동치이다. 수평선은 증명 과정의 이웃한 두 단계를 구분하는 메타 논리 기호이다. ⊢ {\displaystyle \vdash } 는 왼쪽에 놓인 논리식들로부터 오른쪽에 놓인 논리식을 증명할 수 있음을 나타내는 메타 논리 기호이다. 직관 논리에서 성립하며, 따라서 고전 논리를 비롯한 모든 초직관 논리에서 성립한다. 쌍조건문 소거 Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865.
쌍조건문 소거

논리학에서, 쌍조건문 소거(雙條件文消去, 영어: biconditional elimination)는 두 명제의 동치로부터 두 명제의 서로 함의를 유도하는 추론 규칙이다. 쌍조건문 소거는 다음과 같은 두 개의 추론 규칙이다.:183, §16.3.1 P ⟺ Q P ⟹ Q P ⟺ Q Q ⟹ P {\displaystyle {\begin{matrix}P\iff Q\\\hline P\implies Q\end{matrix}}\qquad {\begin{matrix}P\iff Q\\\hline Q\implies P\end{matrix}}} 또는 P ⟺ Q ⊢ P ⟹ Q P ⟺ Q ⊢ Q ⟹ P {\displaystyle P\iff Q\vdash P\implies Q\qquad P\iff Q\vdash Q\implies P} 여기서 P {\displaystyle P} , Q {\displaystyle Q} 는 논리식을 나타내는 메타 변수이다. ⟺ {\displaystyle \iff } 는 동치이다. ⟹ {\displaystyle \implies } 는 함의이다. 수평선은 증명 과정의 이웃한 두 단계를 구분하는 메타 논리 기호이다. ⊢ {\displaystyle \vdash } 는 왼쪽에 놓인 논리식들로부터 오른쪽에 놓인 논리식을 증명할 수 있음을 나타내는 메타 논리 기호이다. 직관 논리에서 성립하며, 따라서 고전 논리를 비롯한 모든 초직관 논리에서 성립한다. 쌍조건문 도입 Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865.
장수성 (1824년)

장수성(중국어 정체자: 張樹聲, 병음: Zhang Shusheng, 1824년 - 1884년)은 청나라 말기의 관리, 회군의 장수이다. 자는 진헌(振軒) 안휘성 합비 출신으로 쌍둥이로 태어났다. 품생(稟生)이었지만 동생 장수산·장수병과 함께 단련을 조직하여 태평천국군과 싸웠다. 함산, 육안, 영산, 곽산, 잠산, 무위로 출격했다. 태호의 전투에서 500명의 병사로 수만 명의 진옥성 군을 격파하고, 유명전, 주성파, 반정신과 연합하여 안후이 북부를 제압했다. 또한 증국번의 요청에 따라 우후을 지켰고 지부에 발탁되었다. 1862년, 이홍장을 따라 상하이를 구하기 위해 갔다. 이홍장이 회군을 창설했을 때, 유명전과 함께 그 지휘관이 되었다. 1864년에는 창저우, 후주를 공략하는 전공을 올렸다. 1865년에 직례 안찰사가 되어 염군과 싸웠다. 1870년에 산서 안찰사가 되었고, 1872년에는 조운 총독 · 강소 순무 대리로 승진했다. 1879년에 귀주 순무, 광시 순무을 거쳐 양광총독이 되었다. 그동안 묘족의 봉기를 진압했다. 1882년, 이홍장이 어머니의 죽음으로 귀향하면서 직례총독의 대리를 맡게 되었고, 조선에서 임오군란이 발생하자 오장경을 파견하여 진압했다. 1883년, 다시 양광총독에 취임했다. 1884년, 청불 전쟁이 발생하자 조정에 양광총독을 사임하고 군무에 전념하고 싶다고 하여 접수되지만, 곧 병사했다. 사후 정달(靖達)이라는 시호가 주어졌다. 『청사고』 447권, 열전 234
김호경 (1878년)

김호경(金皓經, 1878년 ~ ?)은 대한제국 독립운동가이다. 아명(兒名)은 김가을(金街釔)이며 1881년에 김호경(金皓經)으로 개명하였다. 호(號)는 이현(泥峴). 한성부의 중인 집안에서 출생한 그는 1899년에서 1901년까지 강원도 평강군 예하 군서기관(대한제국 하급 관료) 직책을 지낸 그는 1901년에 대한제국 하급 관료 직책을 사퇴 후 6년이 지난 1907년 경기ㆍ충청ㆍ전북ㆍ경북 등지에서 김동신(金東臣)과 함께 의병 400여 명을 이끌고 활동하였다. 1907년 대한제국 고종 황제가 강제 퇴위하고 대한제국 순종 황제가 등극하였지만 결국 대한제국 군대가 해산되면서 해산 군인을 중심으로 정미 의병 항쟁 활동이 시작되었다. 당시 김호경은 '국가의 위기이니만큼 나라를 위하여 목숨을 바치겠다'는 뜻의 격문을 사방에 알려 의병 50여 명이 모이자, 김동신 등과 연합하여 4백여 명으로 의진을 개편하였다. 김동신 등과 함께 1907년 6월경부터 음력 9월까지 경기ㆍ충청ㆍ전북ㆍ경북 등지에서 활동했다. 1907년 7월 30일 수십 명의 의병을 거느리고 충북 음성군(陰城郡) 동도면(東道面) 기곡리(基谷里)에서 군자금을 모집했다. 1907년 음력 9월 2일경 전북 장수군(長水郡) 내에서 일제 토벌대와 전투를 벌였으며, 같은 달 6일경에는 경상북도 상주군(尙州郡) 일대에서 일제 수비대와 약 2시간 동안 격전을 벌이는 등의 활동을 전개하며 일제에 항거하다가 1908년 2월 체포되었다. 1909년 8월 20일 충청남도 공주지방재판소 충청북도 청주지소에서 이른바 내란 및 강도죄로 종신유형(終身流刑)을 받았으며 1910년 8월 21일을 기하여 대사령(大赦令)으로 석방되었다. 대한민국 정부에서는 선생의 공훈을 기리고자 2015년 3월 1일을 기하여 대한민국 건국훈장 애족장을 추서하였다. 대한민국 국가보훈처 공훈록 - 001 대한민국 국가보훈처 공훈록 - 002 Archived 2019년 11월 18일 - 웨이백 머신 대한민국 국가보훈처 공훈록 - 003 대한민국 국가보훈처 공훈록 - 004 Archived 2019년 9월 16일 - 웨이백 머신
김호경

김호경이라는 이름을 사용한 이들은 다음과 같다. 김호경은 대한제국 독립운동가이다. 김호경은 대한민국 가수 겸 작사가 테이의 본명이다. 제목에 "김호경" 항목을 포함한 모든 문서
김가을

김가을은 다음 사람을 가리킨다. 김가을(1978~) - 대한민국의 프로게이머, e스포츠 감독, 프로팀 단장 김가을(1997~) - 대한민국의 수영 선수 가을(본명: 김가을, 2002~) - 대한민국의 가수. 걸그룹 아이브 멤버 김호경(金皓經, 아명: 김가을 金街釔, 1878~?) - 한국의 독립운동가 제목에 "김가을" 항목을 포함한 모든 문서
삼국사기 (국보 제322-2호)

삼국사기(三國史記)는 서울특별시 중구 성암고서박물관에 있는 조선시대의 목판본 책이다. 2018년 2월 22일 대한민국의 국보 제322-2호로 지정되었다. 국보 제322-2호『삼국사기』는 우리나라 최초의 관찬사서(官撰史書)라는 큰 의미를 지니고 있으며, 그 속에 반영된 역사의식의 객관성과 민족자아의식에도 높은 가치를 부여할 수 있는 중요한 사료이다. 1512년까지 증보된 보각판에 기초하여 찍은 인출본으로, 인출 당시의 원형을 거의 그대로 유지하고 있으며 총 9책의 낙장이 없는 완질본이다. 고려와 조선시대의 판각본이 혼재되어 있으며, 이를 통해 고려 및 1394년 잔존 목판본의 조성형식과 보존상태 등도 확인할 수 있다. 삼국사기 문화재청고시제2018-19호(국가지정문화재〈국보, 보물〉 지정 및 국가지정문화재〈보물〉 해제), 제19200호 / 관보(정호) / 발행일 : 2018. 2. 22. / 60 페이지 / 772.7KB 삼국사기 - 국가유산청 국가유산포털
살바도르 가르시아

살바도르 가르시아 푸이그(스페인어: Salvador García Puig, 1961년 3월 4일, 카탈루냐 지방 산트 아드리아 ~)는 흔히 살바(스페인어: Salva)로 알려진 스페인의 전 축구 선수로, 현역 시절 수비수로 활동하였다. 살바는 카탈루냐 지방 바르셀로나 주 산트 아드리아 출신으로, 바르셀로나 유소년부 졸업생이다. 현역 시절, 그는 바르셀로나 B, 사라고사, 에르쿨레스, 그리고 로그로녜스에서 활동하였고, 친정 바르셀로나 소속으로는 3년을 보내며 후보 선수로 출전하는데 그쳤다. 그는 31세에 10년에 걸쳐 라 리가 156경기 출장 기록으로 은퇴하였다. 살바가 파랑-클라르 군단 일원으로 세운 최고 기록은 1987-88 시즌에 17경기를 출전한 것으로, 바르셀로나는 그 해 코파 델 레이 우승을 거두었다. 살바는 1년도 안되는 기간 동안 스페인 국가대표팀 경기에 6번 출전하였다. 그의 첫 국가대표팀 경기는 1983년 10월 5일, 파리에서 열린 프랑스와의 친선경기로, 그는 UEFA 유로 1984에 선수단 일원으로 발탁되어 결승전을 포함해 대회 3경기를 치렀고, 스페인은 이 대회를 준우승으로 마무리했다. 바르셀로나 코파 델 레이: 1987–88 코파 데 라 리가: 1986 스페인 UEFA 유럽 축구 선수권 대회 준우승: 1984 Candil, Jaime (2017년 8월 2일). “Así invirtió el Barça el dinero de otras grandes ventas” [바르사는 이렇게 다른 대형 매각을 통해 자금을 투자하였다]. 《Diario AS》 (스페인어). 2017년 10월 3일에 확인함.  Mentruit, Imma (2016년 4월 13일). “1984: Los ‘bleus’ se coronan tras el error de Arconada” [1984: 아르코나다의 실수로 정상에 오른 ‘파란 군단’]. 《Mundo Deportivo》 (스페인어). 2016년 5월 20일에 확인함.  살바 프로필 - BD 푸트볼 (스페인어) (영어) 살바 - National Football Teams Eu-Football 스페인 국가대표팀 통계
해영

해영(본명: 박해영, 1998년 5월 13일(1998-05-13) ~ )은 대한민국 여성 가수이다. 2016년 엠넷 TV 프로그램 《프로듀스 101》에 첫 출연하여 이름을 알렸으며 그 후 같은 해 걸 그룹 A.De의 구성원으로 정식 데뷔하였다. 1년 후 2017년 JTBC TV 프로그램 《믹스나인》에 출연하여 재차 이름을 알렸다. 2016년 M.net 《PRODUCE 101》 2017년 JTBC 《믹스나인》 네이버 데이터[깨진 링크(과거 내용 찾기)]
A.De

에이디이(A.De)는 대한민국의 걸 그룹이다. 2016년 6월 23일 《Strawberry》라는 노래 작품으로 데뷔하였다. 2016년 《STRAWBERRY》(2016년 6월 23일) 2016년 《Have a Good Time》(2016년 10월 18일) 2017년 《Laputa(Kiss in the sky)》(2017년 8월 31일) 데이터 사전 멜론 아티스트 데이터베이스 네이버 데이터
하효명

하효명(河孝明, Ha Hyomyeong, 1403년 ~ 1441년)은 조선시대 전기의 무신으로 본관은 진양(晉陽). 조부는 두문동 72현으로 고려조에서 병부상서를 지낸 하자종이고, 부친은 조선왕조 500년의 역대 재상 중에서 유일하게도 '승평수문(昇平守文)의 재상'이라는 칭송을 받을 정도로 '청렴과 결백의 표상'이 된 종묘배향공신인 영의정 하연 선생이다. 본관은 진양(晉陽). 아버지는 경재 하연(河演) 선생이며 어머니는 정경부인 성주이씨(星州李氏)로 개성부윤 이존성(李存性)의 딸이다. 하효명은 세종조 명재상이자 청백리인 영의정 하연 선생의 장남으로 출생하여 어려서부터 총명함이 자자했으며 청년으로 성장하면서 출중함이 세종에게까지 알려지게 되자 세종은 하효명에게 무반으로 나갈 것을 적극 권유하자, 무과에 급제하여 관직에 나갔다. 1433년 7월 병조좌랑으로 재직시, 경복궁 근정전 추녀머리가 폭우로 무너지자 세종은 보수를 명하는 동시에 하효명을 보수공사의 책임자인 별좌(別坐)에 임명하였다. 이후 무관 출신으로 실무요직인 사헌부지평에 기용되어 정치 문제의 시시비비에 대한 언론 활동과 백관에 대한 규찰과 탄핵, 풍속 교정, 억울한 일을 풀어주는 등 감찰을 담당하였다. 또한, 1437년(세종 19) 당시 당상관들이 파면되었음에도 불구하고 녹봉을 청하는 신문고를 울리자 사풍(士風)의 아름답지 못한 일이라며 이들을 징계할 것을 주청하였으며 나라 살림살이가 넉넉지 못한 이유로 흥천사(興天寺)의 보수 중지를 건의하기도 했다. 이어 군량미 등 군수품의 저장·관리·출납을 맡아보던 군자감부정 겸 정3품의 훈련원 부사(副使)에 올랐으며 이후 39세의 나이로 요절하여 세상을 떠났다. 증조부 : 하윤원(河允源, 대사헌) 증조모 : 진양 정씨(晉陽鄭氏, 정경부인) 조부 : 하자종(河自宗, 증좌의정) 조모 : 진양 정씨(晉陽鄭氏, 정경부인) 아버지 : 하연(河演, 영의정) 어머니 : 정경부인 성주 이씨 장인 : 이승간(李承幹, 병마도절제사) 부인 : 전의 이씨(全義 李氏, 정부인) 장남 : 하맹순(河孟淳, 출생 사망) 증 현감) 차남 : 하복산(河福山, 승계장손 종손), 현감) 삼남 : 하맹서(현감) 사남 : 하맹제(河孟濟, 장사랑) 오남 : 하맹식(河孟湜, 군수) 막내 : 하맹윤(河孟潤, 형조참판) 하승무(19세손, 역사신학자, 시인) 함양옹주(사돈 인적) 1447년(세종 29) 증이조참판 원 묘소는 경기도 안산시 단원구 고잔동 안산경찰서와 안산시청 청사 사이에 있었으나, 1970년대 말에 안산 지역의 도시화가 진행되면서 충청북도 청원군 현도면 우록리 영당곡으로 이장되었다. 世宗實錄(1454년) 世祖實錄(1471년) 萬家譜(19세기, 해남윤씨 정가 발행 인물종합보) 晉陽河氏大同譜(庚辰譜,2000년) 하승무의 晉陽河氏 家門人物硏究(2015년) 河承武의 晉陽河氏 家門人物硏究(2015) “'한국신학교육자상'수상 연합뉴스”. 2018년 8월 27일에 원본 문서에서 보존된 문서. 2019년 11월 23일에 확인함.  “한국신학교육자상 수상 매일종교신문”. 2020년 9월 24일에 원본 문서에서 보존된 문서. 2019년 11월 23일에 확인함.  하승무 가문, 부산지역 유일, 대한민국 병역명문가 선정
좀줄무늬말벌

좀줄무늬말벌(영어: lesser banded hornet, 학명: Vespa affinis 베스파 아피니스[*])은 말벌속에 속하는 열대 및 아열대성 말벌으로, 온난 습윤한 기후를 보이는 아시아 지역에 두루 분포한다. 몸길이는 일벌이 22-25mm, 여왕벌이 30mm, 수펄이 26mm 정도이다. 배를 둘러싸는 도드라진 주황색 줄무늬가 특징이다. “Vespa affinis” at http://www.vespa-bicolor.net/main/vespid/vespa-affinis.htm Archived 2017년 1월 19일 - 웨이백 머신. Accessed on 01.10.2017.
미소 (2000년)

미소(본명: 김미소, 2000년 4월 29일 ~ )는 대한민국 여성 가수이다. 광주에서 출생하였으며 지난날 한때 전라남도 목포에서 잠시 유아기를 보낸 적이 있는 그녀는 2016년 엠넷 TV 프로그램 《프로듀스 101》에 첫 출연하여 이름을 알렸으며 그 후 같은 해 걸 그룹 A.De의 구성원으로 정식 데뷔하였다. 1년 후 2017년 JTBC TV 프로그램 《믹스나인》에 출연하여 재차 이름을 알렸다. 2016년 M.net 《PRODUCE 101》 2017년 JTBC 《믹스나인》 네이버 데이터[깨진 링크(과거 내용 찾기)]
초윤

초윤(본명: 안초윤, 1998년 7월 19일(1998-07-19) ~ )은 대한민국 여성 가수이다. 2016년 6월 23일, 걸 그룹 A.De의 구성원으로 데뷔하였다. 2016년 6월과 11월, A.De에서 싱글 음반 2편에 참여한 그녀는 1년 후 2017년 A.De를 탈퇴하여 같은 해 2017년 11월 21일을 기하여 솔로 싱글 앨범을 발표하였다. 2017년 《Lucided》 네이버 데이터[깨진 링크(과거 내용 찾기)] 멜론 아티스트 데이터베이스
Second Helping

《Second Helping》은 1974년 4월 15일에 발매된 레너드 스키너드의 두 번째 스튜디오 음반이다. 이 음반에는 이 밴드의 가장 큰 히트곡인 〈Sweet Home Alabama〉가 수록되었는데, 이 곡은 닐 영의 〈Alabama〉와 〈Southern Man〉의 답가곡이다. 이 곡은 1974년 8월 빌보드 핫 100 차트 8위에 올랐고, 이 음반은 밥 번즈가 드럼에 마지막으로 참여한 음반이다. 이 음반은 《빌보드》 음반 차트에서 12위에 올랐다. 1974년 9월 20일 미국 음반 산업 협회에 의해 플래티넘과 2배 플래티넘을 인증받았다. 《(Pronounced 'Lĕh-'nérd 'Skin-'nérd)》의 데뷔 후, 레너드 스키너드의 팬 층은 1973년 내내 급속도로 성장했다. 주로 더 후의 미국 《Quadrophenia》 투어에 대한 그들의 시작점 때문이었다. 《Second Helping》은 에드 킹, 앨런 콜린스, 게리 로싱턴이 모두 로니 반 잰트와 함께 작곡에 참여하여 밴드의 돌파구를 확고히 했다. [(영어) https://www.allmusic.com/album/r811050 AllMusic review] Christgau, Robert (1981). 〈Consumer Guide '70s: L〉. 《Christgau's Record Guide: Rock Albums of the Seventies》. Ticknor & Fields. ISBN 089919026X. 2019년 3월 1일에 확인함 – robertchristgau.com 경유.  Christgau, Robert (September 1974). “The Christgau Consumer Guide”. 《Creem》. 2019년 3월 10일에 확인함.  Fletcher, Gordon (1974년 7월 4일). “Second Helping”. 《rollingstone.com》. Rolling Stone.  “Second Helping”. 《Acclaimed Music》. 2016년 10월 26일에 원본 문서에서 보존된 문서.  Brackett, Nathan; Hoard, Christian David (2004). 《The New Rolling Stone Album Guide》. Simon and Schuster. 505–506쪽. ISBN 978-0-74320-169-8.  Hull, Tom (April 1975). “The Rekord Report: First Card”. 《Overdose》. 2020년 6월 26일에 확인함 – tomhull.com 경유.  Back, Les (2000). “Voices of Hate, Sounds of Hybridity: Black Music and the Complexities of Racism”. 《Black Music Research Journal》 20 (2): 142–143.  “American album certifications – Lynyrd Skynyrd – Second Helping” (영어). 미국 음반 산업 협회.  Second Helping - 디스코그스 (발매 목록)
사카티요, 운 루가르 데 투 코라손

《사카티요, 운 루가르 데 투 코라손》(스페인어: Zacatillo, un lugar en tu corazón)은 2010년 방영된 멕시코의 텔레노벨라이다. (영어) 사카티요, 운 루가르 데 투 코라손 - 인터넷 영화 데이터베이스
라파엘라 (텔레노벨라)

《라파엘라》(스페인어: Rafaela)은 2011년 방영된 멕시코의 텔레노벨라이다. (영어) 라파엘라 - 인터넷 영화 데이터베이스
라농 공항

라농 공항(태국어: ท่าอากาศยานระนอง, 영어: Ranong Airport, IATA: UNN, ICAO: VTSR)은 태국 라농주 라농의 항공 서비스를 제공하는 공항이다. 위키여행에 Ranong 관련 여행 안내가 있습니다. (영어) 라농 공항 - World Aero Data (영어) 라농 공항 - World Aero Data 2006년 10월 현재 데이터. (영어) 라농 공항 사고 역사 - 에비에이션 세이프티 네트워크
우나 파밀리아 콘 수에르테

《우나 파밀리아 콘 수에르테》(스페인어: Una familia con suerte)은 2011년 방영된 멕시코의 텔레노벨라이다. (영어) 우나 파밀리아 콘 수에르테 - 인터넷 영화 데이터베이스
체리나무 할아버지

체리나무 할아버지는 안젤라 나네티가 쓴 고학년 추천 이탈리아 소설이다. 이 이야기에서 7살 주인공인 "나"는 할아버지와 할머니가 네 분이나 계신다. 그 중에서 외할머니와 외할아버지는 시골에 사셔서 거위나 닭 등을 키우는데, 거위들 중에서도 "알퐁지나"라고 불리는 거위는 매우 똑똑하여 사람의 말을 잘 알아듣는 거위였고 펠리스라는 체리나무도 키우고 있었다. 어느 날 외할머니가 돌아가신 후, 가족들 간에 갈등도 있고 외할아버지가 시청의 제안 때문에 병으로 눕게 되어 돌아가시고 한편 시청은 외증조부모의 집을 부수고 도로를 세우려고 한다. 주인공인 "나"와 그의 부모님은 체리나무와 집을 지키고 그 집에서 살게 된다. 안데르센 동화 작가상 수상 고학년 추천 도서 선정 벚나무 체리
국도 제436호선 (일본)

국도 제436호선(일본어: 国道436号)은 효고현 히메지시와 가가와현 다카마쓰시를 이어주는 총 연장 96.6 km, 실제 연장 30.4 km, 현도 29.5 km, 해상 구간 64.1 km의 거리를 가진 일반 국도이다. 그러나 이 국도는 바닷길을 두세번씩 이어주는 국도 노선이기도 하며, 가가와현의 구간 비중이 비교적 높다. 일반 국도의 노선을 지정하고 있는 정령에 의거한 기종점 및 경유지는 다음과 같다. 기점 : 히메지시 (스에히로바시 교차로 = 국도 제250호선 (일본)(일본어판)의 교점) 종점 : 다카마쓰시 (나카진 교차로(일본어판) = 11번 국도의 상부 및 30번 국도의 종점 및 32·193(일본어판)·492번 국도(일본어판)의 종점) 중요한 경과지 : 가가와현 쇼즈군 쇼도시마정·도노쇼정 총 연장 : 96.6 km 중용 연장 : 2.1 km 미공용 연장 : 64.1 km 실제 연장 : 30.4 km 현도 : 29.5 km 구도 : 0.9 km 신도 : 없음 지정 구간 : 11·30번 국도의 중복 구간 1982년 4월 1일 : 일반 국도 436호선(히메지시 - 다카마쓰시)으로 정식 지정 효고현 : 히메지시 가가와현 : 쇼즈군 쇼도시마정 - 쇼즈군 도노쇼정 - 다카마쓰시 국도 제11호선 국도 제30호선 국도 제32호선 국도 제193호선 (일본)(일본어판) 국도 제250호선 (일본)(일본어판) 국도 제492호선 (일본)(일본어판) 효고현 35.3 km, 가가와현 61.3 km 구간만 편성된다. 가가와현 한정 미공용 연장 전체가 해상 구간으로 적용된다. 효고현 100m, 가가와현 800m로 구성된다.
이공주

이공주는 다음 사람을 가리킨다. 이공주(李公柱, ? ~ ?)는 고려 후기의 무신이다. 이공주(李公珠, 1955년 ~ )는 대한민국의 교수이다. 이공주(李公主, 1980년 ~ )는 대한민국의 핸드볼 선수이다. 제목에 "이공주" 항목을 포함한 모든 문서