Blaze7451/Wiki-ko-20250601 huggingface dataset:
소프트웨어 회귀

소프트웨어 회귀(software regression)는 이전에는 작동했던 기능이 작동을 멈추는 소프트웨어 버그의 일종이다. 이는 새로운 기능의 추가 및 버그 수정을 포함하여 소프트웨어의 소스 코드에 변경 사항이 적용된 후에 발생할 수 있다. 또한 시스템 업그레이드, 시스템 패치 또는 일광 절약 시간제 변경과 같은 소프트웨어가 실행 중인 환경의 변경으로 인해 발생할 수도 있다. 소프트웨어 성능 회귀(software performance regression)는 소프트웨어가 여전히 올바르게 작동하지만 이전보다 더 느리게 수행되거나 더 많은 메모리나 자원을 사용하는 상황을 말한다. 실제로 다음과 같은 다양한 유형의 소프트웨어 회귀가 확인되었다:- 로컬 – 변경된 모듈 또는 구성 요소에 새로운 버그가 발생한다.- 원격 – 소프트웨어의 한 부분이 변경되면 다른 모듈이나 구성 요소의 기능이 손상된다.
회귀는 종종 소프트웨어 패치에 포함된 포괄적인 버그 수정으로 인해 발생한다. 이러한 종류의 문제를 방지하는 방법 중 하나는 회귀 테스트이다. 적절히 설계된 테스트 계획은 소프트웨어를 출시하기 전에 이러한 가능성을 방지하는 것을 목표로 한다. 자동화된 테스트와 잘 작성된 테스트 케이스를 통해 회귀의 가능성을 줄일 수 있다.

**예방과 감지**
다음과 같이 다양한 개발 단계에서 회귀가 소프트웨어에 발생하는 것을 방지하기 위한 기술이 제안되었다.

**출시 이전**
최종 사용자에게 릴리스 후 회귀가 나타나는 것을 방지하기 위해 개발자는 소프트웨어에 변경 사항이 적용된 후 회귀 테스트를 정기적으로 실행한다. 이러한 테스트에는 로컬 회귀를 포착하기 위한 단위 테스트와 원격 회귀를 포착하기 위한 통합 테스트가 포함된다. 회귀 테스트 기술은 종종 기존 테스트 케이스를 활용하여 만드는 데 수반되는 노력을 최소화한다. 그러나 이러한 기존 테스트의 양으로 인해 테스트 케이스 우선 순위 지정과 같은 기술을 사용하여 대표적인 하위 집합을 선택해야 하는 경우가 많다.
성능 회귀를 감지하기 위해 소프트웨어 성능 테스트를 정기적으로 실행하여 후속 변경 후 소프트웨어의 응답 시간 및 자원 사용량 메트릭을 모니터링한다. 기능 회귀 테스트와 달리 성능 테스트의 결과는 분산의 영향을 받는다. 즉, 성능 측정의 분산으로 인해 테스트 간에 결과가 다를 수 있다. 성능 수치의 변화와 최종 사용자의 요구에 따라 회귀에 해당하는지 여부를 결정해야 한다. 이 결정을 돕기 위해 통계적 가설 검정과 변경점 감지와 같은 접근 방식이 사용되기도 한다.

**커밋 이전**
소프트웨어 회귀의 근본 원인을 디버깅하고 국소화하는 것은 비용이 많이 들 수 있기 때문에, 애초에 회귀가 코드 저장소에 커밋되지 않도록 하는 몇 가지 방법들도 존재한다. 예를 들어 깃 훅을 사용하면 개발자가 코드 변경 사항을 커밋하거나 코드 리포지토리에 푸시하기 전에 테스트 스크립트를 실행할 수 있다. 또한, 코드 변경이 프로그램의 다양한 구성 요소에 미치는 영향을 예측하고, 테스트 케이스 선택 및 우선 순위 지정을 보완하기 위해 변경 영향 분석이 소프트웨어에 적용되었다. 또한 소프트웨어 린터는 일관된 코딩 스타일을 보장하기 위해 커밋 훅에 추가되는 경우가 많아 소프트웨어가 회귀하기 쉬운 스타일 문제를 최소화한다.

**국소화**
비회귀 소프트웨어 버그의 근본 원인을 찾는 데 사용되는 많은 기술들인 브레이크포인트 디버깅, 프린트 디버깅, 프로그램 슬라이싱 등은 소프트웨어 회귀 디버깅에도 사용할 수 있다. 아래에 설명된 기술은 종종 소프트웨어 회귀를 디버그하는 데에도 사용된다.

**기능적 회귀**
기능 회귀를 국소화하는 데 사용되는 일반적인 기술은 버그가 있는 커밋과 이전에 작업한 커밋을 모두 입력으로 사용하고 그 사이의 커밋에 대해 이진 검색을 수행하여 근본 원인을 찾으려 하는 이분법이다. 깃과 머큐리얼과 같은 버전 관리 시스템은 주어진 커밋 쌍에 대해 이분법을 수행할 수 있는 기본 제공 방법을 제공한다.
다른 옵션으로는 회귀 테스트 결과를 코드 변경과 직접 연관시키는 것, 분기 중단점을 설정하는 것, 코드 변경과 관련된 테스트 케이스(실패한 것을 포함)를 식별하는 증분 데이터 흐름 분석을 사용하는 것 등이 있다.

**성능 회귀**
프로파일링은 프로그램의 다양한 구성 요소의 성능과 자원 사용량을 측정하며 성능 문제를 디버깅하는 데 유용한 데이터를 생성하는 데 사용된다. 소프트웨어 성능 회귀의 맥락에서 개발자는 버그가 있는 버전과 이전에 작동하던 버전 모두에 대해 프로파일러에서 생성된 호출 트리("타임라인"이라고도 함)를 종종 비교하며 이러한 비교를 단순화하는 메커니즘이 있다. 웹 개발 도구는 일반적으로 개발자에게 이러한 성능 프로필을 기록할 수 있는 기능을 제공한다.
로깅은 또한 성능 회귀 국소화에 도움이 되며 호출 트리와 유사하게 개발자는 동일한 소프트웨어의 여러 버전에 대해 체계적으로 배치된 성능 로그를 비교할 수 있다.
이러한 성능 로그를 추가할 때 절충점이 존재하는데, 많은 로그를 추가하면 개발자가 소프트웨어의 어느 부분이 더 작은 단위에서 회귀하는지 정확히 찾아내는 데 도움이 될 수 있지만 몇 개의 로그만 추가하면 프로그램 실행 시 오버헤드가 감소할 수 있기 때문이다. 추가적인 접근 방식에는 국소화에 도움이 되는 성능 인식 단위 테스트 작성 및 성능 카운터 편차를 기준으로 하위 시스템 순위 지정 등이 있다. 또한 이분법은 성능 회귀를 위해 특정 기준 값 이하(또는 그 이상)를 수행하는 커밋을 버그가 많은 것으로 간주하고 이 비교 결과에 기초하여 커밋의 왼쪽 또는 오른쪽을 취하는 것으로 사용할 수도 있다.

**같이 보기**
 소프트웨어 부패- 소프트웨어 노화

**각주**
분류:소프트웨어 버그
오스트리아의 사법부

파일:Hans Kelsen BustVerfassungsgerichtshof Wien 02.jpg|섬네일|200px|오스트리아의 사법체계는 한스 켈젠의 사상에 영향을 받았다.
오스트리아의 사법부(Judikative in Österreich, Judiciary of Austria)는 오스트리아 연방정부에서 사법권을 행사하는 기관들의 체계를 의미한다. 
오스트리아는 연방제 국가이지만 연방정부가 아닌 주(州, Länder)정부 수준에서는 사법권을 행사하지 못한다. 오스트리아는 세계에서 헌법재판을 전담할 별도의 헌법재판소를 일반법원 체계와 분리하여 설립한 최초의 국가 중 하나로, 법학자 한스 켈젠의 사상에 많은 영향을 받은 것으로 알려져 있다.

**개요**
오스트리아의 사법부는 사건의 관할에 따라 일반법원, 행정법원 그리고 헌법재판소로 나뉘어 있다. 헌법재판소를 제외한 나머지 법원들은 산하에 제1심, 항소심을 담당하는 하급법원들을 두어 일반적으로 3심제를 실시하고 있으나, 헌법재판소는 단일법원으로 설치되어 있다. 오스트리아 헌법은 최고법원들에 근무할 최고법관의 수를 예정하지 않은 채 법률에 규정하도록 위임하고 있으며, 예산, 인사에 관한 사법행정권은 오스트리아 연방 법무부에 속해 있다. 한편으로 헌법 제90조의a에 따라 검찰이 사법기관(Organe der Gerichtsbarkeit)으로서 사법부에 속한 것으로 여겨진다.
오스트리아의 연방헌법은 독일, 프랑스와 달리 공식적으로 '사법'을 제목으로 하는 장을 두고 있지 않다는 것이 특징이다. 오스트리아는 '연방의 집행(Vollziehung des Bundes)'을 제목으로 하는 헌법 제3장 B절에서 '일반재판(Ordentliche Gerichtsbarkeit)'이라는 제목 하에 일반법원을 규정하고, '헌법과 행정의 보장(Garantien der Verfassung und Verwaltung)'을 제목으로 하는 제8장 A절에서 '행정사건의 관할(Verwaltungsgerichtsbarkeit)'이라는 제목 아래 행정법원을 규정하며, 같은 제8장 B절에서 '헌법사건의 관할(Verfassungsgerichtsbarkeit)'이라는 제목 아래 헌법재판소를 규정하고 있다. 이에 따라 오스트리아의 일반법원 중 최고법원인 최고재판소, 행정법원 중 최고법원인 최고행정재판소, 헌법재판소 중 최고법원인 헌법재판소 세 개 모두가 사법부에서 동등한 최고법원을 이루고 있는 것으로 평가된다. 

**구성 == 
일반법원 하급심 법관들은 법관연수생으로 선발되어 약 4년의 경력을 쌓은 사람들 중에 각 법원 인사위원회의 추천을 거쳐 연방대통령에 의해 임명되고, 행정법원 하급심 법관들은 약 5년의 법조경력이 있는 사람들 중에서 각 법원 판사 전원으로 구성된 전원회의의 추천을 거쳐 연방대통령에 의해 임명된다. 각 최고법원의 법관 역시 일반법원의 경우 인사위원회, 행정법원의 경우 전원회의의 추천을 거쳐 임명된다. 다만 헌법재판소의 법관은 예비법관 등을 포함하여 정부가 추천을 하게 된다. 모든 법관들은 임기에 제한이 없으나 정년이 있다. 헌법재판소 법관의 정년은 70세이고, 나머지 모든 법관들의 정년은 65세이다.

**조직**
오스트리아의 최고법원은 아래의 3개로 구성되어 있다. 최고일반재판소와 최고행정재판소는 하급심 법원을 두고 있으나 헌법재판소는 단심제를 실시하는 단일법원으로써 하급심 법원이 없다.- 최고일반재판소(Oberster Gerichtshof) : 민사, 형사사건을 관할하는 일반법원의 최고법원. 산하에 노동, 상사, 공정거래 사건에 관한 하급심 전문법원들을 두고 있다. 단순히 오스트리아 대법원이라고도 번역된다. 최고재판소에는 약 60명의 법관이 근무하고, 최고재판소 인사위원회의 제안에 따라 연방대통령이 최고재판소 법관을 임명한다. 지역별로 자체적인 하급심 법원을 두어 3심제를 실시하고 있으며, 일반법원의 하급심 판사들은 각 지역 고등법원(Oberlandesgerichte, High regional court)의 장이 추천한 후보 중에서 연방법무부장관이 임명한다.- 최고행정재판소(Verwaltungsgerichtshof) : 행정법원의 최고법원. 산하에 재정 사건에 관한 하급심 전문법원을 두고 있다. 최고행정재판소에는 약 60여명의 법관이 근무하며 사건에 따라 약 5명으로 구성된 재판부로 나뉘어있다. 단순히 오스트리아 행정법원 또는 행정최고법원이라고도 번역된다. 최고행정재판소의 법관은 최고행정재판소 전원회의 등의 추천에 따라 연방대통령이 임명한다. 오스트리아는 전통적으로 모든 행정쟁송을 법원에서 다루는 행정소송이 아닌 독립행정위원회(Unabhängiger Verwaltungssenat, UVS)가 주관하는 행정심판으로 진행하였으며 행정심판에 대한 불복은 단일법원인 최고행정재판소에서 단심제로 처리해왔다. 그러나 2012년에 들어 국민의 기본권 보장을 강화할 필요가 제기되었고, 이에 따라 제1심 행정법원이 신설됨으로써 현재 오스트리아의 행정법원은 지역별로 자체적인 제1심 법원만을 두는 2심제를 실시하고 있다.- 헌법재판소(Verfassungsgerichtshof) : 헌법재판을 관할하는 최고법원. 법학자 한스 켈젠의 영향을 받아 일반법원과 분리된 별도의 헌법재판소를 둔 최초의 사례들 중 하나에 해당한다. 오스트리아 헌법재판소는 산하에 하급심 법원이 없는 단일법원으로서, 소장, 부소장을 제외한 12명의 법관, 6명의 예비법관이 있다. 헌법재판소 법관은 의회의 양원 및 연방정부의 제청으로 연방대통령이 임명한다. 연방정부는 소장, 부소장 및 6명의 법관과 3명의 예비법관을 제청할 수 있으나, 제청할 수 있는 대상은 현직 판사로 한정된다. 의회의 상원은 3명의 법관과 1명의 예비법관을, 하원은 3명의 법관과 2명의 예비법관을 제청할 수 있고 제청대상은 10년 이상의 법조경력이 있는 사람이라면 누구나 가능하다. 오스트리아 헌법재판소는 독일과 달리 재판에 대한 헌법소원, 즉 재판소원(Urteilsverfassungsbeschwerde)을 허용하지 않는다.

**각주**

**같이 보기**
 사법부- 한스 켈젠- 헌법재판소
분류:사법부
분류:오스트리아의 정치
바리그 967편 실종 사건

바리그 967편 실종 사건은 1979년 1월 30일 바리그 브라질 항공의 화물기가 원인불명의 이유로 태평양에서 실종된 사건이다. 일본 나리타 국제공항을 출발해 미국 로스앤젤레스 국제공항을 경유, 브라질 리우데자네이루 갈레앙 국제공항으로 날아가던 항공기였으나 미국으로 건너가는 과정에서 실종되었다. 당시 승무원 6명이 탑승하고 있었으며 실종기와 승무원의 흔적이 모두 발견되지 않았다.

**배경**

**사고기**
사고기는 보잉 707-323C 기종으로 제작번호 19235, 라인번호 519에 1966년 7월 31일 아메리칸 항공 소속 N7562A로 등록되었다. 처음에는 아메리칸 항공의 화물배송 자회사에서 운영하다가 1974년 바리그 카고 (Varig Cargo)로 매각되어 PP-VLU로 재등록됐다. 프랫 & 휘트니 JT3D-3B 엔진 4개를 탑재하였다.

**승무원**
사고기에 탑승한 승무원은 기장 지우베르투 아라우주 다 시우바 (Gilberto Araújo da Silva, 55세), 부기장 이르니 페이쇼투 밀리우스 (Erni Peixoto Mylius, 45세), 항공기관사 안토니우 브라질레이루 다 시우바 네투 (Antonio Brasileiro da Silva Neto, 39세), 이방 브라가 사운데르스 (Evan Braga Saunders, 37세), 항공엔지니어 조제 세베리누 구즈망 지 아라우주 (José Severino Gusmão de Araújo, 42세), 니콜라 이스포지투 (Nicola Exposito, 40세)로 총 6명이었다.
아라우주 다 시우바 기장은 1973년 바리그 브라질 항공 820편의 기장이었으며, 당시 승객 134명을 태우고 파리 오를리 공항에 착륙하다 지면에 충돌하여 승객과 승무원 123명이 사망했다. 1979년 실종 사고 당시 시우바 기장의 비행기록은 23,000시간에 달했다.

**실종 사건**
1979년 1월 30일 바리그 967편이라는 이름으로 나리타 국제공항을 출발해 경유지 로스앤젤레스 공항을 거쳐 리우데자네이루 갈레앙 국제공항으로 향하던 PP-VLU기가 태평양 상공에서 자취를 감추었다.
당시 바리그 967편은 20시 23분 나리타 국제공항을 이륙하였으며 마지막 항공교신은 20시 45분에 이루어졌다. 다음 교신 시각은 21시 23분일 것으로 예상되었으나 교신은 이루어지지 않았다. 교신이 끊긴 시점에서 마지막으로 남긴 위치는 도쿄에서 약 200km 떨어진 해역이었다.
사고기에는 도쿄 특별전을 마치고 고국으로 이송되던 일본계 브라질인 화가 마나부 마베의 작품 53점이 실렸으며 그림의 가치는 약 124만 달러에 달했다. 이 그림들은 물론 항공기의 잔해물이나 승무원의 시신도 끝내 발견되지 않았다.

**같이 보기**
 실종기 목록- 1948년 에어본 트랜스포트 DC-3편 실종 사건- 플라잉 타이거 항공 739편 실종 사건- 말레이시아 항공 370편 실종 사건

**각주**
분류:1979년 1월
분류:보잉 707 기종의 항공 사고
분류:1979년 항공 사고
분류:원인 불명의 항공 사고
분류:실종기
분류:1979년 일본
플레처 헨더슨

플레처 헨더슨(Fletcher Henderson, 1897년 12월 18일 ~ 1952년 12월 29일)은 미국의 피아니스트, 밴드리더, 편곡가, 작곡가로, 빅밴드 재즈와 스윙 음악의 발전에 중요한 역할을 했다. 그는 듀크 엘링턴과 함께 재즈 역사상 가장 영향력 있는 편곡가이자 밴드 리더 중 한 명으로 여겨진다. 헨더슨의 영향력은 엄청났다. 그는 딕시랜드와 스윙 시대 사이의 간극을 메우는 것을 도왔다. 그는 종종 "스맥" 헨더슨(입술로 내는 소리 때문에)으로 알려져 있었다.

**생애**
제임스 플레처 해밀턴 헨더슨은 미국 조지아주 커스버트에서 태어났다. 그는 아프리카계 미국인 중산층 가정에서 자랐다. 그의 아버지인 플레처 해밀턴 헨더슨(1857년 ~ 1943년)은 1880년부터 1942년까지 하워드 사범 랜돌프 학교의 교장을 지냈다. 현재 플레처 헨더슨 하우스로 알려진 그의 집은 역사적인 장소이다. 선생님인 그의 어머니는 그와 그의 동생 호레이스에게 피아노를 가르쳤다. 그는 6살 때 레슨을 시작했다. 그의 아버지는 몇 시간 동안 연습하기 위해 가끔 플레처를 방에 가두곤 했다. 13세가 되었을 때 헨더슨은 음악을 읽고 음조를 감지하는 예리한 능력을 가졌다. 그는 어머니와 함께 공부를 계속했고, 나아가 유럽 미술에 대한 레슨에 몰두했다.

**사망**
헨더슨은 1950년 뇌졸중으로 쓰러져 부분 마비가 되어 피아니스트로서의 경력을 끝냈다. 그는 55번째 생일 11일 후인 1952년 뉴욕에서 사망했다.

**각주**

**외부 링크**
  Fletcher Henderson Profiles in Jazz by Scott Yanow-  Fletcher Henderson 1897-1952 Red Hot Jazz Archive- 1787-  Fletcher Henderson recordings at the Discography of American Historical Recordings.
분류:1897년 출생
분류:1952년 사망
분류:미국의 재즈 피아노 연주자
분류:미국의 재즈 작곡가
분류:미국의 편곡가
분류:아프리카계 미국인
분류:아프리카계 미국인 음악가
분류:뉴욕 출신 음악가
분류:조지아주 출신 음악가
분류:컬럼비아 레코드 음악가
위키백과:함께 검토하기/소프트웨어 회귀

=== 소프트웨어 회귀**
영어판의 :en:software regression을 번역했는데, 이게 번역이 잘 된건지 확인하기 위해 검토를 요청합니다.--na (토론) 2022년 4월 10일 (일) 20:47 (KST)
전 소프트웨어 쪽은  잘 모르지만 한마디 하자면 서문이 너무 긴 것 같습니다.--Kind Regards, G_Y_B_E (Tal_k) 2022년 4월 11일 (월) 18:38 (KST)

# Git처럼 동음이의어로 연결되는 문서들 수정 필요
# Git→깃/Mercurial→머큐리얼 등 필요 없는 영어 표기 한국어로 수정
일단은 이정도면 일차적인 문제는 해결 될 것 같습니다. 그리고 위에 GYBE님 말씀처럼 서론이 좀 긴것 같습니다. 목록형도 있는걸 봐서 하나의 새로운 문단으로 파생시켜도 좋을 것 같습니다. --White.t. 2022년 4월 11일 (월) 22:09 (KST)
그리고 회귀 테스트에 있는 '회귀 버그'와 이 문서가 같은걸 의미한다면, 이 부분도 수정해주시면 좋을 것 같습니다. --White.t. 2022년 4월 11일 (월) 22:10 (KST)
MemphisA5 오타 수정했습니다. 참고 바랍니다. --LR 토론 / 기여 2022년 4월 16일 (토) 18:26 (KST)
:감사합니다. na (토론) 2022년 4월 16일 (토) 19:13 (KST)
3개월 넘게 의견이 없어 종료합니다. Magica (토론) 2022년 8월 5일 (금) 22:51 (KST)
곤양 전투

곤양 전투(昆陽戰鬪), 곤양 대전(昆陽大戰)은 중국 신 지황 4년(23년) 왕읍과 왕심이 이끄는 신나라의 대군과 유수가 이끄는 녹림군이 영천군 곤양현(현 허난성 예현)에서 맞붙은 전투이다. 매우 큰 병력 차이에도 불구하고 녹림군이 신의 대군을 기적적으로 대파하고 왕심이 전사함에 따라, 신나라의 붕괴는 돌이킬 수 없게 된다.
분류:한나라가 참가한 전투
분류:기원전 1세기 중국
분류:신나라
틀:시각편집기 둘러보기 상자

link=위키백과:시각편집기
----- 대문- 피드백 남기기-  연습장 (계정이 필요하지 않음)
----
정보
----- 입문 튜토리얼- 사용자 가이드- 키보드 단축키- 자주 묻는 질문 (또는 미디어위키에서)
----
돕기
----- 틀데이터 넣기 (튜토리얼)- 문서 번역 돕기
----
기타
----- 커스터마이징
분류:시각편집기
오피스톤토사우루스

오피스톤토사우루스(학명:Opisthodontosaurus carrolli)는 도마뱀목 까마귀도마뱀과에 속하는 도마뱀으로, 멸종한 종이다. 전체적인 몸길이가 65~75 cm인 소형의 몸집을 가진 도마뱀이다.

**특징**
오피스톤토사우루스는 오클라호마 얼리 퍼미언의 캡토히니드 파충류의 멸종된 속이다. 오피소돈토사우루스 캐롤리는 2015년에 리차드 스퍼 근처의 돌리스 브라더스 석회암 채석장에서 나온 여러 개의 관절형 골격을 바탕으로 명명되었다. 이 해골들에 대한 설명 이전에 오피스토돈토사우루스 캐롤리의 턱과 이빨은 에우리도스 프리무스라고 불리는 르포폰디엘 양서류 종에 속하는 것으로 생각되었다. 비록 캡토르히니드 파충류와 레포스폰딜 양서류는 멀리 떨어져 있지만 이 두 종은 치과 해부학에서 놀라운 수준의 진화 융합을 보여준다. 두 마리 모두 단단한 껍질을 가진 무척추동물을 먹는 등 두 마리 토끼를 잡았을 가능성이 높다. 오피스톤토사우루스는 작은 몸집을 가졌지만 다리의 근육과 골격이 매우 잘 발달되어 빠른 속력으로 뛰는 것이 가능한 도마뱀이며 이를 통해 먹이를 사냥했거나 천적을 따돌렸을 것으로도 보인다.

**생존시기와 서식지와 화석의 발견**
오피스톤토사우루스가 생존했던 시기는 고생대의 페름기로서 지금으로부터 2억 9500만년전~2억 4500만년전에 생존했던 종이다. 생존했던 시기에는 북아메리카를 중심으로 하는 초원 등에서 주로 서식했었던 도마뱀이다. 화석의 발견은 2015년에 북아메리카의 페름기에 형성된 지층에서 캐나다와 미국의 고생물학자들에 의하여 처음으로 화석이 발견되어 새롭게 명명된 종이다.

**같이 보기**
 파충류- 고생대- 페름기- 도마뱀- 화석
분류:고대 파충류
분류:페름기의 파충류
분류:북아메리카의 고대 파충류
분류:파충류
분류:2015년 기재된 화석 분류군
제1회 전국동시지방선거 대구광역시의회

다음은 제1회 전국동시지방선거의 대구광역시의회의원 선거결과를 정리한 문서이다. 해당 선거에서 대구광역시의회는 지역구의원 37명과 비례대표의원 4명을 선출했다.

**지역구 선거구**

**지역구 선거 결과**

**중구**

**동구**

**서구**

**남구**

**북구**

**수성구**

**달서구**

**달성군**

**비례대표 선거 결과**

**비례대표 당락**

**전체 결과**

**외부 링크**
  중앙선거관리위원회 선거통계시스템
분류:대구광역시의 정치
대구광역시
볼푸르트

볼푸르트(Wolfurt)는 오스트리아 포어아를베르크주의 브레겐츠군에 있는 시장 도시이다. 2022년 1월 1일 기준, 8,724명의 주민이 있었다.

**지리**
볼푸르트는 오스트리아 최서단 포어아를베르크주의 브레겐츠구, 보덴 호수 남동쪽 해발 434m에 위치해 있다. 시장 도시는 라인 계곡의 일부이며, 브레겐츠와 도른비른 사이에 있다. 면적의 23.5%가 산림이다.
볼푸르트는 6개의 다른 포어아를베르크주의 시정촌과 시 경계를 공유한다. 이 6개 중 5개는 시장 도시와 마찬가지로 브레겐츠구에 있고, 하나는 도른비른구에 있다. 이들은 시계 방향(북쪽에서 시작)으로 켄넬바흐, 부히, 빌트슈타인 및 슈바르차흐이며, 지역 수도인 비른도른 및 시장 도시 라우터라흐이다.

**역사**
기원전 15년 로마인들은 콘스탄스 호수 지역을 정복하고, 현지 켈트족과 라이티족을 정복했다. 그들은 곧 슈토입베르크 기슭에 있는 볼프푸르트 근처의 험난한 베레겐처 아흐를 가로지르는 중요한 군사적, 무역로를 건설했다.
500년경 알레만니족은 오늘날의 시 지역에 ‘켈른호프’와 “호프 추어 슈타이크”(나중에 호프슈타이크)라는 두 개의 농장을 설립했으며, 둘 다 나중에 시장 협동조합으로 널리 확장되어 독립 법원이 되었다. 볼푸르트라는 이름은 1226년경 남부 독일과 스위스에 큰 영향을 미친 부유하고, 호전적인 기사 왕조의 이름으로 처음 나타났다. 볼프루트의 영주들은 성실한 수도사와 성직자들 외에도 전사를 배출했다. 콘라트와 울리히 폰 볼푸르트 형제는 헝가리 용병 군대를 이탈리아로 이끌었다. 그들은 1349년 나폴리와 풀리아의 총독이 되었고, 이후 헝가리에 정착하여 가문이 100년 동안 5개 현을 다스렸고 부를 축적했다.
그가 페퍼스 수도원에 기증한 잘 알려진 볼푸르터 고블레트는 기사 콘라트 경이 기증한 것이었다. 원본은 현재 취리히 스위스 국립박물관에 있다. 기초 증서의 원본은 장크트갈렌의 수도원 아카이브에 보관되어 있다. 성작의 사본은 시정촌 시청에 전시되어 있다.
가문은 15세기에 세상을 떠났고, 볼푸르트성은 200년 동안 오스트리아의 영지로 브레겐츠에서 레베르 가문으로 넘어왔다.
퀴엔과 벨테크의 오래된 볼푸르트성은 불타 없어졌고, 퀴엔성은 전설로만 남아있다. 그러나 볼푸르트성은 화재가 났을 때마다 재건되었으며, 거대한 성벽으로 인해 이제 볼푸르트의 상징으로 여겨지며 시장 마을 소유가 되었다.
1808년 볼푸르트의 독립 시정촌이 설립되었을 때, 볼푸르트에는 1,143명의 주민과 183개의 집, 266마리의 소가 있었다.
개척자로서 스위스의 추핑거 가문은 1900년 이전에 리켄바흐에 따르면 이미 아이디어, 일, 돈 및 다양한 산업화를 가져왔다. 추핑거가는 당시 포어아를베르크에서 섬유 산업, 곡물 공장 및 최초이자 유일한 냉장창고를 운영했으며, 오늘날에도 같은 위치에서 운영되고 있다. 추핑거가는 이후 수십 년 동안 휴게소이자, 희귀 조류종의 서식지로 사용되었던, 100에이커의 제분소에서 냉장창고에 필요한 얼음을 얻었다. 추핑거가는 2k㎡의 부지를 통해 중요한 운하와 오늘날의 반호프 거리를 건설했다. 1900년에는 아르누보 양식으로 지어진 ‘추핑거 가문의 저택’(Villa Zuppinger)이 있었다. 볼푸르트와 지역 전체에서 독특한 이 건물은 정원과 놀라운 나무가 우거진 곳으로 오늘날에도 여전히 가문이 소유하고 있다.
제2차 세계 대전 후, 볼푸르트는 1945년부터 1955년까지 오스트리아의 프랑스 점령 지역의 일부였다. 1950년 이후 농촌은 빠르게 수백 채의 새 단독 주택이 있는 주거 지역으로 바뀌었고, 이내 효율적인 기업이 있는 산업 공동체로 바뀌었다. 1970년에서 1982년 사이에 오스트리아 연방 철도는 볼푸르트에 오스트리아에서 가장 현대적인 화물역을 건설했다. 1982년 5월 1일 볼푸르트는 초지역적 중요성 때문에 시장 도시로 지정되었다.

**인구통계**
2011년 외국인 비율은 15.5%였다.

**경제**
2003년에 볼푸르트에는 159개의 상업 회사가 있었고, 2,733명의 직원과 191명의 견습생이 있었다. 소득세의 대상이 되는 직원은 3,673명이었다. 농업은 중요한 역할을 한다. 전체 면적에서 농경지가 차지하는 비율은 47.8%이다.

**각주**

**외부 링크**
  볼푸르트 (공식)
*
피아노 소나타 1번 (베버)

피아노 소나타 1번 C장조는 카를 마리아 폰 베버가 쓴 피아노 소나타이다. 4개의 악장으로 구성되어 있다.

**악장**
#1악장: C장조, 알레그로, 4분의 4박자
#2악장: F장조, 아다지오, 4분의 3박자
#3악장: E단조, 알레그로, 4분의 3박자
#4악장: C장조, 론도, 4분의 2박자
분류:카를 마리아 폰 베버의 작품
분류:피아노 소나타
서재헌

서재헌(徐載憲, 1979년 4월 25일 ~ )은 대한민국의 정치인이다.

**학력**
 신천초등학교 졸업- 영신중학교 졸업- 영신고등학교 졸업- 계명대학교 경제학 학사- 고려대학교 정책대학원 경제정책학 석사- 영국 스트래스클라이드대학교 대학원 MBA

**경력**
 미래에셋증권 직원- 더불어민주당 상근부대변인- 경기신용보증재단 경영기획본부장

**역대 선거 결과**
분류:1979년 출생
분류:살아있는 사람
분류:대한민국의 정치인
분류:더불어민주당 당원
분류:계명대학교 동문
분류:고려대학교 정책대학원 동문
분류:20세기 대한민국 사람
분류:21세기 대한민국 사람
2014년 돈바스 지위 주민투표

섬네일
2014년 돈바스 지위 국민투표는 2014년 5월 11일 우크라이나 친러시아 분쟁 당시 열렸던 당시 3차례의 국민투표를 의미한다.- 2014년 도네츠크 주민투표- 2014년 루한스크 주민투표- 2014년 드니프로페트로우스크주 주민투표

**같이 보기**
 2022년 러시아 점령 우크라이나 합병 국민투표- 2014년 크림 주민투표
분류:2014년 우크라이나
돈바스
분류:우크라이나의 분리주의
분류:2014년 우크라이나 친러시아 분쟁
분류:돈바스
분류:우크라이나의 국민투표
분류:루간스크 인민공화국
분류:도네츠크 인민공화국
분류:2014년 5월
분류:러시아 민족통일주의
분류:주권 국민투표
분류:러시아화
기무라 호노

기무라 호노(木村穂乃, きむら ほの, 1997년 6월 4일~)는 일본의 언론인이자 NHK 소속의 아나운서이다.
일본 군마현 이세사키시 출생이다. 마에바시시에 있는 군마현립 마에바시 여자고등학교를 졸업하고, 도쿄도 하치오지시에 있는 주오 대학 법학부 정치학과에 입학했지만 중퇴하고 재수해서 도쿄도 분쿄구에 있는 오차노미즈 여자대학 문교육학부 인간사회과학과 졸업하였다. 졸업 후 2020년 NHK에 입사하였으며, 첫 부임지인 NHK 니가타 방송국에서 활동을 시작하여 2023년 3월 31일까지 일하였다. 이후 2023년 4월 조직개편에 따라 NHK 나고야 방송국으로 옮겼다.

**프로그램 경력**

**NHK 니가타 방송국 시절(2020년~2023년 3월)**
 니가타 뉴스 610 진행: 2022년 4월 7일~2023년 3월 30일, 목·금 캐스터- 니가타현 뉴스·중계·리포트- NHK 뉴스 오하요 일본 수도권 뉴스: 2021년 4월 10일, 니가타현 다이나이시의 중계 리포터

**NHK 나고야 방송국 시절(2023년 4월 3일~)**
 아이치현 뉴스·중계·리포트- NHK 뉴스 오하요 도카이 격주진행: 2023년 4월 3일~

**에피소드**
 좋아하는 음식은 불고기, 팟타이이다.- 그녀는 오차노미즈 여자대학 재학중, 2018년도의「미즈콘 2018」에 출장했다.

**외부 링크**
  NHK 아나운서・기무라 호노-  NHK 나고야 방송국 아나운서・기무라 호노-  NHK 니가타 방송국 아나운서・기무라 호노
분류:1997년 출생
분류:살아있는 사람
분류:일본의 언론인
분류:일본 NHK의 아나운서
분류:오차노미즈 여자대학 동문
분류:군마현 출신
리이슈 (유튜버)

리이슈(李易修,리역수, 1988년 6월 10일 ~)는 대만의 남성 유튜버이다. "역사가"(HistoryBro)로 알려져, 범람연맹의 정치 활동가이다.

**각주**

**출전**

**외부 링크**
 유튜브 채널
** 高雄歷史哥- UseUrBrainPlz
분류:1988년 출생
분류:살아있는 사람
분류:가오슝시 출신
분류:국립 대만 사범대학 동문
분류:대만의 라디오 진행자
분류:대만의 유튜버
분류:대만의 정치
분류:대만의 활동가
분류:정치 평론가
분류:민난계 대만인
증명 보조기

컴퓨터 과학 및 수리 논리학에서 증명 보조기 또는 대화형 정리 증명기는 인간-기계 협업에 의한 형식 증명을 보조하는 소프트웨어 도구이다. 증명 보조기는 대화형 증명 편집기 또는 기타 인터페이스가 포함하며, 이를 통해 인간의 증명 검색을 돕는다. 또한 증명 보조기는 증명의 세부 정보를 컴퓨터에 저장하고, 증명의 일부 단계를 컴퓨터로 계산한다.

**시스템 비교**
 ACL2– Boyer-Moore 전통의 프로그래밍 언어, 1차 논리 이론 및 정리 증명기(대화형 모드와 자동 모드 모두 포함).- Coq- 수학적 주장의 표현을 허용하고, 이러한 주장의 증명을 기계적으로 확인하고, 형식적 증명을 찾는 데 도움을 주고, 형식 사양의 구성적 증명에서 인증된 프로그램을 추출한다.- HOL 정리 증명기– 궁극적으로 LCF 정리 증명기에서 파생된 도구 제품군이다. 이러한 시스템에서 논리적 핵심은 프로그래밍 언어의 라이브러리이다. 정리는 언어의 새로운 요소를 나타내며 논리적 정확성을 보장하는 "전략(strategy)"을 통해서만 도입될 수 있다. 전략 구성을 통해 사용자는 시스템과의 상호 작용이 비교적 적은 중요한 증명을 생성할 수 있다. 여기에 포함된 증명 보조기들은 다음과 같다.
**  HOL4– 아직 활발히 개발 중인 "기본 자손". 모스크바 ML 및 Poly/ML 모두 지원 . BSD 스타일 라이센스가 있다.
** HOL Light – 번성하는 "미니멀리스트 포크". OCaml 기반.
** ProofPower – 독점이 된 다음 오픈 소스로 돌아 왔다. 표준 ML을 기반으로 한다.- IMPS, 대화형 수학 증명 시스템- Isabelle은 HOL의 후속인 대화식 정리 증명자이다. 주요 코드 기반은 BSD 라이선스이지만 Isabelle 배포판은 다른 라이선스를 가진 많은 애드온 도구를 번들로 제공한다.- Jape – 자바 기반.- Lean-  LEGO- Matita – 귀납적 구성의 미적분에 기반한 조명 시스템.- MINLOG – 1차 최소 논리를 기반으로 하는 증명 보조기.- Mizar – 자연 연역 스타일의 1차 논리와 타르스키-그로텐디크 집합론을 기반으로 하는 증명 보조기.- PhoX – 확장 가능한 고차 논리에 기반한 증명 보조기.- 프로토타입 검증 시스템 (PVS) – 고차 논리에 기반한 증명 언어 및 시스템.-  TPS 및 ETPS – 단순 형식 람다 대수의 독립적인 공식화와 구현을 기반으로 하는 대화형 증명 보조기.-  Typelab-  Yarrow url=https://web.archive.org/web/20220527220519/https://www.cs.ru.nl/~janz/yarrow/
정리 증명기 박물관은 중요한 문화/과학적 인공물인 정리 증명 시스템의 향후 분석을 위해 소스를 보존하기 위한 이니셔티브이다. 위에서 언급한 많은 시스템의 소스가 여기에 있다.

**사용자 인터페이스**
증명 보조기를 위한 인기 있는 프론트엔드는 에든버러 대학교에서 개발된 Emacs 기반 Proof General이다. Coq에는 OCaml/GTK를 기반으로 하는 CoqIDE가 포함되어 있다. Isabelle에는 jEdit 및 문서 지향 증명 처리를 위한 Isabelle/Scala 인프라를 기반으로 하는 Isabelle/jEdit가 포함되어 있다.  Coq url=https://web.archive.org/web/20211204100900/https://marketplace.visualstudio.com/items?itemName=siegebell.vscoq,  Isabelle의 비주얼 스튜디오 코드 확장도 개발되었다.

**같이 보기**
 자동 정리 증명- 컴퓨터를 이용한 증명- QED 선언문- 형식 검증- 만족도 모듈로 이론- Metamath – 이 언어에 대한 증명 검사기 및 수천 개의 입증된 정리 데이터베이스와 함께 공식화된 수학을 개발하기 위한 언어

**참고 문헌**
 Henk Barendregt and Herman Geuvers (2001).  "Proof-assistants using Dependent Type Systems". In Handbook of Automated Reasoning.- Frank Pfenning (2001).  "Logical frameworks". In Handbook of Automated Reasoning.- Frank Pfenning (1996). "The Practice of Logical Frameworks".- Robert L. Constable (1998). "Types in computer science, philosophy and logic". In Handbook of Proof Theory.- H. Geuvers. " Proof assistants: History, ideas and future".- Freek Wiedijk. " The Seventeen Provers of the World"

**각주**

**외부 링크**
 종속 유형이 있는 인증된 프로그래밍 의  "소개" .-  Coq Proof Assistant 소개 (대화형 정리 증명에 대한 일반적인 소개 포함)-  Agda 사용자를 위한 대화식 정리 증명 url=https://web.archive.org/web/20220121022021/http://www.cs.swan.ac.uk/~csetzer/lectures/intertheo/07/interactiveTheoremProvingForAgdaUsers.html-  정리 증명 도구 목록

**카탈로그**
  범주별 디지털 수학: Tactic Provers-  자동 연역 체계 및 그룹-  정리 증명 및 자동 추론 시스템-  기존의 기계화 추론 시스템 데이터베이스-  NuPRL: 기타 시스템 url=https://web.archive.org/web/20220522101305/http://www.nuprl.org/Intro/others.html-  특정 논리적 프레임워크 및 구현- DMOZ :  과학: 수학: 논리 및 기초: 계산 논리: 논리 프레임워크 url=https://web.archive.org/web/20170308171141/http://www.dmoz.org/Science/Math/Logic_and_Foundations/Computational_Logic/Logical_Frameworks/
분류:논리학
분류:컴퓨터 과학
분류:컴퓨터 과학 내 논리
통계적 차별

통계적 차별은 경제 주체(소비자, 근로자, 고용주 등)가 상호 작용하는 개인에 대한 불완전한 정보를 가질 때 그 사람이 속한 집단의 평균적 특성과 같은 통계 자료에 기반하여 이루어지는 차별이다. 이 이론에 따르면 경제 주체가 합리적이고 편견이 없는 경우에도 인구 통계학적 그룹 간에 불평등이 존재하고 지속될 수 있다. 인종 차별, 성 차별주의 등을 사용하여 그룹의 다양한 노동 시장 결과를 설명하는 선호 기반 차별과 대조된다.
통계적 차별 이론은 케네스 애로 (1973)와 에드먼드 펠프스 (1972)에 의해 개척되었다. "통계적 차별"이라는 이름은 고용주가 고용 결정을 내리는 방식과 관련이 있다. 지원자의 생산성에 대한 정보가 불완전하기 때문에 생산성을 추론하기 위해 자신이 속한 그룹에 대한 통계 정보를 사용한다. 소수 집단이 초기에 덜 생산적이라면(역사적 차별로 인해 또는 나쁜 균형을 탐색했기 때문에), 이 집단의 각 개인은 덜 생산적인 것으로 가정되고 차별이 발생한다. 이러한 유형의 차별은 차별받는 그룹의 비정형 개인이 시장에 참여하는 것을 기피하거나, 자신의 기술을 (평균) 투자 수익(교육 등)은 비차별 그룹보다 적다.
관련된 형태의 (이론화된) 통계적 차별은 신청자가 고용주에게 보내는 신호의 차이를 기반으로 한다. 이 신호는 지원자의 생산성을 보고하지만 시끄럽다. 지원자가 동일한 명목 평균 이상의 신호를 갖고 있더라도 그룹의 평균이 다른 경우 차별이 발생할 수 있다. 평균 으로의 회귀는 더 높은 평균 그룹의 구성원이 더 높은 참 값을 가질 가능성이 더 높기 때문에 덜 회귀한다는 것을 의미한다. 반면 낮은 평균 그룹 구성원은 더 많이 회귀하고 신호는 그룹 구성원이 무시되면 해당 값을 과대평가한다("Kelley's paradox"). 동일한 평균을 가정하더라도 신호의 그룹 분산 (즉, 신호가 얼마나 잡음이 많은지)에서도 식별이 발생할 수 있다. 분산 기반 차별이 발생하려면 의사 결정자가 위험을 회피 해야 한다. 그러한 의사 결정자는 분산이 낮은 그룹을 선호한다. 이론적으로 동일한 두 그룹(평균 및 분산을 포함한 모든 측면에서)을 가정하더라도 위험 회피 의사 결정자는 신호 오류 항 을 최소화하는 측정(신호, 테스트)이 존재하는 그룹을 선호한다. 예를 들어, 두 명의 개인 A와 B가 이론적으로 전체 모집단의 평균보다 훨씬 높은 테스트 점수를 가지고 있다고 가정한다. 그런 다음 A와 B의 두 사람이 동일한 작업에 지원하면 점수가 더 신뢰할 수 있는 추정치로 인식되어 위험 회피 의사 결정자가 B의 점수를 다음과 같이 보고 A를 고용한다. 운이 좋을 확률이 높다. 반대로, 두 그룹이 평균보다 낮으면 그룹 A의 음수 점수가 더 나은 추정치로 여겨지기 때문에 B를 고용한다. 이것은 고용 기회의 차이를 발생시킬 뿐만 아니라 다른 그룹의 평균 임금에도 영향을 미친다. 신호 정확도가 낮은 그룹은 임금을 낮추기 위해 불균형적으로 고용된다.

**각주**
분류:차별
선호 기반 차별

선호 기반 차별은 노동시장 차별의 경제적 모델로, 금지된 근거에 뿌리를 둔 조직문화에 대한 고용주의 편견이나 혐오가 소수자 고용에 부정적인 결과를 초래할 수 있다. 이 모델은 더 나아가 고용주가 지원자의 생산성에 관계없이 소수 지원자와 상호 작용을 피하기 위해 차별하고, 고용주는 그렇게 하기 위해 재정적 불이익을 기꺼이 지불할 것이라고 가정한다. 노동 시장 차별에 대한 두 가지 주요 이론적 설명 중 하나이며 다른 하나는 통계적 차별이다. 선호 기반 모델은 또한 특정 그룹의 직원에 대한 고용주의 선호도가 더 생산적인 직원에 대한 선호와 관련이 없다고 가정한다. 이 모델에 따르면 차별을 받는 집단의 구성원은 다른 직원과 동일한 임금을 위해 더 열심히 일하거나 같은 일에 대해 더 낮은 임금을 받아들여야 할 수 있다. 선호 기반 차별은 고용주, 고객 또는 동료의 입장에서 관찰될 수 있다. 고용주의 "차별선호"의 경우, 고용주는 비금전적 비용을 피하는 것을 목표로 하며 종종 자신의 선호도에 따라 그렇게 한다. 동료와 고객의 경우 고용주가 고용 과정에서 고려하는 특정 그룹에 속한 사람들과 상호 작용하기를 원하지 않을 수 있다.

**각주**
분류:노동경제학
분류:차별
우리들 뜨거운 노래

우리들 뜨거운 노래는 다음과 같은 뜻이 있다.- 《우리들 뜨거운 노래》(1988년)는 KBS 드라마 초대석이다.- 《우리들 뜨거운 노래》(1993년)는 SBS 월화 드라마이다.

**같이 보기**
 우리들 뜨거운 노래
목마 위의 여자

목마 위의 여자는 다음과 같은 뜻이 있다.- 《목마 위의 여자》는 대한민국의 작가 김주영이 쓴 소설이다. 이 소설을 원작으로 한 작품은 다음과 같다.
** 《목마 위의 여자》(1979년)는 대한민국의 영화이다.
** 《목마 위의 여자》(1980년)는 KBS 드라마 초대석이다.

**같이 보기**
 목마 위의 여자
미셸 미콤베로

미셸 미콤베로(Michel Micombero, 1940년 8월 26일~1983년 7월 16일)는 부룬디의 정치인이자 육군 장교로 1966년부터 1976년까지 10년간 부룬디의 첫 대통령이자 사실상의 군사 독재자로서 나라를 통치했다.
미콤베로는 1962년 부룬디 독립 당시 부룬디 군 장교로 경력을 시작한 투치족이었다. 그는 유학을 갔고 귀국할 때 장관직을 받았다. 1965년 10월 후투족 병사들이 투치족에 대항하여 쿠데타를 시도하는 것을 도운 그의 역할로 유명해졌다. 그 여파로 1966년 미콤베로 자신은 군주제에 대항하여 두 번의 쿠데타를 선동했는데, 그는 이 쿠데타가 너무 온건하다고 생각했다. 7월의 첫 번째 쿠데타는 새로운 왕을 왕위에 앉혀 미콤베로를 총리직으로 내몰았다. 11월에 일어난 두 번째 쿠데타는 군주제 자체를 폐지했고, 미콤베로는 부룬디 공화국의 초대 대통령으로 권력을 잡았다.
미콤베로는 일당제 국가를 이끌었는데, 이 국가는 그 나라의 기관들을 중앙집권화하고 냉전에서 중립적인 입장을 취했다. 반대 의견은 억압되었고, 1972년, 미콤베로의 권력에 도전하려는 시도는 후투족에 대한 대량학살 폭력으로 이어졌다. 이 때 주로 후투족인 약 10만 명이 죽었다. 그의 정권은 1976년 또 다른 육군 장교인 장바티스트 바가자에 의해 쿠데타로 축출되면서 마침내 무너졌다. 미콤베로는 소말리아로 망명하여 1983년에 사망했다.

**전기**

**어린 시절**
미콤베로는 1940년 8월 26일 벨기에령 루안다우룬디에서 태어났다. 그의 부모는 넓은 투치족의 일부인 히마족 소작농이었다.2008 1960년 부룬디의 가톨릭 미션 스쿨에서 공부했고, 1962년 부룬디의 계획적인 독립에 앞서 형성되고 있던 군에 입대했다.2008 1960년 4월 벨기에 브뤼셀에 있는 육군사관학교에서 장교로 훈련을 받았다. 1962년 3월 소위로 진급했다.2008 1962년 7월 부룬디 왕국이 독립할 당시 그는 대위 계급에 있었다.p=409 11월에 그는 부룬디 국민군의 부사령관이 되었다.2008

**독재 정부**
부룬디의 대통령으로서, 미콤베로는 1당 국가로서 우프로나를 통해 통치했다. 그의 "민주적 중앙집권주의" 이데올로기는 국가의 모든 기관과 언론을 정권의 통제 하에 두었다. 그의 정권은 탄자니아의 사회주의 이념과 콩고 민주 공화국의 조제프데지레 모부투 정권(1971년 이후 자이르로 알려짐)의 다른 교리들을 결합시켰다. 냉전 시대의 지도자로서, 그는 공산주의 세력과 서구 열강들을 서로 상대할 수 있었다. 1967년 교통사고로 부상을 당한 후, 미콤베로는 점점 더 편집증적이 되었다. 그는 알코올 중독자로 널리 믿어졌다. 정권에 대한 다양한 음모들이 발견되었고 불안은 여전했고2008, 그를 몰아내려는 주목할 만한 시도는 1969년과 1971년에 저지되었다.p=219 그의 지지기반은 부룬디의 북부 및 중부 지역에 있는 투치족으로 점점 제한되었다.2008
1972년 4월, 탄자니아 정권의 격려로 남부의 루몽게에서 후투족 사이에 반란이 일어나 빠르게 확산되었다. 이어진 인종간 폭력으로 1,000명에 달하는 투치족이 목숨을 잃었다. 미콤베로 정권의 대응은 10만 명이 사망한 것으로 추정되는 지역에서 후투족에 대한 대량학살 폭력 캠페인을 시작하는 것이었다. 반란을 이끌었다고 전해지는 폐위된 왕 나레는 스스로 살해당했다. 1973년, 모부투는 탄자니아의 침략을 막기 위해 개입해야 했다. 위기가 끝난 후, 미콤베로는 7년 임기를 더 연장할 수 있는 새로운 헌법을 도입했다. 그는 또한 같은 해에 르완다, 자이르 정부와 함께 대호수 국가 경제 공동체를 위한 기초를 닦았다.2008
1976년 11월 장바티스트 바가자 대령이 이끄는 반대파들은 미콤베로 정권에 대항하는 쿠데타를 성공적으로 이끌었다. 미콤베로 자신은 체포되었고, 1987년까지 지속된 바가자의 독재 정권 하에서 제2공화국이 선포되었다.2008 비록 투치족이자 1972년 살해에 가담했지만, 바가자는 후투족에게 양보를 했고, 1987년 퇴위할 때까지 부룬디 국가를 현대화하는 데 약간의 진전을 이루었다.

**추방 및 사망**
미콤베로는 1977년 부룬디에서 추방되었다.2008 그는 소말리아에 거주했고, 그 후 친한 친구였던 독재자 시아드 바레가 통치했다. 1982년 소말리아 대학교에서 경제학 학위를 취득했다.1983 1983년 모가디슈의 마디나 병원에서 심장마비로 사망했다.1983

**각주**

**외부 링크**
 서적 인용|editor-last=Lansford |editor-first=Tom |title=Political Handbook of the World 2016–2017. Volume 1 |url=https://books.google.com/books?id=UmNCDgAAQBAJ |date=2017 |publisher=SAGE Publishing |location=Thousand Oaks, California |isbn=978-1-5063-2718-1-  oclc = 254366212-  isbn = 9780810809628 
분류:1940년 출생
분류:1983년 사망
분류:부룬디의 대통령
분류:부룬디의 총리
분류:부룬디의 군인
분류:집단학살 가해자
분류:쿠데타로 집권한 지도자
분류:쿠데타로 축출된 지도자
2019 아메리칸 뮤직 어워드

제47회 아메리칸 뮤직 어워드는 2019년 11월 24일에 로스앤젤레스에서 열렸다.

**수상 및 후보**
분류:아메리칸 뮤직 어워드
분류:2019년 11월
유정 (동진)

유정(劉靖, 생몰년 미상)은 동진 시기의 인물로 유혼의 아들이자, 효목제의 부친으로, 유송 무제의 조부이다.

**생애**
생전 동안 태수(東安太守)를 지냈으며, 사후 손자 유유가 유송을 건국하자 동안부군(東安府君)으로 추존되어 칠묘에 위패가 안치되었다.
477년 내손인 유송 순제가 즉위할 당시에도 유정의 사당은 유지되었으나 479년 유송이 멸망하자 유정의 사당은 철거되었다.

**가족**
 부친: 무원부군(武原府君) 유혼(劉混)- 모친: 불명- 아내: 불명- 아들: 효목제(孝穆帝) 유교(劉翘)- 손자: 유송 무제(武帝)

**둘러보기**
분류:남북조 시대의 추존황제
분류:생몰년 미상
소표

소표(蕭豹, 생몰년 미상)는 조위 시기의 인물로 소휴(蕭休)의 아들, 소예의 아버지, 남제를 건국한 소도성의 열조부, 소량을 건국한 양무제의 태조부, 전한 시기의 관료인 소망지의 10세손이다.

**생애**
생전 조위의 광릉군승(廣陵郡丞)을 지냈으며 479년 6대손 소도성이 남제를 건국하자 소표는 광릉부군(廣陵府君)으로 추존되어 칠묘에 위패가 안치되었다. 
482년 소도성이 죽고 소색이 즉위한 시점으로부터 소표는 칠묘에 모셔질 수 있는 조상의 범위를 지났기에 소표의 사당은 철거되었다.
502년 잉손인 양무제 시기엔 칠묘의 범위를 넘긴 조상이기에 그의 아들인 소예까지만 칠묘에 배향되고 소표 본인은 더 이상 모셔지지 않았다.

**계보**

**선조**
 현조: 소포(蕭苞) - 중산상(中山相)- 고조: 소주(蕭周) - 박사(博士)- 증조: 소교(蕭矯) - 사구장(蛇丘長)- 조부:  소규(蕭逵) - 주종사(州從事)- 부친:  소휴(蕭休) - 효렴(孝廉)- 모친: 불명

**후손**
 아들: 태중부군(太中府君) 소예- 손자: 회음부군(淮陰府君) 소정- 증손: 즉구부군(即丘府君) 소준
** 현손: 태상부군(太常府君) 소악자
** 내손: 선제(宣帝) 소승지
** 곤손: 고제(高帝) 소도성 - 남제 초대 황제.- 증손: 제음부군(濟陰府君) 소할
** 현손: 중종사사부군(中從事史府君) 소부자
** 내손: 특진부군(特進府君) 소도사
** 곤손: 문제(文帝) 소순지
** 잉손: 무제(武帝) 소연 - 소량 초대 황제.

**둘러보기**
분류:남북조 시대의 추존황제