hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
뮌스터 대학교
뮌스터 대학교(Universität Münster)는 독일 노르트라인베스트팔렌주 뮌스터에 위치한 공립 대학교이다. 약 3만 6000명의 학생이 등록되어 있고 130여 가지의 전공과 15학부가 개설되어 있어 독일에서 큰 규모의 대학교 가운데 하나이다. 대학교의 이름은 독일제국의 마지막 황제였던 빌헬름 2세의 이름을 따서 지어졌으며 예전 뮌스터 선제후 궁전을 대학본부로 사용하고 있다. 한국동문으로는 허혁, 시인 허수경, 김성봉 박사, 조병수 박사, 김성욱 교수, 조남신, 김종인 그리고 EBS 사장 김명중(논 외 김민주)이 있다.

뮌스터
뮌스터(독일어: Münster)는 독일 북서쪽 노르트라인베스트팔렌주에 있는 대도시이다(독일 기준 인구 20만이 넘으면 대도시). 지리적으로 보면, 뮌스터는 북서쪽으로 네덜란드에 있는 국경도시인 엔스헤데와 약 70킬로미터 떨어져 있고, 북동쪽으로는 오스나브뤼크라는 작은도시가 있다. 또한 지형적으로 언덕이 거의 없는 평지로 주로 구성이 되어 있고, 도심은 해발 60미터 정도밖에 이르지 않는다.

인구 밀도는 전 독일에서 42위에 이르는데, 다른 도시에 비해서 지역이 넓으나 건축물 건립 구역은 다른 지역보다 낮다. 즉, 주거지역은 보통 2층이나 3층으로 이루어져 있다.

뮌스터는 "비가 오고, 오지 않을 때는 교회 종이 울린다. 이 두 가지가 동시에 일어난다면, 그날은 일요일이다."라는 말이 있을 만큼 비가 많이 오는 지역이다. 연 강우량은 약 700mm로 독일의 평균 강우량에 해당한다. 그럼에도 뮌스터에 이런 말이 있는 것은 비가 오는 횟수가 많기 때문이다.

1977년부터 10년마다 국제적인 현대미술 행사인 뮌스터 조각 프로젝트를 개최하고 있으며, 행사 기간 동안 전세계에서 온 50만명 이상의 관람객이 이 지역을 방문한다.
슈테헬베르크
슈테헬베르크(독일어: Stechelberg)는 스위스 베른주 베른고원 지방, 라우터브루넨의 계곡 안쪽에 위치한 마을이다. 해발 922m로 빙하가 형성한 U자곡의 바닥에 있어, 서쪽의 절개 절벽으로부터 엄청난 폭포수가 흘러 떨어진다.

이 마을에는 1965년 건설된 공중 트램웨이(Luftseilbahn Stechelberg-Mürren-Schilthorn, LSMS)가 있어서 쉴트호른으로 올라가는 케이블카 기슭 역이 있어, 쉴트호른 관광의 거점이 되고 있다. 슈테헬베르크까지 등산 철도역이 있는 라우터브루넨에서 포스트버스가 연결된다. 슈테헬베르크와 라우터브루넨 사이에는 지중을 흐르는 폭포로 알려진 트뤼멜바흐 폭포가 있다.

슈테헬베르크의 남쪽은 유네스코 세계자연유산에 등록된 지역(스위스 알프스 융프라우-알레취)이다.

2003년 2월 6일, 두 차례의 눈사태가 마을을 덮쳤지만 큰 피해는 없었다. 폭설과 눈사태의 위험이 계속되면서 주민들은 집밖으로 나갈 수 없었고 학교는 당분간 문을 닫았다.

쉴트호른
쉴트호른(Schilthorn)은 스위스 베른주 베르너 오버란트 지역에 있는 해발 2,970m의 산이다. 산 정상에서 융프라우 삼산( 아이거, 묀히, 융프라우)을 비롯해 200개가 넘는 봉우리들의 큰 파노라마가 펼쳐진다. 게다가 멀리 독일의 검은 숲(슈바르츠발트)이나 프랑스의 보주산맥까지 바라볼 수 있다.

산 정상에는 회전 레스토랑 ‘피츠글로리아’가 있다. 이 레스토랑은, 액션 영화 007 시리즈의 제6작, 「007 여왕폐하 대작전」의 로케이션 장소가 되었다. 건물 자체가 태양광 발전의 힘으로 천천히 회전하기 때문에 자리에 앉은 채 360°의 경관을 즐길 수 있다. 1967년에 산 정상까지 케이블카가 개통되었다.

산 정상은 매년 1월에 개최되는 세계 최대급의 아마추어 스키 레이스, ‘국제 인페르노 레이스’의 출발지가 되고 있다.

피츠글로리아와 인접한 전망대가 있는 곳에서 북동쪽으로 뻗어 있는 능선에, 2013년 여름부터 피츠글로리아뷰라고 불리는 새로운 전망대가 완성되었다. 회전 레스토랑 ‘피츠 글로리아’와 함께 아이거, 묀히, 융프라우 3개의 산을 함께 촬영할 수 있는 포인트가 되고 있다.
어름치
어름치는 잉어목 잉어과 속하며, 한국에서만 서식하는 고유종 민물고기이다. 대한민국의 천연기념물 제259호로 지정되어 있다.

어름치는 잉어과에 속하는 우리나라의 고유한 물고기로 한강, 임진강, 금강의 중상류에 분포한다. 몸길이는 20∼30cm이며, 몸 표면에 검은 점이 7∼8줄로 가로 놓여져 있는 것이 특징이다. 하천 중상류의 물이 맑고 자갈이 있는 곳에서 서식하며 물속에 사는 곤충이나 갑각류, 작은 동물 등을 먹고 산다. 수온이 17 °C 이상 올라가는 4∼5월이면 깨끗한 물 속에 구덩이를 파고 알을 낳으며, 알을 잃어버리지 않기 위해 모래와 자갈로 높이 5∼18cm의 산란탑을 쌓아 놓는다.

고유성
고유성(endemism)은 어떤 종이 섬, 국가, 나라 등의 국한된 구역이나 서식지 유형 등의 특정한 지질학적 위치에 국한하여 분포하는 생태학적 상태를 의미한다. 어떤 지역에 자생하는 유기체는 다른 곳에서도 발견된다면 고유성을 띄지 않는다고 여겨진다. 고유성의 극단적인 반대개념은 세계분포이다. 고유성의 대체어휘는 구역성(precinctivity, precinction)인데, 종 이하의 분류군이 특정한 지리적 구역에만 분포하는 것을 지칭한다. 고유성을 띠는 종은  고유종(固有種, endemic species)라고 부르며, 특산종(特産種), 토착종(土着種)이라고도 부른다.
연체동물
연체동물(軟體動物)은 몸이 연하며 외투막을 가진 동물이다. 연체동물은 환형동물과 함께 분화된 것이다. 분화과정에서 체절제가 없어지고, 석회질의 껍질을 지니게 되면서 이동성이 약해진 것인데 체제는 환형동물보다 진화되었다. 신경절이 모여 몇 쌍의 신경구(球)가 형성되고 거기에 머리·다리·내장 등의 신경중추가 만들어졌다.

순환계는 심장이 커지고, 배출기도 잘 발달되고 소화계에서도 간장이 매우 커졌다. 호흡계도 잘 발달된 두 쌍의 아가미가 생겨 환형동물보다 발달된 체제를 가지게 되었다. 특히 두족류의 경우, 눈은 척추동물과 같이 잘 발달되었고, 신경구가 모두 머리 부분에 모여 연골로 에워싸여 척추동물의 뇌와 비슷한 형태이다.

또 감각이나 행동은 잘 발달하고 운동도 활발해서 무척추동물 중에서는 곤충의 잠자리류와 함께 가장 발달된 동물군으로 꼽힌다. 연체동물은 일반적으로 바다에 서식하지만, 환형동물과 마찬가지로 육지가 넓어짐에 따라 그 일부는 육상으로 올라왔고, 또 담수에 적응한 것도 생겨났다. 지구 상에는 작은 달팽이에서부터 거대한 대왕오징어에 이르기까지, 10만 종이 넘는 연체동물이 살고 있다. 땅에서 사는 것도 있지만 대부분 물에서 산다.

달팽이, 고둥, 조개, 앵무조개, 문어, 오징어 등을 포함한다.

조개
조개는 단단한 껍데기로, 몸을 둘러싸고 있는 연체동물의 총칭이다. 또한 조개는 바닷물에서 사는 것과 민물에서 사는 것이 있으나 대부분 바다에서 서식한다.

보통은 두 장의 판판한 껍데기(조가비)를 가진 이매패류를 가리키나, 복족류(삿갓조개, 고둥류 등), 굴족류(뿔조개 등) 등 다른 패류가 조개로 불리기도 하며, 심지어 두족류에 속하는 앵무조개도 조개로 부른다. 이 항목에서는 이매패류 및 복족류에 속하는 패류를 주로 다룬다.
금중병공가제법도
금중병공가제법도(일본어: 禁中並公家諸法度 긴추나라비니쿠게쇼핫토[*])는 에도 막부(江戶幕府)가 천황과 구게에 대한 관계를 확립하기 위해서 정한 법령이다. 금중병공가중제법도(禁中并公家中諸法度), 금중방어조목(禁中方御条目)이라고도 한다.

일본 천황
천황(일본어: 天皇 덴노[*], 영어: Emperor of Japan)은 일본의 군주로, 일본 황실의 대표이자 일본의 상징적인 국가 원수이다.

일본국 헌법에서는 천황을 일본의 주권을 가진 일본 국민의 총의에 기반한 일본의 상징이자 일본 국민 통합의 상징이라고 규정하고 있다. 또한 일본 천황가는 현존하는 세계에서 가장 오래된 왕실 가운데 하나다.

지위로서 천황의 기능에 대해서는 일본국 헌법 제1조부터 제7조에 명시되어 있다. 천황은 “일본국의 상징이며, 일본 국민 통합의 상징”(제1조)으로 규정되어 내각의 조언과 승인에 의해, 법률이나 조약의 공포, 국회가 지명한 내각총리대신의 임명, 국회의 소집 등의 국사행위로 제한된 권한(제7조)을 가진다.

일본 황실의 계보가 한 번도 끊어지지 않고 존속되었다고 주장하는 의미로 만세일계(萬世一系)라는 말이 있다. 일본 제국 때에는 세계의 만방이 모두 천황의 지배하에 있다는 팔굉일우(八紘一宇)라는 이념이 천황제 파시즘과 황국사관의 근본사상이 되었다. 한편 천황이 국가원수의 지위를 갖느냐와 관련하여서는 헌법에 명시되어 있지 않아서, 국가 원수라고 보는 견해와 반대하는 견해가 대립한다. 현재는 제126대 천황인 나루히토가 황위에 있다.
구조화 정리
구조화 정리, 구조화 프로그램 정리(Structured program theorem) 또는 뵘-야코피니 정리(Böhm–Jacopini theorem)는 프로그래밍 언어 이론의 결과이다. 이는 제어 흐름 그래프 클래스(이 맥락에서 역사적으로 순서도라고 함)가 세 가지 특정 방식(제어 구조)으로만 하위 프로그램을 결합하는 경우 계산 가능한 모든 함수를 계산할 수 있다고 명시한다. 이것들은

하나의 서브프로그램을 실행한 후 다른 서브프로그램(시퀀스) 실행

불리언 식의 값에 따라 두 하위 프로그램 중 하나 실행(선택)

불리언 식이 참인 동안 서브프로그램을 반복적으로 실행(반복)

이러한 제약 조건이 적용되는 구조화된 차트, 특히 단일 종료를 암시하는 루프 제약 조건(이 문서의 뒷부분에 설명됨)은 비트 형식의 추가 변수(원래 증명의 추가 정수 변수에 저장됨)를 사용하여 다음을 수행할 수 있다. 원본 프로그램이 프로그램 위치로 나타내는 정보를 추적한다. 구성은 뵘의 프로그래밍 언어 P''를 기반으로 했다.

이 정리는 goto 명령을 피하고 서브루틴, 시퀀스, 선택 및 반복을 독점적으로 사용하는 프로그래밍 패러다임인 구조적 프로그래밍의 기초를 형성한다.

제어 흐름
제어 흐름(영어: control flow 또는 flow of control)은 실행이 한 명령어에서 다음 명령어로 진행되는 방식을 설명한다. 기계어나 명령형 프로그래밍 프로그래밍 언어와 같은 많은 문맥에서, 명령어가 제어를 다른 지점으로 전달하는 경우를 제외하면 제어는 순차적으로(현재 실행 중인 명령어 직후에 위치한 명령어로) 진행되며, 이 경우 해당 명령어를 제어 흐름 명령어라고 분류한다. – 문맥에 따라 명령어 대신 다른 용어가 사용되기도 한다. 예를 들어 기계어에서는 일반적인 용어가 인스트럭션(instruction)이며, 명령형 언어에서는 스테이트먼트(statement, 구문)라는 용어가 일반적이다.

명령형 언어는 제어 흐름을 명시적으로 인코딩하지만, 다른 프로그래밍 패러다임의 언어들은 제어 흐름에 덜 집중한다. 선언형 프로그래밍 언어는 연산 순서를 규정하지 않고 원하는 결과를 지정한다. 함수형 프로그래밍 언어는 일반적으로 제어 흐름 구문이라고 부르지는 않지만, 흐름을 제어하기 위해 언어 구조와 함수를 모두 사용한다.

중앙 처리 장치의 인스트럭션 세트에서 제어 흐름 인스트럭션은 종종 프로그램 카운터를 변경하며, 무조건적인 분기(점프라고도 함) 또는 조건부 분기 중 하나다. 대안적인 접근 방식은 분기 대신 조건에 따라 인스트럭션을 활성화하는 술어화(predication)이다.

인터럽트나 신호와 같은 비동기 제어 흐름 전달은 제어가 중단된 지점으로 돌아가기 전에 일반적인 제어 흐름을 핸들러로 변경한다.

소프트웨어를 공격하는 한 가지 방법은 실행 흐름을 리다이렉션하는 것이다. 스택 카나리, 버퍼 오버플로 보호, 섀도우 스택, vtable 포인터 검증을 포함한 다양한 제어 흐름 무결성 기술이 이러한 공격을 방어하는 데 사용된다.
문서 형식 정의
문서 형식 정의(Document Type Definition, DTD)는 컴퓨터 용어로, SGML 계열의 마크업 언어에서 문서 형식을 정의하는 것이다. SGML을 비롯해 HTML, XHTML, XML 등에서 쓰인다.

마크업 언어
마크업 언어(markup 言語, markup language)는 문서의 구조와 서식, 그리고 잠재적으로 각 부분 간의 관계를 지정하는 텍스트 인코딩 시스템이다. 마크업은 문서의 표시를 제어하거나 자동화된 처리를 용이하게 하기 위해 콘텐츠를 보강할 수 있다.

마크업 언어는 문서에 포함될 수 있는 마크업 정보와 해당 정보가 문서 콘텐츠와 결합되는 방식을 관리하는 규칙 집합으로, 사람과 컴퓨터 프로그램이 쉽게 사용할 수 있도록 한다. 이 아이디어와 전문 용어는 편집자가 수정 지시를 내리며 종이 사본에 마크업하는 방식에서 진화했으며, 전통적으로 작가의 원고에 빨간 펜이나 파란 연필 (편집)로 작성되었다.

일반적으로 조판 및 표시에 중점을 둔 이전 마크업 언어에는 troff, TeX 및 LaTeX가 있다. Scribe와 XML과 같은 대부분의 현대 마크업 언어는 스타일 시트와 같은 기술이 서식이나 기타 처리를 적용하는 데 사용될 것이라는 기대와 함께 문서 구성 요소(예: 머리글, 단락, 표)를 식별한다.

널리 사용되는 HTML과 같은 일부 마크업 언어는 미리 정의된 표시 의미론을 가지며, 이는 해당 시방서가 특정 미디어에서 구조화된 데이터를 표시하는 방식의 일부 측면을 규정함을 의미한다. HTML은 DocBook, Open eBook, JATS 등과 마찬가지로 마크업 메타 언어인 XML과 SGML을 기반으로 한다. 즉, SGML과 XML은 디자이너가 특정 스키마를 지정할 수 있도록 허용하며, 이는 어떤 요소, 속성 및 기타 기능이 허용되고 어디에 허용되는지 결정한다.

대부분의 마크업 언어의 핵심 특징은 마크업을 텍스트 및 그림과 같은 콘텐츠와 결합할 수 있다는 점이다. 예를 들어, 문장의 몇 단어를 강조하거나 고유 명사, 정의된 용어 또는 기타 특수 항목으로 식별해야 하는 경우, 마크업이 문자의 문자 사이에 삽입될 수 있다.
소닉 앤 너클즈 컬렉션
《소닉 & 너클즈 컬렉션》은 1997년 2월 14일 PC로 나온 모음집이다. 소닉 더 헤지호그 3와 소닉&너클즈, 그리고 '록-온 기술'을 이용한 소닉 3&너클즈를 합쳤으며, 메가드라이브판과 달리 블루 스피어즈를 수록하였고, MIDI로 이용한 사운드카드로 재생되어 사용하고, 아이스 캡 존이나 카니발 나이트 존, 런치 베이스 존 등 일부 음원이 바뀌어 나온다. 또한 세가측에서 고사양 사용자들이 창모드로 실행할 때 속도가 빠르게 넘어가는 문제점을 개선하는 스피드 패치를 제공하였고 본 제품에는 소닉 화면보호기(Sonic The Hegehog The Screen Saver) 프로그램이 수록되었다.

소닉 더 헤지호그 3
《소닉 더 헤지호그 3》(Sonic the Hedgehog 3)는 1994년 2월 2일 소닉 팀이 개발하고 세가에서 출판한 플랫포머 비디오 게임이다. 북미와 브라질, 그리고 5일후 대한민국에서 먼저 출시하였다. 너클즈 디 에키드나라는 새로운 캐릭터가 등장하였으며, 소닉 & 너클즈와 연동이 가능하다.

1994년 2월 2일 북미와 브라질에 2월 7일 대한민국에 2월 22일 유럽과 호주에 메가드라이브로 출시되었고 일본에는 자그마치 무려 3개월 뒤인 5월 27일 발매되었다.
스테이지는 각각 2 액트로 이루어져 있고, 소닉 더 헤지호그 (캐릭터)와 마일즈 테일즈 프라우어, 너클즈 디 에키드나로 플레이 할 수 있다.
Everything Must Go (스틸리 댄의 음반)
《Everything Must Go》는 미국의 록 밴드 스틸리 댄의 아홉 번째 스튜디오 음반이다. 이 음반은 2003년 6월 10일, 리프리즈 레코드에 의해 발매되었으며, 1980년부터 2000년까지 20년간의 스튜디오 공백을 깨고 《Two Against Nature》를 발매한 두 번째 음반이었다. 《Everything Must Go》는 밴드의 가장 최근 스튜디오 음반이자 2017년 그가 사망하기 전 창립 멤버 월터 베커와의 마지막 음반이다.

스틸리 댄
스틸리 댄(Steely Dan)은 미국의 록, 재즈 퓨전 밴드로 1972년 핵심 멤버인 월터 베커(Walter Becker, 기타, 베이스, 백보컬)와 도널드 페이건(Donald Fagen, 키보드, 리드 보컬)이 결성했다. 록, 재즈, 라틴음악, 레게, 전통 팝, 알앤비, 블루스 등을 혼합한 음악에 정교한 스튜디오 작업, 그리고 수수께끼 같고 반어적 느낌의 가사로 이들은 1970년대 초에 상업적 성공을 거두었고 1981년 해체할 때까지 그 인기를 누렸다. 처음에는 핵심 멤버들로 밴드가 구성되어 있었는데 1974년 벡커와 페이건이 더 이상 공연을 하지 않게 되면서 스튜디오 밴드가 되었고 세션 뮤지션들과 녹음 작업을 했다. 롤링 스톤은 그들을 "70년대 음악의 반(反)영웅의 완벽한 전형"이라고 칭했다.

1981년 밴드가 해체된 이후에도 열성팬들의 지속적인 추종에도 불구하고 벡커와 페이건은 이후 거의 십년 동안 별 활동을 하지 않았다. 1993년 재결합한 스틸리 댄은 꾸준히 투어 공연을 벌이면서 새로운 곡들로 두 개의 앨범을 냈는데 그 중에서 먼저 나왔던 《Two Against Nature》로 그래미 어워드의  이 해의 앨범상을 받았다. 이들은 전세계적으로 4천만장 이상의 앨범을 판매했고 2001년 3월에 록앤롤 명예의 전당에 헌액되었다. VH1은 스틸리 댄을 역대 가장 위대한 뮤지션 100 리스트에서 82위에 선정하기도 했다. 창단 멤버였던 월터 벡커가 2017년 9월 3일 사망하면서 현재 페이건만이 공식 멤버로 남아 있다.
데이브 브루벡
데이브 브루벡(Dave Brubeck, 1920년 12월 6일 ~ 2012년 12월 5일)은 미국의 재즈 음악가이다. 1959년 앨범 Time Out에 수록된 Take Five로 가장 잘 알려져 있다.

2차대전 때 미국으로 망명하였던 거장 다리우스 미요의 문하생으로서, 클래식한 터치를 보이나 폴 데즈먼드(알토 색소폰 주자)와 콤비가 된 퀴테트는 16년에 걸친 커리어를 가지며, 이 기간에 전 미국의 대학을 역방하여 재즈를 모르는 학생들을 팬으로 만든 공적은 크다. UCLA에서 아르놀트 쇤베르크의 가르침을 받기도 했으나, 음악적 견해의 차이로 결별하였다.

2012년 심부전으로 항년 93세에 별세했다

Take Five
"Take Five"는 폴 데스몬드 작곡, 데이브 브루벡 중주 연주의 1959년 앨범 Time Out에 수록된 재즈 곡이다. 뉴욕에 있는 콜롬비아 레코드의 30번가 스튜디오 (CBS 30th Street Studio)에서 1959년 6월 25일, 7월 1일, 8월 18일에 녹음되었다.
1988년 일본 프로 야구 올스타전
1988년 일본 프로 야구 올스타전은 1988년 7월 24일부터 7월 26일까지 열린 일본 프로 야구의 올스타전 경기이다. 정식 명칭은 1988 산요 올스타 게임(1988 サンヨー オールスターゲーム, 1988 SANYO ALL STAR GAME).

오카다 아키노부
오카다 아키노부(일본어: 岡田 彰布, 1957년 11월 25일 ~ )는 일본의 전 프로 야구 선수이자 야구 지도자, 야구 해설가·평론가이다. 오사카부 오사카시 주오구 출신이며 현역 시절 포지션은 내야수, 외야수였다.

한신 타이거스 감독(2004년~2008년, 2023년~2024년)과 오릭스 버펄로스 감독(2010년~2012년)을 지냈다.
이요 마쓰야마번
마쓰야마번(일본어: 松山藩 마쓰야마한[*])은 일본 에도 시대 이요국 온센군(温泉郡)을 중심으로 구메군(久米郡)・노마군(野間郡)・이요군(伊予郡) 등을 지배했던 번으로, 지금의 에히메현 마쓰야마시에 속해 있었다. 데와국의 마쓰야마번・빗추국의 마쓰야마번・무사시국의 마쓰야마번・야마토국의 마쓰야마번 등과 구분하기 위해 이요 마쓰야마 번(伊予松山藩)으로도 표기하는 경우가 많다. 번청은 마쓰야마성이다.

마쓰야마시
마쓰야마시(일본어: 松山市 (まつやまし), 문화어: 마쯔야마시)는 일본 에히메현 중부에 있는 시이자 에히메현의 현청 소재지이다. 인구는 약 50만 명으로 시코쿠에서 가장 인구가 많은 도시이다. 2000년 4월 1일에 중핵시로 지정되었고, 2005년 1월 1일에는 인접한 호조시(北条市)와 온센군(温泉郡) 나카지마정(中島町)을 편입함으로써 인구가 50만 명을 넘었다.
통킹
통킹(베트남어: Bắc Kỳ / 北圻, 영어: Tonkin)은 베트남 북부 홍강 유역 지역을 말한다. 이 지역의 중심 도시인 하노이의 15세기경 옛 이름인 "동낀"(베트남어: Đông Kinh / 東京)에서 유래했다. 프랑스의 식민지 체제 하에서는 프랑스령 인도차이나를 구성 하노이를 중심으로 한 베트남 북부의 보호령을 가리키는 명칭으로 사용되었다. 현재는 베트남 북부를 가리키는 명칭으로 통킹은 자주 사용되지 않지만, 박보만(Vịnh Bắc Bộ, 北部灣)의 별칭인 ‘통킹만’은 지금도 여전히 사용되고 있다.

홍강
홍강(베트남어: Sông Hồng / 瀧紅), 홍하(베트남어: Hồng Hà / 紅河) 또는 훙허강(중국어: 红河, 병음: Hónghé)는 중국 윈난성에서 발원하여 베트남을 거쳐 통킹만의 남중국해로 흐르는 강이다. 베트남 수도인 하노이를 거쳐 흐른다.
백 투 더 퓨처 3
《백 투 더 퓨처 3》(영어: Back to the Future Part III)는 1990년 개봉한 미국의 SF 영화로, 《백 투 더 퓨처 2》의 속편이다. 백 투 더 퓨처 3의 결말을 바탕으로 한 TV 애니메이션 시리즈도 존재한다.

메리 스틴버건
메리 스틴버전(Mary Steenburgen, 영어 발음: /ˈstiːnbɜːrdʒən/, 1953년 2월 8일 ~ )은 미국의 배우, 희극인, 가수, 작곡가이다. 조너선 데미의 《멜빈과 하워드》(1980)로 1981년 제53회 아카데미 여우조연상과 제38회 골든 글로브 여우조연상을 수상했다.
이론 및 실험 물리학의 진보
《이론 및 실험 물리학의 진보》(Progress of Theoretical and Experimental Physics)는 일본 물리학회를 대신하여 옥스포드 대학교 출판부에서 발행하는 월간 동료검토에 의한 과학 저널이다. 1946년 7월에 유카와 히데키에 의해 《이론물리학의 진보》(Progress of Theoretical Physics)로 설립되어 2013년 1월에 현재의 이름으로 변경되었다.

이 저널은 SCOAP3 운동의 일환이다.

유카와 히데키
유카와 히데키(일본어: 湯 (ゆ)川 (かわ) 秀 (ひで)樹 (き), 1907년 1월 23일~1981년 9월 8일)는 일본의 이론물리학자이다.

원자핵 내부에 있어서 양성자와 중성자를 서로 강한 상호작용의 매개가 되는 중간자의 존재를 1935년에 이론적으로 예측했다. 1947년, 영국의 물리학자 세실 프랭크 파월이 우주선 중에서 파이 중간자를 발견한 것에 의해 ‘유카와 이론’이 증명돼 이러한 공적을 인정받아 1949년에 일본인으로서는 최초로 노벨 물리학상을 수상했다. 노벨 물리학상 수상 이후 반핵 운동이나 평화 운동에 적극적으로 참여하여 러셀-아인슈타인 선언에 막스 플랑크와 함께 공동 선언자로 이름을 올렸고 중간자 이론 외에 비국소장이론, 소영역이론 등의 이론을 계속 발표했다. 이런 모습은 고등학교와 교토 제국대학 동창이었던 도모나가 신이치로와는 대조적인 모습이었고 도모나가와 마찬가지로 니시나 요시오의 제자로도 알려져 있다. 목소리가 작고 강의가 상당히 난해했다고 전해진다.

교토부 교토시 출신이며 교토 대학·오사카 대학 명예교수, 교토시 명예시민이었다. 1943년에 문화훈장을 받았고 학위는 이학박사이다.
대공원역 (과천)
대공원(국립과천과학관)역(Seoul Grand Park(Gwacheon National Science Museum)Station, 大公園(國立果川科學館)驛)은 경기도 과천시 과천동과 막계동에 있는 수도권 전철 4호선의 전철역이다. 인근에 국립과천과학관이 있다. 2006년 7월 1일에 한국철도공사 지사제 발족과 함께 그룹대표역으로 지정됐으나, 업무의 효율성, 핵심 사업 실행, 현장 중심의 경영체제 확립을 위한 조직 개편과 함께 2009년 9월 1일 지역 본부 축소와 함께 보통역으로 격하됐다. 고객지원실에서 한국철도 100주년 기념 스탬프를 날인 받을 수 있다. 향후 급행열차 운행 일환으로 대피선 설치 계획이 있다. 부역명은 서울랜드였으나 계약 해지됐다가 국립과천과학관이 붙였다.

과천시
과천시(果川市, Gwacheon)는 대한민국 경기도 중부에 위치한 시이다. 북쪽으로 관악산(632m), 우면산(293m)을 경계로 서울특별시 관악구, 서초구와 접하고, 청계산(618m)을 경계로 동쪽으로는 성남시 수정구, 남서쪽으로는 안양시 동안구, 남쪽으로는 매봉산(369m)을 경계로 의왕시와 접한다. 서울대공원과 서울경마공원, 국립과천과학관 등의 문화시설이 있으며, 정부과천청사가 위치한다. 시목은 밤나무, 시화는 철쭉, 시조(市鳥)는 비둘기, 시의 동물은 말 등이다.

과천시 출범 전인 1982년에 정부제2청사가 준공되었고 1982년 정부 부처들을 시작으로 1985년에 당시 시흥군 과천면 과천출장소 일반 전화 가입자들까지 단계적으로 서울 통화권(02)으로 편입되어, 광명시와 더불어 시 전역이 서울특별시의 02 지역 번호를 공용한다. 따라서 경기도의 031 지역번호를 쓰지 않는다.
킬리만자로산
킬리만자로산(영어: Mount Kilimanjaro)은 탄자니아 북동부에 있는 성층 화산이다. 정상인 우후루 피크의 높이는 5,895m로 아프리카 대륙에서 가장 높으며, 지형학에서는 세계에서 네 번째로 돌출된 산이다.

탄자니아
탄자니아 연합 공화국(스와힐리어: Jamhuri ya Muungano wa Tanzania 잠후리 야 뭉가노 와 탄자니아, 아랍어: جمهورية تنزانيا الاتحادية, 영어: United Republic of Tanzania 유나이티드 리퍼블릭 오브 탠저니아[*])은 동아프리카에 있는 나라이며, 1961년에 독립한 탕가니카와 1963년에 독립한 잔지바르가 1964년에 통합하여 생긴 나라이다. 또한 탄자니아의 법적인 수도는 도도마이지만, 실질적인 수도의 기능은 탄자니아의 최대 도시인 다르에스살람이 하고 있으며, 각국의 대사관을 포함한 많은 공공기관들과 기업들이 현재까지도 이전을 거부하고 있는 상태이다.
신별
신별(일본어: 神別 신베츠[*])은 고대 일본의 씨족 분류 중 하나이다.

헤이안 시대 초기에 쓰여진 《신찬성씨록》에서는 천진신과 국진신의 자손을 "신별"이라고 기록하고 있다(“天神地祇之冑、謂之神別”). 또한 신별은 천신, 천손, 지기로 분류되어 천신 265씨족, 천손 109씨족, 지기 30씨족이 있다. 이러한 구분은 오래 전부터 있어왔던 것 같고, 이것은 율령제 이전의 성 중 오미는 황별씨족에게, 무라지가 신별씨족에게 집중되어 있는 것으로도 추측이 가능하다.

황별
황별(일본어: 皇別 코우베츠[*]) 또는 왕손(일본어: 王孫 오우손[*])은 일본의 황실에서 신적강하한 씨족들을 가리킨다. 황실과 마찬가지로 남자 혈통으로 이어진다. 황별이라 함은 서기 815년 조정이 편찬한 《신찬성씨록》에서 전국의 성씨를 황별(천황, 황자들의 자손), 신별(천진신과 국진신의 자손), 제번(한반도나 중국에서 건너온 도래인들의 자손)의 세 가지로 구분한 데서 유래한 명칭이며, 왕손이라 함은 에도 시대 이후 사용된 명칭이다.
대야미역
대야미역(大夜味驛, Daeyami station)은 경기도 군포시 대야미동에 있는 수도권 전철 4호선의 전철역이다. 이 역과 수리산역 사이에 교-교(교류간) 절연 구간이 있다. 역명은 지역에 1정보(町步) 크기의 논이 있는데서 한배미, 큰배미 또는 대야미리로 불린 지역명에서 유래되었다. 이 역부터 금정역까지 군포시 구간이다.

절연 구간
절연구간(絕緣區間, 영어: neutral section, 데드 섹션)은  전력공급 방식이 달라 일시적으로 전력공급이 끊어지는 구간이다. 통상적인 상황에서 열차는 이 구간에 진입 전까지 계속 주행하고 있으므로 관성을 이용하여 통과할 수 있다. 과거에는 데드 섹션의 역어인 사구간(死區間)이라는 표현을 썼으나, 용어 순화 차원에서 절연구간으로 부른다. 서울에서는 대표적으로 남영역↔지하서울역, 지하청량리역↔회기역(경원선), 선바위역↔남태령역 구간(4호선)이 있고, 전력공급이 직류에서 교류(또는 그 반대)로 바뀌어 교직 66m, 교-교 22m (수도권) 50m (산업선)의 구간에서 공급되지 않는다.
계산역
계산(경인여자대학교)역(Gyesan(Gyeongin Women's Daehakgyo)Station, 桂山(敬仁女子大學校)驛)은 대한민국 인천광역시 계양구에 있는 인천 도시철도 1호선의 전철역이다.

계양구
계양구(桂陽區)는 대한민국 인천광역시의 동북부에 있는 구이다.

고려시대 계양도호부(桂陽都護府)였고, 조선시대 부평도호부(富平都護府)였는데, 1914년에 부천군으로 개칭되었고, 1940년에 인천부에 편입되어 1968년에 인천직할시 북구에 편입되었고, 1995년 3월 1일 계양구가 신설되었다.

계양산, 천마산을 경계로 인천의 도심과는 별개의 시가지를 형성한다. 동쪽은 경기도 부천시와 서울특별시 강서구, 서쪽은 서구, 남쪽은 부평구, 북쪽은 서구 검단동과 경기도 김포시 고촌읍에 접한다.
모스크바 크렘린
모스크바 크렘린(러시아어: Московский Кремль 모스콥스키 크레믈[*], 문화어: 크레믈리)은 러시아의 수도 모스크바의 중심을 흐르는 모스크바강가에 있는 크렘린이다. 동쪽으로는 성 바실리 대성당과 붉은 광장이 있으며, 서쪽으로 알렉산드롭스키 정원이 있다. 모스크바 말고도 노브고로드, 니즈니노브고로드, 카잔, 아스트라한에도 크렘린이 있지만, 일반적으로 모스크바에 있는 크렘린을 가리키는 경우가 많다. 5개의 궁전, 4개의 성당, 벽과 탑들로 이루어져 있다. 과거에는 모스크바의 차르 궁전이었으나, 현재 러시아의 대통령 관저와 박물관으로 쓰이고 있다. 2017년에 274만 명의 관광객들이 다녀갔다.

'크렘린'은 요새 안의 도시라는 뜻을 가졌으며, 백악관이나 청와대와 같이, 러시아의 연방정부를 칭할 때 쓰는 고유명사화되었다. 전에는 소비에트 연방 중앙정부 지도자와 최고위 간부들을 통칭하는 단어이기도 하였다.

알렉산드롭스키 정원
알렉산드롭스키 정원(러시아어: Александровский сад)은 러시아 모스크바에 있는 공원이자 정원이다. 모스크바 크렘린 서쪽 벽을 따라 있는 것으로, 길이는 865m에 달한다. 여러 정원을 포함하는 것으로, 모스크바 마네지와 크렘린 사이에 있는 정원을 의미하기도 한다.
중도 (불교)
중도(中道)는 불교에서 '치우치지 아니하는 바른 도리'를 말한다.

고타마 붓다는 29세에 출가하여 35세에 깨달음을 얻어 붓다가 될 때까지의 6년간 그 대부분을 가혹한 고행의 길에 정진하였다. 그러나 그 고행도 고타마 붓다에 있어서는 몸을 괴롭게 하는 것뿐으로서 참된 인생 문제의 해결은 되지 않았다. 출가 전의 고타마 붓다는 왕자로서 물질적으로는 풍족하여 즐거움에 찬 생활을 보내고 있었으나 그러한 물질적인 풍족함만으로는 인간은 구원받지 못한다는 것도 알고 있었다. 그리하여 고타마 붓다는 출가 전의 쾌락(樂行)도 출가 후의 고행도 모두 한편에 치우친 극단이라고 하며 이것을 버리고 고락 양면을 떠난 심신(心身)의 조화를 얻은 중도(中道)에 비로소 진실한 깨달음의 길이 있다는 것을 스스로의 체험에 의해서 자각하였다. 성도(成道) 후 그때까지 함께 고행을 하고 있던 5인의 비구(比丘)들에게 가장 먼저 설교한 것이 중도의 이치였다.

중도는 팔정도라고 하는 구체적인 실천에 의해서 지탱되는 준엄한 도이며, 여기서는 나태 · 번뇌 · 노여움 · 어리석음에 의해서 부지 중 어떤 것에 집착하려고 하는 어떠한 치우침도 모두 버려야 할 것이 강조된다.

중론
《중론(中論)》(산스크리트어: Madhyamaka-śāstra 마드야마카 사스트라)은 용수가 만든 449구의 간결한 게송인 《중송(中頌)》(산스크리트어: Madhyamaka-kārikā 마드야마카 카리카)—《중관론송(中觀論頌)》이라고도 한다—에 청목(靑目: 4세기 전반)이 주석을 단 인도 불교의 논서이다. 《중관론(中觀論)》이라고도 한다.

4권으로 되어 있다. 구마라습이 다소 수정을 가해 한역하였다. 《중론》에 포함된 청목의 주석은 《중송》의 여러 주석들 중의 하나이다. 《중송》은 용수의 초기 작품으로서 초기 및 중기 대승불교 사상의 중요한 기초가 되었으며 그 후의 대승불교의 사상전개에 커다란 영향을 끼쳤다.
브라운베스
브라운베스(Brown Bess)는 18세기 영국 육군의 제식 머스킷과 그 파생 무기에 붙은 별명이다. 기원은 불명확하며, 75구경 플린트락식 장총이다. 대영 제국 확장기에 사용된 무기로 그 활약은 물론이거나와 곧 영국 육군을 상징하는 무기로 역사에 이름을 남겼다. 한 세기 이상 사용되었기 때문에, 설계에서 약간의 세세한 변화가 있었다. 대표적인 버전으로는 롱 랜드형과 쇼트 랜드형, 인디아형, 뉴랜드형, 해상용 머스킷 등이 있다.

롱 랜드 머스킷과 그 변종은 모두 75구경 플린트락이며, 대영제국 육군의 표준 장총으로 1722년에서 뇌관 활강총이 나온 1883년까지 사용되었다. 영국의 군수체계는 플린트락에서 1839년형 머스킷으로 알려진 새로운 뇌관 체계로 바뀌었다. 1841년 런던탑 화재는 교체도 되기 전 많은 머스킷들을 파괴했다. 19세기 중반까지도 브라운 베스는 많이 사용되었다.

어떤 것은 당시 유럽 무역상들에게서 구매하여 1820년대에서 1830년대 벌어진 머스킷 전쟁에서 마오리 전사들에 의해 사용되기도 했다. 일부는 1857년 인디언 반란 때 사용되기도 했고, 1879년 영국-줄루 전쟁 때 유럽 무역상들에게 구매를 한 줄루 족 전사들이 사용하기도 했다. 또한 일부는 멕시코 군에게 판매가 되었는데, 그들은 1836년 텍사스 혁명 때 사용을 했고, 또한 그 총으로 1846년에서 1848년까지 벌어진 멕시코-미국 전쟁에서도 사용되기도 했다. 심지어 1862년 쉴로 전투에서 사용되기도 했다.

미국 식민지의 남자들은 총기를 소지하도록 법적으로 명시되어 있었다. 롱 랜드형 장총은 미국 독립 전쟁 때 양측이 가장 보편적으로 사용한 무기이다.

머스킷 전쟁
머스킷 전쟁(Musket Wars)은 뉴질랜드 마오리족의 여러 이위들 간에 1807년에서 1837년 사이에 벌어진 500회 이상의 전투이다.

홍히 히카는 마오리족으로 어느 날 영국으로 가게 되어 영국의 국왕도 뵙고
여러 많은 영국 관리들과 친해지게 된다.
홍히 히카는 우연히 머스킷 총에 대해 알게 될때가 그 시기라고 한다.
그리고 호주로 돌아와서 받은 값진 물건들을 팔아서 머스킷 총으로 전부 바꾸게 된다.
나푸히나 나티와투아 같은 북부의 라이벌 종족들은 화기를 가장 먼저 구입한 부족이었다. 양자 간 충돌은 수많은 사상자를 낳게 되었다. 그들 중 일부는 머스킷을 본 적도 없었다. 그 전쟁들은 그들의 야만성과 무자비함이 드러난다. 그들은 배신과 마을을 전소시키고, 포로를 죽이고, 고문과 노예 그리고 심지어는 사람까지도 잡아먹는 야만적인 짓을 저질렀다. 이후 나푸티를 이끌게 된 홍이 히카는 북섬의 대부분의 북부를 약탈했으며, 이 과정에서 2명의 형제가 살해당했다.

이러한 초기의 종족 간 충돌은 마오리에게 상호간 전쟁과 머스킷을 방어하는 것을 경험하게 했고, 이후 토지의 갈등을 놓고 마오리족과 벌어진 뉴질랜드 토지 전쟁에서 영국군과 뉴질랜드 연합군을 당황케 하였다.
워해머 40,000: 돈 오브 워: 다크 크루세이드
《워해머 40,000: 던 오브 워: 다크 크루세이드》는 렐릭 엔터테인먼트에서 개발하고 THQ에서 출시한 실시간 전략 게임이다. 워해머 40,000:던 오브 워: 윈터 어썰트의 후속작이며, 타우 제국과 네크론 이라 불리는 2가지의 진영이 추가되었다.

'스페이스 마린', '오크', '엘다', '카오스 스페이스 마린', '임페리얼 가드 (제국 근위대), '네크론', '타우 제국'의 총 7개 진영이 등장하며, 특징적인 요소로 일꾼을 통해 자원을 채집하는 방식이 아닌 특정 거점을 차지하면 자금을 계속 획득할 수 있는 시스템을 사용하여 거점 점령 및 공격 루트의 결정이 게임에서 승리하기 위해 중요한 요소가 된다는 점이 있다.

또한 유닛들의 섬세한 움직임과, 맞은 부위에 따라 유닛이 쓰러지는 모습을 달리하며 폭발로 날아가는 유닛에 맞아 다른 유닛이 쓰러지기도 하는 등 사실적인 효과와 연출로 화제가 되기도 하였다.

또, 켐페인은 전시리즈나 다른 전략 시뮬레이션과 달리, 모든 적대적 종족을 물리치고 목표행성 '크로노스'를 획득하기 위한 7개 종족의 싸움이다. 플레이어는 7개 종족중 하나를 선택해 플레이 할 수 있으며, 진영, 종족, 침략지 에 따라 달라지는 동영상과 연출력이 다르게 나와 섬세함이 느껴진다.

끝으로, 그래픽 설정도 3단계로, 유연성있게 고루 쾌적하게 즐길 수 있게 해준다.

이 게임은 전작과는 달리 전작이 없어도 실행가능 한 '스탠드 얼론' 형식으로 발매되었으며, 싱글 플레이에서는 전 종족을 플레이 할 수 있다. 멀티 플레이의 경우에는 워해머 40,000: 던 오브 워의 시디키를 입력하면 스페이스 마린, 카오스, 엘다, 오크를 플레이 할 수 있으며, 워해머 40,000: 던 오브 워: 윈터 어설트의 시디키를 입력하면 임페리얼 가드를 플레이 할 수 있게 된다.

렐릭 엔터테인먼트
렐릭 엔터테인먼트(Relic Entertainment)(이하 렐릭)는 캐나다의 컴퓨터 게임개발사로, 1999년 9월 28일 미국에서 발매된 홈월드라는 게임으로 유명해졌다. 당시 시에라 엔터테인먼트(SIERRA entertainment)에 소속되어있었으나, 해당 개발사가 사라졌다. 이후 2004년, THQ에 인수당하면서 게임을 더 많이 만들어내기 시작했으나 2013년에는 경매로 인해 세가로부터 매각하여 소속되었다. 대표적인 그들의 작품으로는 홈월드, 컴퍼니 오브 히어로즈, 돈 오브 워 등이 있다.

2010년 4월 27일. 렐릭과 국내 온라인 기업 윈디소프트(Windysoft)가 합작하여 컴퍼니 오브 히어로즈 온라인(Company Of Heros Online)(이하 코호)의 서비스를 시작하였으나, 계속되는 밸런스 문제, 신규 컨텐츠 부족, 신규 유저 부족, 기존 유저와 신규 유저와의 갈등, THQ의 불안한 회사자금상태 등 여러 요인이 복합적으로 작용하여 2011년 3월 4일에 서비스를 종료하였다. 한국 코호를 시작으로 중국, 북미에서도 연달아 서비스를 종료했다고 한다. 이 때부터 THQ의 자금부족 논란이 시작되었다.

실제로 2013년 1월 22일. THQ는 자신에 소속되어있던 스튜디어들을 경매에 입찰을 시작하였고, 이에 속해있던 스튜디어들 중 하나인 렐릭은 SEGA가 2,660만 달러(당시 한화 약 280억 원)를 입찰하여, 2,630만 달러로 신청했던 베데스다를 누르고 렐릭을 쟁취했다고 한다. 이 금액은 당시 THQ에 소속되어있던 스튜디어들이 낙찰된 가격 중 두 번째로 많은 금액이라고 한다.

합병후, 소니 필름의 지원을 받아 컴퍼니 오브 히어로즈 영화를 제작하였으나 쥐도 새도 모르게 사라졌다고 한다.

2013년 6월 25일에 발매예정된 컴퍼니 오브 히어로즈 2(Company Of Heroes 2)가 있다.
메를로
메를로(프랑스어: Merlot)는 포도주용 포도 품종이다.

메를로는 카베르네 소비뇽(Cabernet-sauvignon)과 함께 대표적인 프랑스 서부 보르도 지역의 포도종이며 카베르네 쇼비뇽과 블랜딩되어  보르도 포도주의 등급별  아펠라시옹 도리진 콩트롤레(AOC,Appellation d'Origine Contrôlée)의 주류 원료로 사용된다. 주로 달고 상쾌한 맛을 자랑한다. 대다수의 음식과도 궁합이 좋아 와인애호가들 사이에선 무난하고 둥근 와인으로 평가받는다.

포도
포도(葡萄, grape)는 포도속(Vitis) 식물의 총칭, 또는 그 열매를 말한다. 포도의 품종에는 포도(V. vinifera)·미국포도(V. labrusca)·교배종이 있다. 포도(V. vinifera)는 전파 과정에 따라 남유럽계·중앙아시아계·동아시아계 등의 재배형으로 분화하였으며, 오늘날까지 총 15만 여 품종이 만들어졌다. 패도(孛桃)라고도 한다.

포도 열매는 가공되지 않은 상태로도 먹을 수 있는 과일이며, 포도주, 주스, 젤리 등을 만드는 데에도 사용된다. 건포도를 만들어 사용하기도 한다. 흔히 볼 수 있는 보라색의 포도 외에도 붉은색, 흰색, 녹색 등 다양한 색의 종이 있다.
NEXPTIME
계산 복잡도 이론에서 복잡도 종류 NEXPTIME (가끔 NEXP로 불림)은  시간 내에 비결정론적 튜링 기계로 풀 수 있는 결정 문제들의 집합이다.

NTIME 관점에서,

다른 방식으로, NEXPTIME은 검증자로 결정론적 튜링 기계를 사용하여 정의할 수 있다. 언어 L이 NEXPTIME에 속하는 것은 다항식 p와 q, 그리고 결정론적 튜링 기계 M이 존재하여 다음을 만족할 때이다.

모든 x와 y에 대해, 기계 M은 입력 에 대해  시간 내에 실행된다.

L에 속하는 모든 x에 대해, 길이 의 문자열 y가 존재하여 을 만족한다.

L에 속하지 않는 모든 x와 길이 의 모든 문자열 y에 대해, 을 만족한다.

우리는 다음을 알고 있다.

P ⊆ NP ⊆ EXPTIME ⊆ NEXPTIME

또한, 시간 위계 정리에 의해 다음을 알 수 있다.

NP ⊊ NEXPTIME

만약 P = NP라면, NEXPTIME = EXPTIME (패딩 논증); 더 정확히는, E ≠ NE일 때에만 P에 속하지 않는 희소 언어가 NP에 존재한다.

대화형 증명 시스템
계산 복잡도 이론에서 대화형 증명 시스템(Interactive proof system)은 증명자와 검증자라는 두 주체 간의 메시지 교환으로 컴퓨테이션을 모델링하는 추상 기계이다. 이들은 주어진 문자열이 형식 언어에 속하는지 여부를 확인하기 위해 메시지를 교환한다. 증명자는 무제한의 계산 자원을 가지고 있지만 신뢰할 수 없는 반면, 검증자는 제한된 계산 능력을 가지고 있지만 항상 정직하다고 가정한다. 검증자가 문제에 대한 답을 얻고 그것이 정확하다고 "확신"할 때까지 검증자와 증명자 사이에 메시지가 전송된다.

모든 대화형 증명 시스템에는 두 가지 요구 사항이 있다.

완전성: 명제가 참이면 정직한 증명자(즉, 프로토콜을 올바르게 따르는 증명자)는 정직한 검증자에게 명제가 참임을 확신시킬 수 있다.

건전성: 명제가 거짓이면 프로토콜을 따르지 않더라도 어떤 증명자도 정직한 검증자에게 명제가 참이라고 확신시킬 수 없다. 다만, 일부 작은 확률의 경우는 예외이다.

시스템의 특정 특성과 그에 따라 인식할 수 있는 언어의 복잡도 종류는 검증자에 부과되는 제약 조건과 부여되는 능력에 따라 달라진다. 예를 들어, 대부분의 대화형 증명 시스템은 검증자의 임의 선택 능력에 결정적으로 의존한다. 또한 교환되는 메시지의 특성(개수 및 내용)에도 의존한다. 대화형 증명 시스템은 하나의 기계만을 사용하여 정의된 전통적인 복잡도 종류에 중요한 영향을 미치는 것으로 밝혀졌다. 대화형 증명 시스템을 설명하는 주요 복잡도 종류는 AM 및 IP이다.
도리사
도리사는 경상북도 구미시 해평면 송곡리 냉산에 있는 절이다. 대한불교 조계종 제8교구 본사인 직지사의 말사. 아도와 관련된 창건설화가 있으며, 417년 창건되어 이 절이 신라 최초의 사찰이라 전하여지고 있다.

구미시
구미시(龜尾市)는 대한민국 경상북도 중서부에 있는 시이다. 시청 소재지는 송정동이고, 하위 행정구역은 3읍 5면 17동이다.

과거에는 선산읍 중심의 농업이 산업의 주축이었으나, 경제개발 계획 후 1970년대에 구미국가산업단지가 조성되면서 내륙 수출 산업단지를 보유한 도시로 발전했다. 인구는 2021년 기준 404,053명으로, 경상북도 내에서는 포항시에 이어 2번째로 큰 도시다.

이 지역은 선사 시대부터 사람이 거주하였으며, 고인돌이나 삼국 시대를 전후로 형성된 고분군이 넓은 지역에 분포하고 있다. 특히 신라에 불교가 처음 전해진 해동불교의 성지 도리사를 비롯한 불교 문화와, 길재를 연원으로 하는 이른바 영남학파의 한 축을 담당한 선산 사림의 유교 문화는 이 지역을 대표하는 상징이라고 할 수 있다. 현재의 한 지역은 구미 등으로 불리다가, 경부선 구미역의 개설 후 주요 중심지로 부상하였으며 1978년 구미시가 신설되었고 1995년에 구미시와 선산군을 다시 합쳐 도농복합형 구미시를 설치하고, 구미시선산출장소를 설치함으로써 지금의 구미시가 형성되었다.

구미의 남서쪽에 있는 금오산도립공원은 영남 팔경의 하나이다. 조선 시대까지 있었던 금오산성은 임진왜란 때 곽재우 등이 활약을 펼친 곳이기도 하다. 정월 대보름에는 금오산의 금오제단에서 시장이 헌관으로 참여하는 금오대제가 열린다. 또한, 10월경에 원평동의 문화로를 중심으로 문화로 거리축제가 열린다.
루바추프군
루바추프군(폴란드어: powiat lubaczowski)은 폴란드 포트카르파츠키에주에 위치한 군으로 군청 소재지는 루바추프이며 면적은 1,308.37km2, 인구는 55,438명(2019년 기준), 인구 밀도는 42명/km2이다.

서쪽으로는 야로스와프군, 프셰보르스크군, 북쪽으로는 루블린주 비우고라이군, 북동쪽으로는 루블린주 토마슈프군과 접하며 동쪽으로는 우크라이나와 국경을 접한다. 8개 지방 자치체(1개 도시, 3개 도시형 농촌, 4개 농촌)를 관할한다.

군기

군 문장

포트카르파츠키에주
포트카르파츠키에주(폴란드어: Województwo podkarpackie)는 폴란드 남동부에 위치한 주로, 주도는 제슈프이며 면적은 17,844km2, 인구는 2,101,732명(2010년 기준, 도시 인구: 850,022명, 농촌 인구: 1,246,949명), 인구 밀도는 120명/km2이다. 주 이름은 주 인근에 위치한 카르파티아산맥에서 유래된 이름이다.

4개 도시군과 21개 농촌군, 160개 그미나(지방 자치체)를 관할한다. 서쪽으로는 마워폴스카주, 북서쪽으로는 시비엥토크시스키에주, 북쪽으로는 루블린주와 접하며 동쪽으로는 우크라이나, 남쪽으로는 슬로바키아와 국경을 접한다.

주기

주 문장
바르타강
바르타강(폴란드어: Warta, 독일어: Warthe 바르테[*], 라틴어: Varta 바르타[*])은 폴란드 중부와 서부를 흐르는 강으로 길이는 808km, 유역 면적은 54,529km2, 평균 유랑은 195m3/s이다.

오데르강(오드라강)의 지류이며 폴란드에서 3번째로 긴 강이다. 실롱스크주 자비에르치에(Zawiercie) 부근에서 발원하여 우치주, 비엘코폴스카주, 루부시주를 흐르며 코스트신나트오드롱(Kostrzyn nad Odrą)에서 오데르강과 합류한다. 바르타 강과 접하고 있는 주요 도시로는 포즈난, 고주프비엘코폴스키 등이 있다.

자비에르치에
자비에르치에(폴란드어: Zawiercie)는 폴란드 남부 실롱스크주에 위치한 도시로 면적은 85.24km2, 높이는 300~400m, 인구는 51,862명(2012년 기준), 인구 밀도는 610명/km2이다. 바르타강의 수원지와 가까운 지점에 위치한다.

시 문장
할슈타트
할슈타트(독일어: Hallstatt)는 오스트리아 오버외스터라이히주 그문덴군의 마을이다. 할슈타트호에 가까이 있으며 알프스 기슭의 호수 지역 잘츠카머구트 지방의 가장 안쪽에 위치하는 경승지이다. 유네스코 세계유산으로 등재되어 있고 마을의 꼭대기에 위치한 공동묘지에서 출토된 철기 시대 유물들로 유럽의 초기 철기 문화를 일컫는 "할슈타트 문화"가 이에서 유래되었다.

동화 속의 호수마을과 같은 모습으로 알려져 있는 할슈타트는 오스트리아의 9개의 주 중에서 오버외스트라이히 주에 속하는 마을이다. 지리적으로는 할슈타트 호의 남서쪽, 다흐슈타인 산맥의 서쪽에 위치하고 있어서, 산과 호수가 어우러진 자연 경관이 아름답다. 할슈타트는 자연 경관 뿐 아니라 역사적 가치가 유명하다. BC 2000년부터 형성되었던 전 세계 최초의 소금광산으로 유명하며, 이를 통해 얻은 경제적 풍요로움을 바탕으로 BC 1000년부터 BC 500년의 철기 문화가 나타났고, 할슈타트의 분묘 유적에는 이러한 흔적들이 남아있다. 이러한 철기문화는 유럽 초기의 철기문화인 ‘할슈타트 문화’를 이루었다 이 아름다운 풍경과 이 지역의 역사적인 가치를 인정 받아서, 할슈타트는 1997년도부터 ‘할슈타트-다흐슈타인 잘츠카머구트 문화경관’이라는 이름으로 유네스코 문화유산에 등재되었다. 현재의 소금산업이 에벤호 지역으로 옮겨감에 따라서 관광산업이 주된 할슈타트의 산업이 되었으며, 아름다운 호수와 산을 깎아서 집을 지어서 만들어진 마을로 관광객들을 모으고 있다.

그문덴군
그문덴군(독일어: Bezirk Gmunden)은 오스트리아 오버외스터라이히주에 위치한 군으로 행정 중심지는 그문덴이며 면적은 1,432.6km2, 인구는 99,640명(2001년 기준), 인구 밀도는 70명/km2이다. 북쪽으로는 푀클라브루크군, 벨스란트군, 동쪽으로는 키르히도르프안데어크렘스군, 남쪽으로는 슈타이어마르크주 리첸군, 서쪽으로는 잘츠부르크주 장크트요한임퐁가우군, 할라인군, 잘츠부르크움게붕군과 접한다.
윈강 석굴
윈강석굴(중국어: 云冈石窟)은 중화인민공화국 산서성, 다퉁시 서쪽 20km에 있는 동서 1km에 걸쳐있는 약 40개의 굴이 있는 석굴사원이다. 이 윈강석굴은 막고굴, 룽먼석굴과 함께 중국에서 가장 유명한 삼대불 중의 하나이며, 유네스코의 세계문화유산에 등록되어 있다. 북위에서 지은 호국사찰이다.

다퉁시
다퉁(대동, 중국어: 大同市, 병음: Dàtóng)은 중국 산시성 북부 대동분지의 중심에 위치한 도시이다. 경포철도(京包鐵道), 북동포철도(北同蒲鐵道), 대주철도(大秦鐵道)의 교점에 있다. 내몽골 자치구와 맞닿아 있고, 총인구는 312만 명, 비농업종사자가 108만 명이다. 산시 성 제2의 도시이고 "석탄도시(石炭都巿)"라고 불리기도 한다.