shopkeeper/kowiki-cleaned-020126 huggingface dataset:
NHK 교육 텔레비전

NHK 교육 텔레비전(, )은 일본방송협회에서 운영하는 텔레비전 방송국중 하나이다. 대한민국의 EBS 1TV, EBS 2TV과 거의 상당하다.

 개요 
 1959년 1월 10일에 일본 최초이자 세계 최초의 교육 방송국으로 개국했으며 호출부호는 라디오 제2방송과 같다.
 개국 초기에는 방송이 중단되는 시간대가 있었으나, 이후 방송시간이 점차 확대되어 1967년 4월을 기해 방송중단 시간 없이 아침부터 밤까지 방송을 할 수 있게 되었다.
 1977년 10월에 일본의 텔레비전 방송국 중에서 가장 늦게 프로그램 전면 컬러화가 이루어졌다.
 일본 전국방송으로 설립되었기 때문에 지역방송을 하지 않으며 한 방송국에서 여러 현을 방송구역으로 삼는 경우가 많아 종합 텔레비전보다 방송국 수가 적다.
 1990년에 닛폰 TV에서 방송하던 《EX 텔레비전 OSAKA》(요미우리 TV 방송 제작)라는 버라이어티 프로그램에서 "시청률 조사기를 보유하고 있는 약 2600 가구에게만 방송할 프로그램"이라는 특집 프로그램을 방송하기로 했고 이때 이 프로그램의 사회자는 시청자에게 1분간 NHK 교육 텔레비전에 채널을 맞춰줄것을 부탁했다. 당시 NHK의 모든 지상파 텔레비전 방송국은 이 프로그램이 방송중인 오전 0시대에는 방송을 종료했음에도 불구하고 2%(비디오 리서치), 5.9%(AC닐슨)의 순간시청률을 기록했는데 이 때문에 시청률 조사회사인 비디오 리서치에서 요미우리 TV에 항의하는 해프닝이 있었지만 이 프로그램은 그 해 일본 민간방송연맹에서 부여한 TV 오락 프로그램 최우수 상을 수상했다.

 연혁 
 1959년 1월 10일 : NHK E 개국
 2011년 7월 24일 : NHK 아날로그 텔레비전 송출 종료이다. 디지털 송출 전환.

 프로그램 편성 
 교육 프로그램, 복지·실용 프로그램,예술 분야의 프로그램을 주로 방송하며 장애인을 위한 수화뉴스를 방송하고 있다.
 매년 12월 31일부터 1월 3일에는 특별 프로그램을 방송하고 있으며 제2라디오도 이때 특별 프로그램을 방송한다.
 종합 텔레비전에서 특별 프로그램을 방송하느라 방송 못하는 국회중계,스포츠중계등을 방송하기도 하며 커다란 재해가 일어날 경우에는 그 재해와 관련된 특별 프로그램을 방송한다.
 디지털 교육방송의 경우 예비채널을 이용해 메인 채널과 다른 편성으로 방송을 하기도 한다.

 같이 보기 
 KBS
 EBS
 BBC

 각주 

 외부 링크 
 일본방송협회 홈페이지 

분류:NHK
분류:1959년 설립된 텔레비전 방송국과 채널
대기행렬이론

섬네일|350px|FIFO 큐 예제.
대기행렬이론(待機行列理論, )은 대기행렬(queue, waiting line)을 수학적으로 다루는 이론이다. 이 이론은 대기행렬에 도착하는 것과 대기하는 것 그리고 서비스되는 일련의 프로세스들에 대한 수학적, 확률적 분석을 가능하게 한다. 시스템의 평균 대기시간, 대기행렬의 추정, 서비스의 예측 등을 현재 상태를 기반으로 한 시스템의 확률을 기반으로 하여 성능을 측정하는 유용한 도구이다. 대기행렬이론은 경영관리, 산업공학, 통신 네트워크의 성능분석 및 설계(패킷스케줄링 정책, 자원관리)등 여러 분야에서 강력한 도구이다.

이 이론은 서비스 공급에 얼만큼의 리소스를 투입하느냐는 비즈니스적인 결정을 내리는 데 사용되었기 때문에 일반적으로 운용 과학의 한 분야로 생각되고 있다. 그러나 이 이론은 경영관리와 함께 산업 전반, 공공 서비스, 엔지니어링 등 여러 분야에 걸쳐 폭넓게 적용이 가능하다. 종종 교통 시스템이나 통신 네트워크의 설계 및 분석과 같은 분야에서 많이 사용되며 최근에는 콜센터를 분석하는 데 응용되고 있다. 이 이론은 직접적으로 지능형 교통 시스템, 콜 센터, PABX, 네트워크, 서버 큐잉, 통신 시스템, 교통 흐름 등의 분야에서 사용된다.

통신망을 모델링하고 분석하는 방법에는 게임 이론, 그래프 이론 등의 수학적인 도구가 사용되기도 한다.

 경영학 
생산활동에서 필요 불가결한 노동자·자재 또는 기계가 다음 작업을 위하여 기다리는 경우는 항상 있게 된다. 생산활동 또는 용역(service)을 제공하는 데 있어 차례를 기다린다는 것은 작업자간 또는 공정(工程)간에 균형을 이루게 한다는 점에서 대단히 중요한 반면, 기다리는 시간은 어느 면에서 보면 완전히 낭비적인 요소라 할 수 있다. 이와 같이 노동자, 기계 또는 자재의 대기시간을 최소화하고 동시에 유휴시간을 최소로 줄이기 위하여 개발된 것이 대기이론이다.
대기이론은 기다리는 비용과 서비스하는 비용과의 균형을 조화시키기 위한 구체적인 시스템을 근간으로 한다. 생산활동의 3요소인 노동자·기계 및 자재의 유휴시간을 최소화시켜 생산비를 절감시키는 것은 생산활동에서의 주요 목표이다.
예를 들면 공장내에 몇 개의 기계를 설비해야만 이 서비스 시간과 대기시간을 최소화시킬 수 있는가, 정비공의 수는 몇 명 확보해야 기계 정비를 가장 빠르게 그리고 정비공의 유휴시간이 최소화되는가, 광산에서 원광을 실어 나르는 트럭은 몇 대를 움직여야만 하는가, 항구의 독 숫자는 몇 개로 해야 하는가 등의 문제로서 응용 범위는 상당히 광범위하다.

 같이 보기 

 해석적 모델링 (Analytic Modeling)
 성능 분석 (Performance Analysis)
 통신망 시뮬레이션 (Network Simulation)

분류:배급
분류:확률 과정
분류:생산 및 제조
분류:운용 과학
분류:형식과학
분류:마르코프 모형
분류:마르코프 과정
분류:생산 계획
분류:네트워크 성능
영국 영화 텔레비전 예술 아카데미

섬네일
영국 영화 텔레비전 예술 아카데미(, BAFTA)는 영국의 영화 및 텔레비전 프로그램상을 주최하는 단체이다. 1947년 영국 영화 아카데미(The British Film Academy)가 설립되어 1948년부터 영화 부문 시상을 시작했다.

 시상식 
 영화상 

괄호 부분은 최초 시상 연도를 뜻한다.

 텔레비전상 

 게임상 

 어린이상 

 같이 보기 
 영화상 목록

 외부 링크 
 
 
 

분류:1947년 설립
 
분류:영국의 영화
분류:영국의 텔레비전
한복려

섬네일|315x315픽셀|박근혜 전 대통령 옆에 한복려씨가 전시된 궁중전통음식을 소개하고 있다.
한복려(韓福麗, 1947년 5월 13일 ~ )는 대한민국의 조선왕조 궁중음식 연구가이다.

1947년 궁중 음식 연구가인 황혜성의 장녀로 태어나 서울시립대학교 원예과와 고려대학교 식품공학과 석사과정을 거쳐 명지대학교 식품영양학과 박사학위를 받았다. 궁중 음식의 체계화에 힘썼던 어머니의 뒤를 이어 궁중 음식의 재현 및 현대화에 공헌한 것이 인정되어 문화부장관 표창을 받았다. 2000년 남북정상회담 만찬의 메뉴개발과 지원에 참여했으며, 드라마 대장금의 요리자문을 맡기도 했다.

현재 궁중음식연구원 원장이며 한식당 ‘지화자’와 ‘궁연’을 운영하고 있다. 2007년 국가무형문화재 제38호 조선왕조 궁중 음식 기능보유자로 지정되었다.

 저서 

 〈궁중음식과 서울음식〉 (빛깔있는 책 시리즈) 대원사.1985
 〈떡과 과자〉 (빛깔있는 책 시리즈) 대원사. 1989
 〈수험생.어린이.직장인을 위한 영양만점 도시락.간식〉계몽사. 1989
 〈한국의 전통음식〉 교문사. 1991
 〈한복려의 밥〉 뿌리깊은 나무. 1991
 〈서울음식과 궁중음식〉(빛깔있는 책 시리즈) 대원사. 1995
 〈종가집 시어머니 장담그는 법〉 둥지. 1995
 〈궁중의 식생활〉 한국음식대관 제6관, 한국문화보호재단. 1997
 〈한복려를 따라하면 요리가 즐겁다〉 중앙M&B. 1998
 〈우리가 정말 알아야 할 우리 음식 백가지〉 현암사. 1998
 〈우리가 정말 알아야 할 우리 김치 백가지〉 현암사. 1999
 〈쉽게 맛있게 아름답게 만드는 떡〉 궁중음식연구원. 1999
 〈다시 보고 배우는 옛음식 음식디미방〉 궁중음식연구원.1999
 〈한복려의 밑반찬 이야기〉 중앙M&B. 1999
 〈쉽게 맛있게 아름답게 만드는 한과〉 궁중음식연구원. 2000
 〈한복려.최난화의 한식코스요리〉 중앙M&B. 2000
 〈한복려의 국.찌개.전골〉중앙M&B. 2000
 〈한복려의 우리음식 287가지〉중앙M&B. 2001
 〈다시 보고 배우는 조선무쌍신식요리제법〉 궁중음식연구원. 2001
 〈황혜성, 한복려, 정길자의 대를 이은 조선왕조 궁중음식〉 궁중음식연구원. 2003
 〈집에서 만드는 궁중음식〉 청림출판 2004년
 〈반찬걱정 없애주는 요리책〉 중앙M&B. 2005
 〈다시 보고 배우는 산가요록〉 궁중음식연구원. 2007
 〈엄마가 딸에게 주는 요리책〉 주부생활. 2008

 같이 보기 
 윤숙자
 규합총서
 수운잡방
 도문대작
 출처 
 엠파스 인물정보 
 궁중음식은 특별한 게 아니다 (노컷뉴스 2007-06-07)
 궁중음식에서 배운 인생 레시피 (행복이 가득한 집 2007-11월호)
 대장금의 정통성을 잇는 수라간 최고상궁 (식품위생신문 2008-01-01)
 "어머니의 궁중요리 참뜻, 이어갑니다. (인터뷰365)
 외부 링크 
 중요무형문화재 제38호<조선왕조 궁중음식> 전수기관, 궁중음식연구원

분류:조선의 문화
분류:국가무형유산 보유자
분류:한국 요리 연구가
분류:1947년 출생
분류:살아있는 사람
분류:명지대학교 동문
분류:서울시립대학교 동문
오동나무

오동나무(梧桐-, )는 한국 원산의 꿀풀목 오동나무과의 겨울에 잎이 지는 큰키나무다. 붉동나무, 오동이라고도 한다. 오동나무는 원래가 머귀나무로, 이 머귀나무의 머귀가 오梧, 나무가 동桐이기 때문에 한자로 오동梧桐이라고 한다.

 생태 
한국에서는 평안남도·경기도 이남에 주로 분포하며 집 근처와 빈터에 심는다. 키는 10~15 m쯤 되며 지름은 60~90 cm 정도로 자란다. 길이 15~23 cm, 너비 12~29 cm 되는 큼지막한 오각형 모양의 잎이 마주난다. 잎 밑이 심장형으로 패여 있다. 잎 가장자리는 밋밋하며 잎 앞면에는 털이 거의 없고 뒷면에는 잔털이 있다. 5~6월 무렵 가지 끝의 원추꽃차례에 종 모양의 연보라색 통꽃이 피는데 향기가 진하다. 끝이 다섯 갈래로 불규칙하게 갈라져 있다. 꽃 길이는 6 cm 정도로 옅은 자주색을 띠며 털이 있다. 끝이 뾰족한 달걀 모양인 열매는 삭과로 길이는 3 cm로 여러 개가 모여 열리는데, 10월에 익어서 두 조각으로 갈라진다.

 쓰임새 
오동나무는 빨리 자라므로 심은 지 10년이 되면 목재를 이용할 수 있다. 목재는 나뭇결이 아름다우며 재질이 부드럽고 습기와 불에 잘 견디며, 가벼우면서도 마찰에 강해 책상·장롱 등 가구를 만드는 좋은 재료이다. 예전에는 딸을 낳으면 오동나무를 심어 혼수를 대비하기도 했다. 또한, 목재가 소리를 전달하는 성질이 있어 거문고·비파·가야금 같은 악기를 만드는 데에도 쓴다. 오동은 울림이 좋아 악기의 재료로 삼기에 으뜸인 나무다. 한방에서는 줄기와 뿌리 껍질을 동피(桐皮) 또는 백동피(白桐皮)라 하여 치질, 타박상, 삔, 상처, 악성 종기 따위에 약으로 쓴다. 오동나무는 정원에 관상수로 심기도 한다.

 그 외 
 화투에서는 11월에 오동나무 모양의 화투가 4개씩 배치되며, 광과 쌍피, 피 2장 등으로만 구성되어 있다.

 갤러리 

 같이 보기 
 참오동나무

 각주 
출처

참고 문헌
 
 

분류:목본식물
분류:오동나무과
분류:약용식물
분류:관상수
분류:라오스의 나무
분류:베트남의 나무
분류:중국의 나무
분류:한국의 나무
분류:1925년 기재된 식물
아라곤 왕국

아라곤 왕국(, , , )은 아라곤의 현대 자치 공동체에 해당하는 이베리아반도의 중세 및 초기 근대 왕국이었다. 스페인에서 더 큰 아라곤 연합왕국과 혼동되어서는 안 되며, 카탈루냐 공국(옛 카탈루냐 백국들 포함)도 포함되어 있다. 발렌시아 왕국, 마요르카 왕국, 그리고 현재 프랑스, 이탈리아, 그리스의 일부가 된 다른 영토들도 아라곤 국왕의 통치 하에 있었지만, 아라곤 왕국과는 별개로 관리되었다.

1479년, 아라곤의 추안 2세가 임종하자 아라곤과 카스티야의 왕위가 합쳐져 현대 스페인의 핵심을 형성했다. 아라곤의 영토들은 코르테스와 같은 자치 의회와 행정 기관들을 유지했다. 이 협정은 1707년에서 1715년 사이에 펠리페 5세가 스페인 왕위 계승 전쟁의 여파로 공포한 누에바 플란타 칙령까지 유지되었다.

 갤러리 
왼쪽|섬네일|upright=0.6|아라곤의 역사적인 문장

 같이 보기 
 아라곤 국왕
 아라곤 왕실 배우자 목록
 나바라 국왕
 바르셀로나 백작

 각주 

분류:유럽의 옛 나라
분류:아라곤 연합왕국
분류:아라곤주의 역사
분류:이베리아반도의 옛 나라
분류:스페인의 중세사
분류:옛 왕국
분류:유럽의 옛 군주국
분류:피레네조리앙탈주의 역사
성녕대군

성녕대군 이종(誠寧大君 李褈, 1405년 8월 12일~1418년 3월 20일)은 조선의 왕자이며, 태종의 자녀 가운데 6남이자 적4남으로, 어머니는 원경왕후이고, 이름(성과 휘)은 이종(李褈)이다.

성녕대군은 부모의 막내 자식으로 태어났을 뿐만 아니라, 성품이 공손하고 온순하였기 때문에 태종과 원경왕후가 다른 자녀들보다 각별히 사랑하였다.

 생애 

 탄생 
1405년(태종 5년) 7월 9일, 태종(太宗)과 원경왕후(元敬王后)의 넷째 아들로 태어났다.

 혼인 
1411년(태종 11년) 성녕군(誠寧君)에 책봉되었고, 1414년(태종 14년) 1월, 성녕대군(誠寧大君)으로 진봉되었다. 이해 12월, 성억(成抑)의 딸인 경녕옹주 성씨와 혼인하였다. 1417년(태종 17년), 대광보국의 품계를 받았다.

 사망 
1418년(태종 18년) 1월 26일, 홍역에 걸려 목숨이 위태롭게 되자, 태종은 흥덕사의 승려들과 무당을 모아 기도하게 하고, 승정원에 명하여 점성사들을 불러 성녕대군의 길흉화복을 점치게 하였다. 형인 충녕대군은 직접 약재를 짓고 병구완을 하였으나 발병 10여일만인 2월 4일 사망하였다.

태종은 성녕대군을 잃은 슬픔에 식사를 물렸으며, 형조의 청에 따라 성녕대군의 병세를 점친 맹인과 무녀 중 일부를 벌주라고 명하였다. 뿐만 아니라 성녕대군의 치료를 담당했던 의원 양홍달을 파직하고 원학 등의 직책을 강등하였다.

또한 대군의 죽음을 비통해하며 변계량과 효령대군, 충녕대군을 불러 귀신의 이치에 대해 묻기도 하였다.

1418년(태종 18년) 3월 13일, 예조의 특별 건의로 변한국 소경공(卞韓國昭頃公)에 추봉되었다.

 사후 
성녕대군은 고양현 북쪽 산리동 진방(震方) 산기슭에 안장하였다. 성녕대군의 묘비문은 변계량이 지었다. 세종의 셋째 아들인 안평대군이 성녕대군에게 입적되어 봉사손이 되었다.

그러나 안평대군이 1453년(단종 1년) 계유정난에 연루되어 강화도로 귀양가고, 그 해 10월 19일 그 일가가 멸문당하면서 안평대군은 성녕대군의 봉사손에서 제외되었다. 뿐만 아니라 안평대군의 양어머니인 성녕대군의 아내 성씨 또한 연좌되어 경주로 유배되었다. 이후 1456년(세조 2년) 7월 7일, 세조의 특명으로 석방되었다.

1459년(세조 4년), 종부시(宗簿寺)에서 대군가가 대(代)가 끊기어 제사봉행을 못하고 있으므로 효령대군의 6남 원천군(原川君) 의(宜)를 양자로 들여 봉사하도록 하였다.

이후에도 종손이 일곱 번이나 끊겼다. 훗날 이러한 사태를 딱하게 여긴 고종이 입직강관이었던 이승보에게 명하여 대군의 후손을 찾게 하고 전지(傳旨)를 내려 제사를 지내도록 하였다. 그러나 입직강관 이승보의 농간으로 인하여 고종의 은전을 받지 못하고 가세가 계속 기울어 고양시 대자동에서 충청도 음성으로 하향까지 하였다. 이후 성녕대군의 사후 양가 후손들이 주경야독하고 후학을 양성하여 대군의 16대손에 이르러 종손가에 여유로운 훈풍이 불면서 종사가 활기를 띄기 시작했다.

효령대군(孝寧大君)의 후손이 성녕대군 가문에 출계되었기 때문에 전주 이씨 효령대군파 종회에서는 성녕대군의 양가 종손을 같은 종손(從孫)으로 예우하고 있다.

 가족 관계 
 아버지 : 태종(太宗, 1367~1422)
 어머니 : 원경왕후 민씨(元敬王后 閔氏, 1365~1420)
 누나 : 정순공주(貞順公主, 1385~1460)
 누나 : 경정공주(慶貞公主, 1387~1455)
 누나 : 경안공주(慶安公主, 1393~1415)
 형 : 양녕대군(讓寧大君, 1394~1462)
 형 : 효령대군(孝寧大君, 1396~1486)
 형 : 세종(世宗, 1397~1450)
 누나 : 정선공주(貞善公主, 1404~1424)
 부인 : 삼한국대부인(三韓國大夫人) 창녕 성씨(昌寧 成氏) - 성억(成抑)의 딸
 장남(양자) : 안평대군 용(安平大君 瑢) - 세종의 3남
 차남(양자) : 원천군 의(原川君 宜) - 효령대군의 6남

 성녕대군이 등장하는 작품 
 드라마 
 《용의 눈물》(KBS, 1996년~1998년, 배우:허정민)
 《대왕 세종》(KBS, 2008년, 배우:백승도, 주영민)
 《조선구마사》 (SBS, 2021년, 배우:문우진)

 같이 보기 
 태종
 원경왕후
 세종
 양녕대군
 효령대군

 각주 

분류:1405년 출생
분류:1418년 사망
분류:조선의 왕자
분류:조선 태종의 자녀
분류:조선 세종
분류:효령대군파
분류:홍역으로 죽은 사람
군함기

군함기(軍艦旗, )는 해군함에 계양되며, 국가를 상징하는 기이다. 군함기는 선수기(船首旗, )와는 다르다. 나라마다 상선기나 관선기와 디자인이 같기도, 다르기도 하다.

대부분의 나라는 한 종류의 국기와 각 사용처에 따라 세 개의 해상기(상선기, 관선기, 군함기)를 가지고 있다. 예를 들어 영국의 경우에는 지상에서는 한 개의 기(유니언 잭)를 사용하고, 해상기로는 각각 색이 다른 세 개의 기를 사용하고 있다. 특이하게 북유럽 국가의 군함기는 끝이 갈라져있는 모양을 하고 있다.

 군함기 목록 

 옛 군함기 목록 

 같이 보기 
 선수기 (船首旗, Jack)
 군기 (軍旗, War Flag)

 외부 링크 
 

분류:해양기
분류:해군기
베레

섬네일|바스크인들의 베레
베레(, ) 또는 베레모(Béret帽)는 챙이 없는 둥글며, 펠트로 만드는 모자이다. 원래 프랑스인들이 전통적으로 쓰고 다니던 모자였다. 지금은 세계 각국의 군인들의 제식 모자로 채용되고 있으며, 특정한 색깔의 베레를 쓰고 전투에 임하는 부대는 베레의 색깔에 따라 애칭을 부여받기도 한다. 대표적인 예는, 미국 육군 특수부대의 애칭인 그린베레(), 프랑스 해군 특수전부대의 애칭인 Bérets verts 등이 있다. 군인들의 베레에는 어느 정도 늘어난 부분이 있는데, 이를 탄 베레(tan beret)이라고 하며, 이런 유형의 베레는 미국 육군 레인저, 오스트레일리아 육군 등이 사용하고 있다.

 베레의 특성과 쓰는 방법 
베레는 처음에는 바스크(프랑스 남부와 스페인 북부지역 일부) 농민들이 착용하였고, 모직물을 뜨개질해서 만들었다. 지금의 베레는 모직물, 펠트, 아크릴 섬유를 주로 사용하고 있다.

제식으로서의 베레도 대부분 모직물을 사용하지만, 일부에서는 가죽이나 비단을 사용하기도 한다. 가끔은 끈에 모자를 바짝 죄기도 한다. 끈을 안으로 묶거나, 넣으며, 왼쪽으로 기울여 쓴다. 또한 일부의 경우 기장을 붙이기도 한다. 몇몇 베레에서는 아교를 먹인 천을 보강재로 사용하는 천을 기장으로 쓰기도 한다.

군용 베레는 어느 정도 기울이지만, 바스크인들의 베레는 대체로 접히기도 한다.

 군용 베레 
베레는 20세기 중반 이후부터 여러 나라의 군인들의 제식으로 사용하고 있다. 현재 하늘색 베레(blue beret)는 국제 연합 평화유지군의 상징으로 쓰이고 있다. 군용 베레는 대체로 오른쪽으로 쓰고 있지만, 유럽에서는(프랑스를 포함하여) 왼쪽으로 쓰고 있다.

베레는 군인들에게 있어 아주 매력적인 특징이 있다. 먼저 싸고, 대량으로 만들 수 있다는 것이다. 둘째는 다양한 색깔을 낼 수 있으며, 이로 인해 특정 병과를 상징하거나 그 내부에서의 단결을 유도할 수 있다는 점이다. 셋째는, 베레를 착용함으로써 특정 군모로는 쓰기가 불편한 군 장비를 더욱 쉽게 사용할 수 있다. 대표적으로 전차 부대는 베레를 착용함으로써 통신장비를 자유롭게 착용하고 군사작전에 임할 수 있다.

그렇지만, 보병들의 경우, 챙이 넓은 모자가 베레보다 전투에 유리하기 때문에, 보병들은 주로 대외적인 목적에서만 베레를 착용한다.

베레는 특히 기갑부대의 승무원이 자주 사용한다. 영국군 기갑부대는 1918년에 베레를 정식 군모로 채택하였으며, 독일의 경우, 1930년대 후반 헬멧 안쪽을 덧댄 베레를 사용하기 시작하였다. 검은색 베레는 기갑차량의 안쪽의 기름 얼룩을 보여주지 않기 때문에 기갑부대 대원들의 머리 장식이 되었다. 또한, 이 검은색 베레는 영국 연방의 여러 기갑부대에서도 착용하였다.

미국, 중화인민공화국, 러시아(옛 소비에트 연방) 등의 베레 착용 방법은 다른 나라의 군대에서도 이를 본뜨고 있다.

아래는 세계 여러 나라의 베레모 색상과 착용 부대이다.

 나라별 
 
 어두운 파랑 - 해병대
 밝은 파랑 - 대통령궁 경비부대
 검정 - 기갑부대
 녹색 - 특수부대
 어두운 빨강 - 육군 항공대
 오렌지 - 육군 헬기부대

 
 녹색 - 보병
 검정 - 기갑부대
 오렌지 - 헌병
 밤색 - 특수부대, 의무병
 어두운 파랑 - 포병, 공병
 밝은 파랑 - 행정
 밝은 갈색 - 보병
 위장무늬 - 제32연대(특수부대)

 
 검정 - 보병, 기갑, 해병대
 녹색 - 특수부대
 빨강 - 공수부대
 회청 - 공군
 어두운 어두운 파랑 - 해군
 밝은 파랑 - 헌병

네덜란드의 경우, 다양한 색상을 통하여 병과를 세분화하여 구별하기도 한다.

 
오른쪽|섬네일|올리브색 베레를 착용한 노르웨이 군인

노르웨이군의 베레에는 H자가 새겨져있다. 이는 국왕 하랄 5세의 머릿글자를 의미한다고 한다.

 어두운 녹색- 북부 핀마크지역 주둔군
 검정 - 기갑부대, 정보부대
 카키색 - 제2연대
 에머랄드빛이 있는 녹색 - 텔레마크 연대
 밤색 - 특수부대
 빨강 - 헌병
 올리브색 - 보병, 포병, 근위대(은색 휘장)
 어두운 파랑 - 해군
 파랑 - 공군
 밝은 파랑 - 방공포병

 
 흑록색 - 육군
 검정 - 육군 특수전사령부, 카투사, 학생 군사 훈련단(ROTC)
 빨강 - 공군 CCT
 자주 - 공군 제6탐색구조비행전대
 녹색 - 해병수색대, 해병 전차대대, 해병 상륙돌격장갑차대대
 회색 - 해군 특수전전단
 남색 - 공군 헌병
 하늘색 - 평화유지군

 
 녹색 - 포병, 통신, 공병, 예비군
 빨강 - 헌병
 밤색 - 특수부대
 검정 - 보병, 기갑부대, 정찰대
 어두운 파랑 - 해군
 뱕은 회청 - 공군
 밝은 파랑 - 육군 항공대

 
섬네일|200px|검정 베레를 착용하고 있는 독일(당시 서독)군 부사관. 1989년
독일의 경우, 모든 육군에 베레가 지급되고 있지만, 해군과 공군에서는 육전대에게만 지급되고 있다. 또한 기갑부대의 경우, 열병식등에서도 주로 베레를 사용하고 있다.

 검정 - 기갑부대, 기갑 수색대
 밤색 - 특수부대, 공수부대, 육군 항공대
 빨강 - 포병, 공병, 정보부대, 방공부대, 군수지원부대
 녹색 - 보병, 기계화 보병, 군악대
 어두운 파랑 - 의무병
 네이비 블루 - 해군, 공군 육전대(공군 열병식에도 착용), 유럽 엽합군

 
 녹색 - 육군 특수부대(Green Berets)

 군 이외의 조직에서의 베레 사용 
만화가들이 쓰는 베레모도 있다.

 민간 단체의 베레 사용 

 일반인들의 베레 사용 

 같이 보기 
 비레타
 플랫캡
 주케토

분류:프랑스의 문화
분류:캡
분류:프랑스의 패션
고베 시영 지하철 세이신·야마테선

세이신·야마테선()은 일본의 지하철 노선 가운데 하나이다. 고베시 교통국이 운영한다. 일본 효고현 고베시 주오구에 있는 신코베역과 고베시 니시구에 있는 세이신추오역을 잇는다.

 역사 
 1977년 3월 13일 신나가타 ~ 묘다니 구간이 개통.
 1983년 6월 17일 오쿠라야마 ~ 신나가타 구간이 개통.
 1985년 6월 18일 신코베 ~ 오쿠라야마 구간과 묘다니 ~ 학원도시 구간이 개통.
 1987년 3월 18일 학원도시 ~ 세이신 중앙 구간이 개통.
 1988년 4월 2일 호쿠신 급행 전철 호쿠신 선이 신코베에 접속하여 직결 운행 개시.
 1993년 3월 20일 세이신미나미 역 영업 개시.
 7월 9일 쾌속 열차 운행 개시.
 1995년 1월 17일 한신·아와지 대지진으로 피해를 당하여 운행 휴지.
 1월 18일 15시 33분 (JST, UTC+09) 이타야도 ~ 세이신 중앙 구간이 운행 복귀

 2월 16일 전 구간이 운행 복귀. (산노미야, 가미사와, 신나가타 3역에는 정차 하지 않은 상태)
 3월 16일 산노미야 역과 신나가타 역 영업 복귀
 3월 31일 가미사와 역 영업 복귀

 2002년 12월 16일 여성 전용 차량 도입
 2006년 10월 1일 피타파 도입

 운행 형태 
대부분 열차가 호쿠신 급행 전철 호쿠신 선과 서로 직결 운행을 한다.

이 노선의 정식 명칭은 다음과 같이 구분되나 일반 고객들에게는 안내되지 않는다.
 야마테 선(): 신코베 ~ 신나가타 7.6 km
 세이신 선(): 신나가타 ~ 묘다니 5.7 km
 세이신 연장선(): 묘다니 ~ 세이신 중앙 9.4 km

 차량 
 6000형

 과거 차량 

 1000형
 2000형
 3000형
 호쿠신 급행 전철 7000계

 차내방송 

 2012년 7월1일보다 차내방송이 시작되었다.
 현재로서는 다니가미역 신코베역에소 일본어 영어 외에 중국어 한국어로 방송되다.
 역 목록 
전 구간이 효고현 고베시에 있다.

 차량 기지 

 묘다니차량 기지

 세이신차량 기지

 외부 링크 

 고베시 교통국
 고베 시영 지하철 세이신·야마테 선 소개

세이신·야마테선
분류:긴키 지방의 철도 노선
2003년 12월

__NOTOC__

 2003년 12월 31일 
 대구 지하철 화재 참사 이후 10개월 만에 중앙로역이 복구 공사 완료와 동시에 영업 재개하다.

 2003년 12월 26일 
 이란의 밤 근처에서 일어난 지진으로 도시의 90%가 파괴되고 4만여 명의 사상자가 발생하다.

 2003년 12월 25일 
 베냉의 코토누(fr)에서 이륙중이던 보잉 727형 비행기가 추락하여 130명이 사망하고 10명이 실종되다. 생존자는 21명이다.

 2003년 12월 24일 
 폭탄을 설치하려던 ETA의 조직원들이 체포되다.

 2003년 12월 19일 
 리비아가 대량살상무기(WMD) 포기를 발표하다.

 2003년 12월 17일 
 이란이 핵 확산 금지 조약에 서명하다.

 2003년 12월 16일 
 파키스탄의 페르베즈 무샤라프 대통령이 라왈핀디 근처의 자택에서 테러를 당했으나 부상만 당하였다.

 2003년 12월 13일 
 이라크 전쟁: 사담 후세인 전 이라크 대통령이 체포되다.

 2003년 12월 11일 
 발레리 지스카르 데스탱이 레오폴 세다르 상고르의 사망 이후 비어 있던 아카데미 프랑세즈의 빈 자리를 메울 회원으로 선출되다(34표 중 19표 획득).

 2003년 12월 7일 
 이을용 선수가 축구경기 도중 중국선수 뒤통수를 손바닥으로 때리는 사건이 발생하여 퇴장당하였다. (을용타)

 2003년 12월 5일 
 북캅카스에서 일어난 자살 폭탄 테러로 42명이 사망하고 150명이 부상하다.
2003년 11월

__NOTOC__

 2003년 11월 26일 
 영국 항공 소속의 콩코드가 마지막 상업 운항을 했다. 에어프랑스 소속의 콩코드는 이미 5월에 운항이 종료된 상태이다.
 국제 원자력 기구가 이라크에게 핵 확산 금지 조약을 따를 것을 투표로 결의하다.

 2003년 11월 24일 
 신용 불량자 양산 등 자금난 문제로 유동성 위기를 겪고 있는 LG카드(현 신한카드)가 채권단으로부터 2조원의 긴급 자금을 지원하다.

 2003년 11월 23일 
 조지아의 에두아르트 셰바르드나제 대통령이 장미 혁명으로 인해 퇴진하다.

 2003년 11월 21일 
 국제 우주 정거장이 궤도상에 올려진 지 5년이 되는 날이다.

 2003년 11월 20일 
 이스탄불에서 영국에 반대하는 2건의 차량 폭탄 테러가 발생하다. 영국 대사관과 HSBC의 지점을 각각 목표로 한 이 테러로 영국 대사관이 일부 파괴되고, 영국인 외교관을 포함한 27명의 사망자와 390명의 부상자를 냈다.

 2003년 11월 18일 
 마이클 잭슨이 성추행 혐의로 체포되다.

 2003년 11월 15일 
 이스탄불의 시나고그를 목표로 한 두 차례의 차량 폭탄 테러로 23명(그중 6명은 유태인)이 사망하고 300여 명이 부상하다.

 2003년 11월 14일 
 타이베이 101이 완공되다.

 2003년 11월 13일 
 일본이 이라크에 파병할 것을 밝히다.

 2003년 11월 11일 
 미국 상원이 시리아에 대한 각종 제재 조치를 두고 표결을 벌이다.

 2003년 11월 8일 
 미국 공군이 팔루자(ar) 지역을 폭격하다.
 리야드 교외의 고급 주택가에서 일어난 차량 폭탄 테러로 17명이 사망하다.
 2003년 11월 5일 
 2004학년도 대학수학능력시험이 시행되다. 역대 대학수학능력시험 사상 최초로 "복수 정답"을 인정하였다.

 2003년 11월 4일 
 노벨(en)이 오픈수세를 배포하는 수세(fr)를 사들일 것을 발표하다.

 2003년 11월 2일 
 장미 혁명이 일어나다.

 2003년 11월 1일 
 열린우리당이 창당되다.
2003년 10월

__NOTOC__

 2003년 10월 31일 
 마하티르 빈 모하맛 말레이시아 총리가 22년 임기를 마치고 공식 퇴임했다.
 2003년 10월 30일 
 이회창 한나라당 전 총재가 16대 대선자금 불법수수와 관련해 대국민 사과를 발표하였다.

 2003년 10월 28일 
 프와티에(fr)에서 게르하르트 슈뢰더 독일 수상, 장 피에르 라파랭 프랑스 수상을 중심으로 프랑스의 각 레지옹의 지사(22명 중 13명)와 독일의 각 란트의 지사(16명 중 6명)가 참석한 회의가 열리다.

 2003년 10월 27일 
 바그다드의 적신월사를 목표로 한 자살 폭탄 테러가 5회 발생하여 43명이 사망하다.

 2003년 10월 23일 
 마드리드에서 이라크의 재건을 주제로 하여 73개국, 20개 국제 기구 및 13개의 비정부 기구의 대표가 참석한 회의가 열리다.

 2003년 10월 22일 
 22일에서 25일에 걸쳐 프랑스의 자크 시라크 대통령이 니제르와 말리를 국빈 방문하다.

 2003년 10월 21일 
 대구 지하철 화재 참사 이후 8개월 만에 중앙로역 무정차 통과 형식으로 전구간 통행 재개하다.

 2003년 10월 20일 
 이스라엘 군이 가자 지구를 5회에 걸쳐 폭격하여 7명이 사망하다.
 프랑스의 담배 상인들이 높은 담배 가격에 항의하며 총파업을 벌이다. 총파업은 90%의 참여율을 보였다.

 2003년 10월 19일 
 바티칸에서 테레사 수녀에 대한 시복식이 3000여 명이 참여한 가운데 열리다.

 2003년 10월 17일 
 볼리비아의 시위 격화에 따라 곤잘로 산체스 데 로차다(es) 대통령이 사임하고 마이애미로 망명하다. 부통령인 카를로스 메사(es)가 뒤를 이어 대통령이 되었다.
 타이베이 101이 건물 옥상에 60m의 첨탑을 올려 높이 508m가 되어 세계에서 가장 높은 건축물이 되었다.

 2003년 10월 16일 
 16일과 17일에 걸쳐 브뤼셀에서 유럽 연합 정상 회의가 열리다.
 푸트라자야(ms)에서 열린 제10회 이슬람 회의 기구의 정상 회의에 블라디미르 푸틴 러시아 대통령이 참석하다.

 2003년 10월 15일 
 중화인민공화국이 선저우 5호를 발사하다.
 2003년 10월 12일 
 이라크 바그다드 도심 바그다드 호텔 부근에서 차량 폭탄 테러가 발생하여 7명이 사망하다.

 2003년 10월 11일 
 볼리비아에서 9월 28일부터 계속되어 온 천연 가스 개발에 반대하는 시위가 격화되어 군이 시위대를 향해 발포, 수십 명이 사망하는 일이 일어나다.

 2003년 10월 10일 
 노무현 대통령이 재신임 국민투표를 제안하다.

 2003년 10월 9일 
 GSI 연구소에서 발견한 110번 원소가 국제순수·응용화학연합 및 국제순수·응용물리학연합(en)에 의해 다름슈타튬으로 공식 명명되다. 이는 GSI 연구소가 위치한 다름슈타트에서 유래된 이름이다.

 2003년 10월 8일 
 대한민국 검찰, 최도술이 SK그룹으로부터 11억을 수수한 사실을 확인하다.
 연예인 비리와 관련하여 서세원과 이수만이 구속되다.
 프리토리아에서 도미티앵 은다이제예(fr) 부룬디 대통령과 피에르 응쿠룬지자 민주방위국민평의회(FDD) 사이에 평화 협정이 체결되다. 부룬디 내전은 2년 뒤인 2005년에 이르러서야 종식되었다.

 2003년 10월 7일 
 대한민국의 노무현 대통령, 일본의 고이즈미 준이치로 총리, 중국의 원자바오 총리가 인도네시아 발리 섬에서 3국 정상회담을 갖고 14개 분야에 합의하다.

 2003년 10월 5일 
 미국 조지 W. 부시 대통령, 부분분만 낙태 금지법(Partial-Birth Abortion Ban Act)에 서명하다.
 아흐마트 카디로프가 선거에서 82.5%의 지지를 받아 체첸 공화국의 대통령으로 선출되다.

 2003년 10월 2일 
 프로야구 선수인 이승엽, 56호 홈런으로 아시아 최다기록을 수립하다.
2003년 9월

__NOTOC__

 2003년 9월 30일 
 에어프랑스와 KLM이 합병을 선언하다.

 2003년 9월 29일 
 1984년에 국제 연합 교육 과학 문화 기구를 탈퇴했던 미국이 로라 부시를 대표로 하여 재가입하다.
 노무현 대통령이 민주당 탈당을 공식 선언하다.

 2003년 9월 28일 
 대한민국 노동부가 퇴직연금제 등을 '급여자 퇴직급여 보장법안' 입법예고 할 것임을 발표하다.
 이탈리아에서 대규모의 정전이 발생하다.

 2003년 9월 27일 
 러시아 플레세츠크 우주 기지에서 대한민국의 첫 과학기술위성 과학기술위성 1호, 발사 성공.

 2003년 9월 26일 
 대한민국 국회, 윤성식 감사원장 후보자 임명동의안을 부결하다.
 이승엽이 55호 홈런으로 한국 프로야구 시즌 신기록을 세우다.

 2003년 9월 24일 
 빈에서 열린 석유 수출국 기구 회의에 1990년 이래 불참해 왔던 이라크의 대표가 참석하다.

 2003년 9월 22일 
 유럽 연합이 프랑스가 제안한 알스톰에 대한 구제 계획을 받아들였다.

 2003년 9월 21일 
 갈릴레오 호가 목성의 대기권에서 임무를 마치고 소멸하다.

 2003년 9월 20일 
 대한민국, 새천년민주당 신당파, 국민참여통합신당으로 국회에 교섭단체를 공식 등록하다.
 라트비아에서 유럽 연합 가입을 묻는 국민 투표가 실시되어 67%의 찬성을 얻다.

 2003년 9월 15일 
 이스라엘 정부가 팔레스타인 자치 정부의 휴전 제안을 거부하다.

 2003년 9월 14일 
 에스토니아에서 유럽 연합 가입을 묻는 국민 투표가 실시되어 66%의 찬성을 얻다.
 스웨덴에서 유로 사용을 묻는 국민 투표가 실시되어 56.61%의 반대로 부결되다.

 2003년 9월 12일 
 태풍 매미가 상륙하여 127명의 사망자 및 5조 원 가까운 재산피해가 발생하다.

 2003년 9월 11일 
 존 리터가 사망하다

 2003년 9월 10일 
 멕시코 캉쿤에서 세계 무역 기구(WTO) 협상 반대 시위를 벌이던 이경해 전 한국농업경영인중앙연합회 회장이 할복 자살하는 사건이 발생하다.

 2003년 9월 3일 
 대한민국 국회, 김두관 행정자치부 장관 해임 건의안을 가결하다.

 분당선 서울시내 연장구간이던 수서역~선릉역 구간이 개통하다.

 2003년 9월 2일 
 압둘라 빈 압둘아지즈 알사우드 사우디아라비아 왕세제가 모스크바를 공식 방문하다.
세이신추오역

세이신 추오역()은 일본 효고현 고베시 니시구에 있는 철도역이다.

 역사 
 1987년 3월 18일 영업 개시.

 1993년 7월 9일: 쾌속 운전을 개시한다. 차고 완성에 의해, 1번선의 사용 개시.

 1995년
 1월 17일 : 한신·아와지 대지진으로 재해, 불통이 된다.
 1월 18일: 영업 재개, 쾌속을 휴지.
 7월 21일：휴지하고 있던 쾌속을 폐지.

 역 구내 
섬식 승강장1면 2선과 단선 승강장 1면 1선

기본적으로는 2번선에 타니가미행, 3번선에 신고베행이 도착하지만, 아침이나 저녁에는 반대가 되는 경우도 있다.

1번선은 원칙적으로세이신차량 기지에서 출고한 차량이 사용한다. 기본적으로는 2번선 또는 3번선을 사용한다.

 승강장 

 역세권 정보 

 공공 시설 

 고베시 니시구 관공서
 나데시코 예술문화센터

 상업 시설 

 엑소아레 니시진 중앙
 프렌티

 버스 노선 

 사진 

 인접역 

분류:고베시의 철도역
분류:1987년 개업한 철도역
분류:고베시 교통국의 철도역
2003년 8월

__NOTOC__

 2003년 8월 31일 
 대한민국, 권노갑 전 민주당 고문, 현대비자금 200억 원 수수혐의로 구속 기소하다.

 2003년 8월 29일 
 대한민국 국회에서 주5일 근무제를 골자로 한 근로기준법 개정안이 국회 본회의에서 통과되다.
 이라크의 나자프(ar)에서 차량 폭탄 테러로 82명이 사망하다. 희생자 중에는 저명한 종교 지도자인 사이드 모하마드 바키르 알 하킴도 포함되어 있었다.

 2003년 8월 28일 
 대한민국과 조선민주주의인민공화국, 제6차 남북 경제협력추진위원회 합의문 발표.

 2003년 8월 27일 
 화성이 지구에 6만 년 만에 처음으로 55,758,006킬로미터까지 대접근하였다.
 6자 회담이 베이징에서 남·북·러·미·일·중 여섯 나라가 모여 처음으로 열리다.

 2003년 8월 25일 
 대한민국 정부, 신용불량자 81만 명 구제 대책을 발표하다.
 르완다에서 대통령 선거가 실시되어 폴 카가메가 선출되다. 이 선거는 1994년의 학살 이후 최초로 시행된 대통령 선거이다.
 뭄바이에서 두 차례에 걸친 차량 폭탄 테러로 52명이 사망하고 다수의 부상자가 발생하다.

 2003년 8월 24일 
 반북 시민단체들과 제22회 하계 유니버시아드대회 조선민주주의인민공화국 취재기자들 간에 충돌 사건이 발생하다.
 브라질의 알칸타라 발사 센터에서 발사 중이던 VLS-1형 로켓이 폭발하여 21명이 사망하다.(:pt:Acidente de Alcântara)

 2003년 8월 21일 
 제22회 하계 유니버시아드대회 대구광역시에서 개막하다.

 2003년 8월 17일 
 바그다드에서 로이터 통신 소속의 기자인 마젠 다나(Mazen Dana)가 미군에게 피격되어 사망하다.

 2003년 8월 14일 
 서울 지방법원, 간첩누명을 쓴 수지 김 유족에 42억 국가 배상 판결이 나왔다.
 미국과 캐나다 등지에서 정전이 발생하다.

 2003년 8월 11일 
 권노갑 새천년민주당 전 고문이 현대 비자금 수수혐의로 긴급 체포되다.
 NATO, 아프가니스탄에서 평화 유지 활동을 시작하면서 54년 역사에서 사상 처음으로 유럽 외의 지역에서 작전을 개시하다.

 2003년 8월 10일 
 이탈리아에서 세계 최초 복제 망아지인 ‘프로메테아’가 탄생하다.

 2003년 8월 8일 
 대구 수성구의 경부선 고모역~경산역 구간에서 김천발 부산행 제303열차(무궁화)가 앞서 가던 동대구발 순천행 제2661열차(화물)를 추돌하여 2명이 사망하고 99명이 부상당하였다.(고모역 열차 추돌사고)

 2003년 8월 7일 
 바그다드의 요르단 대사관을 목표로 한 차량 폭탄 테러가 발생하여 17명이 사망하다.
 한총련 소속 일부 대학생, 경기도 포천 미군 사격 훈련장 불법으로 진입하여 기습 시위하다.

 2003년 8월 5일 
 자카르타의 한 특급 호텔 앞에서 지마 이슬라미야(id)에 의한 것으로 추정되는 차량 폭탄 테러가 발생하여 16명이 사망하다.
 현대자동차, 주5일 근무제 시행 등 노사협상 타결로 47일간의 파업을 마감하다.

 2003년 8월 1일 
 북오세티야 공화국의 모즈도크에서 일어난 자살 폭탄 테러로 50여 명이 사망하다.
2003년 7월

__NOTOC__

 2003년 7월 30일 
 프랑스 카오르(fr)에서 ETA의 조직원 3명이 체포되다.

 2003년 7월 29일 
 푸에블라에 있는 폭스바겐 공장에서 마지막 폭스바겐 비틀이 완성 출고되다. 동 모델은 1934년에 페르디난트 포르셰에 의해 구상되고 1938년부터 생산되기 시작한 이래, 65년간 생산되다.

 2003년 7월 27일 
 랜스 암스트롱이 제90회 투르 드 프랑스에 우승하여 5회 연속 우승의 기록을 세웠다.

 2003년 7월 20일 
 니스에서 현지 시각으로 오전 2시 30분 경 폭탄 테러가 발생하다. 이 사건으로 16명이 부상당하였다.

 2003년 7월 19일 
 19일부터 22일까지 토니 블레어 영국 총리가 일본, 대한민국, 홍콩을 방문하다.

 2003년 7월 16일 
 미국이 이라크 전쟁에서 147번째의 패배를 맛보았다. 이 횟수는 걸프 전쟁에서의 미국의 패배 횟수와 같다.
 인도 북부의 쿨루 계곡(en)에 내린 집중 호우로 100여 명이 실종되다.

 2003년 7월 10일 
 마푸투에서 열린 아프리카 연합 정상 회의에서 말리의 알파 우마르 코나레(fr) 대통령이 의장으로 선출되다.

 2003년 7월 9일 
 2003년 6월 4일 라오스에서 체포되어 징역형을 선고받았던 기자 일행이 석방되다.

 2003년 7월 8일 
 샴 쌍둥이 비자니 자매, 분리 수술 직후 사망하다.

 2003년 7월 7일 
 부룬디의 후투족 무장단체인 FNL(fr)이 수도 부줌부라를 공격하여 정부군과 교전하여 많은 사상자가 발생했다.

 2003년 7월 5일 
 모스크바 근교의 록 콘서트장에서 체첸 사람들에 의한 연속 폭탄 테러가 발생하여 13명이 사망하다.

 2003년 7월 4일 
 알 자지라 방송이 2003년 6월 14일자로 되어 있는 사담 후세인 전 이라크 대통령의 메시지를 방송하다.
모형 이론

수리 논리학에서 모형 이론(模型理論, )은 추상대수학이나 집합론 등의 모형을 이루는 구조를 연구하는 분야이다. 모델 이론, 모형론, 모델론이라고도 한다.

 개요 
수리 논리학에서 증명 이론과 모형 이론은 각각 논리적 언어에 대한 통사론과 의미론과 같다고 할 수 있다. 모형이론은 특정 이론 속의 모든 논리적 문장을 만족시키는 구조를 다루는 분야로, 보통 1차 논리 등 논리체계에 대하여 진위 여부를 판단하는 의미론을 부여할 때 가장 일반적으로 모형 이론이 사용된다. 한편 모형 이론의 권위자 C. C. Chang 및 Keisler (1990)는 보편 대수학에 일반적인 구조의 개념을 추가한 것이 바로 모형 이론이라고 표현하였으며, 역시 권위자인 Wilfrid Hodges는 체를 다루지 않는 대수 기하학과 같다고 표현하였다. 이렇듯 모형 이론은 구조를 다루는 분야이기 때문에 그 연구 대상을 대수구조에 한정할 시 추상 대수학을 더욱 일반화하여 다룰 수 있게 된다.

20세기 초반부터 발표된 괴델의 완전성 정리, 뢰벤하임-스콜렘 정리, 콤팩트성 정리 등이 현대적 형태의 모델 이론의 출발을 알렸다. 이외에 모델 이론의 초기 선구자는 알프레트 타르스키로 그가 논리학의 의미론에서 논리체계에 진리 여부를 일괄적으로 부여하는 존재를 연구하면서 구조의 개념을 사용하였고 이에 모델 이론이 대두되었다고 볼 수 있다. 초기 모델 이론 연구자들은 대부분 그의 학생들이었다.

이후 모델 이론은 대수학을 추상화시키는 도구가 되었으며, 이외에도 수학의 다양한 분야에 영향을 주었다. 비표준 해석학은 모델론을 사용하여 실수의 1차 논리 이론의 비표준적인 모형인 초실수를 연구하는데, 이를 통해 실수에 대한 일부 정리를 간단하게 증명할 수 있다. 특히 현대에 이르러서는 고전 모델론으로부터 안정성 이론(stability theory)이 등장하여 수학의 다양한 분야에 접목되고 있다.

 1차 논리 

자유변수가 없는 논리식을 문장(sentence)이라 하고, 그것들의 어떠한 집합을 이론(theory)라 정의할 때, 어떠한 이론 내의 모든 문장을 만족시키는 논리적 구조(structure)를 이론의 모형(model)이라 한다. 곧 어떠한 이론 T는 모형 M을 가진다면 만족가능하다(satisfiable)고 표현하고 기호로는 와 같이 쓴다. 이렇게 모형 이론은 1차 논리의 의미론을 이룬다.

 보편 대수학 

보편 대수학(universal algebra)은 모형 이론의 특수한 경우로 볼 수 있는데, 그 언어가 (등식 이외의) 관계를 포함하지 않고, 모든 공리가 방정식적인 이론의 모형들을 다룬다. 모델론은 어떠한 논리적 구조를 다루는 분야이기 때문에, 그 연구대상이 대수 구조에 한정될 시 추상 대수학을 효과적이며 보편적으로 다룰 수 있게 되며, 그것이 보편 대수학(universal algebra)이다.

보편 대수학의 주요 개념은 부호수(signature) σ와 그것에 의해 규정되는 구조인 σ-대수(σ-algebra)이다. 예시는 다음과 같다:
환의 표준적인 부호수는 σring = {×,+,−,0,1}이며, 여기서 × 와 +는 이항 연산, −는 단항 연산, 0 과 1는 무항(無項) 연산이다. 반환(semiring)의 경우 여기서 - 연산을 제외한 것으로 볼 수 있다.
군의 표준적인 부호수는 σgrp = {×,−1,1}이며, 여기서 −1는 단항 연산이다.
예컨대 환이란 다음의 특성들을 '만족'시키는 σring-구조라 할 수 있다. u + (v + w) = (u + v) + w, u + v = v + u, u + 0 = u, u + (−u) = 0, u × (v × w) = (u × v) × w, u × 1 = u, 1 × u = u, u × (v + w) = (u × v) + (u × w), (v + w) × u = (v × u) + (w × u).
이런 식으로, 군 또한 u × (v × w) = (u × v) × w, u × 1 = u, 1 × u = u, u × u−1 = 1, u−1 × u = 1를 만족시키는 σ-대수구조이다.
반군은 특성 u × (v × w) = (u × v) × w를 만족시키는 {×}-구조이고, 마그마는 그냥 {×}-구조이다.

이는 대수 구조들의 클래스를 정의하기에 아주 적합한 방식으로, 준동형 사상을 일반화시킨 σ-준동형(σ-homomorphism)이라는 것도 정의될 수 있기 때문이다.

보편대수학에 있어서 중요한 도구로는 초곱(ultraproduct)이라는 개념이 있다. 초곱 라 표현할 때, I는 σ-구조 Ai의 체계에 일종의 색인을 붙이는 무한 집합이고, U는 I의 초필터(ultrafilter)이다.

 유한 모형 이론 
유한 모형 이론(finite model theory)은 1차 논리 등 논리적 언어를 '유한한' 구조에 적용하는 것에 관하여 연구하는 이론으로, 형식 언어(구문론)와 그 해석(의미론) 간의 관계를 다룬다. 1차 논리가 무한한 구조에 관한 모형론의 표준적인 논리체계인 것과는 대비된다. 유한한 구조로는 유한군, 그래프, 컴퓨터적 모형 따위가 있을 수 있다.

 집합론 
모델론적 관점은 집합론에서 특히 상대적 무모순성을 증명할 때 유용하게 사용된다. 쿠르트 괴델은 선택 공리와 연속체 가설이 다른 체르멜로-프렝켈 집합론 내의 공리들과 모순되지 않음을 증명하기 위해 모델론적 방법을 이용하였는데, 그는 ZF에서 구성가능한 집합들을 모은 구성 가능 전체 를 구성하여, 이를 전체(universe)로 하는 모형 속에서 선택 공리와 일반화 연속체 가설이 성립함을 보였다.

뢰벤하임-스콜렘 정리로부터 도출되는 스콜렘 역설(Skolem's paradox)에 따르면, 무모순적인 공리적 집합론은 가산 모형을 갖는다. 이는 집합론 내에는 비가산 집합의 존재를 상정하는 진술들도 있는데 이들까지 가산 모형 내에서 참이 된다는 점에서 다소 비직관적으로 다가올 수 있다. 특히 폴 코언이 연속체 가설을 증명하는 과정에서는, 모델 내에서는 비가산으로 보이고 모델 바깥에서는 가산으로 보이는 집합의 개념이 사용되었다.

ZFC 및 관련 집합론의 상대적 무모순성에 관한 문제에 따른 현대 집합론의 가장 큰 의논은 구성 가능성 공리, 큰 기수 공리 등 새로운 공리들로 대표되며, 이러한 연구에 있어서 모형 이론은 핵심적이다.

 같이 보기 

 구조 (논리학)
 뢰벤하임-스콜렘 정리
 콤팩트성 정리
 기본 매장
 증명 이론

 참고 문헌 
 
 
 

 외부 링크 
 
 
 
 

 
분류:수리논리학
2003년 6월

__NOTOC__

 2003년 6월 26일 
 룩셈부르크에서 유럽 연합 농업 장관 회의가 공통농업정책을 주제로 하여 개최되다.

 2003년 6월 24일 
 블라디미르 푸틴 러시아 대통령이 영국을 국빈 방문하다. 러시아의 국가원수로서는 1844년의 니콜라이 1세 이래로 159년 만의 영국 방문이다.

 2003년 6월 21일 
 하마스의 지도자 압달라 카와스메(Abdallah Kawasmeh)가 요르단강 서안 지구에서 이스라엘군에 피격되어 사망했다.

 2003년 6월 13일 
 체코에서 유럽 연합 가입을 묻는 국민 투표가 실시되다. 55.2%의 투표율을 보였고, 77.3%가 찬성하였다.

 2003년 6월 11일 
 예루살렘에서 자살 폭탄 테러로 17명이 사망했다.

 2003년 6월 7일 
 7일부터 8일까지 폴란드에서 유럽 연합 가입을 묻는 국민 투표가 실시되다. 58.6%의 투표율을 보였고, 78.3%가 찬성하였다.

 2003년 6월 6일 
 노무현 대통령, 일본을 공식 방문하다.

 2003년 6월 4일 
 라오스의 먀오족 주거지역을 취재하던 프랑스인 기자 2명, 벨기에인 기자 1명과 통역이 체포되다. 이들은 6월 30일에 징역 15년을 선고받았다.

 2003년 6월 1일 
 프랑스의 에비앙 레 뱅(fr)에서 G8 확대정상회의가 1일부터 3일까지 열리다. 한편 이에 대항하여 제네바와 안마스(fr) 등지에서 10여만명이 세계화와 신자유주의를 반대하며 시위를 벌이다.