stanford-oval/wikipedia huggingface dataset:
제2회 서울독립영화제
수상 및 후보 > YES24상

수염 - 최영찬 수상
| v t e서울독립영화제 |
| --- | --- |
연도별 시상식:  1975  1976  1977  1978  1979  1980  1981  1982  1983  1984  1985  1986  1987  1988  1989  1990  1991  1992  1993  1994  1995  1996  1997  1998  1999  2000  2001  2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017  2018  2019  2020  2021  2022  2023
장권

다른 뜻에 대해서는 장권 (무술) 문서를 참고하십시오.

장권(일본어: 長巻 ながまき[*])은 일본의 장병무기 중 하나이다. 전통적으로 만들어진 일본도의 일종이다. 사무라이 계층이 사용했다.
얼핏 보기에 치도와 비슷하게 생겼으며, 마치 치도의 자루를 짧게 하고 날을 길게 하여 비율을 조절한 것처럼 보인다. 그러나 치도와 장권은 그 배경이 전혀 다른 무기이다. 치도는 중국의 대도, 월도류 무기가 일본으로 수입되며 변형되어 나타난 것이고, 장권은 거대한 일본도인 야태도에 긴 자루를 달아 만들어진 것이다. 때문에 치도는 장병무기로서의 성격이 강하지만 장권은 "베어내는" 도검류에 가깝다는 느낌이 강하다. 출현 시기의 경우 장권은 헤이안 시대(794년~1185년)에 처음 생산되었을 가능성이 있지만 가마쿠라 시대(1192~1333년) 중반 이전까지 알려진 예는 없다. 무로마치 시대(1336–1573년)에 장권 사용은 최고치를 찍었다. 일반적으로 도보로 싸우는 하급 사무라이의 무기로 사용되었다.
60cm 이상의 길고 무거운 무기라서 제대로 사용하면 매우 강력한 위력을 발휘했다. 무게를 실어 내리치면 갑옷을 입은 상대의 팔을 잘라낼 수 있었다고 한다. 그러나 전체 무게중심이 검신 부분에 치우쳐 있기 때문에 필연적으로 휘두르기가 힘들어진다. 때문에 장권을 다룬 무사는 상당한 힘이 필요한 장사라 할 수 있다. 이러한 장단점은 마치 서양의 츠바이헨더 따위의 양수검이 갖고 있던 장단점과 그 맥을 같이한다. 센고쿠 시대 들어서 장창과 종자도총이 등장하고 전쟁의 양상도 개인의 무용보다 집단 보병전으로 이행함에 따라, 병사 개인의 강한 힘이 필요한 무기인 장권은 자연스레 도태되었다.
장권술이라 하여 장권을 이용한 무술이 전래되었지만 치도술만큼 성행하지는 못하고 있다.
같이 보기

나기나타
일본도
일본의 국장

국화문장
기리몬이 그려진 일본의 내각총리대신 문장
일본의 국장(일본어: 日本の国章)은 일본 법령상 명확한 국장은 정해져 있지 않지만, 전통적으로 천황이 문장으로 사용하고 오늘날에도 황실이 사실상 가몬으로 사용하는 국화문장이 관례적으로 국가 장에 준한 취급을 받는다.
일본 정부의 상징

이 부분의 본문은 기리몬입니다.
기리몬은 일본의 총리·정부·내각부가 정부의 상징으로 사용하고 있다.
| v t e일본국 |
| --- | --- | --- |
| 개요 |  일본  일본어  국가  국기  언어  수도  |  |
| 역사 |  고대 고훈 시대  아스카 시대  나라 시대  헤이안 시대  중세 가마쿠라 시대  무로마치 시대  센코쿠 시대  근세 아즈치모모야마 시대  에도 시대 근대 일본 제국  메이지 유신  태평양 전쟁  연합군 점령하 일본  현대 쇼와 시대  헤이세이 시대  레이와 시대  |  |
| 지리 |  지방  행정 구역  교통  |  |
| 정치 |  헌법  법  정부  정당 행정기관  국가기관  선거  역대 내각  대외 관계  |  |
| 경제 |  고도경제성장 올림픽 경기  이자나기 경기 거품 경제  잃어버린 10년  잃어버린 20년  아베노믹스  일본의 화폐  |  |
| 사회 |  일본인  교육  종교  민족 문제  대학 목록  |  |
| 문화 |  문학  연극  전통 음악  드라마  영화  만화  애니메이션  웹 애니메이션  세계유산  축제  요리  스포츠  공휴일  |  |
| v t e아시아의 국장 |
| --- | --- |
독립 국가:  네팔  대한민국  동티모르  라오스  러시아¹  레바논  말레이시아  몰디브  몽골  미얀마  바레인  방글라데시  베트남  부탄  브루나이  사우디아라비아  스리랑카  시리아  싱가포르  아랍에미리트  아르메니아¹  아제르바이잔¹  아프가니스탄  예멘  오만  요르단  우즈베키스탄  이라크  이란  이스라엘  인도  인도네시아  일본  조선민주주의인민공화국  조지아¹  중화민국  중화인민공화국  카자흐스탄¹  카타르  캄보디아  쿠웨이트  키르기스스탄  키프로스²  타지키스탄  태국  튀르키예¹  투르크메니스탄  파키스탄  팔레스타인  필리핀 
속령:  마카오  홍콩 
미승인 국가:  아르차흐 공화국¹  남오세티야¹  북키프로스²  압하지야¹ 
기타 지역:  티베트  동튀르케스탄  서파푸아 
 ¹ 일부 영토가 유럽에도 속함. ² 지리적으로는 아시아에 속하지만 역사적, 문화적 이유로 종종 유럽으로 분류됨.
통일 (쌀)

통일벼는 한국의 쌀 품종이다. 인디카와 자포니카를 교잡한 쌀로, 1970년대 대한민국에서 개발된 벼 품종이다.
개발배경

1950년대 중반부터 1960년대까지 베이비붐으로 인구는 매년 3%씩 크게 늘어나는 데 반해 주식인 쌀 생산량은 답보를 거듭하면서 1970년대 초까지 쌀 부족문제가 갈수록 심각해졌다. 외화 부족으로 부족한 쌀을 수입할 수 없었기 때문에, 쌀을 자급하는 일은 국가의 최우선 정책과제였다. 정부는 쌀의 소비를 줄여보고자 혼식 및 밀가루 분식을 장려했고, 심지어는 학교에서 학생들의 도시락을 검사하기도 했다.
이때 중앙정보부는 이집트에서 나다(Nahada)라는 볍씨를 밀수해와서 농촌진흥청에 건네주었다. 1965년 시험 재배한 결과, 기존의 벼보다 30% 이상이나 수확이 커서 '기적의 볍씨'로 소개된 적이 있었다. 박정희 대통령은 이 볍씨게 큰 기대를 걸고 자신의 이름을 따서 '희농 1호'라는 이름까지 붙였다. 막상 1967년 일반 농가에 보급되고 나니 씨받이조차 어려울 정도로 처참한 실패로 끝나고 말았다. 희농 1호는 근본적으로 '열대 지방에 맞는 자포니카형' 품종이었으므로 선선한 가을이 있는 한국 기후와는 맞을 리가 없었다.
연구개발

1960년부터 서울대학교 농과대학 교수로 근무하던 허문회(1927~2010)는 당시 식량부족의 해결책은 품종개량밖에 없다고 판단하고, 생산성이 높은 벼 품종 개발을 계획했다. 이를 위해 1962년 필리핀에 설립된 국제미작연구소(International Rice Research Institute)에서 1964년부터 2년간 연구원으로 근무했고, 생산성이 높은 품종 개발 연구를 시작했다.
과거 일본 농학자들이 연구한 바에 따르면, 1920년대에 벼를 인디카와 자포니카라는 2갈래로 분류한 이래, 두 아종(亞種)을 교배하면 불임이 된다는 것은 사실을 알고 있었다.
그러나 허문회 교수는 인디카와 자포니카를 우선 교배한 뒤 그것을 다시 다른 인디카 품종과 교배하여 안정된 품종을 만드는 전략을 시도했다. 이른바, 3원 교배를 통해 만들어진 잡종 집단으로부터 높은 생산성이 기대되는 벼들이 등장하자, 그는 이 중 우수한 벼 종자를 선발하고 교배하여 세대를 진전시켜 나갔다.
그 결과 1966년 봄에는 IRRI의 유명 품종들과 비슷하게 키는 작고 이삭이 크지만 온대 기후에서도 잘 자랄 수 있는 통일벼를 개발해 내는 데 성공했다. 육종연구시설이 비교적 잘 갖춰져 있는 농촌진흥청과의 협력을 통해 더욱 효과적으로 이루어졌다. 1971년에 ‘통일벼’가 세상에 빛을 보게 되었고, 1972년부터는 농가에 보급되어 재배되기 시작했다.
다른 국가에서 연구

1972년 김일성을 지시로 북한 농업과학원에서 남북한 종자를 비교 실험하였다. 북한 용성벼와 통일벼를 3년을 반복해서 심으며 3번의 비교 연구를 하였는데, 안남미와 교잡하여 수확량은 많지만 열대성으로 북한 기후에 안 맞았고, 연구 결과에서는 북한 벼와 수준이 같았다.
장단점 > 장점

기존의 자포니카 품종들과 비교할 때 평균 30% 이상 높은 수확량.
장단점 > 단점

미질(米質)이 나빠 농민들이나 상인들이 기피.
냉해, 면역성이 나빠 병충해가 빈발.
물사정이 좋아야 함.
노동력을 많이 필요로 하고, 빨리 심어야 함.
볏짚이 짧고 힘이 없음. 새끼를 꼬지 못하게 되어 농한기의 유일한 수입원인 볏짚 가공품을 생산 불능.
재배결과

1974년에는 조생 버전의 조생통일이 나왔고, 통일 계통의 벼로 밥맛을 개선한 유신벼 등도 나왔다. 박정희 정부의 통일벼 재배 권장 시책의 실시로 '통일벼'의 재배면적는 1974년 전체 재배면적의 15%였던 것이 1976년에 44%로 확대되면서 평년보다 21.8% 증가한 521만 5천 톤의 쌀을 생산해냈고, 역사상 최초로 쌀의 자급자족을 달성하게 되었다.
1977년에는 600만 5천 톤의 쌀을 생산했으며, 생산성은 현미 기준으로 1ha당 5.31톤으로서 세계 1위에 이르게 되었고, 쌀의 자급률은 113%를 기록했다. 1978년에는 재배면적이 58%까지 증가하였으나 통일계 벼 품종이 도열병에 감염되는 노풍 파동이 발생했다.
1970년대 말부터는 일반 벼의 생산성도 통일벼 못지않게 높아졌었다. 비료와 농약의 사용법을 일반 벼 재배에도 응용하였기에, 1978년에는 통일 계열(4.9MT/㏊)과 일반 벼(4.4MT/㏊)의 생산성 차이가 10% 안팎으로 크게 줄어들기도 했었다.
1980년에 냉해로 인한 흉년이 발생 및 1인당 국민 소득이 향상되면서 양질미에 대한 선호도가 높아지자 통일벼 재배를 기피하게 되었다. 이에 따라 1989년에는 16%, 1991년에는 4%로 통일벼 재배면적이 크게 저하되었다. 1992년 노태우 정부의 통일벼 수매중단에 따라 국내 농촌에서 완전히 사라졌다.
그러다가 현재 아프리카 식량난 구원투수로 다시금 부상하고 있다.
같이 보기

박정희 정부#농민들의 문제로 결론낸 통일벼 냉해
대한민국 제5공화국#쌀 수입과 통일벼 권장 정책의 중단
노태우 정부#경제
새마을 운동
아일린 퀸

| 에일린 퀸 Aileen Quinn |
| --- | --- |
2019년 모습
기본 정보
본명: 에일린 마리 퀸 Aileen Marie Quinn
출생: 1971년 6월 28일(1971-06-28)(53세) 펜실베니아주 야들리
성별: 여성
국적: 미국
직업:  배우  가수  무용가 
활동 시기: 1982-현재
악기: 보컬
레이블:  컬럼비아 레코드(1981-1993)  인터스코프 레코드(1993-1997)  워너 레코드(1997-2006)  에픽 레코드(2006-2010)  독립(2011-현재) 
웹사이트: aileenquinnandtheleapinlizards.com
에일린 퀸(Aileen Quinn, 영어 발음: /eɪˈlin/, 1971년 6월 28일 ~ )은 미국의 배우이다. 1982년 영화 《애니》의 주인공 애니 역으로 유명하다.
영상 목록 > 영화

애니 (1982)
오즈의 마법사 (1982, オズの魔法使い) - 영어 더빙
영상 목록 > 텔레비전

윌 앤 그레이스 (2020)
음반 목록 > 앨범

Bobby's Girl (1982)
Spin Me (2015)
Lightning and Thunder (2019)
자연 연역

논리학 및 증명이론에서 자연 연역(自然演繹, natural deduction)이란 자연스러운 논리적 추론을 나타내는 증명 연산의 일종으로, 최대한 공리를 배제하고 오직 구문적인 추론 규칙만을 사용한 증명이 이루어지는 것이 특징이다. 이는, 추론규칙의 논리적 법칙을 표현하기 위해 많은 공리들을 이용하는 힐베르트 체계와는 대조된다.
역사

자연 연역은 20세기 초 논리학자들이 명제 논리의 공리화에 문제점을 느낀 것으로부터 시작되었다 할 수 있다. 그러한 공리화된 명제논리의 가장 유명한 예로는 러셀과 화이트헤드가 고안한 수학 원리가 있었다. 폴란드 학파의 얀 우카시에비치(Jan Łukasiewicz)는 논리를 더 자연스러운 방법을 통해 다룰 필요가 있음을 주장하였고, 이에 자극받은 스타니스와프 야시코프스키(Stanisław Jaśkowski)가 1929년 다이어그램 기법을 발표한 것을 시작으로 여러 연구를 진행하여 자연연역 체계를 논문에 제시하기도 하였으나 당시에는 잘 알려지지 않았다.
한편 독일의 게르하르트 겐첸은 독립적으로 1935년 자연 연역 체계를 개발하여 학위논문에 발표하였고 이것이 현대 자연 연역의 기반이 된다. 겐첸은 페아노 공리계의 일관성을 증명하기 위하여 바로 자연연역을 이용했으나, 그 복잡성에 불만을 느껴 1938년에는 시퀀트 계산으로 불리는 새로운 증명구조를 고안한다. 1960년대의 Dag Prawitz는 일련의 강의를 진행하며 자연연역을 포괄적으로 정리하기 시작하였고, 그의 1965년 논문 Natural deduction: a proof-theoretical study에서 제시된 형태는 현재 자연연역의 최종판으로서 양상 논리나 2차 술어 논리에 대한 응용도 제시되어 있다.
자연 연역 논리

자연 연역의 체계는 보통 공리를 가지지 않고 주어진 식에 정해진 변화를 가하는 추론규칙만을 사용한다. 잘 알려진 체계 System L에서는 증명의 구문규칙에 관한 다음의 9가지 추론규칙이 존재한다.
가정 규칙 "The Rule of Assumption" (A)
전건 긍정 "Modus Ponendo Ponens" (MPP)
이중 부정 규칙 "The Rule of Double Negation"
조건 증명 규칙 "The Rule of Conditional Proof" (CP)
∧-도입 규칙 "The Rule of ∧-introduction" (∧I)
∧-제거 규칙 "The Rule of ∧-elimination" (∧E)
∨-도입 규칙 "The Rule of ∨-introduction" (∨I)
∨-제거 규칙 "The Rule of ∨-elimination" (∨E)
귀류법 "Reductio Ad Absurdum" (RAA)
System L에서 증명은 다음의 조건으로 정의된다:
정형논리식(wff)의 유한열로 이루어진다.
각 행은 L의 규칙에 의하여 정당화(형성)된다.
증명의 마지막 행이 '결론'이 되며, 이는 증명의 '전제'(들)만을 사용하여 도출된 것이어야 한다. 전제는 존재하지 않을 수도 있다.
전제가 없는 증명열을 정리(theorem)라 말한다. 곧 L에서 정리란 "L 속에서 공집합인 전제를 사용하여 증명가능한 열"로 정의될 수 있다.
흔히 각 행 옆에는 해당 행의 식의 성립의 근거가 되는 규칙과 행이 함께 표시된다. 다음은 System L (tabular)에서 증명의 예 (후건 부정):
| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
p → q, ¬q ⊢ ¬p  [Modus Tollendo Tollens (MTT)]
| 가정 번호 | 행 번호 | 논리식 (wff) | 근거가 되는 규칙 및 행 |
| 1 | (1) | (p → q) | A |
| 2 | (2) | ¬q | A |
| 3 | (3) | p | A (for RAA) |
| 1,3 | (4) | q | 1,3,MPP |
| 1,2,3 | (5) | q ∧ ¬q | 2,4,∧I |
| 1,2 | (6) | ¬p | 3,5,RAA |
Q.E.D

증명의 예 (배중률)
| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
⊢p ∨  ¬p
| 가정 번호 | 행 번호 | 논리식 (wff) | 근거가 되는 규칙 및 행 |
| 1 | (1) | ¬(p ∨  ¬p) | A (for RAA) |
| 2 | (2) | ¬p | A (for RAA) |
| 2 | (3) | (p ∨  ¬p) | 2, ∨I |
| 1, 2 | (4) | (p ∨  ¬p) ∧ ¬(p ∨  ¬p) | 1, 2, ∧I |
| 1 | (5) | ¬¬p | 2, 4, RAA |
| 1 | (6) | p | 5, DN |
| 1 | (7) | (p ∨  ¬p) | 6, ∨I |
| 1 | (8) | (p ∨  ¬p) ∧ ¬(p ∨  ¬p) | 1, 7, ∧I |
|  | (9) | ¬¬(p ∨  ¬p) | 1, 8, RAA |
|  | (10) | (p ∨  ¬p) | 9, DN |
Q.E.D

System L의 각 규칙들은 제각각 input으로 받아들일 수 있는 식의 타입을 규정해놓고 있으며 그 input에 쓰이는 가정을 다루는 법 역시 제각각 다르다.
위의 tabular 표기법과 유사한 Fitch diagram 표기법이 있는데, 근본적으로 표기방식 이외에 큰 차이는 없다. 그러나 표기법과 별개로 공리적 명제논리가 어떤 공리 또는 추론규칙을 채택하는가는 제각각 달라진다.
형식적 정의

명제의 유한열  \beta _{1},...,\beta _{n} 이 전제식의 집합  \Sigma 로부터 결론식  \alpha 로의 연역(deduction)이라 함은, 다음이 모두 성립함을 가리킨다:
\beta _{n}=\alpha
모든  1\leq i\leq n에 대하여,  \beta _{i}가 전제식이거나(곧  \beta _{i}\in \Sigma 이거나)  \beta _{i}가 이전에 출현한 명제에 어떠한 추론규칙을 적용한 결과식이다.
공리적 명제논리의 종류에 따라 채택되는 공리나 추론규칙이 다르다. 예를 들어 프레게는 연역체계를 구성할 때 6개의 공리와 2개의 규칙을 정해놓았고, 프린키피아 마테마티카는 5개의 공리로부터 구성되는 체계를 보이기도 했다.
얀 우카시에비치의 명제 논리에서는 다음과 같은 공리계 A를 사용했다:
[PL1] p → (q → p)
[PL2] (p → (q → r)) → ((p → q) → (p → r))
[PL3] (¬p → ¬q) → (q → p)
그리고 추론규칙계 R에는 전건긍정(MP)을 포함했다.
[MP] α, α → β ⊢ β
추론규칙에 의해 Σ에 포함되는 논리식과 공리들로부터 새로운 논리식을 도출해낼 수 있다.
판단과 명제

자연 연역의 일련의 과정은 이미 올바른 명제들에 추론규칙(inference rule)을 적용하여 또다른 올바른 명제를 이끌어내는 것이다. 즉 연역의 일련의 과정은 결론이 되는 명제에 대한 증명을 구성하는 과정이기도 하다.
논리에서 가장 중요한 판단인 "A는 참이다"라는 형태를 보면, 문자 A는 명제를 나타내는 어떠한 표현으로도 치환될 수 있는데, 이에 따라 진위 판단은 더 기본적인 판단, "A는 명제이다"라는 판단을 필요로 한다. 가장 기본적인 두 판단 "A는 명제이다"와 "A는 참이다"는 자연연역에서 각각 "A prop" 와 "A true"라는 약자로 표기된다.
형성 규칙(formation rule)의 일반적인 형태는 다음과 같다:
여기서 각  J_{i}는 명제이고 추론 규칙의 이름이 "name" 칸에 들어간다. 직선 위의 명제를 전제(premise)라 하고, 직선 아래의 명제를 결론(conclusion)이라 한다.
두 명제 A와 B가 있다 하고 이로부터 복합 명제인 논리곱  A\wedge B를 구성해낸다 하자. 이 도식(꼴)을 추론규칙의 형식에 따라 이렇게 쓸 수 있다:
형성 규칙에 따라 명제를 형성하는 것은 그저 그것이 구성될 수 있음을 명시하는 것이지 그것이 참임을 의미하는 것은 아니다. 따라서 연언( \wedge ), 선언( \vee ), 부정( \neg ), 함의( \implies ), 항진( \top ), 모순( \bot )을 도입하는 다양한 formation 과정을 생각할 수 있고 이를 통해 항상 새로운 명제를 구성할 수 있다.
도입과 소거

참인 명제로부터 참인 명제를 이끌어내는 생성규칙을 추론규칙(inference rules)이라 부른다. 이 경우 각 명제가 true임이 드러나야 한다. 다만 흔히 추론규칙에 의한 연역임이 자명할 때 생략될 수 있다.
참인 명제에서 더 복합적인 참인 명제를 구성하는 추론규칙을 도입 규칙(introduction rules)이라 한다. 예컨대 논리곱을 도입한다는 것은 명제 "A true"와 "B true"에서 "A and B true"라는 결론을 이끌어낸다는 것이며, 이를 추론규칙으로 표기하면 다음과 같다:
이때 각 대상이 명제라는 것은 자명하다고 보아졌으며, 원래대로 정확히 표현하면 다음과 같이 된다:
아래는 여러 도입 규칙들이다:
논리곱을 도입하는 연언 도입:
논리합을 도입하는 선언 도입. 명제의 진리치가 세워지는 과정이 1가지가 아니므로 선언 도입은 사실 2가지 규칙의 총칭이다:
{\frac {A}{(A\vee B)}}\ \vee _{I}\qquad {\frac {B}{(A\vee B)}}\ \vee _{I}
항진 도입. 항진(참)은 전제가 전혀 없는 경우에도 도출된다:
 {\frac {\ }{\top {\hbox{ true}}}}\ \top _{I}
한편, 아무 전제도 없이 모순(거짓)을 도입하는 도입규칙은 존재하지 않는다. 따라서 더 단순한 판단으로부터 거짓을 추론해내는 것은 불가능하다.
도입규칙의 반대 꼴이 되는 소거 규칙(elimination rules)이라는 것이 존재하는데, 이는 거꾸로 복합적인 명제를 해체해내는 추론규칙이다. 예를 들어 논리곱을 제거하는 연언 소거가 있다:
{\frac {A\wedge B}{A}}\ \wedge _{E}\qquad {\frac {A\wedge B}{B}}\ \wedge _{E}
추론규칙들을 적용하여 다음과 같이 논리곱의 교환법칙을 증명할 수 있다.
{\cfrac {{\cfrac {A\wedge B}{B}}\ \wedge _{E2}\qquad {\cfrac {A\wedge B}{A}}\ \wedge _{E1}}{B\wedge A}}\ \wedge _{I}
가설적 도출

논리학에는 가정에 의한 추론(inferece by assumptions)이 있다. 이를 나타내기 위하여 가설적 도출의 기법이 사용된다.
A가 참임을 가정하여 B가 참임을 도출하였다는 것을, 다음과 같이 쓸 수 있다.
이에 관한 추론규칙으로는 함의 도입이 있다. A true를 가정했을 때 B true가 도출되면 (A ⊃ B) ture를 인정한다.
이와 연관된 규칙으로써 후건 부정, 즉 not B인 상황에서 A를 가정했을 때 B가 도출된다면 not A를 추론하는 것 등이 있다.
일관성, 완전성, 정규형

수리논리에서는 형식적 이론에서 모순이 추론될 수 없으면 그 이론은 일관적 또는 무모순적(consistent)이라 하고, 참인 문장을 추론 규칙에 의해 도출할 수 있으면 완전(complete)하다고 한다. 흔히 이들은 모델론적 방식으로 이해되지만 증명론에서 제한적 의미의(local) 무모순성과 완전성은 순수하게 구문론적인 방식만으로 확인될 수 있다.
local consistency는 도입규칙이 이어지다가 바로 뒤에 소거규칙이 사용된 도출은 반드시 이러한 '우회'가 없는(즉, 이 소거규칙이 없는) 도출로도 대체될 수 있음을 말한다. 예를 들어 A와 B에서 연언 도입으로 A∧B를 도출하고 다시 연언 소거로 A를 도출했다고 하자. 이는 A에서 A를 도출하는 것으로 축약될 수 있다. 이 성질은 소거규칙의 '강도'를 확인해주는 것이다. 그말인즉슨 소거규칙이 '너무 강하면' 이미 언급되지 않은 정보를 도출하게 되어버려 local consistency가 성립할 수 없다.
한편 local completeness는 그 쌍대(dual)가 되는 개념으로 소거규칙이 '충분히 강해서' 본래의 식을 다시 도입할 수 있는 정도가 됨을 확인해준다. 예를 들어 A∧B를 도출하는 과정은, A∧B에 연언 소거를 적용하여 A와 B를 각각 도출하고 이 둘로부터 연언 도입으로 다시 A∧B를 도출하는 더 복잡한 과정으로 대체될 수 있다.
커리-하워드 대응(Curry-Howard correspondence)에 의하면 local consistency와 local completeness는 각각 람다 계산의 베타 축약(β-reduction)과 에타 변환(η-conversion)과 일치하는 개념이다. completeness에 나온 것처럼 소거와 도입을 차례로 적용하는 과정으로만 이루어진 도출을 표준형(normal form)이라 하며, 모든 도출은 대응하는 표준형을 가짐이 여러 방법으로 증명되어 있다. 이는 추상 재작성 시스템 연구와 연관된다.
같이 보기

시퀀트 계산
1차 논리
양상 논리
연역
자유의 혼

| 자유의 혼 A Free Soul |
| --- | --- |
극장 개봉 포스터
감독: 클래런스 브라운
각본: 존 미핸
출연: 라이어널 배리모어 노마 시어러 레슬리 하워드
촬영: 윌리엄 H. 대니얼스
편집: 휴 윈
개봉일:  1931년 6월 2일 (1931-06-02)(뉴욕시)  1931년 6월 20일 (1931-06-20)(미국) 
시간: 91분
국가: 미국
언어: 영어
자유의 혼(A Free Soul)은 미국에서 제작된 클래런스 브라운 감독의 1931년 드라마 영화이다. 라이어널 배리모어, 노마 시어러 등이 주연으로 출연하였다.
출연 > 주연

라이어널 배리모어
노마 시어러
레슬리 하워드
출연 > 조연

제임스 글리슨
클라크 게이블
루시 보몬트
제작진

미술: 세드릭 기븐스
의상: 에이드리안
자기확증문서

자기확증문서 혹은 당연 진정성립 문서란 미국의 증거법상 추가적 증명없이 문서의 내용을 증거로 인정할 수 있는 문서를 말한다. 자기확증문서로는 공증된 공문서 및 사업체 기록, 정부공식간행물, 신문이나 잡지기사, 상품 라벨, 공증된 문서, 상업어음 등이 있다. 개인이 작성한 유언장은 증인의 증언이나 필체 감식등 확인과정을 거쳐야 하므로 자기확증문서가 아니다.
사례

통조림통에 "위키식품"이라고 라벨이 되어 있는 경우, 부가적 증명행위 없이 통조림이 위키식품에서 제조되었다고 본다.
예

비지니스이나 관공서 기록의 공증된 등본: *자동차 등록증 양식의 등본
공공 기관에서 발행되는 공식 출판물: 연방항공기구의 공식간행물인 항공안전규정 팜플렛
신문 및 정기 간행물: 뉴스위크지나 월스트리트 저널
(소유 또는 통제를 나타내는)  무역 비문이나 라벨
인정 문서- 진위공증 인증이 부착
통일상법전에 의해 허가 된 범위 하 기업 어음에 서명
임둔군

한사군의 역사적 위치
임둔군(臨屯郡)은 전한(前漢)의 무제(武帝)가 기원전 108년에 고조선(古朝鮮)을 멸하고 세운 한사군 중 하나이다. 본래는 임둔국(臨屯國)
이었으나 기원전 2세기에 위만조선에 복속하여 위만조선의 행정구역이 되었다. 기원전 108년에 위만조선을 멸망시킨 전한은 위만조선의 행정구역을 그대로 계승하여 임둔 지역에 임둔군을 설치하였다. 기원전 82년에 군이 폐지되고 소속 현들은 현도군에 편입되었으며, 기원전 75년에 현도군이 북쪽으로 옮겨가자 다시 낙랑군에 편입되어 동부도위(東部都尉)의 관할을 받게 되었다.
역사

임둔은 원래 고조선 근방에 있던 독립국가였던 것으로 보인다. 기원전 2세기에 위만(衛滿)이 준왕(準王)을 몰아내고 집권한 이후 임둔은 위만조선에 복속하였다. 위만조선은 복속한 임둔 지역을 그대로 행정구역으로 편입하였다. 기원전 108년, 위만조선을 멸망시킨 전한은 위만조선의 행정구역을 그대로 계승하여 임둔 지역에 임둔군을 설치하였다. 임둔군의 치소는 동이현(東暆縣)이며, 15개 현을 관할하였다고 한다. 그러나 명칭이 전해지는 현은 후에 동부도위 관할로 편입된 영동7현(嶺東七縣)뿐이다.
임둔군은 설치된 이후 토착민들의 저항에 부딪혀 기원전 82년에 진번군과 함께 폐지되었다. 임둔군의 영역은 현도군에 편입되었는데, 다시 기원전 75년에 현도군이 토착민들의 저항 때문에 북쪽의 신고구려현(新高句麗縣)으로 옮겨지자 소속 15개 현 가운데 7개 현이 낙랑군에 편입되었다. 낙랑군에 편입된 현은 단단대령(單單大嶺)으로 막혀 있었고 거리가 너무 멀어 낙랑군이 직접 관할하기 어려웠다. 그래서 이 지역을 관할하기 위해 동부도위(東部都尉)가 설치되었다. 동부도위의 7현은 30년에 철폐되었다.
위치에 대한 논란

고려 및 조선시대에는 대체로 강릉에 임둔이 위치해 있었다고 보았으며 강원도 일대라는 주장, 경기도 서부 지역이라는 주장 등이 제기되었다. 일제강점기에 낙랑군을 발굴 조사하면서 한사군에 대한 비정이 이루어졌을 때, 임둔군은 함경도 남부 및 강원도 일대로 비정되었다. 역사학계 및 고고학계에서는 영흥 소라리 유적 및 부조예군 인장 등의 발굴 결과를 토대로 함경남도 남부와 강원도 북부 일대가 임둔군이라 보고 있다. 그러나 일부 역사학자들은 이러한 발굴 결과가 조작된 것이라 주장하며 임둔태수장(臨屯太守章)이 랴오닝성 서부 지역에서 발굴되었다는 사실을 토대로 임둔군이 요서 지방에 설치되었다고 주장한다.
같이 보기

한사군
낙랑군
현도군
진번군
창해군
동예
한중 관계
안윤관

|  안윤관 安允寬 |
| --- | --- |
대한민국 임시정부의 군무부 행정관
임기 : 1926년 2월 9일 ~ 1926년 2월 15일
대통령 : 이상룡 대한 임정 대통령
총리 : 이동녕 대한 임정 국무령
장관 : 오영선 대한 임정 군무총장 직무대행 서리
차관 : 이춘숙 대한 임정 군무차장 직무대행 서리

신상정보
출생일 : 1892년 12월 23일(1892-12-23)
출생지 : 조선 평안도 덕천
거주지 : 대한민국 서울
사망일 : 1950년 12월 26일(1950-12-26)(58세)
사망지 : 대한민국 전라남도 고흥
경력 : 한국독립당 당무위원 겸 행정위원
정당 : 무소속
본관 : 순흥(順興)
종교 : 유교(성리학)
웹사이트 : 대한제국 국가보훈처 공훈록
상훈 : 1986년 3월 1일 대한민국 대통령 표창장 추서 1990년 3월 1일 대한민국 건국훈장 애족장 추서
안윤관(安允寬, 1892년 12월 23일(1892-12-23) ~ 1950년 12월 26일(1950-12-26))은 일제 강점기의 독립운동가이다. 본관은 순흥(順興), 호(號)는 덕천(德川)이다.
생애

평안도 덕천(德川)에서 출생하여 지난날 한때 전라도 정주와 전라남도 담양을 거쳐 전라남도 순천에서 잠시 유아기를 보낸 적이 있으며 1898년에 평안남도 덕천 향리 땅으로 귀향하여 성장하였다.
1920년 3월 대한독립단(大韓獨立團) 덕천지부(德川支部)에 가입하여 동지들과 군자금 100원을 헌납하는 동시에 군자금으로 70원을 모집하는 활동을 하다가 일경에게 피체되었다.
1921년 10월 26일 평안남도 평양지방법원에서 징역 3년형이 확정되어 옥고를 치렀으며 1924년에 만기출감하였다.
그 후 1925년 중화민국에 건너가서 국민정부 시대 중화민국 대륙 본토 장쑤 성 상하이 주재 대한민국 임시정부 예하 한국독립당 행정위원을 1925년 11월에서 1926년 2월까지 지냈으며 1926년 2월에 한국독립당 탈당한 후 중화민국 장쑤 성 난징, 중화민국 푸젠 성 푸저우, 중화민국 광둥 성 광저우 등지에서 소작농과 보따리 장수 등으로 기거하다가 1938년 조선국 고국에 귀국하였으며 1945년 8월 15일 경기도 인천 제물포에서 일본국 패망과 조선국 광복을 목도하였다.
그 후 미 군정 남조선 과도정부 시대 서울 땅에 입성하여 서울에 있던 중 1950년 한국 전쟁 시절에 최남쪽 지방 땅으로 피난하여 결국 전라남도 고흥 피난지에서 병사하였다.
사후

그의 사후 대한민국 정부에서는 고인의 공훈을 기리고자 1986년 3월 1일을 기하여 대한민국 대통령 표창장이, 1990년 3월 1일을 기하여 대한민국 건국훈장 애족장이 각각 추서되었다.
일본 내각

관례상 ‘오칠동화문(五七桐花紋)’은 일본의 총리 및 내각의 문장으로 여겨진다.
내각(內閣)은 일본의 행정을 담당하는 기관이다. 내각법 제2조에 의거하여 내각총리대신과 14명 이내의 국무대신(특별히 필요가 있다고 인정될 때는 17명 이내)으로 구성된다.
역사

1885년 12월 22일에 이토 히로부미가 ‘내각관제’에 근거하여 초대 내각총리대신으로 조직한 것을 유래로 한다(다만 내각이라는 용어 자체는 1873년에 태정관에 설치된 태정대신과 참의로 구성되는 합의체를 가리켜 사용한 것이 최초).
4년 뒤 일본제국 헌법에 행정은 천황이 실시하고 국무대신은 천황을 보필한다고 규정되었지만, 내각과 내각총리대신과 관련된 규정은 없었다. 내각은 당시의 법령인 ‘내각관제’로 규정되었지만, 내각총리대신은 같은 국무대신 중의 수석이라고만 할 따름인데다 직무조차 명확하게 규정되지 않은 상태였다. 내각의 각료에 대한 임면권은 천황이 가지고 있었고, 중요한 문제로 내각총리대신과 국무대신의 의견이 서로 대립할 때(각내불통일)에는 즉시 내각총사직으로 귀결되었다.
또한 내각총리대신은 천황이 내각을 조성하라고 명할 때가 있었지만, 그 실질적인 각료의 인선은 ‘원로’나 ‘중신’으로 불리는 총리대신 경험자 등의 추천을 통해 임명되었다. 그 때문에 다이쇼 시대 말기부터 쇼와 시대 초기의 정당 내각 시대까지도 어디까지나 총선거의 결과를 참조하여 원로가 추천하여 정당의 당수에게 천황의 명령을 내렸던 것이다.
또한 조각에서도 한때를 제외하고 육·해군 대신은 현역 대장이나 중장을 임명하는 규정이 사용되어, 군이 그 규정을 이용하여 조각에 개입하는 일도 종종 있었다. 게다가 육·해군은 행정권의 대상이 아니라, 천황이 행사하는 통수권의 대상이기 때문에 내각이 군사정책에 관여하는 일도 사실상 어려울 수밖에 없었다.
제2차 세계 대전이 끝나고 새 헌법 즉, 일본국 헌법이 제정되어 내각이 명실공히 행정권을 행사하는 기관이 되었다. 또한 내각관제를 대체하여 내각법이 제정되었다.
위치

일본국 헌법 제5장에서는 내각에 대해서 규정하고 있다.
행정권을 담당하는 최고의 합의체로서, 헌법상 국회(입법) 및 재판소(사법)와 대등한 위치의 기관이다.
국회와 연대하여 책임을 진다.
의원내각제를 채택한다.
내각총리대신이 수장적 지위를 가진다.
내각총리대신의 국무대신 임면권이 보장된다.
헌법에 규정된 직무

제73조 내각은 다른 일반 행정사무 외에 다음과 같은 사무를 행한다.
법률을 성실히 집행하고, 국무를 총리하는 것.
외교 관계를 처리하는 것.
조약을 체결하는 것. 다만 사전에, 경우에 따라서는 사후에 국회의 승인을 거치는 것을 요한다.
법률의 정하는 기준에 따라 관리에 관한 사무를 장리하는 것.
예산을 작성하여 국회에 제출하는 것.
이 헌법 및 법률의 규정을 실시하기 위하여 정령(政令)을 제정하는 것. 단 정령에는 특히 그 법률이 위임하는 경우에만 벌칙을 둘 수 있다.
대사(大赦), 특사(特赦), 감형, 형의 집행의 면제 및 복권을 결정하는 것.
제7조 천황의 국사행위에 대한 조언과 승인 (내각은 그 책임을 진다.)
제6조 2항 최고재판소 장관의 지명
제79조 1항 및 제80조 1항 최고재판소와 하급 재판소의 재판관의 임명
호칭

제○차 ○○ 내각이란 수상경험자가 수상지명선거로 선출된 후 조성한 내각을 지칭한다.
개조내각이란 법률상 내각이 총사직해야 할 이유가 없지만, 총리대신이 국무대신의 교체를 목적으로 다시 조성한 내각을 가리킨다. 2회 이상 내각을 개조한 경우에는 제○차 ○○ 개조내각이라고 부른다.
구성원의 요소

각료의 조건은 총리대신 및 국무대신이다. 법무대신이나 외무대신, 내각관방장관 등의 중앙성청의 장에 오르는 것은 조건이 아니다(무임소장관도 포함한다). 이들 중앙성청의 장이 각료가 되는 것은 법률상 일본에서의 각료인 조건은, 내각총리대신과 국무 대신인 일. 법무대신이나 외무대신, 내각관방장관등의 중앙 부처의 장에 오르는 일은 조건은 아니다(무임소장관도 허용된다). 이것들 중앙 부처의 장이 각료로 다루어지는 것은, 법률에 “해당 직위는 국무대신으로 한다”고 명기되어 있기 때문이다.
조각의 순서

국회에서 내각총리대신을 지명한다. (수반 지명 선거)
천황이 내각총리대신을 임명한다. (친임식)
내각총리대신이 국무대신을 임명한다.
천황이 국무대신을 인증한다. (내각의 완성)
내각총리대신이 국무대신을 보직(각 성청의 대신)에 임명한다.
※ 이상은 헌법상의 순서이다.
같이 보기

일본의 역대 내각
일본국 정부
입법부
국회
참의원
중의원
행정부
내각총리대신
국무대신
사법부
일본의 재판소
일본 최고재판소
센터 미나미역

| 센터 미나미 |
| --- | --- |
 블루 라인의 승강장 모습
ko
개괄
관할 기관 : 요코하마 시 교통국
소재지 : 가나가와현 요코하마시 쓰즈키구
좌표 : 북위 35° 32′ 43.7099″ 동경 139° 34′ 27.4368″﻿ / ﻿북위 35.545474972°  동경 139.574288000° ﻿ / 35.545474972; 139.574288000
개업일 : 1993년 3월 18일
역 번호 : 블루 라인: B29 그린 라인: G04
승강장수 : 2면 4선
거리표
요코하마 시 교통국 지하철 3호선
간나이 기점 16.7 km
   ← 나카마치다이  (2.3 km)  센터 기타 → (0.9 km)
     
요코하마 시 교통국 지하철 4호선
나카야마 기점 4.8 km
   ← 쓰즈키후레아이노오카  (1.7 km)  센터 기타 → (0.9 km)
     
센터 미나미 역(일본어: センター南駅, センターみなみえき)은 일본 가나가와현 요코하마시 쓰즈키구에 있는 요코하마 시 교통국의 역이다.
구조

2면 4선의 승강장이 있는 고가역이다.
구조 > 승강장

| 0 | 1 | 2 |
| --- | --- | --- |
| 1 | ■ 그린 라인 | 나카야마 방면 |
| 2 | ■ 그린 라인 | 히요시 방면 |
| 3 | ■ 블루 라인 | 신요코하마·요코하마·간나이·가미오오카·도쓰카·쇼난다이 방면 |
| 4 | ■ 블루 라인 | 아자미노 방면 |
역사

1993년 3월 18일: 블루 라인의 철도역이 영업 개시.
2008년 3월 30일: 그린 라인의 철도역이 영업 개시, 환승역이 됨.
인접한 역

| 요코하마 시 교통국 ■ 지하철 3호선 |
| --- | --- | --- |
| B28 나카마치다이 쇼난다이 방면 | ■ 지하철 블루 라인 | 센터 기타 B30 아자미노 방면 |
요코하마 시 교통국 ■ 지하철 4호선
| G03 쓰즈키후레아이노오카 나카야마 방면 | ■ 지하철 그린 라인 | 센터 기타 G05 히요시 방면 |
| v t e요코하마 시영 지하철 블루 라인 |
| --- | --- |
쇼난다이 - 시모이다 - 다테바 - 나카다 - 오도리바 - 도쓰카 - 마이오카 - 시모나가야 - 가미나가야 - 고난추오 - 가미오오카 - 구묘지 - 마이타 - 요시노초 - 반도바시 - 이세자키초자마치 - 간나이 - 사쿠라기초 - 다카시마초 - 요코하마 - 미쓰자와시모초 - 미쓰자와카미초 - 가타쿠라초 - 기시네코엔 - 신요코하마 - 기타신요코하마 - 닛파 - 나카마치다이 - 센터 미나미 - 센터 기타 - 나카가와 - 아자미노
| v t e요코하마 시영 지하철 그린 라인 |
| --- | --- |
나카야마 - 가와와초 - 쓰즈키후레아이노오카 - 센터 미나미 - 센터 기타 - 기타야마타 - 히가시야마타 - 다카타 - 히요시혼초 - 히요시
잭슨군 (오클라호마주)

잭슨군 또는 잭슨 카운티(Jackson County)는 미국 오클라호마주에 위치한 군이다. 2010년 기준으로 이 지역의 인구 수는 총 26,446명이다. 2018년 추산으로 이 지역의 총 인구 수는 24,949명이다.
인구

| 역사적 인구> 인구조사 | 역사적 인구> 인구 | 역사적 인구>  | 역사적 인구> %± |
| --- | --- | --- | --- |
| 1910년 | 23,737 |  | — |
| 1920년 | 22,141 |  | −6.7% |
| 1930년 | 28,910 |  | 30.6% |
| 1940년 | 22,708 |  | −21.5% |
| 1950년 | 20,082 |  | −11.6% |
| 1960년 | 29,736 |  | 48.1% |
| 1970년 | 30,902 |  | 3.9% |
| 1980년 | 30,356 |  | −1.8% |
| 1990년 | 28,764 |  | −5.2% |
| 2000년 | 28,439 |  | −1.1% |
| 2010년 | 26,446 |  | −7.0% |
| 2018 (추산) | 24,949 |  | −5.7% |
U.S. Decennial Census 1790-1960 1900-1990 1990-2000 2010-2013
일신로 (인천)

| 인천광역시도 |
| --- | --- |
일신로
총연장: 1.299 km
기점: 인천광역시 부평구 일신동 109-12 황굴삼거리
주요 경유지: 인천광역시 부평구 일신동
종점: 인천광역시 부평구 일신동 90
주요 교차도로 : 경인로 항동로
일신로(日新路)는 인천광역시 부평구 일신동에 있는 도로이다. 도로명은 행정구역명인 일신동을 이용하여 도로명이 명명되었던 것에서 유래하였다.
노선 정보

총 연장 : 1.299 km
기점 : 인천광역시 부평구 일신동 109-12 (황굴삼거리 = 경인로와 접촉)
종점 : 인천광역시 부평구 일신동 90
지리 > 통과하는 지자체

인천광역시
부평구 (일신동)
지리 > 접촉하는 도로

경인로 (국도 제46호선)
항동로
간접 접촉 도로 : 무네미로
지리 > 주변에 있는 시설

대림각
인일의료재단 인천제일의원
일신해장국
페리카나 일신점
일신풍림우편취급국
부평동성교회
송암 노인요양원
부개파출소
그린우렁쌈밥
킹콩샤워 송내직영점
겐코비하우스
CU 부평일신로터리점
동서푸른빌
더헤리티지
강남프라임
두산전동지게차
르노코리아 서비스코너 인천일신점
금아금속공업
명신안료
국제프린텍
린나이 부평구대리점 나우
하늘마을
기쁨의교회
치킨마루 일신동점
보은건설
인천금마초등학교
GS부평자이아파트
에어컨설치 신신ENG
잭슨군 (앨라배마주)

잭슨군 또는 잭슨 카운티(Jackson County)는 미국 앨라배마주에 위치한 군이다. 2010년 기준으로 이 지역의 인구 수는 총 53,227명이다. 2019년 추산으로 이 지역의 총 인구 수는 51,626명이다.
인구

| 역사적 인구> 인구조사 | 역사적 인구> 인구 | 역사적 인구>  | 역사적 인구> %± |
| --- | --- | --- | --- |
| 1820년 | 8,751 |  | — |
| 1830년 | 12,700 |  | 45.1% |
| 1840년 | 15,715 |  | 23.7% |
| 1850년 | 14,088 |  | −10.4% |
| 1860년 | 18,283 |  | 29.8% |
| 1870년 | 19,410 |  | 6.2% |
| 1880년 | 25,114 |  | 29.4% |
| 1890년 | 28,026 |  | 11.6% |
| 1900년 | 30,508 |  | 8.9% |
| 1910년 | 32,918 |  | 7.9% |
| 1920년 | 35,864 |  | 8.9% |
| 1930년 | 36,881 |  | 2.8% |
| 1940년 | 41,802 |  | 13.3% |
| 1950년 | 38,998 |  | −6.7% |
| 1960년 | 36,681 |  | −5.9% |
| 1970년 | 39,202 |  | 6.9% |
| 1980년 | 51,407 |  | 31.1% |
| 1990년 | 47,796 |  | −7.0% |
| 2000년 | 53,926 |  | 12.8% |
| 2010년 | 53,227 |  | −1.3% |
| 2019 (추산) | 51,626 |  | −3.0% |
U.S. Decennial Census 1790–1960 1900–1990 1990–2000 2010–2017
암구호

암구호(暗口號)는 군대 등 보안이 필요한 단체에서 사용하는 단어 문답에 의한 신호로서, 서로가 같은 보안조직의 구성원임을 인증하기 위해 미리 정해 놓은 문답이다. 문어와 답어로 구성된다. 대한민국에서는 "화랑"이라고 물으면 "담배"라고 대답하는 암구호가 유명하다. 제2차 세계 대전 중 디데이에 연합군이 사용한 잘 알려진 암구호가 있는데, 이 때 사용한 것은 flash - thunder - welcome이다. (welcome은 독일인 구분을 위해 사용함)
사용

암구호는 전군이 통일한 사항으로 매일매일 바뀌는 것이 원칙이다. 암구호는 적이 유추하기 어렵게 하기 위해 서로 연관성이 없는 두개의 단어나 문장 등을 사용해야 한다. 피 식별인에게 암구호를 물어봤지만 암구호를 모를 시엔 수하를 실시한다. 수하 시에 암구호로 피아를 식별하는 방법은 다음과 같다. 만약 문어가 '경계', 답어가 '철저'일 때, 초병은 "경계"라고 말하며 피수하자가 답어를 대답하게 하거나, "암구호!"라고 말하며 문어와 답어를 모두 답하게 하는 경우가 있다.
암구호를 모르지만 아군일 경우도 있기 때문에 총기의 사용은 적이 도주하거나 공격할 시에 가능하도록 규정하고 있다.
특징

암구호의 문어와 답어는 간단, 명료한 것으로 정해야한다. 짧은 단어가 아닌 긴 문장으로 정할 경우에 적군이 신분을 알아채고 바로 공격을 할 수 있기 때문이다. 세계 여러 나라에서 암구호를 선정하는 방식은 다양하나 간단, 명료해야한다는 원칙은 동일하다. 단어가 아닌 숫자를 사용하는 경우도 있으며 2중 암구호를 사용하는 등 다양한 종류가 파생되어 존재한다.
암구호는 같은 조직의 구성원임을 확인하기 위한 문답이기 때문에 다른 언어를 사용하는 국가 간 전쟁보다 동일 언어를 사용하는 국가 간 전쟁에서 필요성이 크다.  암구호가 적군에게 노출될 경우 아군과 적군을 구분할 수 없기 때문에 암구호는 보안을 유지하는 것이 중요하다. 암구호가 적군에게 노출될 수도 있다는 단점을 보완하기 위해서 합수어를 사용하는 경우도 있다.
합수어

합수어는 숫자를 통해 피 식별자의 신분을 확인하는 방법이다. 하나의 숫자를 정하고 숫자를 외쳤을 때 상대방이 정해진 숫자와 외친 숫자의 차를 말하는 방식이다. 예를 들어 정해진 숫자가 25일 경우 10을 외치면 상대방은 15를 외쳐야 하는 것이다.
전파 방법

암구호는 군사 3급 비밀로, 보안 유지가 매우 중요하기 때문에 전파를 할 때 반드시 구두로 전파해야한다. 대한민국의 경우 군법으로 이를 규제하고있다. 메시지, 전화 등 다른 매체를 통해 전파하는 것은 모두 군법으로 제재된다.
유출 사건

• 2020년 2월 - 강원도의 한 부대에서 외박에서 복귀하던 A 일병이 카카오톡으로 암구호를 문의했고, B 일병이 이를 공유한 사건이 발생했다. 당일 낮에 변경된 암구호를 알고 있는 A 일병을 이상하게 여긴 위병소 근무자의 보고에 의해 알려졌다. A 일병과 B 일병은 모두 징계 처분을 받았다.
같이 보기

비밀번호
정나은

| 정나은 |
| --- | --- |
한글 표기:: 정나은
개정 로마자 표기:: Jeong Naeun
매큔-라이샤워 표기:: Chŏng Naŭn
예일 표기:: Ceng Naun
공식 로마자 표기:: Jeong Na-eun
정나은(2000년 6월 27일~)은 대한민국의 배드민턴 선수이다. 2024년 하계 올림픽에 참가하였으며, 혼합 복식에서 김원호 선수와 함께 은메달을 기록하였다.
후배 시절 파트너인 왕찬과 함께 2018년 세계 주니어 선수권 대회에서 동메달을, 아시아 주니어 선수권 대회에서는 은메달을 획득했다.
경력

김혜정과 호흡을 맞춰 2021년 인도네시아 마스터스 결승에 진출했지만 일본의 마쓰야마 나미, 시다 지하루에게 패했다.
2022년에는 올 잉글랜드 오픈에서 준결승에 진출했다. 몇 달 후, 정나은과 김혜정은 벤야파 에임자르드, 눈타칸 에임자르드를 21–16, 21–12의 점수로 꺾고 코리아 오픈에서 우승했다. 2022년 우버 컵에서 금메달을 획득한 한국 팀의 일원이었다.
임란 (성우)

| --- | --- |
국적:  대한민국
출생: 1966년 9월 29일(1966-09-29)(58세) 
활동 기간: 1990년 ~ (KBS 22기)
소속: 한국방송 성우극회 (프리랜서)
임란은 대한민국의 성우이다. 1990년 KBS에 입사했으며, 현재는 KBS 22기이다. 한국방송 성우극회 소속.
주요 출연작품 > 애니메이션

마법소녀 리나 (SBS) - 헬 마스터 피브리죠 / 미미
주요 출연작품 > 영화

미스틱 피자 (SBS)
코리나 코리나 (SBS)
주요 출연작품 > 외화

X파일 (KBS)
주요 출연작품 > 성경 낭송

입체 낭송 성경 - 밧세바
자연 숙주

자연 숙주(영어: natural reservoir, 라틴어: nidus →둥지)는 전염병의 병원체가 장기간 머무는 숙주이다. 자연 숙주는 병원체가 옮기는 질병에 걸리지 않거나, 무증상 감염이 되어 무증상 혹은 치명적이지 않은 증상을 보이는 경우가 많다. 자연 숙주가 한번 발견되면 전염병의 전파 주기를 온전히 밝힐 수 있기 때문에 그 병에 대한 예방과 통제를 효과적으로 할 수 있다.
바이러스 중에는 오로지 인간만을 숙주로 삼는 바이러스도 있으며, 소아마비와 천연두가 대표적이다. 인간 이외의 숙주가 별로 없을 경우 그 바이러스는 박멸 연구 대상 1순위가 된다.