shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
커트 보니것은 독일계 미국인 가정에서 태어났다. 부모의 고조부모가 미국으로 건너왔다. 청년 시절 코넬 대학교에 다니면서 생화학을 전공하였으며, 학교 신문 &lt;코넬 데일리 선&gt;지의 편집장을 지냈다. 코넬 대학교 재학 중에 학점도 낮은데다 반전적인 글로 인해서 코넬 대학교에서 징계를 당하면서 보니것은 1943년 자진 입대를 하게 된다. 그후 자주포 운용병으로 발탁되었다 1944년 오버로드 작전으로인해 정찰병으로 다시 교육받게 된다. 그후 어머니의 날 휴가때 집에 갔다 어머니가 수면제 과다 복용으로 자살하였다는걸 알게 된다.
이후 커트 보니것은 벌지 대전투에서 정찰병으로 적후를 살피다가 독일군의 포로가 되어 드레스덴에 수용되었으며, 이 때 드레스덴 폭격으로 죽을 뻔 했고, 이때 수많은 민간인의 죽음으로 분노한 독일군에게 폭행을 당하기도 했다. 폭탄이 떨어질 때 도살장에 포로로 갇혀있던 경험이 훗날 《제5도살장》의 모티브가 됐으며 그의 다른 소설에도 언급된다.
전후에 보니것은 시카고 대학의 인류학 석사과정을 밟았으며, 시카고의 경찰 보도원으로 일했다. 첫 논문을 대학에 거부당하고 나서 제네럴 일렉트릭의 홍보부에서 일했다. 시카고 대학은 1971년에야 학위를 수여했다. 그의 소설 《고양이 요람》을 정식 논문으로 본 것이다. 그는 거의 글쓰기를 포기할 뻔했지만 아이오와주에 있는 작가 워크숍에서 일하는 동안, 《고양이 요람》이 베스트셀러가 됐다. 크게 고무받은 보니것은 이후 《타임》지의 도서 100선에 들게 되는 《제5도살장》을 집필하기 시작한다. 도중에 누나인 앨리스 보니것과 그 남편이 하루 차이로 사망하여 친척 셋을 입양하여 키우게 되었다.
1969년에는 반전소설의 대명사급인 《제5도살장》을 출간하며 이후 작품이 오페라, 연극, 영화 등으로 만들어지는 성공을 거둔다. 《제5도살장》에서 처음 등장한 킬고어 트라우트란 인물은 커트 보니것 자신의 분신이자 자화상으로 이후 그의 여러 소설 속에 다시 등장한다. 그는 1972년에 아내인 제인 콕스 보니것과 이혼하고 사진사와 재혼하였다. 1997년에는 형인 버나드 보니것이 암 투병중 사망한다. 그 후에도 수필가와 소설가로 활동하다가, 2007년에 뉴욕의 맨해튼에 있는 자택의 계단에서 굴러 떨어져 84세의 나이로 사망하였다.
컴퓨터 과학에서 이진 트리(二進-, )는 각각의 노드가 최대 두 개의 자식 노드를 가지는 트리 자료 구조로, 자식 노드를 각각 "왼쪽 자식 노드"와 "오른쪽 자식 노드"라고 한다. 단순히 집합론의 개념을 사용하는 에서 (비어있지 않은) 이진 트리는 하나의 튜플 ("L", "S", "R")로, L과 R은 이진 트리 또는 공집합이고 S는 싱글턴 집합이다. 일부 구현자는 공집합인 이진 트리도 허용한다.
그래프 이론 측면에서, 여기서 정의한 이진 (그리고 K-항) 트리는 실제로 일종의 방향성 그래프()다. 따라서, 하나의 이진 트리는 bifurcating arborescence라고도 불리는데, 이 용어는 현대 컴퓨터 과학 기술이 널리 퍼지기 이전의 아주 오래된 프로그래밍 책에서 볼 수 있다. 이진 트리가 정렬 트리이면서, 루트 트리인 경우, 방향성 그래프가 아닌 비방향성 그래프로 해석할 수도 있다. 일부 저술자는 "이진 트리" 대신 루트 이진 트리를 사용해, 트리가 루트를 가지고 있지만, 위에서 설명한 것처럼, 이진 트리가 항상 루트를 가지고 있다는 사실을 강조한다. 이진 트리는 "k"가 2인 정렬 K-항 트리의 특수한 경우다.
수학에서, "이진 트리"라고 명명한 것이 저술자마다 현저히 다를 수 있다. 어떤 이들은 컴퓨터 과학에서 보통 사용되는 정의를 사용하지만, 다른 이들은 정확하게 두 개의 자식 노드를 가진 잎이 없는 모든 트리로 정의하고 꼭 (왼쪽과 오른쪽으로) 자식 노드를 정렬하지도 않는다.
(루트가 있는) 이진 트리()는 자료 구조의 일종이며, 다음과 같이 재귀적으로 정의할 수 있다. 이진 트리 formula_1는 공집합이거나, 다음과 같은 세 가지 요소로 구성된 튜플 formula_2이다.
혹자는 이진 트리에 공집합을 포함시키지 않는다. 이 경우, 이진 트리 formula_2는 다음 세 가지 요소로 구성된다.
이진 트리는 루트가 있는 트리이며, 즉 모든 노드가 적어도 두 개의 자식 노드를 가진 (평면 트리가 별칭인) 정렬 트리이기도 하다. 루트 트리는 당연히 레벨(루트로부터의 거리)이라는 개념을 가지고 있으며, 따라서 모든 노드에 대해서 해당 노드에 하위 레벨로 연결되는 노드로 자식 노드의 개념을 정의할 수 있다. 이런 자식 노드의 정렬하면 (예를 들어, 노드를 평면 위에 그려서) 왼쪽 자식 노드와 오른쪽 자식 노드를 구분하는 것이 가능하다.
필연적인 구분은 첫번째 모서리 구분으로 만들어지는데, (V, E1 ∪ E2)이 루트 트리이고 E1 ∩ E2가 비어있는 triplet (V, E1, E2)으로 이진 트리를 정의하고 "j" ∈ { 1, 2 }인 모든 "j"에 대해 모든 노드가 적어도 하나의 E"j" 자식 노드를 갖는다는 것을 요구한다. 좀 더 회화적으로 구분 방법을 말하자면, 수학 백과사전에 인용된대로, "모든 노드가 하나의 좌측 자식 노드나 우측 자식 노드 또는 둘 다 가지고 있다"라고 말하고 이것들이 "모두 다른" 이진 트리라고 지정하는 것이다.
이진 트리의 종류.
이진 트리 탐색.
표현 방법.
컴퓨터 과학과 수학에서 정렬 알고리즘()이란 원소들을 번호순이나 사전 순서와 같이 일정한 순서대로 열거하는 알고리즘이다. 효율적인 정렬은 탐색이나 병합 알고리즘처럼 (정렬된 리스트에서 바르게 동작하는) 다른 알고리즘을 최적화하는 데 중요하다. 또 정렬 알고리즘은 데이터의 정규화나 의미있는 결과물을 생성하는 데 유용히 쓰인다.
버블 정렬은 1956년에 분석되었다. 수없이 많은 논의를 거쳐왔지만, 쓸만한 새로운 정렬 알고리즘들은 현재도 계속 발명되고 있다(예를 들어, 라이브러리 정렬은 2004년에 발표되었다). 정렬 알고리즘은 다양한 핵심 알고리즘 개념 — 점근 표기법, 분할 정복 알고리즘, 자료 구조, 최악의 경우, 평균적인 경우, 최선의 경우 등 — 을 소개하는 데 적당하기 때문에, 컴퓨터 과학 강의에서 입문 과정으로 유행하고 있다.
컴퓨팅의 시작부터 정렬 알고리즘은 단순한 목표지만 효율적으로 실행하기 위해 상당한 연구가 진행되어 왔다. 1951년 즈음 초기 정렬 알고리즘 개발자들 가운데 에니악과 유니박을 작업하였던 베티 홀버튼(Betty Holberton)이 있었다. 거품 정렬이 1956년 초에 분석되었다. 비교 정렬 알고리즘은 Ω("n" log "n") 비교를 위한 중요한 요건이 있다. 계수 정렬 등 비교에 기반을 두지 않는 알고리즘은 더 나은 성능을 보일 수 있다. 점근 최적 알고리즘(Asymptotically optimal algorithm)들은 20세기 중순부터 알려졌다. 유용하고 새로운 알고리즘들은 여전히 발명되고 있으며 그 중 현재 널리 쓰이는 팀소트는 2002년으로 거슬러 올라가며 라이브러리 소트는 2006년 처음 출판되었다.
안정 정렬 알고리즘은 반복되는 요소를 입력 때와 동일한 순서로 정렬시킨다. 특정한 유형의 데이터를 정렬할 때 정렬 순서 결정 시 데이터의 일부분만 검사한다.
안정성은 몇 가지 이유로 중요하다. 예를 들어, 데이터가 학생 이름으로 우선 정렬되면(일부의 경우 웹 페이지에 동적으로) 데이터는 이제 어느 학급에 위치하는지에 따라 다시 정렬된다. 학생들이 같은 학급에 있다고 가정한다면 이들의 이름 순서는 특정한 순서가 아니게 뒤섞이며 이는 성가신 문제일 수 있다. 정렬 알고리즘이 안정적이면 학생 이름은 정상적인 순서에 위치할 수 있다.
알고리즘의 비교.
아래 표에서 은 정렬된 레코드의 수를 의미한다. "평균"과 "최악" 열은 각 키의 길이가 일정하고 모든 비교, 교환, 기타 필요한 조직이 일정한 시간에 수행될 수 있다는 가정 하의 각 케이스별 시간 복잡도를 나타낸다. "메모리"는 동일한 가정에서 리스트 그 자체에서 사용되는 것 이상으로 필요한 보조 기억공간의 양을 의미한다. 아래에 나열된 실행 시간과 메모리 요건은 점근 표기법 안에서 이해해야 하므로 로그 밑수(base of the logarithms)는 문제가 되지 않는다. 표기는 를 의미한다.
비교 정렬.
다음은 비교 정렬 표이다. 비교 정렬은 보다 더 나은 성능을 낼 수 없다.
비교가 아닌 정렬.
다음의 표는 정수 정렬 알고리즘들과 비교 정렬이 아닌 기타 정렬 알고리즘들을 기술한다. 그러므로 에 제한을 받지 않는다. 아래의 복잡도는 개의 항목이 정렬될 것으로 간주되며 크기 의 키, 숫자 크기 , 정렬될 수의 범위 이 수반된다. 이 중 다수는 모든 항목들이 고유한 키 값을 지닐 수 있을 만큼 키의 크기가 충분히 크므로 에서 ≪는 "훨씬 더 작은"을 의미한다. 단위 원가 랜덤 접근 기계 모델에서 기수 정렬과 같은 formula_1의 실행 타임을 갖는 알고리즘들은 에 비례하는 시간이 소요되는데, 그 이유는 이 formula_2 미만으로 제한되고 정렬 대상이 되는 상당수의 요소들이 메모리에 이들을 저장하기 위해 더 큰 를 요구하기 때문이다.
일부 알고리즘들은 위에 논의된 것들에 비해 속도가 느린 편인데, 예를 들어 보고정렬과 같은 경우 한도가 없는 실행 시간을 지니고 꼭두각시 정렬은 "O"("n"2.7)의 실행 시간을 지닌다. 이 정렬들은 알고리즘의 실행 시간이 어떻게 예측되는지를 증명하기 위해 교육용으로 기술되는 것이 보통이다. 다음의 표는 매우 낮은 성능 또는 특수 하드웨어 요구사항으로 인해 전통적인 소프트웨어 환경에서 실제 사용에는 실용적이지 못한 일부 정렬 알고리즘들을 기술하고 있다.
비교 정렬은 원소들을 정렬할 때 원소들의 순서에만 의존하는 알고리즘들을 일컫는다. 예를 들어 거품 정렬(bubble sort)은 비교하는 원소들이 숫자거나, 문자열이거나, 심지어는 복잡한 객체에 대해서도 순서가 결정되어 있다면 적용할 수 있다.
비교 정렬 알고리즘들은 아무리 빨라도 최악의 경우 formula_3 시간을 필요로 한다. 이는 이 알고리즘들을 결정 트리의 형태로 기술할 수 있다는 점에서 증명할 수 있는데, formula_4개의 원소들의 순열은 formula_5가지로 이들을 잎 노드로 가지는 결정 트리의 깊이는 스털링 근사에 따라 적어도 formula_6이어야 하기 때문이다.
비교 정렬이 아닌 알고리즘들은 이런 시간 복잡도의 제약이 없지만, 대신 다른 제약을 가질 수 있다. 예를 들어 기수 정렬은 사전순으로 표기하고 분리하기 쉬운 숫자나 문자열에 대해서는 효과적이지만, 그렇지 않은 객체들에 대해서는 일반 비교 정렬보다 느릴 수 있다.
제자리 정렬.
제자리 정렬은 원소들의 개에 비해서 충분히 무시할 만한 저장 공간만을 더 사용하는 정렬 알고리즘들을 의미하며, 제자리 알고리즘의 범위에 포함된다. 예를 들어 삽입 정렬은 이미 주어진 원소들을 옮긴 뒤 적절한 위치에 원소를 삽입하는 연산을 반복하는데, 이 과정에서 원소들을 담는 공간 외에 추가로 사용될 수 있는 공간은 옮겨지는 원소가 저장되는 공간과 루프 변수 정도에 불과하다.
퀵 정렬은 제자리 알고리즘의 정의에 따라서 제자리 정렬로 분류할 수도 있고 아닐 수도 있다. 퀵 정렬은 재귀적으로 정의되기 때문에 스택을 사용하게 되는데, 이 스택의 깊이는 formula_4개의 원소에 대해 formula_8에 비례하므로 전체 공간 복잡도는 상수가 아니다. 하지만 실용적인 의미에서 퀵 정렬은 상대적으로 작은 메모리만을 더 사용하기 때문에 흔히 제자리 정렬로 기술된다.
온라인 정렬.
온라인 정렬은 모든 원소들이 처음부터 주어지지 않고 차례대로 들어 오는 경우도 처리할 수 있는 정렬 알고리즘을 의미하며, 온라인 알고리즘에 해당된다. 대표적으로 합병 정렬은 이미 정렬된 여러 개의 부분 리스트를 관리하다가 매 원소가 들어 올 때마다 적절한 리스트에 추가하고 필요하면 리스트들을 합병하는 식으로 온라인 정렬로 만들 수 있다.
저명한 정렬 알고리즘.
정렬 알고리즘의 수는 많지만 실용적인 구현체의 경우 일부의 알고리즘들이 우위를 차지하고 있다. 작은 데이터 집합의 경우 삽입 정렬이 널리 사용되는 반면 큰 데이터 집합의 경우 점근적으로 효율적인 정렬이 사용되며 여기에는 주로 힙 정렬, 합병 정렬, 퀵 정렬이 있다. 효율적인 구현체들은 일반적으로 '정렬 전반을 위한 점진적으로 효율적인 알고리즘'을 '재귀 하한의 작은 리스트들을 위한 삽입 정렬'과 병합한 하이브리드 알고리즘을 사용한다. 상당한 튜닝을 거친 구현체들은 안드로이드, 자바, 파이썬에 쓰이는 팀소트(합병 정렬, 삽입 정렬, 추가 로직), 일부 C++ sort 구현체와 닷넷에 (여러 형태로) 쓰이는 인트로소트(퀵정렬과 힙 정렬) 등 더 복잡한 종류를 사용한다.
고정 간격의 숫자와 같은 더 제한된 데이터의 경우 계수 정렬이나 기수 정렬과 같은 분산 정렬이 널리 쓰인다. 거품 정렬과 같은 종류들은 실제로는 드물게 쓰이지만 교육 및 이론 토론에서 흔히 볼 수 있다.
물리적으로 객체를 정렬할 때(예: 논문, 테스트, 책을 알파벳 순으로 정리) 사람들은 작은 집합에 대해 직관적으로 삽입 정렬을 사용하는 것이 보통이다. 큰 집합의 경우 사람들은 보통 이니셜 문자와 같은 최초 버킷을 사용하며 매우 큰 집합의 경우 여러 버킷을 사용하는 것이 정렬에 실용적이다. 이를테면 객체들을 바닥 위나 넓은 공간 위에 퍼트려놓는다든 방식으로 공간이 상대적으로 저렴한 경우가 있는데, 이때 특히 객체를 먼 공간으로 움직이는 등의 조작에 대한 비용은 높아지게 되므로 참조의 지역성은 중요하다. 합병 정렬은 특히 두 손을 사용하는 등 물리적인 물체를 다루기 실용적인 반면 힙 정렬이나 퀵 정렬 등 다른 알고리즘들은 인간이 직접 사용하기에는 적절치 않다. 공간을 남기는 삽입 정렬의 변종인 라이브러리 소트 등의 다른 알고리즘들 또한 물리적 이용에 실용적이다.
단순 정렬.
가장 단순한 정렬 중 삽입 정렬과 선택 정렬이 있으며 이 둘 모두 낮은 부하로 인해 작은 데이터에 효율적이지만 큰 데이터에는 효율적이지 않다. 삽입 정렬은 대부분 정렬된 데이터에 대해 비교를 덜 하고 성능이 좋은 이유로 일반적으로 선택 정렬보다 현실적으로 더 빠르기 때문에 선호되는 경향이 있으나 선택 정렬은 쓰기를 덜 하므로 쓰기 성능에 제약이 있는 환경에 사용된다.
삽입 정렬.
삽입 정렬은 작은 리스트와 대부분 정렬된 리스트에 상대적으로 효율적인 단순한 정렬 알고리즘이며 더 복잡한 알고리즘의 일부분으로 사용되기도 한다. 리스트로부터 요소를 하나씩 취한 다음 마치 돈을 지갑에 넣는 방식과 비슷하게 이들을 올바른 위치에, 새로 정렬된 리스트에 삽입함으로써 동작한다. 배열의 경우 새 리스트와 남아있는 요소들은 배열 공간을 공유할 수 있으나 삽입의 경우 잇따르는 모든 요소를 하나씩 이동해야 하므로 비용이 많이 든다. 셸소트는 큰 리스트에 더 효율적인 삽입 정렬의 변종이다.
선택 정렬.
선택 정렬은 제자리 비교 정렬이다. 복잡도는 O("n"2)이므로 큰 리스트에는 비효율적이며, 유사한 삽입 정렬보다 성능이 더 떨어지는 것이 일반적이다. 선택 정렬은 단순함이 특징이며 특정한 상황에서는 더 복잡한 알고리즘보다 성능상 우위가 있다.
이 알고리즘은 최소값을 찾고 값을 최초 위치와 바꿔친 다음 리스트의 나머지 부분에 대해 이 과정을 반복한다. 교환 과정은 "n"개를 넘지 않으므로 교환 비용이 많이 드는 상황에서 유용하다.
효율적인 정렬.
실용적인 일반 정렬 알고리즘들은 평균 시간 복잡도(및 일반적으로 최악의 경우의 복잡도) O("n" log "n")의 알고리즘에 기반한 경우가 대부분이며 그 중 가장 흔한 것이 힙 정렬, 합병 정렬, 퀵 정렬이다. 제각기 장단점이 있으며, 단순 합병 정렬의 구현체는 O("n") 추가 공간을 사용하며 단순한 퀵 정렬 구현체는 O("n"2) 최악의 경우 복잡도를 사용하는 것이 가장 큰 특징이다. 이 문제들은 더 복잡한 알고리즘의 비용으로 해결되거나 개선할 수 있다.
이 알고리즘들이 다양한 수정이 수반되는 실생활 데이터를 기준으로 랜덤 데이터에 점근적으로 효율적이다. 첫째로, 이 알고리즘들이 일으키는 부하는 크기가 작은 데이터일수록 중대한 까닭에 하이브리드 알고리즘이 사용되기도 하며 데이터가 충분히 작으면 보통 삽입 정렬로 전환된다. 둘째로, 알고리즘은 이미 정렬된 데이터나 거의 정렬이 마무리된 데이터에 대해 성능이 떨어지는 경우가 있기 때문에 이 알고리즘들은 실생활 데이터에 일반화되어 있으며 대략적인 알고리즘들에 의해 O("n") 시간으로 정렬이 가능하다. 끝으로, 이 알고리즘들은 불안정 정렬에 속할 수 있는데 정렬 시 안정성은 바람직한 속성으로 간주되기도 한다. 그러므로 팀소트(합병 정렬 기반) 또는 인트로소트(퀵 정렬 기반으로, 필요 시 중간에 힙 정렬로 변경됨)와 같은 더 복잡한 알고리즘들이 적용되기도 한다.
2005년 남아시아 지진 혹은 2005년 남아시아 지진은 2005년 10월 8일 03:50:40.800 UTC에 파키스탄령 카슈미르에서 발생한 지진이다. 모멘트 규모 7.6의 대지진으로 기록되었다. 깊이는 미국 지질조사국 기준 26km로 천발지진이다.
지진은 아프가니스탄과 북 인도 뿐만 아니라, 북 파키스탄 지역에 광범위한 파괴를 일으켰다. 미국 지질조사국은 이번 지진이 규모는 7.6이고 진앙지는 북위 34°53′09″동경 73°58′08″으로 이슬라마바드 북북서쪽으로 약 95km 무자파라바드에서 가까운 곳이며 지하 26km라고 밝혔다. 일본 기상청은 규모 7.8이라고 측정했다. 지진은 미국 지질조사국 기준으로 "메이저급"이다. 카슈미르는 5천만년전에 히말라야를 만들어지기 시작한 유라시아판과 인디아 판이 부딪히는 곳에 놓여 있고, 히말라야는 아직도 1년에 약 5mm씩 융기하고 있다. 지진 이후 그 지역에 많은 2차지진이 발생했다. 7시간 동안 40회 이상의 여진이 관측되었고, 그 중 하나는 규모 6.2였다.
NP-완전(NP-complete, NP-C, NPC)은 NP 집합에 속하는 결정 문제 중에서 가장 어려운 문제의 부분집합으로, 모든 NP 문제를 다항 시간 내에 NP-완전 문제로 환산할 수 있다. NP-완전 문제 중 하나라도 P에 속한다는 것을 증명한다면 모든 NP 문제가 P에 속하기 때문에, P-NP 문제가 P=NP의 형태로 풀리게 된다. 반대로 NP-완전 문제 중의 하나가 P에 속하지 않는다는 것이 증명된다면 P=NP에 대한 반례가 되어 P-NP 문제는 P≠NP의 형태로 풀리게 된다.
여기에서 두 번째 조건은 NP-난해의 정의이고, 즉 NP-완전은 NP-난해 중 NP인 문제들의 집합이다. 또한 위 정의에서 알 수 있듯이, NP-완전인 "C"를 다항시간 안에 풀 수 있다면 모든 NP-완전 문제를 다항시간 안에 풀 수 있다.
쿡은 충족 가능성 문제(SAT)가 위 정의의 두 가지 조건을 모두 만족한다는 것을 증명했다(쿡-레빈 정리). 1972년에 리처드 카프는 21가지의 다른 문제들도 마찬가지로 위 두 가지 조건을 만족한다는 것을 증명했다. 쿡이 최초의 NP-완전 문제를 발견한 이후로, 많은 사람들이 NP-완전 문제라고 이미 알려진 문제로부터 환산하는 방법으로 수많은 문제들 역시 NP-완전임을 증명했다. 게리와 존슨이 1979년에 "Computers and Intractability: A Guide to NP-Completeness"를 통해 여러 NP-완전 문제들을 소개하였다.
근사 알고리즘.
현재 NP-완전 문제를 다항 시간 안에 푸는 알고리즘은 발견되지 않았고, 또한 그러한 알고리즘이 존재할 것인지도 알려지지 않았다. 대신, 특정한 NP-완전 문제에 대한 근사 알고리즘이 알려져 있다.
카슈미르(, , , Kashmir) 또는 캐시미르는 남아시아 북쪽 지역의 이름이다. 히말라야산맥의 서쪽 끝 부분의 남쪽에 있는 계곡을 말한다.
현재 잠무 카슈미르는 인도가 실효지배, 아자드 카슈미르와 길기트발티스탄은 파키스탄이 실효지배하고 있으며, 악사이친은 중국이 실효지배하고 있다. 아크사이친과 조금 떨어진 뎀초크 지역(Demchok sector)은 중화인민공화국의 과반을 실효지배하고 있다.
1820년 시크 제국의 황제 란지트 싱이 카슈미르를 처음 병합하였다. 1846년에는 제1차 영국-시크 전쟁에서 시크 제국이 패하고, 암리차르 조약으로 영국이 구입한 뒤 잠무 카슈미르 번왕국의 국왕으로 굴라브 싱을 옹립시켰다. 한동안 영국령 인도 제국의 번왕국으로서 영국의 영향권 안에 있던 이 지역은 1947년 인도 분할을 계기로 파키스탄과 인도의 영유권 분쟁 지역이 되었다.
카슈미르는 남아시아와 중앙아시아가 만나는 북위 32도~북위 36도, 동경 74도~동경 80도 일대에 자리해 있으며, 면적은 약 180,000km²에 달한다. 동쪽으로는 중화인민공화국의 신장 위구르 자치구와 티베트 자치구, 북서쪽으로는 아프가니스탄의 와한 회랑, 서쪽으로는 파키스탄의 카이베르파크툰크와주와 펀자브주, 남쪽으로는 인도의 히마찰프라데시주와 펀자브주와 경계를 면하고 있다.
카슈미르의 지형은 대다수가 산악 지대이며 서부 히말라야 산맥이 가로지른다. 히말라야산맥은 카슈미르의 서쪽 경계인 낭가파르바트산에서 끝난다. 카슈미르에는 인더스강, 젤룸강, 체나브강의 3개 강이 가로지르고 있으며, 이들 강의 유역은 카슈미르를 3개의 계곡으로 나누고 있으며 그 사이에 높은 산맥이 치솟고 있다. 북부와 북동부를 차지하는 인더스 계곡은 발티스탄과 라다크 등의 황량하고 고립된 고원지대가 있으며, 젤룸계곡은 높은 산맥으로 둘러싸여 카슈미르의 골짜기를 이루고 있다. 체나브계곡은 남부를 차지하는 고원으로 잠무 지역 대부분을 차지한다. 이들 고지대에는 호수가 형성된 곳이 많은데, 카슈미르계곡의 아래쪽에는 스리나가르 인근의 달호, 울라호, 호케르사르호 등의 담수호가 있으며 넓은 늪지대도 형성되어 있다.
북쪽과 북동쪽 대히말라야산맥 너머에는 카라코람산맥이 차지하고 있다. 북서쪽 방면에는 힌두쿠시산맥과 마주한다. 이곳에 인더스강 상류가 흐르며, 히말라야산맥과 카라코람산맥을 분리하고 있다. 카라코람산맥은 극지방을 제외하고 전세계에서 빙하가 가장 많은 지역으로 꼽힌다. 특히 시아첸 빙하 (길이 76km)와 비아포 빙하 (63km)는 세계에서 두번째, 세번째로 긴 빙하이다. 카라코람산맥에는 해발 8,611m의 세계에서 두번째로 높은 산인 K2를 비롯, 8000m 봉우리가 총 4개 자리해 있다.
카슈미르는 인더스강의 최상류 지대에 해당되며, 티베트 고원에서 남동쪽 끝에 자리한 라다크로 진입했다가 북서쪽으로 꺾어 라다크 전역과 길기트발티스탄으로 이어진다. 이 지역에서 발원하는 지류는 거의 대부분이 인더스강으로 흘러든다. 대히말라야산맥의 끝에 도달한 뒤로는 모퉁이를 돌아 남서쪽의 펀자브 평원으로 흘러간다. 젤룸강과 체나브강 역시 거의 평행선으로 따르며 파키스탄 남부 펀자브평야에서 인더스강과 합류한다.
영국령 인도 제국 시대에는 마하라자가 통치하는 인도 번왕국의 하나인 잠무 카슈미르 번왕국이 통치하였다. 1947년 인도의 분할 때 처음에는 힌두계인 번왕은 독립국이 되기를 원했지만 군사적 위협으로 독립이 불가능해지자 인도 자치령에 편입되기로 결정하였고 파키스탄이 이에 반발해 인도 파키스탄 전쟁이 벌어졌다. 중화인민공화국이 영국령 인도 제국에 의해 점령당했던 자국의 영토라며 아크사이친을 점령하는 등 현재까지 이 곳은 주변 3개국이 국경을 맞대고 있는 지정학적 요충지로 종교갈등과 영유권 문제와 함께 내전과 충돌이 빈발하고 있다.
막심 리보비치 콘체비치(, 1964년 8월 25일 ~ )는 러시아의 수학자이다. 1998년에 독일 베를린에서 열린 제23회 세계 수학자 대회에서 필즈상을 수상하였다. 또한 2008년에는 크라포르드상을 수상하였다.
콘체비치는 한국어를 연구하고 콘체비치 체계를 고안한 언어학자 레프 콘체비치의 아들로 태어났다. 소비에트 연방 수학 올림피아드에서 2위로 수상한 후, 모스크바 국립 대학교를 다녔으나, 1985년에 모스크바에 있는 정보 전송 문제 연구소의 연구원으로 일하기 위해서 학위 없이 학교를 그만두었다. 그러나 수학 공부를 다시 시작하여 독일의 본 대학교에서 돈 재기어의 지도 아래에서 1992년에 수학 박사학위를 받았다. 박사 학위 논문에서 에드워드 위튼의 두 양자 중력장 모델의 동치성에 대한 가설을 증명하였다. 현재는 프랑스의 뷔르쉬르이베트에 있는 IHÉS의 교수이며, 동시에 미국의 마이애미 대학교의 석좌교수이기도 하다.
콘체비치의 업적은 주로 수리 물리학의 기하학적 현상에 대한 것들이 많은데, 그중 매듭 이론, 양자화와 거울 대칭이 대표적이다. 가장 유명한 결과 중 하나는 푸아송 다양체(Poisson manifold)에서의 변형 양자화()에 대한 수학 정리이다. 그 외에도 파인먼 도형에 대한 다양한 결과들과 위상 양자장론 등에 대해서도 많은 결과들이 있다.
세르게이 페트로비치 노비코프(, 1938년 3월 20일~2024년 6월 6일)는 러시아의 수학자이다.
노비코프는 소비에트 연방 고리키에서 태어났다. 아버지 표트르 세르게예비치 노비코프와 어머니 류드밀라 프세볼로도브나 켈디시() 둘 다 유명한 수학자였다. 노비코프는 1955년에 모스크바 대학교에 입학하였고, 1960년 졸업하였다.
스테클로프 수학연구소() 기하학·위상수학과의 과장을 지냈다.
우루프섬(, )은 쿠릴 열도 중부에 있는 섬이다. 면적은 1430 km2으로, 무인도이다. 과거 서양에는 Company's Land로 알려졌다.
근대까지는 정주자가 없었고, 이투루프섬(일본명 : 에토로후, 択捉島) 등 다른 섬의 아이누족이 어업을 위해 일시적으로 거주했을 뿐이었다. 18세기 제정 러시아의 남하에 맞춰 본격적으로 정착이 이뤄져 유인도가 됐으나, 1875년 사할린-지시마 교환 조약으로 일본 영토로 편입된 후에는 실질적으로는 일시 거주자만 있을 뿐, 정주자는 존재하지 않았다.
우루프 섬은 제2차 세계 대전 이후 소련에 편입되어 러시아 소비에트 사회주의 공화국의 사할린주에 속하게 되었다. 소련은 한때 이곳에 국경경비대와 방공 레이더 기지, 측후소, 등대의 시설등을 설치하여 150여 명 가량이 거주하고 있었으나, 소련이 멸망한 뒤에는 무인도가 되었다.
2019년 러시아 정부는 경제특구로 지정했으며 스위스 기업에 의해 금광이 개발되고 있다.
섬의 길이 약 115km, 폭은 약 20km이며, 우루프섬과 남쪽 이투루프섬 사이의 프리스 해협은 일본이 주장하고 있는 러일 국경선이다. 한편 북동 방향 110km에는 시무시르섬(일본명 : 新知島)가 있다.전체적으로 북동에서 남서쪽으로 가늘고 긴 완두콩과 같은 형태를 가진다. 쿠나시르섬보다 약간 작고, 쿠릴 열도에서는 네 번째로 넓은 섬이다.
활화산 지대로, 주요 화산은 다음과 같다.
* 콜로콜산(일본명 우룻푸후지(得撫富士), 해발 1,328미터)
* 루다코프산(일본명 다이바(大葉)산, 해발 542미터)
* 트리 시스트리산(일본명 이오(硫黄)산, 해발 998미터)
* 이바오 산(일본명 시로타에(白妙)산, 해발 1,426미터) : 섬 최고봉
이상의 화산 주변에도 여러 산이 있다. 화산이 있어 현재도 연기와 온천이 분출하고 있어 유황 냄새가 풍긴다. 오호츠크해 쪽으로는 온천이 폭포가 되어 흐르는 곳이 있다.
섬은 바다생물 보호구역으로 지정되어 있어 '해달섬'이라고도 불린다. 북단의 烏ノ尾岬은 가장 큰 해달 서식지이며 300~400마리가 확인되고 있다. 이투루프섬과의 사이에 있는 프리스 해협은 식물학에서 말하는 분포 경계선(미야베선(宮部線))으로, 식물학상의 온대와 아한대의 경계선이다. 따라서 이 섬을 포함한 북쿠릴 열도에서는 활엽수림을 찾아볼 수 없게 된다.
앤드루 존 와일스(, 1953년 4월 11일 ~ )은 영국의 수학자이다.
1974년 옥스퍼드 대학교 머튼 칼리지에서 학사 학위를, 1979년 케임브리지 대학교 클레어 칼리지에서 박사 학위를 취득했다. 프린스턴 대학교 수학과수를 지냈다. 1994년 리처드 로런스 테일러의 도움으로 약 350년 동안 해결되지 않았던 수학계의 유명한 난제인 페르마의 마지막 정리를 최초로 증명했다. 수학계에서 가위있는 상으로 꼽히는 필즈상은 나이 40세 미만 조건에 걸려서 수상하지 못했으나 그의 공이 너무 컸기 때문에 국제 수학 연맹(IMU)에서 1998년 기념 은판을 제작해서 필즈상 대신 수여하였다. 엄밀히는 필즈상 수상자가 아니었지만, 기념 은판을 제작해서 수여했다는 사실을 필즈상 수상자 공식 명단에 같이 게재해 주었다. 그의 제자 만줄 바르가바는 루빅스 큐브에서 영감을 얻은 후 가우스 합 법칙을 확장한 것을 높게 평가받아 2014년에 필즈상을 받았음.
생애 초기와 교육.
와일스는 1953년 케임브리지에서 옥스퍼드 대학교 교수와 성공회 사제로 일한 모리스 와일스(, 1923 ~ 2005)의 아들로 태어났다. 유년기에 케임브리지의 킹스 칼리지 스쿨()과 레이스 스쿨()에 다녔다.
와일스는 페르마의 마지막 정리를 10살 무렵 학교에서 돌아오는 길에 우연히 발견했다고 한다. 그는 지역 도서관에 우연히 들렸다가 그 정리를 발견하였는데, 10살 아이조차도 이해할 수 있을만큼 간단했음에도 불구하고 여태껏 아무도 증명하지 못한 정리의 아름다움에 매료되었다고 밝혔다. 그는 그 정리를 최초로 증명하는 사람이 되고자 마음먹었지만, 이내 그의 지식이 너무 얕다는 것을 깨닫고 포기하고 있었다.
1974년 와일스는 옥스퍼드 대학교 머튼 칼리지에서 수학 석사 학위를 취득하고 박사 학위는 케임브리지 대학교 클레어 칼리지에서 취득하였다. 1981년 미국 뉴저지주 프린스턴에 위치한 프린스턴 고등연구소에 머물던 와일스는 프린스턴 대학교의 교수가 되었다. 1985년부터 1986년까지 와일스는 프랑스 파리에 위치한 IHÉS()와 고등사범학교()의 구겐하임 펠로가 되었다. 1988년부터 1990년 사이에 와일스는 옥스퍼드 대학교에서 왕립학회에서 후원하는 연구교수직을 맡았으며, 그 후에는 다시 프린스턴 대학교로 돌아갔다. 2011년에 다시 옥스퍼드 대학교에서 왕립학회 후원으로 연구교수직을 수행했다. 와일스의 졸업 연구는 1975년 여름에 존 코츠() 교수에게 지도받았다. 두 사람은 이와사와 이론()의 방법을 이용한 복소 곱셈을 통해서 타원곡선의 계산했다. 그 후, 와일스는 베저와 함께 이사이론의 유리수에 대한 주요 추측에 대해서 연구하였고 얼마 지나지 않아서 이 결과물을 완전 실수체로 일반화에 성공
1986년 여름, 게르하르트 프레이()와 장피에르 세르, 켄 리벳의 오랜 연구에 힘입어 페르마의 마지막 정리가 모듈러성 정리의 제한된 형태와 귀결된다는 것이 명확해졌다. 모듈러성 정리는 와일스의 전공 분야였던 타원곡선과 연결된다.
이 추측은 당시 수학자들에겐 중요하지만 매우 어려운, 또는 증명을 위한 접근이 불가능한 문제로 보였다. 예를 들어 와일스의 전 지도 교수였던 존 코츠는 이 추측이 "사실상 증명이 불가능해 보인다"고까지 말했으며, 켄 리벳은 스스로를 "절대 불가능할거라 믿었던 대다수의 사람 중 한 명"이라 칭하며, "앤드루 와일스는 자신이 풀어 증명할 수 있다고 꿈꾸는 대담함을 지닌 지구상에 몇 없는 사람들 중 하나"라고 말했다.
이럼에도 불구하고 페르마의 마지막 정리에 어린 시절부터 매료되어 있었던 와일스는 이 추측을 증명하는 도전을 감수하기로 결정한다. 그는 6년 동안 그의 모든 시간을 연구에 쏟았으며, 이 과정은 매우 비밀스럽게 진행되었다. 와일스는 그의 연구를 여러 뭉치로 나누어 보관하고, 자신의 아내에게만 털어놓았다고 한다. 1993년에 와일스는 영국 케임브리지에 위치한 한 학회에서 처음으로 그의 증명을 세상에 내놓았다. 그러나 1993년 8월 그의 증명 한 부분에 오류가 있음이 밝혀졌다. 와일스는 그 오류 증명을 고치기 위해서 1년이 넘도록 시도와 실패를 거듭하였다. 와일스에 의하면 1994년 9월 19일에 그가 포기하기 직전에 이르렀을 때 이 부분을 피해갈 중대한 발상이 떠올랐다고 한다. 와일스의 옛 학생 리처드 로런스 테일러와 함께 그는 오류를 피해서 증명을 완결 지은 두 번째 논문을 발표하였다. 이 논문은 1995년 수학연보 특별판에 수록되었다.
대중의 인식.
와일스가 발표한 페르마의 마지막 정리의 증명은 세계 수학자들의 철저한 검증을 거치게 되었다. 와일스는 BBC의 다큐멘터리 시리즈 《Horizon》의 페르마의 마지막 정리를 다룬 편에서 자세하게 인터뷰했다. 이것은 "The proof"라 재명명되었으며, PBS의 과학 텔레비전 시리즈 《Nova》에서도 다루어졌다. 1996년부터 미국 국립과학학술원()의 회원이 되었다.
수상 목록.
트리(, Trie)는 다음을 의미한다.
《울티마》(Ultima)는 리처드 개리엇(Richard Garriot)이 만든 컴퓨터 롤플레잉 게임 시리즈이다. 시리즈는 애플II용으로 제작된 울티마 I부터 3D가속 그래픽 카드를 필요로 하는 울티마 IX까지의 주요한 시리즈와, MMORPG장르를 대중화시킨 울티마 온라인이 유명하며, 외전격인 울티마 언더월드도 많이 알려져 있다.
울티마 I부터 울티마 III까지의 세 편은 "암흑기"(Age of Darkness) 삼부작으로 불리며, 악의 화신을 무찌르는 전형적인 판타지 게임으로 구성되어 있다. 울티마 IV부터 울티마 VI까지는 "계몽기"(Age of Enlightenment) 삼부작으로 불리며, 미덕과 가치관을 게임의 주제로 삼아 당시의 다른 게임에서는 찾아볼 수 없는 혁신적인 주제를 게임으로 만들었다. 울티마 VII부터 울티마 IX까지는 "아마게돈기"(Age of Armageddon, 또는 가디언 이야기)로 불리며, 반미덕(anti virtue)의 화신인 가디언에 맞서는 내용을 다루고 있다.
철학적인 내용으로 한 시대를 풍미한 RPG게임으로 군림하였으나 VII 때문에 발생한 재정 문제로 제작사인 오리진은 EA에 합병되고 EA 산하에서 발매된 VII-2부터 하락세를 걷는다. 울티마 VIII에서의 새로운 시도가 실패하고
이후 울티마 온라인에 집중하기 위하여 싱글 게임은 IX편으로 종결한다고 발표하였다. 과거로의 회기를 표방하며 액션적인 요소를 일절 배제하겠다고 했지만 메인 스탭들의 퇴사 등 여러 난제와 맞물려 결국에는 수많은 버그 및 이전 작품과의 통일성 결여, 자유도가 없는 게임구성, 전작에 비해 평이한 플롯 등으로 인하여 많은 비평을 받게 되었다.
울티마 I-V는 애플II용으로 제작 및 발매되었으며 후에 다른 플랫폼으로도 이식되었다, 울티마 VI부터는 IBM 호환 PC로 제작되었다.
울티마 시리즈의 판권은 오리진 시스템즈의 소유였으며, 1992년에 EA가 오리진 시스템즈를 합병한 이후 현재까지 EA의 소유로 되어 있다. 시리즈의 창시자인 리처드 개리엇은 2000년 EA를 퇴사하여 현재는 시리즈에 대한 권리를 가지고 있지 않다.
주요 시리즈.
암흑기 삼부작 (The Age of Darkness)
계몽기 삼부작 (The Age of Enlightenment)
아마게돈기 삼부작 (The Age of Armageddon, 가디언 이야기 The Guardian Saga)
알론조 처치(, 1903년 6월 14일 - 1995년 8월 11일)는 미국의 컴퓨터 과학자, 수학자, 논리학자, 철학자이다. 컴퓨터 과학의 이론적 기초를 세운 사람 중의 한 명이다.
워싱턴 D.C.에서 태어났다. 1924년에 프린스턴 대학교에서 학사 학위를 받고 1927년에는 박사 학위를 받았다. 1929년에 프린스턴 대학교의 수학과 교수가 되었다.
1936년 람다 대수에 관한 논문을 썼고, 여기서 "결정 불가능한 문제"가 존재함을 보였다. 이것은 앨런 튜링의 정지 문제보다 앞선 것이다. (튜링의 경우, 기계적인 방법으로 풀 수 없는 문제가 존재한다는 것을 증명했다.) 훗날 처치와 튜링은 람다 셈법과 튜링 기계가 본질적으로 같은 능력을 가지고 있다는 것을 보였다.
장원진(張元鎭, 1969년 6월 15일 ~ )은 전 KBO 리그 두산 베어스의 외야수이다.
1992년에 2차 4라운드 지명을 받아 입단했다. 백업으로 출전하다가 1996년에 국방부의 '방위병 출장 금지' 조치에 걸려 1년 동안 선수 생활을 하지 못하고 공익근무요원으로 대체 복무했다. 잔여 기간 복무를 마치고 1997년 시즌 중반에 복귀했다. 1999년에 케세레스의 방출로 다른 선수들의 수비 이동이 생기자 외야수에 공백을 메우기 위해 외야수로 출전하기 시작했다. 2000년에는 최다 안타인 170안타를 기록해 팀을 포스트 시즌으로 이끄는 데 공헌했다.
이후 나이가 들면서 타율이 떨어졌고, 2007년에는 대타로만 23경기에 출장해 1할대 타율을 기록했다. 그 해 통산 1500번째로 출장한 1군 경기가 마지막 경기가 됐다. 2008년에는 선수로는 등록돼 있었으나 경기에 출장하지 않고 코치 수업을 받았고, 시즌 후 공식 은퇴했다.
김홍집 (金弘集, 1971년 1월 30일 ~ )은 전 KBO 리그 한화 이글스의 투수이다.
선수 활동.
프로 입단 이전.
인천고등학교 출신으로 단국대학교 시절 국가대표로 차출될 만큼 뛰어난 활약을 하였는데, 당시 구대성, 이상훈과 더불어 '좌완 빅3'로 불리었다. 좌완 투수면서 140 km 중반의 빠른 직구를 주무기로 투구하는 그는 대학 시절만 해도 당대 최고의 좌완 투수로 인정받던 이상훈보다도 많은 기대를 받았다. 1993년 태평양 돌핀스에서 1차 지명되어 계약금 1억 2천만원에 계약해 당시 최고 유망주로 기대받았다.
1993년 입단하였을 당시 김홍집은 태평양 돌핀스에서 정민태와 더불어 가장 기대를 받았던 투수였다. 입단 첫 해, 태평양 돌핀스는 투수진과 타선이 총체적으로 부진하여 정규 시즌 8위를 기록하였는데, 그 가운데에서 김홍집만이 유일하게 선발 투수로 꾸준히 등판하여 호투를 보여 주었다. 입단 첫 해에 거둔 성적은 116이닝 투구, 평균자책 3.64, 7승 8패이다. 이는 당시 태평양 돌핀스의 암울했던 타선 득점 지원력을 감안한다면 뛰어난 투구이다. 이 해에 특기할 만한 사항으로는 6월 20일 LG전에서 연장 13회 완투승을 거두었던 사건이 있다. 이 날 김홍집은 LG 트윈스의 4인 계투를 상대하여 완투승을 거두었는데, 총 투구 수는 187구였으며 16개의 삼진을 잡고 3실점하였다. 그러나 이 날 이후 김홍집은 불과 1승 2패에 그치며 8월 이후 부상으로 전력에서 이탈하였다. 그 날 경기가 끝난 이후 김홍집은 인천고등학교 선배라는 사람으로부터 흰 봉투 하나를 받았는데, 이 안에는 놀랍게도 1백만원짜리 수표 1장이 들어 있었다고 한다.
1994년이 되자, 그는 팀 내에서 에이스로 거듭난다. 당시 태평양 돌핀스는 부상 선수들의 복귀와 함께 투수 왕국에 걸맞게 화려한 투수진 구축을 바탕으로 정규 시즌 2위를 기록했다. 이 가운데에 에이스 투수였던 김홍집은 그 해 126과 3분의 2이닝 평균자책 3.20에 20경기 12승 3패를 기록하는데 이는 1994년 시즌, 홈 경기에만 출장이 가능하였던 방위병으로 복무하면서 거둔 기록으로 시즌 승률 부문 1위에도 올랐다. 그리고 태평양 돌핀스가 1994년 인천 연고 팀 사상 처음으로 한국시리즈에 진출하였을 때 LG 트윈스를 상대로 1994년 한국시리즈 경기를 치르게 되었다. 1994년 한국시리즈 1차전에 등판한 그는 무려 10이닝 동안 완투하면서 완벽한 피칭을 보이지만, '물방망이 타선'으로 유명한 태평양 돌핀스 타선의 득점 지원을 받지 못하였다. 결국 11회말 1사 주자 없는 상황에서 LG 트윈스의 김선진이 끝내기 홈런을 치게 되어 완투패를 기록하게 된다. 그의 한국시리즈 1차전 투구수는 141구이다. 이는 그가 뒷날 혹사 후유증을 겪게 되어 고질적인 부상을 겪게 되는 원인이 된다. 비슷한 예로 그 전 해에 삼성 라이온즈의 투수 박충식이 1993년 한국시리즈에서 15이닝 181구를 투구하여 그 혹사로 잔부상에 시달린 일이 있다. 이후 태평양은 스윕을 당해 4전 전패로 준우승에 그쳤다.
한편, 김홍집은 1994년 한국시리즈 1차전 혹사의 후유증을 겪게 된다. 이듬해 1995년에는 평균자책 3.64에 6승 7패, 94이닝 투구를 기록했다. 그 해 이후부터는 소화하는 이닝 수가 떨어지기 시작했다.
현대그룹이 태평양 돌핀스를 인수하여 창단한 현대 유니콘스에서 그는 부상으로 인해 시즌 내내 재활을 했다. 태평양 돌핀스 시절 혹사의 후유증은 계속되었고, 고질적인 부상으로 그는 매년 부상 재발과 재활을 전전해야 했다. 현대 유니콘스에서 주로 불펜으로 등판하여 활약한 그는 2001년 6월 16일, 같은 소속 팀 투수인 최영필과 함께 이상열을 상대로 한화 이글스로 현금 트레이드되었다.
2001년 한화 이글스로 이적한 그는 불펜 요원으로 좌완 스페셜리스트로 활동했으나 뚜렷한 활약 없이 2003년 시즌이 끝난 이후 방출되어 은퇴했다. 현재는 부평구 리틀야구단을 이끌고 있다.
바시키르 국립대학교(, )는 바시키르 공화국의 우파에 있는 대학교이다. 1909년에 개교하였다. 이곳은 유기화학, 응용수학, 문헌학, 정보기술, 지리학, 석유공학을 가르치는 곳이다. 니콜라이 보골류보프, 알렉세이 레온티예프, 발렌틴 나팔코프와 같은 많은 유명한 응용 수학자들과 물리학자들이 바시키르 국립 대학교 출신이다.
베르호얀스크(, )는 러시아 사하 공화국에 있는 도시이다. 인구는 약 1,300명(1990년)이다. 사르탕강과 야나강이 합류하는 지점에 위치하며, 북극권 내에 있다.
1892년 2월 최저기온 －69.8°C를 기록하였다. 이후 세계의 한극지로 유명해졌고, 1월 평균기온은 －45.9°C로 겨울철 기온이 극히 낮다.
그러나 7월 평균기온은 15.9°C이다. 2020년 6월 20일에 38°C를 기록하여 세계에서 기온의 연교차가 가장 크다. 짧은 여름이지만, 기온이 높아 수목이 성장하고 경작도 가능하다.
쿠디마강()은 러시아 니즈니노브고로드주를 흐르는 강이름이고, 볼가강의 지류이기도 하다. 면적는 144 km, 수역길이는 2200 km2이다.
침례교(浸禮敎, )는 잉글랜드에서 청교도 신학의 영향을 받아 발생한 개신교의 한 교단이다. 침례교파가 유럽 대륙에서 발생한 재세례파에 뿌리를 두고 발생하였다는 주장을 하는 이들도 있으나 역사적으로 입증된 주장이 아니다. 침례교는 예수에 대한 믿음을 고백한 후 침례를 줘야 한다는 신자의 침례와 대상자를 물속에 완전히 잠기게 하는 침수례가 성경적이라고 주장한데에서 '뱁티스트'(baptist)라는 명칭을 갖게 되었다. 재세례파(anabaptist)와는 신학사상이 다르고 교단차원에서 서로 교류한 적이 없고, '재세례파'도 잉글랜드 뱁티스트들을 자신들의 일파 혹은 방계로 여기지도 않았다. 홀랜드 쪽에 있었던 아나밥티스트 소위 워터랜드 아나밥티스라고 불리던 이들만이 침례를 주었기에, 잉글랜드 밥티스트와 워터랜드 아나밥티스트 사이에 연관관계가 있을 것이라고 믿고 싶은 이들이 있어서 'anabaptist'를 재침례파라고 번역하기도 하지만 역사적 근거는 없다. 미국으로 건너간 '재세례파'는 아미쉬파로 정착하였고, 잉글랜드 침례교도들은 아미쉬파 등과는 교류가 전혀 없이 미국 내에 최대 교단으로 성장하였다. 노예해방 문제와 남북전쟁을 계기로 북침례교회와 남침례교회로 분리되어 오늘날에 이르렀다.
침례교는 (영아가 아닌) 신앙인의 침례와 믿음만으로 이뤄지는 구원을 비롯해 성경을 신앙과 실천의 유일한 원칙으로 삼고 있으며, 지역교회(개별교회) 각각의 독립성을 원칙으로 한다는 점에서 장로교파(장로주의) 및 감리교파(감독주의)와 다르다. 즉, 각각의 개별교회는 규모와 조직체계와는 상관이 없이 독립된 완전체이며 어떤 개별교회도 다른 개별교회의 일부가 될 수 없고, 어떤 교회도 다른 교회를 간섭하거나 간섭받아서는 안 된다는 입장이다. 따라서 각 개별교회 내부에서 발생한 문제를 그 교회 밖의 다른 어떤 교회나 총회에서 간섭하여 재판을 하고 판결을 내리는 것은 원칙적으로 불가하다. 반면에 외부의 어떤 조직으로부터도 간섭을 받지 않는 독립된 개교회들이 자발적으로 연합하여 협력한다는 점에서 '독립개교회주의'(church individualism)와도 다르다. 협력사업을 위해 자발적으로 연합상과 각 개별교회들 상호간의 연합자립적인 지역 교회를 그 특징으로 갖고 있다. 따라서 역사적으로 침례교회는 칼빈주의 신학을 받아들인 청교도 회중주의자들 중에서 나온 '특수침례교회'가 가장 뿌리가 깊지만, 각 개별교회마다 혹은 연합체마다 자신들의 신학노선을 자유롭게 취하는 경향이 있다. 하지만 오늘날 일반적으로 폭넓게 복음주의와 근본주의의 노선을 지향하는 경향이 있다. 직제로는 목사와 집사가 있다.
최초의 침례교회로는 1609년 암스테르담에서 영국인 분리주의자 존 스미스를 목사로 한 회중을 최초의 침례교회라고 하기도 하지만 미국 남침례교단의 사학자는 그렇게 단정하지를 않고 'path finder'로 지칭한다. 신약성경에 근거한 회중을 세우기 위한 몇몇 조건들을 고민하고 시험한 공로가 있다. 스미스는 영아의 침례나 세례를 거부했고, 신앙에 대한 구체적인 고백이 있는 이들에 대해서만 '뱁티즘'을 주었다. 그러나 어떤 방식으로 뱁티즘을 주어야 하는지, 자신의 뱁티즘이 정당한 효력이 있는지, 있다면 왜 있는지에 대해 깊이 고뇌했다. 존 스미스의 회중은 존 스미스의 죽음으로 소멸되었다. 그러나 잉글랜드의 자유교회운동은 청교도 신학의 칼빈주의를 기초로 하는 특수침례교인(Particular Baptists)들과, 신학적 엄밀성이 떨어지는, 심지어 알미니안주의적 성향을 보이기도 하는 일반침례교인(General Baptists)들이 생겨났다. 특수침레교회와 일반침례교회는 교회론이 상당히 달라 교파적 교류가 없었다. 일반침례교회는 쇠락했고, 겨우 명맥을 유지하다가 최종적으로 특수침례교회에 흡수되었다. 그런 점에서 영국 침례교는 칼빈주의를 기초로 하는 개혁파 혹은 특수침례교(Particular Baptists)적 성향이 두드러졌다고 말하는 것이다. 1639년 로저 윌리엄스는 미국에 최초로 침례교회를 설립하였고, 미국의 자유정신은 침례교회의 자유정신과 유사한 점이 있었고, 침례교회가 성장하는 기초가 되었다. 특히 18세기 중반의 대각성 운동 이후 미국의 침례교회는 감리교회와 더불어 증가하기 시작했다.
2000년을 기준으로 세계의 침례교인 수는 약 1억 5천만 명이다. 미국의 개신교에서는 세계 최대의 개신교단인 남침례회의 교세가 가장 크다.
침례교의 각 교회는 정책, 조직 형태, 가르침에 있어서 자치권을 갖는다. 침례교회는 각 교회의 독립을 강조하여, 총회와 같은 기관이나 교황과 같은 지도자에 의한 직접 관리를 받지 않는다. 교회 운영, 지도권, 가르침은 각 교회의 평신도에 의해 민주적으로 결정되며, 이에 따라 각 교회의 믿음의 차이가 나타난다. 회중주의의 특징으로서, 많은 협의회와 총회들이 만들어져 있다. 이러한 협회들은 선교를 비롯한 교육 및 자선을 위해 존재하고 있으며, 개별 교회의 운영에 대한 권한은 갖지 않고, 개별교회의 자율성을 존중한다. 따라서 어느 총회에도 소속되지 않은 독립 침례교회들도 존재한다.
전 신자가 제사장 직분자라는 만인제사장설은 모든 기독교인은 성직자들의 도움 없이 하나님과 직접 만날 수 있으며, 성경을 통해 계시된 진리를 받을 수 있다는 것이다. 이 교리는 "그리스도인은 왕같은 제사장이요, 하나님의 백성이요, 거룩한 민족이며, 우리를 어둠에서 빛으로 이끄신 하나님의 구원을 선언하기 위해서 부름을 받았습니다."라고 고백하는 베드로전서 2장 9절 내용에 근거하고 있으며, 마르틴 루터에 의한 종교개혁 및 15세기 영국교회의 종교개혁자 존 위클리프에 의해 대중화되었다. 침례교의 모든 신자의 제사장 직분은 그들의 종교의 자유에 대한 믿음을 지지하는 기둥 중 하나이다.
성례전.
침례.
침례는 예수를 그리스도로, 즉 세상을 구원하신 분으로 고백한 후 물 속에 온몸이 완전히 잠기는 의식으로서, 옛사람이 죽고 새사람으로 거듭남의 상징적인 의미를 지니고 있다. 따라서 침례중생설을 지지하지 않는다. 대부분의 침례교회에서는 구원을 얻은 후 받는 신자의 침례를 회원의 자격으로 삼고 있다.
침례교에서는 유아세례(유아침례)를 인정하지 않고 있다. 구원은 그리스도에 대한 믿음의 고백으로 얻어지는 은혜이므로, 부모가 자식의 구원을 결정할 수 없다고 보기 때문이다.
침례교에서는 물에 완전히 잠기는 침례를 강조한다. 이는 침례 요한이 사용했던 방식으로서, 침례를 주는 목회자가 침례 받는 사람을 뒤쪽으로 몸을 낮추어 물에 잠기게 하며, 성부와 성자와 성령의 이름으로 침례를 주고 그리스도의 제자로 삼으라는 예수 그리스도의 명령 즉, 삼위일체에 대한 언급이 나오는 마태복음서 28장 19절-20절이나 다른 신앙고백문을 낭독함으로써 이루어진다. 이러한 의식은 그리스도인이 예수와 함께 죽었다가 다시 살아난다는, 로마서의 가르침을 적절하게 설명한다.
인정되는 침례의 방식과 주체도 교회별로 차이가 있을 수 있다. 많은 침례교회들은 물에 완전히 잠기는 침례만을 인정하나, 몇몇 교회에서는 장애인이나 노인등, 예외적인 경우에 한하여, 물에 잠기는 것을 대체하기도 한다. 또한 회원을 이명하는 데 있어, 다른 기독교 교파에서 받은 세례(유아세례 제외)를 침례로 인정하는 교회도 있다.
주의 만찬.
주의 만찬은 기독교 교파별로 거룩한 교제(Holy Communion), 감사의 제사(Eucharist), 주의 만찬(Lord's Supper)등의 다양한 이름으로 불리는데, 침례교회에서는 주의 만찬(Lord's Supper)으로 부른다. 주의 만찬은 복음서에 기록된 예수의 마지막 만찬을 모방한 의식인데, 누가복음서 22장 19절에 따르면 예수께서는 고난받기 전날의 마지막 만찬에서 "나를 기념하여 이것을 행하라"라고 하였다. 주의 만찬에 참여하는 사람들은 예수의 몸과 피를 상징하는 빵과 음료를 함께 먹음으로써 주의 만찬을 행한다. 침례교에서는 빵과 음료가 예수의 몸과 피라는 것을 상징적인 의미로 해석하며, 로마 가톨릭에서 받아들이는 화체설(빵이 실제로 몸으로 변함)과 같은 문자적 해석은 배제한다. 주의 만찬의 집전시에는 사도 바울이 고린도 교회에 보낸 첫 번째 편지인 고린도전서 11장 23절~25절을 인용한다.