hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
100세 건강 닥터스
《100세 건강 닥터스》(Medical Story Doctors)는 2011년 11월 28일부터 2012년 10월 28일까지 방송되었던 교양 프로그램이다.
WCW 월드 헤비웨이트 챔피언십
WCW 챔피언십(WCW Championship) 혹은 WCW 월드 헤비웨이트 챔피언십(WCW World Heavyweight Championship)은 한때 WWE의 라이벌 단체였던 WCW의 월드 타이틀 벨트로 2001년 WWE 챔피언십과 통합되어
사라졌다가 WWE 월드 헤비웨이트 챔피언십이라는 이름으로 부활하였다. (역사는 승계되지 않음. 허나 WWE 측에서 히스토리 오브 월드 헤비웨이트 챔피언쉽 DVD를 발매하여 사실상 역사 승계.)
FCW 헤비웨이트 챔피언십
FCW 헤비웨이트 챔피언십(FCW Florida Heavyweight Championship)은 FCW를 대표하는 타이틀이다.
FCW 헤비웨이트 챔피언십 역사
2008년 2월 18일 하우스 쇼에서 잭 스웨거가 테드 디비아시 주니어를 꺽고 초대 챔피언에 등극한다. 이후 3월 22일 제이크 헤이거가 FCW 사우던 헤비웨이트 챔피언 히스 밀러를 꺽고 두 개의 타이틀을 통합한다. 2012년 8월 FCW가 NXT와 통합되면서 역사속으로 사라진다.
조란 렌둘리치
조란 렌둘리치(Зopaн Peндулић, 1984년 5월 22일 ~ )는 보스니아 헤르체고비나 출생 세르비아의 전직 축구 선수로 과거 포지션은 수비수였다.
FCW 태그팀 챔피언십
FCW 태그팀 챔피언십(FCW Florida Tag Team Championship)은 FCW의 챔피언십중 하나이며 태그팀 챔피언십이다.
FCW 태그팀 챔피언십 역사
2008년 2월 23일 하우스 쇼를 통해 초대 챔피언이 가려졌다. 에디 콜론 (프리모 콜론)와 에릭 페레즈가 초대 챔피언에 등극하였다.
2012년 8월 FCW가 NXT와 통합되면서 역사속으로 사라진다.
나는 꼽사리다
《나는 꼽사리다》는 딴지일보의 사회·경제 부문 팟캐스트 방송이다. ‘대한민국 99%를 위한 편파방송’, ‘세상이 밝아지면 없어질 방송’이라는 이름으로 방송 중이다. 매주 화요일에 녹음하는 것을 원칙으로 한다.
FCW 디바스 챔피언십
FCW디바스 챔피언십(FCW divas championship)은 FCW에 속한 챔피언십중 하나이며 여성 챔피언십이기도 하다.
FCW 디바스 챔피언십 역사
2010년 10월 TV쇼를 통해 초대 챔피언을 가리게 되었고, 나오미 나잇이 토너먼트 우승을 차지하며 초대 챔피언에 등극하였다.
2012년 8월 FCW가 NXT와 통합되면서 역사속으로 사라진다.
FCW 퀸 오브 플로리다
FCW 퀸 오브 플로리다(Queen of FCW)은 FCW에 속한 챔피언십중 하나이며 여성 챔피언십이기도 하다. 다른 타이틀과는 다르게 벨트가 아닌 왕관 형태로 이루어진 타이틀이다. 2012년 3월 15일 역사속으로 사라졌다.
FCW 퀸 오브 플로리다 역사
2009년 2월 초대 챔피언을 가리게 되었고, 안젤라 퐁이 초대 챔피언에 등극하면서 왕관을 차지하였다.
FCW 15 챔피언십
FCW 15 챔피언십(FCW 15 Championship)은 FCW에 속한 챔피언십중 하나이며 15분 아이언맨 매치의 최강자를 가리는 타이틀로 벨트가 아닌 메달 형태로 이루어진 타이틀이다.
FCW 15 챔피언십 역사
2011년 1월 잭 브리스코를 추모하기 위하여 토너먼트 방식으로 초대 챔피언이 가려졌고, 세쓰 롤린스이 초대 챔피언에 등극하면서 메달을 차지하였다.
2012년 8월 FCW가 NXT와 통합되면서 역사속으로 사라진다.
1994년 대한민국 재보궐선거
1994년 대한민국 재보궐선거는 1994년에 치러진 대한민국의 재보궐선거이다. 3월 21일, 8월 2일에 치러졌다.
FCW 서던 헤비웨이트 챔피언십
FCW 서던 헤비웨이트 챔피언십(FCW Southern Heavyweight Championship)은 FCW를 대표하는 타이틀이었다.
FCW 서던 헤비웨이트 챔피언십 역사
2007년 6월 26일 결성되었다. 2008년 3월 22일 제이크 헤이커가 FCW 서던 헤비웨이트 챔피언 히스 밀러를 꺽고 FCW 헤비급 챔피언십과 통합하면서 역사의 뒤안길로 사라진다.
OVW 헤비웨이트 챔피언십
OVW 헤비웨이트 챔피언십(OVW Heavyweight Championship)은 오하이오 벨리 레슬링을 대표하는 타이틀이다.
OVW 헤비웨이트 챔피언십 역사
1997년 8월 17일 내셔널 레슬링 얼라이언스와 연맹하던 시절 NWA-OVW 타이틀이라는 이름으로 소개되면서 역사가 시작되었고, 트레일러 파크 트래쉬가 초대 챔피언에 등극하였다.
OVW 텔레비전 챔피언십
OVW 텔레비전 챔피언십(OVW Television championship)은 오하이오 벨리 레슬링의 챔피언십 중 하나다.
OVW에서는 중간급 챔피언십을 나타낸다.
OVW 텔레비전 챔피언십 역사
2005년 1월 26일 브렌트 얼브라잇 (거너 스캇)이 초대 챔피언에 등극하였고, 챔피언은 자기가 워하는 도전자를 마음대로 고를 수 있으며, 승자에게는 1000달러의 상금도 함께 주어진다.
OVW 서던 태그팀 챔피언십
OVW 서던 태그팀 챔피언십(OVW Southern Tag Team Championship)은 OVW의 챔피언십 중 하나이며 태그팀 챔피언십이다.
OVW 서던 태그팀 챔피언십 역사
1997년 닉 딘스모어 (유진)와 플래쉬 프라나건이 초대 챔피언에 등극하였다.
OVW 위민스 챔피언십
OVW 위민스 챔피언십(OVW Women's Championship)은 OVW에 속한 챔피언십중 하나이며 여성 챔피언십이기도 하다.
OVW 위민스 챔피언십 역사
2006년 O.D.B가 초대 챔피언이 되었다.
도리이 다다요시
도리이 다다요시(일본어: 鳥居 忠吉 토리이 타다요시[*], 생년 미상 ~ 1572년 5월 2일)는 센고쿠 시대의 무장이다. 마쓰다이라씨의 가신으로, 마쓰다이라 기요야스, 히로타다, 도쿠가와 이에야스를 섬겼다. 미카와국 헤키카이 군의 와타리 성을 다스렸다. 자식으로는 다다무네, 혼오이하쿠, 모토타다, 다다히로가 있다.
태어난 해는 알려져 있지 않다. 기요야스와 히로타다가 차례로 죽은 이후 이마가와 씨 밑에서 볼모 생활을 하던 이에야스를 보필했으며, 1560년 오케하자마 전투에 참전하기도 했다. 만년에는 오카자키 성의 수비를 맡았으며, 1572년 병으로 죽었다. 1547년에 장남 다다무네가 전투로 죽었고, 차남 혼오이하쿠는 출가하였기에 가독은 셋째 아들인 모토타다가 물려받았다.
묘소는 차남 혼이오하쿠가 주지로 있었으며, 지금의 아이치현 니시오시에 세워져 있는 후타이인 (不退院)이다.
OVW 라이트 헤비웨이트 챔피언십
OVW 라이트 헤비웨이트 챔피언십(OVW Light Heavyweight Championship)은 OVW의 챔피언십이었다.
이 타이틀은 WWE 크루져웨이트 챔피언십처럼 체중의 제한이 있어서 최대 몸무게가 100kg까지가 되어야 하는 챔피언십이다. 1999년부터 2001년까지 존재했던 챔피언십이다.
세키구치 지카나가
세키구치 지카나가(일본어: 関口 親永 세키구치 치카나가[*], 1518년 ~ 1562년)는 센고쿠 시대의 무장이다. 스루가 이마가와 씨를 섬기던 가신이었다. "우지오키", "요시히로", "우지히로" 등의 다른 이름들도 가지고 있었으며, "지카나가"라는 이름은 선조 이마가와 우지치카의 이름에서 딴 피휘이다. 스루가 성 모치부네 성을 다스리고 있었다. 이마가와 요시모토와는 매부 관계이며, 도쿠가와 이에야스의 아내가 되는 쓰키야마도노의 아버지이다.
1560년, 요시모토가 오다 노부나가와 벌인 오케하자마 전투에서 전사한 후, 쇠퇴해가던 이마가와 씨를 계속 섬겼다. 하지만 사위 이에야스가 독립한 이후, 요시모토로부터 가독을 물려받은 이마가와 우지자네로부터 모반을 꾸몄다는 의심을 받아 1562년 할복형에 처해져 죽었다.
OVW 하드코어 챔피언십
OVW 하드코어 챔피언십(OVW Hardcore Championship)은 OVW의 챔피언 타이틀이였으며, OVW에서의 하드코어 레슬링을 위한 챔피언십이었다. 2000년 트레일러 파크 트래쉬로부터 시작하여 2001년 랜디 오턴에 의해 폐지된 챔피언십이다.
베른트 슈스터
베언하트 "베른트" 슈스터(독일어: Bernhardt "Bernd" Schuster ˈbɛʁnhaʁt ˈbɛʁnt ˈʃuːstɐ[*], 1959년 12월 22일, 바이에른 주 아우크스부르크 ~)는 1970년대 말부터 1990년대 초까지 활약한 독일의 전 축구 선수로, 스페인의 바르셀로나(1980–1987)와 레알 마드리드(1988–1990)에서 활약하면서 몇 차례 우승을 거두었다. 그는 미드필더로 활약하며 금발의 천사(der Blonde Engel)라는 별칭으로 수식되었다. 현역 선수로서 은퇴한 후, 그는 다수의 유럽 구단을 지도했는데, 이 중 레알 마드리드 감독 시절에는 2007–08 시즌에 리그 우승을 거두기도 했다.
베른트 슈스터 클럽 경력
슈스터는 서독 U-18 국가대표팀에서 수 차례 기대를 끌어모으는 성과를 내고 1978년에 18세의 나이로 쾰른에서 프로 무대 신고식을 치렀다. 슈스터는 UEFA 유로 1980이 종료하고 쾰른을 떠나 스페인의 바르셀로나에 입단하여 대성공을 거두었다. 그는 현역 시절에 레알 마드리드, 아틀레티코 마드리드, 그리고 레버쿠젠에서 활동했다. 그의 은퇴 무대는 멕시코의 UNAM 푸마스였는데, 그는 1997년 봄에 10경기 출전하였다.
슈스터는 1980년대 바르셀로나의 주축 선수로, 중원을 점거하고 많은 득점을 올렸다. 그러나, 주제프 류이스 누녜스 당시 바르셀로나 회장과 슈스터가 바르셀로나 시절 지휘봉을 잡았던 엘레니오 에레라, 우도 라테크, 테리 베너블스, 그리고 루이스 아라고네스 감독은 그와 마찰을 빚곤 했다. 그에도 불구하고, 그는 1980년에 유러피언 실버볼을, 1981년과 1985년에는 유러피언 브론즈볼을 획득했다. 1981년 21세였을 당시 그는 아틀레틱 빌바오의 수비수 안도니 고이코에체아의 태클로 오른쪽 무릎에 중상을 입었다.
베른트 슈스터 클럽 경력
그의 레알 마드리드 이적은 바르셀로나와 마드리드 간의 강력한 숙적 관계였기에 논란의 대상이 되었다. 베른트 슈스터의 경기 방식은 마드리드 유소년부 졸업생들인 독수리 편대와 상호 보완 효과를 내면서 1980년말 스페인 리그를 지배한 선수단으로 스페인 축구 역사에 한획을 그었다.
슈스터는 1990년 가을에 아틀레티코 마드리드로 이적하여 아틀레티코의 기존 후방 패스 경기 방식을 개선하는데 도움을 주었다. 그의 길고 정확한 패스는 아틀레티코 마드리드가 리그에서의 위상을 회복하는 데에 큰 도움이 되었다.
1993년, 슈스터는 모국 독일로 복귀해 레버쿠젠으로 이적했다. 그의 공헌에도 불구하고, 소속 구단은 분데스리가와 DFB-포칼을 획득할 수 없었으나, 그의 활약은 그가 1994년 FIFA 월드컵 선수단에 합류해야 한다는 국내 여론을 조성했다. ARD의 TV 방송 프로그램 "올해의 골" 투표에서 슈스터가 1994년에 1위를 세 번 차지했다. 최근 50년 동안의 최고 유럽 선수를 알기 위해 실시한 UEFA 50주년 여론 조사에서 슈스터는 40위를 차지했다.
베른트 슈스터 국가대표팀 경력
그는 이탈리아에서 열린 UEFA 유로 1980을 우승한 서독 국가대표팀일원으로, 서독이 참가한 4경기 중 2경기에 출전했다. 그의 대회에서의 맹활약으로 골든볼을 획득한 국가대표팀 동료 칼-하인츠 루메니게에 이어 실버볼을 획득하였다. 그러나, 그는 차남 다비트의 출생 때문에 알바니아와의 경기에 불참할 의사를 밝혔는데, 이는 당시 스포츠계에 큰 파문을 일으켰다. 슈스터는 계속되는 독일 축구 연맹과 유프 데어발 국가대표팀 감독 외에도 파울 브라이트너 같은 국가대표팀 동료와도 마찰을 계속 빚으면서 24세의 나이로 국가대표팀 경기에 더 이상 활약하지 않겠다고 선언하였다. 슈스터의 말에 따르면, 브라질과의 친선경기를 놓고서 바르셀로나와도 독일 국가대표팀과도 마찰을 빚었다고 밝혔다. 도합하여 슈스터는 서독 국가대표 선수로 21번 출전하였다.
베른트 슈스터 감독 경력
슈스터는 1997년 7월 1일부터 1998년 6월 30일까지 포르투나 쾰른을 지휘했다.
슈스터는 1998년 7월 1일에 사상 첫 2부 리그 강등의 굴욕을 겪은 쾰른의 감독이 되었고, 1999년 6월 30일까지 이 직위를 맡았다. 슈스터는 자신의 임기에 쾰른을 다시 1부 리그로 올려놓지 못하였다. 2000년, 그는 스코틀랜드의 던디 사령탑을 맡기 위해 이력서를 제출했지만, 던디 회장은 그의 구직 요청을 거절했다.
슈스터는 2001년 6월 26일에 헤레스의 감독이 되었다. 슈스터는 헤레스를 2시즌 동안 성공적으로 지휘했다. 당시 헤레스가 거둔 성적은 역대 2번째와 3번째로 좋은 성적이었다. 그러나, 그는 헤레스를 라 리가로 승격시키지는 못하였다.
2003년 6월, 그는 같은 해 7월 1일부터 샤흐타르 도네츠크의 지휘봉을 잡기로 수락하였다. 슈스터는 샤흐타르 도네츠크를 이끌고 역대 최다 연승 기록을 세웠다. 그러나, 소속 구단은 리그 우승을 거두지 못했고, 로코모티프 모스크바에 밀려 UEFA 챔피언스리그 본선행이 좌절되었다. 슈스터는 2004년 5월 5일에 해임되었는데, 당시 샤흐타르 도네츠크는 2004년 쿠보크 우크라이나 결승전을 남겨놓고 있었다.
베른트 슈스터 감독 경력
그는 2004년 여름에 스페인 무대로 복귀해 레반테의 감독이 되었다. 그러나, 레반테는 5경기를 남겨놓고 강등권과 승점차가 5점 밖에 나지 않은 곳에서 맴돌았다. 결국 슈스터는 2005년 5월 1일에 경질되었다. 슈스터를 경질한 레반테는 이후 상황이 악화되어 1승도 더 추가하지 못했고, 결국 세군다 디비시온으로 강등되었다.
슈스터는 2005년 여름에 헤타페의 감독으로 취임했다. 슈스터는 헤타페를 이끌고 1년차에 당시 역대 최고 성적을 냈다. 슈스터의 헤타페는 2년차에 더욱 성공적인 시즌을 보냈는데, 라 리가 시즌을 7위로 마감했다. 헤타페는 바르셀로나와의 코파 델 레이 준결승 1차전에서 1-2로 졌지만 2차전에서 4-0 대승으로 극복하고 대회 결승까지 올라가면서 2007–08 시즌 UEFA컵 진출권을 확보하기도 했다.
베른트 슈스터 감독 경력
슈스터는 2007년 7월 9일에 레알 마드리드 감독으로 내정되었다. 그는 레알 마드리드 감독으로서 선수단을 훌륭하게 지휘하여 라 리가 선두로 이끌었다. 산티아고 베르나베우에 다시 공격 축구의 바람이 불기 시작했고, 마드리드는 공격 지표에서 최고치를 나타냈는데, 안방에서 무패행진을 이어나갔고, 숙적 바르셀로나를 적지 캄 노우에서 이기면서, 당시 2위를 달리던 바르셀로나와의 승점차를 7점으로 늘렸다.
레알 마드리드 선수단은 올림피아코스, 베르더 브레멘, 그리고 라치오와 편성된 UEFA 챔피언스리그 조에서 1위를 차지해 대회 16강에 진출하였다. 그는 레알 마드리드의 경기 방식에 변화를 주었는데, 파비오 카펠로 시절의 수비적인 축구에서 빠른 박자의 공격적인 축구로 바꾸었다. 그러나, 로마와의 UEFA 챔피언스리그 16강 2차전에서 1-2로 패하면서 레알 마드리드가 탈락하자, 슈스터가 마드리드의 지휘봉을 계속 잡을 수 있는가에 대한 의문이 나왔지만, 구단 당사는 의혹을 전면 부인했다. 2008년 5월 4일, 슈스터는 3경기를 남겨놓고 레알 마드리드의 통산 31번째 리그 우승을 확정시켰다.
베른트 슈스터 감독 경력
2008년 5월 18일, 슈스터의 레알 마드리드는 숙적 바르셀로나가 세운 최다 승점 기록(85점)과 동률을 이루었다. 그는 다음 시즌을 수페르코파 데 에스파냐 우승으로 시작하였다. 슈스터는 마드리드에서 성공적인 행보를 보였으나, 언론과의 충돌이 잦은 편이었다. 때로는 질문에 답하기를 거절하거나, 논란이 있는 답을 하거나 비꼬면서 답하는 것 외에도 기자 회견 중도에 나가는 경우도 있었다. 2008년 12월 9일, 슈스터는 세비야와의 경기에서 3-4로 패한 후 공개적으로 자신의 선수단이 (당시 페프 과르디올라가 지휘하는) 바르셀로나와의 고전 더비 경기에서 승산이 없다고 발언한 후, 마드리드 감독직을 그만두었다. 그의 지휘봉은 후안데 라모스가 가져갔다.
베른트 슈스터 감독 경력
2010년 6월 10일, 터키의 베식타시는 슈스터가 2년 계약을 맺고 구단의 새 감독이 되었다고 발표하였다. 그가 취임한 후 영입한 선수들은 포르투갈의 측면 미드필더 히카르두 쿠아레즈마와 독일의 로베르토 힐버트, 그리고 레알 마드리드 감독 시절 동행했던 미드필더 구티였다. 이후에도 슈스터는 포르투갈 선수 시망 사브로자, 우구 알메이다, 마누엘 페르난드스 세 명을 선수단에 추가했다. 슈스터는 2011년 3월 15일에 사표를 제출했는데, 베식타시는 부진한 성적을 거두었고, 슈스터는 언론과 또다시 마찰을 빚고, 기자 회견에서 논란의 발언을 하거나 도중에 회견장을 박차고 나갔다. 터키 언론은 슈스터가 무모한 공격 전술을 사용했다고 비판하였다.
슈스터는 2013년 6월 12일에 말라가의 사령탑에 올랐다. 2014년 5월, 말라가가 리그에서 10위 밖의 성적을 내면서, 슈스터의 계약은 해지되었다.
2018년 3월 19일, 중국 슈퍼리그의 다롄 프로은 슈스터가 감독으로 취임했다고 공식 발표했다. 그는 2019년에 다롄을 떠났고, 후임은 최강희가 되었다.
베른트 슈스터 사생활
선수 시절, 슈스터와 그의 배우자 가비는 독일에서 유명 인사로 통했다. 가비는 논란의 주인공이었는데, 그녀는 남편의 요원을 맡았다. 슈스터가 스페인에서 활동하던 당시, 가비는 바르셀로나의 우도 라테크 감독과 국가대표팀의 유프 데어발 감독을 공개적으로 비난했었다. 둘 사이에 4명의 사직을 두고 있다. 2008년 슈스터는 가비와 결별했다. 파경 4년 후인 2012년, 슈스터는 스페인의 변호사인 엘레나 블라스코를 배우자로 맞이했다.
사이드 무함마드 아드난
사이드 무함마드 아드난 마흐푸드 무함마드 후사인(아랍어: سيد محمد عدنان محفوظ محمد حسين, 1983년 2월 5일~)은 바레인의 축구 선수로 포지션은 수비수이다. 현재 바레인 프리미어리그의 히드 SCC에서 활약하고 있다.
사이드 무함마드 아드난 선수 경력
바레인의 말키야 클럽에서 프로 무대에 데뷔하였으며, 2005년엔 카타르의 알코르 스포츠 클럽으로 이적하였다.
2011년 7월, 브리즈번 로어 FC에서 입단 테스트를 받은 후 1년 계약을 체결하는 데 성공하여 호주 A리그 무대에서 활약하게 되었다.
사이드 무함마드 아드난 그 외
2011년, 아랍의 봄의 영향을 받은 바레인엔 민주화 열풍이 일었고, 그 역시 민주화 운동에 참여하였다. 2011년 4월, 시위에 가담한 죄로 군주 정부에 의해 체포당하였으나 2달 만에 풀려났다.
호르헤 가르바호사
호르헤 가르바호사 차파로(스페인어: Jorge Garbajosa Chaparro, 1977년 12월 19일~)는 스페인의 은퇴한 농구 선수로 현역 시절 포지션은 센터, 파워 포워드이다. "가르보"라는 별명으로도 잘 알려져 있다.
1995년 리가 ACB의 사스키 바스코니아에 입단하여 프로 데뷔하였으며, 2000년 세리에 A의 베네톤 트레비소로 이적하였다. 2001년과 2003년에 올스타에 출전하여 유로리그 1군팀에 선정되었다. 2004년에 귀국하였으며, 발론세스토 말라가에서 뛰었다. 2005년에는 코파 델 레이의 우승을 이끌었으며 MVP에 올랐다. 2005-06 시즌에는 말라가의 첫 리그 우승을 이끌었고, 이 공으로 리그 MVP로 선정되었다.
2006년 전미 농구 협회(NBA)의 토론토 랩터스에 입단하였으며, 2008년 VTB 유나이티드 리그의 BC 힘키로 이적하였다. 스페인으로 귀국 후 스페인 리그에서 활동하다가 2012년 은퇴하였다.
TNA 킹 오브 더 마운틴 챔피언십
TNA 킹 오브 더 마운틴 챔피언십(TNA King of the Mountain championship)은 TNA에 존재하던 챔피언쉽이다.
TNA 킹 오브 더 마운틴 챔피언십 역사
TNA 킹 오브 더 마운틴 챔피언십은 2008년 10월 23일 부커 T가 자신을 챔피언으로 소개하면서 시작된다. 2014년 7월 3일 역사속으로 사라졌다가 2015년 6월 28일 현재의 명칭으로 다시 부활했으나 , 2016년 8월 13일 임팩트 레슬링 녹화에서 래쉴리가 타이틀을 바닥에 버리고 가는 세그먼트를 통해 포기를 하면서 역사속으로 사라진다.
상황 (철학)
상황(狀況)은 일이 되어가는 모양이나 형편, 상태를 말한다. 특히 야스퍼스의 철학에서는 여기에 있는 이 나(개인)를 둘러싸고 나와 이해관계를 가지며 나의 생활과 직접적으로 의의를 지니는 현실을 뜻한다. 이러한 상황은 시간적으로 달라지며 개인은 또한 이 상황을 피하거나 바꿀 수 있다. 그러나 그렇게 할 수 없는 것이 한계상황(限界狀況)이다.
신아제르바이잔당
신아제르바이잔당 (Yeni Azərbaycan Partiyası, YAP)은 아제르바이잔의 정당이다. 신 아제르바이잔당은 아제르바이잔의 전 대통령 헤이다르 알리예프가 1992년 12월 18일에 창당했으며, 2003년에 은퇴하고 죽음에 이르기까지 당을 이끌었다. 현재 헤이다르 알리예프 전 대통령의 아들인 일함 알리예프가 대표를 맡고 있으며, 2003년부터 당 대표이자 대통령으로서 아버지의 역할을 승계하고 있는 상태이다. 또한 현재까지 여당의 지위를 유지하고 있다.
신 아제르바이잔당의 공식 이념은 법치주의, 세속주의, 아제르바이잔 민족주의이다.
ABBYY 파인리더
ABBYY 파인리더(ABBYY FineReader)는 문서인식(광학식 문자 인식) 프로그램이다.
ABBYY 파인리더는 이미지 또는 PDF파일을 편집 가능한 문서로 변환해 주는 지능형 OCR(문자인식) 소프트웨어이다.
ABBYY 파인리더 한글 인식 OCR
ABBYY는 FineReader 10으로 한글화된 첫 제품을 출시했고, 2017년 3월 업그레이드 된 FineReader 14를 발표했다.
ABBYY FineReader 14는 OCR프로그램 최초로 PDF편집 기능을 결합한 올인원 소프트웨어이다.
ABBYY의 한국 공식파트너는 (주)레티아 로,
패키지 프로그램 및 서버형 솔루션, 데이터 캡처 솔루션, SDK, 모바일 SDK 등의 공급과 기술 지원 센터 역할을 맡고 있다.
ABBYY 파인리더 주요 기능
ABBYY사의 FineReader는 ADRT®(Adaptive Document Recognition Technology, 적응형 문서 인식 기술)이라는 자체 기술을 통해 페이지 단위가 아닌 전체 단위로 문서를 분석하고 처리할 수 있다.
이 기술을 이용하면 서식과 하이퍼링크, 이메일 주소, 머리글, 바닥글, 이미지, 표 캡션, 페이지 번호, 각주 등 원본 구조가 그대로 유지된다.
프로그램을 동작시키면 바로 (빠른) 작업 메뉴를 만날 수 있는데, 여기에는 다섯 가지 작업 유형을 보기 쉽게 나열해 놨다. 스캐너로 읽은 이미지를 Word로 변환하는 기능, 이미 존재하는 이미지나 PDF파일을 Word로 변환, 검색 가능한 PDF로 스캔, 사진을 마이크로소프트 워드로 변환, 일반 이미지 스캔 및 저장하는 기능으로 크게 구분할 수 있다. 가장 일반적인 기능이 바로 스캐닝을 통한 텍스트 변환(Word)일 것이다.
다음은 새버전 ABBYY FineReader 14의 3가지 대표 기능이다.
주요 기능
ABBYY 파인리더 언어 지원
불가리아어, 독일어, 포르투갈어(브라질어), 중국어, 그리스어, 러시아어, 체코어, 헝가리어, 슬로바키아어, 덴마크어, 이탈리아어, 스페인어, 네덜란드어, 일본어, 스웨덴어, 영어, 한국어, 튀르키예어, 에스토니아어, 폴란드어, 우크라이나어, 프랑스어를 지원한다.
유령 들린 집
《유령 들린 집》(The Haunted House) 은 1921년 개봉한 버스터 키튼이 출연한 단편 영화다.
유령 들린 집 줄거리
버스터는 은행 직원이다. 강도들은 은행을 털 준비를 하고 경찰이 쫓아오면 유령이 있는 집처럼 꾸며 경찰을 쫓아내려고 한다. 그러나 풀로 인해 오히려 버스터가 강도로 몰리고 버스터는 유령 들린 집으로 간다. 경찰은 집에 들어가려고 하지 않고 여러 소동이 벌어지는 끝에 그는 강도들을 잡으나 강도가 휘둘러서 천국과 지옥을 오간 다음 깨어난다.
TNA 녹아웃 태그팀 챔피언십
TNA 녹아웃 월드 태그팀 챔피언십(TNA Knockouts World Tag Team Championship)은 TNA의 여성 태그팀 챔피언십이다.
TNA 녹아웃 태그팀 챔피언십 역사
2009년부터 여성 태그팀 디비젼 활성화를 위하여 타이틀이 신설되었고, 사리타와 테일러 와일드가 토너먼트 우승을 차지하고 초대 챔피언에 등극한다. 최근들어 에릭 영과 ODB가 챔피언이 되어 여성 태그팀 타이틀인데도 첫 혼성 태그팀으로 획득했다.
야굽 마마도프
야굽 마마도프(아제르바이잔어: Yaqub Cavad oğlu Məmmədov 야구프 자바트 오글루 맴매도프), 1941년 3월 3일 ~ )는 아제르바이잔의 임시 대통령이었다. 1992년 3월 6일부터 5월 14일, 5월 18일부터 5월 19일까지 아제르바이잔의 대통령 권한대행을 했다.
야굽 마마도프는 1941년에 아제르바이잔, 게데베이 구, 앨리이스마이을르(Əliismayıllı)에서 태어났다. 아제르바이잔 의학 대학교(Azərbaycan Tibb Universiteti), 소아청소년과를 졸업했으며 1966년부터 아제르바이잔 의과 대학교에서 교수로서 병태생리학을 강의 중이다.
RoH 월드 헤비웨이트 챔피언십
RoH 월드 헤비웨이트 챔피언십(ROH World Championship)은 RoH 월드 챔피언 타이틀이다.
RoH 월드 헤비웨이트 챔피언십 역사
RoH 월드 헤비급 챔피언십의 역사는 2002년 7월 27일부터 시작한다. 로우키가 4자간 60분 철인경기에서 승리하면서 초대 챔피언에 등극한다. 2006년 8월 12일 나이젤 맥기니스와 브라이언 다니엘슨의 경기를 통해 RoH 월드 퓨어 챔피언십이 통합된다.
국체론
국체론(일본어: 国 (こく)体 (たい)論 (ろん) 코쿠타이론[*])는 일본 제국 시대의 사회기본이념으로, 일본 천황이 통치하는 국체를 정의한다.
국체라는 말은 일정한 의미를 가지지는 않지만, 국체명징운동 이후인 1938년 기준으로 「만세일계의 천황이 일본에 군림하고, 천황의 군덕(君徳)이 천양무궁(天壌無窮)히 사해(四海)를 덮고, 신민도 천황의 사업을 협찬하여, 의(義)는 군신과 같고 정(情)은 부모자식같이 하여, 충효일치에 의해 국가의 진운을 부지(扶持)하는, 일본 독자의 사실(事実)」을 의미했다.
원래 “국체”라는 말은 국가의 형태나 체면을 의미하는 것이었다. 그러나 막말의 대외위기를 계기로 미토학파는 일본의 독자적인 국병(国柄, 나라의 근본이 되는 기저)이라는 의미로 국체 관념을 수립했다. 미토학의 구상은 일본 전국에 퍼져 국체론이 하나의 사상으로서 독립했고, 메이지 유신 이후 과도기를 거쳐 제국헌법과 교육칙어에 의해 국체론이 정식화되었다. 국체의 관념은 근대 일본을 주박(呪縛)했다. 일본에서 「국체」란 「천황이 영구히 통치권을 총람(総攬)하는 일본 독자적인 국병」이라는 의미를 가졌고, 불가침한 것으로서 국민에게 경외받았다.
국체론
쇼와 시대 들어 국체론은 일본 국민의 사상을 규제하는 데 맹위를 떨쳤다. 치안유지법에서 국체변혁을 죄로 규정하고, 그 최고형을 사형으로 인상했다. 그 배경에는 일본의 국체를 부정하는 마르크스주의에 대한 공포와 적의가 있었다. 만주사변 이후 일본이 군국화로 향하자 국체 관념은 국민정신을 동원하기 위한 키워드가 되었다. 미노베 다쓰키치의 천황기관설을 희생양으로 삼아 정부는 국체명징성명을 내놓았고, 천황기관설은 신성한 국체에 반하는 것으로 간주해 이것을 엄히 잘라내겠다고 성명했다. 문부성은 『국체의 본의』를 간행하여 신민이 천황에게 절대 복종해야 함 등을 설명했다.
국체론은 일본의 패전 때도 위력을 보여주었고, 일본 정부는 “국체의 호지(護持)”를 유일한 조건으로 항복했다. 이후 전후에는 민주주의라는 말로 대체되어 국체라는 말은 과거의 말이 되었다고 여겨진다.
RoH 월드 태그팀 챔피언십
RoH 월드 태그팀 챔피언십(RoH World Tag Team Championship)은 RoH의 태그팀 챔피언십이다.
RoH 월드 태그팀 챔피언십 역사
2002년 9월 21일 초대 챔피언을 결정하기 위한 토너먼트 경기에서 크리스토퍼 다니엘스와 도노반 모건이 우승을 차지하면서 초대 챔피언에 등극하였다.
계산 가능 함수
계산 가능 함수(計算 可能 函數, Computable function)는 계산 가능성 이론의 주요 연구 대상이다. 비형식적으로는 함수가 모든 인수의 값에 대해 함수의 값을 계산하는 알고리즘이 있다면 계산 가능하다고 한다. 알고리즘 개념의 정확한 정의가 부족하기 때문에 계산 가능성에 대한 모든 형식적인 정의는 특정 계산 모델을 참조해야 한다.
많은 계산 모델이 제안되었는데 주요 모델로는 튜링 기계, 레지스터 머신, 람다 대수 및 일반 재귀 함수가 있다. 이 네 가지 모델은 본질적으로 매우 다르지만, 정확히 동일한 계산 가능 함수의 분류를 제시하며 지금까지 제안된 모든 계산 모델에 대해 해당 모델의 계산 가능 함수는 위 네 가지 계산 모델에서 계산 가능하다.
처치-튜링 논제는 상상할 수 있는 모든 계산 가능성 개념이 위에서 언급한 의미에서 계산 가능한 함수만을 계산할 수 있다는 증명할 수 없는 주장이다.
계산 가능 함수
계산 가능 함수의 정확한 정의 이전에, 수학자는 종종 비형식적인 용어인 "효율적으로 계산 가능한"(effectively calculable)을 사용했다. 이 용어는 이후 계산 가능 함수와 동일하게 여겨지게 되었다. 이러한 함수의 효율적인 계산 가능성은 말 그대로 "효율적으로" 계산될 수 있음을 의미하지 않는다(즉, 합리적인 시간 내에 계산될 수 있음을 의미하지 않는다). 사실 일부 효율적으로 계산 가능한 함수에 대해서는 이를 계산하는 모든 알고리즘이 알고리즘의 실행 시간이 입력 길이에 따라 기하급수적으로 (심지어 초기하급수적으로) 증가한다는 점에서 매우 비효율적일 수 있음을 보여줄 수 있다. 실현 가능한 계산 가능성 및 계산 복잡도 이론 분야는 효율적으로 계산될 수 있는 함수를 연구한다.
블룸 공리는 계산 가능 함수 집합에 대한 추상적인 계산 복잡도 이론을 정의하는 데 사용될 수 있다. 계산 복잡도 이론에서 함수의 값을 계산하는 문제는 결과가 "예" 또는 "아니요"인 결정 문제와 달리 함수 문제로 알려져 있다.
계산 가능 함수 정의
함수의 계산 가능성은 비형식적인 개념이다. 이를 설명하는 한 가지 방법은 함수의 값이 유효한 절차를 통해 얻을 수 있다면 그 함수는 계산 가능하다고 말하는 것이다. 더 엄밀하게 말하면, 함수 는 자연수의 튜플 를 주어졌을 때 값 를 생성하는 유효한 절차가 있을 때만 계산 가능하다. 이 정의에 따라 이 문서의 나머지 부분에서는 계산 가능 함수가 유한 개의 자연수를 인수로 취하고 단일한 자연수인 값을 생성한다고 가정한다.
이 비형식적인 설명에 상응하는 여러 공식적인 수학적 정의가 존재한다. 계산 가능 함수의 분류는 다음을 포함한 여러 동등한 계산 모델에서 정의할 수 있다.
이러한 모델은 함수, 입력 및 출력에 대해 서로 다른 표현을 사용하지만 어떤 두 모델 사이에도 변환이 존재하며, 따라서 모든 모델은 본질적으로 동일한 함수 분류를 설명한다. 이는 형식적 계산 가능성이 자연스럽고 너무 좁지 않다는 견해를 낳는다. 이러한 함수ㄴ,ㄴ 비형식적인 용어인 "계산 가능"과 대조하여 "재귀적"이라고 불리기도 하는데, 이는 1934년 클레이니와 괴델 간의 논의에서 비롯된 구분이다.p.6
계산 가능 함수 정의
예를 들어, 계산 가능 함수를 μ-재귀 함수로 형식화할 수 있는데, 이는 유한 튜플의 자연수를 취하고 단일 자연수를 반환하는 부분 정의 함수이다(위와 동일하게). 이는 상수, 계승, 사영 함수를 포함하고 함수의 합성, 원시 재귀 함수 및 μ 연산자에 대해 닫힌 부분 함수의 가장 작은 클래스이다.
동등하게, 계산 가능 함수는 튜링 기계나 레지스터 머신과 같은 이상화된 계산 에이전트에 의해 계산될 수 있는 함수로 형식화될 수 있다. 형식적으로 말하면, 부분 정의 함수 는 다음과 같은 속성을 가진 컴퓨터 프로그램이 있을 때만 계산할 수 있다.
계산 가능 함수 계산 가능 함수의 특징
계산 가능 함수의 기본 특징은 함수를 계산하는 방법을 알려주는 유한 절차(알고리즘)가 있어야 한다는 것이다. 위에 나열된 계산 모델은 절차가 무엇이고 어떻게 사용되는지에 대해 서로 다른 해석을 제공하지만 이러한 해석은 많은 속성을 공유한다. 이러한 모델이 동등한 계산 가능 함수 분류를 제공한다는 사실은 각 모델이 다른 모델의 절차를 읽고 모방할 수 있다는 사실에서 비롯된다. 이는 컴파일러가 한 컴퓨터 언어의 명령을 읽고 다른 언어로 명령을 내보낼 수 있는 것과 매우 유사하다.
엔더턴 [1977]은 계산 가능 함수를 계산하기 위한 절차의 다음과 같은 특징을 제시한다. 유사한 특징은 튜링 [1936], 로저스 [1967] 등이 제시했다.
"절차가 f의 정의역에 없는 k-튜플 x를 받으면, 절차는 영원히 계속되거나, 어느 시점에서 막힐 수 있다(즉, 지시 중 하나가 실행될 수 없다). 그러나 f(x)에 대한 값을 생성하는 척해서는 안 된다." 따라서 f(x)에 대한 값이 발견되면, 그것은 올바른 값이어야 한다. 계산 에이전트가 올바른 결과와 잘못된 결과를 구별할 필요는 없다. 절차는 결과를 생성할 때만 올바른 것으로 정의되기 때문이다.
계산 가능 함수 계산 가능 함수의 특징
엔더턴은 계산 가능 함수를 위한 절차의 3가지 요구사항에 대한 몇 가지 추가 설명을 열거한다.
요약하자면, 이 관점에 따르면 함수는 다음 경우에 계산 가능하다.
계산 복잡도 이론 분야는 성공적인 계산에 허용되는 시간 및 공간에 미리 정해진 제약이 있는 함수를 연구한다.
계산 가능 함수 계산 가능한 집합 및 관계
자연수의 집합 A는 계산 가능(동의어: 재귀적, 결정 가능)이라고 불린다. 이는 모든 자연수 n에 대해, n이 A에 속하면 f(n) = 1이고 n이 A에 속하지 않으면 f(n) = 0인 계산 가능하고 전체적인 함수 f가 존재할 때이다.
자연수의 집합은 계산 가능하게 열거 가능(동의어: 재귀 열거 가능, 준결정 가능)이라고 불린다. 이는 각 숫자 n에 대해, n이 집합에 속하는 필요충분조건으로 f(n)이 정의되는 계산 가능 함수 f가 존재할 때이다. 따라서 집합은 어떤 계산 가능 함수의 정의역인 경우에만 계산 가능하게 열거 가능하다. "열거 가능"이라는 용어는 자연수의 비어 있지 않은 부분집합 B에 대해 다음이 동등하기 때문에 사용된다.
만약 집합 B가 함수 f의 치역이라면, 함수는 B의 열거로 볼 수 있다. 왜냐하면 목록 f(0), f(1), ...은 B의 모든 원소를 포함할 것이기 때문이다.
자연수에 대한 각 유한 관계는 해당 유한 자연수열 집합과 식별될 수 있으므로, 계산 가능 관계 및 계산 가능하게 열거 가능 관계의 개념은 집합에 대한 유사한 개념으로부터 정의될 수 있다.
계산 가능 함수 형식 언어
컴퓨터 과학의 계산 가능성 이론에서는 형식 언어를 고려하는 것이 일반적이다. 알파벳은 임의의 집합이다. 알파벳에 대한 단어는 알파벳에서 가져온 기호들의 유한한 시퀀스이다. 단어에는 동일한 기호가 여러 번 사용될 수 있다. 예를 들어, 이진 문자열은 알파벳 Σ = {0, 1}에 대한 정확한 단어이다. 언어는 고정된 알파벳에 대한 모든 단어들의 집합의 부분집합이다. 예를 들어, 정확히 3개의 1을 포함하는 모든 이진 문자열의 집합은 이진 알파벳에 대한 언어이다.
형식 언어의 핵심 속성은 주어진 단어가 언어에 속하는지 여부를 결정하는 데 필요한 난이도이다. 계산 가능 함수가 언어의 임의의 단어를 입력으로 취할 수 있도록 하는 어떠한 코딩 체계가 개발되어야 하는데, 이는 일반적으로 일상적인 것으로 간주된다. 언어는 계산 가능(동의어: 재귀적, 결정 가능)이라고 불린다. 이는 알파벳에 대한 각 단어 w에 대해, 단어가 언어에 속하면 f(w) = 1이고 단어가 언어에 속하지 않으면 f(w) = 0인 계산 가능 함수 f가 존재할 때이다. 따라서 언어는 임의의 단어가 언어에 속하는지 여부를 올바르게 판단할 수 있는 절차가 있을 때만 계산 가능하다.
계산 가능 함수 형식 언어
언어는 계산 가능하게 열거 가능(동의어: 재귀 열거 가능, 준결정 가능)이라고 불린다. 이는 단어 w가 언어에 속하는 경우에만 f(w)가 정의되는 계산 가능 함수 f가 존재할 때이다. "열거 가능"이라는 용어는 자연수의 계산 가능하게 열거 가능한 집합과 동일한 어원을 가진다.
계산 가능 함수 예시
다음 함수는 계산 가능하다.
f와 g가 계산 가능하면 다음도 계산 가능하다. 예를 들어 f + g, f * g, f가 단항연산이면 , max(f,g), min(f,g), 아그 맥스y ≤ f(x)} 및 더 많은 조합이 있다.
다음 예시는 함수가 계산 가능하더라도 어떤 알고리즘이 그것을 계산하는지 알려져 있지 않을 수 있음을 보여준다.
π의 십진 확장 안에 n개의 연속된 5가 있으면 f(n) = 1이고, 그렇지 않으면 f(n) = 0인 함수 f는 계산 가능하다. (함수 f는 계산 가능한 상수 1 함수이거나, 또는 n < k일 때 f(n) = 1이고 n ≥ k일 때 f(n) = 0인 k가 존재한다. 이러한 모든 함수는 계산 가능하다. π의 십진 확장 안에 임의로 긴 5의 연속열이 있는지 알려져 있지 않으므로, 이 함수들 중 어떤 것이 f인지 알 수 없다. 그럼에도 불구하고, 함수 f는 계산 가능해야 한다는 것을 알고 있다.)
계산 가능 함수 예시
계산 불가능한 자연수열(예: 바쁜 비버 함수 Σ)의 각 유한 구간은 계산 가능하다. 예를 들어 각 자연수 n에 대해, 유한한 순열 Σ(0), Σ(1), Σ(2), ..., Σ(n)을 계산하는 알고리즘이 존재한다. 이는 전체 Σ-순열, 즉 모든 n에 대한 Σ(n)을 계산하는 알고리즘이 없다는 사실과 대조된다. 따라서, "0, 1, 4, 6, 13을 출력"하는 것은 Σ(0), Σ(1), Σ(2), Σ(3), Σ(4)를 계산하는 사소한 알고리즘이다. 유사하게, 주어진 n 값에 대해, 그러한 사소한 알고리즘이 존재한다(비록 그것이 결코 알려지거나 누구에게도 생성되지 않을지라도) Σ(0), Σ(1), Σ(2), ..., Σ(n)을 계산하기 위해.
계산 가능 함수 처치-튜링 논제
처치-튜링 논제는 위에서 나열된 세 가지 속성을 가진 절차로부터 계산 가능한 모든 함수가 계산 가능 함수라고 주장한다. 이 세 가지 속성이 공식적으로 명시되지 않았기 때문에, 처치-튜링 논제는 증명될 수 없다. 다음 사실들은 종종 이 논제의 증거로 간주된다.
처치-튜링 논제는 때때로 특정 함수가 계산 가능함을 입증하기 위해 계산 절차에 대한 구체적인 설명을 제공하는 증명에서 사용된다. 이는 논제의 이러한 모든 사용이 어떤 계산 모델에서 함수에 대한 형식적인 절차를 작성하는 지루한 과정을 통해 제거될 수 있다고 믿어지기 때문에 허용된다.
계산 가능 함수 증명 가능성
함수 (또는 유사하게 집합)가 계산 가능한지 여부뿐만 아니라 특정 증명 시스템(일반적으로 1차 페아노 산술)에서 이를 증명할 수 있는지 여부에 관심이 있을 수 있다. 계산 가능성이 증명될 수 있는 함수를 증명 가능 전체 함수라고 한다.
증명 가능 전체 함수의 집합은 재귀 열거 가능하다. 이는 그들의 계산 가능성을 증명하는 모든 해당 증명을 열거함으로써 모든 증명 가능 전체 함수를 열거할 수 있다. 이는 증명 시스템의 모든 증명을 열거하고 관련 없는 증명을 무시함으로써 수행할 수 있다.
재귀적 정의로 정의된 함수에서 각 값은 동일한 함수 또는 다른 함수의 이전에 정의된 값(단순히 상수일 수 있음)의 고정된 1차 공식으로 정의된다. 이들의 부분집합이 원시 재귀 함수이다. 또 다른 예로는 재귀적으로 정의되었지만 원시 재귀적이지 않은 아커만 함수가 있다.
계산 가능 함수 증명 가능성
이러한 유형의 정의가 순환성이나 무한 회귀를 피하려면, 정의 내에서 동일한 함수에 대한 재귀적 호출이 함수의 정의역에 있는 어떤 잘 정렬된 부분 순서에 대해 더 작은 인수에 대한 것이어야 한다. 예를 들어, 아커만 함수 의 정의에서 가 를 참조할 때마다 는 자연수 쌍의 사전식 순서와 관련된다. 이 경우와 원시 재귀 함수의 경우, 잘 정렬은 명확하지만, 일부 "참조-대상" 관계는 잘 정렬됨을 증명하기가 쉽지 않다. 잘 정렬된 방식으로 재귀적으로 정의된 모든 함수는 계산 가능하다. 각 값은 함수에 대한 재귀적 호출 트리를 확장하여 계산할 수 있으며, 이 확장은 유한한 수의 호출 후에 종료되어야 한다. 그렇지 않으면 쾨니그 보조정리는 무한히 감소하는 호출 시퀀스로 이어져 잘 정렬됨의 가정을 위반하기 때문이다.
건전한 증명 시스템에서 모든 증명 가능 전체 함수는 실제로 전체 함수이지만, 그 역은 참이 아니다. 충분히 강력하고 건전한 모든 1차 증명 체계(페아노 산술 포함)에서는 (다른 증명 체계에서) 증명 시스템에서 전체 함수임을 증명할 수 없는 전체 함수의 존재를 증명할 수 있다.
계산 가능 함수 증명 가능성
전체 계산 가능 함수가 이를 생성하는 튜링 기계를 통해 열거된다면, 위에서 언급된 증명 가능 전체 함수의 열거를 사용하여 위에서 사용된 것과 유사한 대각화 논증에 의해 (증명 시스템이 건전하다면) 위 진술이 증명될 수 있다. 관련 증명을 열거하는 튜링 기계를 사용하고, 모든 입력 n에 대해 fn(n)을 호출한다(여기서 fn은 이 열거에 의한 n번째 함수이다). 이는 n번째 증명에 따라 해당 함수를 계산하는 튜링 기계를 호출함으로써 이루어진다. 이러한 튜링 기계는 증명 시스템이 건전하다면 중단이 보장된다.
계산 가능 함수 계산 불가능한 함수와 풀 수 없는 문제
모든 계산 가능 함수는 그것을 계산하는 방법에 대한 명확하고 모호하지 않은 지침을 제공하는 유한한 절차를 가지고 있다. 더욱이, 이 절차는 계산 모델이 사용하는 유한한 알파벳으로 인코딩되어야 하므로, 계산 가능 함수는 가산 개수만 존재한다. 예를 들어, 함수는 비트 문자열(알파벳 Σ = {0, 1})을 사용하여 인코딩될 수 있다.
실수는 비가산 집합이므로 대부분의 실수는 계산 가능하지 않다. 계산 가능한 수를 참조하라. 자연수에 대한 유한 함수의 집합은 비가산 집합이므로 대부분은 계산 가능하지 않다. 이러한 함수의 구체적인 예로는 바쁜 비버, 콜모고로프 복잡도 또는 차이틴 상수와 같은 계산 불가능한 숫자의 자릿수를 출력하는 모든 함수가 있다.
마찬가지로, 자연수의 대부분의 부분집합은 계산 가능하지 않다. 정지 문제는 그렇게 구성된 첫 번째 집합이다. 다비트 힐베르트가 제안한 결정 문제는 어떤 수학적 진술(자연수로 코딩됨)이 참인지를 결정하는 유효한 절차가 있는지 물었다. 튜링과 처치는 1930년대에 독립적으로 이 자연수 집합이 계산 가능하지 않음을 보였다. 처치-튜링 논제에 따르면, 이러한 계산을 수행할 수 있는 유효한 절차(알고리즘을 가진)는 존재하지 않는다.
계산 가능 함수 계산 가능성의 확장
함수의 계산 가능성 개념은 임의의 자연수 집합 A에 대해 상대화될 수 있다. 함수 f는 A에 대한 오라클에 대한 접근을 허용하는 수정 사항과 함께 계산 가능 함수의 정의를 만족할 때 A에 대해 계산 가능(동등하게 A-계산 가능 또는 A에 상대적으로 계산 가능)으로 정의된다. 계산 가능 함수의 개념과 마찬가지로, 상대적 계산 가능성은 여러 다른 계산 모델에서 동등한 정의로 주어질 수 있다. 이는 일반적으로 주어진 정수가 A의 구성원인지 묻는 추가 기본 연산을 사용하여 계산 모델을 보완함으로써 이루어진다. 또한 g를 그 그래프와 동일시함으로써 f가 'g에 대해 계산 가능'하다고 말할 수도 있다.
초산술적 계층 이론은 공집합의 튜링 점프를 가산 순서수 번 반복하여 계산할 수 있는 집합들을 연구한다. 이는 2차 산술 언어의 보편적 및 존재적 공식 모두에 의해 정의된 집합과 일부 하이퍼 계산 모델과 동등하다. 훨씬 더 일반적인 재귀 이론들이 연구되어 왔는데, 예를 들어 어떤 집합이든 E-재귀 함수의 인수로 사용될 수 있는 E-재귀 이론이 있다.
계산 가능 함수 계산 가능성의 확장
처치-튜링 논제는 계산 가능한 함수에 모든 알고리즘을 가진 함수가 포함된다고 명시하고 있지만, 알고리즘이 가져야 할 요구 사항을 완화하는 더 넓은 함수를 고려하는 것이 가능하다. 하이퍼 계산 분야는 일반적인 튜링 계산을 넘어서는 계산 모델을 연구한다.
RoH 월드 텔레비전 챔피언십
RoH 월드 텔레비전 챔피언십(RoH Televsion championship)은 RoH의 챔피언십 중 하나다.
RoH에서는 중간급 챔피언십을 나타내며 트리플 크라운에 필요한 챔피언십이기도 하다.
RoH 월드 텔레비전 챔피언십 역사
RoH 텔레비전 챔피언십은 2010년 1월 20일 토너먼트에서 에디 에드워즈가 데이비 리쳐즈를 꺾고 초대 챔피언이 되면서 역사가 시작된다.
서촉 명씨
서촉 명씨(西蜀明氏)는 한국의 성씨이다. 대하(大夏)의 황제 명옥진(明玉珍)의 아들 명승(明昇)이 1372년(공민왕 21년) 고려에 귀화하였다.
서촉 명씨 역사
서촉 명씨(西蜀 明氏) 도시조 명옥진(明玉珍, 1330년~1366년)은 중국 호북성 수주(隨州) 사람이다. 원(元)나라가 기울어 가는 시기 서수휘(徐壽輝)의 무장(武將)이 되어 원군(元軍)과 싸웠고, 중경(重慶)을 함락시켜 그곳을 근거로 사천(四川) 지방을 평정했다. 1360년(지정(至正) 20년) 서수휘가 부하에게 살해되자, 1362년 자립하여 촉왕(蜀王)이란 칭호에 대하(大夏)를 세웠다. 나라를 8도(道)로 나누고, 주제(周制)를 본받아 관제(官制)를 두었으며, 세금을 경감하고 과거를 시행하는 등 선정(善政)을 베풀었지만 재위 5년 만에 병으로 사망하였다.
1366년에 명옥진은 죽고 아들 명승(明昇)이 왕위를 이었으나, 당시에 새로 건국한 명나라 태조 주원장(朱元璋) 세력에 명승은 어머니 팽씨(彭氏)와 함께 가족을 거느리고 고려로 내려왔다.
서촉 명씨 역사
명옥진은 원래 민(旻)씨였으나 명(明)씨로 바꾸었고, 이는 명나라 태조 주원장이 국호를 '대명(大明)'으로 정한 것과 비슷한 이유였다. 당시 한족들이 원나라에 대항하면서 백련교 일명 '명교(明敎)'를 숭상했기 때문이기도 했다. 그나마 혹시 중국에 남아있었을지도 모를 명씨들은 장헌충의 전설적 학살 등으로 사라졌을 것이다.
고려에 귀화하자 같은 해 6월에 공민왕은 이들에게 저포(苧布) 9필을 하사하였다. 이듬해 총랑(摠郎) 윤희종(尹熙宗)의 딸과 혼인했으며, 이후 개경(開京)에서 살았다.조선이 개창되자 왕족으로서의 예우를 받았으며, 태종 때는 화촉군(華蜀君)에 봉해지고 충훈세록(忠勳世錄)이 하사되었다. 죽은 뒤 황해도 연안(延安)에 사당이 세워졌다.
서촉 명씨 분파
명승의 네 아들을 파조로 하여 분파되었는데, 명의(明儀)는 자헌공파(資憲公派), 명현(明俔)은 총랑공파(摠郞公派), 명준(明俊)은 부사공파(副使公派), 명신(明信)은 시랑공파(侍郞公派)의 파조가 되었다. 황해도 연안은 자헌공 명의(明儀)의 후손들이 뿌리를 내렸던 지역으로 선조의 유적이 있는 곳으로 일부에서는 아직도 관향을 연안으로 쓰고 있으나 1986년에 간행된 명씨대동보에서는 서촉과 연안의 합본으로 되어 있다.
승(昇)씨도 명승을 시조로 하고 있는 혈손이며,
원래 성씨 민(旻)씨도 서로 혼인을 하지 않았다.
명광계(明光啓, 1543년~1592년): 진사 명세겸(明世謙)의 아들. 개성 출신. 1573년(선조 6) 진사시에 합격하고 1576년 식년문과에 병과로 급제하여, 사헌부와 사간원에서 벼슬을 지냈다. 1592년 평택현감으로 나갔을 때 임진왜란이 일어나자, 휘하의 정예병 수백인을 거느리고 출전, 조헌(趙憲) 등이 이끄는 의병과 합세하여 청주에서 왜적을 크게 무찌르고 이어 금산(錦山)전투에서 조헌 등과 함께 전사하였다. 선조는 이를 가상히 여겨 그의 자손을 등용하라는 명을 내렸다.
서촉 명씨 과거 급제자
서촉 명씨는 조선시대 문과 급제자 4명, 무과 급제자 3명, 생원·진사 15명을 배출하였다.
문과
명광계(明光啓) 명범석(明範錫) 명정구(明廷耉) 명하율(明夏律)
무과
명달해(明達海) 명성일(明成逸) 명진흥(明進興)
생원시
명만년(明萬年) 명이협(明离協) 명제긍(明濟兢) 명해천(明海天)
진사시
명광계(明光啓) 명내갑(明乃甲) 명만경(明萬鏡) 명세겸(明世謙) 명윤덕(明允悳) 명이준(明履濬) 명재형(明在衡) 명제인(明濟仁) 명주전(明周典) 명해붕(明海鵬) 명해종(明海宗)
RoH 월드 퓨어 챔피언십
RoH 월드 퓨어 챔피언십(RoH World Pure Championship)은 RoH에 존재하는 타이틀이었다.
RoH에서는 트리플 크라운에 필요한 챔피언십이다.
RoH 월드 퓨어 챔피언십 역사
RoH 월드 퓨어는 2004년 2월 14일 AJ 스타일스가 초대 챔피언이 되면서 역사가 시작된다. 2006년 8월 12일 RoH 월드 헤비웨이트 챔피언십과 통합되어 역사 속으로 사라지다가 2020년 4월 부활할 예정이다.
훙치허 전투
훙치허 전투(紅旗河 戰鬪)는 1940년 3월 25일 김일성의 동북항일연군 부대가 허룽현 훙치허에 주둔중이던 일본 제국의 마에다 부대와 벌인 전투다.
훙치허 전투 개요
김일성 지휘 하의 동북항일연군 부대가 함경도 무산 근처까지 진격하였다. 이에 관동군 토벌사령부 관하의 마에다 부대를 비롯한 특수부대가 훙치허까지 추격하자, 이를 동북항일연군이 기습하여 55 명을 살상하고 30여명을 포로로 잡고 경기관총 6정, 소총 100여 정, 권총 30여 정, 무전기 1대, 총탄 수만 발을 노획하는 승리를 거두었다.
훙치허 전투 발단과 전개
마에다 다키이치는 만주에서 경찰서 서장으로 있다가 김일성 토벌부대에 참여했다. 그는 평소 '김일성의 목은 내가 벤다'라고 말했다.  김일성 부대가 허룽현 홍치허의 일본인 목재소를 습격하여 쌀을 탈취해갔다는 신고를 받고 마에다가 이끄는 경찰부대가 출동하자 김일성은 악착같이 추격하는 마에다 부대를 자신들에게 유리한 지형으로 유인하여 매복소멸시킬 작전을 세웠다. 김일성의 계략에 말여든 마에다부대는 스스로 사지로 들어섰고 마에다 부대가 매복권에 완전히 들어서자 일제 사격을 가하여 140여명 중 55~120명이 전사했다.