stanford-oval/wikipedia huggingface dataset:
TJB 뉴스특보
방송 시간

특집 뉴스 편성으로 전달하는 뉴스특보이므로 정해진 방송 시간이 없이 유동적으로 편성된다.
정규 뉴스 시간대에 방송될 경우 그 시간대에 방송되는 뉴스가 뉴스특보로 대신 방송되거나 해당 정규 뉴스에서 그 내용을 중점적으로 다룬다.
정규 프로그램(예 : 런닝맨, 정글의 법칙, 집사부일체, 미운 우리 새끼, 스포츠 중계, 생방송 투데이, 좋은 아침 등)이 방송되는 도중에 실시간으로 즉시 전달해야 할 소식이 발생한 경우, 진행 중인 그 정규 프로그램을 잠시 중단시키고 그 소식에 관련된 뉴스를 방송하는 경우도 있다.
같이 보기

SBS 뉴스특보
그 외 대전방송의 뉴스 프로그램

TJB 아침뉴스
TJB 뉴스 (1020)
TJB 뉴스 (1735)
TJB 8 뉴스
경기도안양과천교육지원청

| --- | --- |
경기도안양과천교육지원청


약칭 : 안양과천교육지원청
설립일 : 1964년
소재지 : 경기도 안양시 동안구 관평로 210
상급기관 : 경기도교육청
웹사이트 : http://www.goeay.kr/
경기도안양과천교육지원청(京畿道安養果川敎育支援廳, Anyang Gwacheon Office of Education)은 경기도 안양시와 과천시를 관할하는 경기도교육청 산하의 교육지원청이다.
교육장은 장학관으로 보한다.
연혁

1952년 5월 24일: 시흥군 교육자치제 실시
1963년: 시흥군 동면(안양리 제외)·신동면의 서울 편입으로 현 서울특별시 금천구(구로구 가리봉동 포함)·관악구(동작구 사당동 포함)·서초구 일대가 서울특별시교육국 관할로 분리
1964년 1월 1일: 시흥군 교육청 개청
1973년 7월 1일: 안양시 승격으로 안양시 교육청으로 명칭 변경 (관할구역: 안양시, 시흥군)
1981년 7월 1일: 광명시 교육청 분리 (광명시, 시흥군 분리)
1986년 3월 1일: 과천시 편입
1991년 3월 26일: 경기도안양교육청으로 명칭 변경
1997년 7월 1일: 관양동 현 청사로 이전
2009년 1월 30일: 경기도안양과천교육청으로 명칭 변경
2010년 9월 1일: 경기도안양과천교육지원청으로 명칭 변경
산하기관 > 초등학교

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
|  관양초등학교  귀인초등학교  나눔초등학교  달안초등학교  동안초등학교  민백초등학교  벌말초등학교 |  범계초등학교  부림초등학교  비산초등학교  샘모루초등학교  안양관악초등학교  안양남초등학교  안양덕현초등학교 |  안양동초등학교  안양부안초등학교  안양부흥초등학교  안양신기초등학교  안양중앙초등학교  인덕원초등학교  평촌초등학교 |  해오름초등학교  호계초등학교  호성초등학교  호원초등학교  희성초등학교 |
| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
|  덕천초등학교  만안초등학교  명학초등학교  박달초등학교 |  삼봉초등학교  삼성초등학교  석수초등학교  신안초등학교 |  안양서초등학교  안양양지초등학교  안양초등학교  안양호암초등학교 |  안일초등학교  연현초등학교  화창초등학교 |
산하기관 > 중학교

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
|  관양중학교  귀인중학교  대안여자중학교  대안중학교 |  범계중학교  부림중학교  부안중학교  비산중학교 |  신기중학교  안양부흥중학교  인덕원중학교  임곡중학교 |  평촌중학교  호계중학교  호성중학교 |
| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
|  근명중학교  성문중학교  신성중학교 |  신안중학교  안양서여자중학교 |  안양서중학교  안양여자중학교 |  안양중학교  연현중학교 |
같이 보기

대한민국 교육부
1577년

| --- | --- |
간지: 병자년~정축년
단기: 3910년
그레고리력: 1577년  MDLXXVII
불기: 2121년
이슬람력: 985~986
황기: 2237년
히브리력: 5337~5338
아시리아력: 6327년
에티오피아력: 1571~1572
연호

명(明) 만력(萬曆) 5년
일본(日本) 덴쇼(天正) 5년
후 레 왕조(後黎朝) 자타이(嘉泰) 5년
막 왕조(莫朝) 숭캉(崇康) 10년
기년

류큐(琉球) 쇼에이왕(尚永王) 5년
명(明) 신종 만력제(神宗 萬曆帝) 5년
조선(朝鮮) 선조(宣祖) 10년
후 레 왕조(後黎朝) 세종(世宗) 5년
막 왕조(莫朝) 막머우헙(莫茂洽) 13년
사건

이이 격몽요결 펴냄
탄생

2월 6일 - 이탈리아의 귀족 여성 베아트리체 첸치. (~1599년)
4월 12일 - 덴마크, 노르웨이의 국왕 크리스티안 4세. (~1648년)
6월 28일 - 독일 태생으로 17세기 바로크를 대표하는 벨기에의 화가 페테르 파울 루벤스. (~1640년)
10월 17일 - 이탈리아의 화가 크리스토파노 알로리. (~1621년)
탄생 > 미상

조선 중기의 왕족 의안군. (~1588년)
사망

6월 13일 - 조선 선조의 후궁 공빈 김씨. (1553년~)
11월 19일 - 일본 센고쿠 시대 무장 마쓰나가 히사히데. (?~)
고래자리 94 b

| --- | --- |
고래자리 94 b
 
모항성
이름: 고래자리 94 A
별자리: 고래자리
적경: 03h 12m 46s
적위: -01° 11′ 45″
거리: 72.96 광년(22.38 파섹)
겉보기 등급: + 5.07
형태: F8 V
궤도요소
평균거리(AU): 1.3
이심률: 0.2
공전주기: 454 ± 19 일
물리적 특징
질량: > 1.69 ± 0.26 MJ
발견 정보
발견자: 에겐베르거 연구진
발견방법: 도플러 분광법
상태: 논문 검증 완료됨
외계 행성 목록
고래자리 94 b는 항성 고래자리 94 주위를 도는 외계 행성이다. 고래자리 94는 F형 주계열성 고래자리 94 A와 적색 왜성 B로 이루어진 쌍성계인데, b는 고래자리 A와 중력적으로 묶여 있다. 따라서 보다 정확하게 표시하면 고래자리 94 Ab로 써야 한다. b는 항성으로부터 약 1.4천문단위 떨어져 있으며 454일마다 항성을 한 바퀴 돈다.
2003년 4월 20일 에겐베르거 연구진이 발견 사실을 공식적으로 발표했다.
같이 보기

시계자리 요타 b
고래자리 79 b
경상남도의 문화재자료 (제401호 ~ 제500호)

경상남도 문화재자료는 대한민국의 문화재자료 중에서 경상남도에 있는 것을 가리킨다.
SGA (기업)

| --- | --- |
형태: 주식회사
창립: 1997년 11월 21일
시장 정보: 한국: 049470
서비스: IT서비스 용역
본사 소재지: 대한민국 경기도 의왕시 광진말로 54
핵심 인물: 박재한, 은유진 (대표이사)
매출액: 433억 9,481만 원(2023년)
영업이익: -68억 3,613만 원(2023년)
순이익: -85억 5,014만 원(2023년)
주요 주주: 에스지에이홀딩스(외 8인)(38.34%)
종업원 수: 189명
웹사이트: https://www.sgacorp.kr
SGA 주식회사는 대한민국의 정보시스템 구축 및 유지보수 등 IT 서비스 기업이다. 본사는 경기도 의왕시 스마트시티 퀀텀 B동 5층 (경기 의왕시 초평동 40-3)에 위치해 있다. 공공 기관 입찰 참가 자격 제한으로 인해 주식 매매 거래 정지가 된 적이 있으며 2024년 은유진 회장이 자사주를 매입하였다
국가교육정보시스템인 나이스(NEIS)의 SW운영 및 유지보수 사업을 하고 있다.
역사

2008년 12월 스캐니글로벌과 합병하여 설립되었다.
김학

김학의 다음 사람을 가리킨다.
김학(1943년 ~ 2021년)은 대한민국의 기업인, 수필가이다.
김학(1953년 ~ 2018년)은 대한민국의 언론인이며, 투데이코리아 회장이었다.
김학은 대한민국의 영화배우이다.
같이 보기

제목에 "김학" 항목을 포함한 모든 문서
강제법

집합론에서 강제법(强制法, 영어: forcing)은 특정한 조건을 만족시키는 집합론 모형을 정의하는 방법이다.
강제법은 주어진 집합론의 모형에 새로운 집합을 추가함으로써 새로운 모형을 만드는 과정이다. 가령, 연속체 가설의 부정이 충족되는 모형을 만드려는 경우를 고려하자.  2^{\aleph _{0}}\geq \aleph _{2}이면 연속체 가설이 거짓이므로, 자연수 집합  \mathbb {N} 의 부분 집합을 충분히 많이 추가해서 새로운 모형을 만듦으로써 연속체 가설이 성립하지 않게 만드는 것을 생각할 수 있다. 강제법은 그러한 모형을 만드는 것을 가능하게 해 준다.
강제법에 대하여 파트리크 드오르누아(프랑스어: Patrick Dehornoy)는 다음과 같이 비유하였다.
| 0 | 1 | 2 |
| --- | --- | --- |
| “ | 집합론의 강제법 확장은 마치 체론의 대수적 확대에 비유할 수 있다. 두 경우 모두 공통적인 목표는 주어진 구조를 확장하되, 확장된 구조의 성질이 원래 구조 속에서 제어될 수 있게 하는 것이다. 대수적 확대의 경우, 확대체의 원소는 원래 체의 원소를 계수로 하는 다항식으로 묘사된다. 마찬가지로, 강제법 확장의 경우, […] 원소들은 원래 모형에 등장하는 매개 변수들로 쓸 수 있는 항들로 묘사된다. [On peut] imaginer les extensions par forcing en théorie des ensembles comme analogues aux extensions algébriques en théorie des corps: dans les deux cas, il s’agit de construire une extension de la structure de départ dont les propriétés soient contrôlées de l’intérieur  de  celle-ci.  Dans  les  extensions  algébriques,  les éléments  de  l’extension sont décrits par des polynômes à coefficients dans le corps de base; de même, dans une extension par forcing […] les éléments dont décrits par des termes dont les paramètres appartiennent au modèle de base. | ” |
|   | — :§3 |  |
정의 > 강제법 언어

M이 추이적 집합이라고 하자. 또한, 임의의 집합  P 및 그 부분 집합  G\subseteq P가 주어졌다고 하자. 그렇다면
을 정의하자. 이는  M에서  G-해석할 수 있는  P-이름들의 집합이다.
그렇다면 강제법 언어  {\mathcal {L}}_{P}는 집합론의 1차 논리 언어  {\mathcal {L}}_{\in }에  M^{P}의 원소들을 상수(0항 연산)로 추가한 1차 논리 언어이다.
임의의 원소  x\in M에 대하여, 이름
를 정의하자.:239, Exercise VIII(B2) 이는  x\in M의 이름이라고 한다.
정의 > 강제법 모형

집합  P와 그 부분 집합  G\subseteq P 및 추이적 집합  M이 주어졌다고 하자. 그렇다면,  {\mathcal {L}}_{P}의 추이적 모형  M[G]를 다음과 같이 정의하자.
집합으로서,  M[G]=\{\operatorname {val} (u,G)\colon u\in M^{P}\}는  M에 속하는 이름들의 해석들이다.
\in 의 해석은 외적인 개념과 같다.
M[G]에서, 상수  u\in M^{P}의 해석은  \operatorname {val} _{G}(u)이다.
이에 대하여 케네스 쿠넌은 다음과 같이 적었다.
| 0 | 1 | 2 |
| --- | --- | --- |
| “ |  대략, 이것[ M[G]]은 M에서 정의 가능한 집합론적 과정을   G에 적용하여 구성할 수 있는 모든 집합들의 집합이다.  M[G]의 각 원소들은  M 속의 이름을 가지며, 이는 이것이 어떻게  G로부터 구성되었는지를 가리킨다. […]  M 속에 사는 사람들은  M[G]의 원소의 이름  \tau 를 이해할 수 있다. 그러나 이들은 이름  \tau 가 명명하는 대상  \tau _{G}를 일반적으로 결정하지 못한다. 이는  \tau _{G}의 이해는  G에 대한 지식을 필요로 하기 때문이다.  Roughly, this [ M[G]] will be the set of all sets which can be constructed from  G by applying set-theoretic processes definable in  M. Each element of  M[G] will have a name in  M, which tells how it has been constructed from  G. […] People living within  M will be able to comprehend a name,  \tau , for an object in  M[G], but they will not in general be able to decide the object,  \tau _{G}, that  \tau  names, since this will require a knowledge of  G. | ” |
|   | — :188, §VII.2 |  |
정의 > 강제성 관계

다음과 같은 데이터가 주어졌다고 하자.
추이적 집합  M
원순서 집합  (P,\lesssim ) 및 그 부분 집합  G\subseteq P. 대략,  p\lesssim q라면  q가  p보다 "더 많은 정보를 제공한다"고 여긴다.
강제법 언어  {\mathcal {L}}_{P}의 1차 논리 문장  \phi \in \operatorname {Sent} ({\mathcal {L}}_{P})
원소  p\in P\in M. 이를 강제 조건(영어: forcing condition)이라고 한다.
그렇다면, 다음과 같은 관계를 정의하자.
여기서  \operatorname {Generic} (P,M)는  M에 속하는  P의 모든 공종 집합들의 족  \operatorname {Cofin} (P)\cap M에 대하여 모든  \operatorname {Cofin} (P)\cap M-포괄적 순서 아이디얼들의 집합이다.
또한, 다음과 같은 관계
를 재귀적으로 정의하자.:195–196, Definition VII.3.3 (여기서  u,v\in \operatorname {Name} _{P}는 임의의 두  P-이름이다.)
성질 > 강제법 모형

집합  P와 그 부분 집합  G\subseteq M 및 추이적 집합  M이 주어졌다고 하자. 그렇다면,
이다. 만약  P\neq \varnothing 이라면
은 단사 함수이며, 만약 추가로  G\neq \varnothing 이라면
이다. 따라서,  G\neq \varnothing 이라면  M\subseteq M[G]이다.
또한, 만약  \varnothing \neq G\subseteq P\in M일 때,  P-이름
을 생각하면
이다. 따라서, 이 경우  G\in M[G]이다.
만약  M이 추가로 ZFC의 추이적 모형이라고 하자. 그렇다면, 다음이 성립한다.:189, Lemma VII.2.9:361, §4
즉,  M[G]는  G와  M을 포함하는 최소의 ZFC 추이적 모형이다.
이에 대하여 티머시 이청 차우(영어: Timothy Yi-Chung Chow)는 다음과 같이 적었다.
| 0 | 1 | 2 |
| --- | --- | --- |
| “ | 강제법의 기본 정리에 따르면, 매우 일반적인 조건 아래, ZFC 공리들을 만족시키는 수학적 구조  M에 새 원소  U를 추가하여, ZFC를 여전히 만족시키는 더 큰 구조  M[U]를 만들 수 있다. 개념적으로, 이 과정은 환  R에 새 원소  X를 추가하여 더 큰 환  R[X]를 만드는 과정에 비유할 수 있다. 그러나  M[U]의 구성이 훨씬 더 복잡한 이유는 ZFC의 공리계가 환의 공리계보다 훨씬 더 복잡하기 때문이다. The fundamental theorem of forcing is that, under very general conditions, one can indeed start with a mathematical structure  M that satisfies the ZFC axioms, and enlarge it by adjoining a new element  U to obtain a new structure  M[U] that also satisfies ZFC. Conceptually, this process is analogous to the process of adjoining a new element  X to, say, a given ring  R to obtain a larger ring  R[X]. However, the construction of  M[U] is a lot more complicated because the axioms of ZFC are more complicated than the axioms for a ring. | ” |
|   | — :26, §2 |  |
성질 > 강제성 관계의 성질

M이 ZFC의 추이적 모형이며,  P\in M이며,  G가  P 위의 포괄적 순서 아이디얼이라고 하자.
그렇다면 다음을 보일 수 있다.  {\mathcal {L}}_{P}의 (자유 변수가 없는) 명제  \phi 에 대하여,
M[G]\models \phi \iff M\models (\exists p\in G\colon p\Vdash ^{*}\phi ).:200, Theorem VII.3.6(2) 즉,  M[G]에서 어떤 명제가 참이려면, 그러할 이유(즉, 명제를 강제하는  p\in P)가 존재해야 한다.
(내적 정의 가능성) 임의의 문장  \phi \in \operatorname {Sent} ({\mathcal {L}}_{P})에 대하여,  p\Vdash \phi \iff M\models \left(p\Vdash ^{*}\phi \right):200, Theorem VII.3.6(1)
(일관성)  p\mapsto \{\phi \in {\mathcal {L}}_{P}\colon p\Vdash \phi \}는 순서 보존 함수  P\to ({\mathcal {P}}({\mathcal {L}}_{P}),\subseteq )를 정의한다.:194, Lemma 3.2(a) 즉,  p\Vdash \phi 이며  p\lesssim q라면  q\Vdash \phi 이다.
이 핵심적인 성질들을 사용하여 각종 성질을 만족시키는 강제법 모형을 구성할 수 있다.
이에 대하여 케네스 쿠넌은 다음과 같이 설명하였다.
| 0 | 1 | 2 |
| --- | --- | --- |
| “ |  M에 사는 사람들은  M 속에서  P-포괄적  G를 구성할 수 없다. 이들은 신앙으로서 그들의 세계  M이 가산적으로 보이는 존재가 존재한다는 것을 믿을 수 있다. 이러한 존재에게는 포괄적  G가 존재한다.  M에 사는 사람들은  G와  \textstyle f_{G}=\bigcup G가 무엇인지 알지 못하지만, 이들의 이름이 무엇인지는 알고 있다. 또한, 이들은  G와  f_{G}가 만족시키는 일부 성질들을 알아낼 수 있다. 보다 일반적으로, 이들은 소위 강제법 언어 — 즉, 강제법 언어의 문장  \psi 는  M^{\mathbb {P} }의 이름들을 사용한다 —를 사용하여  M[G]에 대한 뭔가를 말할 수 있다.  M에 사는 사람은 주어진  \psi 가  M[G]에서 참인지 알지 못할 수 있다.  M[G]에서  \psi 가 참인지, 거짓인지 여부는 일반적으로  G에 의존한다. People living in  M cannot construct a  G which is  \mathbb {P} -generic over  M. They may believe on faith that there exists a being to whom their universe,  M, is countable. Such a being will have a generic  G and an  \textstyle f_{G}=\bigcup G. The people in  M do not know what  G and  \textstyle f_{G}=\bigcup G are but they have names for them […]. They may also […] figure out certain properties of  G and  f_{G}. […] More generally, they can construct a forcing language, where a sentence  \psi  of the forcing language uses the names in  M^{\mathbb {P} } to assert something about  M[G] […]. The person in  M may not know whether a given  \psi  is true in  M[G]. The truth or falsity of  \psi  in  M[G] will in general depend on  G. | ” |
|   | — :193, §VII.3 |  |
성질 > 기수의 보존

순서수의 개념은 절대적이다. 즉, 모형 속의 순서수의 개념은 모형 밖의 순서수의 개념과 일치한다. 그러나 기수의 개념(즉, 어떤 순서수가 기수인지 여부)은 절대적이지 않으며, 모형  M의 기수가  M[G]에서는 기수가 아닌 순서수일 수 있다.
ZFC의 추이적 모형  M 및  P\in M 및  P 위의 원순서  \lesssim 가 주어졌다고 하자. 만약 다음 조건이 성립한다면,  P가  M의 기수를 보존한다(영어: preserves cardinals of  M)고 한다.:206, Definition VII.5.6
임의의 포괄적 순서 아이디얼  G\subseteq P 및 순서수  \alpha \in \operatorname {Ord} \cap M에 대하여,  M\models (\alpha \in \operatorname {Card} )\iff M[G]\models (\alpha \in \operatorname {Card} )이다.
만약 다음 조건이 성립한다면,  P가  M의 공종도를 보존한다(영어: preserves cofinalities in  M)고 한다.:206, Definition VII.5.6
임의의 포괄적 순서 아이디얼  G\subseteq P 및 두 순서수  \alpha ,\beta \in \operatorname {Ord} \cap M에 대하여,  M\models (\operatorname {cf} \alpha =\beta )\iff M[G]\models (\operatorname {cf} \alpha =\beta )이다. (여기서  \operatorname {cf} 는 순서수의 공종도를 뜻한다.)
그렇다면, 임의의  P\in M에 대하여 다음과 같은 함의 관계가 성립한다.:207, Lemma VII.5.8, Theorem VII.5.10
예 > 무작위 강제법

(P,\leq )=(\operatorname {Bor} ([0,1]),\supseteq )라고 하자. 여기서  \operatorname {Bor} ([0,1])은 단위 구간  [0,1] 위의, 르베그 측도가 양수인 보렐 집합들의 집합족이다.  (P,\leq )는 최소 원소  [0,1]을 갖는 부분 순서 집합이다.
이 경우, 포괄적 필터  G는  {\mathcal {P}}([0,1]) 속의 필터 기저로서 어떤 실수  r로 수렴하게 된다.
이 경우,  V[r]는 무작위 강제법(영어: random forcing)이라고 한다.
예 > 코언 강제법

이 부분의 본문은 부분 정의 함수입니다.
기수  \kappa 에 대하여,  \operatorname {Pfn} (X,Y;\kappa )가 정의역의 크기가  \kappa  미만인 부분 정의 함수  X\to Y들의 부분 순서 집합이라고 하자. 그렇다면, 이 부분 순서 집합에 대한 강제법을 코언 강제법(영어: Cohen forcing)이라고 하며, 이를 사용하여 연속체 가설의 독립성을 보일 수 있다.
응용

강제법을 사용하여, 집합론의 여러 명제들이 체르멜로-프렝켈 집합론과 독립적이라는 것을 보일 수 있다. 연속체 가설이나 구성 가능성 공리가 그 대표적인 예이다. 또한 강제법과 내부 모형을 이용하면 선택 공리의 독립성 또한 보일 수 있다.
계산 가능성 이론에서도 강제법이 응용된다.
역사

폴 코언이 ZFC에서 연속체 가설의 독립성을 증명하기 위해 1963년에 도입하였다. 코언이 사용한 기법은 구성 가능 위계를 핵심적으로 사용하였고, 오늘날 분기 강제법(分岐強制法, 영어: ramified forcing)이라고 불린다.
이후 데이나 스콧과 로버트 솔로베이가 완비 불 대수를 사용하여 구성 가능 위계를 사용하지 않는 기법을 개발하였으나, 출판하지 않았다.:163, §7 이 기법은 조지프 로버트 숀필드가 정리하여 비분기 강제법(非分岐強制法, 영어: unramified forcing)이라는 이름으로 1971년에 출판하였다. 비분기 강제법이 더 간편하므로, 오늘날 "강제법"이라는 용어는 통상적으로 후자를 일컫게 되었다.
1971년에 로버트 솔로베이와 스탠리 테넨바움은 수슬린 가설의 독립성을 보이기 위하여 반복 강제법을 도입하였다.
같이 보기

이름 (강제법)
김경언

김경언은 다음 사람을 가리킨다.
김경언(金京彦, 1982년 ~ )은 전 KBO 리그 저니맨 외인구단의 외야수, 지명타자이자, 현 KBO 리그 파주 챌린저스의 감독이다.
김경언(Edward Kim, 1989년 ~ )은 대한민국의 농구 선수이다.
같이 보기

제목에 "김경언" 항목을 포함한 모든 문서
1102년

| --- | --- |
간지: 신사년~임오년
단기: 3435년
그레고리력: 1102년  MCII
불기: 1646년
이슬람력: 495~496
황기: 1762년
히브리력: 4862~4863
아시리아력: 5852년
에티오피아력: 1096~1097
연호

북송(北宋) 숭녕(崇寧) 원년
요(遼) 건통(乾統) 2년
일본(日本) 고와(康和) 4년
서하(西夏) 정관(貞觀) 2년
리 왕조(李朝) 롱푸응우옌호아(龍符元化) 2년
기년

고려(高麗) 숙종(肅宗) 7년
북송(北宋) 휘종(徽宗) 2년
요(遼) 천조제(天祚帝) 2년
서하(西夏) 숭종(崇宗) 17년
리 왕조(李朝) 인종(仁宗) 31년
사건

해동통보 주조
예부에서 "우리나라가 예의로 교화하기는 기자(箕子)로부터 비롯되었으니 원컨대 그 분묘를 찾고, 사당을 세워 제사하십시오." 라고 숙종에게 아뢰자 숙종은 서경에 기자사(箕子祠)를 세웠다.
1960년 하계 올림픽 스페인 선수단

| 올림픽 스페인 선수단 |
| --- | --- | --- | --- | --- |
  스페인의 국기
IOC 코드: ESP
NOC: 스페인 올림픽 위원회 공식 웹사이트
역대 선수단
하계 올림픽
 1900 1904–1912 1920 1924 1928 1932 1936 1948 1952 1956 1960 1964 1968 1972 1976 1980 1984 1988 1992 1996 2000 2004 2008 2012 2016 2020 2024
동계 올림픽
 1936 1948 1952 1956 1960 1964 1968 1972 1976 1980 1984 1988 1992 1994 1998 2002 2006 2010 2014 2018 2022
하계 청소년 올림픽
 2010 2014 2018
동계 청소년 올림픽
 2012 2016 2020 2024
올림픽 스페인 선수단
스페인은 1960년 8월 25일부터 9월 11일까지 이탈리아 로마에서 열린 제17회 하계 올림픽에 참가했다.
종목별 성적 > 육상

이 부분의 본문은 1960년 하계 올림픽 육상입니다.
종목별 성적 > 남자

트랙 / 도로 경기
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 선수 | 세부 종목 | 1차 예선 | 1차 예선 | 2차 예선 | 2차 예선 | 준결선 | 준결선 | 결선 | 결선 |
| 선수 | 세부 종목 | 기록 | 순위 | 기록 | 순위 | 기록 | 순위 | 기록 | 최종 순위 |
괴력

괴력(怪力)은 남다른 좋은 근력, 완력이다. 그리스 신화의 헤라클레스는 대표적으로 괴력이 강한 사람으로 꼽히며, 마블 코믹스의 등장인물 헐크 또한 괴력이 강한 캐릭터로 꼽힌다.
괴력은 소설이나 신화와 같은 다른 문학 작품에서 흔히 언급되는 초능력이다. 히스테리적인 힘 현상을 허구적으로 표현한 것으로, 보통 인간이 물리적으로 가능한 것 이상으로 힘을 가하고 무게를 들어올리는 힘이다. 괴력의 대체 용어에는 강화된 힘, 초강력 및 증가된 힘이 포함된다. 괴력은 작가나 그것이 묘사되는 이야기의 맥락에 따라 효능이 달라지는 무정형 능력이다.
괴력을 지닌 인물과 신들은 여러 고대 신화와 종교에서 발견되었다.
괴력은 판타지와 SF에서 흔히 볼 수 있는 비유이다. 이는 일반적으로 사이버네틱 신체 부위, 유전자 변형, SF의 염력장, 판타지 속의 마법적/초자연적 소스와 같은 메커니즘을 통해 이루어진다. 수많은 만화책 슈퍼 히어로와 슈퍼 악당은 어느 정도의 슈퍼 힘을 보여준다. 일부 영화에서는 초능력을 부여하는 가상의 물질이나 약물을 언급한다. 묘사된 초인적 힘의 수준은 가장 강한 스트롱맨 (스포츠), 파워리프터, 역도 선수(예: 무장하지 않은 마스터 치프, 캡틴 아메리카 또는 데스스트로크)의 "정상" 또는 "자연적" 인간 범위 바로 바깥에서부터 거의 무제한의 힘(예: 헐크, 저거너트, 슈퍼맨, 슈퍼걸, 원더우먼, 토르 (마블 코믹스), 헤라클레스 또는 손오공 (드래곤볼))에 이른다.
인간은 기술과 과학적 실험을 통해 괴력을 얻기 위해 적극적으로 노력하고 있다. 운동선수들은 경기력을 향상시키기 위해 혈액 도핑이나 동화작용 스테로이드 복용 등 다양한 방법을 사용했다. 연구 중인 다른 기술로는 움직임과 힘을 강화하기 위해 인간이 착용하는 로봇 외골격이 있다.
같이 보기

체력
베르세르크
튜턴족의 분노
마이오스타틴
스트렝스
김형배

김형배는 다음의 사람들이 있다.
김형배(金炯培, 1920 ~ 2008)는 대한민국의 기업인으로, 한진그룹 창립 멤버이다.
김형배(金亨培, 1932 ~ 2012)는 대한민국의 기업인으로 동부그룹 상임고문과 중소기업진흥공단 이사장을 지냈다.
김형배(金亨培, 1933 ~ 2012)는 강원도지사를 지냈다.
김형배(1947 ~ )는 대한민국의 만화가이다.
같이 보기

제목에 "김형배" 항목을 포함한 모든 문서
가스 폭발

가스 폭발(-爆發)은 연료로 사용되는 기체가 급격한 화학 변화나 물리 변화를 일으켜 부피가 몹시 커져 폭발음이나 파괴가 뒤따라서 일어나는 사고, 불이 붙는 사고 등을 말한다.
원인

가스폭발사고는 고의에 의한 사고유발과 의도하지 않은 불가항력적인 상황에서 발생하는 사고로 나뉜다. 그밖에 온도와 압력 변화에 의한 사고도 있다.
피해

인명살상으로 확대 될 수 있을 뿐만 아니라 사후 트라우마를 유발하여 정신적 후유증을 낳기도 한다.
예

대구 상인동 가스 폭발 사고
아현동 도시가스 폭발 사고
익산 충전소 가스 폭발 사고
청량리 가스 폭발 사고
대구 대명동 가스 폭발 사고
광주 해양도시가스 폭발 사고
보팔 가스 누출 사고
2014년 가오슝시 가스 폭발 사고
덴로쿠 가스 폭발 사고
2014년 이스트할렘 가스 폭발
같이 보기

한국가스안전공사
한국소방안전협회
수소 폭탄
기후물

서기 2500년, 기후 변화의 영향을 받는 인도 농업을 묘사한 사변적 삽화.
기후 소설 (때때로 클라이파이 cli-fi로 줄임)은 기후 변화와 지구 온난화를 다루는 문학이다. 본질적으로 사변적일 필요는 없지만 작품은 우리가 알고 있는 세계 또는 가까운 미래를 배경으로 삼을 수 있다. 장르는 인류가 기후 변화의 영향에 어떻게 반응하는지에 따라 잠재적인 미래를 상상하는 과학 소설과 디스토피아 또는 유토피아적 주제가 자주 포함된다. 기후 공학 또는 기후 적응 관행과 같은 기술은 사회에 미치는 영향을 탐구하는 작품에서 종종 두드러지게 나타난다. 기후 소설은 석유 문화와 경제를 직접적으로 다루는 석유 소설과는 다르다.
"기후 소설"이라는 용어는 2010년대부터 사용되었지만 기후 변화는 이미 20세기 이후부터 JG 밸러드 및 옥타비아 버틀러와 같은 작가가 개척한 소설의 주제였다. 저명한 기후 소설 작가로는 마거릿 애트우드, 킴 스탠리 로빈슨, 리처드 파워스가 있다.
문학 및 환경 문제에 대한 대학 과정은 강의 계획서에 기후 변화 소설을 포함할 수 있다. 이 문헌은 뉴욕 타임스, 가디언, Dissent 지를 비롯한 다양한 국제 매체에서 논의됐다. 기후 변화를 전달 하는 데 있어 소설의 역할은 연구 주제였다.
술어

"cli-fi"라는 용어는 2007년 또는 2008년에 프리랜서 뉴스 기자이자 기후 운동가인 댄 블룸Dan Bloom에 의해 만들어졌다. 블룸은 상업적으로 성공하지 못한 2075년을 배경으로 한 알래스카의 기후 난민에 관한 종말론적 이야기인 그의 소설 Polar City Red를 설명하기 위해 이 용어를 사용했다. 이후 2013년 4월 Christian Science Monitor 와 NPR 이 인간이 유발한 기후 변화를 다룬 소설과 영화의 새로운 문학적 운동에 대한 기사를 게재하면서 주류 언론에 등장했다. Bloom은 이러한 기능에서 용어를 만드는 데 있어 자신의 역할에 대한 언급 부족에 대해 비판적이었다. 스콧 틸은 2014년 허프포스트에 프래니 암스트롱의 영화 '바보의 시대 '에서 SF와 허구의 혼합에서 영감을 받아 2009년에 이 용어를 대중화했다고 썼다.
많은 문학 작품들도 이보다 수십 년 전에 기후 변화를 다루었으며 이 용어는 소급 적용됐다.
같이 보기

종말물
마거릿 애트우드의 미친 아담 시리즈는 생태비평에서 자주 인용되는 디스토피아 소설이다.
경복대학교

비슷한 이름의 경북대학교에 관해서는 해당 문서를 참고하십시오.
| --- | --- |
  경복대학교 남양주캠퍼스
표어: Cultivating Talents, Training Champions! 잠재력을 전문가로, 경복대학교!
건학이념: 홍익인간
종류: 사립 전문대학
설립: 1992년 3월
총장: 전지용
설립자: 전재욱
학교법인: 경복대학교
학부생 수: 6,104명(2023년)
교직원 수:  전임교원: 158명(2023년)  기타교원: 397명(2023년) 
국가: 대한민국
위치: 남양주캠퍼스 경기도 남양주시 진접읍 경복대로 425 포천캠퍼스 경기도 포천시 신북면 신평로 154 
상징물: 모란, 소나무, 씨호크
웹사이트: 경복대학교 홈페이지
ko 경복대학교의 위치
경복대학교(京福大學校, Kyungbok University)는 경기도 남양주시와 포천시에 위치한 대한민국의 사립 전문대학이다.
연혁

경복대학교는 전재욱 박사가 설립한 학교법인 동성학원이 1991년 11월 설립한 경성전문대학이 모태이다. 경기도 포천시에 교사가 위치하며, 이듬해 3월 개교했다. 1998년 6월 경복대학으로 교명을 변경하고, 2002년 개교 10주년을 맞이하였다.
2006년 3월, 경기도 남양주시에 캠퍼스를 설치했다. 2011년 경복대학교로 교명을 변경했다. 2013년 남양주캠퍼스를 개교하며 대학 발전의 새로운 전기를 맞이하였다.
개설 학과·전공

경복대학교는 전문대학으로, 일부 과정을 제외하고 전문학사 학위를 수여하는 학부 과정만 편제되어 있다. 다만, 일부 학과에 대하여 학사 학위 과정을 수여하는 전공심화 과정이 편제되어 있다.
교육 방침상의 특징 > 취업 보장형 학과

경복대학교는 각 기업체와 협약을 체결하는 산학협약을 통해 1명의 졸업자에게 3개 산업체의 취업 지원을 약속하는 학과를 운영하고 있다. 2023년 현재 16개 학과를 지정하여 운영하고 있다.
캠퍼스

경복대학교는 경기도 소재 사립 전문대학으로, 남양주시와 포천시에 각각 캠퍼스를 두고 있다.
캠퍼스 > 남양주캠퍼스

경복대학교 남양주캠퍼스는 진접읍에 위치하며 약 14만m2의 교지가 있다. 2006년, 새롭게 조성한 캠퍼스로써 현재는 본부캠퍼스의 역할을 수행하고 있다. 8개 건축물이 위치하고 있으며, 캠퍼스 남동편의 경복대로를 통해 정문으로 접근이 가능하다. 그 외에 삼면은 벌안산 등 산지에 둘러싸여 있다.
경복대로를 따라 남측으로 진접(경복대)역이 위치해 있다.
캠퍼스 > 남양주캠퍼스 > 건축물 목록

우당관: 대학 본부 건물로, 도서관, 행정센터, 총장실, 이사장실이 있다. 1층부터 2층은 도서관으로 1층은 자율열람실, E-라운지, 멀티미디어룸, 스터디룸이 있으며, 2층은 일반도서, 전공도서 열람, 대출이 가능하다. 3층은 행정센터로 사무국, 기획처, 디지털정보처, 홍보센터 등 교내 행정센터 외에도 국제회의실이 있다. 그리고 맞은편에 유아교육학과 사무실이 있으며, 아동발달창의놀이센터(유아교육학과 실습센터)가 있다. 4층은 총장실 , 다목적실, VIP실, 이사장실, 다목적실(회의실)이 있다. 5층은 PBL 교육실습 평가인증센터 실습실로 유아교육학과 전용 실습실이다.
창조관: 1층에 카페테리아(아젤리아), 로봇무인커피, 학생성공센터(학생행정센터)가 입주해 있다. 그리고 2층부터 4층까지 순서대로 친환경건축학과, 드론건설환경학과, 빅데이터과, 시각디자인과, 영상미디어콘텐츠과, 공간디자인학과 사무실이 위치해있으며, 3층에는 4차산업 인재양성 현장맞춤형 실습센터인 미디어 아트 센터(VR,AR , 크로마키 실습 가능), 4층에는 미래공간융합디자인센터(VR/3D 모델링 스테이션 등)이 있다. 이 밖에도 5층에는 자율학습이 가능한 스카이 라운지가 있다.
문화관: 문화관에는 1층에 대강당인 우당아트홀, 소강당인 그랜드 홀, 분장실, 연기실습실, 공연예술학과 현장맞춤형 실습센터 KUM 이 있다. 문화관에 위치한 학과는 공연예술학과, 실용음악학과, 복지행정과가 있으며, 연기실습실 외에도 녹음실, 방송실, 분장실, 컴퓨터 음악실, 1인 피아노 개인 연습실, 강의실이 마련되어있다.
체육관: 체육관은 문화관과 하나의 통로로 이어져 있으며, 체육관 지하에는 뮤지컬 연습실, 피트니스 실, PX 실, 남녀 샤워실,이 마련되어있다. 체육대회나 입학식이 주로 열리는 공간이다.
충효관: 충효관은 정문 바로 옆에 위치한 건물로, 반려동물보건과, 물리치료학과, 작업치료과, 평생교육대학, 산학협력업체, 창업혁신센터가 위치해있다. 1층에는 반려동물보건과의 임상병원실습실이 완공중이며, 이후 2층, 3층은 첨단건강과학센터가 위치해있다. 물리치료학과와 작업치료학과가 쓰는 곳으로 해당 센터에는 신경계치료, 인지치료, 아동치료, 재활공학센터 등 실제 임상과 똑같은 실습센터가 마련되어있다. 이후 4층부터는 경복대학교와 MOU를 맺은 업체들이 입주해있으며, 5층에는 창업을 진행하는 학생들이 사용할 수 있는 KBU 창업스튜디오, 창업혁신센터가 있다.
선덕관: 선덕관은 우당관 바로 옆에 위치해있으며, 해당 선덕관에 가장 많은 여러 학과가 위치해있다. 소프트웨어융합과, 서비스경영과, 빅데이터과, 호텔관광학과, 항공서비스학과, 뷰티코스메틱과, 약손피부 미용과, 준오헤어디자인과가 있으며, 각 층별로 최신의 실습센터들이 마련되어있다. 지하에는 3D 프린팅센터, 창의 IT센터( 소프트웨어융합과, 빅데이터과) 1층에는 컴퓨터실습실, 세계인홀, 창조인홀(대형강의실), 2층은 창작스튜디오, 전문인홀, 지성인홀(대형PC강의실) ,3층 K-메디컬 실습실, 뷰티션 실습실, 메디컬 비만(체형)실습실(의료미용과) ADL 실습실(의료복지과), 4층 글로벌 뷰티션 센터(약손토탈케어, KBU 뷰티센터, 기능사 스타일리스트존, 전문가 스타일리스트존, 원스탑 헤드스파존, 마스터 스타일리스트존) - 준오헤어, 약손피부미용, 뷰티코스메틱과, 5층 CRS 실습실,  데이터 비즈니스 융합센터- 리테일 플랫폼 4.0, 빅데이터 LAP 가 위치. (서비스경영과, 호텔관광학과), 6층 글로벌 뷰티션센터(디자이너 스타일리스트존), 이미지메이킹실, 항공서비스과 MOCK-up (실제 항공기모형실습센터), 식음료 실습실(바리스타 교육등 - 호텔관광, 항공서비스학과가 사용하고 있다.
지운관 :  지운관은 간호학과, 임상병리과, 치위생과가 있으며, 혁신사업단, 산학협력단이 위치해 있다. 1층은 피오니(카페테리아)와 카페라리(교내 카페)가 있으며, 맞은편에 도서 라운지(세미나실, 자율열람실)가 있다. 2층부터 3층에는 건강간호 과학센터, 기초건강사정 실습실 1,2로 간호학과 전용 실습실이 있으며, 4층은 기초건강사정 실습실, 기본간호학 실습실, 기본임상술기 센터, 기초과학실습실, 모아시뮬레이션실, 중환자 시뮬레이션실, 심화임상술기센터, 응급시뮬레이션실 등 간호학과 첨단 실습센터가 설치 되어있다. 5층은 치위생과 전용 실습센터로 구강방사선 촬영실, 구강 영상학 실습실, 임상전단계 실습실, 마네킨 실습실, 시뮬레이션 실습실, 치과 디지털 실습실 등 현장맞춤형 실습실을 이용할 수 있다. 6층은 바이오 메디컬 센터로 (임상혈액검사실, 임상미생물 검사실, 임상화학검사실, 조직병리검사실, 임상생리 검사실/판독실, 신경계/순환계/폐기능/안과 검사실이 있으며, 예방치과 실습실도 함께 있다. 7층은 대형 강의실인 아너스홀과 스터디룸, 열람실이 위치, 학생들이 자유롭게 이용할 수 있으며 맞은편에 혁신지원사업단, 산학협력단 사무실이 있다.
캠퍼스 > 포천캠퍼스

경복대학교 포천캠퍼스는 신북면에 위치하며 약 20만m2의 교지가 있다. 경성전문대학 시절부터 2006년 남양주캠퍼스가 조성되어 기능이 이전되기까지 본래 본부캠퍼스였다. 6개 건축물이 위치하고 있으며, 캠퍼스 남부 신평로를 통해 진입이 가능하다.
캠퍼스 > 포천캠퍼스 > 건축물 목록

우당관: 대학 본부 건물로,  1층은 우당도서관 (E-열람실, 자율열람실) 과 함께 행정센터, 학생상담센터가 있다.2층 우당도서관 (도서대출) , 3층은 작업치료과가 과거 운동치료실과 일상생활 동작실을 실습실로 썼으며, 현재 작업치료과는 남양주캠퍼스 첨단건강과학센터를 사용하고 있다. 4층은 일반 강의실이 있으며, 5층에는 계단식 무대 공간인 우당홀과 중앙무대인 씨호크홀이 있다.
충효관: 충효관은 과거 간호학과가 쓰던 건물로 현재 간호학과는 서울신설동에 위치한 SERIN 센터(서울산학협력센터)과 남양주 캠퍼스의 지운관 건강간호과학센터, 기본 간호학 실습실 등을 사용중이다. 기존 간호학과가 실습하던 실습실(BNS/ CNS 센터)가 있다.
지운관: 학생생활관 공간으로 1층에는 카페테리아, E-라운지, 다목절홀, 헬스장이 있으며, 2층부터 남양주 캠퍼스 양덕원 기숙사와 동일하게 기숙사 공간이 위치해있다.
지성관: 지성관은 과거 임상병리과가 쓰던 전용 실습실 건물로, 1층~ 3층에 모두 임상병리 실습실/ 연구소/ 강의실이 위치해있다. 5층에는 지성관 강당이 있다. 현재 임상병리과는 남양주 캠퍼스의 지운관 건물 바이오 메디컬 센터에서 실습을 진행한다.
저명한 동문

분류:경복대학교 동문  문서를 참고하십시오.
같이 보기

전재욱
남양주시
포천시
경복대학교 남양주캠퍼스 전경 씨호크
광양용강초등학교

| 광양용강초등학교 |
| --- | --- |

개교: 2003년 4월 23일
설립형태: 공립
국가:  대한민국
위치: 전라남도 광양시 광양읍 용강1길 40
학생 수: 1,040명 (2014년 4월 1일 기준)
교직원 수: 73명 (2014년 4월 1일 기준)
관할관청: 전라남도광양교육지원청
웹사이트: yongkang.es.jne.kr 
ko
광양용강초등학교는 대한민국 전라남도 광양시에 있는 공립 초등학교이다.
학교 연혁

2003년 3월 1일: 개교(13학급, 병설유치원 2학급)
2003년 4월 23일: 개교기념일 지정
2007년 3월 1일: 사곡분교장 본교로 통합
이 목록은 아직 미완성입니다. 여러분이 하여 채워 주세요.
학교 동문

분류:광양용강초등학교 동문  문서를 참고하십시오.
참고 자료

광양용강초등학교 - 한국교육학술정보원 학교알리미
김시덕 (문헌학자)

| 김시덕 金時德 |
| --- | --- |

작가 정보
출생: 1975년(48–49세) 서울특별시
국적: 대한민국
직업: 문헌학자, 대학 교수
학력: 일본 국문학연구자료관 문학 박사
장르: 문헌학 저술
김시덕(金時德, 1975년 ~ )은 대한민국의 문헌학자 및 역사 저술가이자 대학교수이다.
학력

1994년 반포고등학교 졸업
2000년 고려대학교 일어일문학과 학부 졸업
2004년 고려대학교 일어일문학과 대학원 석사과정 졸업 및 박사과정 수료
2010년 일본 국문학연구자료관(일본어: 国文学研究資料館 고쿠분가쿠켄큐시료칸[*]) 문학 박사
저서

《이국정벌전기의 세계: 한반도·류큐 열도·에조치》(일본어: 異国征伐戦記の世界: 韓半島・琉球列島・蝦夷地), 가사마쇼인(일본어: 笠間書院), 2010. ISBN 978-4-305-70539-6
《임진왜란 관련 일본문헌 해제 - 근세편》(공저), 문, 2010. ISBN 9788996411192
《그들이 본 임진왜란: 근세 일본의 베스트셀러와 전쟁의 기억》, 학고재, 2012. ISBN 9788956251660
《교감 해설 징비록: 한국의 고전에서 동아시아의 고전으로》, 아카넷, 2013. ISBN 9788957333204
《그림이 된 임진왜란: 근세 일본 고문헌의 삽화로 보는 7년 전쟁》, 학고재, 2014. ISBN 9788956252612
《동아시아, 해양과 대륙이 맞서다: 임진왜란부터 태평양전쟁까지 동아시아 500년사》, 메디치미디어, 2015. ISBN 9791157060283
《일본의 대외 전쟁》, 열린책들, 2016. ISBN 9788932917931
《전쟁의 문헌학》, 열린책들, 2017. ISBN 9788932918242
《서울 선언 - 문헌학자 김시덕의 서울 걷기 2002~2018》, 열린책들, 2018. ISBN 9788932919164
《갈등 도시 - 서울에서 경기도까지, 시민의 도시에서 벌어지는 전쟁들》, 열린책들, 2019. ISBN 9788932919881
역서

《홍루몽 살인사건》, 황금가지, 2007. ISBN 9788960171015
《일본 괴담집》, 문, 2010. ISBN 9788994427041
《한 경계인의 고독과 중얼거림》, 태학사, 2012. ISBN 9788959664962
《고문서 반납 여행 - 전후 일본 사학사의 한 컷》, 글항아리, 2018. ISBN 9788967354930
급경사면

급경사면 또는 에스카프먼트(Escarpment)는 단층이나 침식의 결과로 형성된 가파른 경사면이나 긴 절벽으로, 서로 다른 고도를 갖는 상대적으로 평평한 두 지역을 분리한다.
좀 더 느슨하게 말하면, 급경사(scarp)라는 용어는 해안 저지대와 대륙 고원 사이의 지역을 의미하며, 고원 기저부의 해안 침식으로 인해 고도가 급격하게 변화하는 것을 보여준다.
중요한 급경사면 > 아프리카

마다가스카르 - 동부 연안
중요한 급경사면 > 아시아

빈디아산맥 - 인도
서고츠산맥 - 인도
중요한 급경사면 > 오스트레일리아, 뉴질랜드

서던알프스산맥 서쪽 급경사면
중요한 급경사면 > 유럽

영국
코츠월즈 급경사면
스코틀랜드
스카이섬
중요한 급경사면 > 북아메리카

시에라네바다산맥 (미국)
중요한 급경사면 > 남아메리카

브라질
남동부 대서양림 보호지역(상파울루주)
같이 보기

구조평야
건우 (서하)

이 문서는 서하의 연호에 관한 것입니다. 후한 (오대)의 연호에 대해서는 건우 (후한) 문서를 참고하십시오.
건우(乾祐)는 서하 인종(西夏 仁宗) 이인효(李仁孝)의 치세에 쓰던 연호이다.