Blaze7451/Wiki-ko-20250601 huggingface dataset:
세타역 (구마모토현)

세타역(瀬田駅)은 일본 구마모토현 기쿠치군 오즈정에 위치한 규슈 여객철도 호히 본선의 철도역이다. 상대식 승강장 2면 2선의 구조를 갖춘 지상역이다.

**타는 곳**

**역 주변**
 국도 제57호선

**역사**
 1916년 11월 11일 : 철도원이 개업.- 1922년 9월 : 현재 위치로 이전.- 1983년 11월 30일 : 무인화.- 1987년 4월 1일 : 일본국유철도 분할 민영화에 의해, 규슈 여객철도가 승계.

**인접 역**
분류:큐슈여객철도의 철도역
분류:구마모토현의 철도역
분류:오즈정
분류:1916년 개업한 철도역
분류:일본국유철도의 철도역
분류:호히 본선
통상 파괴

통상파괴(通商破壊, commerce raiding, Handelskrieg, guerre de course)란 공해(open sea)상의 적국의 상선을 공격 또는 진로를 방해하는 해전 전략이다. 전투원(이 경우 군함)과의 교전 또는 해안에 대한 봉쇄와는 다른 개념이다.
알프레드 테이어 마한 등의 해전이론가들은 통상파괴가 적의 전투원 파괴를 방해할 뿐이라며 비판했다. 하지만 통상파괴는 근세에서 근대에 걸쳐 제2차 세계 대전 때에 이르기까지 중요한 역할을 수행했다.
통상파괴를 수행하는 군함을 통상파괴함(通商破壊艦, commerce raider)이라 하며, 사략선도 통상파괴함의 일종이다.

**같이 보기**
 실론 해전- 해상강도- 사략- 무제한 잠수함 작전
분류:해전

분류:경제전
고무 오리

고무 오리
고무 오리(러버 덕)는 오리 모양으로 만들어진 장난감이다. 이름 그대로 고무나 폴리염화비닐과 같이 고무와 비슷한 재질로도 만들어진다.

**역사**
1940년대, 조각가 피터 가닌(Peter Ganine)이 물에 뜨는 오리 모양의 장난감을 처음 만들어 특허를 받았고, 5천 만개 이상의 판매고를 올렸다.
1970년대, 짐 헨슨이 《세서미 스트리트》의 머펫 어니(Ernie) 역할로 부른 "Rubber Duckie"와 "DUCKIE"가 유행하면서 고무 오리 또한 인기가 많아졌다.

**세계에서 가장 큰 고무 오리**
네덜란드의 설치 미술가인 플로렌타인 호프만이 2007년에 제작한 세계에서 가장 큰 고무 오리는 16.5 × 20 × 32 미터에 600 kg의 무게가 나갔다. 이 고무 오리는 여러 종류로 제작되어 전 세계 각지를 돌아다니며 전시되고 있다.

**같이 보기**
 고무 오리 디버깅

**각주**

**외부 링크**
분류:목욕
분류:자선 행사
분류:가공의 오리
분류:고무 장난감
분류:동물 장난감
분류:물 장난감
사리푸트라

사리푸트라(舍利弗, Śāriputra) 또는 사리풋다(Sāriputta), 사리불(舍利佛)은 석가의 십대제자 가운데 한 사람이다. 지혜제일이라고 불린다. 
산스크리트어 발음으로는 "사리푸트라"라고 하지만, 대한민국에서는 사리불이라고 더 많이 알려져 있다.
반야심경에 나오는 사리자가 바로 사리푸트라(사리불)이다.

**이름의 뜻**
사리푸트라(사리불)의 어머니 이름은 "사리"이다. 산스크리트어 푸트라(Putra)는 아들이라는 뜻이므로, 이름의 뜻은 사리의 아들이라는 뜻이다.

**사리불(舍利佛)**
중국과 대한민국 불교에서 흔히 사리불이라고 부르는 이유는 산스크리트어 푸트라(Putra)를 음차하여 "부처 불(佛)"이라는 글자로 썼기 때문이다.
하지만 실제로 부처이기도 하다. 석가모니불은 사리푸트라(사리불)가 이미 아나함과(아라한)를 성취하여, 윤회를 벗어났다고 증명해줬다.

**사리자(舍利子)**
반야심경에서 "사리의 아들"이라는 뜻으로 사리자(舍利子)라고 부른다.

**생애**

**탄생**
마가다의 수도 라자그리하 밖에 있는 나란다의 부자 바라문 티사의 아들로 태어났다. 그래서 "우파 티사"라고 불렀다. 하지만 이미 알듯이 어머니 사리에게서 받은 이름인 사르푸트라(사리불)가 더 유명하다.

**어린 시절**
얼굴이 잘 생겼었고, 학문과 기예를 익혔다. 특히 베다에 통달했다. 16세에 종교 이론들을 해석하고 논박하였다. 자신과 다른 이론들까지 굴복시켰으며, 목련존자와 친한 친구사이였다.

**출가를 결심**
사르푸트라(사리불)는 친한 친구인 목련존자(목건련)와 축제를 보러갔다. 둘은 많은 사람들이 즐거워하는 모습을 보고, "100년 뒤에는 이 사람들은 볼 수 없겠지?"라는 대화를 서로 나누고는 인생무상을 느끼고 출가를 결심했다.

**첫번째 스승(육사외도)**
사르푸트라(사리불)과 목련존자(목건련)가 처음 스승으로 삼은 사람은 여섯 외도 중 한 사람인 "산자야비라지자"였다. 7일 만에 첫 스승의 가르침을 모두 통달하였고, 250명의 스승이 되었다. 하지만 "산자야비라지자"는 고통에서 벗어나는 길을 알려주지 못했고, 이에 다른 스승을 찾아나선다.

**석가모니불의 제자**
사르푸트라(사리불)는 탁발을 나온 석가모니불 제자와의 문답을 통해 바로 "제법무아(諸法無我)"를 깨달아버렸다. 자신의 제자 250명을 데리고 죽림정사로 가서 석가모니불의 제자가 되었다. 물론 목련존자(목건련)도 석가모니불의 제자가 되었다.
거의 보름 만에 아라한(아나함과)이 되어, "번뇌와 집착"을 떠나버렸다. 음차한 한자어 사리불처럼 부처(불)가 된 것이다.

**열반**
사르푸트라(사리불)의 친한 친구인 목련존자(목건련)가 외도에게 폭행을 당하여 열반(죽음)에 들어버렸다. 이 소식을 들은 사르푸트라(사리불)는 석가모니불에게 자신이 먼저 열반에 들기를 청했다.
석가모니불이 한 겁(한 우주가 생겼다 사라지고 다시 새로운 우주가 생기는 시간) 뒤에 열반에 들어라고 하자, 사르푸트라(사리불)는 석가모니불이 그렇게 하면 자신도 그렇게 하겠다고 한다.
그리고 다시 자신이 먼저 열반에 들기 청하는데, 석가모니불의 열반(죽음)을 눈으로 볼 수 없다는 것을 이유로 삼았다. 석가모니불이 보니 사르푸트라(사리불)의 수명이 다한 것을 알고 허락하였다.
친동생 쭌다와 집으로 돌아가 어머니 "사리"에게 마지막 설법을 하고는 음력 11월 보름에 열반에 들었다.

**일화**
사리푸트라(사리불)는 아라한(아나함과)이 되었기에 화내는 마음이 사라졌는데, 이에 관한 일화가 있다.

**사위성의 인욕자**
사위성 사람들은 사리푸트라(사리불)가 잘 참는 인욕자라고 칭찬을 했다. 그러자 어떤 젊은이가 사리푸트라(사리불)의 등을 힘껏 때렸다. 사리푸트라(사리불)은 "이게 뭔가?"하면서 혼잣말을 하고는 다시 걸어가 버렸다.

**어머니와의 일화**
사리푸트라(사리불)의 어머니 "사리"는 4남 3녀를 두었었다. 그러나 장남인 사리푸트라(사리불)가 출가를 하자, 다른 자식들도 모두 출가를 하여 아무도 남지 않게 되었다. 그래서 "사리"는 아들 사리푸트라(사리불)에게 서운한 마음이 있었다.
사리푸트라(사리불)가 고향에 와서 탁발을 하자, 어머니가 심하게 꾸짖었다.
팔십만 냥이나 되는 거대한 재산을 버리고서는 남이 주는 밥찌꺼기를 먹고, 시큼하게 상한 쌀죽도 버리지 않고 먹고, 머리를 밀고 가사를 입은 이상한 사람들과 집집마다 돌아다니며 국자 뒷면을 핥고 다닌다고 모욕을 했다. 그리고 집안을 망쳐버렸다고 했다.
그래도 사리푸트라(사리불)는 아무 말없이 탁발해서 돌아갔다.

**각주**
분류:석가모니의 제자
분류:정토삼부경
분류:반야경
분류:원시불교
분류:마가다 사람
분류:기원전 5세기 인도의 철학자
다테노역 (구마모토현)

다테노역(立野駅)은 일본 구마모토현 아소군 미나미아소촌에 위치한 규슈 여객철도 · 미나미 아소 철도의 철도역이다. 호히 본선의 소속역이며, 이 역을 기점으로 하는 미나미 아소 철도 다카모리 선 등 2개의 노선을 운영하고 있다. 단선 · 섬식의 형태를 갖춘 2면 3선 구조의 복합 승강장을 가진 지상역이다.

**타는 곳**

**역 주변**
 규슈 전력 구로카와 제1발전소- 국도 제57호선

**역사**
 1916년 11월 11일 : 미야지게이벤 선의 역으로서 철도원이 개업.- 1922년 9월 2일 : 미야지게이벤 선이 미야지 선으로 개칭.- 1928년 12월 2일 : 호히 본선이 전선 개통, 미야지 선을 호히 본선에 편입함과 함께 다테노 - 다카모리 간을 다카모리 선으로 분리.- 1986년 4월 1일 : 다카모리 선이 미나미 아소 철도로 전환.- 1987년 4월 1일 : 일본국유철도 분할 민영화에 의해, 규슈 여객철도가 승계.- 2012년 7월 12일 : 규슈 북부 폭우에 의해 불통이 되었지만, 같은 해 7월 24일에 이 역을 포함한 구간은 운전을 재개했다.- 2013년 4월 1일 : 무인화.

**인접 역**

**같이 보기**
 다테노역 (사가현)
분류:큐슈여객철도의 철도역
분류:미나미아소 철도의 철도역
분류:구마모토현의 철도역
분류:미나미아소촌
분류:1916년 개업한 철도역
분류:일본국유철도의 철도역
분류:호히 본선
구 (동오)

구(璆, ? ~ ?)는 중국 삼국 시대 동오의 정치가이다. '구'는 이름으로, 성씨는 알려져 있지 않다.

**사적**
《봉선국산비(封禪國山碑)》에 이름을 실은 구. "丞相沇太尉璆大司徒燮"이라고 적혀있으며, 뜻은 "승상 연(沇), 태위 구(璆), 대사도 섭(燮)…"이다.
태위를 지냈다.
천책(天冊) 2년(276)에 양선산(陽羨山)에서 속이 빈 돌이 발견되었는데, 길이가 10여 장(丈)이나 되어 '석실(石室)'이라고 일컬었다. 곧 대사공(大司空) 동조(董朝)와 태상(太常) 주처(周處)를 양선으로 보냈고, 봉선(封禪) 의식을 행하고 비석을 세웠다. 이때 구는 태위의 자격으로 승상 연(沇)의 뒤를 이어 이름을 올렸다.

**각주**
분류:생몰년 미상
분류:동오의 태위
아카미즈역

아카미즈역(赤水駅)은 일본 구마모토현 아소시에 위치한 규슈 여객철도 호히 본선의 철도역이다. 섬식 승강장 1면 2선의 구조를 갖춘 지상역이다.

**타는 곳**

**역 주변**
 국도 제57호선- 아소 팜랜드- 아소사루 마와시 극장- 아소아카미즈 온천

**역사**
 1918년 1월 25일 : 철도원에 의해 개업.- 1987년 4월 1일 : 일본국유철도 분할 민영화에 의해, 규슈 여객철도가 승계.

**인접 역**
분류:큐슈여객철도의 철도역
분류:아소시의 철도역
분류:1918년 개업한 철도역
분류:일본국유철도의 철도역
분류:호히 본선
시데레우스 눈치우스

300px
시데레우스 눈치우스(라틴어: Sidereus Nuncius)는 갈릴레오 갈릴레이가 1610년 3월에 신라틴어로 저술한 소책자이다. 망원경을 이용한 관측을 기반으로 한 세계 최초의 과학책이며, 달의 산맥, 은하수의 별무리, 목성의 네 위성 등 갈릴레오의 관측천문학적 업적들이 모두 이 책 속에 들어 있다.
라틴어 nuncius는 ‘messenger’이나 ‘message’를 나타내는 말로 주로 사용되었다. 그래서 《시데레우스 눈치우스》는 ‘항성의 메신저’(Sidereal Messenger)로 주로 번역되었다. 하지만 갈릴레오가 쓴 이 책의 초판들은 자신이 새로운 것을 발견한 것이 아니라 최근의 천문학을 발전시킨 것에 불과하다고 했다. 그래서 ‘항성의 메시지’(Sidereal Message/Starry Message)라고 번역하는 것이 옳다. 이 책의 복제본은 2010년 12월에 경매로 $662,500에 판매된 적이 있다.

**망원경**
누가 처음으로 망원경을 제작하였는지는 불투명하지만, 독일-네덜란드인 렌즈 제작자인 한스 리퍼쉬가 발명한 것으로 널리 알려져 있다. 망원경은 사용자들로 인해 사물들을 더 크고 가깝게 볼 수 있게끔 해준다. 갈릴레오는 처음으로 망원경을 사용해 천체들을 관측한 사람이었다. 그의 첫 번째 망원경은 8-10배의 확대 성능을 가진 것으로, 그가 직접 제작한 렌즈를 사용한 망원경이었다. 그는 나중에 20배의 확대 성능을 가진 망원경을 제작해서 천체를 관측해 《시데레우스 눈치우스》를 출판했다.

**구성**
《시데레우스 눈치우스》는 달을 포함해, 오리온, 플레이아데스 성단, 황소자리와 같은 특정 별자리 등에 대한 70개 이상의 그림과 도표들을 포함하고 있다. 이 책에는 그림 묘사와 설명, 그의 관측의 이론들에 대한 내용도 담겨져 있다.

**달**
달을 관측하면서 갈릴레오는 ‘terminator’이라고 하는 명암경계선이 달을 나누는 것을 관측했고, 달의 어두운 부분에서는 선이 부드럽고, 달의 밝은 부분에서는 선이 불규칙적이라는 것을 알아냈다. 관측을 통해 갈릴레오는 어두운 부분의 지형이 낮고 평탄하며, 밝은 부분에서는 지형이 험하며, 산이 많다고 추측했다. 그는 이를 통해 산들의 높이를 알아냈고, 달의 산들이 적어도 4마일보다 높다는 것을 알아냈다. 그리고 그의 측정은 꽤 정확했다고 한다. 그의 연구는 달의 시각적 정보를 새롭게 제공하였고, 달의 표면과 물리적 특성을 연구하는 학문인 월면학을 발전시켰다.

**별**
갈릴레오는 망원경을 사용해서 맨눈으로 볼 수 있는 것보다 10배는 더 많은 별들을 관측할 수 있었다고 기록했다. 그리고 그는 오리온과 플레이아데스 성단에 관한 별자리 표를 제작하였다. 맨눈으로 관측하는 관측자들은 황소자리의 별들 중 6개밖에 관측할 수 없었지만, 갈릴레오는 자신의 망원경을 사용해 약 6배 정도인 35개의 별들을 관측했다. 그가 그의 망원경으로 오리온을 관측하기 시작한 때에는 약 80개의 별들을 관측할 수 있었는데 전에 관측되었던 9개보다 약 9배 많은 개수였다. 《시데레우스 눈치우스》에서 갈릴레오는 이 두 항성집단을 망원경을 사용하지 않은 관측과 망원경을 사용한 관측으로 구별해놓았다. 또한 그가 프톨레마이오스 성단의 흐릿한 별들을 관측했을 때에도 그는 이 성단이 흐릿한 것보다는 많은 작은 별들로 이루어져있다는 것을 알아냈다. 이를 통해 그는 맨눈으로 관측했을 때에는 너무 작고 멀어서 각각의 별들로 구별되어 관측되기 어려웠지만 망원경으로 관측하여 성운과 은하수가 셀 수 없이 많은 별들이 무리지어 모여 있는 것이라고 주장했다.

**메디치가의 별(목성의 위성들)**
《시데레우스 눈치우스》의 마지막 파트에서 갈릴레오는 목성 주위에 선처럼 보이는 4개의 별들에 대한 기록을 남겨두었다. 첫 번째 밤에 그는 선처럼 보이는 3개의 별들이 목성 주위를 타원 궤도로 공전하는 것을 관측하였고, 다음날 밤에 1개의 별을 더 관측함으로써 목성 주위를 도는 4개의 별들을 발견했다. 갈릴레오는 늦은 1월부터 1610년 이른 3월까지 목성의 위치와 목성의 동반자 별들을 관측했던 기록을 남겨두었다. 그 별들은 밤마다 위치를 바꿔갔지만 목성 주위에서 선을 이루며 나타남으로써 갈릴레오로 인해 그들이 목성 주위를 공전하고 있다고 믿게 했다. 1월 11일에 4일의 관측을 끝내고 그는: “나는 수많은 관측을 통해 수성, 금성이 태양 주위를 도는 것처럼 목성 주위를 도는 3개의 별이 있다고 결론 내렸다. 또한 불규칙하게 목성 주위를 도는 1개의 항성이 더 있어서 3개가 아니라 4개의 별이 공전하고 있다는 것도 발견했다. 그리고 회전이 매우 빠르기 때문에 관측자는 매 시간마다 위상변화를 확인할 수 있다.”라고 기록하였다.
갈릴레오가 그린 그림에서 그는 목성을 나타내기 위하여 원을 사용했고, 4개의 별들을 나타내기 위하여 별표를 사용했다. 그는 이 두 종류의 항성집단이 구별된 차이점을 가지고 있다고 하였고, 행성과 위성이라는 단어를 사용하기 시작했다. 이 두 단어는 아리스토텔레스의 용어에서도 올바르게 사용되었다.
《시데레우스 눈치우스》의 출판 당시에 갈릴레오는 파도바 대학의 수학자였고 더 좋은 망원경들을 제작하라는 압박을 받고 있었다. 그는 피렌체로 돌아가고 싶어 했고, 그 곳에서 후원을 받고자 《시데레우스 눈치우스》를 자신의 옛 친구인 나중에 토스카나 주의 대공이 된 코시모 2세 데 메디치에게 바쳤다. 또한 그는 네 명의 메디치 형제들을 기념하기 위해서 그가 발견한 4개의 목성 위성들을 메디치가의 별이라고 이름 붙였다. 이로 인해 그는 피사 대학교의 가장 높은 자리의 수학자이자 철학자가 되었다. 하지만 위성들의 이름을 지은 그의 노력은 실패로 돌아갔고, 결국 갈릴레이 위성으로 널리 알려지게 되었다.

**교회와의 다툼**
갈릴레오가 불완전한 달의 모습을 그린 그림들은 프톨레마이오스와 아리스토텔레스가 생각한 완벽하고 불변하는 우주의 모습과는 상반되었다. 《시데레우스 눈치우스》가 출판되기 전에는 코페르니쿠스식의 지동설 모형이 교회에서 수학적, 가설적으로 받아들여져 있었다. 하지만 갈릴레오가 코페르니쿠스식 모형을 이론이 아닌 실제로 여기며 말하자, 사람들은 혼돈스럽고 경건하지 못한 모형이라고 여겼다. 따라서 코페르니쿠스식 모형은 태양이 떠오르고 지구는 움직이지 않는다고 여기던 성서에 도전하는 것이라고 여겨졌다. 갈릴레오와 교회와의 다툼은 그가 교회에 잡혀감으로써 1633년에 끝났다.
분류:1610년 책
분류:천문학 책
분류:갈릴레오 갈릴레이
분류:코페르니쿠스 혁명
분류:1610년 과학
허윤미

허윤미(1988년 3월 23일~)는 대한민국의 레이싱 모델이다.  키 172cm 몸무게 51kg

**학력**
 가천의과학대학교 물리치료학과

**경력**

**에이빙 모델**
 2010년 지스타 한게임 테라 포즈 모델- 2011년 P&I 캐논 부스 메인 포즈 모델- 2011년 지스타 한게임 포즈 모델- 2012년 부산 모터쇼 쉐보레 메인 포즈 모델- 2012년 P&I 캐논 부스 메인 포즈 모델- 2012년 지스타 월드오브탱크 메인 포즈 모델- 2013년 서울 모터쇼 포드 메인 포즈 모델- 2013년 서울 오토살롱 옴니뷰 포즈 모델- 2013년 월드오브탱크 인터뷰 걸- 2013년 지스타 월드오브탱크 메인 포즈 모델- 2014년 부산 모터쇼 닛산 메인 포즈 모델- 2014년 서울 오토살롱 핸즈코퍼레이션 포즈 모델- 2015년 서울 모터쇼 닛산 메인 포즈 모델- 2015년 서울 오토살롱 핸즈코퍼레이션 포즈 모델- 2015년 지스타 소니 월드오브탱크 메인 포즈 모델- 2015년 제1회 코리아 레이싱모델 쇼 & 콘테스트 메인 MC

**레이싱 모델**
 2010년 CJ 티빙닷컴 슈퍼레이스 챔피언쉽 금호타이어 전속 모델- 2011년 KSRC 포즈 모델- 2011년 KSF 쉘 포즈 모델- 2012년 DDGT 한국타이어 포즈 모델- 2012년 KSF 한국타이어 포즈 모델- 2014년 핸즈모터스포츠 전속 모델- 2015년 핸즈모터페스티벌 전속 모델

**수상내역**
 2007년 SAS 한국레이싱모델선발대회 금상- 2013년 제8회 아시아모델상시상식 레이싱모델 인기상- 2014년 2014년 아프리카 BJ 페스티벌 신인상- 2014년 제3회 한국 레이싱모델 어워즈 대상- 2015년 대한민국의 Top 레이싱모델- 2015년 아프리카TV Top 여자BJ

**외부 링크**
 gjdbsal1-  허윤미 유튜브 허니TV-  허윤미 인스타그램
분류:1988년 출생
분류:살아있는 사람
분류:20세기 대한민국 사람
분류:20세기 대한민국 사람
분류:대한민국의 여자 모델
분류:대한민국의 레이싱 모델
분류:아프리카TV BJ
분류:대한민국의 여자 가수
분류:2000년대 가수
이치노카와역

이치노카와역(市ノ川駅)은 일본 구마모토현 아소시에 위치한 규슈 여객철도 호히 본선의 철도역이다. 단선 승강장 1면 1선의 구조를 지닌 지상역이다.

**역 주변**
 국도 제57호선

**역사**
 1960년 3월 10일 : 일본국유철도가 개설.- 1987년 4월 1일 : 일본국유철도 분할 민영화에 의해, 규슈 여객철도가 승계.

**인접 역**
분류:큐슈여객철도의 철도역
분류:아소시의 철도역
분류:1960년 개업한 철도역
분류:일본국유철도의 철도역
분류:호히 본선
헤미수스속

헤미수스속(Hemisus)은 개구리목에 속하는 양서류 속의 하나이다. 헤미수스과(Hemisotidae)의 유일속으로 9종으로 이루어져 있다. 사하라 이남 아프리카 지역에서 발견된다.

**하위 종**
 Hemisus barotseensis Channing and Broadley, 2002- Hemisus brachydactylus Laurent, 1963- Hemisus guineensis Cope, 1865- Hemisus guttatus (Rapp, 1842)- Hemisus marmoratus (Peters, 1854)- Hemisus microscaphus Laurent, 1972- Hemisus olivaceus Laurent, 1963- Hemisus perreti Laurent, 1972- Hemisus wittei Laurent, 1963

**계통 분류**

**각주**
  isbn=1-877019-69-0

**외부 링크**
  Hemisus

분류:알베르트 귄터가 명명한 분류군
우치노마키역

우치노마키역(内牧駅)은 일본 구마모토현 아소시에 위치한 규슈 여객철도 호히 본선의 철도역이다. 섬식 승강장 1면 2선의 구조를 갖춘 지상역이다.

**타는 곳**

**역 주변**
 국도 제57호선

**역사**
 1918년 1월 25일 : 철도원에 의해 개업.- 1945년 7월 27일 : 공습에 의해, 역 건물 구내 피해 전소.- 1987년 4월 1일 : 일본국유철도 분할 민영화에 의해, 규슈 여객철도가 승계.

**인접 역**
분류:큐슈여객철도의 철도역
분류:아소시의 철도역
분류:1918년 개업한 철도역
분류:일본국유철도의 철도역
분류:호히 본선
아소역 (구마모토현)

아소역(阿蘇駅)은 일본 구마모토현 아소시에 위치한 규슈 여객철도 호히 본선의 철도역이다. 상대식 승강장 2면 2선의 구조를 갖춘 지상역이다.

**타는 곳**

**역 주변**
 국도 제57호선- 국도 제212호선- 우치노마키 온천

**역사**
 1918년 1월 25일 : 보츄역으로서 철도원이 개업.- 1961년 3월 20일 : 아소역으로 개칭.- 1987년 4월 1일 : 일본국유철도 분할 민영화에 의해, 규슈 여객철도가 승계.

**인접 역**
분류:큐슈여객철도의 철도역
분류:아소시의 철도역
분류:1918년 개업한 철도역
분류:일본국유철도의 철도역
분류:호히 본선
이코이노무라역

이코이노무라역(いこいの村駅)은 일본 구마모토현 아소시에 위치한 규슈 여객철도 호히 본선의 철도역이다. 단선 승강장 1면 1선의 구조를 갖춘 지상역이다.

**역 주변**
 야마다 전기 테크랜드 아소점- 국도 제57호선 · 국도 제212호선- 모모 팜 · 다케하라 목장

**역사**
 1989년 3월 11일 : 개업.

**인접 역**
분류:큐슈여객철도의 철도역
분류:아소시의 철도역
분류:1989년 개업한 철도역
분류:호히 본선
미야지역

미야지역(宮地駅)은 일본 구마모토현 아소시에 위치한 규슈 여객철도 호히 본선의 철도역이다. 섬식 승강장 1면 2선의 구조를 갖춘 지상역이다.

**타는 곳**

**역 주변**
 국도 제57호선- 아소 시청- 구마모토 지방 법무국 아소 지국- 아소 진자

**역사**
 1918년 1월 25일 : 미야지 게이벤 선의 다테노 역에서 이 역까지의 연신에 수반해 미야지 역으로서 개업. 이 때는 종착역.- 1922년 9월 2일 : 미야지 선에 노선명을 변경.- 1928년 12월 2일 : 이 역부터 다마라이역까지 개통. 구마모토역부터 오이타역까지 한 개의 선로로 연결되어, 호히 본선의 역이 된다.- 1982년 11월 : 화물 취급 폐지.- 1987년 4월 1일 : 일본국유철도 분할 민영화에 의해, 규슈 여객철도가 승계.

**인접 역**
분류:큐슈여객철도의 철도역
분류:아소시의 철도역
분류:1918년 개업한 철도역
분류:일본국유철도의 철도역
분류:호히 본선
부분 대상 분류자

범주론에서 부분 대상 분류자(部分對象分類子, subobject classifier)는 주어진 대상의 각각의 부분 대상들을, 특정한 대상 로 가는 사상에 대응시킬 수 있도록 하는 구조이다. 집합론에서의 지시 함수의 개념을 일반화한 것으로, 부분 대상 분류자는 임의의 토포스에서 항상 존재한다.

**정의**
범주 가 끝 대상 을 갖는다고 하자. 의  부분 대상 분류자는 다음 조건을 만족시키는, 대상  및 사상 의 순서쌍이다. (대상 는 문헌에 따라 로 표기하기도 한다.)- 모든 단사 사상 에 대하여, 이 의 당김이 되는 사상 이 유일하게 존재한다.
여기서 사상 를 의 지시 사상(indicator morphism)이라고 한다.
유한 완비 범주  속의 대상  및 사상 가 다음 조건을 만족시킨다면, 을 강한 부분 대상 분류자(強-部分對象分類子, strong subobject classifier)라고 한다.- 모든 강한 단사 사상 에 대하여, 이 의 당김이 되는 사상 이 유일하게 존재한다.
강한 부분 대상 분류자는 부분 대상 분류자의 정의를 모든 단사 사상 대신 강한 단사 사상에만 적용되게 약화시킨 것이다. 즉, 이름과 달리 강한 부분 대상 분류자는 더 약한 개념이다. 모든 부분 대상 분류자는 (모든 강한 부분 대상은  부분 대상이므로) 강한 부분 대상 분류자이지만, 그 역은 일반적으로 성립하지 않는다.
모든 토포스는 정의에 따라 부분 대상 분류자를 갖는다. 마찬가지로, 모든 준토포스는 정의에 따라 강한 부분 대상 분류자를 갖는다.

**예**
각종 토포스에서, 부분 대상 분류자의 예는 다음과 같다.

**참고 문헌**
 언어=en

**외부 링크**
 언어=en- title=Categorical logic
분류:범주론
준층

범주론에서, 범주에 대한 준층 는 함자 이다. 가 위상 공간에서 열린 집합들의 부분 순서 집합이고 범주로 해석되면, 위상 공간에서 일반적인 준층 개념을 의미한다.
준층들의 사상은 함자의 자연 변환으로 정의된다. 이렇게 하면  위에서 범주로 가는 모든 준층들의 모임이 만들어지며, 이는 함자 범주의 예이다. 기호로 로 나타낸다.
C의 일부 대상 A에 대해 반변형 hom-함자 Hom(–, A )과 자연 동형 인 준층을 표현 가능한 준층이라고 한다.
일부 저자는 함자 를  - 값 준층으로 정의한다.

**예**
 단체 집합은 단체 범주 의 집합 값 준층이다.

**성질**
 가 작은 범주일 때, 함자 범주 는 데카르드 닫힌 범주이다.- 의 부분 대상의 부분 순서 집합은 가 작은 에 대해 의 대상일 때 헤이팅 대수를 형성한다.- 의 모든 사상 에 대해, 부분 대상의 당김 함수 는 로 나타내는 오른쪽 수반 함자와 왼쪽 수반 함자 를 가진다. 이들은 보편적이고 실존적인 양화사이다.- 국소적으로 작은 범주 는 의 모든 대상 를 hom 함자 와 연결짓는 요네다 매장을 통해 집합 값 준층  범주에 충만하고 충실하게 매장된다.- 범주 는 작은 극한과 작은 여극한을 인정한다. 자세한 내용은 준층의 극한 및 여극한 참조.- 조밀성 정리는 모든 준층이 표현 가능한 준층의 여극한임을 나타낸다. 사실, 는 의 여극한 완비이다.  (아래의 보편 성질 참조.)

**보편 성질**
구성은 다음 보편 성질 때문에 C의 여극한 완비라고 한다.
 명제
가 범주들이고 가 작은 여극한들을 허용한다고 하자. 그러면, 각 함자 는
로 함자화 된다. 여기서 는 요네다 매장이고 은, 동형 사상에 대해 유일한, 의 요네다 확장으로 불리는 여극한 보존 함자이다.
증명 : 조밀성 정리에 의해 준층 가 주어지면  이다. 여기서 는 C의 대상이다. 그러면 이라 하자. 이는 가정에 의해 존재한다. 는 함자성을 가지므로 함자 를 결정한다. 간결하게, 은 를 따른 의 왼쪽 칸 확대이다.  가 작은 여극한들과 가환임을 보이기 위해,  일부 함자에 대해 왼쪽 인접임을 보이자. 를 의 각 대상 과 의 각 대상 에 대해
 
로 주어진 함자로 정의하자. 그러면, 의 각 대상 에 대해   이므로, 요네다 보조정리에 의해 다음을 얻는다:
 
말하자면 는 에 왼쪽 인접이다. 
이 명제는 몇 가지 따름 정리들을 산출한다. 예를 들어, 이 명제는  구성은 함자적이다: 즉, 각 함자 는 함자 를 결정한다.

**변형들**
-범주 위의 공간들의 준층은 에서 공간 -범주로 가는 반공변 함자이다(예: CW-복합체 범주의 신경) 이는 "집합"이 "공간"으로 대체된 집합 준층의 범주 버전이다. 이 개념은 무엇보다도 다음과 같이 말하는 요네다 보조정리의 ∞ 범주 공식화에 사용된다. :는 완전히 충실하다.(여기서 는 단체 집합일 수 있다.)

**같이 보기**
 토포스- 원소들의 범주- 단체 준층 (이 개념은 "집합"을 "단체 집합"으로 대체하여 얻음)- 전송이 포함된 준층

**각주**

**참고 문헌**
 isbn=978-3-540-27950-1- 이름=J.- isbn=0-387-97710-4

**추가 자료**
 제목=Presheaf- 제목=Free cocompletion- Daniel Dugger,  Sheaves and Homotopy Theory, the  pdf file provided by nlab.
분류:층론
분류:함자
비개구리과

비개구리과(Brevicipitidae)는 개구리목에 속하는 양서류과의 하나이다. 4속 33종으로 이루어져 있다. 이전에는 맹꽁이과에 속하는 아과로 간주했지만, 현재는 별도의 과로 분류하고 있다. 자매군은 헤미수스과이다.

**하위 속**
 Balebreviceps Largen and Drewes, 1989 - 1종- Breviceps Merrem, 1820 - 16종- Callulina Nieden, 1911 - 9종- Probreviceps Parker, 1931 - 6종- Spelaeophryne Ahl, 1924 - 1종

**계통 분류**

**각주**

**외부 링크**
  Brevicipitidae

분류:샤를 뤼시앵 보나파르트가 명명한 분류군
중리

중리(中里)는 다음 지역에 위치한 대한민국의 리이다.- 대구광역시 달성군 현풍읍 중리- 울산광역시 울주군 범서읍 중리- 울산광역시 울주군 청량읍 중리- 강원특별자치도 양구군 양구읍 중리- 강원특별자치도 철원군 철원읍 중리- 강원특별자치도 평창군 평창읍 중리- 강원특별자치도 화천군 화천읍 중리- 경기도 포천시 관인면 중리- 충청북도 청주시 상당구 미원면 중리- 충청남도 논산시 광석면 중리- 충청남도 아산시 배방읍 중리- 충청남도 홍성군 서부면 중리- 경상북도 칠곡군 석적읍 중리- 경상남도 의령군 의령읍 중리- 경상남도 창원시 마산회원구 내서읍 중리 - 경상남도 합천군 초계면 중리

**같이 보기**
 중리- 중리구- 중리동- 중리리- 중동- 중동리
분류:대한민국의 리
정족리

정족리(鼎足里)는 다음 지역에 위치한 대한민국의 리이다.- 강원특별자치도 춘천시 신동면 정족리- 경상북도 영양군 청기면 정족리

**같이 보기**
 정족리- 정족동
분류:대한민국의 리
의암리

의암리는 다음 지역에 위치한 대한민국의 리이다.- 강원특별자치도 춘천시 신동면 의암리(衣岩里)- 전라북도 완주군 상관면 의암리(衣岩里)- 전라남도 곡성군 삼기면 의암리(儀岩里)

**같이 보기**
 의암리- 의암동
분류:대한민국의 리
신촌리

신촌리는 다음 지역에 위치한 대한민국의 리이다.- 경기도 광주시 곤지암읍 신촌리- 경기도 안성시 서운면 신촌리- 강원특별자치도 원주시 판부면 신촌리- 강원특별자치도 춘천시 동내면 신촌리- 강원특별자치도 횡성군 공근면 신촌리- 충청북도 청주시 흥덕구 옥산면 신촌리- 충청남도 금산군 부리면 신촌리- 충청남도 당진시 우강면 신촌리- 세종특별자치시 금남면 신촌리- 전북특별자치도 고창군 무장면 신촌리- 전북특별자치도 완주군 소양면 신촌리- 전라남도 고흥군 금산면 신촌리- 전라남도 나주시 반남면 신촌리- 전라남도 신안군 안좌면 신촌리- 전라남도 장흥군 안양면 신촌리- 경상북도 경산시 압량읍 신촌리- 경상북도 고령군 쌍림면 신촌리- 경상북도 구미시 고아읍 신촌리- 경상북도 김천시 농소면 신촌리- 경상북도 상주시 화동면 신촌리- 경상북도 상주시 외남면 신촌리- 경상북도 상주시 내서면 신촌리- 경상북도 영천시 북안면 신촌리- 경상북도 청도군 이서면 신촌리- 경상북도 청송군 진보면 신촌리- 경상남도 거창군 웅양면 신촌리- 경상남도 고성군 상리면 신촌리- 경상남도 사천시 용현면 신촌리- 경상남도 의령군 용덕면 신촌리- 경상남도 의령군 유곡면 신촌리- 경상남도 창녕군 창녕읍 신촌리- 경상남도 창원시 의창구 북면 신촌리- 경상남도 창원시 마산합포구 진북면 신촌리- 경상남도 합천군 초계면 신촌리- 제주특별자치도 제주시 조천읍 신촌리

**같이 보기**
 신촌리- 신촌동
분류:대한민국의 리
내가 사는 피부

《내가 사는 피부》(La piel que habito)는 페드로 알모도바르가 각본과 연출을 맡은 2011년 스페인 심리 스릴러 영화이다. 안토니오 반데라스, 엘레나 아나야, 마리사 파레데스 등이 출연하였다. 프랑스 소설가 티에리 종케의 소설 “독거미”가 원작이다.
알모도바르는 본 영화의 각본을 “비명소리도 겁을 주는 일도 없는 무서운 이야기”라고 했다.

**줄거리**
외과의 로베르트 레드가르드는 화상과 곤충에 저항력이 있는 인공 피부 배양에 성공한다. 실험 쥐를 대상으로 한 실험은 성공적이었고 의학 심포지엄에서 발표도 했지만, 인체 대상으로 불법 유전자 이식 실험을 했다는 게 밝혀지면서 후속 연구를 금지당한다.
로베르트는 외딴 저택에 살며 늙은 고용인 마릴리아의 도움으로 베라라는 젊은 여성을 감금해 놓고 있다. 공식 실험이 유예되자 로베르트는 마릴리아에게 다른 고용인들을 모두 해고하라고 한다.
로베르트가 나가 있는 동안 마릴리아의 아들 세카가 강도를 저지르고 저택으로 도망쳐 와 며칠만 숨겨 달라고 한다. 세카는 로베르트의 감시 카메라 화면에서 베라를 보고 그녀를 직접 봐야겠다고 한다. 마릴리아는 세카를 저택 안에 들이긴 했지만 저택에 머물게 하는 것은 거절하고, 이에 세카는 마릴리아를 의자에 묶고 재갈을 물린 뒤 베라를 강간한다. 곧 로베르트가 도착해서 세카를 죽인다.
로베르트가 세카의 시체를 폐기하는 와중에 마릴리아는 베라에게 자신이 세카뿐만 아니라 로베르트의 어머니이기도 하며 두 사람은 아버지가 다른데 로베르트는 그 사실을 모른다는 이야기를 한다. 로베르트는 마릴리아의 고용주들에게 입양되었으나 사실상 마릴리아의 손에 길러졌다. 이후 세카는 저택을 떠나 길거리에서 마약 거래 따위 일을 하고 살았고 로베르트는 의대에 가서 갈이라는 여성과 결혼했다. 몇 년 뒤 세카가 저택에 돌아왔다가 갈과 함께 도망을 쳤는데, 교통 사고가 나서 갈이 전신 화상을 입고 거울이 없는 어둠 속에서 살아가게 되었다. 어느 날 딸 노르마가 정원에서 노래하는 소리를 들은 갈은 우연히 창문에 비친 자기 모습을 처음 보고 투신 자살을 해 버렸다.
다시 시점이 현재로 돌아와서, 시체를 처리하고 돌아온 로베르트는 그날 밤 베라와 한 침대에서 자고 과거에 관한 꿈을 꾼다. 6년 전 노르마와 함께 어느 결혼식에 하객으로 갔던 로베르트는 수풀 속에서 의식을 잃은 채 쓰러진 노르마를 발견한다. 이후 남성혐오증에 걸린 노르마는 정신 병원 신세를 지다가 어머니가 그랬던 것처럼 투신자살을 해버린다.
베라 역시 과거에 관한 꿈을 꾼다. 젊은 남자 비센테는 어머니의 양장점에서 일하고 있다. 양장점 직원인 레즈비언 크리스티나에게 추근대는 농담을 던지고 비센테는 결혼식장에 놀러 간다. 결혼식장에서 만난 노르마와 비센테는 섹스를 하기 위해 정원으로 나가는데, 섹스 도중 어머니 갈이 자살했을 때 자기가 불렀던 노래가 들리자 공황 상태에 빠진 노르마는 비센테를 물어뜯으며 공격한다. 비센테는 노르마를 때려서 의식을 잃게 만들고 현장에서 도망친다. 그 순간 로베르트가 도착한다.
노르마가 자살한 뒤 로베르트는 비센테의 뒤를 미행해 그를 납치하고 강제로 질성형술을 시킨다. 그 뒤 6년에 걸쳐 로버트는 비센테를 죽은 아내와 똑같은 모습으로 만들어가고 그를 베라라고 부른다.
시점이 현재로 돌아오고, 로베르트가 베라를 가깝게 대하기 시작하자 베라를 믿지 않는 마릴리아는 불편해한다. 로베르트의 동료인 풀헨시오는 신문의 실종자란에서 비센테의 얼굴을 보고 그가 자신이 6년 전 성전환 수술을 집도했던 사람임을 알아본다. 풀헨시오는 로베르트를 찾아가 비센테가 성전환증이 있는 것처럼 자신을 속였던 것을 비난한다. 이때 베라가 들어와서 로베르트의 역성을 들면서 자신은 원해서 여자가 된 것이라고 말한다. 그날 밤 로베르트와 베라는 섹스를 하려고 하는데 베라는 세카에게 강간당했던 일 때문에 아직도 쓰리다면서 윤활제를 가지러 가는 척 로베르트의 책상에서 권총을 꺼내 로베르트를 쏴 죽인다. 그 뒤 침대 밑에 숨어 있다가 총소리를 듣고 리볼버를 들고 올라온 마릴리아 역시 쏘아 죽인다.
베라는 어머니의 양장점으로 돌아와 자신이 남자였을 때 좋아했던 크리스티나에게 눈물이 그렁그렁한 채 납치와 강제 성전환 등 그간의 사정을 말하고 자신의 정체를 밝힌다. 크리스티나와 베라가 함께 울먹이고 있는 가운데 어머니가 들어오자 베라가 “저 비센테에요”라고 말하는 것과 동시에 영화가 끝난다.

**출연진**
 안토니오 반데라스 - 로베르트 레드가르드 의사 역- 엘레나 아나야 - 비센테 기옌 피녜이로 (목소리) / 베라 크루스 / 갈 레드가르드 역- 마리사 파레데스 - 마릴리아 역- 얀 코르네트 - 비센테 기옌 피녜이로 / 베라 크루스 (목소리) 역- 로베르토 알라모 - 세카 역- 블랑카 수아레스 - 노르마 레드가르드 역- 수시 산체스 - 비센테 어머니 역- 바르바라 레니 - 크리스티나 역- 에두아르드 페르난데스 - 풀헨시오 역- 콘차 부이카 - 결혼식 가수 역

**같이 보기**
 얼굴없는 눈

**각주**

**외부 링크**
 es (스페인)- en (미국)
분류:2011년 영화
분류:2011년 공포 영화
분류:2011년 스릴러 영화
분류:2011년 공포 스릴러 영화
분류:2011년 성소수자 영화
분류:스페인의 공포 스릴러 영화
분류:스페인의 심리 스릴러 영화
분류:스페인의 드라마 영화
분류:스페인의 성소수자 영화
분류:성소수자 드라마 영화
분류:매드 사이언티스트 영화
분류:레즈비언 영화
분류:성형수술을 소재로 한 영화
분류:강간을 소재로 한 영화
분류:복수를 소재로 한 영화
분류:스페인을 배경으로 한 영화
분류:마드리드에서 촬영한 영화
분류:페드로 알모도바르 감독 영화
분류:소니 픽처스 클래식스 영화
분류:필름네이션 엔터테인먼트 영화
분류:워너 브라더스 영화
분류:프랑스의 소설을 바탕으로 한 영화
분류:영국 아카데미상 수상작
분류:영국 아카데미 외국어 영화상 수상작
분류:스페인어 영화 작품
학천리

학천리는 다음 지역에 위치한 대한민국의 리이다.- 충청북도 청주시 흥덕구 강내면 학천리(鶴天里)- 전북특별자치도 고창군 성송면 학천리(鶴天里)- 경상북도 포항시 북구 흥해읍 학천리(鶴川里)

**같이 보기**
 학천리
분류:대한민국의 리
연제리

연제리는 다음 지역에 위치한 대한민국의 리이다.- 충청북도 청주시 흥덕구 오송읍 연제리(蓮堤里)- 경상북도 의성군 단북면 연제리(連堤里)

**같이 보기**
 연제리- 연제동
분류:대한민국의 리
만수리

만수리는 다음 지역에 위치한 대한민국의 리이다.- 충청북도 보은군 속리산면 만수리(萬樹里)- 충청북도 청주시 흥덕구 오송읍 만수리(萬水里)- 충청남도 공주시 이인면 만수리(萬壽里)- 충청남도 부여군 외산면 만수리(萬壽里)- 전북특별자치도 정읍시 고부면 만수리(萬壽里)- 전라남도 곡성군 입면 만수리(萬壽里)- 전라남도 영암군 시종면 만수리(萬樹里)- 전라남도 해남군 북일면 만수리(萬樹里)- 전라남도 화순군 능주면 만수리(萬水里)

**같이 보기**
 만수리- 만수동- 완서우리(hanja=만수리)
분류:대한민국의 리
증산리

증산리는 다음 지역에 위치한 대한민국의 리이다.- 충청남도 보령시 주산면 증산리(甑山里)- 충청남도 부여군 석성면 증산리(甑山里)- 전북특별자치도 무주군 무풍면 증산리(曾山里)- 전북특별자치도 부안군 동진면 증산리(曾山里)- 전북특별자치도 정읍시 태인면 증산리(甑山里)- 경상남도 양산시 물금읍 증산리(曾山里)- 경상남도 창녕군 길곡면 증산리(曾山里)

**같이 보기**
 증산리- 증산동
분류:대한민국의 리
갈산리

갈산리는 다음 지역에 위치한 대한민국의 리이다.- 경기도 김포시 월곶면 갈산리- 충청북도 청주시 상당구 낭성면 갈산리- 충청남도 논산시 광석면 갈산리- 충청남도 당진시 순성면 갈산리- 충청남도 부여군 외산면 갈산리- 충청남도 서산시 운산면 갈산리- 충청남도 아산시 탕정면 갈산리- 충청남도 홍성군 홍북읍 갈산리- 세종특별자치시 부강면 갈산리- 전북특별자치도 완주군 이서면 갈산리- 전북특별자치도 익산시 금마면 갈산리- 전북특별자치도 익산시 성당면 갈산리- 경상북도 봉화군 재산면 갈산리- 경상북도 영주시 장수면 갈산리

**같이 보기**
 갈산리- 갈산동
분류:대한민국의 리
임의기

임의기(林依锜, Monna Lam, 1987년 4월 28일 ~ )는 중화인민공화국 후베이성 우한시에서 태어난 홍콩의 여성 영화배우 겸 모델이다.
6살 때였던 1993년에 홍콩으로 이민하여 종업원으로 일하다가 2007년 홍콩 미스 공전 선을 받고 모델 생활을 시작했다. 신장은 170cm이다.

**영화 및 드라마**

**개인 작품**

**사진집**
 2011년《왓썹》- 2012년《조이플 몬나 2012 볼드 무브스 달콤 섹시 사진집》

**외부 링크**
  임의기 Monna Lam 시나 웨이보-  임의기 인스타그램
분류:1987년 출생
분류:살아있는 사람
분류:홍콩의 여자 모델
분류:홍콩의 여자 영화 배우
분류:홍콩의 여자 배우
분류:독일계 중국인
직관 논리

논리학에서 직관 논리(直觀論理, intuitionistic logic)는 수학적 직관주의에 근거하여 귀류법을 배척하는 논리 체계이다. 직관 논리에서 참인 모든 명제는 고전적으로도 참이지만 그 역은 일반적으로 성립하지 않는 특징이있다.
이처럼 직관주의 논리학은 이중부정의 일부법칙이 성립하지 않는다.

**정의**
직관 논리는 힐베르트 식으로 다음과 같이 서술되는 논리 체계이다.

**통사론**
직관 명제 논리에서, 명제 로부터 다음과 같은 새 명제들을 구성할 수 있다.- 논리곱 . 이는 "이며 또한 "라고 읽는다.- 논리합 . 이는 "이거나 또는 "라고 읽는다.- 함의 . 이는 "만약 이라면  또한 성립한다"라고 읽는다.- 거짓 . 이는 거짓 명제로 읽는다.
이들로부터 다음과 같은 기호들을 정의한다.- 부정 는 을 줄인 것이며, "가 아니다"라고 읽는다.- 동치 는 를 줄인 것이며, "와 는 서로 동치이다"라고 읽는다.
직관 술어 논리에서는 명제 논리 연산자 밖에도, 자유 변수 를 가지는 명제 로부터 다음과 같은 새 명제들을 구성할 수 있다.- (존재 술어) . 이는 "를 성립시키는 가 존재한다"라고 읽는다.- (보편 술어) . 이는 "모든 에 대하여, 가 성립한다"라고 읽는다.

**추론**
직관 명제 논리의 유일한 추론법은 전건 긍정의 형식이며, 이는 다음과 같다.

직관 술어 논리에서는 다음과 같은 두 변수 일반화 규칙이 추가된다. 여기서, 는 에서 자유 변수가 아닌 변수(한정 변수이거나, 아니면 에 등장하지 않는 변수)이다.

**공리**
직관 명제 논리의 공리들은 다음과 같다. 임의의 명제 에 대하여,- (함의 조건의 추가) - (함의의 분배) - (논리곱의 좌측 제거) - (논리곱의 우측 제거) - (논리곱과 함의 조건의 추가) - (논리합의 좌측 추가) - (논리합의 우측 추가) - (함의 조건들의 논리합) - (거짓은 모든 명제를 함의) 
직관 술어 논리에서는 다음 두 공리들이 추가로 성립한다. 여기서 는 에서 한정 변수가 아닌 변수이다.- (보편 기호의 특수화) - (존재 기호의 추가) 

**성질**

**명제의 격자**
주어진 명제 로부터, 고전 명제 논리에서는  네 개의 명제밖에 정의할 수 없지만, 직관 명제 논리에서는 이로부터 무한한 수의, 서로 동치이지 않는 명제들이 존재한다. 이를 리에게르-니시무라 사다리(Rieger–Nishimura ladder)라고 하며, 라디슬라프 스반테 리에게르(Ladislav Svante Rieger)와 니시무라 이와오가 정의하였다.
파일:Rieger-Nishimura.svg

**고전 논리와의 관계**
직관 논리는 고전 논리의 일부분이다. 직관 논리에서 참인 모든 명제는 고전적으로도 참이지만, 고전적으로 참이지만 직관 논리에서는 증명할 수 없는 명제들이 존재한다. 이러한 명제들은 다음을 들 수 있다.- (배중률) - (이중 부정 삭제) - (퍼스의 법칙) 

**의미론**
직관 논리의 경우, 다양한 의미론이 존재한다. 이 가운데 하나로는 다음과 같은 위상수학적 의미론을 생각할 수 있다. 어떤 위상 공간 에 대하여, 직관 논리를 다음과 같이 해석하자.- 명제는 의 열린 집합에 대응한다.- 논리합 는 합집합 에 대응한다.- 논리곱 는 교집합 에 대응한다.- 함의 는 교집합 에 대응한다. 여기서 는 집합의 내부이다.- 거짓 은 공집합 이다.
이로부터 정의되는 부정과 동치는 다음과 같다.- 부정 는 여집합의 내부 에 대응한다.- 동치 는 에 대응한다.
일반적인 위상 공간에 대하여 증명할 수 있는 모든 명제들은 직관 논리에서 참임을 보일 수 있다.
이 밖에도, 양상 논리의 크립키 모형(Kripke model)을 직관 논리에서도 사용할 수 있다.

**역사**
라위트전 브라우어르의 직관주의 수학을 형식화하기 위하여, 아런트 헤이팅이 도입하였다.

**응용**
직관 논리는 일반적인 토포스의 내부 논리(internal logic)로 등장한다. (표준적인) 집합의 토포스나, 이산 공간 위의 층의 토포스 등에서는 고전 논리가 성립하지만, 예를 들어 이산 공간이 아닌 위상 공간 위의 층의 토포스에서는 고전 논리가 성립하지 않고, 직관 논리를 사용해야만 한다.

**각주**
 url-status=dead- 언어=en
*(직관주의 논리,한국수학사학회지 = The Korean journal for history of mathematics v.12 no.1 , 1999년, pp.32 - 44 이승온,  김혁수,, 박진원 ,  이병식  )https://scienceon.kisti.re.kr/commons/util/originalView.do?cn=JAKO199911921897668&oCn=JAKO199911921897668&dbt=JAKO&journal=NJOU00294661
*(논리연구14-2(2011)pp.39～75 - 직관주의적 유형론에서의 명제와 판단, 정인교-KRF-2007-327-A00159)http://logicalkorea.com/attach/paper/14-2-ChungIK.pdf

**외부 링크**
 title=Intuitionistic logic- title=Intuitionistic propositional calculus- 언어=en- 언어=en- 언어=en- 언어=en

**같이 보기**
 직관주의- 초직관 논리
삼산리

삼산리(三山里)는 다음 지역에 위치한 대한민국의 리이다.- 대구광역시 군위군 산성면 삼산리- 대구광역시 달성군 가창면 삼산리- 경기도 양평군 양동면 삼산리- 강원특별자치도 강릉시 연곡면 삼산리- 충청북도 보은군 보은읍 삼산리- 충청북도 청주시 상당구 낭성면 삼산리- 충청남도 논산시 성동면 삼산리- 충청남도 부여군 외산면 삼산리- 충청남도 서천군 서천읍 삼산리- 전라남도 구례군 간전면 삼산리- 전라남도 장흥군 관산읍 삼산리- 전라남도 장흥군 장흥읍 삼산리- 경상북도 김천시 조마면 삼산리- 경상북도 성주군 성주읍 삼산리- 경상북도 영양군 입암면 삼산리- 경상북도 영천시 고경면 삼산리- 경상북도 울진군 기성면 삼산리- 경상북도 의성군 봉양면 삼산리- 경상남도 함양군 함양읍 삼산리

**같이 보기**
 삼산리- 삼산동
분류:대한민국의 리
우두리

우두리는 다음 지역에 위치한 대한민국의 리이다.- 전라남도 여수시 돌산읍 우두리(右斗里)- 전라남도 완도군 약산면 우두리(牛頭里)

**같이 보기**
 우두리- 우두동
분류:대한민국의 리
죽림리

죽림리(竹林里)는 다음 지역에 위치한 대한민국의 리이다.- 경기도 안성시 일죽면 죽림리- 충청남도 논산시 노성면 죽림리- 충청남도 보령시 청소면 죽림리- 충청남도 청양군 장평면 죽림리- 충청남도 홍성군 금마면 죽림리- 세종특별자치시 조치원읍 죽림리- 전북특별자치도 고창군 고창읍 죽림리- 전북특별자치도 부안군 백산면 죽림리- 전북특별자치도 완주군 상관면 죽림리- 전북특별자치도 장수군 번암면 죽림리- 전라남도 곡성군 옥과면 죽림리- 전라남도 광양시 광양읍 죽림리- 전라남도 순천시 주암면 죽림리- 전라남도 신안군 비금면 죽림리- 전라남도 여수시 소라면 죽림리- 전라남도 장성군 삼계면 죽림리- 전라남도 진도군 임회면 죽림리- 경상북도 예천군 용문면 죽림리- 경상남도 거창군 웅양면 죽림리- 경상남도 통영시 광도면 죽림리- 경상남도 함양군 함양읍 죽림리

**같이 보기**
 죽림리- 죽림동
분류:대한민국의 리
대한민국 민법 제1073조

대한민국 민법 제1073조는 유언의 효력발생시기에 대한 민법 상속법 조문이다.

**조문**

**판례**

**참고 문헌**
 오현수, 일본민법, 진원사, 2014. 978-89-6346-345-2- 오세경, 대법전, 법전출판사, 2014 978-89-262-1027-7- 이준현, LOGOS 민법 조문판례집, 미래가치, 2015. 979-1-155-02086-9
A73
분류:상속법
분류:유언의 효력
대한민국 민법 제1074조

대한민국 민법 제1074조는 유증의 승인, 포기에 대한 민법 상속법 조문이다.

**조문**

**판례**

**참고 문헌**
 오현수, 일본민법, 진원사, 2014. 978-89-6346-345-2- 오세경, 대법전, 법전출판사, 2014 978-89-262-1027-7- 이준현, LOGOS 민법 조문판례집, 미래가치, 2015. 979-1-155-02086-9
A74
분류:상속법
분류:유언의 효력
대한민국 민법 제1075조

대한민국 민법 제1075조는 유증의 승인, 포기의 취소금지에 대한 민법 상속법 조문이다.

**조문**

**판례**

**참고 문헌**
 오현수, 일본민법, 진원사, 2014. 978-89-6346-345-2- 오세경, 대법전, 법전출판사, 2014 978-89-262-1027-7- 이준현, LOGOS 민법 조문판례집, 미래가치, 2015. 979-1-155-02086-9
A75
분류:상속법
분류:유언의 효력