blueapple8259/wikipedia-ko huggingface dataset:
**삼중수소**(三重水素) 또는 **트리튬**(tritium)은 수소의 동위원소로 **O 혹은 THO)를 형성하며, 이는 중수소 산화물인 중수와 유사하다. =

## 에너지 자원
삼중수소는 중성자 2개와 양성자 1개로 이루어져 있는데, 중수소는 중성자 1개와 양성자 1개로 이루어져 있다. 중수소 2개를 핵융합시키면 양성자와 삼중수소가 나오며 엄청난 에너지가 나온다. 이 삼중수소는 중수소와 다시 핵융합시키면 또 엄청난 에너지와 중성자, 헬륨가스가 나온다. 또 중수소와 중수소를 핵융합시키면 삼중 수소의 대체품인 헬륨 3이 나온다. 헬륨 3은 중성자 1개와 양성자 2개로 이루어져 있고 중수소와 핵융합시키면 엄청난 에너지와 양성자와 헬륨가스가 나오며 이 과정에서 얻은 에너지는 전기로 만들 수 있는 것은 물론이고 오염없는 친환경 에너지도 만들 수 있다. 그러므로 기존의 화력 발전소가 만든 온실 가스와 핵분열 발전소가 만든 방사성 물질이 만들어지지 않는다. 또한 이 에너지는 다른 대체 에너지보다 상상도 못하게 많으며 강력한 에너지 중의 강력한 에너지다. 또한 중수소는 바닷물에 많다.

## 반응
삼중수소는 방사능을 지니며, 반감기는 약 12.3년이다. 다음과 같은 식을 통해 헬륨-3으로 붕괴한다.

이 과정에서 18.6&nbsp;keV의 에너지를 방출한다. 전자는 6.5&nbsp;keV의 운동 에너지를 지니고 있으며, 남은 에너지는 전자 반중성미자에 의해서 전달된다. 삼중수소가 생성하는 에너지의 베타 입자는 먹거나 흡입할 경우에 위험하다. 삼중수소가 발생하는 방사능이 낮은 에너지를 지니는 이유로, 액체 섬광 계측(:en:liquid scintillation counting)과 같은 방식이 아니고는 삼중수소로 표식을 한 물질을 검출하기가 힘들다.

삼중수소는 우주선과 대기 기체와의 상호 작용에 의해 자연적으로도 생긴다. 자연적인 생성에서 가장 중요한 반응은, 고속 중성자와 대기 질소와의 결합이다.

하지만 삼중수소는 비교적 짧은 반감기를 가지고 있으므로, 이러한 방식으로 생성된 삼중수소는 범지구적인 규모로 볼 때는 누적되는 수준은 아니며, 존재 정도는 무시할만 하다. 공학적으로, 삼중수소는 리튬-6를 이용하여 핵 반응로에서 만들 수 있다.

삼중수소는 중수 감속로에서 중수소가 중성자를 포획하면서 생성된다. 하지만 이 반응은 매우 낮은 반응 단면적을 지니고 있기 때문에, 매우 높은 중성자 선속을 지니는 반응로에서만 유용한 삼중수소 생성원으로 작용할 수 있다. 이 외에도 붕소-10이 중성자 포획을 거치면서 생성한다.

삼중수소는 핵융합 연구에서 중요한 물질인데 삼중수소가 중수소와 높은 반응 단면적을 보이고, 17.6 MeV라는 높은 에너지를 방출하기 때문이다. 이 반응식은 다음과 같다.
모든 원자핵은 양성자와 중성자로 구성되어 있으며, 양전하로 말미암아 서로를 밀어낸다. 하지만 태양 중심부에서와 같이 충분한 온도 및 압력을 지니고 있다면, 원자핵은 전자기 척력을 극복하고 강한 상호작용이 영향을 미칠 수 있을 정도로 가깝게 접근하고 융합할 수 있다. 삼중수소는 일반적인 수소와 같은 전하를 지니고 있기 때문에 동일한 전자기 척력을 보인다. 하지만 질량이 더 높으며, 이로 인해 전자기력에 덜 영향을 받고, 더욱 쉽게 핵융합을 일으키게 되는 것이다. 비록 보다 가벼워서 그 정도는 덜하기는 하더라도 중수소 역시도 보다 쉽게 핵융합을 일으키며, 이것이 갈색왜성에서 수소는 연소시키지 못하더라도 중수소는 연소시킬 수 있는 이유이다.

## 응용
삼중수소는 핵무기에서 핵융합을 통해 보다 높은 핵출력을 얻기 위해 사용된다. 하지만 삼중수소는 감쇠하며 저장해두기가 힘들기 때문에 많은 핵무기는 삼중수소 대신 리튬을 지니는데, 리튬은 폭발시에 높은 중성자 선속과 작용하여 삼중수소를 생성한다. 보다 자세한 사항은 핵무기 설계를 참조하기 바란다.

수소와 같이 삼중수소를 가두어 두는 것은 어렵다. 고무, 플라스틱, 기타 강철 계열은 삼중수소에 대해 어느 정도의 투과성이 있다. 그러므로, 만약 삼중수소가 핵융합로에서와 같이 대량으로 사용된다면 방사능 오염을 유발하게 된다.

대기 중에서의 핵실험은 의외로 해양학자들에게 유용한 점이 있다. 핵실험은 해수면의 삼중수소의 비율을 급격히 높이며, 이 수치는 시간이 흐름에 따라 해수가 얼마나 섞이는지를 판단하는 근거로 작용한다.

소량의 삼중수소로부터 방출되는 전자는 인이 빛나도록 하며, 이러한 원리는 비상구 표시나 시계등에 사용되는 스스로 빛을 발하는 트레이서라는 장치의 원리이다. 일부 국가에서는 빛나는 열쇠 고리를 만들기 위해서도 사용된다. 근래 동일한 방식으로 화기의 조준기를 만든 적도 있다. 원래 사용되던 라듐은 독성이 있어서 퇴출되었고, 그 자리를 삼중수소가 대신하게 되었다.

삼중수소화 된 티미딘은 세포 증식 분석에서 사용된다. 세포 분열 동안에 세포가 복제됨에 따라 뉴클레오사이드 분자는 DNA에 결합되게 된다. 여기서 세포 증식의 양을 판단하기 위해 액체 섬광 계측 기법이 사용된다.

## 역사
삼중수소는 1920년대 말 "나선형" 주기율표를 사용한 월터 러셀(Walter Russell)에 의해 처음으로 예측되었으며, 어니스트 러더퍼드가 마크 올리펀트(Mark Oliphant), 폴 하텍(Paul Harteck)과 함께 1934년 수소의 또 다른 동위 원소인 중수소를 변환해 제조하였다. 러더퍼드는 삼중수소를 분리할 수 없었으며, 루이스 알바레즈는 삼중수소가 방사능을 방출한다는 것을 추론해 내었다. W. F. 리비는 삼중수소를 이용하여 지질학적 표본 및 포도주 등의 연대 측정에 사용될 수 있다는 것을 증명했다.

## 대중 매체
삼중수소는 스파이더맨 2에서 등장한 적이 있으며, 뉴욕을 거의 파괴해버린 옥토퍼스 박사의 핵융합 반응의 원천이었다.

## 인체영향
인간에게 유전자 변이를 일으켜 사람이 사망에 이르게 한다.
**울산고속도로**는 울산광역시 울주군을 기점으로, 울산광역시 남구를 종점으로 하여 동서를 잇는 대한민국의 고속도로이다. 대한민국에서 경인고속도로와 경부고속도로에 이어 세 번째로 개통되었다.

1962년 울산이 특정공업지구로 지정된 이후, 대단위 공업단지가 조성되면서 이들 공업단지의 수송로 확보를 위하여 건설되었다. 건설 당시에는 '언양 - 울산간 유료 도로'라는 이름의 지방도였으며, 건설자금은 전액 한신부동산주식회사에서 출자하였다. 시공은 현대건설이 맡았으며, 1969년 6월부터 6개월 간의 공사 끝에 완공되었다.

개통 이후 지금까지 울산 외곽을 통과하는 경부고속도로와 울산 시가지 및 공업단지를 연결하는 산업고속도로의 역할을 하고 있다. 고속도로 관리는 한국도로공사 울산지사에서 담당하고 있다. 하루 4만 여대가 왕복하며, 화물운송 차량의 이용률이 특히 높다. 최근에는 울산시민들의 통행료 부담이 심각해지자, 통행료 폐지 논쟁이 벌어지고 있다.

## 교통량
2010년 기준의 교통량 정보에 따르면 14.3km 전 구간 기준으로 12시간에 31,963대, 24시간에 44,868대가 통과한다.

## 통행료 폐지 논쟁
울산고속도로는 총 연장이 매우 짧고 전 구간이 울산광역시내에 위치하고 있어, 이용객의 대부분이 울산시민들이다. 한편 통행료는 서울산 나들목에서 울산 요금소간 이용시 중형차 기준으로 1,600원을 징수하고 있으며, 이는 다른 고속도로에 비하여 높은 요금이다. 또한 건설 비용 회수율도 대한민국 최고 수준인 464%를 기록하고 있다. 이러한 배경에 따라, 울산고속도로를 이용하는 시민들의 통행료 부담이 지역사회의 문제가 되었다.

이에 울산광역시의회 등에서는 지속적으로 통행료 징수 폐지를 주장하였으며, 나아가서는 울산고속도로를 일반도로로 변경하고 운영권을 울산광역시로 이양할 것을 요구하였다.

## 기타

### 과거 언양 나들목 정체
2000년 서울산 나들목이 생기기 전, 언양의 고속도로 나들목은 언양 나들목이 유일했다. 그러나 이 언양 나들목은 평면교차식으로 울산에서 언양으로 가는 방향(경부고속도로 방면에서 울산 방면으로 U턴)의 차량과 언양에서 경부고속도로로 진입하려는 차량 간의 병목 현상이 심하고, 사고 위험이 높았다.
그러한 이유로 1997년 5월 삼남면 교동리 일대에 삼남 나들목(현 서울산 나들목)이 착공되어 2000년 9월 5일에 개통되었다.

지금은 언양의 고속도로 주 출입구가 서울산 나들목으로 이전되었기 때문에 이러한 병목 현상은 없다.
**평택제천고속도로**는 경기도 평택시를 기점으로, 충청북도 제천시를 종점으로 하여 동서를 잇는 대한민국의 고속도로이다. 2002년 12월 12일 서평택 분기점에서 서안성 나들목 구간이 개통된 것을 시작으로 구간별로 단계적으로 개통하여 잔여 구간인 동충주 나들목 - 제천 분기점 구간이 2015년 6월 30일에 완공하여 개통됨으로써 127.1km 전 구간이 개통되었다.
**전바오섬** 또는 **다만스키섬**은 우수리강에 있는 면적 0.74km, 길이 1,700m, 폭 500m의 작은 섬이다. 이 섬은 중국과 러시아 사이에 위치해 있으며, 중국 측 연안(沿岸)에서 200m, 러시아 측 연안에서 300m 떨어져 있다. 2011년에는 람사르 협약에 따른 습지로 등록되었다.

## 영토 문제
1860년 베이징 조약(北京條約)으로 우수리강이 청나라와 러시아 제국의 국경이 되면서 연해주(프리모르스키 지방)가 러시아 영토가 되었다. 그러나, 전바오섬과 같은 우수리강의 하중도(河中島)에 대한 영유권은 정해져 있지 않았고, 1960년대 중소 분쟁(中蘇紛爭)의 와중에 1969년 3월 중국 인민해방군과 소련군이 충돌한 **전바오섬 사건**(러시아명: 다만스키섬 사건)이 발생해 중소 국경 분쟁이 있었다.

이후에도 양국 모두 이 섬에 대한 영유권을 주장하다가, 1991년 5월 16일에 중국과 소련은 국경 협정을 체결해 이 섬이 중국의 영토라는 데에 합의하고 영토 문제를 해결하였다. 현재 이 섬은 중국 헤이룽장성(黑龍江省) 지시시 후린시(虎林市)에 속한다.
**니미츠급 항공모함**(Nimitz class aircraft carrier)은 미국 해군의 핵추진 항공모함으로서 현재 10척이 운용되고 있으며, 대략 70~100여기의 함재기를 탑재하고, 승무원은 대략 6,000여명이다. 1970년대부터 건조 및 취역이 이루어졌으며, 마지막 니미츠급 항공모함은 조지 W. 부시 호이다. 군함 기호는 CVN을 사용한다. 니미츠는 제2차 세계 대전의 태평양 전선을 승리로 이끈 체스터 니미츠 제독을 기리기 위해 붙인 이름으로 네임쉽의 함명이다.

## 니미츠급 항공모함의 목록
CVN-77을 마지막으로 니미츠급 항공모함은 단종되었고, 이후 미 해군은 함교에 최첨단 스텔스 기술을 적용시킨 제럴드 포드급 항모의 리드쉽 CVN-78을 2017년 7월 22일 취역시켰다. 함명은 USS 제럴드 R. 포드이다.
**프란츠 요제프 1세**는 오스트리아 제국(재위: 1848년 ~ 1867년) 및 오스트리아-헝가리 제국(재위: 1867년 ~ 1916년)의 황제이다. 보헤미아의 국왕 **프란티셰크 요세프 1세**, 헝가리와 크로아티아의 국왕 **페렌츠 요제프 1세**에 해당한다.

1866년까지는 독일의 군주였으나 프로이센의 빌헬름 1세에게 빼앗겼다. 준식민지로 영향력을 행사하던 세르비아인들과 갈등을 빚다가 1914년에는 세르비아를 침공, 제1차 세계 대전을 일으켰다. 항상 백발의 노장의 모습을 하고 있었다는 그는 68년의 재위 기간 동안 전제 군주로서의 책임을 훌륭하게 완수하였으며, 종이에 여유분이 없으면 공문서조차도 이면지로 사용할 정도로 근면 검소하였다.

## 생애
1848년 혁명으로 큰아버지인 페르디난트 1세가 퇴위함에 따라 18세의 젊은 나이에 즉위했다.
1849년 10월 러시아 군대의 도움을 받아 헝가리 혁명 세력을 진압하고 곧 북부 이탈리아의 영토를 회복할 때까지 전략적으로, 이전의 칙령 헌법을 보장하였다. 그러다가 1851년 안정을 되찾은 요제프 1세는 헌법을 파기하고 새로운 절대주의를 도입하였다.

## 교황과 정교협약
이 새로운 국가 절대주의를 후세 사람들은 이를 주도한 내무대신 바흐의 이름을 따서 바흐 절대주의라고 부르게 되었다.
바흐 절대주의는 혁명 이전의 메테르니히 절대주의보다도 더 일관성이 있었고, 더 체계적이었다. 수적으로 더 막강해진 군대에 의존했으며 도시 지역의 정규 경찰과 비밀 경찰 외에도 시골 지역에서 새로 생긴 기동경찰이 이 절대 권력을 떠받쳐 주고 있었다. 또한 로마 가톨릭 교회와 국가간에도 밀착하여 국가 절대주의에 커다란 힘이 되었다. 1855년 황제와 교황 비오 9세 간의 정교협약으로 국가의 가톨릭교회에 대한 간섭은 완전히 사라지고, 교회의 모든 일은 주교가 전담하게 되었다. 로마 가톨릭교회는 교육과 개인의 가정사에 대해서도 영향력을 행사할 수 있게 되었다. 그러나 이같은 국가와 로마 가톨리교회와의 유착은 향후 오스트리아와 체코의 가톨릭 교회에 적지 않은 문제들을 야기하였다.

1853년 2월 18일 산책을 하다가 헝가리인 혁명가의 칼에 찔릴 뻔 했으나 다행히 목숨은 구했고 이후 바이에른 공녀 엘리자베트와 결혼했다. 하지만 1866년 4월 프로이센과 이탈리아가 연합해 프로이센-오스트리아 전쟁이 발발하고 7월 3일 오스트리아군이 쾨니히그레츠 전투에서 괴멸함으로써 독일 내의 합스부르크 가의 영향력은 종결되고 오스트리아는 위기를 맞는다.

그리고 이 영향으로 의회가 탄생함에 따라 오스트리아의 전제정치도 종결되고 헝가리의 언드라시 줄러를 초대 수상으로 지명한 뒤 1867년 6월 8일 헝가리의 사도왕에 올라 이중 국가 오스트리아-헝가리 제국을 성립했다.

1866년에는 자신의 지지파들을 중심으로 결집한 빌헬름 1세에게 독일 연방의 왕이라는 직함을 양보하였다. 사실상 이름 뿐인 독일의 군주였으나 신성 로마 제국의 해체 이후에도 한동안 합스부르크 왕가에서 독일의 군주의 칭호를 유지하고 있었다. 1867년 국제박람회를 빈에서 개최하고 국정에 전념하다가 1889년 1월 29일 외아들인 황태자 루돌프와 애인 마리 베체라의 자살 사건으로 큰 충격을 받았다. 이후 조카 프란츠 페르디난트 대공을 추정상속자로 책봉하였으나 그도 1914년 사라예보 사건으로 그의 부인과 함께 암살당했다.

1898년 9월 10일 아내 엘리자베트마저 제네바에서 암살당했으며 1914년 사라예보 사건을 빌미로 직접 세르비아를 침공해 제1차 세계 대전을 일으켰다가 1916년 사망하였다.

사후 프란츠 대공의 뒤를 이은 종손 카를 대공이 추정 상속자로 책봉되어 황위를 계승했다.

## 가족
그는 가정에서는 불행하게 살았었다. 황후는 이종사촌인 엘리자베트 폰 외스터라이히웅가른 황후이며 슬하에 조피, 기젤라, 루돌프, 마리 발레리 등 1남 3녀를 두었다. 조피는 요절하였으며, 루돌프는 1889년에 변사했다.

황제의 동생인 막시밀리안은 프랑스 꼭두각시 정권의 멕시코 황제로 즉위했다가 프랑스군이 철군하면서 1867년 반군에게 처형당했다..
**움베르토 2세**는 이탈리아 왕국 사보이아 왕조의 마지막 국왕으로, 1946년 5월 9일부터 6월 12일까지 재위했다.

## 생애
1904년 9월 15일 사보이아 왕가의 라코니지(Racconigi) 별궁에서 이탈리아의 국왕 비토리오 에마누엘레 3세와 왕비 엘레나 사이에서 1남 4녀 중 셋째로 태어났다. 1946년 5월 9일 부왕의 퇴위로 국왕에 즉위했다.

## 군주제의 폐지
이탈리아를 입헌 군주제 국가로 유지하기 위해 노력했으나, 입헌 군주제는 국민투표에서 46%의 지지밖에 얻지 못하여 이탈리아에는 공화정이 수립되었다.

그는 1946년 6월 14일 이탈리아를 떠났다. 1946년에 제정된 이탈리아 공화국 헌법은 사보이아 왕가 출신 남자 자손들의 이탈리아 입국을 금지했다. 그래서 그는 죽을 때까지 이탈리아에 돌아가지 못하고 스위스 제네바에서 사망했다.

2002년에 이탈리아 헌법이 개정되면서 사보이아 왕가 출신 남자 자손들의 이탈리아 입국이 가능해졌다. 그의 아들 비토리오 에마누엘레는 2003년, 이탈리아 정부로부터 귀국 허락을 받아 귀국했다.

## 가족
움베르토는 벨기에의 공주 마리아 이오세와 결혼하여 1남 3녀를 두었다.
**타밀인**은 드라비다어족의 타밀어를 사용하는 드라비다계 민족이다. 가장 오래된 타밀 공동체들은 남인도와 스리랑카 동북부에 거주하였다. 또한 말레이시아와 싱가포르, 피지, 모리셔스와 남아프리카 공화국등지에 해외 이주 사회가 존재하며 근래에 들어서는 오스트레일리아, 캐나다와 유럽 등지로 이민한 이들도 있다.

타 민족과는 달리 타밀 민족은 단일 정치 주체를 이루지 못하였다. 타밀 민족의 땅인 타밀라캄은 항상 복수(複數)의 왕국 또는 국가의 통치하에 있었다. 그러나 타밀 문화 정체성은 상당히 강력하였다. 역사적으로 이러한 정체성은 주로 언어적이었으며 타밀어를 중심으로 했다. 근래에 들어서는 이러한 정의는 타밀 전통을 유지하나 언어를 사용하지 않는 해외 이주자들을 포함하는 것으로 넓어졌다.

타밀 민족은 남아시아의 타 드라비다인 민족들과 민족, 언어, 문화적으로 관련되어 있다. 전 세계적으로 7400만 명의 타밀족이 있다.
**단기 이양식 투표 제도**는 유권자가 출마한 후보 전원에 대해 선호 순위를 매겨 투표하는 제도의 하나이다.

## 명칭

### 용어의 혼선
단기 이양식 투표 제도라는 용어와 선호투표제라는 용어 간 의미의 혼선이 있다. 일부 문헌들은 두 용어를 동의어로 취급한다. 반면 상당수 문헌들은 선호투표 방식

한편 이 문서에서는 후자의 방식에 따라 기술하였다. 따라서 이하에서의 단기 이양식 투표 제도에 대한 설명은 중·대선거구처럼 2인 이상의 당선자를 선출하는 상황을 전제하고 있다. 반면 선호투표 방식이 소선거구처럼 1인의 당선자를 선출하는 경우에 사용될 때에 대해서는 선호투표제 문서에서 설명한다.

IDEA(International Institute for Democracy and Electoral Assistance) 등의 자료에서는 선호투표제는 유권자들이 투표하는 방식을 이르며, 단기 이양식 투표 제도는 선호투표제를 활용한 의석 배분 방식의 하나인 것으로 정리하고 있다. 즉, 투표시 유권자들이 후보들에 대한 선호 순위를 매겨 투표하는 선호투표제를 소선거구제와 결합시키는 것이 대안투표제, 혹은 즉석결선투표제이며 중·대선거구제와 결합시키는 것이 단기 이양식 투표 제도인 것이다. 이 문헌에서 선호투표제는 다수제의 한 종류이며 단기 이양식 투표 제도는 비례대표제의 한 종류인 것으로 나온다.

### 명칭에 담긴 뜻
단기 이양식 투표 제도에서 '단기'는 'single'의 번역으로 후보자들 중 1명을 선택해 투표한다는 뜻인데, 이는 (선호의 순위를 표시하지 않고) 여러 후보에게 기표하는 연기명 투표(連記名投票)와 개념상 구분하는 것이다. 단기 이양식 투표제도에서도 여러 후보에게 기표하는 것이 아닌가하고 오해할 수 있으나, 단기 이양식 투표제도는 후보자 1명을 선택해 기표하는 것이고, 다만 표 이양의 경우를 대비해 미리 차순위 선호 후보자를 적어두는 것 뿐이다.

한편 '이양'은 '선호이전'이라고 부르는 편이 대중들이 이해하기 쉽다는 의견이 있다.

## 역사
1821년 토마스 힐(Thomas Wright Hill)에 의해서 착상되었고, 1855년 칼 안드레(Carl Andræ)가 덴마크 의회선거를 위해 제안하여 1856년에 시행된 바 있다. 토마스 헤어가 1857년에 이 방식을 설명하고 제안하는 책을 출판한 이후, 주로 영어권 국가에서 활발하게 논의되고 시행되었다. 존 스튜어트 밀은 최고의 선거제도라고 칭찬했고, 월터 배저트(Walter Bagehot)는 군소후보의 당선가능성을 높이는 효과는 인정하면서도 바로 그 때문에 기득권 중심의 대의제가 너무 급하게 변할 것이라는 이유에서 반대하였다.

## 채택 국가
중앙 의회에서 이 방식을 채택한 경우는 아일랜드와 호주의 상원선거가 대표적이며, 몰타 의회 의원도 이 방식으로 선출된다. 그밖에 영국, 뉴질랜드, 미국 등의 일부 지방 선거에서 채택되어 시행된 사례가 있다.

## 방식
투표자는 투표용지에 각 후보자의 선호 순위를 표시한다. 예) 1순위: C, 2순위: A, 3순위: D, 4순위: B

입후보자 전원의 선호순위를 표시하는 것이 원칙적인 방식이나, 해당 선거구의 당선자 정원까지 순위를 표시하도록 하는 경우도 있다.

1. 당선자로 결정되기 위해 필요한 최소한의 득표수를 정한다.
2. 1순위 선호 표를 집계하여 쿼터 이상의 득표자를 당선자로 확정한다.
3. 당선자의 득표수에서 쿼터 수를 뺀 잉여표를 차순위 선호에 따라서 나머지 후보에게 이양하여 합산한다.
4. 해당 선거구의 당선 정원만큼 당선자가 결정되었으면 집계를 종료하고, 그렇지 않을 경우 3단계로 돌아간다.

## 장·단점
단기 이양식 투표 제도의 장단점은 여타의 중·대선거구제 선거 방식하고 비교할 때 명확히 드러날 수 있다. 

이를 위해 타 방식과의 차이를 간략히 설명하면 아래와 같다.

단기 이양식 투표 제도를 제외한 중·대선거구제에서의 선거 방식으로는 단기 비이양식 투표 제도에 의한 방법과 연기명 투표제도에 의한 방법이 있다. 

전자는 각각의 유권자는 1명의 후보자에게만 투표하고, 득표수 상위에서부터 해당 선거구 의석수만큼 당선자가 결정되는 방식이다. 

후자는 투표자가 투표용지에 해당 선거구의 의석수만큼 후보를 선택하여 기입하는 방식인데, 선택된 후보들간 선호 순위나 나머지 후보들에 선호 순위는 기입하지 않는다.

반면 단기 이양식 투표 제도에서는 기본적으로 1명의 후보자에게 투표하되, 표 이양을 대비해 나머지 후보들에 대해서도 그 선호 순위를 표시해 둔다. 

그리고 해당 표가 불필요한 표(잉여표) 내지 사표가 되었을 시, 다른 후보에게 이전된다.
**중성자탄**(中性子彈)은 핵무기의 일종으로 사무엘 코헨이 발명하였으며, 폭발로 발생하는 에너지의 상대적으로 많은 부분을 중성자 복사로 방출하도록 설계되었다.

## 개요
중성자 폭탄은 **강화 방사능 폭탄**으로도 불리며, 핵융합에 의해 생성된 자유 중성자가 폭탄 내부에서 흡수되는 것이 아니라 외부로 폭발적으로 방출되는 작은 열핵무기이다. X선 거울이나 폭탄의 외피가 크로뮴이나 니켈로 만들어져, 중성자가 무기 밖으로 빠져나올 수 있다.

이러한 고에너지 중성자의 고밀도 폭발은 중성자 폭탄의 주요한 파괴 방식이다.

"강화 방사능"이라는 용어는 폭발 순간에 방출되는 강력한 전리 복사를 의미하는 것이지, 낙진이 보다 강해졌다는 것을 의미하는 것은 아니다.

중성자 폭탄은 상당한 양의 삼중수소를 필요로 한다. 삼중수소는 12.32년이라는 상대적으로 짧은 반감기를 지닌다. 과거 미국이 지닌 중성자 폭탄은 W70 및 W79 설계의 변종이었다.

## 중성자 폭탄 전술
중성자 폭탄은 반-미사일 전략 무기나 기갑 부대에 대한 전술 무기로 사용될 수 있다.

반-미사일 전략 무기로서의 강화 방사능 무기는 미국의 미사일 기지를 소비에트 연방의 미사일로부터 보호하기 위해 설계되었다. 즉 강한 중성자를 이용해 탄두의 전자 부품을 고장내려는 목적이다.

전술 중성자 폭탄은 기갑 부대의 병사를 죽이기 위해 설계되었다. 기갑 부대는 핵무기의 폭발 및 열에 대해 극도로 강한 저항력을 지니고 있다. 그러므로 핵 무기의 탱크에 대한 효과적인 살상 범위는 전리 복사의 치명 범위에 의해 영향을 받게 되는데, 이러한 전리 복사조차도 장갑에 의해 감소되게 된다. 관통력이 뛰어난 치명적인 전리 복사를 엄청나게 방출하는 것을 통해 강화 방사능 무기는 기갑 부대에 대한 효과적인 살상력을 지니게 된다.

전리 복사를 대 병사 전술 무기로 사용하는 데 있어서의 하나의 문제는 대상을 즉각적으로 죽이는 방법에 관한 것이며, 이를 위해서는 치명 수준의 수 배에 달하는 방사선 조사량을 보여야 한다는 것이다. 6 그레이의 방사선 조사량은 일반적으로는 치명적이라고 생각된다. 그 정도의 조사량은 적어도 노출된 사람 중 반 수의 사람을 죽이지만, 적어도 몇 시간 동안은 노출 효과는 인지할 수 없는 수준이다. 중성자 폭탄은 즉각적이고 영원한 병력 손실을 가져오기 위해 80 그레이의 조사량을 주도록 설계된다. 1 kt의 강화 방사능 무기는 690 미터 떨어져 있는 T-72 탱크 승무원에게 80 그레이 수준의 조사량을 미칠 수 있는데, 이는 겨우 360 미터에 대해서만 동등한 효력을 미치는 핵분열 폭탄에 대해 상당히 높은 수치이다. "단순한" 6 그레이의 조사량에 대해서는 각각 1350 미터와 900 미터이다. 보호받지 않는 부대에 대한 전술 중성자 폭탄의 치명 범위는 폭발 및 열로 인한 치명 범위보다 더욱 넓다.

폭발시의 강력한 중성자 선속은 폭발 장소 주변의 환경에 단기간의 심각한 수준의 2차 방사능 오염을 유발한다. 탱크에 사용되는 합금은 24-48 시간 동안 위험한 수준의 방사능을 지니게 된다. 만약 1 킬로톤의 중성자 폭탄을 690 미터의 거리에서 겪은 탱크는 승무원이 그 즉시 사망하게 되는 것 이외에도, 만약 새로운 승무원이 탈 경우 그 승무원 역시 치명적인 조사량을 받게 된다.

일부 관계자는 중성자 에너지가 대기 중에서 매 500 미터 당 10분의 1로 급격히 감쇠하므로, 강화 방사능 무기는 단지 짧은 거리에만 효율적이라고 언급했다. 또한 강화 방사능 무기는 핵분열 에너지의 양 및 폭발 효과를 최소화 하도록 설계되는데, 이러한 이유는 중성자 폭탄이 아군에 가까운 장소에서 사용되도록 하기 위해서이다.

동일한 관계자는 사람만 죽이고 건물은 그대로 놔둔다는 중성자 폭탄에 관해 널리 알려진 인식은 매우 잘못 알려진 것이라고 하였다. 통상 효과 범위인 690 미터에서는, 1 킬로톤의 중성자 폭탄의 폭발은 거의 모든 민간 건물을 파괴할 것이다. 따라서 적의 공격을 막기 위해 적군을 완전히 덮어 버릴 정도의 많은 수의 중성자 폭탄을 사용하는 것은 해당 지역의 모든 건물 또한 파괴할 것이라는 것이다.

중성자 폭탄에 관한 다른 관점 및 전술 역시 존재한다. 중성자 폭탄의 발명자인 Samuel Cohen은 자신의 책에서 순수 중성자 폭탄의 효과 범위는 고도에 있어서 10 킬로미터를 넘는다고 서술하였다. Cohen은 냉전 동안 독일에 배치된 "강화 방사능" 무기는 적절한 폭발효과와 방사능 효과의 정치적인 타협이었다고 구체적으로 언급하였다. 그는 10 km 고도에서 폭발한 순수 중성자 폭탄은 지상에 1 킬로그레이의 방사능을 뿌린다고 언급하였다.

공기의 중성자 흡수 스펙트럼은 논쟁 대상이며, 수증기로부터 생성된 수소에 의한 흡수에 일부 의존한다고 알려져 있다. 그러므로 중성자 흡수율은 습도에 대해 기하 급수적으로 변하며, 고고도 중성자 폭탄은 습한 지역에 비해 사막 기후에 훨씬 더 치명적이라는 것이다. 이러한 효과 역시 고도에 따라서 변한다.

Cohen에 따르면, 중성자 폭탄을 사용하는 한가지 가능한 전술은 기갑 부대의 공격에 대해 방어 무기로 사용하는 것이다. 민간인은 핵 방공호로 대피하고, 폭탄은 기갑 부대의 10 킬로미터 상공에서 폭발한다는 것이다. 이후 도시의 나무 및 풀은 방사능에 의해 말라 죽게 되지만, 건물은 그대로이며, 이후 민간인이 나와서 다시 사용할 수 있다는 것이다. 물론 방사성 동위원소가 붕괴하기 위한 짧은 시간은 숨어 지내야 하지만 말이다. 그러한 중성자 폭탄은 매우 유력한 대 함대 무기이다. Cohen 연구의 주요한 후원자는 미 해군이다.

## 역사
중성자 폭탄은 로렌스 리버모어 국립 연구소에서 Samuel T. Cohen에 의해 발명되었으며, 1974년 미국 핵 병기고에 처음으로 도입되었다.
**프랑수아노엘 바뵈프**는 **그라쿠스 바뵈프**(Gracchus Babeuf)라고도 알려졌으며 프랑스의 혁명 시대의 혁명가이자, 프랑스 사회에서 경제, 문화, 사회 등을 포함한 전방위적이고 근본적인 대변혁의 필요성을 주장한 필진이었다. 그는 **민중의 사회** 사건(Societé des égaux)에 참여하였다. 1796년 5월 10일, 테르미도르의 반동을 주도했던 수구주의자들이 이끄는 정부에 의해 체포되었으며 1797년 2월 20일과 5월 26일에 재판을 받았고 단두대에서 처형되었다.

당대 "사회주의자"나 "공산주의자"라는 표현이 존재하지는 않았지만, 그의 토지 개혁 이론, 사회 변혁에 관한 주장은 공산주의적 사고의 맹아를 보여주고 있으며, 후대의 역사가들 또한 그를 초기 공산주의자라고 파악한다.
**라이시슴** 또는 **라이시테**는 프랑스와 프랑스어를 사용하는 몇 개국에서 널리 퍼져있는 정교 분리 사상의 일종이다. 한국어로는 'laïcité'의 정확한 번역이 불가능하다. 정치 이론인 라이시슴(lacism)과 세속주의(secularism)는 차이가 있다. 라이시슴은 정교분리를 함에 있어서 종교의 자유는 보장하되 종교는 개인적 영역에만 존재하고, 정치나 사회 등 공적 영역에서 종교적 색채를 엄격하고도 철저하게 배제, 분리하는 것이 목적인 반면, 세속주의는 인간의 삶 속에서 종교를 완전히 배제하는 것으로 초자연적 현상이나 사후세계 등을 인정하지 않는 것을 말한다. 라이시슴은 일명 프랑스식 정교분리, 반성직주의, 반교권주의라고 할 수 있다. 라이시슴을 관행하거나 지지하는 사람은 라이시스트라고 한다.

1905년 정교분리법이 공포되었으며 예를 들자면, 차도르를 걸치고 거리를 활보한다거나 공공장소에서 찬송가를 부르는 행위는 모두 불법행위로 간주된다. 이런 것 때문에 간혹 라이시테(laïcité)와 톨레랑스가 충돌을 일으키기도 한다.

## 내용
현재 라이시테는 정부에서 종교의 자유를 주되, 종교에 대한 어떠한 특별 협조를 부여하지 않는 것을 뜻한다. 종교에 관한 행위는 법에 의하자면 다른 행위와 동일하게 여겨지며, 특별 대우를 받지 못한다. 또, 정부는 종교에 관한 공식 입장을 갖지 아니하며, 종교인들은 그들의 성직자로써의 신분이 아닌, 비종교인과 같이 주변에 가져다주는 영향을 바탕으로 법을 적용한다.

프랑스 정부는 법에 의하면 종교 자체를 인정하지 못한다. 단, 종교 단체는 인정을 하며, 종교 단체는 다음의 조건을 충족해야 한다:.

모든 프랑스의 주류 종교는 라이시테를 받아들이고 있다. 예외라면 프랑스의 전통적인 교회인 가톨릭이 국교로 권위를 복귀하는 것을 원하는 왕정주의자나, 종교법이 공법보다 중요하다고 주장하는 이슬람교인들이 있다.

라이시테 그 자체는 정부의 종교를 향한 적의를 뜻하지는 않는다. 오히려 정치와 종교는 분리해야 된다는 철학이다. 이것은 정부는 종교로 인해 해를 입지 않기 위해, 그리고 종교나 종교 단체는 정치로 인한 피해를 줄이기 위해 생긴것이다.

프랑스의 정치인들은 종교와 관련된 말은 꺼리는 편이다. 불법은 아니지만, 공개적으로 본인들의 정치는 종교와 상관이 있다고는 원칙적으로 말하지 않는다. 프랑스 시민의 다수는 종교를 지극히 개인적인 것으로 여기며, 공무원들에게는 종교나 정치에 대해서는 중립적 시각을 갖기를 권한다.

이 단어는 프랑스의 헌법의 아주 중요한 요소로 꼽히며, 프랑스 헌법 제1항에는 "프랑스 공화국은 비종교적인 국가"라고 나와있다.  많은 사람들 또한, 종교에 대해 어느 정도 비밀을 갖추고 있는 것을 프랑스인으로서 필수라고 본다. 라이시테와 관한 가장 최근의 논란은 학교에서의 종교적 옷이나 보석류의 착용을 금하는 법이 제정된 것이었는데, 이 때문에 정부에 대한 종교인들의 시선이 악화되기도 했다.
**생성문법** 또는 **변형생성문법**은 통사론의 여러 이론 중 하나이다. 이는 형식언어의 접근법을 통사론 연구에 적용한 것으로 노암 촘스키에 의해 시작되었으며 형식문법 이론의 영향을 받았다. 생성문법은 자연어의 이미 만들어진 표현들을 계속적으로 "만들어내는"(specify or generate) 일종의 규칙들의 집합이다.

생성문법은 1950년대 말에 노엄 촘스키가 창안하였다. 초기에 이 이론은 변형문법(Transformational Grammar)이라고 불리었고, 지금도 촘스키의 학설에 한해 변형문법으로 통칭되는 경우가 있다. 현재 생성문법이라는 명칭은 여러 대립하는 학설의 총칭으로 쓰이고 있다. 촘스키의 현재 학설은 최소주의(Minimalism)라고 불린다. 그 외에 핵중심구구조문법(Head-drive Phrase Structure Grammar), 어휘기능문법(Lexical Functional Grammar), 범주문법(Categorial Grammar), 관계문법(Relational Grammar), 연결문법(Link Grammar), 수형접합문법(Tree-Adjoining Grammar) 등이 흔히 거론되는 생성문법의 주요 학설이다.

촘스키는 생성문법의 주요 구성요소들이 "내재적" 보편문법의 구성요소라고 주장한다. 생성문법가들은 대부분 문법의 여러 속성들이 의사소통의 편의나 언어 습득 환경과 무관하게 인간이 생득적으로 가지고 있는 인지능력이라고 생각한다. 이러한 관점은 인지문법이나 기능주의 및 행동주의 언어학의 관점과는 대립되는 것이다.

생성문법가들은 문장이 정문 아니면 비문의 두 가지로 양분될 수 있다고 생각한다. 그리하여 생성문법의 규칙들은 어떤 문장이 정문인지 아닌지를 예측하고 판별하는 알고리듬을 제공하는 것을 목표로 하게 된다. 이러한 입장은 문법성을 연속적인 범주로 파악하는 추계문법가(Stochastic Grammarian)들의 생각과 크게 대립된다. 다만 브레즈넌 등의 일부 생성문법가는 추계적 접근법을 사용한 연구를 시도하기도 한다.

## 이론 틀
생성문법의 테두리 안에는 여러 다양한 이론 틀이 존재한다. 이들은 일정 수의 규칙 혹은 원리의 집합으로 자연언어의 모든 적격한 문장을 산출하는 것을 목표로 한다는 공통점이 있다. 생성문법이라는 개념 안에는 대체로 다음과 같은 학설들이 포함된다.

### 생성문법의 역사적 변천
생성문법론은 1950년대 후반부터 연구가 시작되었으며 규칙과 표시법에 많은 변화를 겪었다.

#### 표준 이론(1957-1965)
표준 이론이란 촘스키(1965)가 제안한 모형을 가리킨다.
표준 이론에서는 문장의 표시 층위를 심층 구조와 표층 구조로 양분하였다. 심층 구조의 문장은 변형 규칙에 따라 표층 구조의 문장으로 도출된다.

#### 확대 표준 이론(1965-1973)
확대 표준 이론에서는 다음과 같은 개념들이 사용되었다.

#### 수정 확대 표준 이론(1973-1976)
수정 확대 표준 이론에서는 다음과 같은 개념들이 사용되었다.

#### 관계 문법(1975-1990)
관계문법은 촘스키주의 이론에 대항하여 주어, 직접목적어, 간접목적어 등의 문법관계를 핵심적인 개념으로 사용하여 연구된 문법이다.

#### 일반화구구조문법(1978-1987)
일반화구구조문법은 촘스키주의 이론에 대항하여 변형규칙 없이 구구조규칙만으로 모든 적격한 문장이 산출 가능하다는 가설에 입각하여 연구된 문법이다.

#### 지배 결속 이론(1981-1990)
지배 결속 이론은 수정 확대 표준 이론의 후신으로 방만하게 제안되었던 규칙의 수를 정리하고 한정된 수의 하위 부문으로 최대한 많은 문법현상을 설명하고자 하는 시도였다. 지배 결속 이론의 하위 부문들은 다음과 같다.

#### 어휘기능문법(1982-현재)
어휘기능문법은 촘스키주의를 벗어나 성분구조에 모든 문법기능을 반영하여 해석하는 관점 대신 문법기능구조(f-structure)와 성분구조(c-structure)를 서로 다른 층위에서 바라보는 관점을 채택한 문법이다.

#### 핵중심구구조문법(1987-현재)
핵중심구구조문법은 일반화구구조문법의 후신으로 어휘부(lexicon)와 구문(construction)의 기능을 더욱 강조하게 된 것이 특징이다.

#### 최소주의 프로그램(1990-현재)
최소주의 프로그램은 지배 결속 이론의 후신으로 완벽성(perfection)과 경제성(economy)을 문법 기술의 목표로 하는 문법 기술 시도이다. 여기서는 지배 결속 이론의 개념들이 다음과 같이 수정되었다.
수리논리학에서 **증명 이론**은 증명을 형식적인 수학적 개체로 표상하여 수학적 기법으로 이용하여 증명을 객관적으로 분석하는 이론이다.

증명은 귀납적으로 정의된 자료구조로 표현되는데, 이는 어떠한 이론체계의 공리와 추론 규칙에 따라 구성된다. 즉 모형이론에 의미론적 성질이 있는 데 대조적으로 증명 이론에는 구문론적 성질이 있다. 모형 이론, 집합론, 재귀 이론과 함께 증명 이론은 수학기초론의 4대 기둥이라고도 불린다.

## 역사
초기의 수리논리학을 발전시킨 고틀로프 프레게, 주세페 페아노, 버트런드 러셀, 리하르트 데데킨트 등의 논리학자들의 연구가 증명 이론의 성립의 바탕이 되었으며, 이후 수학의 형식화 방안을 모색한 다비트 힐베르트의 힐베르트 프로그램(Hilbert's program)이 현대 증명 이론의 효시가 되었다고 평가받는다. 쿠르트 괴델이 발표한 완전성 정리가 1차 논리의 완전성을 보이면서 모든 수학을 1가지의 유한적 형식 체계로 환원하려는 힐베르트의 목적에 희망을 주는 듯 하였으나, 이후 발표된 불완전성 정리에 의해 산술 체계로부터 나온 공리계의 무모순성을 증명할 수 없음이 증명되면서 힐베르트의 목적은 불가능한 것으로 판명되었다. 이들 연구는 힐베르트 체계(Hilbert system)이라는 증명계산 상에서 이루어졌다.

힐베르트 프로그램의 흥망과 병행하여 구조적 증명 이론(structural proof theory)의 기초도 세워지고 있었는데, 1926년 얀 우카시에비치(Jan Łukasiewicz)가 논리의 추론 규칙에 따라 전제로부터 결론을 도출하는 것을 허용한다면 힐베르트 체계를 논리의 공리적 방식의 기초로써 발전시킬 수 있으리라고 제안하였고, 이에 스타니스와프 야시코프스키(Stanisław Jaśkowski)와 게르하르트 겐첸(Gerhard Gentzen)은 독자적으로 자연 연역의 계산법을 제시하였다. 특히 겐첸은 자연 연역과 시퀀트 계산의 핵심부분을 형식화하여 직관 논리의 형식화의 기반을 쌓고 페아노 산술의 일관성에 대한 첫 조합적 증명(combinatorial proof)을 완성했다. 자연 연역과 시퀀트 계산의 등장은 증명 이론의 해석적 증명(analytic proof)의 기초적 개념을 제시한 것이기도 하다.

## 구조적 증명 이론
구조적 증명 이론은 증명 이론의 가장 고전적인 분야로, 특히 형식적 증명(formal proof)을 나타내는 증명 계산(proof calculus)의 구조에 관해 연구한다. 증명 계산의 가장 잘 알려진 세 가지 예시는 다음과 같다:

이들 각각은 고전적이든 직관적이든 간에 명제논리나 술어논리를 비롯하여 양상 논리 등 많은 논리체계들을 완전하고 공리적으로 형식화할 수 있다.

커리-하워드 대응을 통해 직관주의적인 증명 연산은 계산적인 유형 이론과 연관지어진다.

## 순서수 분석
순서수 분석은 이론에 순서수(주로 큰 가산 순서수)를 부여하여 그 강도(strength)를 측정하는 증명론적 기법으로, 이를 통해 산술이나 집합론의 일관성을 조합적으로 증명할 수 있다. 이때 특정되는 순서수를 증명론적 순서수(proof-theoretic ordinal)이라 한다. 예를 들어 페아노 공리계의 증명론적 순서수는 이다. 순서수 분석은 게르하르트 겐첸이 초한귀납법을 통해 페아노 공리계의 무모순성을 증명하는 과정에서 개발해낸 것으로, 이후 다양한 형식 체계에 적용되었다.

재귀적으로 공리화된 이론 T가 있을 때, 특정 초한 순서수의 정초성(well-foundedness)이 T의 무모순성을 함의한다는 것을 유한한 산술체계 내에서 증명할 수 있다. 즉 순서수 분석 이론에서는 괴델의 제2불가능성 정리를 이론 T 내에서 그 이론을 증명할 순서수의 정초성이 증명될 수 없음을 뜻하는 것이라고 해석할 수 있다.

순서수 분석을 통해서 다음과 같은 결과들을 이끌어 낼 수 있다:

이러한 순서수 분석은 상당히 강력한 기법으로, 같은 증명론적 순서수를 가진 이론은 서로 등무모순적인 경우가 많으며, 더 높은 증명론적 순서수를 가진 이론으로부터 더 낮은 증명론적 순서수를 가진 이론의 무모순성을 증명할 수 있다.

## 증명가능성 논리
증명가능성 논리는 양상 논리의 일종으로, 양상 연산자 가 "~가 증명가능하다"는 의미를 담는 논리이다. 양상논리의 일반 공리계 K에 뢰프의 정리(Löb's theorem)를 변형하여 추가한 GL(Gödel-Löb) 공리계를 바탕으로 삼는다.(추론 규칙으로는 Modus ponens와 Necessitation이 있다)

뢰프의 정리는 페아노 공리계 또는 그 확장 형식 체계 내에서 A의 증명가능성이 A를 암시한다는 것이 증명가능하면 A도 증명가능하다는 정리로, 증명론에서 중요한 진술이다.

## 역수학
역수학은 수학의 정리들을 증명하기 위해 어떤 공리가 필요한가를 추적하는 증명이론의 한 분야이다. 정리로부터 역으로 공리로 거슬러올라가는 꼴이기 때문에 역수학(逆數學)으로 불리게 되었다. 기술적 집합론(descriptive set theory)과 밀접한 연관이 있다.

역수학은 주로 모든 대상을 자연수나 자연수의 집합으로 표현할 수 있는 2차 산술(second-order arithmetic) 체계 내에서 전개된다. 또한 이렇게 표현된 식의 복잡성은 Post's theorem이 암시하는 바와 같이 계산 가능성과도 연관성이 있으며, 따라서 산술적 위계와 그 확장인 해석적 위계(analytical hierarchy)는 역수학을 비롯한 증명 이론에 있어서 중요한 개념이 된다.

스티븐 심슨(Stephen G. Simpson)은 역수학에서 일반적으로 나타나는 2차 산술의 하위체계 5개를 특정하기에 이르렀다. 이들은 Big Five라고도 불리며 증명론적 순서수가 작은 것부터 정렬하면 RCA가 있다. 이들 각각은 구성주의, 유한주의 등 수학적 입장을 나타내고 있는 것으로, 수리철학적 입장에 따라 어떠한 공리들을 받아들일 것인가를 분별할 중요한 기준이 될 수 있어 현대 기초론 분야에서 활발히 연구되고 있다.
**IHÉS**는 프랑스에 위치한 수학 및 이론 물리학 연구소이다. 파리의 남쪽 교외의 위성 도시인 뷔르쉬르이베트에 있다. 미국 프린스턴에 위치한 프린스턴 고등연구소와 더불어 세계의 수학, 이론 물리학계를 이끌어 가는 양대 산맥 중 하나이다.

## 역사
IHÉS는 1958년, 물리학자 로버트 오펜하이머(Robert Oppenheimer)와 수학자 장 디외도네(Jean Dieudonné)의 도움을 받아 수학자이자 사업가인 레옹 모샨(Léon Motchane)에 의해서 설립하였다. IHÉS의 연구 체계는 로버트 오펜하이머가 고안하였다. 오펜하이머는 차후, 프린스턴 IAS의 연구소장이 되었다. IHÉS의 초창기 10년은 필즈 메달을 수상한 수학자 알렉산더 그로텐디크의 개성과 혁명적인 이론들의 배경이 되었다. 그 외에 또 다른 필즈 메달 수상자인 르네 톰이나 데니스 설리번 등도 중요한 역할을 했다.

IHÉS의 역대 연구소장은 다음과 같다.

IHÉS에 머물렀거나 혹은 현재 종신 교수인 일류 수학자들의 일부는 다음과 같다.

## 연구 체계 및 분야
수학과 이론 물리학에서의 세계 최고의 학자들을 모아 학문 발달을 촉진함을 그 목표로 한다. 몇명의 종신 교수들이 있고, 해마다 전 세계에서 약 200명 정도의 방문 학자들이 이 연구소에 머문다. 방문 학자들의 방문 기간은 평균 3개월 정도이다. 그 외에, 이 연구소에는 약간 수의 장기 방문 학자들이 있다. 이곳에서의 연구는, 연구 계약에 의해서 이루어지지 않는다. IHÉS는 각각의 학자들이 자신의 연구를 알아서 하도록 환경을 조성해 주는 역할만을 할 뿐이다. 종신 교수들에게도, 1년에 6개월은 이 연구소에 있어야 한다는 조건 이외에는 다른 어떠한 조건도 있지 않아, 자유로운 연구가 가능하다.

이 밖에도, IHÉS는 세계 최상급의 수학 저널인 Publications Mathématiques de l'IHÉS를 편집하는 곳이기도 하다.