shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
이 정리는 1637년 피에르 드 페르마가 "아리스메티카"의 여백에 처음 추측으로 남겼는데, 그는 "나는 이것을 경이로운 방법으로 증명하였으나, 책의 여백이 충분하지 않아 옮기지는 않는다."고 주장했다. 1994년 앤드루 와일스가 증명에 성공하고 1995년에 공식 출판함으로써 수학자들의 358년에 걸친 노력이 결실을 맺었다. 이 난제를 해결하는 과정은 19세기 대수적 수론의 발전과 20세기 모듈러성 정리의 증명을 촉진했다. 이는 수학의 역사에서 가장 주목할 만한 정리 중 하나이며, 증명되기 전에는 "기네스 세계 기록"에 "가장 어려운 수학 문제"로 등재되기도 했다.
4색 정리.
수학에서 4색 정리는 평면을 인접한 구역들로 나누어 만든 도형인 '지도'를 칠할 때, 인접한 두 구역이 서로 다른 색을 갖도록 하는 데 4가지 색이면 충분하다는 정리이다. 여기서 두 구역이 '인접하다'는 것은 꼭짓점(세 개 이상의 구역이 만나는 점)이 아닌 경계선을 공유한다는 뜻이다. 예를 들어 미국 지도에서 유타주와 애리조나주는 인접해 있지만, 유타주와 뉴멕시코주는 애리조나 및 콜로라도와 함께 한 점만을 공유하므로 인접하지 않다.
뫼비우스는 1840년 강의에서 이 문제를 언급했다. 구체적인 추측은 1852년 10월 23일 프랜시스 구스리가 잉글랜드의 주 지도를 칠하려다 4가지 색만 있으면 된다는 사실을 발견하면서 처음 제안되었다. 5가지 색이면 충분하다는 5색 정리는 증명이 비교적 간단하여 19세기 후반에 증명되었으나, 4가지 색으로 충분함을 증명하는 것은 훨씬 난해했다. 1852년 첫 제안 이후 수많은 잘못된 증명과 반례들이 등장했다.
4색 정리는 1976년 케네스 아펠과 볼프강 하켄에 의해 결국 증명되었다. 이는 컴퓨터를 이용하여 증명된 최초의 주요 정리이다. 아펠과 하켄은 4색 정리에 대한 최소 크기의 반례가 존재한다면, 그 반례는 반드시 1,936개의 특정 지도 패턴 중 하나를 포함해야 함을 보였다. 그들은 컴퓨터 프로그램을 통해 이 패턴들이 포함된 지도는 4색으로 칠할 수 있음을 확인했다. 즉, 최소 반례가 존재한다면 이 패턴 중 하나를 포함해야 하므로 칠할 수 있어야 하는데, 이는 최소 반례가 존재하지 않음을 의미한다. 처음에 이 컴퓨터를 이용한 증명은 사람이 직접 검증할 수 없기 때문에 수학자들에게 즉각 받아들여지지 않았다. 이후에는 대부분 컴퓨터를 이용한 증명을 받아들였으나, 여전히 일부 의구심은 남아있다.
주추측 (Hauptvermutung).
기하학적 위상수학에서 주추측(Hauptvermutung)은 삼각화 가능 공간의 임의의 두 삼각화가 공통 세분(두 삼각화 모두의 세분이 되는 단일 삼각화)을 갖는다는 추측이다. 1908년 슈타이니츠와 티체가 처음 추측했다.
이 추측은 현재 거짓임이 밝혀졌다. 비다양체(non-manifold)에 대한 반례는 1961년 존 밀너가 라이데마이스터 비틀림을 사용하여 찾아냈다.
다양체의 경우, 차원이 일 때는 참이다. 인 경우는 각각 1920년대와 1950년대에 티보르 라도와 에드윈 E. 모이즈가 증명했다.
베유 추측.
수학에서 베유 추측은 유한체 위에서의 대수적 다양체의 점의 개수로부터 유도된 생성함수(국소 제타 함수라 함)에 관하여 가 제안한, 수학계에 큰 영향을 미친 일련의 추측들이다.
"q"개의 원소를 가진 유한체 위의 다양체 "V"는 유한 개의 유리점을 가지며, 그 체를 포함하는 "q""k"개의 원소를 가진 모든 확대체 위에서도 점들을 가진다. 생성 함수는 "q""k"개의 원소를 가진 (본질적으로 유일한) 체 위에서의 점의 개수 "N""k"로부터 유도된 계수를 갖는다.
베유는 이러한 "제타 함수"들이 유리 함수여야 하고, 일종의 함수 방정식을 만족하며, 그 영점들이 제한된 위치에 있어야 한다고 추측했다. 마지막 두 성질은 리만 제타 함수와 리만 가설을 의식적으로 모델링한 것이다. 유리성은 에 의해, 함수 방정식은 에 의해 증명되었으며, 리만 가설의 유사체는 에 의해 증명되었다.
수학에서 푸앵카레 추측은 4차원 초구의 경계인 3차원 초구의 위상수학적 특징에 관한 정리이다. 이 추측은 다음과 같이 진술된다.
이와 동치인 다른 형태는 위상동형보다 느슨한 개념인 호모토피 동치를 사용한다. 즉, 3차원 다양체가 3차원 구면과 "호모토피 동치"라면, 그것은 반드시 3차원 구면과 "위상동형"이라는 것이다.
1904년 앙리 푸앵카레가 처음 제기한 이 추측은, 국소적으로는 일반적인 3차원 공간처럼 보이지만 연결되어 있고 크기가 유한하며 경계가 없는 공간(닫힌 3차원 다양체)에 관한 것이다. 푸앵카레 추측은 이러한 공간이 공간 내의 모든 고리를 한 점으로 연속적으로 수축시킬 수 있다는 성질(단일 연결)을 가진다면, 그 공간은 필연적으로 3차원 초구일 수밖에 없음을 주장한다. 더 높은 차원에 대한 비슷한 결과는 이미 알려져 있었다.
거의 한 세기에 걸친 노력 끝에, 그리고리 페렐만은 2002년과 2003년에 arXiv를 통해 이 추측의 증명을 제시했다. 이 증명은 리치 흐름을 사용하여 문제를 해결하려 했던 리처드 S. 해밀턴의 연구 프로그램을 계승한 것이다. 해밀턴은 '수술이 가미된 리치 흐름(Ricci flow with surgery)'을 도입하여 특이점이 발생할 때 이를 체계적으로 제거하려 했으나, 이 방법이 3차원에서 수렴함을 증명하지는 못했다. 페렐만은 이를 증명함으로써 푸앵카레 추측의 증명을 완성했고, 여러 수학자 팀이 페렐만의 증명의 올바름을 확인하였다.
푸앵카레 추측은 해결되기 전까지 위상수학에서 가장 중요한 미해결 문제 중 하나였다.
수학에서 이 제안한 리만 가설은 리만 제타 함수의 비자명 영점들의 실수부가 모두 1/2이라는 추측이다. 이 명칭은 유한체 위의 곡선에 대한 리만 가설과 같이 밀접하게 관련된 유사체들에도 사용된다.
리만 가설은 소수의 분포에 대한 심오한 결과를 함의한다. 적절한 일반화와 함께, 많은 수학자들은 이를 순수 수학에서 가장 중요한 미해결 문제로 간주한다. 리만 가설은 골드바흐 추측과 함께 다비트 힐베르트가 제시한 23가지 미해결 문제 중 힐베르트의 8번째 문제에 포함되며, 클레이 수학연구소의 밀레니엄 문제 중 하나이기도 하다.
P-NP 문제는 컴퓨터 과학의 주요 미해결 문제이다. 알기 쉽게 설명하면, 답을 빠르게 검증할 수 있는 모든 문제가 답을 빠르게 구해낼 수도 있는 문제인지를 묻는 것이다. 학계에서는 대체로 '아니요'일 것이라 추측한다. 이 문제는 1956년 쿠르트 괴델이 존 폰 노이만에게 보낸 편지에서 처음 언급되었다. 괴델은 특정 NP-완전 문제가 이차 시간 또는 선형 시간 내에 해결될 수 있는지 물었다. 문제의 엄밀한 서술은 1971년 스티븐 쿡의 논문 "정리 증명 절차의 복잡성(The complexity of theorem proving procedures)"에서 이루어졌으며, 많은 이들이 이 분야의 가장 중요한 난제로 꼽는다. 이는 클레이 수학연구소가 100만 달러의 상금을 걸고 선정한 7개의 밀레니엄 문제 중 하나이다.
다른 과학 분야에서.
칼 포퍼는 과학철학에서 "추측(conjecture)"이라는 용어를 선구적으로 사용했다. 추측은 가설과 관련이 깊은데, 과학에서 가설은 검증 가능한 추측을 의미한다.
First Step은 다음과 같은 뜻이 있다.
계획 경제하에서 경제는 중앙정부에 의해 주도되는 주기적 계획에 따라 운영되고, 일반적으로 생산과 소비, 그리고 자본의 투자가 통제된다. 구체적으로 이중가격제의 도입, 가격 통제, 정부와 국영기업을 통한 원자재 및 전단계 가공품의 분배, 중앙계획기구(GOSPLAN)의 총체적인 경제 계획 등으로 특징지어진다.
계획 경제는 사회주의 경제 조직이 없이 실시할 수 없으므로 사회주의 정부의 형성을 전제로 하고 있고, 이에 따라 자본주의 경제 원리를 채택한 경제권에서 계획 경제의 도입은 그 원리상 불가능한 것으로 간주되고 있다. 이는 계획 경제라는 용어가 사실상 1920년대 말 소비에트 연방에 의해 정립되었다는 점에서 기인한다.
계획 경제는 1920년대 말 소비에트 연방에서 실시된 제1차 5개년 경제 개발 계획에서 등장한 개념이다. 전연방 공산당 중앙위원회 서기장인 이오시프 스탈린은 개발 지역의 소비에트 조직, 당중앙, 정부의 경제 조직이라는 삼중(三重)의 통제에 기초한 사회주의 경제의 완성을 주장하였는데, 이 과정에서 계획 경제라는 용어가 정립됐다.
소비에트 연방의 경제는 고도로 일원화된 관리-지령식 정부 조직에 의해 통제되고 있었고, 이 과정은 당과 국가에서 정한 경제 지령과 행정 지침에 근거를 두고 있었다. 코시긴 개혁 이전까지 소비에트 연방 사회에서 경제 활동은 오로지 다수의 이익, 마르크스-레닌주의 이데올로기의 실현을 목적으로 운영됐다.
1965년 소비에트 연방에서 실시된 코시긴 개혁은 계획 경제에 부분적인 시장 경제적 요소를 도입한 경제 개혁으로, 독립채산제의 도입, 부분적인 이윤 생산 체계의 도입, 원자재 공급의 포기 및 생산 책임제 등을 도입한 정책이다. 이 정책은 몇몇 부문에서 제품 경쟁력과 동기 유발을 확보하기 위한 조치였다. 그러나, 이러한 경제 구조의 수정은 사회주의 경제가 온전히 작동하지 못 하게 하는 원인으로 됐다.
1985년에 집권한 소련 공산당 서기장 고르바초프는 페레스트로이카를 통해 시장 경제를 대폭 받아들이고, 몇몇 자본주의 생산 양식을 소비에트 연방 경제 제도에 도입했다. 그 결과 사회주의 경제 지반의 침식이 이어졌고, 곧이어 1989년에는 대부분의 계획기구를 해체하여 자본주의식 혼합 경제의 길로 나아갔다. 이후 경제난은 가중됐고 시장 경제의 도입은 소비에트 연방 붕괴의 주된 원인 중 하나가 되었다.
냉전 종식 후에 계획 경제는 여러 가지 비판에 직면했고, 경제 운영 원리에서 시장 경제에 필적할 수 없는 경제 원리로 여겨졌다. 현재 미국, 영국을 비롯한 대다수의 선진 경제학자들 사이에서 계획 경제는 관료적 비효율성을 해결할 수 없는 경제 구조로 평가받고 있으며, 대부분 국가의 경제 정책에서 채택되지 않는 경제 원리로 남아 있다. 그러나, 시장 경제의 문제점이 부각되자 몇몇 대안 경제 이론가들은 계획 경제를 부분적으로 받아들인 새로운 경제 구조의 형성을 주장하기도 한다.
계획 경제가 갖는 내용은 가격 통제, 감제고지의 원칙, 생산과 소비의 통제, 중앙계획기구를 통한 경제 계획, 투자 통제가 있다. 나열된 특징 중 계획를 가늠하는 척도는 중앙계획기구를 통한 경제 계획이며, 나머지 개념은 지도주의(통제 경제)라는 틀에서도 실시될 수 있다.
한편으로, 지도주의라는 통제 경제의 틀에서 자본주의 경제는 부분적으로 통제될 수 있으나, 광범위한 경제 통제와 경제 계획이 수반되는 계획 경제는 자본주의 경제 원리를 상당히 훼손하기에, 자본주의 경제 원리를 받아들인 경제 구조에서 혼용될 수 없다. 반면, 냉전 종식 이후 등장한 대안적인 계획 경제 이론의 일종인 탈집중화 이론은 자본주의 경제에서 계획 경제가 부분적으로 도입할 수 있음을 논증하고 있다.
가격 통제 정책은 여러 방면에서 실시된다. 농촌의 농업 생산지에서 가격 통제는 유상공출제에 기반했을 경우, 농민이 농산물을 정부에 납품할 때, 정부에서 지정한 가격에 따른다. 도시에서 가격 통제는 국가 주도 공업 경제가 생산한 공산품에 대한 대대적인 가격 통제로 나타난다.
가격 통제는 부동산에도 적용되는데, 예를 들어 토지가, 건물가, 심지어 부분적인 임대료제 시행시 임대료의 통제까지 포괄한다. 소비에트 사회에서 토지와 건물은 원칙적으로 국가의 재산이었고( 50년대 이후 소련에서는 주택조합을 통해 집을 살 수 있었지만, 이건 거주권을 사는 형태였다. ) 임대료는 존재하지 않았기에 가격 통제 자체가 성립하지 않았지만, 제2차 세계 대전 이후 성립한 몇몇 공산국가가 사회주의 발전을 감행하는 과정에서 토지와 건물, 임대료를 통제했다.
감제고지의 원칙.
생산과 소비의 통제.
계획 경제에서 생산과 소비는 철저히 통제된다. 그리고 그 내용은 중앙계획기구의 경제 정책, 지침을 통해 규정된다.
생산과 소비의 통제는 국가 전반의 경제 활동, 그리고 그에 대한 구체적 정보를 확보하려는, 계획 경제에서 가장 근간이 되는 정책이다. 계획 경제하 생산되고, 소비되는 총생산품의 비율이 매년마다 조사되고, 합리적인 가중치를 설정하여 제한치를 결정한다.
생산의 통제는 한 나라 내에서 가장 적절한 생산 비율을 맞추기 위해 경제 지침이라는 방법으로, 인위적으로 통제하는 것이다. 예를 들어, 특정 상품의 과도한 생산이 기업 성장에 해를 가할 수 있거나, 가격 경쟁상 의미가 없을 정도로 판매가가 하락할 수 있거나, 해당 생산품을 생산하기 위해 투입되는 자금의 수지가 맞지 않는 등의 경제 실패를 예방하기 위해 미리 생산 초과치가 정해지는 것이다. 이에 따라 계획 경제하에서는 한 해에 생산할 생산품의 양을 정부 차원에서 조사·결정하고, 실시한다.
소비의 통제는 과소비, 사재기 현상을 통한 경제 교란을 막기 위해 실시된다. 소비의 통제는 배급표의 분배를 통해 이루어진다. 가령, 한 경제 주체가 1달, 1년에 특정 상품을 소비할 수 있는 권한을 정부가 통제하는 것이다.
볼셰비키가 장악한 소비에트 러시아 인민위원평의회는 1921년 〈러시아 국가계획위원회〉를 구성했다. 이 조직은 이후 소비에트 연방 국가계획위원회(GOSPLAN)로 개칭됐는데, 전체 경제의 계획을 담당하던 관료 조직이었다.
이 조직은 본래 경제 관리에서 주된 역할을 하지 않았으나, 소비에트 연방의 제1차 5개년 경제 개발 계획을 시작으로 거대 관료 조직으로 개편됐다. 이후 고스플란은 소비에트 연방 경제에 지대한 영향력을 행사했고, 계획 경제의 필수 요소로 자리매김했다.
소비에트 연방에서 중앙계획기구를 통한 경제 계획은 1990년 제13차 5개년 경제 개발 계획을 끝으로 종식됐다. 이어서 중화인민공화국은 중앙계획기구의 역할을 대폭 축소하고 전체 경제 활동에서 경제 계획의 의미를 제한하였다. 이러한 기조는 베트남, 라오스 등에서도 비슷하게 이어졌다. 조선민주주의인민공화국은 현재까지 중앙계획기구를 통한 경제 계획을 유지하고 있다.
이러한 투자 통제책은 주로 민간 자본의 규모가 낮은 개발도상국에서 행해졌는데, 몇몇 계획 경제가 아닌 경제 구조를 갖춘 제3세계 개발 독재에서도 부분적인 투자 통제가 실시됐다. 이러한 경제 구조에서 투자 통제는 개개인의 투자를 부분적으로 제한하면서도, 정부는 국영기업의 자본 규모를 이용하여 자본 집중을 실현한다. 이러한 정책은 규모의 경제를 통한 생산비 절감과 해외 자본과의 경쟁에서 이점을 가졌다. 반면, 계획 경제에서 투자 주체는 오로지 정부와 국영기업이다.
계획 경제는 민간 자본의 투자가 매우 약한 개발도상국의 경제 성장에 일정 영향을 줬다. 비록 개발도상국의 통제적인 경제 정책이 계획 경제는 아니었지만, 현대적인 민간 기업 국유화, 투자 통제, 국가 주도 자본 투자 등의 요소는 계획 경제로부터 도출된 것이다. 개발도상국의 특정 산업 분야에 대한 집중적인 투자와 전략화는 세계 경제의 경쟁 구도에 적극적으로 참여할 수 있는 토대를 마련했다.
빈곤, 불평등이라는 사회적 부조리의 일소에도 영향을 줬다. 계획 경제를 받아들인 공산국가는 유아 사망, 지니 계수 등 기타 사회 안전망과 관련된 수치에서 주요 자본주의 국가보다 긍정적인 수치를 보였다.
사회 부조리 일소에도 매우 효과적이다. 계획 경제하에서 기업은 대내적으로 사익을 추구하지 않으며, 오로지 국민경제 향상에 이바지하려 하기에 시장 경제에서 횡행하는 소비자 기만, 사기 행위, 불법적 사익 추구 등이 일체 존재하지 않는다.
재정 건전성에도 매우 큰 효과를 발휘한다. 번잡한 세제를 통해 기업 및 가계로부터 예산을 확충하는 자본주의 시장 경제는 각 기업의 분식회계로 인한 필요 예산의 적자가 고질적이었다. 따라서, 추가적인 예산 편성을 위한 국채의 매입이나 통화 증발은 필수였다. 이는 자본주의 시장 경제의 내생적 요인에 따른 불가피한 선택이었으며, 결과적으로는 인플레이션으로 인한 실질임금 하락으로 이어졌다. 이와 반면, 사회주의 계획 경제에서 기업의 수입은 거의 전량이 정부 예산으로 책정되었다. 1990년 기준 소비에트 연방의 실질 GDP 대비 국가 부채는 1%에 불과했다. 이는 동시기 미국의 약 300분의 1 수준이었으며, 서유럽 주요 선진국의 약 100분의 1 수준이었다. 국가 부채의 증가는 도시와 지방 사이의 예산 격차를 발생시키는 원인이었고, 이러한 결과에 따라 자본주의 시장 경제권의 경우 도시와 지방의 생활 격차가 증가하였는데, 냉전 시기 동구권은 이러한 문제에서 자유로울 수 있었다.
잘못된 계획으로 인한 대규모 경제 실패 야기, 특정 물품의 품귀 현상 심화, 암시장 형성, 관료적 경직성, 동기 유발의 미비, 민주주의 제도의 파괴 등의 단점이 존재한다. 이러한 단점은 전체적인 경제 성장의 둔화로 이어졌다.
농업 생산량의 감소.
계획 경제로 인한 대규모 경제 실패 사례는 경제사적으로 매우 중요하면서도, 그 규모의 심각성과 치명성으로 인해 대표적인 예시로 쓰인다. 예를 들어, 중국 공산당이 계획한 대약진운동은 중화인민공화국 경제에 심대한 타격을 줬다. 1950년대 중반 이후에 이어진 이른바, 리센코주의는 과학적 근거가 부족했음에도 불구하고 소비에트 연방의 농업 정책으로 채택되었다. 그 결과는 옥수수 생산량의 급격한 저하라는 직격탄이었다.
가격 메커니즘의 포기에 기초한 공산주의.
시장 경제의 경우 경제 주체인 개인의 욕구, 그에 따른 선택에 따라 자연스럽게 균등한 기술 발전이 이루어지고, 전반 경제 분야의 성장 동력이 생겨나지만, 계획 경제는 이러한 이점이 존재하지 않았으며, 오로지 중앙계획기구에서 투자하기로 결정한 산업만이 기술 발전의 혜택을 봤다. 반면, 이러한 계획 지침에서 제외된 산업은 세계 경제체제에서 전혀 경쟁할 수 없을 정도의 기술 발전 수준을 보였으며, 1970년대 말 이후에는 만성적인 적자를 기록하며, 사실상 국내 소비용에 한정된 제품만을 생산하고 있었다. 계획 경제에 대한 시장 경쟁력 파산과 관련된 비판은 주로 자유주의 경제학자인 루트비히 폰 미제스, 프리드리히 하이에크 등이 주도했다.
지하 경제의 확산과 경제 민주화에 역행.
생산과 소비의 통제, 가격 통제는 암시장, 지하 경제를 형성했다. 이러한 현상은 공급자들의 비리 행위와 연관이 되어있기도 했는데, 가령, 소비에트 연방에서 발생했던 일시적인 비누, 특정 농산물 품귀 현상은 이러한 문제와 연결되어 있었다. 수요량에 비해 공급이 따라가지 못하는 현상이 발생하면서 벌어진 일이었다.
계획 경제를 받아들인 국가는 1990년 이후의 혼란기를 제외하면 마이너스 성장을 경험한 적이 없지만, 서구에 비해 훨씬 낮은 경제 성장력을 보였다. 특히, 1970년에서 1989년 사이의 명목 GDP 성장에서 공산권 국가는 주요 자본주의 선진국의 5분의 1 수준에 그쳤다.
경제학자 Robin Hahnel는 계획 경제가 단순히 경제 영역에서 실패를 초래하는 것만이 아니라고 지적하였다. 그는 계획 경제가 민주주의의 존속에도 악영향을 준다고 하였다. 그에 따르면, 계획 경제를 구현하는 과정에서 재산권을 포함한 광범위한 기본권 침해는 필수적일 수밖에 없다. 결과적으로, 계획 경제의 유지는 오로지 민주주의로서 정체성을 상실한 권력 집단 및 기관이 수행할 수 있는 작업이란 것이다. 그는 사회 전반에서 민주주의의 쇠퇴는 경제 영역에서 민주화를 역행하는 원인이 된다고 보았으며, 양자의 관계성에 주목했다.
옥천여자중학교(沃川女子中學校)는 대한민국 충청북도 옥천군 옥천읍 문정리에 있는 공립 중학교이다.
캥거루속("Macropus")은 캥거루과에 속하는 유대류 속의 하나이다. 3개 아속에 14종으로 이루어져 있다.
명도황후 모씨(明悼皇后 毛氏, ? ~ 237년)는 중국 삼국 시대 조위 제2대 황제 명황제 조예의 황후다. 하내 사람으로, 모가(毛嘉)의 딸이다.
황초 중(220년 ~ 226년)에 동궁으로 들어가, 당시 평원왕이던 조예의 특별한 사랑을 받았다. 황초 6년(226년), 문제 조비가 죽고 조예가 황제로 즉위하면서 귀빈이 되었으며, 태화 원년(228년), 정비 우씨가 있음에도 황후가 되었으며 아버지 모가과 아우 모증도 모두 작위를 받았다.
후에 조예는 명도황후 대신 곽부인(후의 명원황후)를 사랑했다. 경초 원년(237년), 조예는 후원으로 놀러 나가 재인(후궁의 계급) 이상의 후궁들을 불러모아 연회를 벌였는데, 곽부인이 명도황후도 와야 한다고 했으나 부르지 않고 연회를 연 것 자체를 비밀로 했다. 그런데 명도황후가 이를 알고 조예에게 비꼬자, 분노한 조예는 비밀이 샜다고 측근 10여 명을 죽였으며 명도황후도 사사했다. 시호를 내리고 민릉에 장사지냈다.
공기펌프자리 알파(α Ant, α Antliae)는 공기펌프자리에서 가장 밝은 별이다. 그러나 4.25등급으로 어둡기 때문에 눈에 잘 띄지 않아 예전부터 사람들이 부르던 고유 명칭은 따로 갖고 있지 않다. 공기펌프자리 알파는 현대 88 별자리의 알파성들 중 가장 어두운 별이다. 지구로부터 약 370 광년 떨어져 있다. 이 별은 분광형 K의 거성으로 밝기가 4.22에서 4.29사이를 요동치는 변광성이다. 질량은 태양의 약 2.2배로 태양의 약 53배 크기까지 부풀어오른 상태이다. 이 별의 중원소함량(수소와 헬륨을 뺀 나머지 물질)은 태양의 41퍼센트밖에 되지 않는다.
ISU 스피드 스케이팅 월드컵(Speed Skating World Cup)은 국제 빙상 경기 연맹이 주관해 1985-86년 시즌부터 열리고 있는 스피드 스케이팅 일련의 국제 대회이다. 대회는 매년 12월부터 3월까지 세계 여러 곳에서 열린다. 각 대회에서 획득한 점수를 합산해 참가 선수의 최종 순위를 정한다. 초창기에는 선수나 관중 양쪽 모두에 그다지 환영을 받지 못했지만 대회가 거듭되면서 점차 인기를 더해갔고, 그 결과 세계 종목별 스피드 스케이팅 선수권 대회의 창설로 이어졌다. 월드컵 대회의 종목별 순위는 세계 종목별 스피드 스케이팅 선수권 대회의 참가 자격을 확보하는데 가장 중요하게 작용한다.
현재의 벨라루스 마힐료우 주의 농민으로 태어난 쿠즈네초프는 제1차 세계 대전 당시 러시아 제국 육군으로 복무하다 후에 볼셰베키의 붉은 군대에 복무한다. 독소 전쟁 당시 1941년 6월 30일 발트 작전까지 북서부 전선군의 지휘관이었으나, 1941년 8월 초(소장 P. P. 사베니코프로 교체) 해임되었고 스타브카에 1942년 3월까지 소련 제21군을 지휘하고, 이후 1941년 7-8월에 중앙 전선군의 임시 지휘관이자 제28군 참모총장이 되었으며 서부 전선군의 지휘관이자 제61군의 사령관이 되었다.
1942년 3월부터 1943년 6월까지 바르샤바 국방 대학의 지휘관을 맡았으며 1943년 8월부터 1944년 2월까지 볼호프 전선군과 칼리닌 전선군의 부사령관이었다. 1945년부터 1948년까지 그는 볼가-우랄 군관구의 사령관이었으며 질병으로 은퇴했다.
위빳사나(, ) 또는 관(觀)은 불교의 명상법이다. 동국대학교 한글대장경 사이트에서는 비파사나(毘婆舍那), 비바사나(毘婆舍那), 비발사나(毘鉢舍那)로 검색되며, 천태종의 지관수행의 관이라고도 하며, 보조국사 지눌(知訥)의 정혜쌍수나 계정혜삼학에서 혜(慧)라고도 설명되어 있다.
수식관.
대중부 불교는 계율을 지키고 사마타와 위빳사나 두가지를 수행해야 깨달음을 얻을 수 있다고 설법한다. 일명 계, 정, 혜. 다른 불경에서는 부정관과 수식관을 수행해야 깨달을 수 있다고 한다. 수식관은 아나빠나사띠를 말하며, 사마타 즉 선정 수행이다. 그리고 위빳사나는 선정력을 기반으로 지혜를 닦는 수행이기 때문에 수식관을 통해 닦인 선정의 힘으로 위빳사나 수행을 하게 된다. 부정관 역시 선정을 닦는 사마타 수행이지만, 부정관을 통해 몸 혹은 '자아'에 대한 집착을 버리고 무상 고 무아를 알아 깨달음을 얻을 수 있게 된다는 점에서 지혜를 닦는 수행이기도 하다.
비바사나(毘婆舍那)는 관(觀)을 말한다. 지(止)는 생각을 그치고 마음의 동요를 진정시키며 본원적인 진리에 머무르는 것을 의미하며, 관(觀)은 움직이지 않는 마음이 지혜의 작용이 되어 사물을 진리에 합치시키며 올바르게 관찰하는 것을 의미한다. 지는 정(定), 관은 혜(慧)에 해당하며, 여기에서는 오른팔에 그 의미를 부여하였다. 마찬가지로 왼팔은 사마타에 해당한다.
비바사나 수행법 이전부터 있었던 인도의 정신집중 수행법. 사마타(奢摩他)는 의역하여 지(止)ㆍ지식(止息)ㆍ적정(寂靜)ㆍ능멸(能滅)이라 번역한다. 산란한 마음을 멈추고 한 가지 대상에 집중하는 수행법이다. 그래서 비바사나가 관(觀) 수행법(修行法)이라면 사마타는 지(止) 수행법이라고 할 수 있다. 이를 합쳐 지관(止觀)이라 하며 불교 천태종(天台宗)의 근본교리이기도 하다. 사마타와 비바사나는 우열의 문제가 아니라 선후의 문제라고 할 수 있다. 우선 사마타에 의해 자아몰입에 들어간 후 지혜를 끌어내어 대상을 보는 비바사나 수행에 들어가는 것이다. 이러한 집중과 관찰은 불도수행에 있어서 동전의 양면과 같다. 여기서 사마타는 정(定)에 해당되고, 비바사나는 혜(慧)에 해당된다고 볼 수 있다. 지관불이(止觀不二)라고 해야 할 것이다.
사마타(奢摩他)는 능히 없앤다[能滅] 이름하나니 온갖 번뇌를 없애는 연고며, 또 사마타는 능히 조복한다 이름하나니 모든 근의 악하고 선하지 못한 것을 조복하는 연고며, 또 사마타는 고요하다 이름하나니 3업을 고요하게 하는 연고며, 또 사마타는 멀리 여읜다 이름하나니 중생으로 하여금 5욕락을 멀리 여의게 하는 연고며, 또 사마타는 능히 맑힌다 이름하나니 탐욕·성내는 일·어리석음의 흐린 법을 맑히는 연고니라. 이런 뜻으로 선정의 모양[定相]이라 이름하느니라.
가섭아, 나는 온갖 하늘과 사람들에게 항상 '사마타와 비바사나를 닦아 자기 자신을 조복하라. 세간에는 당연히 믿고 좋아하는 바라문과 거사들이 있어서 사리에 공양하게 될 것이다'라는 이런 법을 말하였느니라.
"누구나 사마타(奢摩他)와 비바사나(毘婆舍那)를 닦으면 반드시 번뇌를 다할 수 있고, 만약에 그것을 닦지 않는 자라면 번뇌를 다할 수 없으며, 또 이미 그것을 보았거나 알았다면 비록 비천한 종성에 태어났더라도 아라한의 과위를 얻을 수 있느니라. 이제 바다라와 같은 자는 알지도 못하고 보지도 못했으므로 비록 수승한 종족에 태어났더라도 아라한을 얻지 못하였으니, 그러므로 여래는 평등하게 법을 설하여 치우침이 없느니라."
또 사리자야, 보살마하살은 반야바라밀다를 수행하는 까닭에 도의 선교[道善巧]를 닦나니, 도의 선교에는 또 두 가지가 있느니라. 어떤 것이 두 가지인가 하면, 사마타(奢摩他)와 비발사나(毘鉢舍那)이니, 이것을 두 가지라 하느니라. 사마타란... 비발사나란... 상세한 설명
보살이 한 가지 법을 성취하면 모든 악한 길과 악한 벗을 떠나 빨리 아뇩다라삼먁삼보리를 증득하게 되느니라. 어떤 것이 그 한 가지인가 하면 이른바 훌륭한 뜻과 좋아함으로 보리의 마음을 일으키는 것이니, 이것을 하나라 하느니라. 미륵아, 다시 두 가지 법이 있어서 모든 악한 길과 악한 벗을 떠나 빨리 아뇩다라삼먁삼보리를 증득하게 되느니라. 어떤 것이 두 가지 법인가 하면 첫째는 사마타(奢摩他)를 항상 부지런히 닦아 익히는 것이요, 둘째는 비발사나(毘鉢舍那)에서 교묘함을 얻는 것이니, 이것을 두 가지라 하느니라.
‘사마타관의 뜻을 수순하며, 비발사나관의 뜻을 수순한다’는 것은 범어(梵語)인 사마타를 한어(漢語)로 번역하여 지(止)라고 한 것이며, 비발사나를 한어로 번역하여 관(觀)이라고 한 것이다. 다만 이제 이 『기신론』을 번역한 이가 방편과 정관(正觀)을 구별하기 위해서 정관에는 그대로 범어를 음사하여 저쪽의 말을 따른 것이다.
지혜가 맑으면 어리석음 멸하리.
어리석음 멸하면 해탈을 증득하고
인도의 요가와 중국의 단전호흡에서는 호흡을 매우 중요시 한다. 우파니샤드이래 인도의 모든 종교에서는 깨달음의 수단으로 요가를 주장하며, 석가모니가 수식법을 했다는 것도, 요가명상을 한 것이다.
고대 인도인들은 숨인 프라나를 생명의 기운, 생명 그 자체, 우주의 근본원리하고 보았다. 리그베다의 '푸루샤 수크타'라는 찬가에는 푸루샤의 숨으로부터 바람이 생겼다고 한다. 우파니샤드에서는 숨을 우주의 원리인 브라흐마와 아트만이라고 했다. 아타르바 베다에는 숨이 세상의 지배자, 여신이라며 찬양하는 시가 있다.
이렇게 호흡을 대상으로 하는 수행은 다양한 수행전통에 존재한다. 하지만 부처님은 수식관 혹은 아나빠나사띠 그 자체에서 얻은 선정력 만으로는 깨달음에 이를 수 없다고 판단, 세상의 진리를 있는 그대로 보는 위빳사나를 (이번 불법 시대에는) 최초로 시도하셨다. 그런데 일반적으로 지혜를 기르는 위빳사나 수행에는 사마타의 선정력이 기반이 되어야 한다. 아주 특이하게 호흡수행 즉 선정수행 없이 위빳사나 수행만으로 깨달음에 이르는 경우도 있다. 이렇게 깨달음에 이른 사람들을 마른위빳사나를 닦은 자들 이라고 한다. 석가모니 당시 500 아라한 중에 320명이 위빠사나만으로 깨달은 혜해탈자, 60명이 사마타의 심해탈과 위빠사나의 혜해탈을 둘 다 깨달은 양분해탈자였다.
따라서 결국 불교 수행은 계행을 철저하게 지키면서, 호흡수행 등 사마타 수행으로 선정을 닦은 후, 그 선정력으로 모든 것을 있는 그대로 보고 나와 세상에 대한 무명과 갈애를 타파하여 번뇌를 소멸하고 열반에 이르는 지혜를 기르고 완성하는 위빳사나 수행을 하는 것이다. 즉 불교수행에서 호흡이란 지혜의 기반이 되는 선정을 기르기 위한 선정수행의 대상이 된다. 혹은 대념처경의 신수심법 중 신념처이다.
다른 종교에도 호흡수행은 존재한다. 하지만 불교의 호흡수행을 통한 선정과 다른 종교의 호흡수행을 통한 선정은 다르다. 다른 종교의 호흡수행은 수행을 통한 고요함과 선정에 끝난다. 반면에 불교의 호흡수행은 수행을 통해 얻은 고요함과 선정력이 갈애와 무명을 타파하고 깨달음에 이르게 하는 지혜로 전환되는 위빳사나 수행과 연결되는 정견의 메커니즘 속에서 이루어진다. 그리고 이 전체 수행메커니즘은 철저하게 불교의 정견에 기반을 두고 행해진다. 그래서 불교에서는 바른 삼매(정견을 바탕에 둔 삼매)와 삿된 삼매(정견을 바탕으로 두지 않은 삼매)로 호흡수행이나 기타 사마타 수행을 통한 삼매를 구분한다.
요가불교.
3세기 용수 스님이 대승불교를 만들어, 이전의 종파를 소승불교라 하여 무시했다. 그와 함께 수행 보다는 믿음을 중시하며, 석가모니의 수식법을 소승의 수행법이라 하여 멀리했다.
그러나 이러한 수행배제 믿음중시의 초기대승불교의 움직임은 다시 중기대승불교에 이르러 변한다. 4세기 무착 스님은 요가불교를 만들어 중기대승불교를 새로 여는데, 요가불교에서는 호흡법인 요가를 다시 중시한다. 석가모니가 6년간 수행했다는 호흡법인 수식법도 요가였다.
5세기 보리달마에 의해 중국으로 불교명상법이 전수된 이후, 12세기에 대혜종고가 간화선을 만들었는데, 호흡법이 일체 배제되었다. 그러나 20세기 한국의 불교명상을 이끈 전강 스님은 간화선에 다시 호흡법을 포함시켰다.
조동종.
12세기 중국 임제종에서 간화선이 만들어질 당시, 조동종에서는 전통의 수식관을 통한 묵조선을 강조하여, 서로 비난을 해가면서 대립하였다. 후에 조동종이 쇠퇴하고, 임제종이 동북아 불교를 장악해, 오늘날에 이르고 있다.
안젠역()은 일본 가나가와현 요코하마시 쓰루미구에 있는, 동일본 여객철도의 철도역이다. 쓰루미 선이 지나간다.
섬식 1면 2선 구조의 지상역이다. 무인역이지만 간이 개찰기에서 스이카 및 제휴 교통카드의 사용이 가능하다.
제야는 다음 등을 가리킨다.
카르페디에모나스속("Carpediemonas")은 원생생물 속의 하나이다. 작은 편모충류인 단일종 카르페디에모나스 멤브라니페라("Carpediemonas membranifera")만이 알려져 있다. 중복편모충류와 먼 친척 관계에 있다.
수식관(아나빠나)에 대한 알아차림을 명상의 초기 초점으로 사용하는 것에 대한 붓다의 가르침을 자세히 설명하는 법문이다.
경은 수행의 16단계를 포함하고, 그것들을 4개의 사티파타나(마음챙김의 배치)와 연관시키는 4개의 테트라드(tetrad)로 그룹화한다. 미국 학자 승려 타니사로 비쿠(Thanissaro Bhikkhu)에 따르면 이 불경은 팔리어 경전에서 가장 상세한 명상 지침을 담고 있다.
천보력 등 일본의 태음태양력에서는 12월 30일 또는 12월 29일, 태양력에서는 12월 31일에 해당하며, 현대에는 주로 태양력을 기준으로 삼는다. 오쓰고모리()라고도 한다. 다음날은 신년 1월 1일이다. 일본에서는 각종 행사가 열린다.
천보력()은 과거 일본에서 사용된 태음태양력의 역법이다. 과거 중국에서 사용된 동명의 역법과 구별하기 위해 천보임인원력()라고도 부른다.
가가미모치()는 떡을 신불에게 바치는 정월 장식이며, 신에 대한 공물이다. 일본의 전통이다.
인터럽트 핸들러() 또는 인터럽트 서비스 루틴(, ISR)은 특정 인터럽트 조건과 관련된 특별한 코드 블록이다. 인터럽트 핸들러는 하드웨어 인터럽트, 소프트웨어 인터럽트 명령어 또는 소프트웨어 예외에 의해 시작되며, 장치 드라이버를 구현하거나 시스템 호출과 같은 보호 모드 간의 전환에 사용된다.
인터럽트 핸들러의 전통적인 형태는 하드웨어 인터럽트 핸들러이다. 하드웨어 인터럽트는 전기적 조건 또는 디지털 논리에 구현된 저수준 프로토콜에서 발생하며, 일반적으로 하드 코딩된 인터럽트 벡터 테이블을 통해 비동기적으로 일반 실행 스트림으로 디스패치되며 (인터럽트 마스킹 수준이 허용하는 한), 종종 별도의 스택을 사용하고, 인터럽트 핸들러 실행 기간 동안 자동으로 다른 실행 컨텍스트(권한 수준)로 진입한다. 일반적으로 하드웨어 인터럽트 및 해당 핸들러는 프로세서가 실행 중인 현재 코드의 인터럽트가 필요한 고우선순위 조건을 처리하는 데 사용된다.
나중에 소프트웨어가 소프트웨어 인터럽트(동기 인터럽트의 한 형태)를 통해 동일한 메커니즘을 트리거할 수 있는 것이 편리하다는 것이 발견되었다. 하드웨어 수준에서 하드 코딩된 인터럽트 디스패치 테이블을 사용하는 대신, 소프트웨어 인터럽트는 종종 운영체제 수준에서 콜백 함수의 한 형태로 구현된다.
인터럽트 핸들러는 다양한 기능을 가지고 있으며, 이는 인터럽트를 트리거한 요인과 인터럽트 핸들러가 작업을 완료하는 속도에 따라 달라진다. 예를 들어, 컴퓨터 자판의 키를 누르거나 마우스를 움직이면, 키 또는 마우스의 위치를 읽고 관련 정보를 컴퓨터 메모리에 복사하는 인터럽트 핸들러를 호출하는 인터럽트가 트리거된다.
인터럽트 핸들러는 이벤트 핸들러의 저수준 대응물이다. 그러나 인터럽트 핸들러는 비정상적인 실행 컨텍스트, 시간 및 공간에 대한 많은 엄격한 제약 조건, 그리고 본질적으로 비동기적인 특성으로 인해 표준 방식(재현 가능한 테스트 사례가 일반적으로 존재하지 않음)으로 디버깅하기가 매우 어렵기 때문에 하드웨어 인터럽트 계층에서 작업하는 소프트웨어 엔지니어에게는 시스템 프로그래밍의 중요한 하위 집합인 전문 기술이 요구된다.
인터럽트 플래그.
다른 이벤트 핸들러와 달리, 인터럽트 핸들러는 핵심 기능의 일부로 인터럽트 플래그를 적절한 값으로 설정해야 한다.
중첩 인터럽트를 지원하는 CPU에서도 핸들러는 종종 CPU 하드웨어 작업에 의해 모든 인터럽트가 전역적으로 마스크된 상태로 도달한다. 이 아키텍처에서 인터럽트 핸들러는 일반적으로 필요한 최소한의 컨텍스트를 저장하고, 가장 먼저 글로벌 인터럽트 비활성화 플래그를 재설정하여 더 높은 우선순위의 인터럽트가 현재 핸들러를 인터럽트할 수 있도록 한다. 또한 인터럽트 핸들러는 현재 인터럽트가 핸들러 종료 시 즉시 반복되어 무한 루프가 발생하는 것을 방지하기 위해 어떤 방법(종종 주변 장치 레지스터의 어떤 종류의 플래그 비트를 토글)으로 현재 인터럽트 소스를 진정시키는 것이 중요하다.
모든 상황에서 인터럽트 시스템이 정확히 올바른 상태로 인터럽트 핸들러를 종료하는 것은 때때로 힘들고 까다로운 작업이며, 이를 잘못 처리하면 시스템을 완전히 중단시키는 심각한 버그의 원인이 된다. 이러한 버그는 때때로 간헐적으로 발생하며, 잘못 처리된 엣지 케이스는 몇 주 또는 몇 달 동안 연속 작동해도 발생하지 않을 수 있다. 인터럽트 핸들러의 공식적인 유효성 검사는 매우 어렵고, 테스트는 일반적으로 가장 빈번한 실패 모드만 식별하므로, 인터럽트 핸들러의 미묘하고 간헐적인 버그는 종종 최종 고객에게 전달된다.
실행 컨텍스트.
현대 운영체제에서, 하드웨어 인터럽트 핸들러는 진입 시 실행 컨텍스트가 미묘하다.
성능상의 이유로 핸들러는 일반적으로 실행 중인 프로세스의 메모리 및 실행 컨텍스트에서 시작되며, 이는 특별한 연결이 없다(인터럽트는 본질적으로 실행 컨텍스트를 빼앗는 것이며, 프로세스 시간 계산은 종종 인터럽트 처리 시간을 인터럽트된 프로세스에 할당한다). 그러나 인터럽트된 프로세스와 달리 인터럽트는 일반적으로 하드 코딩된 CPU 메커니즘에 의해 하드웨어 리소스에 직접 액세스할 수 있을 만큼 높은 권한 수준으로 승격된다.
스택 공간 고려 사항.
저수준 마이크로컨트롤러에서는 칩에 보호 모드 및 메모리 관리 장치(MMU)가 없을 수 있다. 이 칩들에서 인터럽트 핸들러의 실행 컨텍스트는 기본적으로 인터럽트된 프로그램과 동일하며, 이 프로그램은 일반적으로 고정된 작은 스택에서 실행된다(저가형에서는 전통적으로 메모리 리소스가 극히 부족했다). 중첩 인터럽트가 종종 제공되어 스택 사용을 악화시킨다. 이 프로그래밍 작업에서 인터럽트 핸들러의 주요 제약은 최악의 경우에 사용 가능한 스택을 초과하지 않는 것이며, 이는 프로그래머가 구현된 모든 인터럽트 핸들러 및 응용 프로그램 작업의 스택 공간 요구 사항에 대해 전역적으로 추론해야 함을 요구한다.
할당된 스택 공간이 초과되면(스택 오버플로라고 알려진 조건) 이 클래스의 칩에서는 하드웨어적으로 일반적으로 감지되지 않는다. 스택이 다른 쓰기 가능한 메모리 영역으로 초과되면 핸들러는 일반적으로 예상대로 작동하지만, 핸들러의 메모리 손상이라는 부작용 때문에 응용 프로그램은 나중에(때로는 훨씬 나중에) 실패할 것이다. 스택이 쓰기 불가능(또는 보호된) 메모리 영역으로 초과되면 실패는 일반적으로 핸들러 자체 내에서 발생한다(일반적으로 나중에 디버깅하기 쉬운 경우).
쓰기 가능한 경우, 감시 스택 가드(sentinel stack guard)를 구현할 수 있다. 이는 유효한 스택 끝 바로 너머에 고정된 값으로, 덮어쓸 수 있지만 시스템이 올바르게 작동하면 절대 덮어쓰지 않는다. 어떤 종류의 감시 메커니즘으로 스택 가드의 손상을 정기적으로 관찰하는 것이 일반적이다. 이는 스택 오버플로 조건의 대부분을 문제가 되는 작업에 가까운 시점에서 포착한다.
다중작업 시스템에서는 각 실행 스레드에 자체 스택이 있다. 인터럽트용 특수 시스템 스택이 제공되지 않으면 인터럽트는 인터럽트되는 실행 스레드에서 스택 공간을 소비한다. 이러한 설계는 일반적으로 MMU를 포함하고 있으며, 사용자 스택은 일반적으로 스택 오버플로가 MMU에 의해 포착되도록 구성된다. 이는 시스템 오류(디버깅용)로 처리되거나, 사용 가능한 공간을 확장하기 위해 메모리를 재매핑하는 방식으로 처리된다. 이 수준의 마이크로컨트롤러에서는 메모리 리소스가 훨씬 덜 제한적이므로 스택에 넉넉한 안전 마진을 할당할 수 있다.
높은 스레드 수를 지원하는 시스템에서는 하드웨어 인터럽트 메커니즘이 스택을 특수 시스템 스택으로 전환하는 것이 더 좋다. 그러면 어떤 스레드 스택도 최악의 중첩 인터럽트 사용을 고려할 필요가 없다. 1978년에 출시된 8비트 모토로라 6809와 같은 작은 CPU는 별도의 시스템 및 사용자 스택 포인터를 제공했다.
시간 및 동시성 제약.
여러 가지 이유로 인터럽트 핸들러는 가능한 한 간결하게 실행되는 것이 매우 바람직하며, 하드웨어 인터럽트가 잠재적으로 차단될 수 있는 시스템 호출을 호출하는 것은 매우 권장되지 않거나 금지된다. 다중 실행 코어 시스템에서는 재진입성 고려 사항도 중요하다. 시스템이 하드웨어 DMA를 제공하는 경우, 단일 CPU 코어만 있어도 병행성 문제가 발생할 수 있다. (중간급 마이크로컨트롤러가 보호 수준과 MMU가 부족하지만 여러 채널을 가진 DMA 엔진을 제공하는 것은 드문 일이 아니다. 이 시나리오에서는 많은 인터럽트가 일반적으로 DMA 엔진 자체에 의해 트리거되며, 관련 인터럽트 핸들러는 주의 깊게 작동해야 한다.)
하드웨어 인터럽트 핸들러를 전반부와 후반부 요소로 나누는 현대적인 관행이 발전했다. 전반부(또는 1단계)는 실행 중인 프로세스의 컨텍스트에서 초기 인터럽트를 수신하고, 하드웨어를 덜 긴급한 상태로 복원하기 위한 최소한의 작업(예: 가득 찬 수신 버퍼 비우기)을 수행한 다음, 후반부(또는 2단계)를 적절한 스케줄링 우선순위로 가까운 시일 내에 실행되도록 표시한다. 일단 호출되면 후반부는 더 적은 제약으로 자체 프로세스 컨텍스트에서 작동하며 핸들러의 논리적 작업(예: 새로 수신된 데이터를 운영체제 데이터 큐로 전달)을 완료한다.
현대 운영체제에서의 분할된 핸들러.
여러 운영체제(리눅스, 유닉스, macOS, 마이크로소프트 윈도우, Z/OS, DESQview 및 과거에 사용된 일부 다른 운영체제)에서 인터럽트 핸들러는 1단계 인터럽트 핸들러(FLIH)와 2단계 인터럽트 핸들러(SLIH)의 두 부분으로 나뉜다. FLIH는 하드 인터럽트 핸들러 또는 고속 인터럽트 핸들러로도 알려져 있으며, SLIH는 저속/소프트 인터럽트 핸들러 또는 윈도우의 지연 프로시저 호출로도 알려져 있다.
FLIH는 최소한 인터럽트 루틴과 유사한 플랫폼별 인터럽트 처리를 구현한다. 인터럽트에 응답하여 문맥 교환이 발생하고, 인터럽트 코드가 로드되어 실행된다. FLIH의 작업은 인터럽트를 신속하게 처리하거나, 인터럽트 시에만 사용 가능한 플랫폼별 중요 정보를 기록하고, 더 오랜 시간 동안 지속되는 인터럽트 처리를 위해 SLIH의 실행을 스케줄링하는 것이다.
FLIH는 프로세스 실행에 지터를 발생시킨다. FLIH는 또한 인터럽트를 마스킹한다. 지터를 줄이는 것은 실시간 운영체제에 가장 중요하다. 특정 코드의 실행이 합의된 시간 내에 완료된다는 보장을 유지해야 하기 때문이다. 지터를 줄이고 마스킹된 인터럽트로 인한 데이터 손실 가능성을 줄이기 위해 프로그래머는 FLIH의 실행 시간을 최소화하고 가능한 한 많은 부분을 SLIH로 옮기려고 노력한다. 최신 컴퓨터의 속도를 고려할 때, FLIH는 모든 장치 및 플랫폼 종속 처리를 구현하고, 플랫폼 독립적인 장기 처리에는 SLIH를 사용할 수 있다.
하드웨어를 처리하는 FLIH는 일반적으로 실행을 완료할 때까지 관련 인터럽트를 마스킹(또는 상황에 따라 계속 마스킹)한다. 완료하기 전에 관련 인터럽트 마스크를 해제하는 (흔치 않은) FLIH를 재진입 인터럽트 핸들러라고 한다. 재진입 인터럽트 핸들러는 동일한 인터럽트 벡터에 의한 다중 선점으로 인해 스택 오버플로를 유발할 수 있으므로 일반적으로 피한다. 우선순위 인터럽트 시스템에서 FLIH는 또한 동일하거나 낮은 우선순위의 다른 인터럽트를 (잠시) 마스킹한다.
SLIH는 장시간 인터럽트 처리 작업을 프로세스와 유사하게 완료한다. SLIH는 각 핸들러에 대해 전용 커널 스레드를 가지거나, 커널 워커 스레드 풀에 의해 실행된다. 이러한 스레드는 프로세서 시간이 가용할 때까지 운영체제의 실행 큐에 머물면서 인터럽트 처리를 수행한다. SLIH는 실행 시간이 길 수 있으므로 일반적으로 스레드 및 프로세스와 유사하게 스케줄링된다.
리눅스에서 FLIH는 상위 절반(upper half)이라고 불리며, SLIH는 하위 절반(lower half) 또는 바텀 절반(bottom half)이라고 불린다. 이는 다른 유닉스 계열 시스템에서 둘 다 바텀 절반의 일부인 것과는 다르다.
x86 인터럽트 핸들러.
welcome_message BYTE 'Welcome! interrupt call 21h.', 0dh, 0ah
mov ah, 40h
mov bx, 1
mov cx, lengthof welcome_message
mov dl, offset welcome_message
int 21h ; « 인터럽트 호출 Interrupt call.
mov ah, 2
mov dl, 'P'
int 21h ; « 1
;...COMMANDS...
IRET ; « 2
'« 2' 표시를 한 줄에서 다시 돌아와 '« 1' 표시를 한곳으로 와서 push al이 수행된다.
미래경찰 X(未來警察)는 2010년 개봉한 SF 액션 영화이다.
2080년 미래,
2080년 미래의 어느 도시, 경찰인 저우즈하오(유덕화)와 그의 아내는 미래 세계의 에너지 혁신을 이끈 과학자를 보호하는 임무에 투입된다. 그러나 기존 에너지 보유 세력이 급파한 사이보그로부터 과학자는 위험에 처하게 되고 결국, 과학자를 수행하던 중 아내가 그들에게 목숨을 잃는다. 이때 슬픔에 빠진 저우즈하오에게 2020년 과거로 가서 아직 소년인 과학자를 지키라는 새로운 임무가 주어지는데...
2020년, 딸과 함께 과거로 돌아간 저우즈하오. 그러나 신분을 숨긴 채 어린 미래 과학자를 찾던 중 딸이 납치를 당한다. 이때 미래에서 온 사이보그의 추격이 계속되고 임무를 완수하지 못하고 미래로 돌아갈 시기가 임박해 오는데 ... 과연 그는 딸과 미래 에너지 과학자를 구하고 인류의 미래를 지켜낼 수 있을까?
무사시시라이시역()은 일본 가나가와현 가와사키시 가와사키구에 있는, 동일본 여객철도의 철도역이다. 쓰루미 선이 지나간다.
상대식 2면 2선 구조의 지상역이다. 역사는 북쪽에 있으며, 승강장과는 건널목으로 이어져 있다. 무인역이며 간이 개찰기에서 스이카 및 제휴 교통카드의 사용이 가능하다.
샌드맨과 꿈나라 모험(Das Sandmännchen – Abenteuer im Traumland)은 2010년 개봉한 독일의 애니메이션 영화이다.
더 씨야(The Seeya)는 대한민국의 4인조 걸 그룹이다. 성유진, 허영주, 오연경, 송민경으로 구성되어 있다. 2011년 1월 해체한 씨야 와 같은 소속사에서 그룹명 씨야에 'The'가 붙어 'The Seeya'로 2012년 11월 12일, 데뷔 앨범 [Good To Seeya]를 발매하여 데뷔했다.
《5 데이즈 오브 워》()는 2011년 개봉한 미국의 전쟁 영화이다. 2008년 남오세티야 전쟁을 소재로 하고 있다.
이 영화는 조지아에서는 "5 Days of August"로 개봉되었고, 다른 나라에서는 "5 Days of War"와 "City on Fire"로 개봉되었다.
2007년 이라크 전쟁 중 미국의 종군 기자 토머스 앤더스(루퍼트 프렌드 분)는 동료 기자가 사망하는 와중에 이라크 다국적군 조지아 파견대의 도움으로 목숨을 건진다.
1년 후인 2008년 토머스는 조지아에서 큰 충돌이 일어날 것을 감지한 트빌리시 친구들의 조언을 듣고 다시 조지아로 향한다. 토머스는 촬영기사 서배스천 갠즈(리처드 코일 분)와 함께 조지아의 일상 속으로 깊숙이 들어가던 중 지역 결혼식에서 공습을 당하며 전쟁의 한복판에 놓이게 된다.
토머스는 결혼식에 참석했던 타티야(에마뉘엘 슈리키 분)와 과거 이라크에서 토머스를 구해줬던 조지아 군인 레조 아발리아니(조너선 셱 분)의 도움을 받아 러시아 비정규군의 만행을 담은 영상을 국외로 반출하려 애쓴다. 하지만 이들이 직면한 현실은 2008년 하계 올림픽 개막으로 인한 국제 사회의 무관심이다. 결국 이들은 고리 지역으로 도피하게 된다.
영화는 전쟁으로 가족을 잃은 조지아 시민들의 증언을 보여주며 마무리된다.
《윌리엄 &amp; 케이트》()는 2011년 공개된 미국의 텔레비전 영화이다. 윌리엄 왕자(현 웨일스 공)와 캐서린 미들턴(현 웨일스 공비)의 관계를 다룬 두 편의 미국 텔레비전 영화 중 첫 번째 작품으로, 마크 로스먼이 감독하고 낸시 실버스가 각본을 썼다. 비평가들의 혹평에도 불구하고 시청률에서는 성공을 거두었다. 이 영화는 윌리엄 왕자와 케이트 미들턴의 결혼식을 11일 앞둔 2011년 4월 18일에 공개되었다.
본 촬영은 로스앤젤레스에서 이루어졌으며, 일부 장면은 영국에서 촬영되었다. 케이트 미들턴 역에는 영국 출신 배우 커밀라 러딩턴이, 윌리엄 왕자 역에는 뉴질랜드 배우 니코 에버스스윈델이 발탁되었다. 영화는 윌리엄 왕자와 케이트 미들턴이 만나 사랑에 빠지고 결혼에 이르는 과정을 보여 준다. 영화에는 윌리엄 왕자, 케이트 미들턴 외에도 왕족과 주변 인물들이 등장하여 두 사람의 관계를 둘러싼 다양한 갈등과 사건들을 그린다.
영화는 비평가들로부터 혹평을 받았으며, 미국 배우들의 활용, 일부 장면의 어색함, 그리고 본 촬영을 미국에서 진행했다는 점 등이 비판받았다. 일부 언론에서는 영화를 두고 “끔찍하다”, “삼류 각본가나 떠올릴 법한 어처구니없는 장면들이 등장한다”, “(이 영화의 유일한 장점은) 이게 영화이긴 하다는 것이다” 등 혹평을 쏟아냈다.
하마카와사키역()은 일본 가나가와현 가와사키시 가와사키구에 있는, 동일본 여객철도와 일본화물철도의 철도역이다. 도카이도 화물선, 난부 선 하마카와사키 지선, 쓰루미 선이 지나간다.
난부 선과 쓰루미 선은 다른 역사를 사용하고 있다. 양 역사 모두 무인역으로, 난부 선 하마카와사키 역은 싯테 역이, 쓰루미 선 하마카와사키 역은 쓰루미 선 영업소가 관리하고 있다. 간이 개찰기에서 스이카 및 제휴 교통카드의 사용이 가능하다.
일본화물철도가 운영하는 적하장은 동쪽에 있으며, 일본화물철도의 역무원이 근무하고 있다. 다이이치 시멘트가 오쿠타마역에서 이곳 적하장을 거쳐 전용선까지 석회석을 운송했으며, 니혼텟칸 (지금의 JFE 스틸) 제철소로도 전용선이 있었다.
《다시, 뜨겁게 사랑하라!》()는 2012년 개봉한 수사네 비르 감독의 로맨틱 코미디 영화이다. 피어스 브로스넌, 트리네 뒤르홀름, 킴 보드니아 등이 출연하였다.
유방암에 걸려 유방 절제술을 받은 뒤 화학 요법을 마치고 집으로 돌아온 덴마크 미용사 이다는 남편 레이프가 그의 회계사 틸데와 바람을 피우는 현장을 목격한다. 한편 영국인 수출업자 필립은 아내와 사별한 뒤 냉소적으로 변한 상태이다.