항목
-
기하학에서 증명과 정리란?전개하여 ‘만약(if)-그러면(then)’이라는 조건부 명제의 타당성을 밝히는 것을 말한다. 보통 다음의 다섯 단계에 따라 증명하는 것이 적절하다. (1) 증명할 정리를 말한다. (2) 이용될 수 있는 정보를 정리한다. (3) 그림을 그려 정보를 나타낸다. (4) 무엇을 증명해야 하는지를 말한다. (5) 특히 참이 되는 것으로...
-
제실제도정리국 帝室制度整理局내용 1904년 10월 5일 「제실제도정리국직무장정」이 제정되었으며, 1905년 1월 23일부터 활동을 시작하였다. 직원은 칙임관인 총재(總裁) 1인, 칙임관대우의 의정관(議定官) 6인(궁내부대신과 고문은 당연직으로 정원 외), 주임관대우의 비서(秘書) 2인, 판임관대우의 기사(記事) 3인으로 구성되어 있었다. 1906년 1월...
- 시대 :
- 근대/개항기
- 성격 :
- 관청
- 유형 :
- 제도
- 시행일 :
- 1904년 10월 5일
- 폐지일 :
- 1906년 1월 30일
- 분야 :
- 역사/근대사
-
-
패릭의 정리 Parikh’s theorem언어가 문맥자유언어이기 위한 필요조건을 주는 정리. 먼저, 비음정수의 집합 N의 n개의 직곱을 Nn으로 나타내고, x=(x1, ⋯, xn), y=(y1, ⋯, yn)∈Nn과 r≧0에 대해서, x+y=(x1+y1, ⋯, xn+yn), rx=(rx1, ⋯, rxn)으로 정한다. 이 때, a0,a1, ⋯,am∈Nn에 대해, 인 형식의 집합을, Nn의 선형부분집합(linear subset)이라고...
- 분야 :
- 소프트웨어 기초
-
슬레피언-울프의 정리 Slepian-Wolf theorem2개 이상 서로 관계가 있는 정보원에 대한 정보원 부호화 정리. 1973년에 O. 슬레피언과 J.K. 울프에 의해서 발견되고 증명되었다. 2개의 정보원 X, Y의 경우에 대해서 서술하면 다음과 같이 된다. 즉, 각각의 조건부 엔돌피(엔돌피 참고)를 H(X|Y), H(Y|X)라 하고 정보원 X 와 Y의 결합확률 모델의 엔돌피를 H(X, Y)라...
- 분야 :
- 정보기초
-
가습기 살균제 사건사건 발생 : '원인 미상의 폐질환' 의료계가 어린이들의 원인 미상 급성 간질성 폐렴에 주목하기 시작한 것은 2006년 2월이었다. 한두살의 아이들 십여명이 이전에 보지 못했던 급성 폐질환으로 입원하고 70~80%가 폐 기흉과 폐섬유화가 발생하는 등 상태가 급격히 나빠져 목숨을 잃는 일이 벌어졌다. 이 괴질은 2006...
