hotchpotch/wikipedia-multilingual-ir-related-paragraph-pairs huggingface dataset:
락박스
Section: 특징

Rockboy 게임보이 에뮬레이터 (Gnuboy 프로젝트)

Doom (PrBoom 엔진 프로젝트)

WAV -> MP3 인코더

WAV -> WavPack 인코더

MPEG-1/MPEG-2 비디오 플레이어

스도쿠, 카드놀이, 지뢰찾기, 퐁(PONG), 체스 (chessbox), 팩박스(팩맨 플러그인, Pacbox) 등의 기타 다양한 게임 포함

디지털 저작권 관리 - 앞으로도 지원하지 않을 예정
락박스
Section: 지원하는 기기

X5/X5L

X5V

M5/M5L

M3/M3L

D2(정식지원X)

아이팟 1세대

아이팟 2세대

아이팟 3세대

아이팟 4세대 (흑백)

아이팟 4세대 (컬러/포토)

아이팟 5세대/5.5세대 (비디오)

Ondio SP

H100 시리즈 (H100/H110/H115/H120/H140, 별칭 iHP-100/110/115/120/140)

H300 시리즈 (H320/H340)

H10 시리즈 (H10 5GB/6GB/20GB)
RFC 1149

RFC 1149는 장난으로 작성된 RFC의 일종이다. 주 내용은 전서구(傳書鳩, 비둘기)를 이용하여 인터넷 프로토콜에서의 전송을 구현하는 것이다. D. Waitzman이 1990년 만우절에 작성하여 공표하였으며, 만우절 RFC의 하나이다.

제안자인 Waitzman은 1999년 만우절에 보다 개선된 프로토콜을 RFC 2549(IP over Avian Carriers with Quality of Service)에서 제안하였다.
미쓰케시
Section: 지리

동부는 구릉 지대이고 서부는 평야부를 이루고 있다. 시내에는 산이라고 할 수 있을 만큼 높은 곳은 없고 최고 지점도 해발 300m 정도밖에 안된다. 또 북부에는 논밭이 형성되어 시 면적의 50% 정도를 논밭이 차지하고 있다.

니가타현의 거의 중심부에 위치하고 도쿄 도심에서 약 300km, 니가타시 중심부에서 약 50km 거리에 있다. 가리야타강이 시의 중심을 남북으로 나누듯이 흐르고 하류에서는 나가오카시와의 경계선의 역할을 하며 시의 밖에서 시나노강에 합류한다.
미쓰케시
Section: 역사

1889년 - 시정촌제의 시행과 함께 미나미칸바라군 미쓰케정이 성립하였다.

1954년 3월 31일 - 미나미칸바라군 니가타촌·구즈마키촌, 고시군 가미키타다니촌의 일부를 편입함과 동시에 시로 승격해 미쓰케시가 되었다.

1956년 9월 30일 - 미나미칸바라군 이마정을 편입하였다.

2004년 7월 13일 - 집중호우로 인해 시내를 흐르는 가리야타강이 6곳에서 제방이 무너져 홍수가 났다.

2004년 10월 23일 - 니가타현 주에쓰 지진이 발생했고 시내에서는 진도 5가 관측되었다.
수지 김 사건
Section: 재조사

이 사건을 최초로 조사한 사람은 〈신동아〉 이정훈 기자였다. 1995년 한 언론사 선배에게 이 사건의 전모를 귀띔받고 취재를 시작하였으나, 당시 근무하던 〈주간조선〉(1995년)과 〈시사저널〉(1998년)에서 편집부의 반대로 기사화하지 못했다. 결국 사건의 전모가 2000년 1월 주간동아에 처음으로 보도되었고 SBS 《그것이 알고 싶다》 2000년 2월 12일자 방송에서 심층적으로 다뤄졌다. 그렇지만 취재 사실을 눈치챈 윤태식은 법원에 방송 금지 가처분 신청을 냈고, 그 결과 일부 내용을 삭제한채 방영하라는 판결이 나와 실제 방송분에서는 윤태식의 이름이 문○○으로 가려졌고, 1987년 당시 신문을 내보낸 장면에서도 이름 및 사진 등이 가려진 채로 방영되었다.

이 방송을 우연히 알고 시청하게 된 김옥분의 유족들은 월북미수 및 간첩 조작과는 별개로 살인 혐의로 처벌을 받은 것으로 알고 있던 윤태식이 버젓이 벤처 사업가로 활동하고 있다는 사실을 알게 되자 분노하여 2000년 3월 9일 윤태식을 고소했다. 이후 대한민국 국가정보원의 방해 공작 등으로 인해 수사가 지지부진했으나 2001년 5월 윤태식으로부터 1987년 당시 국가안전기획부에서 있었던 일을 담당 검사가 진술받아 국가안전기획부의 은폐가 있었다는 정황이 포착되었고, 마침내 공소시효를 50일 남겨둔 2001년 11월 13일 윤태식은 살인 혐의로 구속되었다. 그리고 11월 24일 SBS에서는 《그것이 알고 싶다》를 통해 2000년 2월 당시 방송되지 못한 부분을 포함하여 수지 김 사건의 전모를 상세하게 다뤘다.
수지 김 사건
Section: 사건 개요

김옥분은 1952년 충청북도 충주에서 1남 6녀 중에서 셋째이자 둘째 딸로 태어났다. 가난한 집안에서 태어나 초등학교를 졸업하고 서울로 올라와서 실질적인 가장 노릇을 했다. 미8군에서 일하면서 일본인 관광객들을 상대하다가 홍콩 사람과 결혼하여 홍콩에서 살았다. 홍콩의 남편과 이혼한 후에 일본의 한국계 술집에서 일하다가 또 다른 홍콩 사람과 잠시 결혼을 하기도 했으나 결국 이혼했다. '수지 김'은 대한민국 밖에서 사용한 김옥분의 가명이었으며, 홍콩이나 일본 국적을 취득한 것은 아니었다. 이후 홍콩에서 대한민국 기업체 주재원이었던 한국인 윤태식을 만났고 1986년에 결혼했다.

1958년생인 윤태식은 1986년 초 비디오 제작 및 유통 업체에 임시직으로 취직하고 홍콩에서 비디오 판권을 얻어 국내에 유통시킬것을 제안하여 홍콩으로 발령받았다. 중학교 1학년 중퇴학력에 방위병으로 병역을 마쳤음에도, "육사를 졸업하고 대위로 예편한 뒤 홍콩에서 학사 학위를 받았다"는 거짓말을 해왔다. 1986년 가을에 김옥분과 혼인 신고를 하였으나 1987년 1월 3일 홍콩의 아파트에서 부부 싸움 끝에 아내 김옥분을 목졸라 살해하고 주검을 침대 밑에 숨기고 이틀 뒤 싱가포르 주재 조선민주주의인민공화국 대사관을 찾아가 망명하려고 했다. 그러나 조선민주주의인민공화국 대사관에서 미지근한 반응을 보이자 미국 대사관을 찾아갔고, 결국에는 대한민국 대사관으로 보내졌다. 대한민국 대사관에서 윤태식은 "북한의 공작원에게 납치되었다가 탈출했으며, 아내는 북한의 간첩이었다"고 주장했다.
수지 김 사건
Section: 조작 및 은폐

1987년 1월 26일, 악취가 난다는 이웃집의 신고로 홍콩 경찰이 김옥분의 아파트를 수색했고 결국 침대 밑에서 시체 김옥분의 주검을 발견했다. 홍콩 언론은 "수지 김은 북조선 간첩이 아니다"라고 정정보도를 했으나 대한민국에는 이 소식이 제대로 전달되지 않았다. 이후 홍콩 경찰은 남편 윤태식이 김옥분을 살해했을 것이라 추정하고 홍콩으로 불러서 조사하려 했으나 대한민국 외무부는 이에 응하지 않았다. 한편, 싱가포르 주재 조선민주주의인민공화국 대사관이 윤태식은 자진해서 대사관에 왔을 뿐 납치기도는 없었다고 주장하자, 싱가포르 주재 대한민국 대사관도 납북미수는 사실이라고 반박하기도 했다.

지금까지는 반공, 반공해도 그 의미를 몰랐으나 우리가 왜 반공을 해야하는지를 절실하게 깨닫게 됐다.— 윤태식의 귀국 인터뷰

윤태식은 곧바로 국가안전기획부 남산분실로 연행되어 엄중히 추궁을 받았으며, 결국 자신이 부인을 살해하였고 처벌을 피하기 위해 자진 월북하려 했다고 자백했다. 그러나 국가안전기획부는 윤태식이 이와 관련해서 함부로 발설하지 말도록 했으며, 1991년부터는 대한민국 밖에 나가지 못하도록 출국금지를 시키기도 했다.
스텔스 기술

스텔스는 적의 레이더로부터 아군의 무기 체계를 완전히 숨겨주는 것은 아니다. 그러나 레이더 상에서 실제보다 훨씬 축소시켜 나타난다. 니미츠급 항공모함을 KD-2급 구축함 정도 크기로 보여주는 것이다.

스텔스 기술(영어: stealth technology) 또는 저시인성 기술(영어: low observable technology)은 '레이더, 적외선 탐지기, 음향 탐지기 및 육안에 의한 탐지를 포함한 모든 탐지 기능에 대항하는 은폐 기술'이다.
스텔스 기술
Section: 역사

1958년에 미국 중앙정보국(CIA)은 기존의 U-2를 대체할 정찰 비행기를 위한 자금을 요청했으며, Lockheed은 이를 생산할 권리를 확보했다. Kelly Johnson과 Lockheed의 Skunk Works 팀은 A-12 (또는 OXCART)를 생산하기로 했으며, 이 비행기는 레이더 탐지를 피하기 위해 70,000~80,000피트의 고도와 Mach 3.2의 속도로 운용되었다. 이전 프로토타입에서 레이더 탐지를 줄이기 위해 설계된 다양한 비행기 형태가 개발되었다. A-1부터 A-11까지의 이름을 가진 이들 프로토타입 중, A-12는 배기 연기의 신호를 줄이기 위한 특수 연료, 수직 안정기, 복합 재료의 사용, 그리고 전체적으로 레이더 흡수 페인트로 마감된 스텔스 기능을 포함했다.

1956년, CIA는 U-2의 레이더 반사 면적(RCS)을 줄이기 위한 시도를 시작했다. 이를 위해 Trapeze, PCB 회로가 내장된 커버링 재료, 그리고 레이더 흡수 페인트와 같은 세 가지 시스템이 개발되었다. 이들은 "더러운 새(dirty birds)"라고 불리는 비행기에 적용되었으나 탐지율을 줄이는 데 도움이 되지 않았다. 스텔스 비행기를 위한 카모플라주 페인트를 적용한 것이 더 성공적이었고 진한 파란색이 가장 효과적이라고 판명되었다. 이러한 페인트의 무게로 최대 고도가 250피트 감소했지만, 초음포격기가 눈에 띄지 않게 만들었다.
스텔스 기술
Section: 기술

레이더는 강한 전자기파를 송신하고 반사되는 전파를 검출하여 표적을 인지하는데 이를 회피하기 위해 일차적으로 표면을 전자파 흡수재료로 도포한다. 현실적으로 완벽한 흡수가 불가능하기 때문에 기체의 형상을 조절하여 전파의 입사방향으로의 반사량을 최대화한다. 이를 위해 형상설계시 컴퓨터를 이용한 복잡한 전자기장 수치해석을 수행하게 되는데 스텔스기의 독특한 형상이 이 때문인 것으로 알려져있다.

적외선 탐지기는 주변배경과 표적의 온도차를 검출하므로 엔진, 배기가스 등의 단열, 냉각으로 노출을 최소화한다.

해상 시스템에서 음향 탐지를 회피하기 위해 함정이나 잠수함 내에서 발생하는 소음을 억제하는 기술과 상대방이 쏜 음파를 흡수 또는 굴절시키는 기술 등이 있다.
므첸스크

1147년에 므첸스크는 체르니히우 공국의 일부에 속해 있다. 원래는 미첸스크(Мьченск)였다. 1320년에는 리투아니아의 영토로 들어가다가 16세기부터는 러시아의 영토로 들어갔다. 1778년에는 도시로 등록되었다.

므첸스크(러시아어: Мценск)는 러시아의 도시이다. 오룔주에 위치해 있고 주샤강(오카강의 지류)에 접해 있다. 오룔에서 북동쪽으로 49 km지점에 위치해 있고, 모스크바-심페로폴 고속도로 지점에 위치해 있다. 인구는 4만 7,807명(2002년); 2만 8,000명(1970년)이다.
태권동자 마루치 아라치
Section: 제작진

원작: 민병훈, 김진희, 민병권 (언급되지 않음)

제작: 김삼용

기획: 김일환

총지휘: 박용우

제작담당: 김방남

촬영감독: 조민철

촬영: 조복동

촬영보: 임철규

구성: 김일남

원화: 홍형선

동화: 성호경, 이효영 (이호영 명의), 한헌명, 김석상

선화: 백순례, 임효순

채화: 박일경, 노연숙, 이경숙, 이명숙, 신순옥, 이상희

배경: 오응환

배경보: 최재신
이바노보

이바노보(러시아어: Ива́ново)는 러시아 이바노보주의 주도이다. 인구는 431,721명 (2002년)이다. 1932년까지는 이바노보보즈네센스크(Ива́ново-Вознесе́нск)라고 불렸다.

이바노보는 러시아 직물의 중심지로 불렸다. 대부분의 직물 기술자가 여자였다. 때로는 "자수의 도시"라고도 불렸다. 이 도시에서 프랑스 작가인 나탈리 사로트(Nathalie Sarraute)가 태어났다.
후지카와구치코정
Section: 개요

후지산 북서쪽에 위치하며 후지 5호라고 불리는 5개 호수 가운데 가와구치호(河口湖), 사이호(西湖), 쇼지호(精進湖), 모토스호(本栖湖) 등 4개 호수가 후지카와구치코정에 속한다. 쇼지호와 모토스호는 가미쿠이시키촌 남부 지역의 편입에 따라 후지카와구치코정에 속하게 된 것이다.

2003년 11월 15일에 가와구치코정(河口湖町)과 가쓰야마촌(勝山村), 아시와다촌(足和田村)이 통합하여 인구 2만여 명의 자치단체로 탄생했다. 2006년 3월 1일에는 인접하는 가미쿠이시키촌(上九一色村)의 남부 지역이 편입됐다.
칼루가

중세시대에는 보로틴스키 왕자가 칼루가를 세웠다. 현재 보로틴스키 왕자의 집이 칼루가에서 남서쪽에 있다.

칼루가는 모스크바와는 철도에 의해 연결되어 있고, 고대에는 차도로 연결되었는데 칼루가 도로라고 불렸다. 칼루가에서 가장 유명한 사람은 두 번째 가짜 드미트리와 콘스탄틴 치올콥스키이다.

칼루가(러시아어: Калу́га, 문화어: 깔루가)는 러시아 칼루가주의 주도이다. 오카강에 면해 있다. 모스크바에서 남서쪽으로 188 km 지점에 있다. 인구는 32만 9,673명(2024년)이다.
토르데시야스 조약
Section: 그 밖의 조약들

과라니 전쟁(Guarani War) 이후, 스페인과 포르투갈은 엘파르도 조약(1761년)을 체결하면서 1750년에 성사되었던 마드리드 조약을 폐기하였다. 최종적으로 양국간에 남미지역에 대한 국경은 1777년 제1차 산일데폰소 조약을 통하여 결정되었는데, 이때 스페인은 우루과이 강 동쪽의 영토를, 포르투갈이 아마존 분지의 영토를 획득하였다.

1750년 1월 13일, 포르투갈의 주앙 5세와 스페인의 페르난도 6세는 마드리드 조약을 체결하며, 그간 다시 발생하였던 양국간에 영토분쟁을 마무리 지었다. 이 조약을 통하여 양국은 브라질과 스페인령 아메리카 사이의 국경을 결정하고 필리핀 지역에 대한 분쟁도 정리하였다. 스페인은 필리핀에 대한 영유권을 인정받았고, 포르투갈은 아마존 강 유역의 영토를 얻었다. 포르투갈은 오늘날에 우루과이 영토에 해당하는 플라타 강 북쪽 둑에 있는 새크라멘토 식민지를 포기하고, 7개의 영토를 얻었다.
토르데시야스 조약

경계선은 카보베르데섬 서쪽 서경 46도 지점을 기준으로 남북 방향으로 그린 일직선이다. 카보 베르데스 제도에서 370레구아 떨어진 곳에서 그은 선을 기준으로하여 동쪽으로는 모두 포르투갈이, 서쪽 지역은 스페인이 차지하기로 하였다. 포르투갈은 이 조약으로 인해 인도산 후추를 독점할 수 있게 됐다는 점에서 유리하였다. 또한 오늘날 남미 대륙에서 브라질만이 유일하게 포르투갈어를 공용어로 사용하게 된 것도 이 조약으로 인한 것이다.

토르데시야스 조약(스페인어: Tratado de Tordesillas, 포르투갈어: Tratado de Tordesilhas, 영어: Treaty of Tordesillas)은 스페인과 포르투갈간의 유럽 대륙외 지역에 대한 영토 분쟁을 해결하기 위해 1494년 6월 7일 스페인의 토르데시야스에서 맺은 조약이다. 대서양 및 태평양 상에 새로운 분계선을 정한 기하학적 영토 분할 조약이며, 영토 분쟁을 평화롭게 마무리 지은 몇 안 되는 사례 중 하나다.
토르데시야스 조약
Section: 사라고사 조약

물리적인 충돌도 있었으나 양국은 원만히 해결하고자 했다. 1525년에 포르투갈 주앙 3세와 스페인 카를로스 1세의 막내 여동생 카타리나와 결혼을 하였고, 1526년에 카를로스 1세는 주앙 3세의 누이 이사벨과 혼인을 하면서 화해 분위기가 조성되었다. 스페인은 외교적 문제와 말루쿠 제도에 파견에 드는 비용과 관리의 어려움 등이 있었다. 당시 스페인은 남미 대륙에 대한 탐험과 정복전과 이탈리아와 오스트리아 등에서 전쟁으로 많은 군비가 필요하기도 했다. 양국은 협상을 통해 1529년 4월 22일에 사라고사 조약을 체결하였다.

사라고사 조약은 말루쿠 제도의 동쪽 297.5 리그를 통과하는 자오선을 두 번째 경계로 했다. 이 위치적으로는 부루섬의 동쪽 1425km, 동경 144도 30 분 거리에 위치해 있다. 이 자오선은 뉴기니섬 중앙부를 통과한다. 포르투갈은 이 조약을 통해 말루쿠 제도에 대한 독점적 지위를 인정받는 대신 스페인에게 35만 듀카트를 배상금으로 지급하였다. 이에 따라 포르투갈의 마카오의 권익이 승인되었다. 스페인은 호주 전역에 대한 우선권을 획득했지만, 포르투갈에 의한 조사를 금지한 흔적은 없다. 필리핀은 자오선의 서쪽인데 이 조약에서 스페인령이되었다.
비금속

다음은 비금속에 속하는 원소들이다. 수소는 1족임에 주의하라.

기본적으로 수소, 탄소, 질소, 산소, 플루오린, 네온, 인, 황, 염소, 아르곤, 셀레늄, 브로민, 크립톤, 아이오딘, 제논, 라돈을 비금속으로 분류한다.

금속 원소가 80여 종류가 되는 데 반해 비금속은 12 종류밖에 되지 않는다. 그러나 비금속은 지구, 특히 지각을 구성하는 주성분이다. 생물의 몸은 대부분 비금속 원소로 이루어져 있다.
전이후 금속
Section: 적용 가능한 원소

이들은 전기 음성도 값과 녹는점의 함께 있는 그래프에서 오른쪽 아래에 볼 수 있다. 범주의 경계는 인접한 범주(일반적으로 분류 체계에서 발생하는 것처럼)와 속성이 일부 겹치기 때문에 반드시 명확하지는 않다.

전이후 금속은 주기율표에서 왼쪽에 있는 전이 금속과 오른쪽에 있는 화학적으로 약한 비금속 준금속 또는 비금속 사이에 있다. 일반적으로 이 범주에 포함되는 금속은 4~6주기의 13~16족 금속인 갈륨, 인듐 및 탈륨, 주석, 납, 비스무트, 폴로늄, 3주기의 13족 금속인 알루미늄이 있다.
전이후 금속

화학적으로는 공유 결합 경향, 산-염기 양쪽성 및 알루미늄, 주석, 비스무트의 경우 각각 알루미네이트, 스탄네이트, 비스무테이트와 같은 음이온 종의 형성으로 다양한 정도로 특징지어진다. 또한 친전자성이 매우 높은 금속과 친전자성이 중간 정도인 금속 또는 준금속 사이에 형성되는 반금속 화합물인 친텔 상을 형성할 수도 있다.

물리적으로 이 금속은 부드럽고(또는 부서지기 쉬우며), 기계적 강도가 약하고, 일반적으로 전이 금속보다 녹는점이 낮다. 금속-비금속 경계에 가깝기 때문에 이들의 결정 구조는 일반적으로 다른 금속 원소보다 더 복잡하거나 가장 가까운 이웃이 적어 공유 또는 방향성 결합 효과를 보이는 경향이 있다.
전이후 금속
Section: 별칭 및 관련 계열

메타 금속은 아연, 카드뮴, 수은, 인듐, 탈륨, 주석, 납이다. 이들은 연성이 있는 원소이지만, 왼쪽에 있는 주기율표의 금속 이웃에 비해 녹는점이 낮고, 전기 및 열 전도도가 상대적으로 낮으며, 빽빽하게 채워진 형태에서 왜곡을 보인다. 때때로 베릴륨과 갈륨은 낮은 연성에도 불구하고 메타 금속으로 포함된다.

아브리코소프(Abrikosov 1988, p. 31)는 내부 껍질이 채워지지 않은 일반 금속과 전이 금속을 구별한다. 일반 금속은 전이 금속보다 녹는점과 응집 에너지가 낮다. 그레이(Gray 2009, p. 9)는 알루미늄, 갈륨, 인듐, 탈륨, 니호늄, 주석, 납, 플레로븀, 비스무트, 모스코븀, 리버모륨을 일반 금속으로 식별한다. 그는 "실제로 사람들이 일반 금속이라고 생각하는 대부분의 금속은 사실 전이 금속이다..."라고 덧붙인다.
유한양행
Section: 슬로건

올해도 변함없이 건강소식을 전해드리겠습니다 (1981년)

버들표 유한양행 (1981년 ~ 1989년)

버들표는 약효를 보증합니다 (1981년 ~ 1982년)

버들표는 품질을 보증합니다 (1981년)

행복과 건강을 누리소서… (1982년)

쉰 일곱해의 새아침. 유한의 결의를 새롭게 다짐합니다. (1983년)

아울러 부상자 여러분의 조속한 쾌유를 기원합니다. (1983년 ~ 1984년)
유한양행
Section: 연혁

1941년 유한무역공사 설립

1942년 본사를 경기도 소사공장으로 이전

1962년 대방동 사옥 준공/ 제약업계 최초 주식 상장

1962년 11월 증권거래소에 주식을 상장하였다.

1967년 미국 SK&F(영국 헤일리온)社 기술제휴 12시간지속 종합감기약 콘택600(현,콘택골드) 출시

1967년 유한양행 동물의약품 수입허가 및 판매개시

1968년 모범납세업체로 동탑산업훈장을 수훈
유한양행
Section: 제품

1974년 5월 미국 Schering (미국 MSD)사가 개발한 피부병 전문 치료제 쎄레스톤지크림 출시되었다.

1976년 미국 SK&F(영국 글락소스미스클라인)사 개발한 위십이지장궤양 치료제 타가메트 영국에서 출시되었다.1979년 미국 SK&F(현,영국 GSK)사 기술제휴로 위십이지장궤양 치료제 타가메트 한국에서 출시되었다.2000년 의약 분업 제도 도입 이후에, 전문의약품으로 처방전이 있어야 구매가능하다.

1984년 5월 스페인 Laboratorios Almirall(현,Almirall Prodesfamar)사 기술제휴로 알마게이트 성분에 액체위장약 알마겔현탁액 출시되었다. 현재 지금은 유한양행 자체생산 및 판매 중이다. 2016년 액체위장약 알마겔에프 스틱형 포장 재출시되었다.
무한 원숭이 정리
Section: 직접 증명

셰익스피어의 희곡은 14편이고, 한 책은 약 400페이지라고 하고, 한 페이지당 약 3600개의 문자가 있으므로 셰익스피어 희곡 전체의 글자는 약 20,160,000자가 된다.

위의 공식에 따라 원숭이 한 마리가 70개의 문자 중 하나를 무작위로 골라 20,160,000자의 희곡을 입력할 가능성은 에 불과하다. 이는  정도로 매우 희박한 가능성이나, 역시 원숭이가 늘어난다면 가능성은 100%에 가깝게 늘어난다.

위의 증명법에 따라 진짜로 원숭이가 셰익스피어의 희곡을 칠 확률을 알아보자.

일단 셰익스피어의 희곡에 나올 만한 글자들을 모두 모아보면, 알파벳 대·소문자, 숫자, 큰 따옴표(“ ”), 작은 따옴표(‘ ’), 마침표(.), 쉼표(,), 물음표(?), 느낌표(!) 등으로 모두 70자이다.
무한 원숭이 정리
Section: 무한 원숭이 프로토콜 스위트

RFC 2795 무한 원숭이 프로토콜 스위트(The Infinite Monkey Protocol Suite)는 장난으로 만들어진 RFC의 일종으로 무한 원숭이 프로토콜에 관련된 것이다. 주 내용은 무한 수의 원숭이를 사용하여 윌리엄 셰익스피어의 희곡이나 멋진 텔레비전 쇼가 만들어졌는지를 검증하는 프로토콜을 제안하는 것이다. RFC 2795는 2000년 4월 1일 만우절에 S. Christey가 제안하였으며, 만우절 RFC의 일종이다.

RFC 2795는 무한 수의 원숭이를 관리해 주는 ZOO(Zone Operations Organizations, 지역 작업 기구)를 비롯한 통신 및 제어 프로토콜을 정의하고 있다. 하지만 모든 제안은 말장난인데, 일례로 ZOO는 영어로 동물원을 뜻하고, 동물원은 실제로 원숭이를 사육하는 장소이다. RFC 2795는 RFC 1149와는 달리 실제로 구현된 적이 없으며, 무한 수의 원숭이 혹은 영생을 누리는 원숭이 어느 것도 가능하지 않기 때문에 앞으로의 구현 역시 요원해 보인다.
무한 원숭이 정리

1970년 이후로, 위의 설명 대신 무한이라는 개념을 혼용한 설명이 사용되었다. 즉 무한 원숭이가 무한 시간 타자를 친다면 주어진 문서를 쳐 낸다는 것이다. 하지만, 원숭이 수와 시간의 두 개 모두 무한을 가정하는 것은 별 효용성이 없다. 불사의 한 원숭이가 무한히 타자를 친다면 언젠가는 주어진 문서를 만들 수 있을 것이며, 또한 무한한 수의 원숭이가 단 한 번씩만 타자를 친다면, 그 순간 모든 문서가 만들어질 것이기 때문이다. 사실 더 엄밀히 말한다면, 두 경우 모두 모든 종류의 문서가 만들어질 가능성이 ‘거의 확실하다’고 하는 것이 옳다(무한 원숭이가 모두 똑같은 문자만 누른다면, 결과는 한 문자로만 이루어진 문자열일 것이기 때문이다).

이를 처음으로 생각한 사람은 프랑스 수학자 에밀 보렐(Émile Borel)로, 1913년 논문인 〈Mécanique Statistique et Irréversibilité〉에 실렸다. 여기서 ‘원숭이’란 실제의 원숭이를 뜻하는 것은 아니다. 대신, 아주 긴 임의의 문자로 이루어진 문자열을 만들어 내는 방식을 좀 더 상상하기 쉽도록 만들어 주는 도구이다. 보렐은 백만 마리의 원숭이가 매일 10시간씩 타자를 친다고 해서, 거대한 도서관에 있는 모든 책을 정확히 만들어 낼 수 있을 것 같지는 않다고 언급했다. 하지만 그렇다고 해서, 이른바 ‘확률’이라는 법칙이 깨어지지는 않으리라고 반론하였다(즉 발생할 수도 있다는 것이다.). 보렐이 원숭이라는 것을 언급한 이유는 극히 일어나기 힘든 사건을 상상하게 하기 위한 도구였다.
광물
Section: 정의

일부 저자는 물질이 실온 (25°C)에서 안정하거나 준안정 고체여야 한다고 요구한다. 그러나 IMA는 물질이 그 구조와 조성이 잘 결정될 수 있을 만큼 충분히 안정해야 한다고만 요구한다. 예를 들어, IMA는 메리디아나이트(황산 마그네슘의 자연 발생 수화물)를 광물로 인정하지만, 이는 2°C 이하에서만 형성되고 안정하다.

2025년 5월 현재, 6,145개의 광물종이 IMA에 의해 승인되었다. 이들은 대부분 사람의 이름을 따서 명명되었으며, 그 다음은 발견 위치이다. 화학 조성 또는 물리적 특성에 기반한 이름은 광물 이름 어원학의 다른 두 가지 주요 그룹이다. 대부분의 이름은 "-ite"로 끝난다. 예외는 광물학이 학문으로 체계화되기 전에 잘 정립된 이름들이다. 예를 들어 방연석과 다이아몬드이다.
광물
Section: 우주생물학

생물성 광물은 외계생명체의 중요한 지표가 될 수 있으며, 따라서 과거 또는 현재의 화성의 생명체 탐색에서 중요한 역할을 할 수 있다고 제안되었다. 또한, 생물성 광물과 자주 관련된 유기 구성 요소(생체 지문)는 전생물적 및 생물적 반응 모두에서 중요한 역할을 하는 것으로 여겨진다.

2014년 1월, NASA는 큐리오시티와 오퍼튜니티 로버가 화성에서 독립영양생물, 화학영양생물 및 화학무기영양생물 미생물에 기반한 생물권을 포함한 고대 생명체의 증거와, 고대 강 또는 호수와 관련된 평야와 같이 거주 가능했을 수 있는 고대 물의 증거를 찾을 것이라고 보고했다. 화성 행성에서의 거주 가능성, 타포노미(화석과 관련), 그리고 유기 탄소의 증거를 찾는 것이 NASA의 주요 목표가 되었다.
광물
Section: 분류

다른 정규 규산염에는 지르콘, 십자석, 황옥이 있다. 지르콘 (ZrSiO4)은 U6+가 Zr4+를 대체할 수 있어 지질 연대 측정에 유용하다. 또한, 매우 강한 구조 때문에 연대계를 재설정하기 어렵다. 십자석은 흔한 변성 중급 지시 광물이다. 특히 복잡한 결정 구조를 가지고 있으며, 1986년에야 완전히 설명되었다. 전기석과 관련하여 화강암 페그마타이트에서 흔히 발견되는 황옥 (Al2SiO4(F, OH)2)은 흔한 보석 광물이다.

소로실리케이트의 다른 예로는 로손아이트, 청편암 상(저온 고압의 섭입대 환경)에서 형성되는 변성 광물, 그리고 화학 구조에 상당량의 칼슘을 포함하는 베수비아나이트가 있다.

정규 규산염은 다른 양이온에 의해 전하 균형을 이루는 고립된 사면체로 구성된다. 네소규산염이라고도 불리는 이 유형의 규산염은 규소:산소 비율이 1:4 (예: SiO4)이다. 전형적인 정규 규산염은 덩어리진 등축 결정을 형성하는 경향이 있으며, 상당히 단단하다. 여러 암석 형성 광물이 이 하위 분류에 속하며, 알루미노실리케이트, 감람석 그룹, 석류석 그룹 등이 있다.
만우절 RFC
Section: 다른 장난 RFC

1985년 12월 1일 RFC 968 - Twas the night before start-up. Vint Cerf.

1995년 12월 RFC 1882 - The 12-Days of Technology Before Christmas. B. Hancock.

1972년 1월 21일 RFC 439 - PARRY encounters the DOCTOR. V. Cerf.

1973년 6월 22일 RFC 527 - ARPAWOCKY. R. Merryman, University of California, San Diego.
수어

음성 언어를 배우며 자라는 아기가 옹알이를 통해 발음 연습을 하는 것처럼, 수어를 보고 자라는 아기는 손짓으로 수어 연습을 한다. 음성언어의 옹알이보다 수어의 손짓이 더 일찍 관찰된다. 이와 같이 수어도 음성 언어와 비슷한 점이 많다.

음성 언어의 의미는 음소를 통해 표현되며 음소마다 조음점, 조음 방법 등의 자질이 있는 것처럼, 수어언어의 의미는 동작을 통해 표현되며 동작마다 손의 모양, 손바닥의 방향, 손의 위치, 손의 움직임, 얼굴 표정 등의 자질의 조합을 볼 수 있다. 수어로 된 단어가 없는 단어는 지문자로 표현한다. 숫자는 지숫자로 표현한다.
수어
Section: 언어학적 분석

19세기에 프랑스의 오귀스트 베비앙은 수어를 자연어로 보고, 수어 단어를 분석 가능한 합성체로 인식하였다. 그러나 수어를 비언어적인 것으로 보는 관점이 세계를 지배하면서, 언어학적 관점에서의 수어 연구는 지속되었음에도 잘 알려지지 못하였다. 이후 1960년에 미국의 윌리엄 스토키는 미국 수어가 음성 언어에 대한 부차적인 체계가 아니라 음성 언어와 마찬가지로 독립적인 언어임을 수어 단어의 내부 구조를 분석함으로써 입증하였다.

수어의 음소는 수형, 수위, 수동, 수향, 비수지 신호로 분류한다.

수형은 수어 단어를 구성하는 손의 모양이다. 수위나 수동 등 다른 음소는 같은 수어 단어가 수형만으로 대립되는 경우, 손가락의 선택, 손가락의 자세, 손가락의 내부 수동으로 대립된다. 하나의 수어에서 매우 높은 빈도로 나타나고 여러 수어에서 공통으로 발견되는 수형을 무표 수형이라고 한다. 빈도가 높은 수형을 고빈도 수형이라고 하고, 빈도가 낮은 수형을 저빈도 수형이라고 한다.
RFC

RFC 편집자는 매 RFC 문서에 일련 번호를 부여한다. 일단 일련 번호를 부여 받고 출판되면, RFC는 절대 폐지되거나 수정되지 않는다. 만약 어떤 RFC 문서가 수정이 필요하다면, 저자는 수정된 문서를 다른 RFC 문서로 다시 출판해야 한다. 그러므로, 일부 RFC는 이전 버전의 RFC를 개선한 문서이며, 이전 버전의 RFC를 무효화하기도 한다. 이러한 덮어쓰는 방식을 통해, 번호 순으로 나열된 일련의 RFC는 인터넷 표준의 역사를 나타내기도 한다.

인터넷 협회(Internet Society)에서 기술자 및 컴퓨터 과학자들은 RFC 메모의 형태로 생각을 출판하게 되며, 이러한 출판의 목적은 자신의 새로운 생각 및 정보에 대해 전문가 비평을 바라는 것, 혹은 그러한 생각을 단순히 전달하는 것이다. 때로는 공학적인 유머를 위해서이기도 하다(만우절 RFC 참조). 인터넷국제표준화기구(IETF)는 일부 RFC를 인터넷 표준으로 받아들이기도 한다.
점자
Section: 국제적인 통일성

이 통합 점자는 인도와 아프리카 언어, 아랍어, 베트남어, 히브리어, 러시아어, 아르메니아어뿐만 아니라 거의 모든 라틴 문자 언어에 적용되었다. 예를 들어 그리스어에서 γ (g)는 c의 알파벳 위치를 가짐에도 불구하고 라틴어 g로 쓰인다. 히브리어 ב (b)는 알파벳의 두 번째 문자이며 라틴 문자 b와 동계어인데, 때로는 /b/로, 때로는 /v/로 발음되며 그에 따라 b 또는 v로 쓰인다. 러시아어 ц (ts)는 라틴 문자를 사용하는 슬라브어파에서 /ts/에 대한 일반적인 문자인 c로 쓰인다. 아랍어 ف (f)는 역사적으로 p였으며 아랍어 알파벳의 해당 부분(역사적 o와 q 사이)에 있음에도 불구하고 f로 쓰인다.

점자가 프랑스어 이외의 언어에 처음 적용되었을 때, 고유 알파벳을 프랑스어 알파벳 순서에 매핑하는 방식(예: 영어에서 당시 프랑스어 알파벳에 없던 W는 점자 X에, X는 Y에, Y는 Z에, Z는 첫 번째 프랑스어 악센트 문자에 매핑됨)이나, 흔한 문자가 가장 간단한 점자 패턴으로 표현되도록 알파벳을 완전히 재배열하는 방식 등 여러 방식이 채택되었다. 결과적으로 이러한 상황으로 인해 상호 이해 가능성이 크게 저해되었다. 1878년 파리에서 열린 국제 시각장애인 작업 회의에서는 국제 점자 표준을 제안했는데, 이는 특정 알파벳의 순서가 아니라 음성적 대응 및 라틴어 전사에 기반하여 다른 언어와 문자에 대한 점자 코드를 만들도록 하는 것이었다.
점자
Section: 점자 전사

영어 점자의 축약 시스템은 단일 문자로 축약된 23개의 단어 집합으로 시작한다. 따라서 'but'은 단일 문자 b로, 'can'은 c로, 'do'는 d 등으로 축약된다. 이 간단한 규칙조차도 특별한 경우를 필요로 하는 문제를 생성한다. 예를 들어, d는 특히 동사 'do'의 약어이다. 음계의 음을 나타내는 명사 'do'는 다른 단어이므로 모두 써야 한다.

단어의 일부는 축약될 수 있으며, 이 과정을 규정하는 많은 규칙이 있다. 예를 들어, 2-3-5번 점(점자 셀에서 낮춰진 "f" 문자)을 가진 문자는 단어 중간에 사용될 때 "ff"를 나타낸다. 단어 시작 부분에서는 이 동일한 문자가 "to"라는 단어를 나타낸다. 이 문자는 뒤에 공백 없이 점자로 쓰인다. (이 축약은 통합 영어 점자 코드에서 제거되었다.) 단어 끝에서는 동일한 문자가 느낌표를 나타낸다.
점자
Section: 기타 점자 규칙

새로운 점자 매핑 시스템에는 한글과 같은 방식으로 점자 셀을 음절 그룹으로 명시적으로 그룹화하는 한국어가 포함되어, 자음의 음절 초성 및 음절 종성 형태를 분리하여 채택한다. 한편, 일본어는 독립적인 모음 점 패턴과 수정 자음 점 패턴을 단일 점자 셀로 결합한다. 이는 각 일본어 모라의 아부기다 표현이다.

점자 패턴에 값을 할당하는 다른 시스템들도 간단한 알파벳 순서를 원래 프랑스어 순서에 매핑하는 것 외에도 따른다. 일부 점자 알파벳은 통합 점자로 시작한 다음 대상 언어의 음운론에 따라 상당히 달라지기도 하고, 다른 것들은 훨씬 더 많이 달라지기도 한다.
안영학
Section: 선수 경력

2010년 일본 J리그의 오미야 아르디자로 이적, 2011년부터 가시와 레이솔로 완전이적하다가 2012년 시즌 종료 이후에 퇴단, 2013년에 소속 팀이 없어 휴양하였고, 2014년부터 요코하마 FC로 이적하였다. 이후 요코하마에서 2016시즌까지 활약했으며 이후 현역에서 은퇴했다.

2008년 안정환과의 맞트레이드로 수원 삼성 블루윙즈로 이적하였으나, 출전 기회를 잡지 못하여 다른 팀으로의 이적설이 나오기도 하였다. 하지만 2009년 안영학은 수원 삼성 블루윙즈에 잔류할 것을 선언하였고, 6월 28일 울산 현대와의 리그 13라운드 경기와 8월 1일 FC 서울과의 리그 18라운드 경기에서 골을 기록하는 등 좋은 모습을 보여 주었다. 하지만 시즌 도중 가시와 레이솔로의 임대 이적설이 나오기도 하였으며,
안영학
Section: 그 외

안영학은 2004년 일본의 한 축구 전문지에서 'J리그 전반기 베스트 11'에 선정되기도 하였으며, 2004년 7월 조선민주주의인민공화국으로부터 '공훈체육인' 칭호를 수여받았다. 2009년 6월 17일 사우디아라비아와의 2010년 FIFA 월드컵 예선 마지막 경기를 앞두고는 김정일의 친서를 받기도 하였으며, 2009년 12월 22일 조선민주주의인민공화국으로부터 '인민체육인' 칭호를 수여받았다.

그는 2005년 2월 9일 일본과의 2006년 FIFA 월드컵 예선 당시 국가대표팀 동료들과 함께 자신의 모교인 도쿄 조선중고급학교를 방문하기도 하였으며, 2006년 부산 아이파크로 이적한 뒤 2월 28일 경남정보대학 오리엔테이션에 참가하였다. 2010년 5월 19일 정대세, 량용기와 함께 일본 도쿄도에서 열린 재일본조선인총연합회 환송 행사 참석하기도 하였다.
아디다스 팀가이스트
Section: 월드컵 공식 경기구

결승전에는 특수 공인구인 +팀가이스트 베를린이 사용되었다. 팀가이스트 베를린은 기존의 팀가이스트와 같은 디자인을 사용했지만 표면을 금색, 흑색, 백색으로 강조한 것이 특징이다. 결승전에 진출한 프랑스, 이탈리아 대표팀에게는 연습용 결승전 공인구가 20개씩 지급되었다.

2006년 FIFA 월드컵 본선에 진출한 32개국 연맹에게는 연습용 축구공 40개가 지급되었다. 2006년 FIFA 월드컵 본선에 사용된 축구공에는 경기장명, 경기에 출전하는 두 국가명, 경기 개시 시간이 새겨졌고, 보호 코팅이 씌워졌다.
기유각서

이 조약 사건으로 말미암아 대한제국 순종 황제의 실권이 대한제국 조선 주재 일본 통감부 통감 소네 아라스케(曾禰荒助)에 의해 전격 박탈되었다. 임진왜란의 사후 처리를 위해 조선과 일본의 에도 막부(江戶幕府)가 1609년에 체결한 기유약조와는 다른 조약이다.

〈대한제국 사법 및 감옥사무 위탁에 관한 각서〉(大韓帝國司法및監獄事務委託에關한覺書) 통칭 기유각서(己酉覺書)는 융희 3년(1909년) 7월 12일, 대한제국과 일본 제국 사이에 체결된 조약으로, 대한제국의 사법권과 감옥사무(교도행정)에 관한 업무를 일본에게 넘겨준다는 내용을 담고 있는 조약이다.
FIFA 월드컵 공식 경기구

1970년 월드컵 대회부터 공식 경기구가 사용되고 있으며 독일의 아디다스가 독점 공급사이다.

2010년 남아공 월드컵에서는 오직 월드컵 결승전만을 위해 특수 제작한 결승전 공식 경기구 '조블라니'가 사용되었다. 월드컵 결승전에만 사용하기 위해 만든 최초의 공식 경기구는 2006년 독일 월드컵 결승에서 사용된 '팀가이스트 베를린'이었다.

월드컵 공식 경기구가 없었던 1930년 FIFA 월드컵 결승전에서 아르헨티나와 우루과이가 서로 자기나라의 공을 쓰자고 우겨서 전반전에는 아르헨티나의 공(Tiento)을 차고, 후반전에는 우루과이의 공(T-model)을 사용하기로 한 해프닝이 있었다. 이에 따라 1970년부터 FIFA에서는 월드컵에 공식 경기구를 도입하기로 했고, 텔스타를 공식 경기구로 채택했다.
빔펠 R-33
Section: 개발

R-33은 1972년부터 미그에 의해 개발이 시작되었다. MiG-31에 탑재된다. 이 미사일의 목표물은 미국의 SR-71정찰기, B-1, B-52폭격기였다. 1981년에 실전배치되었다. 미 해군의 AIM-54 피닉스와 성능이 비슷하다.

R-33은 세미 액티브 레이다 호밍방식 채택하여 초기의 목표물 획득과 중간코스 수정에 사용한다. 내부 항법장치를 통해 장거리의 목표물에 접근한다. 마지막으로 액티브 레이다를 사용해서 종말유도를 한다.
빔펠 R-33
Section: 제원 (R-33 / R-37)

길이: (R-33) 4.15 m (13 ft 7 in); (R-37) 4.2 m (13 ft 9 in)

날개폭: (R-33) 1.16 m (3 ft 8 in); (R-37) 0.7 m (2 ft 4 in)

직경: 380 mm (16 in)

발사 무게: (R-33) 490 kg (1,080 lb); (R-37) 600 kg (1,320 lb)

속도: 마하 4.5

거리: (R-33) 160 km (100 mi); (R-37) 400km (175 mi)
미코얀 MiG-31
Section: 제원(MiG-31)

공대지 미사일
킨잘 미사일 1발, 사거리 2000 km, 마하 10
Kh-31P, 사거리 110 km, 마하 3.5
Kh-58 대레이다 미사일 4발, 사거리 260 km, 마하 3.6

공대공 미사일
빔펠 R-33(AA-9 아모스) 장거리 4발
빔펠 R-77(AA-12 애더, 암람스키), 중거리 4발
비스노바트 R-40(AA-6 'Acrid') 중거리 2발
빔펠 R-73(AA-11 아처) 단거리 4발
빔펠 R-60(AA-8 아피드) 단거리 4발
미코얀 MiG-31
Section: 언론보도

2009년 3월 초, 미국 국방정보국(DIA)의 마이클 메이플스 국장(육군 중장)이 미 상원 군사위원회 청문회에 출석해, 가까운 시일에 시리아가 미그-31E와 미그-29M을 도입할 것이라고 말했다.

2010년 5월, 인텔코리아(대표 이희성)가 아시아태평양 지역 10개국에서 각각 1명씩 선발해 1주일간 러시아 탐방을 비롯, 미그-31에 직접 탑승해 성층권에서 14시간 비행체험을 하는 여행권을 제공했다. 한국에서는 온게임넷 김창선 해설 위원이 선정되었다.
최상기
Section: 출연 작품

울트라맨(MBC)

도전자 허리케인(MBC)

내일은 야구왕(MBC)

발리언트(MBC)

햄스터 클럽(MBC)

라디오 북카페(오만과 편견)(SBS 러브FM) - 베넷

배한성 배칠수의 고전열전(MBC 표준FM)

무적의 탱크 태무진(MBC)

CSI 뉴욕(MBC)

CSI 마이애미(MBC)

러브 오브 시베리아(MBC) - 모킨 대위(블라디미르 일린)

록키 5(MBC)

우뢰매3(SBS)
최병학 (성우)
Section: 출연작

1992년 MBC 드라마 《우리들의 천국》

1992년 KBS 드라마 《삼국기》 - 비담 역

1993년 MBC 드라마 《아들과 딸》

1993년 MBC 드라마 《제3공화국》 - 이석제 역

1993년 KBS.다큐멘터리 극장 (재연극) |12.12]] 육군참모총장 겸 계엄사령관 정승화 장군역

1994년 MBC 드라마 《야망》

1994년 KBS 드라마 《역사의 라이벌》
이우신
Section: 출연 작품

파워 오브 원 (MBC) - 기대온 두마(알로이스 모요)

스나이퍼 (MBC) - 체스터(J. T. 월시)

크러쉬 (SBS) - 형사(던컨 프레이저)

데몰리션 맨 (SBS) - 경찰(폴 페리)

너티 프로페서(SBS) - TV 방송 진행자(토니 칼린)

에이틴 어게인(SBS) - 호튼(버나드 폭스) / 미술 선생님(에모리 바스)

4차원의 포로 (SBS) - 앤드류스(게리 브록켓) / 의사(마이클 커리)
결정론적 알고리즘
Section: 결정론적 알고리즘의 문제점

어떤 문제는 결정론적 알고리즘을 찾기 어렵다. 예를 들어, 어떤 수가 소수인지 아닌지 판별하는 확률적 알고리즘은 1970년대에 발견했다.(예: 페르마 소수판별법) 확률론적 알고리즘은 아주 작은 확률로 틀릴 가능성이 있기는 하지만, 효율적인 알고리즘이다. 그 이후로 30년동안 연구한 끝에 소수인지 판별하는 결정론적 알고리즘을 찾아냈으나, 실행시간은 비교할 수도 없이 오랜 걸린다.

또 다른 예로 NP-완전 문제가 있다. 실생활에서 중요한 의미를 가지는 많은 문제들이 NP-완전인데, 이 문제들은 비결정론적 튜링 기계라는 엄청난 능력을 가진 가상의 병렬 기계를 이용하면 쉽게 풀 수 있으나, 아직까지 이런 기계를 실제로 구현하지 못하고 있다. 기껏해야 NP-완전 문제의 근사해(approximate solution)를 구하거나 특별한 경우의 해를 구하는 정도이다.
결정론적 알고리즘
Section: 비결정론적 알고리즘 만들기

실제 프로그램에서는 순수하게 결정론적인 경우가 드물지만, 순수하게 결정론적이라고 생각하는 것이 여러모로 편리하다. 이런 이유로 프로그래밍 언어, 특히 함수형 언어의 경우, 미리 지정된 경우가 아니면 위와 같은 상황을 최대한 피해야 한다. 이런 이유로, 결정론적 알고리즘을 가끔 순수함수(purely functional)라고 부르기도 한다.

어떤 알고리즘이 비결정론적으로 작동하게 하는 데는 여러 방법이 있다.

입력 이외의 외부 상태를 알고리즘에 적용함

알고리즘이 시간에 민감하게 동작함

하드웨어의 오류를 이용하여 알고리즘 진행과정을 예상할 수 없는 방식으로 변화시키는 방법
결정론적 알고리즘

결정론적 알고리즘을 가장 단순한 형태로 생각하면 수학 함수라고 볼 수 있다. 함수에 특정한 입력이 들어오면 언제나 동일한 결과를 거쳐서 동일한 결과값이 나오는데, 결정론적 알고리즘도 마찬가지이다. (물론, 알고리즘에서는 실제로 어떻게 구하는지 상세한 과정이 명시되어 있지만, 함수에서는 상세한 과정이 생략되는 경우가 많다.)

결정론적 알고리즘(deterministic algorithm)은 예측한 그대로 동작하는 알고리즘이다. 어떤 특정한 입력이 들어오면 언제나 똑같은 과정을 거쳐서 언제나 똑같은 결과를 내놓는다. 결정론적 알고리즘은 실제 기계에서 돌릴 수 있는 효율적인 알고리즘일 뿐 아니라, 가장 오랫동안 연구되었으며 가장 친숙한 알고리즘이다.
밀러-라빈 소수판별법
Section: 작은 수에 대한 판별

판별할 수 의 크기가 작을 경우, 작은 수의 에 대해서만 검사해보면 결정론적으로 소수를 판별할 수 있다는 것이 알려져 있다. Pomerance, Selfridge, Wagstaff, 그리고 Jaeschke에 의하면

일 경우 에 대해서만 검사해보면 충분하다

일 경우 에 대해서만 검사해보면 충분하다

일 경우 에 대해서만 검사해보면 충분하다

일 경우 에 대해서만 검사해보면 충분하다

일 경우 에 대해서만 검사해보면 충분하다
밀러-라빈 소수판별법
Section: 이론적 배경

제곱근을 계속 구해나가도 두 번째 식이 성립하지 않으면, 마찬가지로 1이나 -1의 값을 가질 첫 번째 식을 검사해야 한다. 그런데, 두 번째 식이 성립하지 않는다면, 일 때 성립할 수 없고 결과적으로 다음 식이 성립한다.

그러므로 두 번째 경우가 성립하지 않으면, 첫 번째는 반드시 성립한다.

밀러-라빈 소수판별법은 위와 같은 관계를 이용한다. 이 소수인지 아닌지 검사하려고 할 때, 다음 두 식이 성립하면 는 이 합성수라는 것에 대한 강한 증거(strong witness)가 된다.
프라하성
Section: 역사

프라하 성의 역사는 870년 성모 마리아 성당이 건설되면서 시작된다. 10세기 초 보헤미아의 브라티슬라프 1세와 바츨라프 1세 공작의 치세 때 성 비투스 대성당과 성 게오르기우스 성당이 건설됐다.

보헤미아의 첫 수녀원은 성 게오르기우스 성당 옆에 세워졌다. 12세기에는 로마네스크 양식의 궁전이 건설됐다.

보헤미아의 왕 오타카르 2세는 프라하성을 요새화하고 궁전을 새로 지었다.
프라하성
Section: 성의 내부와 주변 공사

달리보르카 (Daliborka) = 달리보르 탑

화약탑 (프라슈나 베시 Prašná věž) - 미훌카(Mihulka)

황금소로 (즐라타 울리치카 Zlatá ulička)

성 관리청 (Nejvyšší purkrabství) - 성의 관리를 맡은 최고 책임자의 집무실

공놀이하는 곳 (미초브나 Míčovna)

승마장 (이즈다르나 Jízdárna)

황실 마구간 (치사르슈스카 코니르나 Císařská konírna)

프라하 성 미술관 (오브라자르나 프라슈스케호 흐라두 Obrazárna Pražského hradu)
제이 (가수)

제이(본명: 제이 영 정 (Jae Young Jung), 한국명: 정재영, 1977년 5월 2일 ~ )는 미국의 가수이다. 2000년 《어제처럼》으로 KBS 뮤직뱅크 1위를 하며 유명가수가 되었다.

2013년 주한 미군 남편과 결혼하여 현재 슬하에 1녀를 두고 미국에서 생활하고 있으며 2015년 투유 프로젝트 - 슈가맨 6회에 출연하였다.

2000년 4월 21일에 발매한 2집음반의 수록곡중 하나인 8318에서는 한국어가 어색하게 들리는 허스키 보이스가 들린다.
제이 (가수)
Section: 음반 활동

둘이서 (with. 이재훈) (2011년 11월 28일)

Blue Sky (2013년 7월 17일)

Happy Person (2013년 11월 25일)

Chocolate/ English Version Album (2000년 11월 29일) 영어앨범

유승준 Best & J Duet Collection (2001년 11월 29일) 스폐셜베스트

Continue/ Best & Live (2001년 12월 19일) 베스트앨범

In My Life Time (2007년 4월 10일) CCM앨범
베네수엘라 볼리바르

2017년 1월부터는 인플레이션으로 인해서 기존의 2~100 볼리바르 지폐의 유통을 중단시키고, 새롭게 발행된 500~20,000 볼리바르 지폐가 통용되기 시작했다. 또한 2017년 11월 2일부터 100,000 볼리바르 지폐가 통용되기 시작했다.

2018년 2월에 이르러서는 이 화폐로 공예품을 만들어 팔고 사는 사람이 생길 정도로 화폐의 가치가 극심하게 추락했으며 베네수엘라 볼리바르 역시 통화 사용 중지 위기에 처해있다.

공식 환율은 1백만 베네수엘라 볼리바르 당 한화 5천원이지만 암시장에서는 화폐 가치가 아닌 화폐 무게를 저울에 달아 환전하는데 2만 볼리바르 지폐 1kg당 한화 10원에 환전되고 있다.
베네수엘라 볼리바르
Section: 지폐

다음은 구 베네수엘라 볼리바르 지폐 목록이다.

2007~2015년 시리즈 신권 지폐는 2~100볼리비아 푸에르테의 액면가로 2007년 3월 20일에 첫 발행됐다. 액면가가 높을수록 재발행 기간이 길었다. 100볼리비아 푸에르테 지폐의 재발행은 2015년 11월에 단 한차례만 이뤄졌다.

이후 인플레이션이 지속되면서 더 높은 액면가 지폐가 등장하기 시작했다. 1991년에는 1,000볼리바르, 1994년에는 2,000볼리바르와 5,000볼리바르, 1998년에는 10,000, 20,000, 50,000볼리바르 지폐가 처음 등장했다. 20,000볼리바르 지폐가 처음 나올 당시에는 2,000볼리바르 지폐와 유사한 녹색이었기 때문에 나중에 올리브색으로 새로 다시 발행됐다.
전혜빈
Section: 출연

2007년 SBS 《퀴즈 육감대결》

2012년 SBS 《김병만 정글의 법칙 in 마다가스카르》

2013년 SBS 《심장이 뛴다》

2013년 SBS 《런닝맨》

2015년 네이버TV 《뷰티스테이션 더쇼 2015》

2015년 SBS 《더 레이서》

2016년  JTBC 《아는 형님》

2016년 네이버TV 《뷰티스테이션 더쇼》

2016년 SBS 《정글의 법칙 in TONGA》

2017년 tvN 《우리들의 인생학교》
전혜빈
Section: 광고

2005년: SK텔링크 1682 콜렉트콜

2007년: 프로스펙스 웜업웨어

2007년: 한국결혼박람회

2008년: 스무디킹

2008년: 인티아라 닷컴

2012년: 레몬디톡스

2012년: LG패션 라푸마

2013년: 아레나 스포츠

2014년: 바이오하우스 락

2014년: 좋은사람들 보디가드

2015년: 빅토리아코리아 스웨덴에그팩

2015년: 비비마스크