google/wiki40b huggingface dataset:
배치 파일

MS-DOS, OS/2, 윈도우에서 쓰이는 배치 파일(batch file)은 명령 인터프리터에 의해 실행되게끔 고안된 명령어들이 나열되어 있는 텍스트 파일이다. 배치 파일이 실행될 때, COMMAND.COM 또는 cmd.exe와 같은 셸 프로그램이 파일을 읽어 명령어를 줄 단위로 실행한다. 배치 파일은 보통 실행 파일을 자동으로, 연속적으로 실행할 때 유용하며 시스템 관리자가 따분한 일들을 자동화하기 위해 자주 사용한다.
유닉스 계열 운영체제에서 배치 파일은 셸 스크립트와 닮아 있지만, 구문과 명령어가 제한이 되어 있기 때문에 일반 목적의 프로그래밍에 적합하지 않다. 이러한 제한을 해결하려면 DOS 시절의 경우 노턴 유틸리티나 이후에 나온 셸 4DOS와 같은 넓은 용도의 "강화" 명령어를 사용하면 된다.

예제

단순한 배치 파일의 예제는 다음과 같다: (rem은 주석 처리를 말함)

 rem 알림:echo off는 [[표준 출력]]에 각 명령을 출력하지 않게 하는 명령어이다.
 @echo off
 rem 알림:echo.는 빈 줄을 하나 출력한다.
 echo.
 echo [[Hello World]], AProgram.exe를 실행하려면 아무 키나 누르십시오!
 pause > nul
 rem 알림: 배치 파일에 대한 첫 [[매개변수]]는 "%1"로 지정하면 된다.
 AProgram.exe %1
 if errorlevel 1 goto error
 echo.
 echo AProgram이 끝났습니다.
 goto end
 :error
 echo.
 echo AProgram에 무언가가 잘못된 것 같습니다.
 :end

명령 프롬프트 위치

윈도우 비스타 이후부터는 명령 프롬프트가 사용자 계정 컨트롤(UAC)이 켜져있는 상태에서는 특정위치를 가리키게 되어있으므로, 실행할 파일의 절대경로를 참조하거나, "%~DP0"의 명령어를 사용해야하는 일이 발생할 수 있다.
감독판

대표적인 영화 및 감독

《터미네이터》의 제임스 카메론 감독은 감독판이 많기로 유명하다. 현재 우리나라에도 《어비스》 감독판이 비디오테입으로 나와 있는데, 극장에서 상영한 것과는 분량이 제법 많고 내용도 다르다. 더욱이 《터미네이터 2: 심판의 날》의 경우 완벽한 감독판이 없을 정도로 버전이 많은데 LD로 나온것을 보면 1편에 존의 아버지로 등장했던 마이클 빈이 잠시 나오기도 한다고 한다. 그 외에도 《에이리언 2》도 감독판이 따로 있다.
《블레이드 러너》의 감독판도 유명하다. 1982년 개봉 당시 제작자 측에서는 데커드 (해리슨 포드 분)와 레이첼 (숀 영 분)이 엘리베이터 속으로 들어감과 동시에 문이 닫히는 마지막 장면을 너무 어둡고 모호하다는 이유로 난데 없는 해피 엔딩, 즉 데커드와 레이첼이 탈출에 성공하여 외계 식민지의 정글 위를 비행선을 타고 날아다니는 장면으로 교체했다. 또한 영화의 내용이 너무 어렵다는 이유로 데커드의 보이스 오버 나레이션을 추가했다. 이 나레이션을 해리슨 포드는 매우 마음에 들어하지 않았고 매우 성의없이 이를 읽었다고 한다. 92년에 감독 리들리 스콧은 엔딩 장면을 원래대로 고치고, 보이스 오버 나레이션을 들어낸 뒤, 반젤리스의 음악을 전면 수정하고, 종이 접기와 유니콘의 환상 같은 삽입 화면을 추가함으로써 82년 극장 개봉판과는 전혀 다른 영화가 된 감독판을 공개했다. 그 결과 이 영화는 아직까지도 수많은 영화광들의 해석과 논쟁을 불러일으키는 걸작의 반열에 올라서게 되었다.
파포스

파포스(고대 그리스어: Πάφος, 현대 그리스어: Πάφος, 터키어: Baf, 라틴어: Paphus 또는 한때 Augusta)는 키프로스 남서부의 해안 도시로, 파포스 구의 행정 중심지이다. 고대에는 "파포스"라는 이름을 가진 지명이 두 곳이나 있었는데 옛 파포스와 새 파포스라고 불렀다. 오늘날 사람이 살고 있는 도시는 새 파포스이다.
파포스는 그리스 신화에서 아프로디테 여신의 탄생지로, 도시의 창건 신화는 모든 면에서 아프로디테와 관련이 있다. 그리스-로마 시대에 파포스는 키프로스 섬의 도읍이었으며 로마 속주 총독의 관저 유적으로 유명하며 정교한 모자이크는 관광객의 인기를 얻고 있다. 서기 1세기경 타르소스의 파울로스(성 바울)이 이 도시를 방문한 바 있다. 파포스 시는 유네스코 세계유산으로 등록되어 있다.
곽의진

생애

전라남도 진도군 군내면 분토리 출생이며 서울여자중학교와 경기여자고등학교를 졸업했다. 1983년 단국대학교 국어국문학과 학사 학위 이후 1985년 단국대학교 대학원을 석사 학위하였으며, 1983년 단국대학교 대학원 시절, '월간문학' 신인상 공모에 '굴렁쇠 굴리기'가 당선되어 등단했다.
2014년 5월 25일 SBS 프로그램 《자기야 백년손님》에 사위 우현과 함께 출연 중 고혈압으로 쓰러져 병원으로 이송되었으나 회복하지 못하고 향년 68세로 별세하였다.

주요 활동

창작집 '비야 비야', '남겨진 계절', '얼음을 깨는 사람들'을 출간하고 1990년 전남매일에 장편소설 『부활의 춤』을 연재해 작품성을 인정받았으며, 1995년 전라남도 진도군 지산면 와우리에 귀향하여 집필실에 '자운토방'이라는 이름을 붙이고 작가 활동을 계속하여 왔다. 
1996년 1월부터 1997년 12월까지 만 2년 동안 문화일보에 『꿈이로다 화연일세』를 연재했다. 
이 작품은 남종문인화의 산실인 '운림산방'을 중심으로 조선조 말 대화가 소치의 생애와 예술을 그린 소설로, 전남의 전통 문화와 선비 정신을 중앙에 널리 알렸다는 평을 받았다. 
동포문학상, 한국소설문학상, 전남문화상을 수상한 바 있으며, (사)삼별초역사문화연구위원회 이사장으로서 진도 역사 알리기에 힘쓰는 동시에 작품 활동을 꾸준히 했었다.
횡축 메르카토르 도법

횡축 메르카토르도법(橫軸-圖法, transverse Mercator projection)은 적도 대신 지구본을 옆으로 뉘어서 투영하는 메르카토르 도법이다. 그러나 실제로 지구는 타원체이기 때문에 여러 버전이 있다.

구에서의 도법

구에서의 도법은 요한 람베르트가 1772년 개발하였다.

회전 타원체의 도법

회전 타원체에서의 도법은 여러 종류가 있다. 처음에 카를 프리드리히 가우스는 구에서의 도법을 이용하여 회전 타원체를 등각사상으로 구에 옮긴 다음 구에서의 도법을 이용하는 이중 투영법을 개발했다. 크뤼거는 이것을 개량하여 회전 타원체에서 중앙경선을 따라서 지도의 축척이 정확한 새로운 횡축 메르카토르 도법을 개발하여 오늘날 이것이 널리 쓰이고 있다. 중앙경선을 중심으로 하는 좁은 경도대에서는 축척의 증가가 매우 작기 때문에 정각성이 뛰어난 대축척지도에 유용하게 쓰인다. 대한민국에서 사용되는 1:50,000 지도와 UTM 좌표계는 이 크뤼거의 횡축 메르카토르 도법을 이용해서 제작되었다.
선형 시제 논리

논리학에서, 선형 시제 논리(線型時制論理, 영어: linear temporal logic, 약자 LTL)는 선형 이산 시간에 대한 여러 가지 양상을 갖춘, 시제 논리의 하나이다. PTL(Propositional temporal logic)이라고도 한다.
대한민국 형법 제7조

조문

제7조(외국에서 집행된 형의 산입) 죄를 지어 외국에서 형의 전부 또는 일부가 집행된 사람에 대해서는 그 집행된 형의 전부 또는 일부를 선고하는 형에 산입한다.
[전문개정 2016.12.20.]

비교 조문

일본 형법 제5조(외국 판결의 효력) 외국에서 확정재판을 받은 자라도 동일한 행위에 대하여 다시 처벌하는 것을 방해하지 않는다. 다만, 범인이 이미 외국에서 선고된 형의 전부 또는 일부의 집행을 받은 때에는 그 형의 집행을 감경 또는 면제한다. [소화 22년(1947년) 법률 제124호 본조 개정]
중화민국 형법 제9조 외국에서 동일한 행위에 대하여 비록 확정재판을 받았더라도 이 법에 따라 처벌할 수 있다. 다만, 외국에서 이미 형의 전부 또는 일부의 집행을 받은 때에는 그 형의 전부 또는 일부의 집행을 면제할 수 있다.

헌법불합치

대한민국 헌법재판소는 2015년 5월 28일 이 규정이 이중처벌금지의 원칙에 위반되지 않기 때문에 외국에서 형의 집행을 받은 자를 다시 국내에서 처벌하는 것이 가능하다면서도, 국회는 '신체의 자유에 대한 침해를 최소화하기 위한 방법을 강구하여야 한다'며 헌법불합치 결정을 내렸다. 현행 규정은 2016년 12월 31일까지 개정되지 않으면 2017년 1월 1일부터 효력을 상실한다.
헌법재판소는 이 규정을 독일과 일본의 입법례와 비교하면서 '독일은 외국에서 집행된 형을 형기에 필요적으로 산입하고(독일 형법 제51조제3항), 일본은 외국에서 형의 집행을 받은 때에는 형 집행의 필요적 감면을 규정하고 있다'(일본 형법 제5조 단서, '형 집행의 필요적 감면'은 '형의 필요적 감면'과는 다르다.)고 적시하고, 신체의 자유를 덜 침해할 수 있도록 입법개선을 촉구하면서 '외국에서 집행된 형의 전부를 의무적으로 산입하거나, 산입 자체는 의무적이되 산입의 범위를 법원의 재량에 맡기는 입법형식 등'을 제안하였다.

사례

제주지방법원은 일본에서 참작될 만한 동기로 살인을 하여 징역 8년형을 선고받아 7년 가까이 복역하고 가석방된 후 한국으로 추방된 사람에 대하여, 일본에서 형기의 대부분을 복역했고 범행의 동기나 범행 후의 태도 등 여러 정황을 참작해 징역 2년 6개월에 집행유예 3년을 선고하였다.
박치우

박치우(1909년 ~ 1949년)는 한국의 철학자이다.

생애

1909년 8월 22일 함경북도 성진에서 출생하였다. 1936년 경성제국대학 철학과를 졸업했다. 1935년 6월 동아일보에 《불안의 정신과 인테리의 장래》를, 1936년 1월 조광에 《아카데믹 철학을 나오며》를 발표하면서 문단에 등단하였다. 1938년 숭의실업전문학교 교수를 거쳐 조선일보 사회부 기자를 역임했다. 1세대 마르크스주의 철학자로서 해방공간에서 <현대일보> 주필을 맡았다. 빨치산이 되어 유격투쟁을 벌이다 토벌대에 사살되었다.
록히드 AC-130

개발배경 및 특징

베트남 전쟁 기간 동안 근접 항공 지원과 항공 저지 능력을 확보하기 위해 수송기를 개조하여 소화기와 대량의 탄약을 탑재한 채 선회 비행을 하면서 공격하는 기체, 즉 건십(Gunship)을 탄생시켰다.
이에 따라 AC-47D, AC-130A/E , AC-119G 등이 공중포대가 되어 효율적인 지상공격임무를 수행했고 이후에도 AC-130E를 현대화하여 AC-130H를 유지해왔다.
한편, 미 공군은 정밀타격을 추구하는 전장 요구에 발맞추어 C-130H를 베이스로 한 AC-130U를 발주했으며, 1994년 11월부터는 제4 특수전 비행대대에 실전배치하기 시작했다. AC-130U의 무장은 모두 동체 좌측에 장비한다. 무장의 구성은 맨 앞부터 순서대로 6포신의 25mm GAU-12/U 개틀링 기관포 1문, 40mm 보포스 기관포 1문, 105mm 유탄곡사포 1문이다. 화력제어시스템으로는 APG-70을 개조한 APG-180 레이다, AAQ-17FEIR, ALLTV 등이 있고, 조종석에는 목시조준용 HUD를 장비하고 있어 복수 목표물도 공격이 가능하다.
AC-130U는 기체를 보호하기 위해 세라믹제 장갑판을 갖고 있다. 또한 주익 파일런에 IR방해책 장비를 내장하고, 동체 아래에는 ALE-40 채프/플레어 발사기를 장착하고 있다. 이외에도 ALQ-172 재머, ALR-56M, AAR-44 IR 경보장치, QRC-84-02 IRCM, APR-46 회피시스템 등을 다양하게 탑재하고 있으며 INS, GPS 등 항법시스템도 완비되어 있다. 이들 전자장비는 MIL-STD-1553B 데이터 버스로 상호 연계되어 있다.

운용 현황

AC-130 시리즈는 초기형을 포함하여 모두 43대가 제작되었다. 베트남 전쟁에서는 호치민 루트에서 북베트남군의 차량수송행렬에 대한 공격을 성공적으로 수행하여 무려 1만여대의 트럭을 파괴하는 전과를 올리기도 했다.
현재 운용되고 있는 AC-13H/AC-13U는 모두 25대(AC-13H형 8대, AC-13U형 17대)인데 미국 공군 특수전 사령부 소속으로 근접 항공 지원 및 부대보호 임무를 수행하고 있다. 특히 지상의 특수부대를 위한 정밀 화력지원 임무를 수행하고 있으며, 최근에는 대테러전쟁에서 아프가니스탄과 이라크에 집중적으로 투입되면서 지상 목표를 상대로 정밀한 공격능력을 보여주었다.
하지만 이라크 전쟁때 미 해병대의 퇴각 지원을 하다가 이라크의 지대공미사일에 맞아 격추되어 승무원이 전부 사망하였다.
목사 김효성 비

개요

조선 중기의 문신인 김효성 선생의 비이다.
김효성(1585∼1665)은 광해군 5년(1613) 생원이 되었으며, 이이첨의 사주를 받은 정조, 윤인, 이위경 등이 인목대비를 해치려고 할 때 이들의 목을 벨 것을 상소하다 길주에 유배당하고 뒤에 진도로 옮겨 유배생활을 하였다. 인조반정으로 관직을 되찾아 의금부도사를 지냈으며 청안현감이 되었고, 이후 남원, 죽산의 부사와 공주, 청주의 목사 등을 두루 지냈다. 오랜 외직생활동안 백성들에게 선정을 베풀었으며, 청렴하고 강직한 목민관으로 이름을 떨쳤다.

현지 안내문

조선시대 공주 목사였던 김효성(1585~1651)의 선정을 기리기 위하여 1828년(순조28)에 세운 비이다. 원래 옥룡동에 있었으나 현재 위치로 옮겨 놓았다. 
비몸과 머릿돌은 원래 모습이지만 거북모양의 받침은 비를 옮기는 과정에서 없어져 사각형 받침으로 대신하였다. 김효성은 본관이 광주이며, 1623년 인조반정 후 의금부도사를 거쳐 청주 목사와 공주 목사를 지냈다.
건탱크

배경 설명

일 년전쟁 직전, 지구 연방군이 지온공국의 모빌 슈트 개발 계획을 입수한 후 급히 차기주력전차계획 RX계획을 변경하여 독자적으로 개발한 지구연방군 최초의 '모빌 슈트'이다.
복잡한 2족 보행기구를 생략하고 전차포와 부무장을 '인간형'의 상반신에 탑재하여서, 이에 실망한 레빌 장군의 말을 빌면 '그냥 탱크'였다. 지구 중력하에서는 신뢰도가 높은 캐터필러 주행방식과 70km에 달하는 야지주행속도와 함께 장사정 실탄병기인 120mm 2연장 저반동포로 상당한 위력을 발휘했다. 우주공간에서의 사용을 위해 추진시스템을 탑재하기는 했으나, 하반신이 없으므로 간략화된 AMBAC기능으로 인해 운동성이 극히 낮았다.
미노프스키-이요네스크형 핵융합로 개발 이전에 개발된 기체로 가스 터빈 엔진과 구식 핵융합로의 이중방식 제네레이터를 탑재하고 있다.(코어 블록 시스템이 추가되는 시점에서 핵융합로로 일원화되었다는 설도 있다.) 기본적으로 원거리 지원형 장비로 생산되었으므로 일 년전쟁 기간 동안 모빌 슈트라기보다는 이동포대로써의 운용이 많았고, 근접전이 되는 경우 상반신의 가동 범위가 낮고 부무장인 40mm 발사기의 위력이 낮아 매우 불리했다.
개전 초기 사이드 7에서 테스트중이던 시제기 4기 중 1기(4호기)를 회수하여 화이트베이스에서 운용하였다. 복좌식 - 조종수와 사격수 - 으로 초기 운용되다 류 호세이 소위 전사 이후 개조하여 단좌식으로 운용하게 된다.
스테운스 클린트

지질

스테운스 클린트에서 드러나는 지층 범위는 최상층의 마스트리히트절 (7,200~6,600만년 전)부터 최하층의 데인절 (6,600~6,200만년 전)까지이다. 이 중에서 수 센티미터 굵기에 불과한 검은색 어류 점토화석층이 있는데 이리듐이 발견되어 백악기-제3기 경계를 분명히 보여주고 있다. 이러한 지층은 스테운스포르테트 요새의 지하터널 속 깊은 곳에서도 찾아볼 수 있다. 절벽의 이끼벌레 백악화석층은 재래식 무기는 물론 핵무기 공격에도 충격을 견딜 수 있다.

냉전 박물관

2008년 스테운스 요새가 냉전박물관으로 이름을 바꿔 대중에게 공개되었다. 이곳은 군 장비 대규모 야외전시와 지하 요새 체계를 둘러보는 1시간 반짜리 가이드 투어로 이뤄져 있다. 총 1.6km 길이의 터널로 된 지하요새는 거주구역과 지휘본부로 나뉘며 병원과 예배실까지 갖춰 놓았다. 15cm 구경 요새포 두 문의 장전을 위한 보급창도 두곳씩 지어져 있다. 이 터널은 지면에서부터 18~20m 떨어진 지하에 있으며 스테운스 절벽의 백악을 깊이 파서 조성했다. 1953년에 비밀 요새로 지어졌으며 2000년까지 운영되었다고 전해진다.

호이에루프 교회

스테운스 절벽 위에는 옛 호이에루프 교회 (Højerup Gamle Kirke)가 서 있다. 서기 1200년경부터 있던 교회로, 오랜 세월 동안 절벽이 침식된 끝에 1928년 산사태로 교회의 강단부가 붕괴해 절벽 아래로 무너졌다. 때문에 지금은 교회 건물이 절벽 끝에 아슬아슬하게 매달린 모습이다. 교회의 계단을 통해 절벽 위로 올라갈 수 있으며, 1913년에 절벽에서 300m 떨어진 지점에 새 교회를 지었다.
요즈가트주

요즈가트 주(터키어: Yozgat ili)는 터키 중부에 위치한 주로, 중앙아나톨리아 지역에 속한다. 주도는 요즈가트이며 면적은 14,123km², 인구는 727,394명(2006년 기준), 자동차 번호는 66번, 시외전화 지역번호는 0354번이다. 북서쪽으로는 초룸 주, 서쪽으로는 키리칼레 주, 남서쪽으로는 키르셰히르 주, 남쪽으로는 네브셰히르 주, 남동쪽으로는 카이세리 주, 동쪽으로는 시바스 주, 북동쪽으로는 토카트 주, 북쪽으로는 아마시아 주와 접하며 14개 군을 관할한다.
준 항공

역사

준 항공의 Joon은 젊음을 뜻하는 프랑스어인 'Jeune'에서 따온 것으로 모기업인 에어 프랑스가 젊은이들을 주 고객으로 유치하기 위해 명명하였다. 준 항공은 유럽의 타 저비용 항공사가 운행하지 않는 일부 노선을 운항하여 노선 특수성을 확보하고 있으며 에어 프랑스로부터 에어버스 A340-300 항공기 같은 중장거리 항공기를 인수받아 장거리 노선에도 진출 계획에 있다. 2017년 12월 1일 첫 운항부터는 유럽을 포함한 중단거리 노선을 공략하고 있으며 2018년 여름부터는 아프리카, 미주 등 장거리 노선에 진출할 계획이다.
그러나, 효율성 부진으로 모기업인 에어 프랑스는 2019년 2월, 준 항공으로 이관한 기재와 노선들을 다시 재이양한다고 하였고 2019년 6월 29일까지 기재와 노선을 다시 인수하여 준 항공의 운항을 중단한다고 밝혔다.
결정 코호몰로지

대수기하학에서, 결정 코호몰로지(結晶cohomology, 영어: crystalline cohomology, 프랑스어: cohomologie cristalline)는 양의 표수를 가지는 가환환 위에서 푸앵카레 보조정리를 모방하려 만들어진 코호몰로지 이론이다.

역사

알렉산더 그로텐디크가 1966년에 도입하였다. 이후 피에르 베르틀로(프랑스어: Pierre Berthelot)가 그 이론에 공헌하였다.
호이나

호이나(폴란드어: Chojna, 독일어: Königsberg in der Neumark 쾨니히스베르크인데어노이마르크)는 폴란드 서포모제주에 위치한 도시로 면적은 12.12km², 인구는 7,187명(2006년 기준), 인구 밀도는 590명/km²이다. 슈체친에서 남쪽으로 약 60km 정도 떨어진 곳에 위치하며 오데르 강을 따라 독일과 국경을 접한다.
마토가타 역

역 구조

상대식 승강장 2면 2선을 가진 지상역이다. 역사(개찰구)는 히메지 방면 승강장의 고베 방향에 있으며 반대쪽의 고베 방면 승강장은 구내 과선교에서 연결된다. 개찰 창구는 무인화되어 있다.
서헤르체고비나 주

서헤르체고비나 주(보스니아어: Zapadno-hercegovački kanton, 크로아티아어: Zapadno-hercegovačka županija, 세르비아어: Западно-херцеговачки кантон)는 보스니아 헤르체고비나를 구성하는 국가 및 지역인 보스니아 헤르체고비나 연방에 속해 있는 10개 주 가운데 하나로 주도는 시로키브리예그이며 면적은 1,362.0km², 인구는 81,414명(2011년 기준), 인구 밀도는 60명/km²이다.

지리와 인구

보스니아 헤르체고비나 남서부와 헤르체고비나 지방에 위치하며 면적은 1,362km², 인구는 81,523명이다. 크로아티아인이 전체 인구의 다수를 차지한다.

상징

주기와 주 문장은 보스니아 전쟁 당시에 존재했던 나라인 헤르체그보스니아 크로아티아인 공화국이 사용했던 국기와 국장과 같다. 현존하는 보스니아 헤르체고비나 연방의 주인 제10주에서도 이와 같은 기와 문장을 사용한다.
XUL

예

아래의 예는 수직 상자 컨테이너 안에 위치한 3개의 버튼을 보여 준다.:
<?xml version="1.0"?><?xml-stylesheet href="chrome://global/skin/" type="text/css"?><window id="vbox example" title="Example 3...."xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  <vbox>
    <button id="yes1" label="Yes"/>
    <button id="no1" label="No"/>
    <button id="maybe1" label="Maybe"/>
  </vbox></window>
옥시링쿠스 파피루스 29번

옥시링쿠스 파피루스 29번(Papyrus Oxyrhynchus 29 ,P. Oxy. 29)은 버나드 파인 그렌펄과 아서 서리즈 헌트가 1897년 옥시링쿠스에서 발견한 파피루스 문서 조각이다. 《에우클레이데스의 원론》 제2권의 일부가 기록되어 있다. 작성 시기는 3세기 말에서 4세기 초 사이로 추정되어 왔다. 최근 연구에서는 기원후 75년부터 125년 사이로 보고 있다. 현재는 펜실베이니아 대학교 박물관이 소장하고 있으며, 1898년 그렌펄과 헌트에 의해 문서의 내용이 공개되었다.

상태와 내용

옥시링쿠스 파피루스 29번은 불규칙하게 기울어진 언셜 문자로 된 그리스문자로 작성되어 있다. 이오타 서브스크립트는 사용되지 않았으며 약간의 철자 오류가 있다. 크기는 85 × 152 mm 이다.
쓰여 있는 내용은 《에우클레이데스의 원론》 제2권의 다섯 번째 문제이다. 그 보다 앞선 내용도 약간 적혀 있으며, 증명은 적혀 있지 않고 설명이 없는 다이어그램만이 그려져 있다. “하나의 직선이 두 선분에 대하여 균등 분할과 불균등 분할을 한다면, 불균등 분할된 선분을 포함하는 직사각형은 직선에 의한 분할점으로 그린 전체 직사각형을 이등분한다. ”고 적혀 있다.
올렉시 혼차루크

올렉시 발레리요비치 혼차루크(우크라이나어: Олексі́й Вале́рійович Гончару́к, 1984년 7월 7일 ~ )는 우크라이나의 정치인으로, 2019년 8월 29일부터 총리직을 맡고 있다.
총리로 임명되기 이전에는 변호사로 활동했으며, 2019년 5월 28일부터 볼로디미르 젤렌스키의 대통령부실장을 역임했다.
속도위반 결혼

속도위반 결혼(速度違反 結婚, 영어: shotgun wedding)은 대체로 미혼남녀 사이에 의도하지 않은 혼전임신으로 인하여, 결혼을 하게되는 것을 일컫는 속어적 표현이다. '샷건 웨딩(shotgun wedding)'은 신부의 임신 등으로 인해 급히 치뤄야 하는 결혼식을 말한다.
김철우 (1937년)

김철우(金鐵宇, 1937년 ~ 2019년 1월 2일)는 제18대 대한민국의 해군참모총장을 역임한 군인이다.

사건

1993년 2월 제18대 해군참모총장으로 재직하던 김철우에 대해 인사청탁과 관련하여 "1억원의 뇌물을 받았다"는 익명의 투서가 국방부에 접수되었으나 사실이 아닌 것으로 확인되었다. 하지만 자신보다 기수가 앞선 제17대 해군참모총장을 역임한 김종호 (1936년)의 뇌물수수 사건으로 사회적 파문이 확산되자 1993년 4월 22일에 참모차장과 작전 참모부장이 자신의 공관으로 찾아와 "해군과 총장의 명예를 위해서 총장께서 용퇴하시는게 바람직하다"며 사퇴를 건의했고 23일에도 다른 장성들로부터 사퇴를 건의받아 "고려해보겠다"고 밝혔다. 4월 24일에 해군본부에서 기자간담회를 하면서 "당장 사퇴하는 것은 이 사건 처리의 책임을 회피하는 것이므로 현재로서는 고려하지 않고 있다"며 "이번 사태가 수습 뒤에도 지휘권 행사가 어렵다면 책임지겠다"고 했다.군 전력 증강사업인 율곡사업과 관련하여 비리가 드러나면서 해군 진급 인사 비리와 관련해 사표를 제출했다.
서울형사지방법원(재판장 곽동효)은 1993년 9월 23일에 율곡사업 가운데 한국형 구축함 사업(KDX)과 관련하여 무기중개상으로부터 뇌물을 받아 구속되어 징역8년이 구형된 김철우에게 특가법 뇌물수수죄를 적용하여 징역 6년 추징금 3억원을 선고했다. 서울고등법원(재판장 민수명)은 "피고인이 잘못을 늬우치고 있고 30여년간 해군에서 최고 지휘관직 등을 지냈으며 자수한 점을 감안해 감경한다"며 징역3년 집행유예4년 추징금 3억원을 선고하자 검찰이 상고한 사건에서 "수사기관의 출석요구를 받기 전에 검찰에 전화를 걸어 출석의사를 밝힌 점이 인정된다"며 "수사기관에 자진출석하여 범행사실을 모두 자백하고 처벌을 달게 받겠다는 취지의 자술서를 쓴 사실이 인정되는 만큼 자수의 요건을 충족하고 있다. 피고인들이 법정에서 받은 돈이 뇌물이 아니었다고 일부 정황에 대해 부인한 것이 자수의 효력에 영향을 미치지는 않는다 "며 상고를 기각하고 원심을 확정했다. 1995년 광복절 특별사면에서 형 선고 실효 및 특별복권되었다.
이집트 에어 익스프레스

개요

이집트 에어 익스프레스는 작은 항공기 운항 빈도가 높은 국내선 항공 운송의 수요에 대응을 위해 이집트 항공에 의해 설립된 자회사로 이집트 항공이 지분을 소유하고 있다.
이집트 에어 홀딩스의 회장은 이집트 에어 익스프레스에 대해 지금까지 이집트 항공의 국내 서비스는 너무 아침 일찍 매일 또는 반대로 밤 늦게 항공편이 많았다. 이는 국내에서 사용되는 기체가 국제선에 사용되는 대형의 것을 그대로 운항하고 있었다. 주로 국내선 취항지에 대해 각각 수요에 맞는 수송량을 자주 제공하기 위하여 이집트 항공은 새로운 핵심 사업으로 지역 수송을 담당하는 자회사를 설립하기로 결정했다고 말했다.
소피 옥사넨

소피엘리나 옥사넨(핀란드어: Sofi-Elina Oksanen, 1977년 1월 7일 ~ )은 핀란드의 작가이다.
10분 규칙

10분 규칙 (Ten Minute Rule, 텐 미닛 룰) 또는 의회수칙 제23조 (Standing Order No. 23)은 영국 의회에서 시행되는 입법 절차로, 각 회기당 기본으로 허용되는 법안수 20개와 더불어 일반의원 법안이 추가로 발의될 수 있도록 하는 절차다. 특정 법안에 독회가 우선 돌아가도록 할 수 있는 수단 중 하나로 쓰인다. 10분이라는 이름은 해당 절차를 진행하는 데 있어 10분의 시간이 주어진다 하여 붙은 말이다.

법안 발의

영국 국회의원이라면 누구든 10분 규칙에 따라 법안을 발의할 수 있다. 다만 실제로는 백벤처, 즉 뒷자리 의원 내지는 평의원들만 활용하는 절차다. 10분 규칙에 따라 법안을 발의하기 위해서는 우선 그것을 논의하려는 의원이 직접 공공법안사무처에 법안을 신청해 통과되어야 하며, 원하는 발의일로부터 근무일 15일 전 (대략 3주 전)의 화요일과 수요일 아침에만 제출할 수 있다. 10분 규칙 이외의 방법으로는 일반의원 법안 발의가 어렵고, 또 10분 규칙 자체도 인기가 많기 때문에, 자기 차례를 확보하기 위해 공공법안사무처 외부에서 하룻밤을 묵는 사례까지 있다고 알려져 있다. 2014년에는 대기행렬에 있던 세 명의 의원이 돌아가면서 한사람은 자리를 지키고 나머지 두사람은 취침하는 식으로 밤을 새기도 했다.

토론

이렇게 확보한 10분 규칙 토론은 화요일과 수요일쯤 서민원 본회의장에서 총리 질의응답 시간이 끝난 뒤인 12시 45분경에 시작된다. 차례를 확보한 의원들이 법안을 제출하고, 그것의 가치에 관하여 다른 의원들을 설득하는 과정을 10분간의 발언시간을 통해 진행한다. 10분이 지나면 다른 의원이 나서 추가로 10분동안 해당 법안을 반대한다고 발언할 수 있다. 그런 뒤에는 서민원 의장이 나서 해당 법안이 2차 독회를 거치도록 할지, 즉 나중에 다시 논의할지를 묻는 구두 투표를 진행한다. 반대 의견이 적잖다고 생각되는 경우 의장은 의원 찬반을 가려 그 수를 기록한다. 하지만 10분 규칙 토론은 반대 의견이 없는 경우가 많아 이때쯤 되면 토론을 생략하고 그대로 통과된다. 이는 각 의원들이 해당 법안 내용을 검토할 시간이 충분치 않기 때문이기도 하다.

법안 통과까지의 진행과정

10분 규칙 절차가 통과되면 해당 법안은 의회사무처 등록법안에 추가된다. 이제는 다른 일반의원 법안과 함께 회의에 회부되지만 우선권은 낮다. 해당 법안을 발의한 의원은 의장에게 2차 독회의 날짜를 전달해야 한다. 법안은 2차 독회가 열리기 직전에 널리 인쇄 배포된다.
하지만 10분 규칙에 따라 발의된 법안이 진전을 보이는 경우는 드문데, 후반단계에 이르면 정부가 일반의원 법안에 반대하는 경우가 적지 않고, 애초에 우선순위에서도 불리해 모든 입법절차가 마무리될까지의 토론시간이 불충분할 때가 많기 때문이다. 그래서 10분 규칙에 따른 입법안은 대의를 위해 매스컴의 주목을 끌기도 한다. 특히 각 언론이 제일 주목하는 질의응답 다음에 10분 규칙 토론이 이어지고, BBC 팔리아먼트에서는 생방송까지 진행한다는 이유도 있다. 아니면 다른 법안을 발의할 때 도입할 수 있는 사안들에 관해 의회의 여론을 가늠하기도 하였다.
허나 10분 규칙에 따라 발의된 법안이 모두 계류되는 것은 아니고, 의회의 모든 단계를 거쳐 국왕의 재가까지 이르는 경우도 있다. 1945년부터 영국 국회법은 총 60여 차례에 걸쳐 통과되었는데 이들은 처음에는 10분 규칙에 따라 통과된 것들이었다. 가장 최근의 사례로는 2002년 영국 이혼법이 있다.
10분 규칙에 따라 발의된 법 중에서 대표적인 사례로는 1999년 대이라크 군사행동 의회승인법이 있는데, 2차 독회로 진행하는 과정에서 여왕 재가가 거절되어 유명해진 사례다.
김수진 (배우)

죽음

2013년 3월 29일 오후 9시쯤 강남구 논현동 자택에서 목을 매 숨진 채 발견됐다. 경찰은 우울증에 의한 자살로 추정했다.
김수진의 자살소식은 이틀이 지난 4월1일 인터넷을 통해 알려졌으며 수일간 검색어 상위에 올랐다.
참고로 29일은 도시남녀에 함께 출연한 故최진영의 3주기가 되는날이었기에 많은이들의 안타까움을 자아냈다. 향년 39세였다.
하조도

하조도(下鳥島)는 대한민국 전라남도 서남해의 섬으로, 진도군 조도면에 속한다. 면적은 약 17km².

돈대

하조도 돈대봉돈대는 진도군 조도면 창유리에 있는 돈대지이다. 조도면 창유리와 신육리 경계에 있는 해발 231m 높이의 돈대봉 제2 봉우리에 있다. 돈대봉은 암벽으로 된 험한 산으로 봉화 불을 피우던 봉대 역시 암벽으로 둘러싸여 있다.
돈대 유적이 있는 돈대봉은 대체로 바위로 이루어진 산인데 특히 연대가 위치한 산 정상부분은 암벽으로 둘러싸여 있다. 돈대봉을 중심으로 동서쪽에는 상조도 동구리성지와 북쪽에 대봉산 봉수가 위치하며 북동쪽으로는 신금산 봉대가 서로 바라보이는 거리 내에 있다.
돈대봉 돈대는 대체로 자연암벽을 이용하였으나 이 가운데 정 동쪽에서 정 남쪽까지 약 12.5m는 상하 2단의 석축으로 보완하여 돌을 쌓았고 전체적으로는 둥근 모양으로 축조되어 있다. 그 규모는 상단부의 지름 약 7m, 높이 2.8m이며 하단부의 경우는 지름이 5m, 높이 3.2m 정도이다.
나팔바지

나팔바지는 아랫단에서 통이 나팔 모양으로 넓어지는 바지의 스타일이다.

기원

19세기 초에 표준화된 유니폼이 미국 해군에 존재하지 않았을 무렵 일부 선원들은 통이 큰 나팔 모양의 소맷동을 착용하였다.

1960년대와 1970년대

1960년대에 나팔바지는 유럽과 북아메리카에서 남여 모두에게 패션 아이템이 되었다.
오창휴게소

오창휴게소는 충청북도 청주시 청원구 오창읍에 위치한 중부고속도로의 고속도로 휴게소이다. 양방향 모두 휴게소가 존재한다.
단위전략 기반 디자인

단위전략 기반 디자인(Policy-based design) 혹은 단위전략 기반 클래스 디자인(policy-based class design), 단위전략 기반 프로그래밍(policy-based programming) 은 단위전략이라고 불리는 C++의 이디엄에서 비롯된 컴퓨터 프로그래밍 패러다임이다. 이는 전략 패턴을 컴파일 타임에 적용하는 것이며, C++의 템플릿 메타프로그래밍과 연관이 있다. 단위전략 기반 디자인은 Andrei Alexandrescu의 저서인 Modern C++ Design을 통해서 대중에 알려졌다.
단위전략 기반 디자인은 이론적으로 다른 프로그래밍 언어에도 적용할 수 있으나 언어의 기능에 의존적이기 때문에 C++을 중심으로 논의가 전개되고 있다. C++의 경우에도 템플릿을 지원하는 컴파일러가 필요하다.

간단한 예

아래의 예는 C++의 Hello world 프로그램을 출력되는 언어와 출력되는 스트림을 선택할 수 있도록 단위전략 기반 디자인을 이용하여 수정한 것이다.
#include <iostream>#include <string>template <typename OutputPolicy, typename LanguagePolicy>class HelloWorld : private OutputPolicy, private LanguagePolicy{
    using OutputPolicy::print;
    using LanguagePolicy::message;public:
    // Behaviour method
    void run() const
    {
        // Two policy methods
        print(message());
    }};class OutputPolicyWriteToCout{protected:
    template<typename MessageType>
    void print(MessageType const &message) const
    {
        std::cout << message << std::endl;
    }};class LanguagePolicyEnglish{protected:
    std::string message() const
    {
        return "Hello, World!";
    }};class LanguagePolicyGerman{protected:
    std::string message() const
    {
        return "Hallo Welt!";
    }};int main(){
    /* 예 1 */
    typedef HelloWorld<OutputPolicyWriteToCout, LanguagePolicyEnglish> HelloWorldEnglish;

    HelloWorldEnglish hello_world;
    hello_world.run(); // prints "Hello, World!"

    /* 예 2     *위와 같지만, 다른 언어를 출력하도록 하였다  */
    typedef HelloWorld<OutputPolicyWriteToCout, LanguagePolicyGerman> HelloWorldGerman;

    HelloWorldGerman hello_world2;
    hello_world2.run(); // prints "Hallo Welt!"}
멤버 함수로 print를 가지는 또 다른 OutputPolicy에 대한 클래스를 작성하는 것으로 새로운 OutputPolicy를 정의할 수 있다.
폴 프레더릭 프랭클린 더글러스

주요 이력

지난날 아직 그가 태어나기도 이전 그의 직계 집안 내력으로 미국 대통령 선거 공화당 후보(1872년)와 미국 대통령 선거 무소속 후보(1888년)를 출마하는 등 두 번이나 미국 대선 후보 출마했던 前 미국 대통령 선거 후보 전력자인 미국 정치가 프레더릭 더글러스를 고조부(高祖父)로 둔 그는 미국 뉴욕 주 코린스 출생이며 한때 1909년에서 1910년까지 1년간을 미국 뉴욕 주 뉴욕 시티에서 잠시 유년기를 보낸 적이 있는 그는 1910년 이후 미국 펜실베이니아 주 필라델피아에서 성장하였다.
그는 1939년에 미국 정치 분야 입문을 하였는데 그 후 더글러스 맥아더 장군, 존 무초 前 대사 등과의 미국 주재 대한민국 외교 관련 인연으로 인하여 1946년에서 1956년까지 대한민국 방한 주재하던 시절 한국어 이름은 목아두(睦阿斗)이다.

대한제국 조선 독립 운동 관련 적극 지지

미국 아메리칸 대학교 총장으로 재직하기도 한 그는 1942년 한미협회 워싱턴 전국위원회 대표최고위원, 1943년부터는 워싱턴 기독교인친한회 회장으로서 미국 정부가 대한민국 임시정부를 승인할 것을 촉구하는 내용의 편지를 루스벨트 미국 대통령과 미국 주요 기독교인들에게 보내고 그에 아울러 그와 동일한 취지의 강연을 하는 등 대한제국 조선 독립 운동을 지원하였다.

폴 더글러스(목아두)의 대한민국 서훈

대한민국 정부에서는 더글러스(목아두, 睦阿斗) 그에게 "대한 독립 공적 체제 중 해외 국가 출신 외인 대한 독립 원조 관련 공훈"을 치하코저 1950년 3월 1일을 기하여 당시 아직 미국 아메리칸 대학교 총장 직책 재임중이던 그에게 대한민국 건국훈장 독립장을 수여하였다.
마희경

생애

고려 때 평장사(平章事)로 신정군(新定君)에 봉해진 마경수(馬坰秀)의 8대손이다.
1525년(중종 20년) 송도(松都)의 선죽교(善竹橋) 남쪽에 있는 집에서 교수(敎授) 마승원(馬承元)과 덕수 김씨(德水金氏)의 넷째 아들로 태어났다.
화곡(花谷) 서경덕(徐花潭)의 문하(門下)에서 수학하였고, 《주역(周易)》과 《성리대전(性理大全)》 등 서적을 탐구했다.
1567년(선조 즉위년) 생원시에 급제하였다.
1581년(선조 14년) 율곡(栗谷) 이이(李珥)가 이조(吏曹)에 있으며 효렴(孝廉)으로 천거하여 북부 참봉(北部參奉)에 임명되었으나, 사은(謝恩)하고 학문에 전념하였다.
평양 유후(平壤留後)로 있던 월정(月汀) 윤근수(尹根壽)가 마희경의 명성을 듣고 찾아가 말하기를, “그윽한 난(蘭)이 골짜기에 있으니 향기는 절로 사람에게 다가든다.” 하여 그의 학문을 높이 칭송하였고, 이어 상종하며 매우 친하게 지냈다. 이로부터 이곳에 부임하는 여러 관원 및 동서로 가는 사대부는 너나없이 그 집을 찾아 예(禮)를 하였다.
1589년 향년 65세의 나이에 병으로 졸(卒)하니, 대사현(大蛇峴) 선영(先塋) 간좌(艮坐)의 언덕에 장사지냈고, 박세채(朴世采)가 묘갈명을 작성하였다. 개성의 사현사(四賢祠)에 배향되었다.
이재익 (소설가)

작가에 대한 설명

1975년에 경상북도 울진군에서 태어났으며 압구정고등학교와 서울대학교 영문과를 졸업했다. 1997년 월간 〈문학사상〉 소설 부문으로 등단, 이듬해 장편소설 3,000만원 현상 고료 장편소설상 당선작인 《질주질주질주》를 출간했다. 이 작품은 이상인 감독과 남상아 이민우 김승현 주연으로 〈질주〉라는 이름의 영화로 만들어졌다. 두 번째 작품인 《아이린》은 카투사의 근무 경험을 토대로 주한미군의 성폭력 문제를 정면으로 다루었으며, 이후 연애소설 《미스터 문라이트》를 쓰기도 했다. 그 후 예스24에 단 1승만을 거둔 서울대 야구부의 실화를 소재로 한 《서울대 야구부의 영광》과 인터파크에 노르망디의 한국인을 소재로 한 《아버지의 길》을 연재하기도 했다.
고교시절 록그룹 〈ZEST〉의 보컬 겸 기타리스트로 활동하였고, 서울대 영문학과에 입학해서도 록그룹 〈LSD〉를 결성했던 그는 2001년 SBS에 라디오 PD로 입사했다. 그 동안 맡은 프로그램으로는 〈소유진의 러브앤뮤직〉, 〈허수경의 가요풍경〉, 〈심혜진의 시네타운〉, 〈두시탈출 컬투쇼〉, <투맨쇼>등이 있으며 현재 <시사전망대>의 담당PD이다. 그외 시나리오 작가로도 활동 중이며, 〈원더풀 라디오〉, 〈질주〉, 〈목포는 항구다〉 등의 영화 시나리오 작업을 하기도 했다. 2012년 5월 17일부터 김훈종, 이승훈 PD와 함께 팟캐스트 '씨네타운 나인틴'을 진행하고 있으며 이 프로그램은 이듬해인 2013년해에 공중파로 진출하여 매주 일요일 오전 11시에 '씨네타운S'라는 프로그램으로 진행되고 있다.
박강현

팬사인회

2018년 10.14.《미라클라스 ROMANTICA album 발매기념 팬사인회》서울, 당산TCC

앨범

2018년 10.10.《미라클라스 첫앨범 ROMANTICA발매》
상장 (금융)

상장(上場)은 주식이나 사채 등 유가증권을 증권거래소 등 거래소의 거래 특정주로 정하는 것을 말한다. 그렇게 하면 해당 유가증권이나 상품은 거래소에서 매매하게 된다.
유가증권을 상장한 법인을 상장법인이라 한다.
사회학적 상상력

사회학적 상상력은 사회학에서 사용되는 핵심 용어로, 거시적인 사회와 그에 속한 개인의 행위로부터 형성되는 관계를 인지해 내는 능력을 말한다. 여기에는 사회 내 개개인의 특성과 역사적 변천 사이의 관계를 인지하는 능력과 더불어 사회 내 인과관계가 해당 사회에 어떤 영향을 미치는지를 파악하는 능력이 모두 포함된다. "사회학적 상상력"이라는 용어는 미국의 사회학자 C. 라이트 밀즈에 의해 처음으로 사용되었으며, 현재 사회학을 가르치는 기초적인 수준의 교재에서 사회학의 원리와 실생활과의 연관성을 설명하는데 주로 사용된다.
굿Time

제목에 대하여

만화 '굿Time'은 굿(무속신앙의 굿)+Time(시간) 을 합쳐 만든 제목이다. 일종의 언어유희라고 볼 수 있다. Good Time 이 아니다. 굳이 영어로 표기하자면 'Gut Time' 이다.

내용

과격한 성격의 14살 박수무당 윤제와 그보단 냉철한 그의 형 현제가 펼치는 코믹 퇴마물이다. 여기에 귀엽지만 뭔가 비밀스런 귀신 "연아"가 한을 풀기 위해 윤제를 찾아오면서 본격적인 퇴마사업을 펼친다. 무표정으로 있다 결정적일 때 던지는 그녀의 한마디는 <굿타임>의 놓칠 수 없는 재미포인트이다. 어느 날 연아의 라이벌인 마리가 윤제를 공격하게 된다. 너무 막강한 마리의 힘에 윤제는 천수보살의 후예임에도 불구하고 부적을 쓰지 못 해 밀리고, 도와 주러온 현제 마저 위기에 처하는데…. 그러나 연아의 공포 "울음" 한방에 사건은 일단락 된다. 그것이 마리가 가장 무서워하는 것이었으니. 여기에 독사 주둥아리 "최진향", 여자가 못되어 환장한 게이귀신 "김경식", 윤태의 밥그릇을 위협하는 밥벌레 귀신 "천지"등 귀엽고 코믹한 귀신이 황당 재미를 더하고 있다. 한사람도 정상적이지 못한 귀신가족들의 난리 부르스. 그들이 전해주는 무차별 폭소공격을 즐길 수 있다.
운트리셉튬

이야기

물리학자 파인만은 원자 번호의 상한이 137번, 즉 운트리셉튬이 존재할 수 있는 마지막 원소라고 말하였다. 이는 보어의 원자 모델에서 미세-구조 상수(fine-structure constant, α)의 역수가 137보다 크면 1s전자의 속도가 광속보다 커지게 되기 때문이다. 파인만의 이러한 말을 기리기 위해 비공식적으로 137번 원소를 파인마늄(Feynmanium, Fy)으로 부르기도 한다.
이다비루주

이다비루 주(에스토니아어: Ida-Viru maakond)는 에스토니아 북동부에 위치한 주로 주도는 여흐비이며 면적은 3,364km², 인구는 168,656명(2010년 기준), 인구 밀도는 50명/km², ISO 3166-2 코드는 EE-44이다. 북쪽으로는 핀란드 만, 서쪽으로는 래네비루 주, 남동쪽으로는 여게바 주, 남쪽으로는 페이푸스 호와 접하고 있고 동쪽으로는 러시아와 국경을 접한다.
오샤만베정

지리

오시마 지청 북부에 위치하고 있으며 우치우라 만에 접하고 세 방면이 산에 둘러싸여 있다. 특별폭설지대로 지정되어 있다.

산업

낙농업, 임업, 어업이 번성한다.
가무리키 역

역 구조

상대식 2면 2선 구조의 지상역이다. 양쪽 승강장은 과선교로 이어져 있다. 아카시나 역이 관리하는 간이위탁역이다.
오토마타 이론

오토마타 이론(영어: Automata Theory)은 계산 능력이 있는 추상 기계와 그 기계를 이용해서 풀 수 있는 문제들을 연구하는 컴퓨터 과학의 분야이다. 여기서 추상 기계를 오토마타(automata, 복수형) 또는 오토마톤(automaton, 단수형), 즉 자동 기계라고 부른다. 이 이름은 '자동'을 의미하는 그리스어 'αὐτόματα'에서 유래하였다.
일반적으로 오토마타는 적어도 유한한 상태를 갖고, 입력을 받아 입력에 따라 일정하게 상태를 전이하며, 출력을 내놓는다. 이는 알고리즘이 요구하는 것, 즉 계산 문제를 해결할 능력과 같다. 계산 문제는 일반적으로 오토마타의 능력에 맞게 결정 문제로 환산되며, 이 때 추상 기계와 형식 언어, 형식 문법은 불가분의 관계가 된다. 따라서 오토마타는 언어와 문법과 같은 계층 분류를 갖는다.
오토마톤 이론이란 오토마톤을 연구하는 학문이지만, 다른 표현 방식을 빌린다면 ‘대상의 어떤 기능에 주목하여, 입력과 내부 출력 각 신호의 상호관계를 수학모델로 옮기고, 이 모델을 수학적으로 고찰 ·결론을 유도한다. 그리고 이 유도된 결론을 다시 원래의 대상에 꼭 들어맞춰서 해석한다고 하는 일련의 과정의 일부 또는 전부’에 관계되는 것이다. 그리고 대상의 구성요소의 성질 등에는 그리 관여하지 않는다. 오토마타는 컴퓨터 구조 설계와 컴파일러 설계, 파싱, 정형 모델의 정형 검증 등의 중요한 요소다.

오토마타

오토마타는 이산 시간 동안 주어진 입력에 의존해 작동하는 수학적인 기계이다. 기계는 일정 주기마다 입력을 하나씩 받는데, 이를 기호 또는 문자라고 한다. 기계가 입력받는 문자는 정해진 집합의 한 원소여야 하며, 이를 알파벳이라 한다. 기계가 입력받는 일련의 기호와 문자를 문자열이라 한다. 기계는 유한한 상태의 집합을 갖고 있으며, 입력에 따라 현재 상태에서 정해진 다음 상태로 전이한다. 현재 상태와 입력, 다음 상태는 수학적으로 함수 또는 관계로 주어진다. 이를 전이 함수 또는 전이 관계라 한다. 기계는 입력의 끝을 만나거나 특정 상태에 있을 때 정지할 수 있다. 기계는 정지했을 때 문자열을 수용하거나 거부한다.
요한 루드비 헤이베르

요한 루드비 헤이베르(덴마크어: Johan Ludvig Heiberg, 1791년 12월 14일 ~ 1860년 8월 25일)는 덴마크의 시인, 극작가, 문학 비평가이다.

생애

1791년 코펜하겐에서 작가 겸 철학자인 페테르 안드레아스 헤이베르(Peter Andreas Heiberg, 1758년 ~ 1841년)와 작가인 토마시네 크리스티네 길렘보르그에렌스베르트 남작부인(Thomasine Christine Gyllembourg-Ehrensvärd, 1773년 ~ 1856년) 부부의 아들로 태어났다. 1800년에는 그의 아버지가 덴마크 정부에 비판적인 문학 작품을 발표한 사건으로 인해 아버지와 함께 프랑스 파리로 추방당하고 만다.
1817년에 덴마크로 귀환한 이후에 코펜하겐 대학교에서 교육을 받았고 1819년에는 덴마크 정부로부터 국비 유학생으로 선발되었다. 1822년부터는 킬 대학교에서 덴마크어 교수로 근무했지만 1825년에 코펜하겐으로 귀환하면서부터 보드빌 작품을 집필하게 된다. 그의 희곡 작품은 프랑스의 희곡 작품 양식을 기반으로 하면서 단어와 음악의 조화를 통해 덴마크 특유의 보드빌 양식을 형성했다는 점이 특징이다.
1827년부터 1830년까지 코펜하겐에서 문학 신문 《플뤼베네 포스트》(Flyvende Post)의 편집장으로 근무하면서 낭만주의 문학을 비판하는 비평을 발표했다. 또한 게오르크 빌헬름 프리드리히 헤겔의 철학, 신(神)에 관한 헤겔의 인식, 기독교의 관점에서 본 헤겔의 사상을 연구한 철학 서적을 집필했다.
1831년에는 덴마크의 연극 배우였던 요하네 루이세 헤이베르(Johanne Luise Heiberg, 1812년 ~ 1890년, 결혼 이전의 성(姓)은 페트게스(Pätges))와 결혼했다. 1849년부터는 코펜하겐에 위치한 덴마크 왕립극장에서 연출가로 근무했다. 1860년 링스테드 근교에서 사망했다.