hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
이성질핵
이성질핵(異性質核, 영어: nuclear isomer)은 원자핵의 준안정 상태이며, 이 상태에서는 하나 이상의 핵자(양성자 또는 중성자)가 들뜬 상태 준위(더 높은 에너지 준위)를 차지한다. "준안정"은 들뜬 상태의 반감기가 10−9초 이상으로, "즉발" 반감기(일반적으로 10−12초 수준)로 붕괴하는 들뜬 핵 상태의 반감기보다 100~1000배 더 긴 핵을 의미한다. 일부 참고 문헌에서는 준안정 반감기를 정상적인 "즉발" 유도 감마 방출 반감기와 구분하기 위해 5×10−9초를 권장한다. 때로는 반감기가 훨씬 더 길어 몇 분, 몇 시간 또는 몇 년 동안 지속될 수도 있다. 예를 들어, 180m73Ta 이성질핵은 매우 오랫동안(최소 2.9×1017년) 자발적으로 붕괴하는 것이 관찰되지 않았다. 이성질핵의 반감기는 186m75Re, 192m277Ir, 210m83Bi, 212m84Po, 242m95Am 및 여러 홀뮴 이성질핵에서 볼 수 있듯이, 동일한 핵종의 바닥 상태보다 길 수도 있다.

때때로 준안정 상태의 감마 붕괴를 이성질핵 전이라고 하지만, 이 과정은 준안정 모 이성질핵의 장수명 특성을 제외하고는 모든 외부 측면에서 단수명 감마 붕괴와 유사하다. 이성질핵의 준안정 상태 수명이 더 긴 이유는 바닥 상태에 도달하기 위해 감마 방출에 관여해야 하는 핵 스핀 변화의 정도가 크기 때문이다. 이러한 큰 스핀 변화는 이러한 붕괴를 금지 전이로 만들고 지연시킨다. 방출 지연은 사용 가능한 붕괴 에너지가 낮거나 높기 때문에 발생한다.

최초의 이성질핵 및 붕괴-딸 핵 시스템(우라늄 X2/우라늄 Z, 현재는 234m91Pa/23491Pa로 알려짐)은 1921년 오토 한에 의해 발견되었다.

감마선
감마선(영어: gamma ray/radiation, γ선)은 전자기 복사의 강력한 형태로, 방사능 및 전자-양전자 소멸과 같은 핵과정 등에 의해 생성된다.

감마선은 전자기 스펙트럼에서 가장 높은 에너지 영역이다. 종종 10 keV, 즉 2.42 EHz 다시 말해 124 pm의 시작하는 것으로 정의된다. 참고로 10 keV에서 수백 keV에 이르는 전자기 복사는 경질X선으로 불리기도 한다. 같은 에너지를 가지는 감마선과 X선 간에는 물리적인 차이가 없다. 즉, 태양빛과 달빛이 같은 가시광선의 서로 다른 이름인 것과 마찬가지로, 감마선과 X선은 단지 같은 전자기 복사를 나타내는 두 이름일 뿐이다. 대신, 감마선은 X선과 발생에서 차이가 난다. 감마선은 원자핵 전이에 의해 생겨나는 고에너지 전자기 복사를 가리키며, X선은 가속 전자의 에너지 전이에 의해 발생하는 고에너지 전자기 복사를 가리킨다. 일부 전자 전이는 일부 원자핵 전이보다 높은 에너지를 가지는 것이 가능하며, 이는 감마선과 X선이 겹치는 이유이다.

감마선은 일종의 전리복사이며, 알파 입자나 베타 입자에 비해 투과성이 높은 반면, 이온화율은 낮다. 감마선은 X선과 마찬가지로 화상, 암, 유전자 변형과 같은 피해를 유발한다. 핵전쟁 등에서 사용될 가능성이 있는 핵무기의 낙진에서 발생하는 감마선은 수많은 사상자를 유발한다. 효과적인 방사성 낙진 대피소는 1,000배가량 노출 정도를 감소시켜줄 수 있다.

감마선은 의학 및 공업 등에서 널리 사용된다.
박관용
박관용(朴寬用, 1938년 6월 6일~)은 대한민국의 정치인이다. 제16대 국회 후반기 국회의장이다. 제11·12·13·14·15·16대 국회의원을 지냈다. 본관은 밀양(密陽), 호는 목산(栢山)이다.

대한민국 국회의장
국회의장(國會議長, 영어: Speaker of the National Assembly)은 대한민국 국회의 수장이다. 국회의장은 국회에서 무기명투표로 선거하되 재적 의원 과반수의 득표로 당선되며 임기는 2년이다. 권력분립원칙에 따른 대한민국의 3부요인 중에서 입법부를 대표하여 국가 서열 2위이다.

의장은 상임위원이 될 수 없으며, 2002년 3월 국회법 개정에 의하여 임기중 당적을 가질 수 없게 되었다. 그러나 정당추천후보자로 차기 선거에 출마하고자 하는 경우에는 의원 임기 만료일 전 90일부터 당적을 가질 수 있다.

국회의장은 1급 수석비서관 3명, 2급 비서관 4명, 3급 비서관 2명, 4급 비서관 2명 등 총 23명의 별도의 보좌인력을 둘 수 있다. 문민정부 시절까지 국회의장의 경호진은 5백여 명을 둔 사례도 있었다.
ゆ
ゆ, ユ는 일본어 음절의 하나이며, 가나의 하나이다. 1모라를 형성한다. 오십음도에서는 제8행 제3단(や행 う단)에 위치한다.

현대 표준어의 발음: /yu/. 국제 음성 기호로는 [jɯ]로 표기할 수 있다.

오십음 순: 제37위. や행 い단을 더하면 제38위.

이로하 순: 제39위. ‘き’의 다음, ‘め의 앞.

히라가나 ‘ゆ’의 자형: ‘由’의 초서.

가타카나 ‘ユ’의 자형: ‘弓’의 윗부분(혹은 ‘由’의 아랫부분의 변형).

로마자: yu

로마지 입력: yu(ゆ), lyu 또는 xyu(ゅ).

대한민국의 외래어 표기법: 유

한/글의 한글 입력: 유(ゆ), ㅠ(ゅ).

일본어 점자:

일본어 통화표: ‘弓矢のユ(유미야노 유)’.

일본어 모스 부호: -··--

오십음
오십음(五十音) 또는 오십음도(五十音圖)는 일본어의 가나 문자를 모음은 세로(때에 따라서는 가로)로 5자, 자음은 가로(때에 따라서는 세로)로 10자씩 나란히 세워 그린 표를 말한다. 원래 한자의 음(音)을 표시하는 수단이었던 반절(反切)을 설명하는 것으로 고안된 것이었다(묘가쿠(明覚), 《반절작법(反切作法)》, 1093년). 그러나 그 자음과 모음을 분석적으로 배치했던 체계성이 나중에는 일본어의 문자를 체계적으로 학습하는 것으로도 이용되는 등 다양한 용도로도 사용되었다.

'오십음(도)'이라는 이름은 에도 시대부터 붙인 것으로, 그 이전에는 '오음(五音(ごいん))', '오음도(일본어: 五音図)', '오음오위지차제'(五音五位之次第), '음도'(일본어: 音図), '반음도'(일본어: 反音図), '가나가에시'(일본어: 仮名反), '오십련 음'(五十聯音(いつらのこゑ)) 등으로 불렀다.
소련의 산업화
소련의 산업화는 소련의 산업 잠재력을 가속화하여 선진 자본국가들에 비해 뒤처진 경제의 격차를 줄이는 과정으로, 1929년 5월부터 1941년 6월까지 진행되었다.

산업화의 공식적인 목표는 소련을 주로 농업사회에서 선도적인 산업 국가로 전환하는 것이었다. "사회 급진적 재편의 세 가지 과제"(산업화, 경제 중앙집중화, 농업 집단화 및 문화 혁명)의 필수적인 부분으로서 사회주의 산업화의 시작은 1928년부터 1932년까지 지속된 제1차 5개년 계획에 의해 마련되었다.

소련 시대에 산업화는 위대한 업적으로 간주되었다. 중공업의 생산 능력과 생산량(4배)의 급속한 성장은 자본주의 국가로부터의 경제적 독립을 보장하고 국가 방어 능력을 강화하는 데 매우 중요했다. 이때 소련은 농업 국가에서 산업 국가로 전환했다. 제2차 세계 대전 중 소련 산업은 나치 독일 산업에 비해 우위를 입증했다. 1980년대 후반부터 소련과 러시아에서는 산업화의 대가에 대한 논의가 이루어졌으며, 이는 소련 경제와 사회에 대한 산업화의 결과와 장기적인 영향에 대해서도 의문을 제기했다.

소련의 경제
소련의 경제는 사회주의를 지향하는 중앙집권식 계획경제였으며, 마르크스-레닌주의 이론에 따라 모든 생산수단을 국유화하고 집단 농장을 운영하였다. 소련의 경제는 국가의 주기적인 통제로 낮은 실업률, 경제적 안정성, 저물가, 높은 직업안정성을 보였으나, 지하자원 의존도가 높고 외국과의 무역은 부족하였다.
김성민 (2001년생 축구 선수)
김성민(한국 한자: 金成玟, 2001년 4월 13일~)은 대한민국의 축구 선수로, 현재 FC 서울에서 수비형 미드필더로 활동 중이며, 이강인, 서요셉, 이태석 등과 함께 날아라 슛돌이 3기 멤버로 활동하기도 했다.

이태석 (축구 선수)
이태석(李太錫, 2002년 7월 28일 ~ )은 대한민국의 축구 선수로 포지션은 왼쪽 풀백, 오른쪽 풀백, 왼쪽 측면 미드필더이며 현재 오스트리아 분데스리가 아우스트리아 빈 소속이다.
동학사
동학사(東鶴寺)는 충청남도 공주시 반포면에 있는 사찰이다. 계룡산 동쪽 자락에 있으며, 서쪽의 갑사와 함께 계룡산을 대표한다. 동학사는 한국에서 가장 오래된 비구니 승가 대학으로 1860년에 문을 열었다.

갑사 (사찰)
갑사(甲寺)는 충청남도 공주시 계룡면 중장리 계룡산 서쪽 기슭에 있는 절이다. 계룡 갑사라고도 불린다. 백제 27대 위덕왕 3년(556년)에 혜명대사가 중건하였다. 그 뒤에 의상이 도량을 설치하고 법당을 증수하여 그 규모가 커졌다. 경내에는 대적전, 부도, 철당간지주 등 보물과 군자대, 용문폭 등 비경이 있다. 동구 울창한 숲길은 여름에도 서늘한 감을 주며 계곡 사이 펼쳐지는 가을 단풍이 아름답기로 유명하다. 사보로는 천근 범종과 《월인천강지곡》 목각판 등이 있다.
페르미온 응축
페르미온 응축(영어: Fermionic condensate) 또는 페르미-디랙 응축(영어: Fermi–Dirac condensate)은 저온에서 페르미온 입자에 의해 형성된 초유체 상이다. 이는 유사한 조건에서 보손 원자에 의해 형성된 초유체상인 보스-아인슈타인 응축과 밀접한 관련이 있다. 초전도체에서 전자의 상태를 기술한 것이 최초의 알려진 페르미온 응축이다. 페르미온 원자에 최근 연구를 포함한 물리학은 유사한 예를 보여준다.

초유체
초유체(超流體, 영어: superfluid)는 물리학에서 점성이 전혀 없는 유체를 말한다. 따라서 초유체는 마찰 없이 영원히 회전할 수 있다.

초유체 현상은 양자역학적인 현상으로 보스-아인슈타인 응축 모형으로 설명된다. 즉, 다수의 보손이 동일한 양자상태를 갖게 된다. 이와 같이 헬륨 입자가 모두 바닥 상태로 응축될 수 있다. 즉 초유체 상태는 레이저, 초전도 현상와 같이 거시적인 양자역학적 상태이다.
프레더릭 메디슨 로버츠
프레더릭 매디슨 로버츠(Frederick Madison Roberts, 1879년 9월 14일 ~ 1952년 7월 19일)는 흑인 출신 최초의 미국 주 의회 의원이자, 미국의 신문인이자 편집자, 교육자, 기업인이다. 아프리카계 미국인 출신으로 최초로 캘리포니아 주의회 의원에 당선된 인물이다. 토머스 제퍼슨과 샐리 헤밍스의 아들인 매디슨 헤밍스의 외손자였다.

매디슨 헤밍스
매디슨 헤밍스(Madison Hemings, 1805년 1월 18일 ~ 1877년 11월 28일)는 미국의 흑인 노예로 샐리 헤밍스의 아들이었다. 생전에 미국 제3대 대통령 토머스 제퍼슨의 아들이라 주장했으나 입증할 수 없었고, 사후 121년 만에 유전자 검사 결과 제퍼슨의 아들로 확인되었다. 더 정확하게 말하면 제퍼슨 혹은 제퍼슨 형제의 후손임이 입증된 것. 다만 정황상 제퍼슨의 후손일 가능성이 가장 높긴 하다.

1802년 이후 샐리 헤밍스의 자녀 7명은 토머스 제퍼슨의 사생아라는 의혹이 제기되었고 이는 제퍼슨의 정적들, 노예 폐지론자, 평등주의자, 미국의 독립에 대해 부정적인 영국정부 등에 의해 비판의 대상이 되었으나 제퍼슨은 별다른 반응을 보이지 않았다. 그 뒤 메디슨은 토머스 제퍼슨의 아들이라 주장하였으나 증거를 제시할 수 없었으므로 생전에는 인정받지 못하였다. 메디슨 사후에도 메디슨의 후손들은 계속해서 토머스 제퍼슨의 후손임을 주장했다. 오랫동안 논란이 되다가 1998년 그의 동생 이스턴 헤밍스(Eston Hemings)의 남계 후손이 토머스 제퍼슨의 삼촌 필드 제퍼슨의 후손 5명과 Y 염색체의 유전자를 비교해본 결과, 이스턴 헤밍스는 제퍼슨 가의 후손으로 판명됐다. 이어 메디슨의 후손들도 제퍼슨 가의 후손들과 DNA 유전자 검사를 한 결과 메디슨의 후손들도 제퍼슨 가의 유전자를 지닌 것이 밝혀져 후손으로 인정되었다.
Deeplearning4j
Eclipse Deeplearning4j는 자바와 자바 가상머신 용으로 작성된 딥 러닝 라이브러리이며 딥 러닝 알고리즘을 광범위하게 지원하는 컴퓨팅 프레임워크이다. Deeplearning4j에는 Restricted Boltzmann machine, deep belief net, deep autoencoder, stacked denoising autoencoder, recursive neural tensor network, word2vec, doc2vec, Glove 등의 알고리듬들이 구현 되어 있다. 이 알고리듬은 모두 아파치 하둡과 스파크를 이용해 분산 병렬 처리가 가능하다.

Deeplearning4j는 아파치 라이선스 2.0을 따르는 오픈 소스 소프트웨어이며 샌프란시스코와 도쿄에 근거를 두며 Adam Gibson이 이끄는 기계 학습 그룹이 주로 개발하고 있다. Skymind Intelligence Layer라고 불리는 엔터프라이즈 배포판에 DL4J, Tensorflow, Keras 및 기타 딥 러닝 라이브러리를 번들로 제공하는 스타트업 회사인 Skymind를 통해 상업적 지원을 받을 수 있다. Deeplearning4j는 2017년 10월에 Eclipse Foundation에 합류 하였다.

기계 학습
기계 학습(機械學習) 또는 머신 러닝(영어: machine learning, ML)은 경험을 통해 자동으로 개선하는 컴퓨터 알고리즘의 연구이다. 방대한 데이터를 분석해 '미래를 예측하는 기술'이자 인공지능의 한 분야로 간주된다. 기계 학습은 복잡한 패턴에 대한 학습을 통해 상황에 대한 예측과 의사 결정을 돕는다. 컴퓨터가 학습할 수 있도록 하는 알고리즘과 기술을 개발하는 분야이다. 가령, 기계 학습을 통해서 수신한 이메일이 스팸인지 아닌지를 구분할 수 있도록 훈련할 수 있다.

기계 학습의 핵심은 표현(representation)과 일반화(generalization)에 있다. 표현이란 데이터의 평가이며, 일반화란 아직 알 수 없는 데이터에 대한 처리이다. 이는 전산 학습 이론 분야이기도 하다. 다양한 기계 학습의 응용이 존재한다. 문자 인식은 이를 이용한 가장 잘 알려진 사례이다.
시간 민감성 네트워킹
Time-Sensitive Networking (TSN)은 IEEE 802.1 워킹 그룹 산하 Time-Sensitive Networking Task Group이 개발 중인 표준군이다. TSN 태스크 그룹은 기존 오디오·비디오용 저지연 이더넷 표준을 주도하던 Audio Video Bridging Task Group을 2012년 11월에 개명하고 오디오·비디오의 영역을 제어, 자동차, 산업 영역으로 확대해 왔다. 이로써, 기존 AVB 표준들을 품으며 추가 표준들이 계속 제정되어 왔다. 이 표준군은 결정론적(deteministic) 이더넷 네트워크에서 시간 민감(time-sensitive) 데이터의 전송 메커니즘을 정의한다.

표준군의 대부분은 가상 LAN과 네트워크 스위치를 설명하는 IEEE 802.1Q – Bridges and Bridged Networks에 대한 확장으로 정의된다. 이러한 확장은 매우 낮은 지연과 높은 가용성을 보장하는 전송을 목표로 한다. 응용 사례에는 실시간 오디오·비디오 스트리밍, 차량 내 네트워크(In-vehicle Network), 산업 제어 설비 등에서 사용되는 실시간 제어 스트림과 미디어 스트림이 섞인 네트워크 컨버전스가 있다.

이더넷
이더넷(영어: Ethernet, 문화어: 이써네트)은 컴퓨터 네트워크 기술의 하나로, 일반적으로 LAN, MAN 및 WAN에서 가장 많이 활용되는 기술 규격이다. '이더넷'이라는 명칭(이름)은 빛의 매질로 여겨졌던 에테르(ether)에서 유래되었다. 이더넷은 OSI 모델의 물리 계층에서 신호와 배선, 데이터 링크 계층에서 MAC(media access control) 패킷과 프로토콜의 형식을 정의한다. 이더넷 기술은 대부분 IEEE 802.3 규약으로 표준화되었다. 현재 가장 널리 사용되고 있으며, 토큰 링, FDDI 등의 다른 표준을 대부분 대체했다.
솔로몬 스토다드
솔로몬 스토다드(Solomon Stoddard; 1643-1729)는 매사추세츠만 식민지의 노스햄튼 타운에서 회중교회의 목회자였다. '코네티컷강의 청교도 교황'으로 불릴 정도로 지역에 많은 영향을 끼쳤다. 조나단 에드워즈의 조부로 그에게 많은 영향을 미쳤다. 그의 사망후 조나단 에드워즈가 같은 교회를 섬겼다. 하버드 대학교의 최초 도서관장이었다. 그의 영향력에 강하게 반대한 사람들은 인크리스 매더와 코튼 매더였다.

인크리스 매더
인크리스 매더(영어: Increase Mather; 1639-1723) 매사추세츠주 도체스터에서 출생하였고, 까다로운 청교도 아버지인 리차드 매더의 아들로 자랐다. 12살에 하버드 대학교에 입학하였고, 1656년에 졸업하였다. 영국으로 건너가 트리니티 칼리지 (더블린)에서 석사학위를 수여받고, 왕정복고전까지 영국에서 설교를 하였다. 1661년에는 다시 보스톤으로 와서 6개의 교회에서 제안을 받았으나 모두 거절한 뒤 아버지와 함께 도체스터에서 사역을 하였다. 그 뒤, 존 코튼의 딸인 마리아와 결혼을 하여 7명의 딸과 세명의 아들을 낳았다. 세명의 아들 중에 나다니엘은 19살에 사망하고, 코튼과 사무엘은 목회자가 되었다. 그는 중도언약을 반대하였고, 그 이유는 그것이 회중교회를 약화시킨다는 이유였다. 1683년 초, 그는 영국 학사원을 모방하여 보스톤 철학회를 설립하는 데 도움을 주었다.

1685-1701의 약 16년동안 하버드 대학교의 6대 총장으로 봉사하였다.
가토 다다히로
가토 다다히로(일본어: 加藤忠広, 1601년 ~ 1653년 8월 1일)는 일본 에도 시대의 다이묘로, 구마모토번의 2대 번주이자, 데와 마루오카 번주이다. 가토 기요마사의 두 번째 아들로 태어났다. 어릴적 이름은 도라노스케(일본어: 虎之助), 도라카쓰(일본어: 虎勝)이며, 관위는 종4위하, 시종이다.

형 가토 다다마사가 일찍 사망하면서 다다히로가 세자가 되었고, 게이초 16년(1611년)에 기요마사가 사망하자 그 뒤를 이어 번주가 되었다. 아직 나이가 어렸기 때문에 도도 다카토라가 후견인 역할을 했다고 한다. 그러나 다다히로는 아버지와 달리 통솔력이 결여되어 가신단을 완전히 장악하지 못하였고, 우시카타 우마카타 소동 등 중신들의 대립으로 인한 분쟁이 발생하여, 번의 정치는 혼란스러웠다. 간에이 9년(1632년) 5월 22일, 에도로 상경하던 도중 시나가와에서 입성을 제지당하고, 이나바 마사카쓰(稲葉正勝)에 의해 영지 몰수의 처분을 명받았으며, 데와 쇼나이번주 사카이 다다카쓰의 감시를 받는 몸이 되었다. 그 후 데와 마루오카 번 1만 석 영지를 받아, 1년 후 마루오카로 찾아온 어머니 세이오인(일본어: 正応院)을 모시고 그곳에서 여생을 보냈다. 다다히로는 울분을 떨치려는 듯 글씨를 쓰고 시가를 읊으며 지냈고, 사카이 다다카쓰가 있는 곳으로 자주 찾아갔다고 한다. 어머니가 사망한 지 2년이 지난 조오 2년(1653년), 53세의 나이로 사망하였다.

가토 기요마사
가토 기요마사(일본어: 加 (か)藤 (とう) 清 (きよ)正 (まさ), 에이로쿠 5년 음력 6월 24일(1562년 7월 25일) ~ 게이초 16년 음력 6월 24일(1611년 8월 2일))는 아즈치모모야마 시대부터 에도 시대 전기까지의 무장, 다이묘이다. 도요토미 히데요시의 가신이다. 다른 6명의 무장들과 더불어 시즈가타케의 칠본창(일본어: 賤ケ岳七本槍)이라는 별칭을 얻었다. 통칭은 도라노스케(일본어: 虎之助/虎之介). 축성술이 뛰어나고 호랑이 사냥을 좋아했던 것으로 알려졌다. 임진왜란 때 제2군 사령관이었고 정유재란 때에도 참전하였다. 세키가하라 전투 시기에는 도쿠가와 이에야스 측인 동군 소속이 되어 전후 구마모토번 초대 번주가 되었다. 구마모토에선 세이쇼 공님(일본어: 清正公さん)이라 부른다.
정형 기법
컴퓨터 과학에서 정형 기법(영어: formal methods) 또는 형식 수법은 소프트웨어와 하드웨어 시스템의 명세, 개발, 형식 검증을 위한 특정한 종류의 수학적 기반 기술이다. 소프트웨어, 하드웨어 디자인의 정형 기법의 이용은 다른 공학 분야처럼 적절한 수학적 분석을 수행하면 디자인의 신뢰성과 내구성에 도움이 될 수 있다는 기대에서 비롯된다.

정형 기법은 매우 다양한 이론 전산학 기초의 응용(특히 논리 계산, 형식 언어, 오토마타 이론, 프로그램 의미론, 더 나아가 소프트웨어와 하드웨어 명세 및 검증의 문제에 대한 형 체계, 대수적 자료형)이라고 말할 수 있다.

형식 검증
형식 검증(Formal verification)은 하드웨어 및 소프트웨어 시스템의 맥락에서 공식 수학 방법을 사용하여 특정 형식 사양 또는 속성과 관련하여 시스템의 정확성을 증명하거나 반증하는 행위이다. 형식 검증은 시스템의 형식 사양을 위한 주요 인센티브이며 형식 방법의 핵심이다. 이는 전자 설계 자동화에서 분석 및 검증의 중요한 차원을 나타내며 소프트웨어 검증에 대한 한 가지 접근 방식이다. 공식 검증을 사용하면 컴퓨터 보안 인증에 대한 공통평가기준 프레임워크에서 가장 높은 평가 보증 수준(EAL7)이 가능하다.

공식 검증은 암호화 프로토콜, 조합 회로, 내부 메모리가 있는 디지털 회로, 프로그래밍 언어의 소스 코드로 표현된 소프트웨어와 같은 시스템의 정확성을 입증하는 데 도움이 될 수 있다. 검증된 소프트웨어 시스템의 대표적인 예로는 CompCert 검증 C 컴파일러와 seL4 높은 보증 운영 체제 커널이 있다.

이러한 시스템의 검증은 시스템의 수학적 모델에 대한 공식적인 증거가 존재하는지 확인함으로써 수행된다. 시스템을 모델링하는 데 사용되는 수학적 개체의 예로는 유한 상태 기계, 레이블이 있는 전환 시스템, 혼 절, 페트리 넷, 벡터 추가 시스템, 시간 제한 오토마타, 하이브리드 오토마타, 프로세스 대수, 프로그래밍 언어의 형식 의미(예: 연산 의미론, 표시 의미론, 공리적 의미론 및 호어 논리) 등이 있다.
아스카르 마민
아스카르 우자크파예비치 마민(카자흐어: Асқар Ұзақбайұлы Мамин 아스카르 우작바이울르 마민, 러시아어: Аскар Узакпаевич Мамин 카자흐어 발음: [ɑsqɑɾ o̙zaqbajo̙ɫɯ mamin], 1965년 10월 23일~)은 2019년부터 2022년까지 카자흐스탄 총리를 지낸 카자흐스탄의 정치인이다. 2016년부터 2019년까지 카자흐스탄 부총리를 지냈으며, 이전에는 카자흐스탄 국영 철도 회사 카자흐스탄 테미르 졸리의 사장을 지냈다. 2008년부터 현재까지 카자흐스탄 아이스하키 연맹 회장을 맡고 있기도 하다. 마민은 2022년 카자흐스탄 시위 여파로 카심조마르트 토카예프 대통령이 내각 총사퇴를 지시하면서 총리직에서 물러났다.

카자흐스탄 여당 누르 오탄(현재의 아마나트)의 당원인 마민은 2005년부터 2006년까지 다니얄 아흐메도프 정부에서 교통통신부 장관으로 재직했으며, 2006년부터 2008년까지는 아스타나 시장으로 재직하였다.

카심조마르트 토카예프
카심조마르트 케멜레비치 토카예프(카자흐어: Қасым-Жомарт Кемелұлы Тоқаев 카슴조마르트 케멜룰르 토카예프, 러시아어: Касы́м-Жома́рт Кеме́левич Тока́ев, 카자흐어 발음: [qɑˈsəm ʑoˈmɑrt kʲeˌmʲelo̙ɫɯ toˈqɑjef], 문화어: 까씸-죠마르뜨 또까예브, 1953년 5월 17일~)는 카자흐스탄의 정치인이며 제2대 현임 대통령이다. 자신이 소속된 집권 여당인 아마나트의 당 총재직을 맡았으나 4월 26일에 아마나트 전당대회에서 예를란 코샤노프 하원의장 겸 원내대표에게 당 총재직을 이양함과 동시에 탈당하여 현재는 무소속이다.
세라 루커스
사라 루카스(Sarah Lucas, 1962년~)은 영국 태생의 현대예술가이다. 1990년대 YBA(Young British Artists)영 브리티시 아티스츠의 일원으로 왕성한 활동을 했으며, 성적 상징물을 이용해 유머러스한 태도의 작업을 하고 있다.

영국 런던 북부 홀로웨이에서 태어나 각종 직업을 전전하다 지역 미술학교를 거쳐 런던 골드스미스 대학에서 공부하였다. 이후 1988년 데이미언 허스트와 함께 프리즈(Freeze)전시에 참여하였으며 이후 찰스 사치가 기획한 주요 전시에 초대되어 알려지기 시작하면서 영국 현대미술의 주역으로 떠올랐다.

4살때부터 담배를 피우기 시작해 13살때 골초가 되어 담배와 죽음에의 저항을 주제로 한 작품들이 유명하다.

데이미언 허스트
데이미언 허스트(Damien Hirst, 1965년 6월 7일~)는 영국의 현대예술가로, 토막낸 동물의 시체를 유리상자 안에 넣어서 전시하는 그로테스크한 작품들을 주로 선보이고 있다.

영국 브리스틀 출생으로 리즈에서 성장하며 1986년~1989년 런던 골드스미스 대학 졸업 후 골드스미스 대학 학생들과 함께 결성한 YBAs의 프리즈 전시회를 기획하면서 주목을 받기 시작했다.

1991년 첫 전시회에서는 죽은 상어를 포름알데히드를 가득 채운 유리 진열장에 넣어 전시한 《살아있는 자의 마음 속에 있는 죽음의 물리적 불가능성》을 선보여 논란을 일으켰는데 사치 갤러리를 소유한 광고 재벌 찰스 사치와 갤러리 화이트 큐브를 소유한 제이 조플링의 후원을 받아 미술 시장 기록들을 갈아치웠다.

2005년과 2008년에는 미술전문지 《아트리뷰》가 선정하는 세계 미술계 영향력 있는 1위에까지 오르기도 했고 그의 나이 마흔 살에 1억 파운드의 경제적 가치가 있는 인물로 평가 받았다.

1995년 런던 테이트 갤러리에서 터너상을 수상했으며 베네치아 비엔날레, 로열 아카데미 등에서도 충격적인 작품들을 선보이며 논란을 낳았다
돈가스 (한국 요리)
돈가스(또는 돈까스)는 돼지고기를 저며 튀김옷을 입혀 조리하는 일본식 포크 커틀릿으로, 일본식 명칭 돈카츠에서 유래하였다. 돈가스는 1960~70년대 경양식 레스토랑의 유행과 함께 한국식으로 발전하였다.

돈가스
돈가스(일본어: 豚カツ (とんかつ) 톤카츠[*], 영어: Tonkatsu 또는 pork cutlet)는 이탈리아의 코톨레타(cotoletta)를 원형으로 하는 서양의 커틀릿에서 유래한 일본 요리이며, 돼지 등심을 2~3 cm 두께로 넓적하게 썰어 빵가루를 묻힌 후, 기름에 튀겨 일본식 우스터 소스(영어: Worcestershire sauce), 밥, 야채 샐러드(주로 양배추 채)를 곁들여 먹는다. 쇠고기를 넣어 튀긴 것은 규카츠(비프 커틀릿, 영어: beef cutlet)라고 한다.
성남 요금소
성남 요금소(城南 料金所, Seongnam TG)는 경기도 성남시 수정구 산성대로 41 (수진동)에 위치한 수도권제1순환고속도로 본선 상의 요금소이다. 성남 나들목에서 북쪽으로 약 900m 떨어진 곳에 있다. 1991년 11월 29일 판교 분기점에서 하남 분기점까지 구간이 개통하면서 영업을 개시했다. 2010년 8월 23일 경기도에서 경기순환버스 노선을 신설하면서 이 버스가 정차하는 버스 정류장이 설치되었으나 2015년 12월 29일 가천대역 인근 서울외곽순환고속도로 본선 상에 버스 정류장이 개설됨에 따라 2016년 11월 5일 폐지되었다. 요금소 내에 성남 졸음쉼터가 설치되어 있으며, 구리방향에만 졸음쉼터가 존재한다.

판교 분기점
판교 분기점(板橋分岐點, Pangyo Junction, 판교JC)은 경기도 성남시 분당구 삼평동과 판교동, 그리고 수정구 금토동에 걸쳐 설치된 경부고속도로와 수도권제1순환고속도로가 만나는 분기점이며 수도권제1순환고속도로의 기종점이다.
치석
치과학에서 치석(齒石, calculus, tartar, 문화어: 이돌)은 이 위에 굳어져 쌓인 물질(다시 말해, 이의 안쪽 밑동 부분에 침에서 분비된 석회분이 부착해 굳어진 물질)을 일컫는다. 이 물질들은 치태가 연속적으로 계속 자리를 잡으며 형성된다. 거친 표면은 앞으로의 치태가 형성하기 쉽게 만드는 매개체를 제공하는데 잇몸의 건강을 위협한다. 치석은 이빨에 필요하지 않은 불순물들을 자연 치아 보다 흡수하기 쉬운 경향이 있다.

치석이 쌓인 것들은 적절한 구강 검진을 하지 못했을 때 일어난다. 한 번 형성되면, 보통 이에 굳건히 달라붙어 집에서 개인이 제거하기 힘들게 만든다. 그러므로 치석 환자들은 치과 전문의를 찾아서 음파 도구와 치석 제거기를 사용하여 치석을 제거할 것에 대해 문의해야 한다.

잇몸
잇몸(영어: gingiva 또는 gums, 문화어: 이몸)은 치아와 턱뼈가 만나는 부분을 감싸고 있는 구강내 점막의 일종이다. 치경(齒莖), 치육(齒肉), 치은(齒齦)이라고도 한다. 치조나 치조제를 포함하는 넓은 의미로 사용되기도 한다. 잇몸의 건강과 잇몸 질병은 전신 건강에 영향을 미칠 수 있다.
광천 나들목
광천 나들목(Gwangcheon IC)은 충청남도 보령시 천북면 신덕리와 신죽리에 걸쳐 있는 서해안고속도로의 20번 교차로이다. 명칭과는 다르게 홍성군 광천읍이 아닌 보령시에 있다. 나들목 진출입로는 홍성군 은하면 장척리와 접하고 있고, 국가지원지방도 제96호선을 통해 인접한 광천읍내로 진출할 수 있기 때문에 나들목 이름이 ‘광천’으로 정해졌다.

국가지원지방도 제96호선
국가지원지방도 제96호선은 충청남도 태안군 근흥면 신진도리 안흥항에서 출발하여 세종특별자치시를 경유하여 충청북도 청주시 상당구 미원면 쌍이리에서 끝나는 국가지원지방도이다. 일부 구간은 개설되지 않았다.
조선소년단
조선소년단(朝鮮少年團, 영어: Korean Children's Union, KCU)은 조선민주주의인민공화국의 소년, 청소년 단체이며, 조선로동당의 피오네르 운동 조직이다. 조선민주주의인민공화국의 9세부터 15세까지 입단할 수 있으며, 15세 이상의 청소년이나 청년들은, 김일성-김정일주의청년동맹에 입당할 수 있다.

피오네르
피오네르(러시아어: пионе́р)는 또는 피오네르 운동(러시아어: Пионерское движение)은 공산당과 공산국가에 의해 운영되는 소년단이다. 일반적으로 피오네르는 어린이를 가입 대상으로 하며, 13세가 넘거나 상급학교에 진학할 경우 공산주의청년동맹으로 이적하였다. 이 운동의 성격은 전반적으로 스카우트 운동과 비슷하였다.

처음으로 조직된 피오네르는 소련의 피오네르였으며, 제2차 세계 대전을 전후로 수립된 동구권의 국가들이 이 조직을 모방한 피오네르를 조직하였다.
스플라이소좀
스플라이소좀(spliceosome)은 주로 진핵생물의 세포핵 내에서 발견되는 대형 리보핵단백질(RNP) 복합체이다. 스플라이소좀은 소핵 RNA(snRNA)와 수많은 단백질로 구성된다. 소핵 RNA(snRNA) 분자는 특정 단백질과 결합하여 소핵 리보핵단백질 복합체(snRNP, "스너프스"로 발음)를 형성하며, 이는 다시 다른 snRNP와 결합하여 스플라이소좀이라는 대형 리보핵단백질 복합체를 형성한다. 스플라이소좀은 일차 전사체의 일종인 전사된 pre-mRNA에서 인트론을 제거한다. 이 과정은 일반적으로 RNA 스플라이싱이라고 불린다. 비유하자면, 영화 편집자가 초기 필름에서 관련 없거나 잘못된 자료(인트론에 해당)를 선택적으로 잘라내고 정리된 버전을 감독에게 보내 최종 편집을 하는 것과 같다.

그러나 때로는 인트론 내의 RNA가 리보자임으로 작용하여 스플라이소좀이나 단백질 효소를 사용하지 않고 스스로 스플라이싱하기도 한다.

인트론
진핵세포의 DNA에는 원핵세포의 DNA와 달리 실제로 단백질을 합성하는 부분과 아무런 의미가 없는 부분이 섞여서 존재하고 있다. 이때 의미없는 부분을 인트론(Intron)이라 한다.
따라서 진핵세포에서는 DNA에서 mRNA를 만드는 전사(transcription) 과정에서 의미있는 부분인 엑손끼리 잘라 잇는 과정을 거치게 된다.

인트론은 단백질을 만드는 데 관여하지 않는 DNA 부분으로 전사과정에서 pre-mRNA를 만드는 데 사용되지만 matured mRNA를 만드는 데 쓰이지 않고 잘려진다. 인트론은 진핵생물에서 흔하게 볼 수 있지만 원핵생물에서는 그렇지 못하고 tRNA, rRNA만 존재한다. matured mRNA에 남아있는 DNA전사부분을 엑손(exon)이라 한다. 인트론의 개수와 길이는 종(種)간에서뿐만 아니라 종 내부에서도 다르다.
Takifugu rubripes라는 복어는 인트론이 거의 없지만 포유류나 개화식물의 경우 엑손의 길이보다 길고 많은 수의 인트론을 가지고 있다.
힝니야
힝니야(ᡥᡳᠩᠨᡳᠶᠠ Hingniya, 興尼雅, 혹은 興尼牙)는 울라나라씨(烏拉那拉氏)로 명(明) 구한하위도독(嘔罕河衛都督) 구선상구루(固森桑古魯)의 증손자이며, 울라(Ula, 烏拉) 사르다성(薩爾達城) 성주이자, 버일러(貝勒)였으며, 울라 수장과 동족이었다. 울라 수장 자리를 탈취하였으나 실패한 후 여허(Yehe, 葉赫)로 투항하였으며, 후에 다시 코르친부(科爾沁部)로 도주하였다.

울라 (여진)
울라(만주어: ᡠᠯᠠ Ula, 한국 한자: 烏拉 오랍)는 해서여진의 훌룬 구룬의 네 부족 중 하나로 곧 기존의 후룬 구룬이 해릉왕 시기에 쑹화강(송화강, 만주어: ᠰᡠᠩᡤᠠᡵᡳᡠᠯᠠ Sunggari Ula) 하안(河岸)에 요새를 건설하면서 생긴 지명인 울라 홍니(烏拉洪尼勒, Ula Hongni)에 이주한 것이었다. 훌룬(呼倫, 만주어:  Hūlun)국은 울라(烏拉, 만주어: ᡠᠯᠠ Ula), 호이파(輝發, 만주어: ᡥᠣᡳᡶᠠ Hoifa), 하다(哈達, 만주어: ᡥᠠᡩᠠ Hada), 여허(葉赫, 만주어: ᠶᡝᡥᡝ Yehe)의 4부족으로 구성되어 있다.
유엔 안전 보장 이사회 결의 제812호
유엔 안전 보장 이사회 결의 제812호는 1993년 3월 12일에 만장일치로 채택되었다. 내전으로 인한 르완다의 인도주의적 상황, 특히 평화와 안보에 대한 국제적 위협이 되는 난민과 실향민의 수에 대해 우려를 표명한 후 이사회는 르완다 정부, 민주주의 개발 국가 공화 운동, 르완다 애국전선에 1993년 3월 9일에 체결된 휴전을 준수하고 그들이 약속한 기타 합의 사항을 이행할 것을 촉구했다. 이는 르완다 상황에 관한 첫 번째 결의안이었다.

이 결의안은 부트로스 부트로스갈리 사무총장에게 국제 부대의 창설 가능성을 포함하여 르완다에서 아프리카 단결 기구(OAU)의 노력을 강화하기 위한 유엔의 기여 방안을 검토할 것을 요청했다. 또한 부트로스갈리 사무총장에게 국경을 따라 감시단을 배치해 달라는 르완다와 우간다의 요청을 검토할 것을 요청했다.

결의 제812호는 르완다 양측이 유엔 및 아프리카 단결 기구와 협력하고 합의된 대로 1993년 3월 15일에 협상을 재개할 것을 요청했고 양측 모두 국제인도법을 준수할 것을 촉구했다.

르완다 내전
르완다 내전은 중앙아프리카의 르완다에서 일어난 대통령 쥐베날 하브자리마나 정부군과 반정부군 르완다 애국 전선 사이의 내전이다. 르완다 애국 전선과의 첫 충돌은 1990년 10월 1일 시작되었으며, 1993년 8월 4일 과도 정부를 세우는 아루샤 평화 협정의 서명으로 표면적으로 종전되었다.

그러나, 1994년 4월 쥐베날 하브자리마나의 암살이 촉매가 되어 르완다 집단 학살이 일어났으며, 이로 인해 약 80만명이 사망했다. 전쟁과 집단 학살의 밀접한 원인으로 인해, 일부에서는 대량 학살이 서로 다른 사건이기보다는 전쟁의 새로운 폭발이라고도 보고 있다. 결국 르완다 애국 전선이 공세에 나서 르완다를 점령했다. 후투족 망명 정부는 주변 국가에서 난민 캠프를 설치하면서 새로운 르완다 애국 전선의 정부를 불안하게 만들었다. 르완다 애국 전선 및 여러 반군들은 제1차 콩고 전쟁(1996~1997)을 추진했으며, 이 전쟁은 이후 제2차 콩고 전쟁(1998~2003)으로 번지면서 후투군이 르완다의 재점령을 목표로 이 전쟁에 참전하였다. 따라서, 내전은 공식적으로 1993년에 종료했지만, 일부 문헌에서는 르완다 애국 전선이 키갈리를 점령한 1994년에 종전했다고 생각하거나, 1996년 난민 캠프 해산, 더욱으로는 르완다 국경을 따라 존재하는 소규모 게릴라전 등을 통해 계속해서 내전이 지속되어 있다고 말하기도 한다.
로버트 아벨라
로버트 아벨라(몰타어: Robert Abela, 1977년 12월 7일~)는 몰타의 변호사이자 정치인으로, 2020년부터 몰타의 총리와 노동당 대표를 역임하고 있다. 조지 아벨라 전 대통령의 아들로, 그는 2017년에 의회에 선출되었다. 아벨라는 2020년 1월 13일 조지프 무스카트의 사임으로 총리로 취임했다.

몰타의 총리
몰타의 총리(몰타어: Prim Ministru ta' Malta)는 몰타의 최고 관리인 정부의 수장이다. 총리는 국무회의를 주재하고 각 부처의 장관을 선출한다. 총리는 국회의원으로서 의회의 신임을 받을 수 있는 능력 때문에 취임한다.

총리는 대통령에 의해 임명되며, 그렇게 함에 있어서 대통령은 임명된 개인이 하원의 다수를 가장 잘 지휘할 수 있다는 의견을 가지고 있고, 일반적으로, 이 사람은 하원에서 가장 많은 의석을 차지하는 정당 또는 정당 연합의 지도자이다.
우주 추적 및 감시 시스템
미국 미사일 방어 국 (MDA)은 탄도 미사일의 우주 기반 탐지 및 추적을 연구하는 데 사용된 우주 추적 및 감시 시스템 ( STSS ) (이전 SBIRS-Low )을 개발했다. STSS 위성의 데이터는 다른 미사일 탐지 시스템에서 가능했던 것보다 미사일을 더 일찍 요격할 수 있도록 한다. STSS 프로그램은 2001년 " SBIRS Low "프로그램이 미 공군에서 MDA로 이전되면서 시작되었다. 2002년 12월, SBIRS Low Research & Development (SBIRS Low R & D)는 우주 추적 및 감시 시스템 (Space Tracking and Surveillance System)로 이름이 바뀌었다.

우주 적외선 시스템
우주 적외선 시스템 (SBIRS:Space-Based Infrared System)은 미국 국방부의 우주 적외선 감시 시스템에 대한 요구를 충족하기 위해 개발된 우주군 시스템이자 GMD 시스템을 구성하기 위해 우주에서 ICBM의 열적외선을 감지하는 정찰위성이다.
프란시스코 마데로
프란시스코 이그나시오 마데로 곤살레스(스페인어: Francisco Ignacio Madero González, 1873년 10월 30일 ~ 1913년 2월 22일)는 정치인, 작가이자 1911년 ~ 1913년까지 멕시코의 대통령으로서 재임했던 혁명론자였고 훌륭한 상류층 정치인으로서 그는 포르피리오 디아스의 독재 정권에 반대가 연립하도록 중심에서 지원해주었다.

포르피리오 디아스
호세 데 라 크루스 포르피리오 디아스 모리(스페인어: José de la Cruz Porfirio Díaz Mori, 1830년 9월 15일 ~ 1915년 7월 2일)는 멕시코의 대통령으로 1876년에서 1880년 사이와 1884년에서 1911년 사이에 재임하였다. 포르피리오 디아스는 멕시코 혁명으로 쫓겨나기까지 최고 실권자로 재임 하면서 모든 민중운동을 탄압했다. 그가 멕시코를 통치한 시대를 '포르피리아토'(Porfiriato)라고 한다.
디스패치 (비디오 게임)
디스패치(영어: Dispatch)는 애드혹 스튜디오가 개발하고 배급한 에피소드식 어드벤처 게임이다. 이 게임은 특이하게 총 8개의 에피소드로 구성되어 있으며 OTT 시리즈와 비슷하게 에피소드별로 2025년 10월과 11월에 걸쳐 플레이스테이션 5와 윈도우로 출시되었다.

슈퍼히어로 직장 코미디로 묘사되는 디스패치에서 플레이어는 과거 슈퍼히어로 '메카 맨'이었던 로버트 로버트슨 3세의 역할을 맡게 된다. 그는 전투 중 자신의 트레이드마크인 메카 슈트가 파괴된 후, 슈퍼히어로로 전향한 악당들을 위한 배차 담당자(dispatcher)로 취직하게 된다. 출연진으로는 에런 폴, 제프리 라이트, 에린 이벳, 로라 베일리, 트래비스 윌링햄, 매튜 머서의 목소리가 포함되어 있으며, 콘텐츠 크리에이터인 잭셉틱아이, 모이스트크리티컬, 조엘 해버, 앨라나 피어스 및 래퍼 영 그레이비도 참여했다. 이 게임은 출시 첫 달 만에 200만 장 이상 판매되었으며 비평가들의 찬사를 받았다.

어드벤처 게임
어드벤처 게임(adventure game, 모험 게임)은 비디오 게임 장르의 하나로 플레이어가 상호작용 가능한 이야기 안의 주인공으로서 모험과 퍼즐 해결같은 과제를 수행하는 방식을 사용하는 게임들을 가리킨다. 이야기의 비중이 높은 장르의 특성상 문학이나 영화같이 이야기성이 짙은 매체들의 기법을 자주 빌린다. 대부분의 어드벤처 게임(텍스트 및 그래픽 기반 포함)은 다인용을 위한 이야기와 등장인물 제작이 난감한 관계로 주로 일인용을 위주로 설계된다. 커맨드의 선택이나 입력에 의해 스토리를 진행하는 형식이다.

어드벤처 게임의 시조는 어드벤처로 1975년에 즈음하여 미국 연구 기관의 네트워크상에서 퍼졌다. 1974년 첫 등장한 TRPG, 던전즈 앤드 드래곤즈의 영향을 받아 몬스터가 사는 미로를 탐험하는 내용이었다.

어드벤처 게임은 액션성을 필요치 않으며, 논리적인 전개를 필요로 하여 글을 읽거나 추리를 하는 형식이 많다. 어드벤처 게임 중에서도 시각 및 청각과 스토리에 목적을 둔 것을 비주얼 노벨, 사운드 노벨로 구별하기도 한다. 단, 주인공의 능력을 나타내는 수치가 제공되며, 커맨드의 선택에 따라 그 수치가 변동, 이벤트의 발생이나 엔딩이 바뀌는 게임은 시뮬레이션 게임으로 분류된다.
전순혁
전순혁(全順爀, 1881년 7월 25일 ~ ?)은 조선 말기~일제강점기 사람으로 대한제국의 황족이었다. 흥선대원군 이하응의 손자이자 흥친왕 이재면의 장남 영선군 이준용의 첩이다. 그는 일제강점기 당시 왕공족으로 인정받지는 못하였으나 그녀가 낳은 딸 이진완이 왕공족 이준용의 서녀였으므로 조선총독부, 이왕직이 작성한 《양공가공족보자료(兩公家公族譜資料)》에 이름이 알려지게 됐다. 제10대 경기도지사를 역임한 윤원선은 그의 사위였다. 1908년(융희 2년) 이준용의 첩이 되었다.

1916년까지도 그는 이름이 없었으나 자신을 딸을 낳아준 뒤 이준용이 그에게 순혁이라는 이름을 지어주었다. 그의 이름만이 대중에 알려졌다가, 그의 생년월일과 고향, 인적사항은 한국학중앙연구원에서 조선총독부, 이왕직이 편찬한 《양공가공족보자료(兩公家公族譜資料)》를 입수, 판독하면서 알려지게 됐다. 그는 조선 왕실 족보인 선원계보, 선원속보, 선원록에 실리지 못했다. 그러나 조선총독부, 이왕직이 남긴 기록을 통해 행적이 후대에 전해졌다.

이왕직
이왕직(李王職)은 일제강점기에 조선총독부에서 대한제국 황족의 의전 및 대한제국 황족과 관련된 사무를 담당하던 기구로, 대한제국 시기에 황실 업무를 담당하던 궁내부를 형식적으로 계승한 기구이다. 또한 폐지된 조선 장악원의 기능인 아악 등도 편입되었다. 1910년 12월 30일에 창설되어 1946년 1월 31일 폐지되었다. 이왕직의 수장은 장관으로 대신급이었으나, 일본 본국의 궁내부 대신의 지휘를 받았다.
길재
길재(吉再, 1353년~1419년)는 고려 후기의 문신이자 고려 말 조선 초의 성리학자이다. 본관은 해평, 자는 재보(再父), 호는 야은(冶隱) 또는 금오산인(金烏山人)이다. 목은 이색과 포은 정몽주와 함께 고려 말의 삼은으로 불린다.

고려가 망하자 관직을 버리고 선산에 낙향하여 학문 연구와 후학 양성에 전념하였으며, 김숙자, 최운룡, 김종직 등을 통해 사림파로 학맥이 계승되었다.

이색
이색(李穡, 1328년 음력 5월 9일 ~ 1396년 음력 5월 7일)은 고려 말기의 문신이자 정치인이며 대학자, 사상가, 교육자, 철학가, 시인이다.  “이색은 타고난 자질이 밝고 슬기로웠으며, 학문이 정박(精博)하고 마음가짐이 관대하였다. (중략) 후학을 가르치는 데에도 애를 쓰고 부지런하여 게을리 하지 않았으며, 문장을 짓는 데는 붓만 잡으면 즉시 쓰되 사연이 정밀하고 간절했었다. 문집 55권이 세상에 나왔다. 집을 위해서는 재산의 유무(有無)를 묻지 않았으며, 평시에 경솔한 말과 갑자기 노여워하는 얼굴빛을 보지 못했다. (후략)” ㅡ태조실록 9권(1396년)에 있는 기록ㅡ

1328년 경북 영덕군 영해면 괴시리 무가정에서 탄생하였으며, 26세에 과거에 급제하여 숙몽부승을 시작으로 30세에 우간의대부, 40세에는 판개성부사 및 성균관의 대사성을 겸직하였고, 47세에는 왕명으로 영덕군 창수면 출신의 나옹선사의 비문을 찬하였다. 58세에 이르러서는 벽상삼중대광검교시중에 올랐으며, 62세에 판문하부사에 제수되었다. 64세에는 벽상공신삼중대광 한산부원군 영예문춘추관사에 올랐다. 65세에 이성계에 의해 고려가 망하였으나 고려왕조에 충성을 다하고자 하였으며, 마침내 69세에 여강 청심루 아래 연자탄에서 세상을 떠났다.

본관은 한산(韓山)이고, 자는 영숙(穎叔), 호는 목은(牧隱), 시호는 문정(文靖)이다. 성리학을 고려에 소개, 확산시키는 역할을 하였으며 성리학을 새로운 사회의 개혁, 지향점으로 지목하였다.

찬성사(贊成使) 이곡(李穀)의 아들이며, 이제현의 제자로서 그의 문하에서 성리학자들은 다시 역성 혁명파와 절의파로 나뉘게 된다. 정몽주, 권근(길재의 스승), 정도전, 유창 등의 스승이었다. 이성계와 정도전의 역성혁명에 협조하지 않았고 조선 개국 이후에도 출사하지 않았다. 그는 이종학의 아버지이고 박상충의 손윗처남이며 박은의 외숙부이고 고려 말 삼은(三隱)의 한 사람이다.
볼랜드 C++
볼랜드 C++(Borland C++)는 볼랜드가 MS-DOS 및 마이크로소프트 윈도우용으로 출시한 C 및 C++ IDE이다. 터보 C++의 후속작으로, 보호 모드 DOS로 작성된 더 나은 터보 디버거를 포함했다.

터보 C++
터보 C++(Turbo C++)는 볼랜드 C++ 컴파일러에 통합 개발 환경 (IDE)으로, 높은 컴파일 수준과 빠른 연결 속도를 자랑한다. 그러므로 "터보"라는 말이 붙게 되었다. 볼랜드의 매우 잘 알려진 컴파일러들(터보 파스칼, 터보 베이직, 터보 프롤로그. 터보 C)의 계열의 일부에 속해 있었다. 터보 C++는 터보 C를 뒤를 잇는다. 터보 파스칼과 달리, 터보 C++는 언제나 C++ 언어 표준을 고수하였다. MS-DOS 제품은 ISO 표준 C++을 컴파일하지 못했는데 그 까닭은 표준이 완성되기 전에 개발이 중단되었기 때문이었다.

볼랜드는 최근에 "터보" 제품을 다음의 제품으로 구성하였다.:

새로운 모든 버전의 터보 C++

터보 델파이 (닷넷 호환 버전 포함)

Win32용 터보 C#

닷넷 프로그래밍

지금은 터보 C++에 이어 C++빌더라는 이름으로 새로운 버전이 나오고 있다.
아나톨리 코르누코프
아나톨리 미하일로비치 코르누코프(러시아어: Анатолий Михайлович Корнуков, 1942년 1월 10일~2014년 7월 1일)는 러시아 공군의 장군이었고 소련 방공군의 전 전투기 조종사로 1998년부터 2002년까지 러시아 공군의 총사령관으로 근무했으며 대한항공 007편을 격추하도록 명령하여 탑승객 269명을 살해한 장본인이다.

대한항공 007편 격추 사건
대한항공 007편 격추사건(영어: Korean Air Lines Flight 007)은 1983년 9월 1일에 미국 뉴욕 존 F. 케네디 국제공항을 출발해 테드 스티븐스 앵커리지 국제공항을 경유한 뒤 김포국제공항으로 향하던 대한항공 소속 007편 여객기가 비행 중 사할린 인근 모네론섬 근처 상공에서 소비에트 연방 공군 소속 수호이-15TM 전투기의 미사일 공격을 받은 후 피격된 기체가 사할린 서쪽에 추락한 사건으로 로런스 패턴 맥도널드 미국 조지아주 민주당 하원 의원을 포함한 16개국 269명의 탑승자 전원이 사망했으며 이 사건은 대한민국 국적기가 당한 최악의 항공 사고이자 현재 세계 12위 규모의 엄청난 사고로 알려져 있다.
보수 민주당원
보수 민주당원(Conservative Democrat)은 미국의 정치에서 대부분의 다른 민주당원들보다 더 보수적인 견해를 가진 민주당 소속원을 일컫는다. 전통적으로 보수 민주당원들은 미국 남부, 농촌 지역, 그리고 그레이트플레인스에서 주로 당선되었다. 2019년 퓨 리서치 센터의 조사에 따르면, 민주당원 및 민주당 성향의 등록 유권자 중 14%가 자신을 보수 또는 매우 보수적이라고 생각하며, 38%는 중도, 47%는 자유주의 또는 매우 자유주의적이라고 생각하는 것으로 나타났다.

1964년 이전까지 민주당과 공화당은 각각 영향력 있는 자유주의, 중도, 보수 파벌을 거느리고 있었다. 이 시기에 보수 민주당원들은 보수 연합의 민주당 측 주축을 형성했다. 1964년 이후에도 민주당은 도시의 정치기계 정치를 발판 삼아 1970년대까지 보수 파벌을 유지했다. 21세기에 들어서며 당이 왼쪽으로 이동함에 따라 보수 민주당원의 수는 감소했다.

미국 하원 내에서는 청견연합이 중도 및 보수 민주당원들을 대변한다.

미국의 보수주의
미국의 보수주의는 자본주의, 공화주의, 반공주의, 개인주의, 강한 안보, 기독교 윤리 및 서양 문화를 중점에 두는 미국의 정치 사상이다. 미국 우파의 한 주요 갈래를 이룬다.

미국 보수주의는 개인의 자유와 '미국적 가치'를 가장 큰 가치로 두는데, 역사적으로 볼때 기독교적 공화주의에 근거하여 미국의 독립 시까지 왕정의 시민 탄압에 저항한 것이 그 뿌리에 있다. 이들은 큰 정부의 간섭에 반대하는 경제적 자유주의의 입장을 취하며, 법치에 근거한 시민 자유와 민주주의를 옹호하는데 이는 19세기 고전적 자유주의와도 상통한다. 한편 사회보수주의의 입장을 취하여 기독교적 공화주의의 전통적 가치를 옹호하며 강한 안보와 법 집행을 통한 질서의 유지에 찬성하는데, 이러한 것들은 우파 자유지상주의와 관점이 갈리기도 하는 주제이다.
2005 중국야구리그
2005 중국야구리그 또는 CBL 2005시즌은 베이징 타이거스가 톈진 라이언스를 CBL 챔피언 시리즈에서 2승 무패로 누르고 우승하며 끝이났다. 쓰촨 드래곤스와 장쑤 호프스타스가 새로 가입하면서 6개구단 체제로 확대되었다.

베이징 타이거스
베이징 타이거스(중국어: 北京猛虎隊 북경맹호대[*])는 중국 베이징을 연고로 하는 중국야구리그(CBL)의 소속팀이다. 1975년 창단 이후 2002년 중국야구리그 첫 해부터 합류하였다. 홈 구장은 2006년까지 펑타이 야구장이였으나 펑타이 야구장이 2008년 하계 올림픽에 대비해 펑타이 소프트볼 경기장으로 개축됨에 따라 현재 루창 지역에 있는 야구장이 홈 구장이다.