shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
2010년 그는 The Wall로 월드투어를 시작했다. 2011년 5월 12일에는 길모어와 메이슨이 워터스와 함께 Comfortably Numb을 함께 연주하기도 했다. 이 공연은 대성공을 거두어 그에게 엄청난 부를 안겨주었다.
워터스는 어린시절부터 좋아했던 주디와 69년 결혼했지만 아이없이 75년에 이혼했다. 그는 76년에 캐롤린 크리스티와 재혼해서 해리 워터스를 낳았다. 그는 로저의 공연에 동행하고 있다. 딸인 인디아 워터스는 모델이다. 92년 그들은 이혼했다. 93년에 프리실라 필립스와 결혼해 아들을 낳았지만 01년에 이혼했다. 12년에 로리 더닝과 결혼했지만 15년에 이혼했다.
데모(demo)의 뜻은 다음과 같다.
니콜라스 버클리 메이슨(, 1944년 1월 27일 ~ )은 영국의 드러머이자 작곡가로, 록 밴드 핑크 플로이드가 창립된 1964년부터 계속 활동해온 유일한 원년 멤버이다. 르망 24시와 같은 자동차 경주 행사에 참여하기도 한다.
다큐멘터리 영화 제작자 빌 메이슨의 아들인 그는 버밍엄에서 태어나 런던 햄프스티드로 이주하여 서리주의 Frensham Heights 학교에 입학하였다. 나중에는 리전드 스트리트 폴리테크닉(오늘날의 웨스트민스터 대학)에서 공부를 하였으며, 이곳에서 로저 워터스, 밥 클로스, 리처드 라이트와 함께 1964년 핑크 플로이드의 전신인 시그마 6를 창립하였다.
닉 메이슨은 솔로로 활동하기 보다는, 핑크 플로이드 멤버들이나 10cc의 릭 펜()과 함께 음반을 냈다. 또한 프로듀서로서 참여한 음반도 많이 있다.
레이도 로버트 가르시아 "밥" 클로스(, 1945년 ~ )는 영국의 음악가이자 사진가이다. 록 밴드 핑크 플로이드의 초기 멤버였으며 기타를 연주하였다. 첫 싱글 〈Arnold Layne〉이 발매되기 전에 밴드에서 탈퇴하였다.
가모역의 다른 뜻은 다음과 같다.
제프 벡(, 1944년 6월 24일 ~ 2023년 1월 10일)은 영국의 록 기타리스트이다. 에릭 클랩튼, 지미 페이지와 함께 야드버즈 출신의 유명 기타 연주자 3인 중 한 명이다. 《롤링 스톤》지에서 발표한 '이 시대의 가장 위대한 기타 연주자 100명'에서 14위로 선정되었다.
제프 벡은 많은 곡들을 발매, 연주해왔으며 블루스 록, 헤비 메탈, 재즈 록, 최근의 기타 록과 일렉트로니카의 혼합 등 다양한 장르의 곡들을 다루고 있다. 벡은 일찍이 폭넓은 지지를 받아왔는데, 그래미상 최우수 록 연주 부문을 수상하기도 하였으며, 1970년대 중반 솔로로 출시한 앨범 2장이 크게 인기를 끌었다.
제프리 아놀드 벡()은 1944년 6월 24일 영국 왈링톤 데메인 로드 206번지에서 아버지 아놀드 벡과 어머니 에델 벡 사이에서 태어났다. 10살 때 교회 성가대에서 노래했고 서튼 매너 학교와 서튼 이스트 카운티 신(新) 중등 학교를 다녔다.
벡에게 처음 강한 인상을 남긴 일렉트릭 기타 연주자는 레스 폴이었다. 벡이 처음으로 일렉트릭 기타를 라디오로 들은 것이 6살 때로 레스 폴의 &lt;How High the Moon&gt; 연주였다. 그는 어머니에게 그것이 무엇이냐고 물었고 어머니가 일렉트릭 기타라고 말해주자 벡은 "내가 그걸 할거야"라고 했다고 한다. 이외에도 초기에 음악적 영향을 준 이들로는 진 빈센트 앤 더 블루스 캡스의 클리프 갈럽, B.B. 킹, 스티브 크롭퍼가 있다.
십대 시절에는 기타를 빌려서 치거나 직접 만들어 보려고도 했는데 몸통은 여송연 상자들을 붙여서 나사로 조이고 거친 울타리용 나무와 모형비행기 콘트롤 라인으로 넥을 만든 다음 프렛은 그려넣었다. 두 번째로 시도할 때에는 넥의 길이를 베이스 기타에 맞춰서 했다고 한다.
윔블던 미술대학을 졸업하고 화가와 장식가, 골프장 관리자, 자동차 스프레이 페인트공 등으로 잠시 일했다. 십대 시절 지미 페이지를 소개해 준 이는 벡의 누나인 아네타였다.
윔블던 미술대학을 다니던 중 제프 벡은 여러 밴드들과 연주했는데 그 중에는 1962년도에 오리올 레코드에서 &lt;Dracula's Daughter"/"Come Back Baby&gt;를 함께 녹음했던 스크리밍 로드 서츠 앤 더 새비지스(Screaming Lord Sutch and the Savages)도 있었다.
1963년 롤링 스톤즈(Rolling Stones)의 스튜어트를 통해 알앤비를 접하게 된 이후 그는 나이트쉬프트(Nightshift)라는 밴드를 조직하여 옥스포트가에 위치한 100 클럽에서 연주하며 피카딜리 레이블을 통해 싱글 &lt;Stormy Monday&gt;와 &lt;That's My Story&gt;를 발매했다. 이후 크로이돈의 밴드인 럼블스(Rumbles)에 합류하여 1963년 잠시 동안 리드 기타리스트로 진 빈센트와 버드 홀리의 곡들을 연주하며 여러 기타 스타일을 잘 따라하는 재능을 보여주었다. 그러다가 치스윅 지역의 트라이던츠(Tridents)라는 밴드에 들어갔다. "이들은 지미 리드의 곡들 같은 완전 알앤비 음악들을 했기에 나에게는 적격이었다. 우리는 이런 곡들을 더 강력한 록으로 만들었다. 여전히 12마디 블루스였지만 우리는 열광했다"고 벡은 말한다. 1964년 팔로폰 음반사에서 나온 피츠 앤드 스타츠(Fitz and Startz)의 싱글 와 &lt;So Sweet&gt;에 세션 기타리스트로 참여하기도 했다.
1965년 3월, 제프 벡은 동료 세션 기타리스트였던 지미 페이지의 추천으로 야드버즈(Yardbirds) 밴드에 에릭 클랩튼의 후임으로 영입되면서 본격적인 기타리스트로서의 활동을 시작했다. (먼저는 페이지에게 섭외가 왔었다). 벡이 있는 20개월 동안 야드버즈는 대부분의 톱 40에 들어간 곡들을 녹음했고 1966년에 발매된 한 장의 앨범 &lt;Roger the Engineer&gt;(미국에서는 &lt;Over Under Sideways&gt;란 이름으로 발매)을 냈다. 그리고 같은 해 벡은 &lt;Beck's Bolero&gt;라는 연주곡을 녹음했다. 야드버즈 멤버들 대신에 지미 페이지가 12줄 리듬 기타를, 드럼은 키스 문, 베이스는 존 폴 존스, 피아노에 니키 홉킨스가 함께 했다. 6월에 지미 페이지가 야드버즈에 처음에는 베이스로 합류했다가 이후 세컨드 리드 기타가 된다. 당시 이중 리드 기타 라인업은 1966년 미켈란젤로 안토니오니의 영화 &lt;욕망(Blow-up)&gt;에서 &lt;Train Kept A-Rollin&gt;과 &lt;Stroll On&gt;을 연주하는 장면에 나오기도 한다.
제프 벡은 미국 투어 중에 지속적으로 약속한 시간에 나타나지 않는 문제가 있었고 더불어 완벽주의로 인해 주위를 힘들게 했고 또 불같은 성격 때문에 밴드에서 해고되었다. 1967년 야드버즈 탈퇴 후 벡은 팝 제작자인 미키 모스트와 함께 자신의 목소리가 담긴 두 개의 솔로 싱글 &lt;Hi Ho Silver Lining&gt;과 &lt;Tallyman&gt;을 녹음했다. 그리고 나서 로드 스튜어트를 보컬로 영입, 대망의 '제프 벡 그룹'(The Jeff Beck Group)을 결성한다. 제프 벡 그룹은 이들 외에 베이스에 로니 우드, 피아노에 닉키 홉킨스, 드럼에 앤슬리 던바로 구성되었다(드럼은 이후 믹키 왈러로 교체되었다).
벡은 2023년 1월 10일 78세의 나이로 리버홀 근처의 병원에서 세균성 수막염으로 사망했다.
참고표(參考標, reference mark)는 다음 내용을 참고하라는 의미로 사용하는 문장 부호이다.
하인츠 피셔(, 1938년 10월 9일 ~ )은 오스트리아의 정치인이다. 2004년부터 2016년까지 대통령으로 재임했다.
그라츠 출신이며, 빈 대학교에서 법학을 전공했다. 1971년 국회의원이 되었다. 1983년 ~ 1987년 프레트 지노바츠 총리가 이끄는 연정에서 과학부 장관을 지냈다. 1990년 ~ 2004년, 국회의장을 지냈다. 한편 이와 함께 인스브루크 대학교에서 정치학 교수로 재직하기도 했다. 2004년 1월, 대선 출마를 선언, 사회민주당 후보로 뽑혔다.
2007년 4월, 대한민국을 방문하여 노무현 대통령과 정상회담을 가졌다. 2010년 4월 25일 오스트리아 대통령 선거에서 79.8%를 득표하여 연임에 성공하였다.
광명성 2호(光明星 2號)는 조선민주주의인민공화국이 2009년 4월 5일에 발사한 은하 2호 로켓에 탑재되었던 인공위성이다. 시험 통신 위성으로, 북한 조선중앙통신사는 5일 오후 3시 30분께 "인공위성 '광명성-2호'가 궤도 진입에 성공했다"고 발표했지만 국제 사회는 인정하지 않는다. 궤도 경사각은 40.6°. 지구로부터 제일 가까운 거리는 490km, 제일 먼 거리는 1426km인 타원궤도로, 주기는 104분 12초이다. 대한민국의 청와대는 5일 오전 11시 30분 15초에 함경북도 화대군 무수단리(동해 위성 발사장)에서 로켓을 발사했다고 발표하였으며, 대한민국과 미국측은 인공위성 발사체가 궤도에 오르지 못하고 바다에 떨어졌다고 했다.
발사 예고.
조선우주공간 기술위원회는 2009년 2월 24일 대변인 담화를 통해 "인공위성을 발사하기 위한 준비를 본격적으로 진행하고 있다"고 밝혀 광명성 2호의 존재를 처음으로 알렸다. 이에 대해 발사하려는 것이 미사일이나 인공위성이냐는 논란이 일었다. 3월 11일 미국 국가정보국장 데니스 블레어는 북한이 발사하려는 것이 우주발사체(space launch)로 보인다는 견해를 밝혔다.
유엔 안보리.
토마스 클레스틸(, 1932년 11월 4일 ~ 2004년 7월 6일)은 오스트리아의 정치인이자 외교관이으로 1992년부터 2004년 사망할 때까지 제10대 제10대 대통령으로 재직하였다. 1992년 선출되고, 1998년에 재선되었다.
부친이 노면전차 직원이었던 빈에서 노동자 계급 가족에게 태어난 클레스틸은 자신이 조 자비눌과 친구였던 란트슈트라세 학교를 다녔다. 그는 빈 경제경영대학교에서 수학하여 1957년 박사 학위를 받았다. 공무에 입문한 후, 그는 오스트리아는 물론 경제협력개발기구 같이 해외에서 일하였다. 1969년 그는 로스앤젤레스에서 오스트리아 영사관을 설립하였다. 영어에 능통한 클레스틸은 대통령으로서 자신의 선거에 대비하여 유엔 주재 오스트리아 대사 (1978년-1982년)와 미국 주재 오스트리아 대사 (1982년-1987년)를 지냈다.
대통령을 위하여 출마하는 데 보수적 오스트리아 국민당에 의하여 후보로 지명된 후, 그는 1992년 7월 8일 쿠르트 발트하임을 승계하였다. 하지만 자신의 직무의 2개의 기간의 과정에서 그의 정당으로부터 클레스틸의 소원은 2000년 외르크 하이더의 오스트리아 자유당과 새롭게 형성된 연정에서 후자가 선서를 해야했을 때 연방 총리 볼프강 쉬셀과 클레스틸 사이에 공개적으로 적대감이 생겨 점점 노골적이 되었다. 자신의 선거 운동 동안에 있던 클레스틸은 "적극적"인 대통령이 되기로 맹세하여 되풀이적으로 오스트리아 정부를 비판하였고 2003년에 주어진 스위스 신문과 인터뷰에서 이론적으로 그것은 자신이 그렇게 하는 데 필요했던 아무때나 정부를 해산하는 데 자신의 권력에 있었다는 것을 진술하였다. 사실은 오스트리아의 헌법은 대통령에서 광범위한 권력을 주나 이것들은 아무 클레스틸의 전임자들에 의하여 실행된 적이 없었다.
키리야트 마테르스도르프의 지지.
클레스틸은 마터스부르크의 랍비 슈무엘 에렌펠트에 의하여 창립된 예루살렘 북부에 있는 하레디파 유대인 이웃 키리야트 마테르스로르프의 개발에 자신의 후원을 주었으며 1959년 홀로코스트에서 파괴된 부르겐란트주의 지벤게마인덴을 기억하며 마테르스도르프는 그중의 하나였다. 이웃의 회장을 지낸 에렌펠트의 아들 랍비 아키바 에렌펠트는 유치원과 네베 심하 요양원을 포함하여 몇몇의 기관들을 위하여 자금을 확보하는 데 오스트리아 정부와 긴밀한 관계를 맺었다. 키리야트 마테르스도르프의 순회를 포함했던 1994년 자신의 공식 이스라엘 방문에 이어 클레스틸은 1995년 1월 24일 호프부르크 궁전에서 공식 환영연회에 에렌펠트를 초대하였다.
1949년 클레스틸은 17세의 나이에 훗날의 부인 에디트 빌란더 (1932년-2011년)를 만났다. 결혼식은 1957년에 열렸고 1992년 오스트리아의 대통령으로서 선거 때까지 부부는 3명의 자녀를 두었다. 클레스틸이 외교관 마르고트 뢰플러와 연애를 했다는 사실을 공개하자 부부는 1994년에 헤어졌다. 1998년 9월 부부는 이혼을 했고 3개월 후에 클레스틸은 뢰플러에게 결혼하였다. 2004년 클레스틸이 사망했을 때 빌란더가 장례식에 참석하였다.
클레스틸은 1996년 심각한 질병을 포함하여 폐와 관련된 건강 문제를 겪었다.
2004년 7월 5일 자신이 직무를 떠나기 3일 전에 그는 아마 자신의 장기적 폐의 문제들에 의하여 일으켜진 심근경색 혹은 심부전을 겪었고 위독한 상태로 방치되었다. 7월 6일 현지 시간 23시 33분 그는 다발성 장기 부전으로 빈 중앙병원에서 사망하였다.
7월 10일 그의 국장은 빈의 슈테판 대성당에서 열렸고 그는 빈 중앙묘지에서 대통령 토굴에 안치되었다. 그의 장례식에 참석한 저명한 고위 인사들은 러시아 대통령 블라디미르 푸틴과 전직 대통령이자 유엔 사무총장 쿠르트 발트하임을 포함하였다. 클레스틸은 1950년 이래 직무 중에 사망하는 데 5번째 오스트리아의 대통령이 되었다.
테니스공은 테니스 경기를 위해 제작된 직경 약 6.7cm의 고무 재질로 이루어진 공이다. 표면은 펠트로 덮여 있으며, 일반적으로 옅은 초록색 또는 노란색으로 만들어진다.
초기의 테니스공은 머리털이나 양털 등으로 덮인 가죽 재질의 공이었다. 초기의 테니스공은 스코틀랜드의 장인들에 의해 만들어졌다. 이것은 끈으로 묶은 양이나 염소의 창자를 양털로 싼 것이었다. 최근 웨스트민스터 궁전 내 웨스트민스터 홀의 복구 작업 중 건물의 지붕에서 헨리 8세 시기의 테니스공이 발견되었는데, 이것은 접착제의 일종인 퍼티(putty)와 머리카락을 이용해 만들어진 것이었다. 16세기 스코틀랜드 성에서는 동물의 모피와 창자, 근육 및 소나무를 이용하여 만든 테니스공이 발견되기도 하였다. 18세기경의 테니스공은 3/4인치 폭의 양털을 단단히 뭉쳐 중앙부를 만들고 그것을 끈으로 사방에서 묶은 뒤 겉부분을 흰색 천으로 박음질하여 만들어졌다. 이러한 구조의 공은 오늘날 리얼 테니스에서 거의 똑같이 쓰이고 있는데, 다만 오늘날의 리얼 테니스에서 사용하는 공은 중앙부가 고무 재질로 되어 있다는 점이 다르다. 1980년대에 들어서면서 경화 고무로 만들어진 테니스공이 처음으로 쓰이게 되었다.
《SONGS -Teen's Collection-》는 윤하의 일본 싱글의 컴필레이션 앨범이다. 이 음반은 2개의 새로운 노래인 "Scratch On The Heart"와 "코노코코로", 그리고 윤하의 한국 데뷔 음반인 《고백하기 좋은 날》에서 히트한 노래인 "비밀번호 486"의 일본어 버전이 수록되어 있다.
리얼 테니스(real tennis), 혹은 로열 테니스(royal tennis)는 옛 실내 라켓 스포츠의 일종으로, 현대 테니스의 원형이 되는 운동 경기이다. 프랑스에서는 "쥬 드 폼"(jeu de paume), 미국에서는 "코트 테니스"(court tennis), 오스트레일리아에서는 "로열 테니스"라고도 부른다.
원어명의 "리얼(real)"이라는 단어는 20세기 중반 기자들이 현대의 테니스와 구분하기 위해 옛날 형태의 경기를 "리얼 테니스(real tennis)", 현대적인 형태의 경기를 "론 테니스(lawn tennis)"라고 구분하여 부르면서 처음 쓰이게 되었다. 그러던 것이 시간이 지나면서 리얼 테니스는 점차 사라지고 론 테니스가 보편화함에 따라 론 테니스를 줄여서 테니스라고 부르게 되었다. 일부에서는 "리얼"이라는 단어는 "로열(royal)"의 와전이라고 주장하기도 하나 이를 뒷받침하는 증거는 발견된바가 없다. 리얼 테니스 선수들은 흔히 리얼 테니스를 테니스라 부르고, 현대 테니스는 리얼 테니스의 한 분파로 취급하기도 한다.
리얼 테니스는 영국, 오스트레일리아, 미국 및 프랑스에 흩어져있는 47개의 전용 코트에서 명맥을 이어가고 있다. 이 종목은 여러 세계 리얼 테니스 단체들에 의해 지원받고 있다.
타르탄()은 격자무늬의 직물로, 본디 스코틀랜드 씨족(clan)의 상징이다. 킬트에도 애용되고 있으며, 오늘날에는 전 세계적으로 옷감 및 의류 디자인 등에 널리 쓰이고 있다.
다양한 색상의 가로 및 세로 띠가 교차하여 단순하거나 복잡한 직사각형 패턴을 형성하는 패턴 천이다. 타르탄은 양모로 짠 직물로 만들어졌지만 현재는 다른 소재로도 만들어지고 있다. 타르탄은 특히 스코틀랜드와 관련이 있으며 스코틀랜드 킬트는 거의 항상 타르탄 패턴을 가지고 있다.
스코틀랜드 이외의 지역에서는 타르탄을 "격자 무늬"(특히 북미 지역)라고도 한다. 그러나 스코틀랜드에서 격자 무늬는 여러 가지 방법으로 착용할 수 있는 큰 타르탄 천 조각이다.
전통적인 타르탄은 일반적으로 간단한 2/2 능직 패턴으로 날실과 위사가 일치하도록 짜여진 색상(사전 염색) 실의 교대 밴드로 만들어진다. 가까이서 보면 이 패턴은 다양한 색상이 교차하는 짧은 대각선을 교대로 형성한다. 더 멀리서 보면 원래 색상과 혼합된 새로운 색상의 모습을 보여준다. 결과적인 색상 블록은 세트라고 알려진 직사각형과 선의 독특한 패턴으로 수직 및 수평으로 반복된다.
스코틀랜드 타르탄은 원래 하이랜드와 관련이 있었다. 초기 타르탄은 특정 스코틀랜드 클랜이 아닌 특정 지역에만 적용되었다. 하지만 씨족은 특정 지역과 지역에 살고 통제했기 때문에 비공식적으로 사람들은 자신의 지역과 관련된 패턴을 통해 특정 씨족과 가족을 대략적으로 식별할 수 있었다. 다른 소재와 마찬가지로 타르탄 디자인은 현지 직조공이 현지 취향에 맞게 가장 쉽게 구할 수 있는 천연 염료를 사용하여 제작했다.
1746년의 복장 법은 당시 게일 스코틀랜드 문화의 중요한 요소였기 때문에 하일랜드의 모든 민간인 남성과 소년에게 하일랜드 복장을 금지함으로써 그곳의 전사 부족을 정부 통제 하에 두려고 시도했다.
1782년에 법이 폐지되었을 때, 타르탄은 더 이상 대부분의 하이랜더들에게 평범한 옷이 아니었다. 1822년 스코틀랜드를 방문했을 때 조지 4세가 타르탄 킬트를 입었을 때 스코틀랜드 전체의 상징적인 국가 의상으로 더욱 널리 채택되었다. 그것은 빅토리아 여왕에 의해 더욱 촉진되었다. 이는 다소 정치적인 "타르탄"과 "고지주의"의 시대를 의미했다.
최초의 유니폼 타르탄은 1713년으로 추정되지만(이전에 민병대가 사용했다는 일부 증거가 있음), 특정 스코틀랜드 씨족을 위한 패턴이 만들어진 것은 19세기 초반이 되어서였다. 대부분의 전통적인 패턴은 1815년에서 1850년 사이에 확립되었다. 빅토리아 시대의 인공 염료 발명은 다양한 패턴을 저렴하게 생산할 수 있음을 의미했다. 대량 생산된 타르탄 패션 천은 스코틀랜드 역사에 대한 향수를 불러일으키는(점점 귀족적이고 수익성이 높아지는) 관점에 적용되었다.
오늘날 타르탄은 더 이상 직물에만 국한되지 않고 매체에 관계없이 패턴 자체의 이름으로도 사용된다. 타르탄의 사용은 스코틀랜드 외부, 특히 스코틀랜드 문화의 영향을 받은 국가로 퍼졌다. 그러나 타르탄 스타일의 패턴은 복잡한 코시 직물이 적어도 18세기에 만들어진 일본과 적어도 19세기 초부터 러시아(때로는 금실과 은실을 사용하는 경우도 있음)와 같은 일부 다른 문화권에서 수세기 동안 존재해 왔다. 마사이족 슈카 랩, 부탄식 마트라 직조, 인도식 마드라스 천도 종종 스코틀랜드 스타일과 구별되는 타르탄 패턴으로 되어 있다.
앤드루스 나카하라(, )는 1983년 3월 12일생의 일본계 브라질인인 종합격투기 선수다. 가라테를 베이스로 하고 있으며 2008년 4월 29일 드림2에서 사쿠라바 카즈시와 데뷔전에서 데뷔전으로서는 선전을 했지만 아쉽게 지게 됐다. 2008년 9월 23일 드림6에 출전하여 리저브매치의 상대인 윤동식을 2R 초반에 제압했다. 2009년 4월 5일에는 오야마 슌고 선수를 더욱 더 상승된 기량으로 1R에 제압했다.
장베델 보카사(, 1921년 2월 22일 ~ 1996년 11월 2일)은 중앙아프리카 공화국의 군인 출신 정치인이다. 1966년 쿠데타로 대통령이 되었고, 1976년부터 중앙아프리카 제국의 황제인 보카사 1세로 등극했다가 1979년 쿠데타로 실각했다.
프랑스 식민지 시절 프랑스 군대에 입대했다. 제2차 세계대전, 제1차 인도차이나 전쟁에서 활약한 공로로 레지옹 도뇌르 훈장을 받았다. 1960년 독립 후 초대 대통령 다비드 다코 대통령 밑에서 중앙아프리카 공화국 군대 조직에 기여했고, 1963년 최고사령관에 올랐다. 그러나 1965년 12월 31일 쿠데타로 다코 대통령을 축출하고, 1966년 1월 1일 스스로 대통령 자리에 올랐다.
그 후 총리와 여러 부처의 장관을 겸임하며 절대적인 권력을 휘두르다가, 1972년에는 종신 대통령이 됐다. 그 후 1976년 9월, 정부와 의회를 해산하고 새로 채택한 헌법에 의해 국호를 중앙아프리카 제국으로 고치고 그가 전부터 흠모해 왔다는 나폴레옹 1세를 따라 그 해 12월 초대 황제인 보카사 1세가 됐다. 1977년 12월 4일 열린 사치스러운 대관식은 열악한 경제 사정을 더욱 악화시켰다. 반대자들에 대한 탄압은 계속됐으며, 1979년 정부의 강제적인 교복 착용을 거부하는 시위를 벌인 학생들을 100여명가량 학살한 사실이 드러났다. 1979년 9월 프랑스 낙하산 부대가 수도 방기에 잠입, 그의 체제를 전복시키고 1966년 쿠데타 이전의 상태로 복원시켰다. 이에 따라 다시 다비드 다코가 대통령이 됐다. 보카사는 곧 코트디부아르로 탈출하여 프랑스로 망명했다.
그 후 궐석 재판에서 사형을 구형받았다. 1986년 귀국했으며, 곧 체포돼 반역죄, 살인죄, 횡령죄로 사형을 선고받았으나, 20년형으로 감형됐다. 1993년 사면되어 풀려났으며, 1996년 방기에서 사망했다.
17명의 부인에게서 최소 50명의 자녀를 둔 것으로 알려져 있는 그는 세계 정치 역사상 극히 보기 드문 독재와 기행(奇行)을 남긴 인물이다. 심지어 인육을 먹었다는 소문까지 있어 현대의 식인귀로도 알려져 있다.
시이드 알리 모하마드(1819년 10월 20일 - 1850년 7월 9일)는 바브교의 창시자이자 바하이교에서 중요하게 여기는 세 존재 가운데 한 명이다. 그는 이란 쉬라즈의 상인이었으며 24세이던 1844년 5월 23일 마흐디("이끌어진 자")인 콰임("일어선 자")으로 지명되었다. 후일 그는 문을 뜻하는 바압으로 불리게 되었다. 바하이교에서는 조로아스터교의 경전에 등장하는 종말론적인 믿음에 따라 엘리야와 세례자 요한의 현신으로 여겨지고 있다. 또한 바하이교는 바브를 그들 종교의 선구자로 보며 그의 약속에 따라 신이 또 다른 예언자를 보낼 것이라 믿는다.
시이드 알리 모하마드는 1819년 10월 20일 쉬라즈의 중간 계급인 상인 가문에서 태어났다. 그는 아버지를 아주 어릴때 여의고 삼촌의 손에 의해 길러졌다. 그는 무함마드의 손자 후세인 이븐 알리의 자손이라 한다. 그는 삼촌에게서 일을 배워 상인이 되었으며 페르시아만 인근의 부셰르에 터를 잡고 집 거래 등의 가업을 이었다. 그러나 그는 자신의 가업보다는 종교에 대한 공부에 열중하였다고 한다. 동시대의 기록에는 "그는 매우 잘 생겼으며 깨끗한 옷에 녹색 숄과 검은 터번을 두르고 다녔다. 우리들의 어떠한 질문에도 막힘이 없었으며 그 자신만의 생각을 분명히 나타내었다."고 기록되어 있다.
1842년 23세가 된 시이드 알리 모하마드는 1살 연하의 카디지 바굼과 결혼하였다. 이듬해 아이를 낳았으나 첫 돌을 넘기지 못하고 사망하였다.
바압으로서의 활동.
1790년대 샤크 아흐마드로부터 시작된 샤키파는 시아파의 열두 이맘파에 근간을 둔 믿음으로 이들은 세상의 종말이 곧 도래할 것이며 최후의 심판에서 악의 무리와 맏설 마흐디인 콰임이 현신할 것이라 믿었다. 샤크 아흐마드의 후계자였던 시이드 카짐 라쉬티는 임종을 앞두고 그를 따르는 사람들에게 집을 떠나 콰임을 찾으라고 권유하였다. 라쉬티의 수제자 물라 후세인은 1844년 쉬라즈에 와 시이드 알리 모하마드를 만났으며 5월 23일 그가 콰임이자 바압이라고 믿게 되었다.
바압은 문(門)을 뜻하며 원래 열두 이맘파의 신앙에 근거한 것이었다. 이들은 바압을 은신한 열두 이맘과 소통할 수 있는 자로 여겼다. 시이드 알리 모하마드가 바압으로 선언된 뒤 18명의 전도자가 모이자 이들은 이란과 이라크에 전도를 시작하였다. 바비교는 시이드 알리 모하마드를 콰임 이자 세례자 요한의 현신으로 여겼다.
박해와 처형.
이란 당국은 이들의 믿음이 널리 확산되자 경계심을 가졌다. 시이드 알리 모하마드는 박해를 피해 그에게 우호적인 이스파한으로 거쳐를 옮겼으나 후일 이스파한의 통치자가 사망하자 테헤란으로 압송되어 재판을 받고 이란 북부 타브리즈로 유배되었다. 1848년 이란의 샤 모하마드 샤 콰자르가 사망하자 이란 전역에서 반란이 일어났다. 이 와중에 2만여명의 바브교 신자들이 바브를 내세워 왕좌를 노린다는 이유로 학살되었다. 시이드 알리 모하마드는 마흐디와 이란의 왕을 사칭하였다는 혐의로 1850년 처형되었다.
시이드 알리 모하마드의 초기 가르침은 이슬람교 신앙에 따른 콰임의 도래와 관한 것이었다. 후일 그는 삼라만상의 존재에 대한 형이상학적 설명과 역사에 대한 신비주의적 해석으로 그의 가르침을 확대하였다.
주요 단체:
클럽:
학교 및 대학:
Private estates:
학교:
지방도 제1022호선(남지~교동선)은 대한민국 경상남도 창녕군 남지읍 칠현리와 양산시 교동 영대교 서단을 잇는 경상남도의 지방도이다.
밀양시를 경유하며, 밀양시 상남면에서 삼랑진읍의 구간은 별다른 공사 없이 노선이 끊어져 있다. 또한 밀양시 삼랑진읍부터 양산시 물금읍에 이르는 구간은 철도 경부선의 연선지역을 통과하는 육로 역할을 하고 있으나, 이 구간은 철도에 비해 노선의 굴곡이 많아, 철도에 비해 구간 대비 이용시간이 많이 소요되는 것이 특징이다.
트랜스클루전(Transclusion)은 컴퓨터 과학에서 어느 문서의 일부를 다른 문서에 인용으로서 포함시키는 것이다. 예를 들어 어떤 문서에서 통계 자료만 가져와 다른 문서에 포함시킨다고 할 때, 트랜스클루전은 그 통계 자료를 복사해서 똑같은 내용을 만드는 것이 아니라 링크 등의 방법으로 다른 문서에서는 보여주기만 하는 것이다.
문희정(文熙貞)은 한국의 방송 작가이다. 마흔살 주부 홍선희의 다시 찾은 로맨스를 그린 '내생애 마지막 스캔들'로 주목받았다.
골(, , )은 구기 스포츠에서 공을 특정한 지점에 넣어 득점하는 것을 일컫는다. 대개 축구, 핸드볼, 하키 등은 사각형 모양의 골문 안으로 넣어야 골이 된다. 미식축구의 경우에는 공을 엔드존까지 가지고 가거나(터치다운), 공을 차서 굽쇠 모양의 골대 안쪽으로 넣는 것을 말한다.
스포츠에서 골은 득점 인스턴스를 의미할 수도 있고, 공격 팀이 점수를 얻기 위해 공이나 퍽(puck)을 보내야 하는 물리적 구조나 영역을 의미할 수도 있다. 골의 구조는 스포츠마다 다르며, 각 팀이 방어할 수 있도록 경기장의 각 끝이나 그 근처에 골을 배치한다. 많은 스포츠에서 각 골 구조는 일반적으로 수평 크로스바를 지지하는 골 포스트라고 불리는 두 개의 수직 포스트로 구성된다. 골 포스트 사이의 경기장 표면에 표시된 골라인은 골 영역을 구분한다. 따라서 목표는 골 포스트 사이, 크로스바 아래 또는 위(스포츠에 따라 다름), 골라인을 가로질러 공이나 퍽을 보내는 것이다. 다른 스포츠에는 농구 골대와 같이 공이나 퍽이 통과해야 하는 다른 유형의 구조나 영역이 있을 수 있다. 골 득점이 특징인 스포츠는 일반적으로 침략 게임으로도 알려져 있다.
여러 스포츠에서는 공이나 퍽을 상대 골 구조물이나 영역에 보내는 것이 유일한 득점 방법이므로 최종 점수는 각 팀이 득점한 총 골 수로 표시된다. 다른 스포츠에서는 목표가 여러 채점 방법 중 하나일 수 있으므로 다른 목표와는 다른 설정된 점수의 가치가 있을 수 있다.
골대의 크기.
종목별 골.
농구의 주요 목적은 공식적으로 바스켓이라고 불리는 골대에 공을 던지는 것을 통해 득점하는 것이다. 공이 위에서 바스켓 링을 완전히 통과하면 바스켓의 득점이 된다. 그러나 각 바스켓으로 득점한 점수는 공이 코트의 어느 곳에서 왔는지에 따라 달라지며, 팀이 게임에서 승리하기 위해 반드시 가장 많은 바스켓을 득점할 필요는 없다. 농구 점수는 총점으로 표시된다.
일반 플레이 중에 득점한 바스켓을 필드 골이라고 하며 3점 라인 내부 또는 위에서 슛하면 2점, 3점 라인 너머에서 슛하면 3점을 얻는다. 3점 라인과 바스켓 사이의 거리는 레벨에 따라 다르다. 공이 바스켓을 향해 날아가거나 바로 위에 있는 동안 수비팀이 골텐딩이나 바스켓 방해를 범한 경우에도 슈팅팀에 점수가 부여된다.
농구팀은 자유투로도 득점할 수 있는데, 자유투는 각각 1점을 얻는다. 특정 시나리오에서 상대가 파울을 범한 후 팀에 자유투가 주어진다. 자유투를 하는 선수(보통 파울을 당한 선수)는 자유투 라인 뒤에 두 발을 두고 반대 없이 지정된 수의 슛을 쏠 수 있는 자격이 있다.
바스켓은 내부 직경이 18인치(46cm)인 금속 링으로 구성되어 있으며, 바닥에서 수평으로 10피트(3.0m) 높이에 매달려 있어 링의 중심이 각 사이드라인에서 등거리에 있고 측면에서 5피트 3인치(1.60m) 떨어져 있다. 바스켓 링 아래에는 네트가 부착되어 공의 하향 진행 상황을 간략하게 확인하고 점수를 표시한다. 링은 너비 6피트(1.8m), 높이 3.5피트(1.1m)의 직사각형 백보드에 고정되어 있지만, 낮은 수준의 놀이나 레크리에이션 용도에서는 백보드가 더 작거나 부채꼴 모양일 수 있다. 전체 구조는 뒤에서 지지되며 더 높은 수준의 플레이에서는 엔드 라인 너머 바닥에 고정된다. 구조물은 낮은 플레이 레벨에서는 벽이나 천장에 고정될 수 있다. 링, 네트, 백보드의 전면, 상단, 하단 및 측면은 모두 인바운드로 간주되는 반면, 백보드 후면과 지지 구조물(코트의 인바운드 영역에 매달린 부분도 포함)은 아웃 오브 바운드로 간주된다.
두 럭비 코드 모두 필드 양쪽 끝에 인골 영역이라고 하는 득점 영역과 별도의 H자형 골 구조가 있다. 1차 채점 방식은 트라이이며, 럭비 유니온에서는 5점, 럭비 리그에서는 4점을 받는다. 트라이는 인골 지역에 공을 접지하여 득점된다.
럭비 코드에서는 플레이스 킥이나 드롭킥으로 공을 크로스바 위로 그리고 H자형 골대 기둥 사이로 득점한다. 골 포스트는 골라인(인 골 지역의 최전선) 중앙에 위치한다. 크로스바는 지면에서 3미터(9.8피트) 떨어져 있다. 기둥의 간격은 럭비 리그에서는 5.5m(18피트)이고 럭비 유니온에서는 5.6m(18피트)이다.
득점을 축하하는 것은 흔한 일이다. 이는 일반적으로 득점자가 수행하며 팀 동료, 감독 또는 코칭 스태프 및 팀 서포터가 포함될 수 있다. 일반적으로 골을 축하하는 것을 의미하는 반면, 이 용어는 선수가 셔츠를 벗거나 공중제비를 하는 것과 같은 특정 행동에도 적용될 수 있다.
《빼꼼》은 RG 애니메이션 스튜디오와 시너지미디어에서 만든 대한민국과 중국의 애니메이션 TV 시리즈이다. 5분 내외의 단편으로 구성되어 있다. 2006년 한국교육방송공사에서 처음 방영되었다. 빼꼼은 같은 해에 투니버스와 애니맥스에서도 방영했다. 시즌 3는 2014 소치 동계올림픽을 기념하기 위해 제작됐었다. 이후 중국의 애니메이션 제작사 알파가 인수한 후, 시즌 4부터는 알파가 제작한다.
본편 한정으로 사람 캐릭터들은 미라나 해골을 제외하고 거의 등장하지 않는다.
한국판의 경우 유튜브로는 플레이애니나 플레이키즈에서 전편을 무료로 시청할 수 있었지만 계약 문제 때문인지 현재는 모두 비공개되었다. 해외판은 공식 유튜브 채널이 본작 중국 인수 후까지도 그대로 방치되어 있기에 전편을 문제없이 시청할 수 있다.
1화:스카이다이빙
2화:외계인과의 만남
3화:헬스클럽
4화:빙벽타기
5화:복수혈전
6화:다이빙
7화:익스트림 스포츠
8화:스키타기
9화:산행
10화:꽃을 살려라
11화:자동차 여행
12화:스쿠버다이빙
13화:무인도
14화:자판기
15화:쥐잡기
16화:야구
17화:그네타기
18화:TV보기
19화:볼링
20화:회전문
21화:자동차 경주
22화:카트
23화:농구
24화:골프
25화:박물관에서
26화:경비원
27화:풍선, 사진찍기
28화:나방의 꿈
29화:피자배달
30화:외발자전거
31화:감옥탈출
32화:자다가 생긴 일
33화:저주의 펜던트
34화:잠자기
35화:소매치기
36화:투우
37화:기찻길
38화:모터보트
39화:슈퍼마켓
40화:멧돼지
41화:로봇 1
42화:바퀴벌레 1
43화:로봇 2
44화:꼴통
45화:집 떠나기
46화:산악 마라톤
47화:오아시스
48화:외계인과의 만남 2
49화:운수 좋은 날
50화:창문닦기
51화:보물찾기
52화:바퀴벌레 2
괄호 안은 플레이애니에서 사용한 제목이다. 유일하게 잔디깎기 편만 제목이 다르다.
1화:오케스트라, 무료입장(공짜입장)
2화:채플린 빼꼼(찰리빼꼼), 도도 구하기
3화:크리스마스, 검도
4화:부메랑, 번지점프 1
5화:마술램프, 조립라인
6화:인라인 스케이트, 스케이트보드
7화:헬스클럽 2, 다이어트
8화:마술사, 기부하기
9화:동물원, 포토부스
10화:번지점프 2, 복싱
11화:낚시, 신문 배달
12화:보이스카우트 1, 외나무다리
13화:열기구, 성화봉송
14화:스케이트, 스쿠버다이빙 2
15화:축구, 포켓볼
16화:오페라/지하철, 놀이공원 1
17화:사과도둑, 놀이공원 2
18화:화석(고생물), 엘리베이터
19화:생일, 연날리기
20화:식충식물(식빵식물), 잔디깎기(잔디깍기)
21화:TV보기 2, 원숭이 숲
22화:사우나, 공사장(공사현장)
23화:달나라여행, 보이스카우트 2
24화:신호등, 유령의 집
1화:탁구, 에어로빅, 수영, 윈드서핑
2화:경기장 가는 길, 스키, 핸드볼, 해머 던지기
3화:배드민턴, 마라톤 2, 펜싱, 펠로타
4화:스키 2, 장대 높이뛰기, 창던지기, 역도
5화:양궁, 가라데, 패들 테니스, 스포츠 기자
6화:경보, 모터 레이싱, 체스, 골볼
7화:농구 2, 실내축구, 철인3종 경기, 높이뛰기
8화:마장마술, 리듬체조, 마라톤 3, 럭비
9화:단거리 경주, 스노우보드, 테니스 2, 하키
10화:축구 2, 비치 발리볼, 모터사이클, 올림픽 경기장
11화:기계체조, 테니스 3, 휠체어 농구, 유도
12화:경보 2, 산악 자전거, 카누, 패러글라이딩
13화:멀리뛰기, 농구 3, 사이클, 요트경기
파일럿판.
빼꼼이 사망한 에피소드일 경우 마지막에 나오는 RG 애니메이션 스튜디오의 로고 배경에서 헤일로를 머리에 단 채 뛰어간다.
빼꼼의 만행 목록.
※ 빼꼼이 저지른 만행 중 정도가 엄청날 경우에는 볼드체로 표기합니다.
※ 유튜브 플레이애니 채널에 업로드되었던 화수순으로 작성합니다.
에피소드별 삽입곡.
2기에서만 나온다. 코미디 애니메이션이라 일부 에피소드에서는 연주 방식도 코미디스럽다. 해외판에서는 나오지 않는다.
람다 대수(λ代數, ) 또는 λ-대수 또는 람다 계산(λ計算) 또는 람다 계산법(λ計算法)은 추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계이다. 람다 대수의 항은 변수와 추상화 및 적용 연산을 통해 구성되며 (비순수 람다 대수에서는 상수 역시 구성에 참여한다), 추상화의 기호로는 그리스 문자 람다(λ)가 사용된다. 람다 대수의 항들에 대하여 알파 동치와 베타 축약 등의 연산을 수행할 수 있다. 알파 동치는 제한 변수를 변경하는 변환으로서 이름 충돌을 방지하기 위해 사용되며, 드 브루인 첨수를 사용할 경우 이는 필요 없다. 베타 축약은 함수 적용을 적절한 치환 연산 결과로 대신하는 변환이며, 베타 축약에 대한 주어진 항의 표준형이 (존재할 경우) 알파 동치 아래 유일하다는 사실은 처치-로서 정리의 따름정리이다.
1930년대 알론조 처치가 수학기초론을 연구하는 과정에서 람다 대수의 형식을 제안하였다. 최초의 람다 대수 체계는 논리적인 오류가 있음이 증명되었으나, 처치가 1936년에 그 속에서 계산과 관련된 부분만 따로 빼내어 후에 유형 없는 람다 대수라고 불리게 된 체계를 발표하였다. 또한 1940년에는 더 약한 형태이지만 논리적 모순이 없는 단순 유형 람다 대수를 도입하였다.
람다 대수는 튜링 완전성을 만족시키며, 보편 튜링 기계와 동치이다. 람다 대수는 프로그래밍 언어 이론에서 중요한 역할을 하며, 리스프를 비롯한 함수형 프로그래밍 언어의 기반이 된다. 람다 대수는 그 밖에도 논리학, 철학, 언어학, 컴퓨터 과학 등의 여러 분야에서 응용된다.
람다 대수는 수학자 알론조 처치에 의해 수학기초론 연구의 일환으로 1930년대 소개됐다. 최초의 시스템은 스티븐 클레이니와 존 버클리 로서가 클리네-로저 역설을 제창하면서 1935년 논리적 모순을 보이기 위해 도입됐다.
그 후인 1936년 처치는 독립적으로 현재에는 유형 없는 람다 대수라고 불리는 계산에 관련한 부분을 출판했다. 1940년, 그는 또한 계산적으로는 떨어지지만 논리적으로 무결한 시스템을 공개했다. 이것이 단순 유형 람다 대수이다.
1960년대에 람다 대수와 프로그래밍 언어의 관계가 명확히 밝혀지기 전까지는 λ-대수는 단지 형식주의 (formalism)일 뿐이었다. 리처드 몬터규와 언어학자들이 λ-대수를 자연어(natural language)의 의미론에 적용한 덕에, λ-대수는 언어학과 컴퓨터 과학 양쪽 분야에서 인정받는 위치를 차지했다.
함수의 표현.
함수는 컴퓨터 과학과 수학의 기초를 이루는 개념이다. 람다 대수는 함수를 단순하게 표현할 수 있도록 하여 '함수의 계산'이라는 개념을 더 깊이 이해할 수 있게 돕는다.
예를 들어 항등 함수 formula_1는 하나의 입력 formula_2를 받아 다시 formula_2를 결과로 내놓는다고 하자. 한편 함수 formula_4는 입력 formula_2와 formula_6를 받아 두 수의 제곱의 합을 내놓는다고 하자. 이 두 예제로부터 세 가지 유용한 사실을 알 수 있다.
formula_18formula_19formula_20
핵심 개념.
추상화: formula_21는 단일 입력 formula_2를 받아 formula_23의 표현으로 치환하는 익명의 함수를 지칭한다. 예를 들어 formula_24는 함수 formula_25의 람다 추상화이다. 람다 추상화를 통해 함수를 정의한다는 것은 함수를 정의하기만 하고 함수를 수행(호출)하지는 않는다는 것을 의미한다. 람다 추상화를 통해 변수 formula_2는 표현 formula_23에 속박된다.
자유 변수: 자유 변수(free variable)는 람다 추상화를 통해 표현에 묶이지 않은 변수를 말한다. 자유 변수의 집합은 귀납적으로 정의된다.
예를 들어, formula_38에는 자유 변수가 없지만, formula_39에는 자유변수가 formula_6 하나이다.
람다 대수의 언어는 변수, 상수, 람다 기호, 괄호, 온점으로 구성된다. 변수와 상수는 (후술할) 람다 항의 기초 구성원들이며, 람다 항에 등장하는 자유 변수는 (이후 정의할) 치환 연산을 통해 다른 람다 항으로 치환될 수 있다. 람다 기호는 (후술할) 추상화 연산을 나타내는 기호이다. 괄호와 온점은 이론적으로는 불필요하지만, 여러 가지 편의를 위해 사용된다. 구체적으로, 다음과 같은 데이터가 주어졌다고 하자.
람다 항(λ項, )은 변수와 상수들로부터 시작하여 유한 차례 적용 및 추상화를 가하여 얻는, 람다 대수 기호들의 문자열이다. 즉, 이는 다음과 같은 문법을 따른다.
괄호 사용을 줄이기 위해 단순히 formula_64은 formula_65을 나타내고, formula_66은 formula_67을, formula_68 (또는 formula_69)은 formula_70을 나타내는 데 사용할 수 있다. 예를 들어, 변수 formula_2, formula_6, formula_73에 대하여,
자유 변수와 제한 변수.
람다 항에 등장하는 변수들은 자유 변수(自由變數, )와 제한 변수(制限變數, )로 분류된다. 람다 항 formula_54과 변수 formula_2에 대하여, 만약 formula_54에 등장하는 모든 formula_2가 formula_54 속 formula_81과 같은 꼴의 부분 람다 항에 등장한다면 formula_2는 제한 변수이며, 만약 적어도 한 formula_2가 formula_81과 같은 꼴의 부분 람다 항에 등장하지 않는다면 formula_2는 자유 변수이다. 즉, 람다 항 formula_54의 자유 변수의 집합 formula_87는 formula_54의 구조에 따라 다음과 같이 재귀적으로 정의된다.
람다 항 formula_54에 등장하는 변수 가운데 자유 변수가 아닌 것들을 formula_54의 제한 변수라고 한다. 자유 변수를 갖지 않는 람다 항을 닫힌 람다 항(닫힌λ項, )이라고 한다.
예를 들어, 변수 formula_2, formula_6, formula_73에 대하여,
의 자유 변수의 집합은 formula_105이며, 제한 변수의 집합은 formula_106이다.
치환.
주어진 람다 항에 등장하는 자유 변수를 또 다른 람다 항으로 치환(置換, )하는 연산을 정의할 수 있다. 치환 연산의 정의는 자연스러우며, 다만 원래 람다 항의 의미가 변질되는 경우에는 알파 변환이 선행되어야 한다 (이는 아래 네 번째 조건의 세 번째 경우에 해당한다). 구체적으로, 람다 항 formula_54, formula_55 및 변수 formula_2에 대하여, formula_2를 formula_55으로 치환한 formula_54의 치환 실례(置換實例, ) formula_113는 formula_54의 구조에 따라 다음과 같이 재귀적으로 정의된다.
알파 동치.
알파 동치(α同値, )는 제한 변수 변경을 통해 주어진 람다 항을 새로운 람다 항으로 변환하는 방법이다. 람다 항 formula_54이 부분 람다 항 formula_126를 가질 경우, 이를 formula_127의 자유 변수가 아닌 변수 formula_6에 대하여 formula_129로 바꾸면 새로운 람다 항을 얻는다. 이와 같은 과정을 유한 번 거듭하여 람다 항 formula_55를 얻을 경우, 두 람다 항 formula_54, formula_55이 서로 알파 동치라고 하며, formula_133라고 표기한다.
베타 축약.
베타 축약(β縮約, )은 추상화된 함수의 적용을 적절한 치환 실례로 바꾸는 것을 통해 람다 항을 변환하는 방법이다. 람다 항 formula_54가 부분 람다 항 formula_136를 가질 경우, 이를 formula_137로 대신하여 새로운 람다 항 formula_55를 얻을 수 있다. 이 경우 formula_139이라고 표기한다. 두 람다 항 formula_54, formula_55이 다음 조건을 만족시키면, formula_55이 formula_54의 베타 축약이라고 하며, formula_144이라고 표기한다.
두 람다 항 formula_54, formula_55에 대하여, 다음 두 조건이 서로 동치이며, 이를 만족시키는 formula_54, formula_55을 서로 베타 동치(β同値, )라고 하며, formula_153이라고 표기한다.
람다 항 formula_55이 formula_136와 같은 꼴의 부분 람다 항을 가지지 않는다면, formula_55을 베타 표준형(β標準型, )이라고 한다. 베타 표준형 formula_55이 람다 항 formula_54의 베타 축약이라면 (즉, formula_144이라면), formula_55을 formula_54의 베타 표준형이라고 한다. 처치-로서 정리에 따라, 주어진 람다 항의 베타 표준형이 존재할 경우, 이는 (알파 동치를 무시하면) 유일하다.
formula_169이 음이 아닌 정수의 집합이라고 하자.
산술의 표현.
μ-재귀 함수의 표현.
μ-재귀 함수는 람다 대수의 언어를 사용하여 표현할 수 있다. 즉, 임의의 부분 재귀 함수 formula_174에 대하여, 다음 두 조건을 만족시키는 람다 항 formula_175가 존재한다. (여기서 formula_176는 점을 가진 집합이다.)
진양 하씨(晋陽 河氏 또는 晋州 河氏)는 경상남도 진주시를 본관으로 하는 한국의 성씨이다. 시조는 하공진(河拱辰), 하진(河珍), 하성(河成)의 세 계통으로 알려졌으나, 하성의 계대가 1828년 순조 28년에 발간된 사직공파&lt;진양하씨세보 무자보&gt;가 발굴되어 사직공파의 계보로 밝혀졌다. 오늘날 진주 하씨로도 통용되고 있다.
진양 하씨는 백제시대 부터 존속한 성씨라고 한다. 통일신라말과 고려개국 당시 부터 진주(진양)지방의 영향력을 행사하던 토착세력인 호족이었다. 고려개국 당시협력하여 태조 왕건으로부터 토성을 분정받았다. 진양 하씨는 고려초기 부터 재경관인과 재지세력으로 분화 되어 활동하였고 일부인물들은 고려말기 학문적 소양을 갖추어 성리학을 기반으로 한 신진사대부 대열에 합류하기도 한다. 조선 문종 2년 1451년에는 경태보가 편찬되었다. 이는 국내에서 가장오래된 안동권씨 성화보 보다 25년이 앞서고 세종 2년 1423년 편찬된 문화류씨 영락보에 이어 두번째 오래된 족보이지만 임진왜란 당시 소실되어 현재는 세보서문만 국립중앙전자도서관에 남아 있다. 이에 다시 1606년 진양하씨세보를 발행하고 숙종 46년 1719년 기해보를 출간한다. 진양 하씨는 영남지역에서 학문적 성과를 이룬 학자들을 많이 배출하였다.
사직공파는 고려말 하즙, 하윤원, 하유종 3대에 걸쳐 봉군 작위를 부여받았다. 또한 하즙, 하윤원, 하자종, 하연에 이르기까지 여말선초 4대에 이르러 재상직을 배출한다. 고려 공양왕의 3녀인 경화궁주와 결혼한 부마 강회계의 외조부가 하즙이다. 하자종의 딸은 덕수이씨 춘당공 이양(1367~1447)에게 출가하였는데 율곡 이이 6대조가 된다. 또한 하위지는 사육신의 한 사람으로서 아버지 하담이 문과급제 하고 아들 하강지, 하위지, 하기지 3형제가 문과에 급제하여 당대 사람들로 부터 찬사를 받았다. 하위지는 세종의 총애를 받아 사가독서를 하고 집현전에서 왕을 보좌하며 많은 업적을 남겼다. 여러 관직을 두루 거쳐 예조참판에 이르러 단종복위 계획이 탄로나 아버지와 아들, 형제들까지 모두 처형된다. 그리고 사직공파에서는 세종. 문종 대에 정승을 역임한 종묘배향공신 영의정 하연이 대표적인 인물이다. 하연은 국구 심온의 사위인 강석덕의 이모부이며 차남 하제명은 소헌왕후 심씨의 사촌인 심석준(심온의 형 심징의 아들)의 사위이다. 당대 명문가를 이루었고 청백리와 승평수문의 재상으로 평가받는다. 하연은 후손들에게는 정계진출을 삼가하고 학문과 농사일에만 전념하도록 유언하였다.
시랑공파는 하공진 순국 후 300년 동안 그 후손들이 고려조에 공신 대우를 받아 4대 현손에 이르기까지 관직을 제수받게 된다. 고려 충선왕(1308년) 교지에도 그 후손들을 특별한 대우를 하라고 명시되어 있다. 고려조에는 하탁회, 하정재, 하남수,하소를 비롯하여 하소의 아들인 하호, 하부 하부심 3형제가 문과급제를 하여 조정으로부터 양친이 전곡을 하사받았다. 이처럼 5대 걸쳐 문과급제자를 배출한다. 그리고 조선초 무관으로서 명성을 떨친 하경복, 하한, 하숙보는 3대에 이어 고위 무관관료를 거쳐 중추원의 재상직에 임명되었고 조정으로부터 시호를 추서받았다. 시랑공파에서는 조선 태종 대에 국가의 초석을 다지는데 공헌한 종묘배향공신 영의정 하륜이 대표적인 인물이다. 그는 권문세족인 이인복, 이인임의 조카사위이기도 하다. 고려말 최고의 학자이자 관료였던 목은 이색의 손녀인 한산 이씨(장남 이종덕의 딸)가 하륜의 며느리가 된다. 그리고 하륜의 누이는 직제학 류극서의 처인데 태조의 8남 이방석의 세자빈 현빈 심씨(심효생의 자)에게 외숙모이다.
진양 하씨는 고려초기 부터 출사하여 드러나지 않게 다방면에서 활동을 하였다. 진주에서는 충,효,절의로서 명성이 높다. 그런데 계유정난 후 하위지가 단종복위를 위한 사육신 사건에 연루되어 집안이 큰 화를 입게되자 진양 하씨는 중앙정계의 진출을 지양하고 후진양성과 학문탐구에 비중을 두었다. 문효공 하연 계열의 후손들이 번영하여 진양(진주)하씨의 과반수 이상을 차지하고 있다. 진양 하씨와 관련한 상당수의 문화재는 진주시를 중심으로 인근지역에 주로 산재 해 있고 국립진주박물관, 경상국립대 박물관에도 기증되어 있어 관람할 수 있다. 진양 하씨는 과거에는 관향인 경남지역에 많이 거주였으나, 현재는 70%% 이상이 타 지역에 분포되어 있다.
종문 계파.
시랑공파(侍郞公波).
진양 하씨는 조선시대 종묘배향공신 하륜(河崙)과 하연(河演) 2명, 상신 2명(하륜, 하연), 대제학 1명(하연), 청백리 1명(하연), 문과급제자 45명, 무과급제자 88명을 배출하였다.
후손 인물.
LG 그룹 창업주 구인회 회장의 어머니는 하근 여사이며 2대회장 구자경 회장의 배우자이자 구본무 회장의 어머니는 하정임 여사이다. 그리고 효성그룹 창업주 조홍제 회장의 배우자이자 조석래 회장이 어머니 하정옥 여사이다. 두 재벌가의 외가집이 진주지역의 대부호가로서 진양(진주)하씨 집안이다.