blueapple8259/wikipedia-ko huggingface dataset:
**인천국제공항고속도로**는 인천광역시 중구를 기점으로, 경기도 고양시를 종점으로 하는 대한민국의 고속도로이다. 개통 시점 기준으로 대한민국 최초의 수익형 민자사업으로 건설된 고속도로이다. 관리는 신공항하이웨이주식회사가 하고 있다.

2015년까지 이 도로를 지나는 공항리무진 버스와 이용객들의 편의를 고려해 88 분기점과 북로 분기점을 개량하고 북로 분기점에서 은평뉴타운까지 이어지는 연결 도로를 만드는 공사가 진행되었다. 북로 분기점에서 은평뉴타운으로 향하는 도로는 권율대로로 분리되었다.

제한 최고 속도는 시속 100km이지만, 영종대교 구간에서는 강풍으로 인해 시속 80km로 제한되어 있다.

## 통행료
2015년 9월 1일부터 적용되는 요금이다.

### 통행료 감면
인천국제공항고속도로 개통 당시 영종도, 용유도 지역의 주민은 사실상 이용할 수 있는 도로가 이 도로밖에 없기 때문에 인천광역시에서는 영종도 지역 주민에 대한 통행료 감면이 끝나는 2007년 3월 31일에 맞춰 인천광역시 공항고속도로 통행료 지원 조례를 2007년 4월 1일에 제정하여 영종도, 용유도 지역 주민들에게 통행료를 지원하여 감면받을 수 있게 하고 있다. 단, 해당되는 주민은 인천 중구 및 옹진군 북도면에 주민등록을 필하고 있는 실제 거주 주민이며, 감면대상 차량은 승용차이거나 2톤 미만 화물차, 그리고 16인승 이하 승합차 중 2축 차량만 가능하며, 1가구 당 차량 2대 이내로 1대 당 1일 왕복 1회에 한해 감면받을 수 있다.

통행료 감면을 받으려는 사람은 별도의 통행료 감면카드를 옹진군청이나 인천 중구청에 신청해 발급받게끔 하고 있으며, 발급 받은 감면카드는 주민등록상 함께 등록된 세대원이 사용할 수 있게 하고 있다. 또한 기존 감면카드를 발급받은 이용자가 차량 변경, 등록대상자 변경, 분실 등 변경 사유가 생겼을 경우에는 반드시 재발급을 받도록 하고 있다. 인천광역시에서는 이 감면제도 악용을 방지하기 위해 타 지역 이용객의 이용 패턴(출근시간(06:00~09:00)에서 인천 → 영종 방향 및 퇴근시간(18:00~21:00)에 영종 → 인천 방향으로 이용)을 추적해 적발시 감면카드 사용을 할 수 없게 하고 있다.

## 특이사항 및 문제점
인천국제공항고속도로는 북로 분기점부터는 인천국제공항으로의 진입의 정시성과 효율성을 높이기 위해 북인천 나들목까지는 원래 전용도로로 2013년 6월 27일 청라 나들목이 개통되기 전까지는 인천방향에서 영종도외에는 갈 수 없게 되어있었다. 착오 진입시에는 인천공항 요금소에서 편도 통행료를 납부하여 요금소 내에 설치된 회차로를 통해 되돌아가거나 청라 나들목에서 진출해야 했다.
또한 이 고속도로는 일각에서 '한국의 아우토반'이라는 별칭으로 불리며, 과속을 일삼는 폭주족들이 가장 선호하는 코스이기도 하다. 왕복 6~8차선의 넓은 도로, 거의 직선으로 시원하게 뻗은 길, 굴곡 또한 없어 속도를 내기에는 최적의 조건을 갖추고 있다. 이로 인해 자동차 동호인들 사이에 ‘물 좋은 곳’으로 입소문을 타고 있으며, 항공기 이착륙이 끊기는 자정 전후에는 200km/h 안팎의 초고속으로 질주하는 무법자들이 적지 않으며 340km/h이상 달리는 차량도 존재 하는 등 도로 안전이 위협을 받는 고질적인 문제점을 안고 있다.

## 사건 및 사고

### 영종대교 연쇄 추돌 사고
2015년 2월 11일에 영종대교 상부에서 안개로 인한 106중 추돌사고가 발생해 2명이 사망하고 60여명이 부상당했다.

### 한지성 사망 사고
2019년 5월 6일 배우 한지성 사망 사건이 발생했다.
**스파스크달니**는 프리모르스키 지방 스파스키 군의 중심지이다. 인구는 5만1,500명(2003년)이다.

한카호에서 20km 떨어져 있고, 블라디보스토크에서는 243km 지점에 위치해 있다.

도시는 1885년에 **스파스코예**(Спасское)라는 이름으로 지어졌고 1906년에 예브겐옙카 역(станция Евгеньевка)이 건설되었다. 1917년에 **스파스크**(Спасск)라는 새로운 마을이 건설되었고, 1926년에 예브겐옙카 면적을 넘어서면서, 1929년에 두 개의 지역이 스파스크달니라는 새로운 도시로 통합했다.
**하산**은 러시아 프리모르스키 지방 서남쪽 끝의 하산스키 군에 있는 작은 도시형 정착지(읍에 상당)이다.

블라디보스토크와 철도로 연결되어 있다. 두만강을 경계로 조선민주주의인민공화국과 접하는 국경 도시이다. 부근에 하산호가 있으며, 중화인민공화국과도 접한다.

## 역사
1938년 발생한 일본군과의 하산호 전투가 발생한 이후 군사 충돌에 대비하여 바라놉스키와 크라스키노를 잇는 철도 노선이 1941년 완공되었고 2차 대전 종전 이후 두만강 하구까지 철도를 연장하여 하산역이 세워졌다. 1959년 하산 노동 정착지가 세워졌고 1983년 도시형 정착지로 승격되었다.

## 교통
블라디보스토크 — 두만강 — 라선시 선봉구역 사이는 철도로 연결되어 있으며, 하산은 철도 통과 지점에 위치해 있다. 또한 조선민주주의인민공화국 평양시의 평양역까지 철도가 운행되기도 한다.

## 주변
러시아의 하산은 조선민주주의인민공화국의 나선시와 그리고 중화인민공화국(중국)의 훈춘시와 함께 삼국이 서로 인접해있는 곳이다.
한편 러시아의 하산선 철도는 나선특별시를 통해서 중국의 투먼시로 가는 우회 선로는 1992년 국제철도선으로 개통된지 불과 얼마되지않아 1993년이 되기전에 잠정 중단됐다. 이후 2008년 재개통이 언급된바있다.

## LPG 가스
2018년 8월 11일, 최근 러시아가 조선민주주의인민공화국에 액화가스(LPG가스)를 대량 수출하고 있다는 소식이 나왔다. 이는 유엔 안전 보장 이사회 결의 제2375호를 위반한 것이다. 만성적인 연료부족에 시달리는 조선민주주의인민공화국이 러시아산 LPG 가스를 대량으로 수입, 도시에 보급하고 있으며 이 덕분에 부유층뿐만 아니라 일반 주민도 가스를 사용하기 시작했다. 주유소에서는 한가정이 한달 정도 쓰는 13 kg LPG 가스통이 90~110위안 정도에 팔리고 있다.

2018년 11월 13일, STX가 러시아 연해주와 조선민주주의인민공화국의 접경도시 하산시에 액화석유가스(LPG) 탱크터미널 사업에 진출했다. 서울 플라자 호텔에서 러시아 현지 회사인 유한회사 KIM에 600만 달러를 투자하는 계약을 체결했다. 현지 회사가 향후 3년간 약 60만t의 LPG 거래를 성사시켜 5억 달러의 매출을 올릴 것으로 예상했다. 유엔 안전 보장 이사회 결의 제2375호은 매년 LPG 가스 200만 배럴의 대북 수출을 허용하고 있다. LNG 가스는 대북 수출이 전면 금지되었다. 유엔 안전 보장 이사회 결의 제2397호에서 매년 LPG 가스 50만 배럴로 대북 수출이 제한되었다.

2017년에 채택된 유엔 안전 보장 이사회 결의 제2397호에 따라, 회원국들은 매 30일마다 조선민주주의인민공화국으로 보내졌거나, 조선민주주의인민공화국에 판매된 정제된 석유제품 규모를 유엔 안보리 대북제재위원회에 보고해야 한다.

## 한반도종단철도와의 관계
한반도종단철도(TKR)가 시베리아횡단철도(TSR)와 연결되는 구상에서 하산은 부산-신의주-울란바토르(몽골횡단철도)-울란우데(시베리아횡단철도) 노선과 더불어 주요하게 거론되는 부산-원산-두만강역-블라디보스토크(시베리아횡단철도) 또는 하얼빈(만주횡단철도)-시베리아횡단철도 노선의 중요 거점으로 언급된다.
"**애마부인**(愛麻夫人)"은 대한민국의 영화로, 조수비 작가의 원작 소설을 정인엽 감독이 영화화했다. 

원래 제목은 '愛馬夫人'으로 하려 했으나, 제목이 저속하다하여 '愛麻夫人'으로 바꿨다. 

1982년에 개봉한 이후로 폭발적인 인기를 얻어서 이후 시리즈로 제작되었으며, 1982년에 서울에서 10만명 이상을 동원한 2편 중 한편이었다. 

1996년에 13번째 시리즈가 개봉한 이후로 현재 더 이상 제작되지 않고 있다.

## 줄거리
애마 오수비(안소영)는 권태로운 가정주부였으나, 남편 신현우(임동진)의 바람기 때문에 결국 맞바람을 피게 된다. 

남편이 술집에서 폭행사건으로 과실치사에 연루되는 바람에 현우(임동진)는 8년형의 중형을 선고받는다. 

오수비는 과실치사로 복역중인 남편 신현우를 2년째 매주 면회를 간다. 

남편이 교도소에 가자, 애마는 자신의 딸을 놔두고 혼자서 여행을 떠나게 되었는데, 우연히 만난 남자 김동엽(하재영)하고 뜨거운 사랑에 빠져 함께 도예를 배우게 된다.

남편의 외도로 괴로웠던 수비는 주위의 권고에도 이혼을 결심하지 못한다. 

면회를 다니다가 미술학도 **김동엽**을 만나 진실함을 느끼다, 어느날 수비는 같은 아파트의 옛 애인 김문오(하명중)를 만나 불륜의 정사를 갖는다. 

하지만 변태적인 김문오의 행위를 견디지 못하고 동엽을 만나 순수한 사랑을 나눈다. 

남편 현우는 이혼을 제기하는데 시골집에 있던 수비에게 동엽이 찾아와 프랑스로 떠날 것을 약속하게 되는 바람에, 그녀는 가정을 선택할 것인지, 자유를 선택할 것인지 갈림길에 서게 된다. 

그러다 약속한 그날 현우가 특사로 출감하게 되고 동엽에게로 떠나려 했던 수비는 부부의 굴레에 묶여 현우를 마중하고 현우는 수비하고 새로운 인생을 시작하게 된다.

## 한국사회에 미친 영향
당시 전두환 정부의 정책인 3S의 일환으로 국민들을 정치 대신 섹스,스포츠 등으로 빠져들게 하여 신군부의 집권기간을 연장하는데 일조하였다.
**트랩도어 함수**는 일방향함수의 한 종류이다. 보통 일방향함수처럼 함수의 역을 구하는 것은 어렵지만, **트랩도어**라고 부르는 특수한 정보가 있으면 쉽게 역을 구할 수 있는 함수이다. 트랩도어 함수는 암호학 분야에서 널리 사용한다.

트랩도어 함수를 수학적으로 정의하면 다음과 같다. 어떤 비밀값 ''y''가 있어서, 어떤 ''x''에 대해서 ''y''가 없을 때는 ''f(x)''를 구하기 어렵지만 ''y''가 주어진다면 ''f(x)''에서 ''x'' 값을 쉽게 찾을 수 있다면 함수 ''f''는 트랩도어 함수이다.

1970년대에 휘트필드 디피, 마틴 헬만, 랄프 머클등이 비대칭 암호에 대해 연구하면서, 트랩도어 함수가 주목 받기 시작했다. 실제로 1976년에 디피와 헬만이 '트랩도어 함수'라는 이름을 지었다. 몇 가지 함수들이 트랩도어 함수라고 추측했으나, 예상외로 트랩도어의 성질을 온전히 만족하는 함수를 찾기 어려웠다. 예를 들어 부분집합의 합 문제를 이용한 트랩도어 함수의 경우, 트랩도어 없이도 역을 구할 수 있기 때문에 부분집합의 합 문제로는 트랩도어 함수를 만들 수 없다.

현재까지 가장 널리 알려진 트랩도어 함수의 후보는 RSA와 라빈 함수들이다. 이 함수들 모두 합성수에 대한 모듈로 거듭제곱(modulo exponentiation)을 사용하며, 소인수 분해의 어려움에 기반하고 있다.

이산 로그 문제에 기반한 트랩도어 함수는 소수를 법으로 가지는 군에서나 타원곡선에서나 모두 알려진 것이 없다. 아직까지 이산 로그를 효율적으로 계산할 수 있는 트랩도어를 찾지 못했기 때문이다. 그럼에도 불구하고, ElGamal 암호체계나 DSA등은 이산 로그 문제의 어려움에 기반하고 있다.
**고이소 구니아키**는 일본의 육군 군인, 정치인이다. 최종 계급은 육군 대장. 제41대 일본 내각총리대신을 지냈다.

## 초기 경력
고이소는 1880년, 도치기현 우쓰노미야시에서 태어나 육군사관학교, 육군대학교를 졸업했다. 육군성 군무국장, 관동군 참모장, 조선군 사령관 등을 지냈으며, 1938년 현역에서 물러나 예편하였다.

이후 대동아성 대신을 거쳐 1942년 조선 총독에 부임하여 학도병 제도를 실시하였다.

## 내각총리대신
1944년 거듭된 패배로 도조 히데키가 내각총리대신 직에서 물러났으나, 총리 후보가 마땅치 않았다. 발언권이 강한 육군은 군인 출신을 선호하였으나, 전선 사령관을 옹립하는 것은 전황에 부담을 줄 수 있었기 때문에 중신들은 조선 총독이었던 고이소를 수상으로 옹립하였다.

고이소는 1930년대 민간정부를 전복시키려던 쿠데타 음모에 가담한 적이 있었기 때문에, 그의 수상 취임은 특히 고노에 후미마로를 비롯한 문관들 뿐만 아니라, 쇼와 천황마저도 그리 탐탁치 않게 여겼다고 한다.

그는 예편한 지 오래되었기 때문에 취임 당시 전황에 대해서 전혀 무지했고, 중대한 군사적인 문제는 육해군 수뇌부가 내각에 거의 상관없이 결정하였다. 육해군은 그를 허수아비처럼 무시했고, 문관들은 평화 협상을 선호하였기 때문에, 고이소는 인기 없는 상징적인 위치에 있었다.

그의 임기 중 전황이 점점 악화되고, 1944년 10월 일본이 조종하는 중국괴뢰정권인 난징국민정부(왕징웨이 정권) 수반이었던 왕징웨이가 병으로 사망해 중국에서의 상황이 악화되었다. 고이소는 잠시 평화협상을 생각하기도 하였으나, 연합군과 일본의 의견 접점을 찾기가 쉽지 않아 전쟁을 계속한다는 결론으로 기울었다. 한편 그는 당시 일본이 점령 중이었던 네덜란드의 식민지 인도네시아의 독립을 승인하기도 하였다.

고이소는 1945년 4월 오키나와에 미군이 상륙하고, 총리인 자신이 군사적인 문제에 개입하겠다는 요청이 육해군에 의해 거절되자 사임하였다.

종전 후인 1948년 11월 12일 극동국제군사재판에서 종신금고형을 선고받고 복역하다가 1950년 사망하였다.
**비사우**는 기니비사우의 수도로, 인구는 492,004명(2015년 기준)이다. 제바 강 어귀, 대서양을 바라보는 곳에 위치한 비사우는 나라의 가장 큰 도시이자, 주요 항구, 행정과 군사 중심이다.

## 역사
1687년 포르투갈 제국의 요새 항구이자 무역 거점지로 건설되었다. 1942년에는 포르투갈령 기니의 수도가 되었다. 1973년 반 식민지 PAIGC 게릴라들에 의한 독립 선언 후 그 수도가 마디나도보에로 정해졌지만, 포르투갈군 점령지의 수도이자 명목상 옛 포르투갈령 기니의 수도로 남게 되었다. 이듬해 1974년 포르투갈 본국에서 카네이션 혁명이 일어나 기니비사우의 독립을 승인할 당시, 포르투갈 점령지와 게릴라군의 점령지는 통합되었고, 비사우는 신생 독립국의 수도가 되었다.

비사우는 해마다 열리는 축제로 유명하다. 비사우시의 또다른 명소로는 아밀카르 카브랄의 묘를 비롯한 포르탈레자 다무라(Fortaleza d'Amura), 1959년 8월 3일 비사우 둑 노동 파업 당시 사망한 둑 노동자들을 위한 피지구이티 기념관 (Pidjiguiti Memoria), 기니비사우 국립 예술회, 비사우 신 박물관과 해변가가 있다. 1998년부터 1999년까지 벌어졌던 기니비사우 내전 당시 기니비사우 대통령궁과 비사우 프랑스 문화 센터를 비롯한 많은 건물들이 파괴되었고, 도시 중심가는 아직도 개발되지 않았다.

## 지리
비사우는 북위 11°52', 서경 15°36' [https://web.archive.org/web/20050812023000/http://earth-info.nga.mil/gns/html/cntry_files.html]에 위치해 있다

## 인구
1991년 인구조사에 따르면 비사우의 인구는 195,389명이었으며, 2015년 기준 인구조사에 따르면 492,004명에 집계됐다.

## 경제
비사우는 나라의 가장 큰 도시이자, 주요 항구, 교육, 행정과 군사 중심이다. 땅콩, 활엽수, 코프라, 팜유, 고무는 최고의 생산품이다. 비사우에 있는 공항은 오스발도 비에이라 국제 공항 (Osvaldo Vieira International Airport)이다. 빈곤과 개발의 결핍은 넓게 퍼져있다.
**아프리칸스어**는 남아프리카 공화국과 나미비아에서 주로 쓰이는 서게르만어군 언어이다. 16세기 ~ 17세기에 네덜란드 출신 이주자들의 후손이 써오던 네덜란드어가 독자적인 변화를 거치면서 성립된 언어이다. 네덜란드 본국의 언어와 교류가 단절되고, 이후 이주자들에 의해 유입된 프랑스어, 포르투갈어, 영어, 말레이어 등의 언어와 아프리카 토착 언어인 반투어가 혼합되어 형성된 크리올어의 일종이다. 19세기까지는 네덜란드어의 방언으로 간주되었으나 이후 정치적으로는 물론이고 언어학적으로도 완전히 독립된 언어로 간주되어 네덜란드어가 속하는 서게르만어군에 속하는 독자적인 언어로 분류된다. 대체로 네덜란드어와 같으며, 특히 낱말면에서는 10개 가운데 9개 이상이 네덜란드어에 뿌리를 두나 문법면으로는 네덜란드어와 크게 달라졌다. 인도유럽어로서의 특징이 크게 간략해져 인도유럽어족 가운데 영어, 페르시아어, 벵골어 등과 함께 성(문법에서의)의 구별이 없는 언어 중 하나가 되었다.

19세기 말부터 네덜란드어와 다른 독자적인 표준화가 이루어졌고, 1925년 영어와 함께 남아프리카 연방의 공용어로 정식 지정되어 현재에 이른다. 1990년대에 새 흑인정권이 출범한 후로도 영어 및 반투어족 9개 언어와 함께 남아프리카 공화국의 공용어 중 하나이며, 실제 사용 인구로는 영어를 앞서 줄루어와 코사어 다음으로 많다. 남아프리카 공화국 외에도 나미비아에서는 1990년 독립 이전까지 공용어 중 하나였으며, 독립 후 영어를 공용어로 채택했는데도 나미비아 전체에서는 실제 사용자 수가 가장 많은 언어이다. 그 외에 주변의 레소토, 보츠와나, 에스와티니, 잠비아, 짐바브웨 등에도 소수의 사용자가 있으며, 미국, 뉴질랜드, 아르헨티나, 네덜란드 등지로 이주해 간 사람들도 사용한다.
**짱구는 못말려**는 일본의 만화가인 우스이 요시토의 코미디 만화 시리즈다. 원 제목은 **크레용 신짱**이며 1990년 8월부터 2010년 3월까지 만화 전문지 『주간 만화 액션』에 연재되었다. 이후 우스이 팀을 통해 2010년 여름부터 새로운 만화인 **신 크레용 신짱**이 연재되고 있다.

1992년부터 만화책을 원작으로 『짱구는 못말려』이라는 동명의 이름으로 신에이 동화에서 TV시리즈 애니메이션을 제작하여 테레비 아사히를 비롯한 아사히 방송(긴키 광역권), 나고야 TV(주쿄 광역권), 시즈오카 아사히 TV, 규슈 아사히 방송, 히로시마 홈 TV 등 24개 지역 민방 네트워크를 통해 방영되고 있다.

현재 30개 언어로 더빙되어 있으며 45개 국가에서 방영되었다.

대한민국은 서울문화사에서 먼저 『짱구는 못말려』이란 이름으로 번역해 출판하다, 판권이 학산문화사로 넘어가면서 원어를 완전하게 번역한 『크래용 신짱』 즉 『짱구는 못말려』 이란 제목으로 현재 출판중이다. TV시리즈 애니메이션은 『짱구는 못말려』이라는 이름으로 1996년 비디오 출시 이후, 1999년 6월 28일에 주간시트콤으로 SBS에서 정식으로 방영하였다. 2020년 현재 투니버스에서, '짱구는 못말려 20'가 방송되었다. 그리고 원작 작가 우스이 요시토는 2009년 일본에서 알 수 없는 이유로 절벽에서 떨어진 시체로 발견되었다. 그리고 현재 일본에서는 '신 크레용 신짱'으로 현재까지 연재되고 있다. 신짱구(노하라 신노스케)는 자신삼아 딸을 모델로 삼아 제작했다고 한다.

## TV시리즈 애니메이션
일본에서 1992년 4월 13일에 TV 아사히를 비롯한, 아사히 방송(이하 ABC - 긴키 광역권), 나고야 TV 방송(이하 NBN - 주쿄 광역권), 규슈 아사히 방송(이하 KBC), 히로시마 홈 TV, 시즈오카 아사히 TV(구 시즈오카 현민 방송) 등 24개 ANN 지역 민방 네트워크를 통해서 전국적으로 일제히 송출을 개시하여, 현재 방영 중이고, 대한민국에서는 1999년 방영을 시작하여, 2022년 투니버스에서 "짱구는 못말려 22기"가 방송했었다. 그리고 23기가 방영을 시작한다.

## 게임
짱구 게임의 경우 비디오게임을 일본에서는 '반다이' 와 '반프레스토' 가 제작했다. 거의 대부분이 닌텐도 계열 기종으로 출시되었으며, 한국에서는 삼성게임사업부가 제작한 '짱구는 못말려' 시리즈가 있다. 첫 번째 시리즈가 한국 내에서 가장 많이 팔린 PC 게임이다.

### 일본
**1993년**
**1994년**
**1989년**
**1977년**
**2003년**
**2006년**
**2007년**
**2008년**
**2010년**
**2014년**
**2015년**
1984년**
짱구가 여름방학을 하며 겪는 이야기다.
가격은 약 9000엔이다.

### 대한민국
**2000년** ~ **2004년**
**2008년**
**2009년**
**2010년**

**2011년**
**2012년**
**2013년**
**2015년**
**2020년**
**2022년**
**병무청**(兵務廳)은 징집·소집 그 밖에 병무행정에 관한 사무를 관장하는 대한민국의 중앙행정기관이다. 청장은 차관급 정무직공무원으로, 차장은 고위공무원단 가등급에 속하는 일반직공무원으로 보한다.

## 역사
정부 수립 이후 병무행정을 처음으로 담당한 곳은 국방부 제1국이었다. 1949년 「병역법」이 제정된 뒤에는 육군본부 소속으로 서울·대전·청주·전주·광주·대구·부산·추천에 병사구사령부를 설치해 징집 업무를 담당하도록 했다. 1953년 국방부 제1·2·3국이 각각 육·해·공군의 군정을 담당하는 부서로 개편되면서 징집과 소집 및 기타 병역 동원에 관한 사무는 국방부 제4국으로 이관되었다. 병사구사령부를 지휘·감독하는 업무도 제4국이 이어받았다. 이후 병사 사무는 내무부에 이관되었다. 하지만 징·소집 등 이관 사무에 대한 경계가 불확실해 혼란을 빚자 1953년 11월 징·소집을 포함한 모든 병사 사무를 내무부가 집행하기로 합의가 이루어졌다.

1955년 2월에는 국방부에 병무국을 설치해 인적 자원 관리 업무·징소집·기타 병무에 관한 사항을 분장하도록 했다. 하지만 이후에도 병사 사무가 일원화되지 않아 국방부와 내무부 사이에 갈등이 있었고 그해 6월 다시 두 부처 사이에서 합의가 이루어져 8월까지 병사구사령부를 폐지하고 병사 사무는 내무부에서 관장하기로 했다.

이후 5·16 군사 정변으로 장면 내각이 붕괴하고 군사 정권이 들어서면서 다시 상황이 반전됐다. 1962년 10월 「병역법」을 개정하여 징·소집을 포함한 병무 행정을 국방부가 담당하도록 하며 병사구사령부를 폐지한 뒤 각 시·도에 국방부 직할 병무청을 두어 병무행정을 분장하도록 한 것이다.

1998년 청사를 기존 서울 용산구 후암동에서 정부대전청사로 이전했다.

## 정원
병무청에 두는 공무원의 정원은 다음과 같다.

## 재정
총수입·총지출 기준 2023년 재정 규모는 다음과 같다.

## 논란
운동선수들과 연예인 등을 중심으로 지속적으로 병역비리 사건이 일어난 적이 있다. 병역비리의 주요한 형태는 현역 판정을 받아야 할 사람들에게 신체검사 등급을 낮춰 면제시키거나, 현역보다 편한 사회복무요원으로 근무하게 해주는 것이다. 개인이 자해를 하거나 편법을 사용하여 신체검사 등급을 낮추려는 행위도 있지만, 병무청 관계자들이 직접적으로 연루되었다는 의혹과 혐의들이 제기되기도 한다. 병역비리 문제를 근절하기 위한 노력이 지속되어 오면서 2000년대 이후에는 연예인들도 상당수 자진 입대 하는 등 자발적, 제도적 해결책이 제시되기도 하지만, 아직도 정치인과 가족, 연예인, 운동 선수 등을 중심으로 병역 비리 의혹은 끊이지 않고 있다. 일반인들의 병역 면제율은 2%에 불과하지만, 4급 이상 중앙 및 지방 고위공직자 자녀의 병역 면제율은 5.3%인 것으로 나타났으며,

2010년 9월에 병무청 홈페이지를 일부 개정하였다. 그중에는 정치인 등 유명인들의 병역조회란에서 '면제자' 명칭을 삭제하고, 면제 사유만 명시하도록 변경한 것도 있었다. 이에 대해 이명박을 비롯하여 청와대 핵심 인사들과 장관 등 고위직 관계자들 중 병역기피자가 대다수이기 때문에 정권의 눈치를 보는것 아니냐는 조롱을 받았다.

## 마스코트
병무청의 마스코트는 2009~2010년경부터 제정되었고 2012년부터 '굳건이'라는 이름으로 사용되었다. 그러다 2020년 병무청에서 곰·호랑이 등을 토대로 만들어진 마스코트 캐릭터의 시안을 만들었으며 이들 캐릭터 가운데 호랑이를 토대로 만들어진 마스코트 캐릭터가 결정되었다. 결정된 마스코트 캐릭터의 이름은 '힘찬이'로, 이 마스코트는 2021년부터 사용되고 있다.

병무청의 마스코트는 대한민국의 병역 제도에 대한 비판, 징병제에 대한 반대와 관련하여 풍자의 대상이 되고 있다. 특히 2020년까지 사용된 마스코트인 굳건이는 군인 정신과 거리가 있으며 군입대를 앞두고 예민한 상태에서 지나치게 해맑은 미소 등에서 위화감을 받게 되는 반응으로 호응을 얻지 못한 것으로 알려졌다.
**일본 미소녀 선발대회**는 일본의 연예 기획사 오스카 프로모션에서 주최하며, 1987년에 신설된 오디션 선발대회와 청소년 미인대회 이름이다.

전일본 국민적 미소녀 콘테스트 실행위원회에서 주최되고 있고, 일본 미소녀 선발대회의 실행 및 심사기준은 아사히방송과 각 음반회사가 심사를 맡고 있다.

대한민국에서는 에꼴*롤롤모델 선발대회와 젠느모델 선발대회, 미스춘향 선발대회, 슈퍼모델 선발대회 등 아시아의 미소녀 모델 선발대회와 흡사하다.
**한카 호** 또는 **싱카이 호**는 중국 북동지역 (헤이룽장성(黑龍江省))과 러시아(프리모르스키 지방) 사이에 위치한 호수이다.

호수 면적은 4,190&nbsp;km는 중국에 접해 있다. 호수 주변은 귀중한 생태계가 남아 있는 세계적으로도 중요한 습지대로, 중국 측에는 싱카이호 국가급 자연 보호구가 러시아 측에는 한카호 수자연 보호구가 있으며, 1996년에 양국 정상이 호수의 자연 보호에 대해 공동 보호 협정을 체결했다.

또 양국의 자연 보호구는 함께 람사르 협약 등록지이다. 철새의 도래지이고 두루미와 재두루미의 중요한 번식지이다. 그 밖에도 많은 멸종 위기종인 들새·양서류·파충류·곤충 등이 서식하며 제 3기의 식물군이나 철갑상어 등 많은 담수어류, 아무르 호랑이 등도 적지만 서식하고 있다. 호수는 과학 조사(철새 등의 조사) 외에 자연 보호, 생태관광 등으로도 주목받고 있다.

신당서에 따르면 발해가 다스릴 때에는 동평부 타주에 속하였으며 미타호(湄沱湖)로 불렸다고 전한다.

## 관련 자료
한카호는 호수의 북쪽, 중극 측의 높이 10m의 사구에 의해 나뉜 크고 작은 2개의 호수를 일컫는 총칭이다. 호안은 북서쪽 이외에는 습지대이다.

한카호에 흘러 들어오는 수계(水界)의 범위(분수계)는 약 16,890km이다. 호수는 쑹아차허(송가체강)로 통하고 우수리강 수계, 나아가서는 아무르강 수계에 속하기 때문에, 북쪽의 오호츠크해까지 흐르고 있다.

연중 최고 기온은 21.2도이고 최저 기온은 -19.2도이다. 비는 통상적으로 하절기에 내리며 연 강수량은 750 mm정도이다.
**미소녀 클럽 31**은 일본의 여성 아이돌 그룹이다. 오스카 프로모션 주최 청소년 오디션 미인 선발대회인 「일본 미소녀 선발대회」 2002년~2004년 대회 (제8회~제10회)의 입상자를 중심으로, 미소녀 그룹을 선발하는 대회로 일본 가수 모닝구무스메가 인정받은 방송 연예 프로그램이다. 일본 미소녀 선발대회 중 제8회 대회의 그랑프리상을 휩쓴 시부야 아스카와 사카타 미즈호의 2인 미소녀가 후보로 나왔다. 또한, 미소녀 그룹의 활력과 멤버의 활력을 이룬 방송 연예 프로그램이기도 하다. 2003년 8월 26일, 미소녀 클럽 21을 결성. 2004년 9월 30일, 멤버를 10인으로 결성하여 「미소녀 클럽 21」에서 「미소녀 클럽 31」으로 전환했다.

2006년 12월에 행해진 팬클럽 이벤트를 마지막으로 그룹으로의 활동은 휴지 상태이다.
**제707특수임무단**는 육군특수전사령부 소속의 특수부대이다. 대테러전 및 여러 기밀 작전 등을 수행한다. 미국 육군의 델타 포스를 비롯한 여러 나라의 특수부대와 연합훈련 등의 교류를 해오고 있다.

## 활동
707특수임무단은 특전 병과를 가진 부사관 이상의 직업군인이 복무한다. 평시에는 대테러 작전이 기본 임무이고, 전시에는 내부적으로 **X파일**로 불리는 비밀 작전을 수행하는 특수임무를 담당한다. 1980년대에는 국내의 각종 무장 인질극 사건들에도 707특임단이 투입되었으나, 1990년대 이후에는 대한민국 국내에서 일어나는 대테러 및 치안 업무는 경찰특공대에게 이관하고, 707특임단은 대한민국 국적을 가진 국외 거주민을 대상으로 한 테러 사건을 담당하도록 역할이 분담되었다.

## 역사
12.12 사태 당시, 신군부의 반대편에 섰던 당시 정병주 특수전사령관을 최세창 3공수특전여단장이 체포하는 사건이 벌어졌다. 이는 특전사령관이 있는 특전사령부 본부 건물이 당시에는 독자적인 공간 없이 3공수특전여단의 영내에 위치해 있었고 사령부 본부에는 행정병과 인원만 있었을 뿐 사령관 직속의 무장병력이 없어서 무방비 상태였기 때문이었다.
그래서 이후에 만약 역쿠데타가 일어났을 경우 자신들도 똑같이 당할 수밖에 없다는 것을 깨달은 신군부는 특전사령관이 직접 지휘할 수 있는 사령부 직할 전투 부대를 보유할 필요성을 느껴서 707특수임무대대를 창설하게 된다. 그리고 올림픽 개최지가 서울로 확정되자 대한민국 정부의 "국가대테러활동지침"에 따른 대테러 부대로서의 임무도 겸하는 목적이었다. 이리하여 1981년 4월 17일에 707 특수임무대대가 특전사령관 직속부대로 창설된다. 이후 상황이 안정되어 쿠데타 우려가 적어지자 사령관 경호 목적보다는 대테러부대라는 본연의 임무에 충실한 부대로 자리 잡게 된다. 그 후 1986년 아시안 게임과 1988년 하계 올림픽을 준비하면서 처음으로 외부에 공개되었다.

1980년대에는 여러 무장 인질극 사건들에 투입되어 임무를 성공시켰다도 있었다.

2018년 국회 국방위원회 국정감사에서, 국방부는 중령이 지휘관인 현행 707특수임무대대를 대령이 지휘하는 단(團)급으로 확대 개편할 계획이 있다고 보고했다.

2018년 10월 기존의 중령에서 대령이 지휘하는 부대로 확대 개편이 추진되면서, 2019년 2월 1일 기존의 특수임무대대에서 대령이 단장인 ‘특수임무단’으로 개편되었다.

## 장비
대한민국 육군의 기본 제식 장비 외에 특수부대로서 필요한 장비는 별도 예산으로 장만한다. K1 기관단총, K7 기관단총, MP5 시리즈 등을 상황에 따라 기본 화기로 사용한다. 현재 mp5 기관단총은 전량 mp5의 개량형인 Mp5a5로 대체되었다.

언론을 통해 공개된 보유중인 장비의 목록은 아래와 같다.

## 훈련
707특임단은 아래 목록의 외국 특수부대와 교류 및 교환 훈련을 갖는다.
**수염고래류**는 두 개의 고래 분류 중 하나이다. **수염고래소목**(Mysticeti)으로 분류한다.

## 특성
이빨고래소목의 고래류와는 달리 위턱에 달린 고래수염으로 먹이를 물에서 걸러 먹는다. 일반적으로 이빨고래류의 고래보다 몸집이 크다. 두 개의 분기공을 갖고 있다. 대부분 연안에서 생활하며 때문에 인간의 포경산업의 주요 포획대상이 되기도 했던 고래들이기도 하다. 그리고 대부분 온순한 기질을 가지고 있어 먼저 사람을 공격하는 경우는 거의 없으나 귀신고래는 매우 공격적인 성향을 가지고 있다.
**이빨고래류**는 두 개의 고래 분류 중 하나이다. 또한 이빨고래는 **이빨고래소목**(Odontoceti)으로 분류하며, 수염고래류의 고래에게 있는 수염 대신 이빨을 갖고 있으나, 모든 종이 이빨을 이용해 먹이를 먹지는 않는다. 또한 이빨고래류의 분기공은 한 개이다.

태어난 뒤 반드시 이가 나는 고래로, 종류에 따라 이가 두 개뿐인 것도 있고 200개가 넘는 종도 있다. 고래의 이빨은 먹이를 잡거나 생식을 위한 투쟁을 위해서 사용한다. 먹이는 오징어·물고기 등으로 긴수염고래에 비해 영양단계가 높다. 두개골은 좌우가 가지런하지 않으며, 체유는 긴수염고래와 달리 고급지방산의 알코올 에스테르이다. 긴수염고래에 비해 몸이 작아 1.5-20m 정도이다.

향유고래 등 서너 종만이 포경업의 대상이 되고, 흰돌고래·흰줄박이돌고래 등이 돌고래어업에 의해 포획될 뿐, 그 밖의 이빨고래는 사람들의 관심을 끌지 못한다. 좌우의 콧구멍을 합쳐 외비공은 한 개로 되어 있다. 거의 모든 종류가 성숙 후의 몸길이가 수컷이 암컷보다 크며, 수컷은 서로 투쟁해서 이긴 놈이 무리의 통솔자가 된다. 작은 무리를 짓기도 하나, 어떤 종류의 돌고래는 수천 마리가 큰 무리를 짓기도 한다. 회유(回遊)를 하지만 긴수염고래보다는 범위가 좁고, 일정한 곳에 정주하다시피 하는 종류도 있다.
**통계청**(統計廳)은 통계의 기준설정과 인구조사 및 각종 통계에 관한 사무를 관장하는 대한민국의 중앙행정기관이다. 청장은 차관급 정무직공무원으로, 차장은 고위공무원단 가등급에 속하는 일반직공무원으로 보한다.

## 역사
통계청의 역사는 1948년 정부 수립 당시 공보처에 통계국을 두면서 시작했다. 이는 남조선과도정부의 서무처 통계국을 계승한 것이었다. 이후 소속 부처가 몇 번 변경되다가 1963년에 경제기획원의 외국으로 지위가 격상되었다.

노태우 정부에서 행정개혁위원회를 설치하여 정부조직에 대한 개편을 시도했는데 행개위는 조사통계국을 통계청으로 격상시킬 것을 건의했다. 이후 1990년 「정부조직법」을 개정하여 조사통계국을 독립된 외청인 통계청으로 개편했다.

## 정원
통계청에 두는 공무원의 정원은 다음과 같다.

## 재정
총수입·총지출 기준 2023년 재정 규모는 다음과 같다.

## 논란

### 독립성 제고 논란
보다 신뢰할 수 있는 통계를 생산하기 위해 통계청 조직 및 업무에 대한 혁신이 필요하다는 지적이 있다. 이인실 전 통계청장은 "많은 관료가 '거쳐 가는 자리' 정도로 인식하"고 있다면서 "국무총리 직속 '국가통계처'로 격상하는 방안을 검토해볼 만하다"고 말했다. 실제로 1990년 조사통계국이 통계청으로 격상된 이후 2017년까지 15명의 통계청장이 배출되었으나 평균 임기는 22개월에 불과해 2년을 채우지 못했으며, 대부분이 기획재정부 출신으로 청장 자리를 거쳐 다른 자리로 영전해가는 경우가 많았다. 또한 경제통계 위주로 편성되어 있어 기후·환경·의료·교육·산업 등의 분야에서는 통계 생산 업무가 제대로 이루어지지 못한다는 비판도 있다. 통계청의 한 관계자는 "새로운 통계 영역에 진출하고 싶어도 법령 제정권이 없고 다른 부처와 업무 이관 협의를 하다가도 청장이 바뀌면 모든 절차를 다시 시작해야 해 매너리즘에 빠지는 게 현실"이라고 말했다. 

2012년에는 표본 수를 늘리고 고소득자 소득을 반영해 현실 적합성을 높인 새 지니 계수를 개발해 공표하겠다고 밝혔지만 이를 차일피일 미루었다. 이 과정에서 18대 대선을 앞두고 높아진 소득 불평등에 대한 통계자료가 공표되는 것에 청와대가 외압을 행사했다는 정황이 포착되었다. 한편, 2015년부터는 공시생, 알바생, 취준생 등을 포함한 체감 청년실업률을 작성했지만 공표하지 않다가 한겨레가 보도를 하자 슬그머니 게재하였다. 이는 통계청이 기획재정부의 외청 신분이라 독립성이 약하다는 이유가 힘을 얻고 있다. 멕시코는 숱한 경제위기를 겪은 뒤에 통계청의 독립성을 높이고자 국회 통제를 강화하고 청장의 임기를 법으로 보장하였다. 영국은 통계의 독립성 강화를 위해 재무부 산하에서 독립기구인 국가통계위원회로 격상시킨 사례도 있다.

2015년 국토교통부가 공개한 주택보급률은 102.3%였지만 통계청이 발표한 보급률은 85.6%에 그쳤는데, 이는 다가구주택을 한 채로 보느냐 여러 채로 보느냐에 대한 시각의 관점에 따른 차이였다. 주택, 의료, 건강, 기후, 환경, 인구센서스, 국민소득, 교통 등에 관한 통계데이터는 정부의 여러 부처에서 생산하는 데이터로 빅데이터에도 매우 유용하게 활용된다. 하지만 현재의 통계청은 정부 통계 전체를 통합하고 표준화할 역량을 갖추지 못했다. 통계의 전문성을 확립하고 악용 논란이 반복되지 않기 위해 독립성 확보가 시급하다는 지적이 나오는 이유다. 전직 통계청 고위 당국자는 "통계가 틀리거나 현실과 안 맞는 문제가 있다면 통계청이 보완해야 하는데, 예산이나 법률제정권이 기재부에 있어 협조를 받지 않으면 할 수가 없다"고 말했다. 이에 통계청을 총리 직속 '국가통계처'로 격상시키고 통계 전문가들이 업무를 담당토록 하며, 기관장의 임기도 선진국처럼 5년 이상으로 하도록 법에서 규정할 필요가 있다는 지적이다.

일자리 창출을 강조하며 출범한 문재인 정부에서는 황수경 청장을 해임시키는 일이 일어났다. 2018년 1·2분기 가계동향조사에서 하위 20%인 가구의 소득이 지난 해보다 각각 8%와 7.6% 급감한 것으로 나타났는데, 이 통계가 정부가 추진하는 소득주도성장의 역효과를 드러낸 것이라는 비판으로 이어지자 청와대에서 통계청장에 대한 외압을 가했다는 것이다. 이 문제는 표본 가구 수를 늘리는 과정에서 생긴 착시 현상이라는 주장도 나오면서 또다른 논란을 일으켰다(→문재인에 대한 비판#통계청장 경질 논란 참고).

### 가계동향조사 불응 시 과태료 부과 논란
JTBC 취재 결과, 2019년부터 가계동향조사 대상자가 응답을 거부하면 최대 20만 원의 과태료를 부과하기로 한 것으로 드러났다. 조사 대상자들이 소득과 지출 공개를 꺼리기 때문에 응답 거부 비율이 매년 높아져, 강제 수단을 쓰기로 한 것이다. 통계법상 과태료 부과는 가능하지만, 이를 개인에게 적용하는 것은 유례가 없는 일이다. 이를 두고 과태료 부과 이전에 국세청이나 금융기관 자료를 연동하고 전자 가계부를 도입해 쉽게 응답할 수 있도록 해야 한다는 지적이 제기되었다.
**수도권제1순환고속도로**는 경기도 성남시의 판교 분기점을 기종점으로 하여 서울특별시, 하남시, 구리시, 남양주시, 의정부시, 양주시, 고양시, 김포시, 인천광역시, 부천시, 시흥시, 안산시, 군포시, 안양시, 의왕시, 성남시 등을 순환하는 대한민국의 고속도로다. 2020년 이전까지는 **서울외곽순환고속도로**라는 이름으로 불렸었다. 

이 고속도로는 한국도로공사에서 운영하는 국가재정 구간과 민간에서 운영하는 민자 구간이 혼재되어 있다. 퇴계원 나들목에서 일산 나들목까지의 북측 구간은 민간투자고속도로로 서울고속도로주식회사에서 운영하며, 나머지 구간은 한국도로공사에서 운영하고 있다.

## 통행료
수도권제1순환고속도로에 설치된 요금소는 모두 개방식 요금소이기 때문에 각 구간마다 별도로 요금을 내야 한다. 아래 요금은 2018년 3월 29일부터 적용되는 요금이다.
**파이어버드**(FireBird)는 볼랜드의 관계형 데이터베이스 관리 시스템(RDBMS)인 인터베이스(Interbase)가 2000년에 소스 공개된 이후 공개된 소스를 기반으로 새로이 시작된 오픈 소스 RDBMS 프로젝트이다. 2004년 2월에 1.5 버전이 발표되었고 2006년 2월초 현재 2.0 버전이 공개 베타 테스트중이다.

파이어버드의 대표적인 특징은 트랜잭션 등 완전한 RDBMS의 기능을 갖추고 있으면서도 설치 크기가 수MB 정도로 대단히 작고 빠르며, 메모리도 수십 MB 정도로 적게 소모하는 가벼운(lightweight) RDBMS라는 것이다. 또한 마이크로소프트 윈도우, 리눅스, 솔라리스, FreeBSD, 맥 OS 등 다양한 플랫폼을 지원한다.

볼랜드의 인터베이스 소스로부터 분기한 만큼 볼랜드의 개발툴인 델파이나 C++빌더와는 연동이 쉽지만, 그외에 닷넷 프레임워크 환경이나 비주얼 C++, PHP, ASP, 자바와도 연동이 가능하다.

파이어버드의 라이선스는 MPL(Mozilla Public License)의 변형으로, GPL 기반인 MySQL과는 달리 상용 목적의 사용이 가능하다. 이 라이선스는 거의 대부분의 상업 목적 사용에도 제한을 받지 않는다.

RDBMS 서버가 아닌 로컬 데이터베이스 형태로 다른 프로그램에 임베드(embed)되는 파이어버드 임베디드 서버(FireBird Embeded Server)도 존재한다.
**C++빌더**는 코드기어(옛 볼랜드)의 C++ 기반 RAD 개발 툴이다. 델파이와 많은 부분을 공유하며, 델파이의 C++ 버전으로 취급된다. 델파이에서 개발된 많은 구성요소들을 C++ 코드로 그대로 사용할 수 있다. 실제로 델파이로 작성된 비주얼 컴포넌트 라이브러리를 별도로 다시 작성하지 않고 그대로 사용하고 있다.

C++빌더는 드래그-앤드-드롭 비주얼 개발환경을 지원하며, 위지윅 GUI 빌더를 포함하는 IDE를 가지고 있다.

C++빌더는 원래 마이크로소프트 윈도우용으로 개발되었으나, Qt 기반의 크로스플랫폼 비주얼 구성요소 라이브러리 볼랜드 CLX를 지원했던 적이 있다. 이 라이브러리를 사용해 개발한 경우 카일릭스로 컴파일 할 수 있다. 하지만 이후 볼랜드는 카일릭스 개발을 중단하고 더 이상 CLX 라이브러리를 지원하지 않는다.

2003년 볼랜드는 C++빌더의 후속작인 C++빌더 X를 준비하였다. 이는 J빌더와 같은 기반을 공유하며 기존의 제품과 많은 차이를 나타낸다. 하지만 이 프로젝트는 상업적으로 성공하지는 못했다. 따라서 델파이 개발 환경의 일부로 포함될 것이라고 볼랜드 사가 2004년에 선언했다.

C++빌더 2006까지는 볼랜드 디벨로퍼 스튜디오에 포함되어 있으며 이후의 버전은 개별적인 C++빌더 제품 및 코드기어 래드 스튜디오에 포함된 패키지 제품 두가지로 판매되고 있다.

볼랜드로부터 독립 조직으로 분리된 코드기어가 엠바카데로에 인수된 이후 2008년에 출시된 버전인 C++빌더 2009에서는 유니코드 지원, TR1, Boost, C++0x 등 C++의 최신 표준 및 트렌드를 광범위하게 지원하여 비주얼 C++ 2008 버전에 비해 표준 준수도가 더 높다. 2009년 출시된 버전인 C++빌더 2010 에서는 윈도우 7 개발을 지원한다.
**츠힌발리**는 조지아의 중부, 남오세티야의 수도이다. 지명은 조지아어로 서어나무의 땅을 의미하는 '크르츠힌발리'에서 유래하였다. 1934년부터 1961년까지는 이오시프 스탈린의 이름에서 유래한 '스탈리니리'로 불리기도 하였다. 조지아의 수도 트빌리시로부터는 약 100km 떨어져 있다.

1989년의 인구는 42,934명으로, 그 중 74%가 오세트인, 16%가 조지아인이었다. 조지아-오세티야 분쟁의 결과, 당시 조지아인 주민의 상당수는 남오세티야를 떠나면서 인구도 격감했다고 추정된다.

1990년부터 1992년에 걸친 분쟁으로, 마을은 분리주의 집단과 조지아 정부군과의 교전의 장소가 되었기 때문에 대부분의 도시가 파괴되었다. 1994년 이후부터 츠힌발리는 유럽 안보 협력 기구(OSCE)의 감독하에 따라서 조지아-오세티야-러시아 평화 유지군이 관리하고 있다. 2008년 하계 올림픽 도중 조지아가 남오세티야를 침공했으며 츠힌발리에서는 2천 명의 사망자가 났다.
**4색 정리**(四色定理) 또는 **4색 문제**(四色問題)는 평면을 유한 개의 부분으로 나누어 각 부분에 색을 칠할 때, 서로 맞닿은 부분을 다른 색으로 칠한다면 네 가지 색으로 충분하다는 정리이다. 이 문제는 지도에서 서로 맞닿은 지역에 다른 색을 칠한다는 것에서 착안해 만들어졌다.

세 가지 색으로는 평면을 칠할 수 없다는 것은 반례를 찾는 것으로 증명할 수 있다. 또한 다섯 가지 색으로 칠하는 것이 가능하다는 것도 증명되어 있다. 하지만 네 가지 색으로 가능한지에 대한 문제는 오랫동안 미해결 상태였다.

평면을 여러 개의 부분으로 나누는 가짓수를 무한 개에서 유한 개로 줄인 증명이 발표된 후, 이후 이 유한 개의 경우를 모두 컴퓨터 계산을 통해 검사하였다. 즉, 이 문제는 컴퓨터를 이용한 증명으로, 일부 사람들은 이러한 증명은 진정한 의미의 수학적인 증명이 아니라고 생각하고, 더욱 간단한 방법의 증명을 찾는 사람들도 있다.

## 역사
4색 문제를 처음으로 연구한 사람은 프랜시스 구드리(Francis Guthrie)이다. 1852년에 영국의 지도를 색으로 칠해 구분하다가, 네 가지 색만 사용하면 각 주(州)를 구분할 수 있다는 것을 발견하였다. 구드리는 자신의 스승인 드모르간에게 이것을 수학적으로 증명할 수 있는지 문의하였다. 구드리는 유니버시티 컬리지에서 드모르간의 학생이었으며 1850년에 졸업하였다. 4색 정리가 처음으로 학문적으로 논의된 것은 1879년 아서 케일리의 논문이었다. 

4색 정리를 증명하기 위한 시도는 여러 번 있었다. 1879년에 알프레드 켐프(Alfred Kempe)가 4색 정리 증명을 발표하였고, 많은 사람들이 증명 과정이 옳다고 생각하였다. 이듬해에는 피터 테이트(Peter Tait)가 다른 방법으로 4색 정리를 증명하였다. 1890년이 되어서야 퍼시 히우드(Percy Heawood)에 의해서 켐프의 증명에서 오류가 있다는 것이 밝혀졌고, 1891년에는 율리우스 페터센(Julius Petersen)에 의해서 테이트의 증명도 잘못되었다는 것이 밝혀졌다. 증명이 잘못되었다는 것이 모두 11년이 지나서야 밝혀진 것이다. 히우드는 켐페의 증명이 잘못되었다는 것뿐 아니라, 모든 평면 그래프는 다섯 가지 색을 사용하면 구분 가능하다는 것을 증명하였다. 이것을 4색 정리와 구분하여 5색정리라고 한다.

독일의 수학자 하인리히 헤쉬(Heinrich Heesch)는 컴퓨터로 수학적 증명을 해결하는 방법을 제안하였다.

드디어 1976년에 일리노이 대학교 어바나-샴페인의 케네스 아펠과 볼프강 하켄이 히쉬의 기본 아이디어에 J. 코흐 (Koch)의 알고리즘을 더하여 4색 정리를 증명하는 데에 성공하였다. 만약 4색 정리가 거짓이면, 다섯 가지 색이 필요한 구획들로 구성된 지도가 적어도 하나 존재할 것이다. 아펠과 하켄은 그런 반례가 존재하지 않는다는 것을 다음과 같은 두 가지 개념을 이용하여 보였다.

아펠과 하켄은 method of discharging, rings, Kempe chains등의 복잡한 과정으로 무한히 다양한 그래프들은 유한개의 기본 그래프로 단순화시킬 수 있음을 보였고, 결국 4색 문제의 반례가 존재하지 않음을 증명할 수 있었다. 지도에서 나라가 배열되는 경우는 무한히 많지만, 결국 1936개의 단순한 형태로 줄일 수 있음을 보이고 제대로 단순화되었는지 컴퓨터로 검사하는 방법을 썼다. (후속 연구에 따르면 633개만으로 충분하다.) 무한히 많은 그래프들을 단순화시키는 과정은 두 대의 컴퓨터에서 별도로 시행하여 다시 한 번 확인하였다. 한편 기본 그래프를 네 가지 색으로 칠할 수 있음을 보이는 과정은 손으로 일일이 색을 칠하여 각각의 그래프가 4색 정리의 반례가 될 수 없음을 보이는 방법을 썼다. 이 부분만 500페이지가 넘는 분량이었으며, 많은 부분은 당시 10대 소년인 하켄의 아들 리폴드(Lippold)가 검사하였다. 컴퓨터 프로그램을 실행하는 데는 수백 시간이 걸렸다.

어떤 지도를 한가지 혹은 두가지 색으로 칠할 수 있는지 여부를 판별하는 효율적인 알고리즘은 존재하지만, 세 가지 색으로 칠할 수 있는지 여부는 NP-완전 문제이기 때문에 빠른 해결방법이 없을 것으로 추측된다. 어떤 그래프가 평면 그래프이든 아니든 네 가지 색으로 칠할 수 있는지 여부를 판별하는 문제도 마찬가지로 NP-완전이다. 한편으로는 지도를 실제로 네 가지 색으로 칠하는 알고리즘은 O(n

## 지도와 4색 정리의 관계
프랜시스 구드리가 지도를 보면서 4색 문제를 처음으로 연구했지만, 사실 지도와 4색 정리는 큰 연관이 없다. 케네스 메이(Kenneth May)에 따르면, 학자들이 미국 의회도서관의 지도를 분석한 결과 지도 제작에서 색을 최소한으로 사용하려는 노력은 별로 보이지 않는다고 한다. 구획을 구분하는 것 이외에도 색으로 구분하는 경우가 종종 있고, 대부분의 지도는 다섯 가지 이상의 색으로 구획을 구분한다. 실제로 네 가지 색을 사용한 경우는 네 가지보다 덜 쓰는 것도 가능한 경우가 많다고 한다. 또한 실제 지도에서는 연못이나 호수도 그려야 하는데, 일반적으로 연못은 모두 같은 색으로 칠해야 하기 때문에 사색문제의 기본 조건에 어긋난다. 월경지가 존재하는 경우 역시 해당 월경지를 가지고 있는 국가나 행정 구역과 같은 색으로 칠해야 하기 때문에 사색문제의 기본 조건에 어긋난다.

지도제작과 관련된 책에서는 4색 정리를 별도로 언급하지 않는다. 지도를 실제로 제작할 때는 색을 칠하는 것이 중요한 문제이기는 하지만, 색을 최소한으로 사용하는 것보다는 한 색이 너무 많이 쓰이지 않도록 적절히 배분하는 데 더 관심을 가질 뿐, 색을 네 가지를 사용하는지 다섯 가지를 사용하는지는 별로 주의를 기울이지 않는다고 한다.

## 이론적 표현
4색 정리는 그래프 이론으로 조금 더 엄밀하게 정의할 수 있다. '모든 평면 그래프의 꼭짓점을 많아봐야 네 가지 색만 사용하여 인접한 꼭짓점들이 같은 색을 가지지 않도록 칠할 수 있는가'하는 것이 4색 문제이다.

간단히 '모든 평면 그래프는 네 가지 색으로 칠할 수 있는가'라고 하기도 한다. 여기서 지도의 모든 구획은 그래프에서 꼭짓점으로 대치되며, 지도의 구획이 경계선을 두고 맞닿아 있으면 해당하는 그래프를 선으로 연결한다.