heegyu/kowiki-sentences huggingface dataset:
만약 M이 붉은 노드이면, 우리는 단순히 특성 4에 의해 검은 노드여야 할 자식 노드 C를 M대신 치환하면 된다. (이 상황은 M이 두 개의 leaf 자식을 갖고 있을 때에만 발생한다.
왜냐하면 만약 M이 한 쪽에는 검은 non-leaf 자식 노드를 갖고 있고, 다른 쪽에 검은 leaf 자식 노드를 갖고 있다면, 양쪽의 검은 노드 개수가 달라지게 되어 특성 5를 위반하게 되기 때문이다.) 삭제된 노드를 지나는 모든 path는 단순히 붉은 노드 하나만 없어지게 되고, 삭제된 노드의 부모와 자식 모두 검은 노드이므로, 특성 3(모든 leaf들은 검은 노드)과 특성 4(모든 붉은 노드는 두 개의 검은 자식 노드를 갖는다)는 여전히 유효하다.
또 다른 간단한 상황은 M이 검은 노드이고 C가 붉은 노드일 때이다.
검은 노드를 단순 삭제해버릴 경우 특성 4(모든 붉은 노드는 두 개의 검은 자식 노드를 갖는다)와 특성 5(특정 노드에서부터 leaf로 가는 모든 경로에서 같은 수의 검은 노드를 지난다.)를 위반할 수 있으나, 우리가 C를 검은색으로 다시 칠하면, 두 가지 특성은 모두 만족할 수 있다.
복잡한 상황은 M과 C가 모두 검은색 노드일 때이다. (이 상황은 두 개의 leaf 자식을 갖고 있는 검은 노드를 지우는 상황에서만 발생한다.
왜냐하면, 검은 노드 M이 검은색 non-leaf 자식을 한 쪽에 갖고 있고 다른 쪽에 leaf 자식을 갖고 있으면, 양 쪽의 검은 노드 개수가 달라지게 되므로 특성 5에 대한 위반이다.) 일단, M을 자식 노드 C로 치환하자.
그리고 이 자식 노드를 N으로 다시 이름짓고, 이 노드의 형제노드(새로운 부모의 다른 자식 노드)를 S라고 이름짓자.(S는 원래 M의 형제노드이다.)
아래의 다이어그램을 보면, N의 새로운 부모를 P(M의 옛 부모)라고 표기하고, SL을 S의 왼쪽 자식, SR을 S의 오른쪽 자식(S는 leaf가 될 수 없다.
왜냐하면 만약 M과 C가 검은색이라면, M을 포함하는 P의 subtree는 2개의 검은노드-높이를 갖게되고 따라서 S를 포함하는 P의 다른 subtree 또한 2개의 검은노드 높이를 가져야만 하므로 S는 leaf 노드가 될 수 없다.
우리는 다음의 함수를 사용하여 형제 노드를 찾을 수 있다.
우리는 다음의 코드를 통해 위에서 소개한 단계를 밟아나갈 수 있다.
편의를 위해서, 이 섹션의 코드들은 null leaf들은 NULL 대신 실제 노드 객체로 표현할 것이라는 가정을 바탕에 두고 있다.
따라서 검은색 노드가 리프 노드를 표현한 것일 수 있다.("삽입"섹션에서 사용된 코드들은 양쪽 표현을 다 사용했었다.)
이 노드는 색깔이 검은색이고, 자식은 가질 수 없고 오직 부모만 가질 수 있다.
만약 N과 N의 원래 부모가 둘 다 검정이었다면, 부모를 삭제하는 것은 N을 지나는 path가 검은 노드 한 개를 덜 갖게 되므로 해서는 안된다.
이는 특성 5(특정 노드에서부터 leaf로 가는 모든 경로에서 같은 수의 검은 노드를 지난다.)를 위반하기 때문에, 트리는 재균형을 맞춰주어야 한다.
고려해보아야 할 몇몇 상황들이 있다:
우리는 모든 경로에서 하나의 검은 노드를 삭제했고, 새로운 루트 노드는 검은색이므로 모든 특성이 보존된다.
case 2로 인해서(case 2에서 N의 형제 노드를 원래 형제 노드 S의 자식노드로 바꾸지만,
빨강 부모노드는 빨강 자식 노드를 가질 수 없기 때문에 N의 새로운 형제노드는 빨강일 수 없다). */
/* 다음의 문은 빨강을 N의 부모노드의 오른쪽 자식의 오른쪽 자식으로 두기 위함이다.
혹은 N의 부모노드의 왼쪽 자식의 왼쪽 자식으로 두기 위함.
case 2를 통과하면 N과 S는 반드시 검은색 노드가 된다.
case 2를 통과한 후에 남는 경우의 수는 아래와 같은데, 아래의 경우 모두 각각의 case에서 해결된다.
추가적으로, 자식 노드에 대해서는 tail recursion이 일어나지 않으므로, tail recursion 루프는 자식 노드에서부터 연결된 조상 노드들로 거꾸로 올라간다.
case 1로 돌아가는 루프는 O(log "n")번을 넘지 않는다.("n"은 삭제 전에 트리에 존재하는 모든 노드의 개수) 만약 case 2에서 회전이 일어나면(case 1-3 루프 중에 유일한 회전), N의 부모노드는 회전 후 빨강으로 변하고, 루프에서 빠져나온다.
그러므로 이 루프 내에서는 회전은 기껏해야 한 번 있다.
루프를 빠져나오고 나서는 두 번 보다 많은 횟수의 추가적인 회전은 일어나지 않기 때문에 모두 합쳐서 3번보다 많은 수의 회전은 일어나지 않는다.
아이템의 수에 비례하여 컴퓨터 프로세서를 이용할 수 있다면, 정렬되어 있는 아이템을 가지고 레드-블랙 트리를 만드는 병렬 알고리즘은 상수시간이나 formula_1시간으로 구현될 수 있다.
빠른 검색, 삽입, 삭제를 위한 병렬 알고리즘 또한 알려져 있다.
윌리엄 H. 카니(1842년 3월 28일 ~ 1908년 3월 20일)은 미국의 군인으로 남북전쟁 중에 매사추세츠 54 연대에서 복무했으며, 유색인 최초로 미국 의회 명예 훈장을 수여받았다.
윌리엄 H. 카니는 버지니아주 노퍽에서 노예로 태어났으나, 가족과 함께 지하 철도(Underground Railroad)를 이용하여 매사추세츠주로 탈출하였다.
탈출한 초기에는 선원으로 생활했으며, 매사추세츠 54 연대가 창설되자 이 부대에 지원했고, 1863년 7월 18일, 카니는 상사로 복무를 시작했다.
와그너 요새 전투 당시 카니는 군기를 지키며 부대의 돌격을 (연대장이었던 쇼 대령은 전사했다) 지휘했고, 4번이나 부상을 당하면서도 끝내 군기는 지켰다.
50년 후인 1900년에 이 공로로 미국 의회는 카니에게 미국 의회 명예 훈장을 수여했다.
매사추세츠주 뉴베드포드에는 그의 이름을 딴 초등학교가 있다.
댜오위타이()는 다음을 가리킨다.
대한불교천태종(大韓佛敎天台宗)은 대한민국에서 활동하는 교단(敎團)이다.
현재(2015) 종정은 김도용 대종사이며 역대 종정에는 1대 상월원각대조사, 2대 남대충 대종사이다.
종립대학인 금강대학교를 운영한다.
교단(敎團) 대한불교천태종(大韓佛敎天台宗)은 1967년 1월 24일 충청북도 단양군 영춘면 백자리 118 소재 구인사(救仁寺)에서 박상월(朴上月)이 중창하였고 법화사상계에 속한다.
석가모니불을 본존(本尊)으로 하고 천태대사 지의를 종조(宗祖)로, 대각국사 의천을 개창조로, 《법화경》을 소의경전(所依經典)으로 삼는다.
종지(宗旨)는 천태 사상인 회삼귀일일심삼관원융불이의 교리(敎理)와 대각국사 의천의 호국 이념에 있어 불교관을 참구신해하고 참선염불하여 정혜겸수각행원만불입합일의 인격 완성과 국민사상(國民思想) 통일과 사회 정화(淨化)에 공헌(貢獻)이다.
1969년 12월 포교원을 본종(本宗)으로 명칭을 변경하였다.
종단(宗團) 기구는 종정 아래 총무원감사원종의회와 그 밑에 4부를 둔다.
신도회 조직으로 전국중앙신도회와 그 아래 각 도시군 단위 지부지회가 결성되어 있으며, 어린이회, 학생회, 청년회 등 각 연령대의 신행단체와 신흥 불교 종단 중 신도 조직의 체계가 가장 잘 짜여 있고 방대(尨大)하다.
포교(布敎) 사업으로 월별로 각지를 순회(巡廻)하면서 지부별(支部別)로 신도회 자체에서 정기(定期)로 법회를 개최(開催)하며. 주경야선(晝耕夜禪)을 수행(修行)하는 신조(信條)로 삼아 모든 재원(財源)은 자체 임야를 개간(開墾)하여 충당(充當)하고 당시 새마을사업에 앞장섰으며, 이후 계속하여 공익사업(公益事業)에 앞장선다.
육영사업으로 금강대학교를 설립하고 후세 교육에도 힘쓰고 있다.
종단(宗團) 대한불교천태종(大韓佛敎天台宗)은 594년 중국의 천태지자대사 지의가 창시(創始)한 종단(宗團)인 천태종에서 유래하였다.
《법화경》을 근본 교의(敎義)로 하고 선정(禪定)과 지혜의 조화를 종의(宗義)로 하는 신라의 천태종은 고려 때 대각국사 의천에 의거(依據)해 해동천태종으로 성립되었다.
이후 구산선문은 조계종(曹溪宗)으로 총칭(總稱)되면서 5교 9산이 5교 양종(兩宗: 조계종천태종)으로 일컬어졌다.
천태종의 성립으로 조계 9산은 큰 타격을 입어 겨우 종세(宗勢)를 유지했다.
천태종은 고려 말에 천태법사종(天台法事宗)과 천태소자종(天台疏字宗)으로 나뉘었고 조선 태종 7년(1407)에 재통합되었으며, 세종 6년(1424)에 조계종총남종(摠南宗)과 아울러서 선종(禪宗)으로 통합되고 선교 양종(禪敎兩宗)이란 이름이 나타나게 되었다.
근대의 특징이 될 만한 성질이나 경향이 있는 의미의 대한불교천태종(大韓佛敎天台宗)을 세운 사람은 박상월(朴上月)이다.
각 종단의 종지(宗旨)를 좇아 수행(修行)하는 근본으로 삼는 경전(經典)을 소의경전(所依經典)이라 하고,
대한불교천태종(大韓佛敎天台宗)의 소의경전(所依經典)은 《묘법연화경(법화경)》이다.
종단(宗團) 대한불교천태종(大韓佛敎天台宗)의 총본산(總本山) 사찰(寺刹)은 충청북도 단양군에 있는 구인사(救仁寺)로서 보통 불교 사찰과 다른 콘크리트 구조를 사용하여 건축(建築)되었다.
재단법인(財團法人) '대한불교천태종(大韓佛敎天台宗)'은 애국 불교, 생활 불교, 대중 불교를 실현하려는 운동을 이용하여 부처의 교의(敎義)인 '상구보리(上求菩提)·하화중생(下化衆生)'을 실천하고 도리인 '생활 불법(佛法)'을 국민 누구에게나 체득하게 하여 건전(健全)하고 숭고(崇高)한 국민정신(國民精神)을 창달(暢達)케 하여 개인 완성과 불국(佛國) 건설을 실현(實現)하고자 1991년 4월 16일 설립(設立)된 문화체육관광부에서 소관(所管)하는 재단법인이다.
사무실(事務室)은 충북 단양군 영춘면 백자리 132-1에 있다.
고려 문종(文宗)의 넷째 아들로서, 어머니는 인예태후(仁睿太后)이다.
순종, 선종, 숙종의 친동생이며, 추존왕 양헌왕의 이복 형이다.
대한불교천태종을 세운 한국 천태종의 중흥시조로서, 대한불교천태종에서 3대 종조 가운데 한 사람으로 추앙받고 있다.
문종은 자신의 아들들 중 누가 승려가 될 것인가를 묻자, 그가 자원하여 승려가 되었다.
1065년 외삼촌인 경덕국사 난원(景德國師 爛圓)를 스승으로 하여 계를 받고 출가하여 승려가 되었다.
일찍이 요나라와 송나라를 방문, 순례하며 요 도종의 국사가 되고, 송나라를 방문해서는 각처의 불교 성지를 순례하고, 송나라의 고승들을 만나 강론을 듣고 돌아왔다.
이후 흥왕사, 흥원사(興圓寺), 해인사의 주지를 거쳐 다시 흥왕사의 주지가 되었다.
1055년 9월 28일 고려 제11대 왕인 문종과 그 왕비 인예왕후(仁睿王后)의 넷째아들로 태어났다.
본명은 석후(釋煦), 또는 후(煦)였는데, 그의 이름자 후가 송나라 철종(哲宗)의 본명 후와 같은 글자라 하여, 이름 대신 자(字)인 의천을 주로 사용하였다.
그가 11세되던 해에 부왕 문종이 왕자들을 불러 "누가 출가하여 복전(福田)이 되겠느냐."고 물었을 때, 그가 스스로 출가를 자원하였다 한다. 1065년 5월 14일에 경덕국사(景德國師)를 은사로 삼아 출가하여, 영통사(靈通寺)에서 공부하였다.
문종은 경덕국사 김난원을 불러서 불일사(佛日寺) 계단(戒壇)에서 직접 의천을 삭발하게 했다.
일찍이 출가하여 불교승려가 된 경덕국사 난원은 의천의 외할아버지 김은부의 아들로, 의천의 외삼촌이며 원혜왕후, 원성왕후의 친정 오라비가 된다.
그는 어려서부터 영특하였는데, 승려가 된 이후에도 학문에 더욱 힘을 기울여 대승과 소승의 경·율·론 삼장(三藏)은 물론, 유교의 전적과 역사서적 및 제자백가의 사상에 이르기까지 섭렵하지 않은 바가 없었다.
후에 경덕국사 난원이 입적하면서 그에게 법문(法門)을 계승하였다.
그는 승려이면서 불교학자로 당시 고려의 불교 종파에는 계율종(戒律宗), 법상종(法相宗), 열반종(涅槃宗), 법성종(法性宗), 원융종(圓融宗), 선적종(禪寂宗)이 있었는데, 의천은 평생 불교 계파와 육종(六宗) 및 신라시대의 선교양종을 두루 연구하여 불교학연구의 대가가 되었다.
또한 그는 외전(外典)인 육경(六經)과 칠략(七略) 등을 해석하여, 문종으로부터 '광지개종홍진우세승통(廣智開宗弘眞祐世僧統)'의 법호를 하사받았다.
그는 형인 순종과 선종과 숙종의 각별한 지우를 받았다.
그의 명성은 요나라에도 알려져 요나라 도종 천우황제의 초청을 받는다.
요 도종은 그에게서 계를 받아 국사와 사자(師資)의 인연을 맺고 그에게서 법문을 배웠으며, 요 도종은 그가 고려로 돌아간 이후에도 여러번 그에게 경책과 다향(茶香), 금백(金帛) 등을 보내왔다.
1084년(선종 1) 송나라 정원(淨源) 법사의 초청을 받고 왕에게 송나라에 가서 구법(求法)할 것을 청했으나 왕이 말리므로 남루한 옷차림으로 몰래 제자 수개(壽介)만 데리고 1085년 송나라로 떠나자 왕은 크게 놀라 관리와 제자 낙진(樂眞)혜선(慧宣)도린(道隣) 등으로 수행하게 했다.
의천은 몰래 제자 몇인을 대동하고 비밀리에 배편으로 송나라에 입국했지만, 소문이 알려져 송나라 철종은 특별히 주객낭중(主客郎中)인 양걸(楊傑)을 보내 의천을 수행, 인도하게 되었다.
이후 의천 일행은 송나라의 밀수(密水), 변하(汴河) 등을 순례하고, 변하에 도착하여 신전(宸殿)에서 철종을 접견하였다.
이후 송나라 철종(哲宗)이 영접하여 계성사(啓聖寺)에 있게 하고, 화엄(華嚴) 법사 유성(有誠)으로 하여금 상종하게 하여, 현수(賢首)천태 양교의 판교동이(判校同異)유묘(幽妙)의 뜻을 문답하였다.
그때 선종이 귀국을 청하자 자변(慈辨) 대사에게 천태종의 경론을 듣고, 천태산 지자(智者)대사의 부도(浮圖)에 예배, 발원문을 지어 천태종을 본국에 중흥할 것을 맹세했다.
또 영지(靈芝)의 대지(大智) 대사에게 계법을 받는 등 고승 50여 명을 만나 법요를 문답하였다.
중국 송나라를 순례중이던 의천에게 선종이 갑자기 본국으로 돌아오라고 요구하게 된 것은 문종이 직접 흥왕사(興王寺)를 창건하였지만, 문종 사후 오랫동안 흥왕사 주지 자리가 비어 있었다.
그리하여 선종은 의천을 귀국시켜 칙명(勅命)으로 흥왕사 주지로 임명하 강경(講經)과 선담(禪譚)의 법회를 지원하였다.
1086년(선종 3) 왕과 왕후의 영접을 받고 환국하여 석전(釋典)과 경서 1천 권을 바쳤으며, 흥왕사에 있으면서 그곳에 교장도감(敎藏都監)을 두게 하고, 요나라송나라일본에서 경서를 구입하고, 고서를 수집하여 《속장경》 4천 7백 40여 권을 간행하였다.
1094년(선종 11) 흥원사(興圓寺)의 주지로 있었고, 그 후 해인사(海印寺)흥왕사에 있다가 국청사(國淸寺)가 새로 세워지자 주지를 겸하고 처음으로 천태교를 강하였다.
흥왕사 주지로 재직 중 모후인 인예태후 이씨와 둘째 형인 선종이 승하하자 의천은 다시 해인사로 물러났다.
헌종이 즉위한 뒤에도 융숭하게 대접받았고, 헌종은 불교의 중흥을 시도하려고 해인사로 여러 차례 사람을 보내서 의천을 개경으로 오도록 했다.
헌종의 초빙으로 의천은 다시 흥왕사 주지를 맡게 되었다.
송나라의 승려와 불교학자들과 서신으로 사상교류를 하는 한편, 국내에서도 후학 양성에 힘을 기울였다.
숙종 때 주전론(鑄錢論)을 주장하여 사회경제 면에도 많이 공헌한 바 있고, 1098년(숙종 3) 왕자 징엄(澄儼)이 승려가 되자 그 스승이 되었다.
1097년 조카인 징엄을 제자로 받았다.
형인 숙종은 다시 자신의 다섯째 왕자 원명국사 징엄(圓明國師 澄儼, 1090∼1141)을 손수 삭발시켜 의천의 제자로 법통을 계승하게 하였다.
1101년 10월 3일 고려 숙종으로부터 국사로 책봉되었다.
그러나 병세는 깊어져, 10월 5일 문병 온 형왕(兄王) 숙종에게 "원한 바는 정도를 중흥하려 함인데 병마가 그 뜻을 빼앗았나이다.
바라옵건대 지성으로 불법을 외호하시와 여래께서 국왕, 대신에게 불법을 외호하라 하시던 유훈을 봉행하시오면 죽어도 유감이 없나이다"라는 유언을 남겼다.
당시 그의 나이 향년 47세, 법랍 36세였다.
숙종은 그의 부음을 듣고 조회를 파하고 임시 공휴일(公休日)로 정하였으며, 친히 다비식을 한 뒤 영골사리(靈骨舍利)를 영통사 동쪽 산에 석실(石室)을 세워 안치하였다.
오관산(五冠山) 영통사 동쪽에 장례하였으며, 김부식(金副軾)의 명문(銘文)으로 된 비가 세워지고, 또 남숭산(南嵩山) 선봉사(仙鳳寺)에도 임존(林存)의 명문으로 해동 천태 시조 대각국사비가 세워졌다.
그러나 이 저술들이 거의 실전, 없어지고 현재는 &lt;신편제종교장총록&gt;3권과 &lt;대각국사문집&gt;, &lt;대각국사외집&gt;의 낙장본, &lt;원종문류&gt;, &lt;석원사림&gt;의 일부, &lt;간정성유식론단과&gt; 등이 현전하여오고 있다.
그가 활동하던 당시 고려의 불교는 선종과 교종 양종의 대립이 심각하였고, 의천은 각 교단을 통합하여 고려 불교의 파벌갈등과 폐단을 바로잡아 교단을 정리하고, 불교의 가르침을 통해 흉흉해진 민심을 다잡고 올바른 국민사상을 확립시키려고 하였는데, 그러한 근본이념을 천태사상에서 발견하였던 것이다.
그에 대한 평가로는 불교전적을 정비하고, &lt;고려속장경&gt;을 간행하였으며, 송나라에 유학하여 새로운 문화를 수입하였고, 천태종을 세워 교단의 통일과 국가발전을 도모하는 등 많은 훌륭한 업적을 남겼다는 평이 있다.
아카드국(), 또는 아카드 제국()은 수메르 북부의 고대 도시인 아카드를 중심으로 성장한 고대 제국으로, 메소포타미아 최초의 제국이자 인류 최초의 제국으로 여겨진다.
아카드 제국 시기는 기원전 2334년 무렵부터 2154년 무렵까지 약 2백여 년으로 추측된다.
아카드인이 최초로 활동을 시작한 것은 기원전 2350년경 부터이다.
아카드의 왕인 사르곤은 수메르인의 도시국가들을 정복하여 메소포타미아 최초의 통일국가를 건설하였다.
아카드 왕국이 수립되면서 바빌로니아(남부 메소포타미아)의 북반부를 아카드, 남반부를 수메르라고 부르게 되었다.
수도는 아카드였으나, 그 소재지는 아직 밝혀지지 않았으며 역사학자들은 바그다드인근으로 추정하고 있다.
사르곤은 56년간의 치세(治世) 동안 남쪽은 페르시아만에서 북쪽은 동지중해에 이르는 대제국을 형성하였는데, 궁병대(弓兵隊)를 중심으로 한 강력한 군대와 중앙 집권적 정치제도로 국가의 기초를 다졌다
하지만 아카드 제국의 200여년에 이르는 지배기간동안 피지배 민족들을 차별하며 주변 국가들에게 수많은 전쟁들을 일으켜서 수많은 반란들이 일어났다.
특히 사르곤의 두 아들 시대에는 변경지방의 대규모 반란으로 고통을 받았지만, 제4대 왕 나람신은 반란을 진압하고 사르곤 시대의 제국을 회복하여 ‘아카드의 신(神), 사계(四界)의 왕’이라 일컬으며 신격화되었다.
그러나 얼마 못가서 국운이 점점 기울기 시작했고 결국 기원전 2150년경 이란 고원에서 침입해온 구티족에 의해 멸망하였다.
이후 셈족은 다시는 국가를 세우지 못했다.
아카드인의 언어는 셈어의 동방군(東方群)에 속한다.
그들은 수메르인에게서 배운 설형문자(楔形文字)로 아카드어를 점토판에 써서 남겼으며, 수메르 문명을 셈화하여 후대에 전달하는 역할을 하였다.
예술면에서는 양식화된 수메르 예술에 사르곤기(期)라 불리는 새로운 면을 열어 많은 걸작을 남겼다.
특히 수사에서 발견된 나람신왕의 전승비(戰勝碑)와 니네베의 출토품으로서 사르곤왕을 나타낸 듯한 청동제 두부상(頭部像)은 유명하다.
제국은 도로를 통해 결속할 수 있었다.
그 도로를 따라 정기적인 우편 서비스가 있었으며 토지조사가 시작되었으며, 천문학적 관측과 지구적인 사건이 사르곤에 의해 만들어진 도서관에 기록되었다.
그 후 아가데는 패하였고 왕위는 우눅이 취하였다.
1차 논리(一次論理, )는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이다.
명제 논리와 달리 변수에 대하여 한정 기호를 사용할 수 있으나, 2차 논리와 달리 변수들의 집합에 대하여 한정 기호를 사용할 수 없다. 1차 논리의 경우, (2차 논리와 달리) 괴델의 완전성 정리 · 콤팩트성 정리 · 뢰벤하임-스콜렘 정리와 같은 중요한 성질들이 성립한다.
이외에 1차 술어 논리, 1계 논리 등으로도 불린다.
1차 논리는 다음의 요소들로 이루어진다.
다음과 같은 데이터가 주어졌다고 하자. (여기서 formula_1은 자연수, 즉 음이 아닌 정수의 집합이다.)
이 문자열을 구성하는 문자 집합
은 구체적으로 다음과 같다.
1차 논리의 항(項, )은 다음 문법을 따른다.
1차 논리의 논리식()은 다음 문법을 따르는, 위 기호들의 문자열이다.
자유 변수를 갖지 않는 (즉, 그 속에 등장하는 모든 변수가 종속 변수인) 논리식을 문장(文章, )이라고 한다.
1차 논리의 증명 이론은 다양한 방식으로 공리화할 수 있다.
예를 들어 다비트 힐베르트의 힐베르트 체계()나, 게르하르트 겐첸의 시퀀트 계산()이나 자연 연역() 등을 사용할 수 있다.
1차 논리를 힐베르트 체계를 사용하여 공리화하면, 다음과 같다.
우선, 편의상 다음과 같은 기호만을 사용한다고 하자.
이 경우, 다음과 같은 공리 기본꼴()들을 정의한다.
이 공리 기본꼴들에서 사용된 기호들은 다음과 같다.
즉, 공리 기본꼴에서 위의 기호들을 실제의 논리식·항·변수로 치환하면 공리들을 얻는다.
우선, 추론 규칙으로 전건 긍정의 형식
이 밖에, 다음과 같은 명제 논리의 공리 기본꼴들이 사용된다.
1차 술어 논리의 경우, 다음과 같은 추가 공리 기본꼴들이 사용된다.
예를 들어, 체의 언어에서
1차 논리의 의미론은 보통 모형으로 주어진다.
1차 논리의 경우 콤팩트성 정리와 뢰벤하임-스콜렘 정리가 성립한다.
비논리 기호를 포함하지 않는 1차 논리 문장들의 집합을 formula_132라고 하자.
그 가운데, 모든 모형에서 참인 문장들의 부분 집합
또한, formula_132 속에서, 위의 힐베르트 체계를 통해 증명할 수 있는 문장들의 집합을
린드스트룀 정리()에 따르면, 1차 술어 논리는 (가산) 콤팩트성 정리와 하향 뢰벤하임-스콜렘 정리를 만족시키는 가장 강력한 논리 체계이다.
체르멜로-프렝켈 집합론의 언어는 하나의 2항 관계 formula_149 만을 포함하며, 아무런 연산을 갖지 않는다.
집합론에서 사용되는 대부분의 명제들은 이 언어로 나타낼 수 있다.
는 두 개의 이항 연산과 하나의 1항 연산 및 두 개의 상수(0항 연산)을 포함하며, 등호 밖의 관계를 갖지 않는다.
는 두 개의 이항 연산과 하나의 1항 연산 및 두 개의 상수(0항 연산)을 포함하며, 하나의 2항 관계를 갖는다.
범주의 1차 논리 언어는 다음과 같이, 하나의 3항 관계
변수들은 사상을 나타내며, 대상들은 항등 사상으로 나타내어진다.
편의상 다음과 같은 술어를 정의하자.
그렇다면, 범주의 1차 논리 이론은 다음과 같은 공리들로 구성된다.
이 이론의 모형의 개념은 작은 범주의 개념과 동치이다.
고틀로프 프레게가 1879년에 출판된 《개념 표기법》에서 사용한 논리는 (현대적 용어로는) 2차 논리였다.
이후 1885년에 찰스 샌더스 퍼스는 1차 논리와 2차 논리를 구분하였다.
퍼스는 1차 논리를 "1차 내포 논리"()로, 2차 논리를 "2차 내포 논리"()로 일컬었다.
이후 에른스트 체르멜로는 2차 논리를 사용하여 집합론을 개발하였다.
토랄프 스콜렘은 1922년에 체르멜로의 집합론을 1차 논리로 재정의하였다.
이는 오늘날 사용되는 체르멜로-프렝켈 집합론의 기반이 되었다.
제2차 세계 대전 이후 1차 논리는 (2차 논리나 형 이론 등을 대신하여) 통상적으로 사용되는 수학의 기반이 되었다.
찰리 헤이든은 그의 특징인 시적인 베이스 연주와 함께, 현재 가장 존경받는 재즈 베이스 연주자이자 재즈 작곡가의 하나로 알려져 있다.
헤이든은 미국 미주리주에서 태어나, 가끔 라디오에 출연해 컨트리 음악이나 미국 민요를 연주하곤 할만큼 음악적인 가정에서 자라났다.
헤이든은 두살 때 이미 전문적인 가수로 데뷔를 했고, 14살에 가벼운 소아마비를 앓을 때까지 계속 가족과 함께 노래를 했다.
소아마비는 그의 목 근육과 성대에 상처를 남겨 그 결과로 헤이든은 노래를 부르면서 음 높이를 조절할 수 없게 되었다.
소아마비를 앓기 몇 년 전 헤이든은 재즈에 흥미를 보여 형의 더블 베이스를 연주하기 시작했다.
그는 보컬 대신 베이스 연주자가 되었고, 1950년대 중반에 LA로 자리를 옮겨 피아니스트 Hampton Hawes나 색소포니스트 Art pepper와 협연하는등, 빠른 속도로 전문 연주자의 길을 걷기 시작했다.
헤이든은 1950년대 후반과 1960년대에 앨범 ‘The Shape of Jazz To Come(앞으로 다가올 재즈의 모양)’으로 정점을 이룬 오넷 콜먼과의 실험적인 공연을 함께하면서 유명해지기 시작했다.
이 앨범은 당시 많은 비평적인 찬사와 비판을 받았었다.
헤이든은 하모로딕(오넷 콜먼이 그당시 새로 주창했던 재즈 음악의 이론) 스타일의 연주가 처음에는 너무 혼란스러워서 그냥 묵묵히 콜먼의 진행을 따라 할 수밖에 없었다고 밝힌적이 있다.
그가 공연때 스스로만의 연주를 시작할만한 자신감을 가지게 된 것은 그 후의 일이다.
그들의 음악은 매우 실험적이었고, 재즈와 정치적 음악활동의 영역을 동시에 개척하는 참신한 시도였다.
스페인 내전을 주제로 다룬 LMO의 첫 앨범을 비롯하여 일반적인 재즈 스탠다드로는 여겨지지 않는, 색다른 주제를 가진 장르의 음악을 개척하는 것은 그의 Quartet West와 함께 찰리 헤이든 음악의 중요한 특징이 되었다.
이 그룹은 Broadbent의 푸릇푸릇하고 현악을 동원하기도 하는 로맨틱한 편곡과 많은 어워드의 수상자로 인기를 얻었다.
1997년 후반에 그는 기타리스트Pat Metheny와 함께, 그들이 미주리에서 겪었던 유년 시절에 영향을 받았던 음악들, 그들이 ‘미국적인 음악’이라 부르는 음악들을 재발견 했다.
허세욱(許世旭, 1953년 5월 9일 ~ 2007년 4월 15일)은 대한민국의 택시 운전사·시민사회운동가·노동운동가이다.
2000년 민주노동당에 입당하여 2007년에는 민주노동당 서울시당 대의원을 지냈다.
시민단체 활동으로는 평화와 통일을 여는 사람들 등의 단체에서 활동하였고, 2007년 4월 1일 신자유주의와 한미FTA에 반대하여 협상장인 서울 하얏트 호텔 정문 부근에서 분신, 패혈증 증세를 보여 서울 성심병원에 입원하였으나 숨졌다.
1953년 경기도 안성에서 9남매중 5번째로 태어났다.
그 뒤 중학교 때 가출, 서울에서 막걸리, 꽃, 박카스 등의 배달일을 하였다.
1991년에 택시회사인 한독운수에 입사하였다.
1994년 봉천동에 거주하고 있던 허세욱은 강제철거에 맞서 철거투쟁에 참여하면서 사회운동에 눈을 뜨기 시작했다.
1995년에 관악주민연대에 가입했고 1998년에 참여연대에 가입했으며 2000년에 민주노동당에 입당했다.
2003년 한독운수 노조 대의원 겸 통일부장에 선출되었고, 2004년 시민사회단체 평화와 통일을 여는 사람들 에 가입하였다.
2007년에는 민주노동당 서울특별시지구당 대의원, 민주택시연맹 한독분회 대의원으로 선출되었다.
그는 넉넉잖은 형편에도 불구하고 가입한 단체의 회비를 꼬박꼬박 냈으며 대통령 탄핵반대 촛불집회, 미군 장갑차 여중생 압사 사건 희생자 추모집회 등에 참가하는 등 현장활동에 적극적이었다.
기타 시민단체인 평화와 통일을 여는 사람들(평통사)에도 가입하여 활동하기도 했다.
또한 자신의 월급을 헐어 소년·소녀 가장 등 어려운 사람들을 돕기도 하는 등 주변 사람들을 잘 챙겨주는 사람이라 평가받기도 하였다.
한편 당시 청와대 시민사회비서관 정태인의 강의에 감명받아 그의 강의를 두 번이나 듣고 강의를 마친 그를 공짜로 택시 태워주기도 했다고 한다.
한미 FTA반대운동에 적극 참여하던 허세욱은 결국 협상이 타결 직전에 이르러 가자 2007년 4월 1일 협상장인 서울 하얏트 호텔 정문 부근에서 분신하였다.
그는 응급차에 실려가기까지 "한미 FTA 폐기하라!"라고 외쳤으며 이 때문에 기도화상이 더욱 심해졌다.
허씨가 가입해 있던 민주노총, 민주노동당, 참여연대, 평화와 통일을 여는 사람들 등 4개 단체는 3일 ‘허세욱씨 분신대책 특별위원회’를 결성하고 본격적인 모금운동에 들어갔다.
그러나 생존률이 30%로 소생가능성이 희박해지자 가족들은 수술을 포기하였고 정종권 민주노동당 서울시당 위원장 등의 서명으로 피부이식수술을 받게 되었다.
서울 한강성심병원에서 치료를 받던 허세욱은 2007년 4월 15일 오전 11시 23분 화상 후유증 및 패혈증으로 병원에서 숨졌다.
참여연대 게시판 등에는 많은 네티즌들의 격려와 후원이 있었다.
생존률이 30%로 소생가능성이 희박해지자 가족들은 수술을 포기하였고 정종권 민주노동당 서울시당 위원장 등의 서명으로 피부이식수술을 받게 되었다.
그러나 병원비는 지불되지 않았고, 서울 한강성심병원에서 치료를 받던 허세욱은 2007년 4월 15일 오전 11시 23분 화상 후유증 및 패혈증으로 병원에서 숨졌다.
그러나 사망하면서 모두가 비정규직이니 모금성금은 하지 말아달라는 유언을 남기기도 했다.
가족들은 허세욱이 입원 당시 정치단체의 개입을 피하려 하였으나 민주노총은 입원에 개입하였다.
그러나 입원기간 중 민주노총은 병원비를 지불하겠다고 한강성심병원측에 약속하였으나 즉시 지불하지 않았다.
4월 15일 고인의 시신이 당시 구성돼 있던 곳에 허세욱분신대책특별위원회가 구성되었다.
그러나 시신은 대책위가 아닌 유족들에게 넘겨졌다.
고인이 활동하였던 단체에서는 '허세욱씨 분신대책 특별위원회'를 결성해 모금운동을 하는 등의 활동을 하였으나 유족은 대책위원회와 대화를 거부하며 시신을 통보없이 경기도 안성시 성요셉병원으로 옮겼다.
유족들은 ´가족장을 치르겠다´고 고집했고, 유해는 시민사회단체와 동료들의 반대에도 불구하고 병원 측으로부터 시신을 인도받은 뒤 유족들에 의해 성남영생관리소(성남화장장)에서 가족장으로 화장되었다.
무연고자 등의 유골과 함께 뒤섞여 합사되었다.
그 뒤 민주노총 등은 고인의 유품을 가지고 4월 18일 장례식을 거행하여 경기도 남양주시 소재 모란공원에 가묘를 설치, 유해가 없는 묘지를 만들었다.
평소에 허세욱으로부터 입당권유를 받은 데다가 FTA사건의 영향력으로 2007년 8월 경제학자이자 참여정부의 시민사회비서관 정태인은 노무현의 곁을 떠났고 그의 30년 친구인 유시민 등과도 결별을 선언하기도 했다.
유해는 시민사회단체와 동료들의 반대에도 불구하고 병원 측으로부터 시신을 인도받은 뒤 유족들에 의해 성남화장장에서 가족장으로 화장되어 무연고자 등의 유골과 함께 합사되었다.
이 과정에서 유족측과 노동, 시민단체 관계자들 간의 마찰이 빚어지기도 했다.
그 뒤 민주노총 등은 고인의 유품을 가지고 4월 18일 장례식을 거행하여 경기도 남양주시 소재 모란공원에 가묘를 설치하였다.
한편 허세욱으로부터 입당 권유를 받은 경제학자이자 노무현 정부의 청와대 경제비서관 출신 정태인(鄭泰仁)은 그의 뜻에 따라 민주노동당에 입당했다.
더불어 그의 30년 친구인 유시민 등과도 결별을 선언하기도 했다.
2008년 진보신당 창당 이후 정태인은 진보신당에서 활동중이다.
다음은 4월 1일에 공개된 유서 내용이다.
15일에는 두 번째 유서가 공개되었다.
2007년 3월 29일 노무현정부의 한미FTA에 반대하여 분신한 이후 민주노총 등은 치료비 모금 운동을 벌여 7000여만원을 모았으나 민주노총은 허세욱이 입원한 한강성심병원에 수술비 등 경제적 부담은 본인들이 책임지겠다는 각서를 작성하여 제출했다.
그러나 민주노총은 병원비를 지불하지 않았고, 4월 3일 한강성심병원측은 민주노총에 지불 책임이 있다고 언론에 발표하였다.
입원치료비 2898만원 중 그의 형이 납부한 500만원을 제외한 2390만원이 미납되었고, 4월 3일 한강성심병원측은 민주노총에 지불 책임이 있다고 언론에 발표하였다.
이날 민주노총 대변인 우문숙은 "당시 허씨 가족이 수술을 시키지 않으려 하는 바람에 인도적 차원에서 묵과할 수 없어 급하게 수술에 필요한 각서를 써줬다"고 주장했고 이어 "각서까지 쓴 실질적인 보호자 민주노총을 허세욱이 사망하던 순간까지 배제시켜 놓고 이제 와서 병원비를 내라는 병원 측의 처사를 이해할 수 없다며 “허씨를 위해 모금한 7000여만원 중 장례비용을 제외한 나머지 6700여만원을 추모사업에 쓰기 위해 모두 허세욱추모사업회에 기증했다고 주장했다.
또한 우 대변인은 "가족과 공모해 시신을 몰래 빼낼 정도라면 병원비도 가족에게서 받아야 하는 것 아니냐.
허씨가 유서에서 민주노총에 장례를 부탁했고 우리가 각서를 써줬는데도 우리를 배제한 채 나중에 병원비만 달라는 것은 이해할 수 없다"라는 주장도 했다.
병원 관계자는 원래 사람이 입원을 하면 가족의 의사가 최우선 고려 대상이라며 정치 관련 단체의 개입을 꺼리는 가족이 민주노총에 정보를 주지 말라고 여러 번 강조해 어쩔 수 없었다고 설명했다.
병원 관계자는 "7000여만원의 모금액 중 치료비를 지불하고 나머지 돈으로 추모사업을 하는 게 맞지 않느냐"며 소송을 해서라도 치료비를 받겠다고 대응하였다.
2007년 7월 한강성심병원이 언론에 발표한 자료에 의하면 4월 1일부터 4월 15일(허세욱 사망)까지 그가 입원한 기간 동안의 입원치료비 2898만원 중 그의 형이 납부한 500만원을 제외한 2390만원이 미납됐다.
한편 민주노총에서 치료비 명목으로 모금한 뒤 7천만원의 성금을 모았으나 고인의 병원비로 지불하지 않은 것에 대해 네티즌들의 성토가 있었다.
이어 2007년 7월부터 9월 이후로도 민주노총 홈페이지 및 조선일보 독자게시판 등에는 민주노총을 성토하는 네티즌들의 댓글들이 이어지기도 했다.
2008년 민주노총은 병원 측과의 의견 조율 후 모금한 치료비를 지급했다.
2007년 7월 허세욱분신대책위(이하 분대위)는 ´병원 측에서 고인의 상태가 악화되고 있음을 대책위에 알리지 않은점´, ´사망 후 10여분만에 다른 병원으로 시신이 옮겨진 점´ 등을 이유로 병원 측에 항의했고, 이후 구성된 ´한미FTA무효 민족민주노동열사 허세욱동지 장례대책위원회´는 "수술을 거부한 가족들을 설득하고, 수술동의서에 서명한 당사자를 배제하고 유족과 병원 측이 고인의 유지를 받들려는 우리를 방해했다"고 성토하면서 "그간의 경과에 대해 명백히 해명하라"고 요구했다.
민주노동당은 2007년 4월 16일 국회 정론관에서 허세욱 사망 관련 3대 의혹을 제기하였다.
분신 환자는 보험 처리가 안되는데도 불구하고 건강심사평가원의 지시에 의해 입원 첫날부터 보험 처리된 점, 4000여 만원이라는 거액의 병원비가 지불되지 않았음에도 불구하고 시신이 가족들에게 넘겨진 점, 시신이 시급히 빠져나가고 환자 상태 악화를 보고하지 않는 등 대책위를 철저히 배제하고 비밀리에 처리한 점을 의혹으로 제기하였다.
《포트리스 2》()는 대한민국의 CCR이 1999년 개발한 온라인 게임이다.
서비스 시작 이후 큰 인기를 모았으며 각종 게임 대회의 경기 종목으로 채택되었다.
애니메이션으로도 제작되었고 등장하는 캐릭터를 이용한 상품도 판매되었다.
최대 8명까지 게임에 참여할 수 있고 개인전과 팀전이 가능하다.
게임 준비실(Room)에서는 팀의 선택, 캐릭터 선택과 그 능력치를 볼 수 있고 대기실에서처럼 상점(Shop) 이용과 채팅 역시 가능하다.
방장의 경우 스테이지와 게임모드, 속도를 선택 할 수 있다.
자유로운 팀 구성과 이동, 공격시에 지형을 이용한다는 점이 특징이다.
게임이 시작되면 일정 시간 동안 모든 플레이어의 위치를 보여준다.
이때 플레이어들의 위치를 기억하는 것이 중요하다.
게임이 시작되면 모든 플레이어에게 1번씩 턴이 돌아가며, 플레이어는 자기 턴에 자신이 공격하기 좋은 위치 또는 방어하기 좋은 위치로 이동하여 공격한다.
플레이어는 게임이 진행되는 동안 자신의 턴에 포탄을 발사해서 상대편을 맞춘다.
발사 각도와 힘을 조절하여 포탄을 발사할 수 있으며, 캐릭더가 위치한 지형과 회오리, 바람의 방향과 세기 등에 의해 탄도가 달라질 수 있다.
공격을 받아 플레이어의 에너지가 0이 되거나, 맵의 가장자리 양쪽 끝으로 이동하거나 폭발로 인해 캐릭터가 올라서 있을 지형이 없어져 스테이지 밑으로 떨어지는 경우 게임에서 탈락하게 된다.
팀전인 경우 자신이 오래 살아남는 것보다는 자신의 팀원이 탈락하지 않도록 도와 주는 것이 중요하다.
또한 아군에게도 공격의 데미지가 적용되기 때문에 아군을 맞추지 않는 것도 포인트라고 할 수 있다.
총 13종류의 캐릭터(탱크)가 존재하며 이중 히든캐릭터(슈퍼탱크)는 모든 수치가 다른 캐릭터에 비해 월등히 뛰어나며 '랜덤'을 선택했을 때 낮은 확률로 나타난다.
포트리스2 블루 V.500 시절 맵별 나오는 음악 목록들.
포트리스2 블루 V.600 시절 맵별 나오는 음악 목록들.
포트리스 2 레드 맵별 음악 목록들.
흔히 고전 계열 캐릭터는 미래 계열 캐릭터에 강하며, 미래 계열 캐릭터는 현대 계열에, 현대 계열 캐릭터는 근대 계열에, 그리고 근대 계열 캐릭터는 고전 계열 캐릭터에 강하다.
해당 게임에서는 총 21개의 계급이 존재하며 해당점수에 따라 각 Zone별 전체이용자 100% 기준으로 다음과 같은 계급이 주어진다.
포트리스 2 후작으로 포트리스 3와 뉴 포트리스가 발표되었다.
포트리스 3는 초반 회원수 100만, 동시접속자수 5만3천명을 달성하며 초반 인기를 끌었으나, 업데이트 및 2차공성전의 중단, 버그의 성행, 운영진의 방치 등으로 점점 내리막을 타다가 많은 회원들의 반대속에 서비스중단을 선언하였다.
뉴 포트리스는 포트리스 3가 서비스종료된 이후 포트리스 2의 영광을 재현하겠다며 오픈베타를 시작했으나, 여러 가지 문제가 발생했으며 해외진출이 실패하자 결국 6개월만에 서비스 중단을 선언하였다.
그러나 아직까지도 포트리스 3를 잊지 못한 유저들이 서비스 재개를 바라고 있다.
히타이트() 또는 헷은 고대 근동의 청동기 시대(3300~1200 BC) 중 기원전 18세기경에 아나톨리아 북중부의 하투샤를 중심으로 형성된 왕국으로, 히타이트어는 인도-유럽어족에 속한다.
히타이트 제국은 기원전 14세기경에 최절정기에 들어섰는데, 당시에 아나톨리아의 대부분, 시리아 북서부(레반트의 북부), 남쪽으로는 리타니 강의 하구(지금의 레바논)까지, 동쪽으로는 메소포타미아 북부까지 장악하였다.
히타이트의 군대는 전쟁시에 전차를 잘 사용했던 것으로 유명하다.
기원전 1180년 멸망하고 이후 히타이트 제국은 분열되어 여러 독립된 도시 국가로 나뉘었으며, 기원전 8세기까지 존속하였다.
이 도시 국가들을 네오히타이트() 도시 국가라고 한다.
"히타이트"라는 낱말은 구약성경의 "헷 사람들(sons of Heth, 헷 족속)"에서 유래하였다.
19세기에 아나톨리아에서 히타이트를 발굴한 고고학자들은 처음에 이들을 성경에 등장하는 히타이트와 동일시하였다.
현재는 성경에 등장하는 히타이트인이 하투샤를 수도로 한 히타이트 제국(기원전 18세기경 ~ 기원전 1180년경)의 히타이트인을 가리키는 것은 아닌 것으로 보이며 그 이후의 신히타이트 도시 국가들(기원전 1180년경 ~ 기원전 8세기경)의 히타이트인을 가리키는 것으로 추정된다.
기원전 18세기경, 쿠샤라 왕 아나타스가 카파도키아 고원을 정복하였다.
히타이트 고왕국(古王國)의 조상은 라발나스인데, 그 아들 하투실리스는 하투사스를 수도로 정했다.
히타이트인은 소아시아의 지배를 강화하여 미탄니를 속국으로 하고, 북시리아를 세력 아래에 흡수, 이집트 다음가는 대국이 되었다.
무와탈리스는 이집트의 왕 람세스 2세의 군대와 카데시에서 싸워서 격퇴했다(기원전 1286). 하투실리스 2세는 이집트와 화약(和約)을 맺어(기원전 1269) 오리엔트에는 평화가 찾아왔다.
그러나 동편에서는 아시리아에게 압박되고, 소아시아 서부에서는 프뤼기아가 대두하여, 그리스계 해상 민족의 침입으로 기원전 1180년 히타이트는 멸망했다.
히타이트인은 기원전 3000년 초 소아시아에 침입하여, 하티인·루비아인·팔라인 등 원주민을 차차 정복, 아나톨리아 고원의 지배자가 된 인도·유럽계 민족. 처음 쿠샤라를 도읍으로 삼았으나, 뒤에 하투사스를 수도로 정했다.
하투사스는 20세기 초에 독일인 빙클러(H. Winckler)에 의해서 발굴되어, 대신전이나 성채(城砦)가 발견되었다.
왕실 기록문서고에서 히타이트어나 아카드어로 쓰인 점토판 문서 약 2만 매 이상이 출토되었다.
후르리인(Hurrians)에게 말 기르는 법을 습득한 히타이트인은, 말에 끌리게 한 6개의 바퀴살을 가진 전차를 이용하여, 미탄니군이나 이집트군과 싸웠다.
전차에는 마부와 활쏘는 병사가 탔다.
전쟁의 주된 목적은 포로를 획득하는 것이었다.
히타이트 왕들의 순차와 연대는 조각 기록들에서 모은 것이다.
그리고 모든 주어진 연대는 근사적이며 이웃나라의 알려진 연대표와 동기화에 의존한다.
대개 브라이스(1998)에 따랐다.
감마 보정이 인간의 시각적 인지 능력과 정확히 일치하지 않기 때문에 따로 정의되었다.
《예브게니 오네긴()》은 알렉산드르 푸시킨이 1823년~1831년까지 9년동안 쓴 운문 소설로, 작가의 대표작이자 비평가 비사리온 벨린스키가 '푸슈킨 시대 러시아 삶의 백과사전'이라 불렀던 러시아 문학의 고전이다.
최초의 완결된 판본은 1833년에 출간되었고, 완성된 판본은 1837년에 출간되었다.
많은 19세기 소설들이 그렇듯, ‘예브게니 오네긴’도 잡지에 먼저 차례로 연재되는 형식으로 발표되었는데, 판본을 거듭할 때마다 많은 부분에서 작고 큰 변화가 있었다.
이하의 장별 발표 날짜는 푸슈킨의 육필 원고에 대한 나보코프의 연구와, 다른 여러 사람들의 연구를 종합한 것이다.
11연 및 35연은 3개월 후에 추가되었고, 2장이 완성되어 출간된 것은 1826년 10월 20일이다.
제3장 : 3장의 집필은 여러 가지 사건들로 인하여 자주 중단되었는데, 1824년 1월 ‘집시’를 쓰기 위해 잠시 중단하였고, 25연을 제외한 1~31연까지는 1824년 9월 25일 추가되었다.
나보코프는 타티아나의 편지는 1824년 2월 8일에서 5월 31일 사이에 오데사에서 쓰여진 것으로 추정하고 있다.
푸슈킨은 1825년 오데사 총독과 충돌하여 미하일로프스코의 가족 영지에서 2년을 보내게 되는데, 7월 21일 출발하여 8월 9일 도착한다. 9월 5일 영지에서 집필을 재개하여, 10월 2일 36연을 제외한 3장을 끝맺는다. 3장이 완성되어 출간된 것은 1827년 10월 10일이다.
동시에 오네긴의 여행에 관한 연과 다른 작품들을 쓴다.
그는 1825년 9월 12일 제4장을 일단 완성했다고 생각했으나, 후일 1826년의 첫째주까지 일부 연에 수정을 가한다. 4장은 5장과 함께 1828년 1월 31일과 2월 2일 사이에 출간된다.
제5장 : 1826년 1월 5일에 시작되어, 황제의 사면을 요청하기 위한 여행에서 돌아오는 11월 2일까지 24연까지를 완성하고, 11월 15일에서 22일 사이에 5장의 나머지 부분을 완성한다. 4장과 함께 출간된다.
제6장 : 6장의 초고가 사라진 탓에 나보코프가 연구하지 못했으나, 연구에 따르면 푸슈킨은 5장을 완성하기 전에 6장 집필에 착수했던 것 같다. 6장의 대부분은 그가 가족 영지로부터 모스크바로 귀환한 1826년 12월 19일 이전에 쓰여졌다.
많은 연들이 1826년 11월 22일과 25일 사이에 쓰여진 것으로 추정된다.
푸쉬킨은 당초 ‘오네긴의 여행’이라는 장을 7장과 8장 사이에 넣으려고 했으며, 이것이 사실상 8장이 되어야 했다.
다른 장들이 완결된 형태로 출간되기 전에 잡지 등에서 조금씩 공개되었듯이, 이 미완성의 장도 일부가 공개되었으나 푸슈킨이 이 장을 폐기하기로 결정하면서 변경한 부분에 맞추어 결말의 일부를 바꾸었다.
제8장 : 1829년 12월 24일 푸슈킨이 뻬쩨르부르그에 체류하고 있을 때 집필하기 시작하였다.
1830년 8월, 콜레라 유행으로 인해서 가족 영지인 볼디노에서 3개월을 지내야 했는데, 이 기간동안 나보코프가 “수많은 명작”이라고 지칭한 작품들을 쓰며 1830년 9월 25일 8장을 끝낸다.
1831년 여름 푸슈킨은 1831년 10월 5일 완성된 ‘오네긴의 편지’를 제외한 8장을 다시 손본다. 8장의 완성본은 1832년 1월 10일 출간된다.
푸슈킨은 완성되지 못한 제10장을 위해서 적어도 18개 연을 썼던 것으로 알려져 있다. ‘예브게니 오네긴’의 최초 판본은 1833년에 출간되었고, 1837년 푸슈킨이 약간의 수정을 가해 다시 출간되었다.
현재 기준이 되는 판본은 1837년 판본에, 황제의 검열로 인한 부분을 복구한 판본이다.
미국방사선의학회와 미국전기공업회는 의료 영상 장비의 표준화를 위해 1983년 ACR-NEMA 디지털 영상전송 표준 위원회를 발족하였다.
이후 객체지향 정보 모델을 사용하는 등 큰 수정이 가해지면서 새로운 명칭을 필요로 하게 되었고, 그 결과 1992년 북미방사선학회 회의에서 DICOM이라는 명칭의 표준이 처음으로 제안되었다.
DICOM은 1993년 첫 데모 버전이 발표된 이후 지금까지 꾸준히 수정되고 있다.
DICOM 개정은 다음과 같이 수행되고 있다.
약 50%는 1년에 적어도 한번 개최된다.
이력서(履歷書, résumé, )란 취직을 위한 면접의 기회를 얻기 위해 회사 등 조직에 제출하는 개인의 신상정보, 학력, 경력 등을 시간 순으로 요악 혹은 나열한 문서이다.
커리큘럼 바이티보다 짧고 간단한 것이 레쥬메이다.
채용기관의 채용 담당자가 어떤 사람을 채용하기 위해서 처음으로 접하는 문서가 바로 이력서이다.
이러한 이력서를 가지고 앞으로 면접을 더 볼 것인지를 결정하게 된다.
입사를 위한 지원서인 입사지원서와 구별하여 이야기하기도 한다.
일반 목적의 이력서에는 신상정보, 학력, 경력 등 간단한 정보만이 들어가지만, 목적에 맞게 작성하는 이력서도 있다.
이러한 이력서에는 자신의 직무 적합성을 위한 경력 기술, 직무 경험 등을 상세히 기록하기도 한다.
캄비세스 2세(, , ? - 기원전 522년 죽음)는 기원전 6세기에 활동한 아케메네스 조 페르시아의 황제(재위 기원전 530년~522년)로 키루스 2세와 카산다네(Cassandane)의 아들이다.
그의 기록은 거의 남아있지 않아 생년을 알 수 없으며, 아버지 키루스 2세와 아케메네스 가문의 딸, 카산다네 사이에서 맏아들로 태어났다.
키루스의 생존시에 기원전 539년 4월부터 기원전 538년 12월까지 북부 바빌로니아에 대한 업무를 관장한 것으로 여겨진다.
그는 바빌론과 시파르 등 바빌로니아 내의 도시들을 돌아다녔으며, 기원전 538년 바빌론에서 마르둑 신에 대한 제의를 맡은 기록이 있다.
기원전 530년 8월경 부왕에 의해 공동 통치자로 임명되고 중앙아시아의 마사게타이(Massagetae) 원정에 나섰으며, 키루스 2세가 사망하고 별 다른 반대 없이 부왕의 뒤를 이어 아케메네스 조 페르시아의 유일한 통치자가 된다.
캄비세스는 즉위직후부터 이집트를 공격하기로 마음먹고 그리스인 용병인 파네스(Phanes)를 통해 이집트에 대한 정보를 수집하고, 사모스 섬의 폴리트라테스(Polycrates)를 회유하고 아라비아 원주민과 연계해 사막에 식수통으로 쓸 토기를 대량으로 매점하는 등 전쟁을 준비한다.
캄비세스 2세의 통치 시기는 그렇게 길지 않았으며, 그의 치세 가운데 가장 두드러지는 사건이 있다면 그것은 아프리카, 특히 이집트에서 기원전 525년 벌인 펠루시움 전투에서 파라오 프삼티크 3세(재위 526–525 BC)를 이기고 이집트를 정복한 것이다.
이집트에 정착한 뒤 그는 키레나이카(Cyrenaica) 정복 등 아프리카에서의 영토를 늘려갔으나, 기원전 522년 봄, 페르시아에서 일어난 반란을 진압하기 위해 서둘러 이집트를 떠났다.
시리아(에버나리)로 이동하던 중 허벅지에 상처를 입었는데, 이 상처가 악화되어 캄비세스 2세는 3주 후 오늘날의 하마(Hama)로 유력시되고 있는 아그바타나(Agbatana)라는 곳에서 사망했다.
캄비세스 2세에게는 자식이 없어서 동생 바르디야가 뒤를 이었으나, 얼마 되지 않아 다리우스에 의해 찬탈되었다.
다리우스는 아케메네스 조 페르시아의 힘을 더욱 증대시켰다.
캄비세스(Cambyses)는 옛 페르시아어로 카부지야(, Kabūjiya)인데, 그의 이름의 유래는 학계에서 논란이 되고 있다.
그의 이름을 들어 그가 엘라마이트(Elamite) 출신이라고 주장하거나, 인도 북서부에 거주하던 이란계 민족인 캄보이아스(Kambojas)와 연관되어 있다고 한다.
캄비세스의 이름은 다른 언어로 알려져 있다; 엘라마이트어로는 칸부지야(Kanbuziya); 아카드어로는 캄부지야(Kambuziya); 아람어로는 칸부즈(Kanbūzī)이다.
캄비세스는 키루스 대왕(재위 기원전 550–530년)과 카산다네의 장남이었다.
캄비세스에게는 바르디야라는 남동생이 있었고, 아르티스톤, 아토사, 록사네라는 세 자매가 있었다.
캄비세스의 친할아버지는 기원전 600년부터 559년까지 페르시스를 통치했던 캄비세스 1세였다.
그 가문은 페르시아 부족 지배층의 후손이었는데, 키루스를 시작으로 페르시아를 넘어 그들의 영역을 넓히고 메디아, 신바빌로니아, 리디아, 중앙아시아를 정복하여 아케메니드 제국을 세웠다.
기원전 539년 4월, 캄비세스는 아버지에 의해 바빌론을 포함한 바빌로니아 북부의 총독으로 임명되었다.
중부와 남부는 계속해서 키루스 2세와 그의 관료들이 직할통치하였다.
캄비세스는 즉위하기 전인 기원전 538년 3월 27일 새해 연례행사로 벌이던 축제에서 왕을 위해 임의로 거행되던 제전에 참여하여, 마르둑 신의 신전인 에사길라에서 왕이 사용하는 지팡이를 받았다.
그러나 그의 바빌론 통치는 9개월밖에 지속되지 않았는데, 기원전 538년 12월 부왕 키루스 2세가 알 수 없는 이유로 캄비세스를 해임했던 것이다.
해임된 뒤에도, 캄비세스는 대부분 바빌론과 시파르에서 거주하였다.
바빌로니안 기록에 따르면 키루스 2세와 캄비세스, 부자가 모두 기원전 538/7년에 "바빌론의 군주, 지상의 군주"라는 칭호를 달고 다녔는데, 이는 키루스 2세 마사게타이에 맞서기 몇 년 전에 아들 캄비세스를 공동 통치자로 임명했음을 보여준다.
캄비세스의 어린 동생 바르디야는 중앙아시아에서 그 자신의 확고한 영역을 하사받았고, 그 영역은 조공에서 면제되었다.
캄비세스는 부왕이자 공동 통치자였던 아버지 키루스 2세를 따라 마사게타이 원정에 참전했으나, 얼마 되지 않아 페르시아로 돌아와 왕위를 이어받았다.
그때는 아버지 키루스 2세가 마사게타이와의 전투에서 패하기 전이었다.
캄비세스는 부왕 키루스 2세의 유해를 페르시스의 파사르가다에(Pasargadae)로 옮겼고, 미리 그를 위해 마련했던 무덤에 모셨다.
이집트 원정 준비와 키프로스 정복.