stanford-oval/wikipedia huggingface dataset:
비스무트
활용

비스무트는 대부분 금속이나 합금으로 쓰인다. 납이나 주석 또는 철과 혼합한 비스무트 합금은 낮은 온도에서 녹는다. 예를 들어 증기보일러의 안전 플러그는 이 비스무트 합금으로 만드는데 과열된 보일러가 폭발하려고 하면 먼저 플러그가 녹아서 증기를 밖으로 내뿜게 한다. 자동 스프링클러에도 이와 비슷한 플러그가 쓰이는데 불이 나면 열 때문에 플러그가 녹고 자동으로 스프링클러가 작동한다. 전기 퓨즈에서도 전류가 너무 많이 흐르면 비스무트 합금이 녹아서 자동으로 전류의 흐름을 막는다.
비스무트는 주물공장과 원자로에도 쓰인다. 비스무트 합금은 틀에 넣어 일정한 모양의 물체를 만드는 데 효과적이다. 비스무트는 중성자를 쉽게 흡수하지 않기 때문에 비스무트를 녹여 방사성 연료를 원자로 중심으로 운반하는 데 쓰인다. 또한 뜨거워진 원자로를 식히는 데 열변환기 물질로도 쓰인다. 비스무트와 비스무트 화합물은 의약품에서도 매우 쓸모가 있다. 예를 들어 탄산 비스무트는 설사, 장염, 위궤양, 피부질환을 치료할 때 쓰이고 비스무트 화합물은 화장품이나 다른 의약품의 원료로도 쓰인다. 그러나 몇몇 의학 전문가들은 이러한 비스무트 화합물이 몸에 해로운 영향을 줄 수 있다고 주의를 준다. 금속 결정 중에서도 만들기 쉬워 결정 만들기 실험용으로도 쓰인다.
순도 99.99% 비스무트
기총

다른 뜻에 대해서는 기관총 문서를 참고하십시오.

기총(騎銃, 프랑스어: carabine 카빈[*])은 소총(라이플)이나 보총(머스킷)보다 총신이 짧은 장총이다. 대부분의 기총은 소총의 총신을 짧게 만든 개량형이며, 원판인 소총과 동종의 탄약을 사용한다.
기총은 소총이나 보총보다 크기가 작고 무게가 가벼워 다루기 쉽다. 때문에 화약시대 기병들이 주로 다루는 것으로 운용이 시작되었고, 이에 기총이라는 이름이 붙었다. 기총을 주로 다룬 화약시대 기병을 총기병(카비니어)이라 한다. 오늘날 기총식 총은 특수부대, 공수부대 등 고기동성 병력이나 축소된 소총만을 필요로하는 비보병 인원들이 장비한다.
남자 400m 이어달리기 세계 기록 추이

다음은 남자 400m 이어달리기 세계 기록 추이이다.
1912-76년 기록

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| # | 기록 | 차이 | 선수 | 나라 | 날짜 | 대회명 | 개최지 | 경기장 | 주석 및 기타 | 동영상 |
|  | 42초 3 |  |  |  독일 | 1912. 7. 8 |  |  스웨덴 스톡홀름 |  |  |  |
|  | 42초 2 |  |  |  미국 | 1920. 8. 22 |  |  벨기에 안트베르펜 |  |  |  |
|  | 42초 0 |  |  |  영국 | 1924. 07. 12 |  |  프랑스 파린 |  |  |  |
|  | 42초 0 |  |  |  네덜란드 | 1924. 0. 12 |  |  프랑스 파리 |  |  |  |
|  | 41초 0 |  |  |  미국 | 1924. 7. 13 |  |  프랑스 파리 |  |  |  |
|  | 41초 0 (y) |  | Newark A.C. (Johnny Gibson) |  미국 | 1927. 7. 4 |  |  미국 Lincoln, Nebraska |  |  |  |
|  | 41초 0 |  | Eintracht Frankfurt |  독일 | 1928. 6. 10 |  |  독일 할레 |  |  |  |
|  | 41초 0 |  | 미국 대표팀 |  미국 | 1928. 8. 5 |  |  네덜란드 암스테르담 |  |  |  |
|  | 41초 0 |  | Germany |  독일 | 1928. 9. 2 |  |  독일 베를린 |  |  |  |
|  | 40초 8 |  | S.C. Charlottenburg |  독일 | 1929. 7. 22 |  |  독일 Breslau (현 폴란드) |  |  |  |
|  | 40.8 (y) |  | 서던캘리포니아 대학교 |  미국 | 1931. 5. 9 |  |  미국 Fresno |  |  |  |
|  | 40초 6 |  | Germany |  독일 | 1932. 6. 14 |  |  독일 Kassel |  |  |  |
|  | 40초 0(40:10) |  |  |  미국 | 1932. 8. 7 |  |  미국 로스앤젤레스 |  |  |  |
|  | 39초 8 |  |  |  미국 | 1936. 8. 9 |  |  독일 베를린 |  |  |  |
|  | 39초 5(39:60) |  |  |  미국 | 1956. 2. 1 |  |  오스트레일리아 멜버른 |  |  |  |
|  | 39초 5 |  | 서독 대표팀 |  독일 | 1958. 8. 29 |  |  독일 Cologne |  |  |  |
|  | 39초 5(39:61) | = | Bernd Cullmann Armin Hary Walter Mahlendorf Martin Lauer |  서독 | 1960. 9. 7 | 제17회 하계 올림픽 |  이탈리아 로마 | 예선 3조 1위 |  |  |
|  | 39초 5 (39.66) | = | Bernd Cullmann Armin Hary Walter Mahlendorf Martin Lauer |  서독 | 1960. 9. 8 | 제17회 하계 올림픽 |  이탈리아 로마 | 결선 1위 |  |  |
|  | 39초 1 |  |  |  미국 | 1961. 07. 15 |  |  소련 모스크바 |  |  |  |
|  | 39초 0 (39.06) | - 0.1초 | Paul Drayton Gerry Ashworth Richard Stebbins Bob Hayes |  미국 | 1964. 10. 21 | 제18회 하계 올림픽 |  일본 도쿄 | 국립 가스미가오카 육상 경기장 |  |  |
|  | 38초 6 (y) |  | 서던캘리포니아 대학교 |  미국 | 1967. 06. 17 |  |  미국 Provo |  |  |  |
|  | 38초 6(38:65) |  |  |  자메이카 | 1968. 10. 19 |  |  멕시코 멕시코 시 |  |  |  |
|  | 38초 3(38.39) |  |  |  자메이카 | 1968. 10. 19 |  |  멕시코 멕시코 시 |  |  |  |
|  | 38초 2(38:24) |  |  |  미국 | 1968. 10. 20 |  |  멕시코 멕시코 시 |  |  |  |
|  | 38초 2 (38.19) | = ( -0.05) | 래리 블랙 로버트 테일러 Gerald Tinker  에디 하트 |  미국 | 1972. 09. 10 | 제20회 하계 올림픽 |  서독 뮌헨 |  |  |  |
1977년 이후 기록

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| # | 기록 | 차이 | 선수 | 나라 | 날짜 | 대회명 | 개최지 | 경기장 | 주석 및 기타 | 동영상 |
| 1 | 38초 19 |  |  |  미국 | 1972. 09. 10 |  |  서독 뮌헨 |  |  |  |
| 2 | 38초 03 | - 0.16초 | 빌 콜린스 Steve Riddick Cliff Wiley 스티브 윌리엄스 |  미국 | 1977. 09. 03 | 제1회 육상 월드컵 |  독일 뒤셀도르프 | 라인슈타디온 |  |  |
|  | 37초 86 |  | 에밋 킹 윌리 골트 캘빈 스미스 칼 루이스 |  미국 | 1983. 08. 10 | 제1회 세계 육상 선수권 대회 |  핀란드 헬싱키 |  |  |  |
|  | 37초 83 | - 0.03초 | 론 브라운 Sam Graddy 칼 루이스 캘빈 스미스 |  미국 | 1984. 8. 11 | 제23회 하계 올림픽 |  미국 로스앤젤레스 | 로스앤젤레스 메모리얼 콜리세움 |  |  |
|  | 37초 79 | - 0.04초 | Max Morinière Daniel Sangouma Jean-Charles Trouabal Bruno Marie-Rose |  프랑스 | 1990. 09. 01 | 제15회 유럽 육상 선수권 대회 |  유고슬라비아 스플리트  (현 크로아티아) | Gradski stadion u Poljudu |  |  |
|  | 37초 79 | = | Michael Marsh 리로이 버렐 Floyd Heard 칼 루이스 |  미국 (산타 모니카육상 클럽) | 1991. 08. 03 | Herculis Grand Prix meet the 14th stop of the Mobil Grand Prix outdoor circuit, |  모나코 몬테카를로 | 스타드 루이 되 |  |  |
|  | 37초 67 | - 0.12초 | Michael Marsh 리로이 버렐 Dennis Mitchell 칼 루이스 |  미국 | 1991. 08. 07 | 벨트클라세 취리히 |  스위스 취리히 | 레치그룬트 경기장 |  |  |
|  | 37초 50 | - 0.17초 | Andre Cason 리로이 버렐 Dennis Mitchell Carl Lewis) 37.50 |  미국 | 1991. 09. 01 | 제3회 세계 육상 선수권 대회 |  일본 도쿄 | 국립 가스미가오카 육상 경기장 |  |  |
|  | 37초 40 | - 0.10초 | Michael Marsh  리로이 버렐 Dennis Mitchell 칼 루이스 |  미국 | 1992. 08. 08 | 제25회 하계 올림픽 |  스페인 바르셀로나 | 루이스 콤파니스 올림픽 경기장 |  |  |
|  | 37초 40 | = | Jon Drummond Andre Cason Dennis Mitchell 리로이 버렐 |  미국 | 1993. 08. 21 | 제4회 세계 육상 선수권 대회 |  독일 슈투트가르트 | 고틀리프 다임러 경기장 | 준결선 기록 |  |
|  | 37초 10 | - 0.30초 | 네스타 카터  마이클 프레이터  우사인 볼트  아사파 포웰 |  자메이카 | 2008. 08. 22 | 제29회 하계 올림픽 |  중화인민공화국 베이징 | 베이징 국가체육장 |  |  |
|  | 37초 04 | - 0.06초 | 네스타 카터 마이클 프레이터 요한 블레이크 우사인 볼트 |  자메이카 | 2011. 09. 04 | 제13회 세계 육상 선수권 대회 |  대한민국 대구 | 대구 스타디움 | , |  |
|  | 36초 84 | - 0.20초 | Nesta Carter 마이클 프레이터 요한 블레이크 우사인 볼트 |  자메이카 | 2012. 08. 11 | 제30회 하계 올림픽 |  영국 런던 | 올림픽 경기장 |  |  |
같이 보기

남자 400m 이어달리기 대한민국 기록 추이
여자 400m 이어달리기 대한민국 기록 추이
여자 400m 이어달리기 세계 기록 추이
사이드킥

다른 뜻에 대해서는 사이드킥 (동음이의) 문서를 참고하십시오.

사이드킥(영어: sidekick) 또는 조수(助手)는 이야기와 게임에 등장하는 캐릭터의 역할 중 하나이며, 주로 주인공과 행동을 함께하고 주인공의 지원을 하는 역할을 하는 등장인물이다. 돈키호테에서 산초 판사와 셜록 홈즈의 존 H. 왓슨, 배트맨의 로빈 등이 있다.
같이 보기

전속부관
| --- | --- |
전거 통제: 국가 :  독일
새벽에 온 방문객

| 새벽에 온 방문객 Visitor in Dawn |
| --- | --- |
감독: 노진섭
각본: 김하림
제작: 남아흥행
원작: 고성의
개봉일:  1975년 7월 19일 (1975-07-19) 
시간: 103분
국가:  대한민국
언어: 한국어
"새벽에 온 방문객"은 1975년 공개된 대한민국의 영화이다.
배역

고은아
박근형
박원숙
나하영
한종호
김석훈
박경주
임해림
백송
조용수
최강수
박용팔
삼묘

삼묘(三苗)는 중국 신화에 등장하는 악신이다. 공공, 환두, 곤과 함께 사죄의 한 사람이다.
삼묘는 환두와 함께 요에 대해서 반란을 계획했다고 전해지며, 그것 때문에 사죄 중 하나로 꼽히는 이유가 되고 있다. 요와의 싸움에서 패한 후, 그 후손들은 남방으로 멀리 달아나 삼묘국을 세운 것으로 여겨진다. 그 나라의 모습과 위치는 『산해경』 등에 적혀 있다. 삼묘가 있었던 지역의 주요 분포는 장강 주변, 둥팅호와 포양호 사이인 것으로 보여지고 있다. 『사기』 본기에는 삼묘의 자손들이 서쪽으로 가서 서융이 되었다고 적혀 있다.
또, 삼묘는 세 자손들이 각각 제홍씨의 혼돈, 소호씨의 궁기, 진운씨의 도철이 되었다고 한다. 이 3명은 사흉으로 불리는 것이기도 하다.
근현대, 삼묘인은 먀오족의 연원이 된다고 말해지고 있지만, 자세한 관련성은 불분명하다.
같이 보기

삼묘인
먀오족
산북로

| 경상북도 지방도 |
| --- | --- |
  928 
산북로
지방도 제928호선의 일부
기점: 경상북도 안동시 문수면
종점: 경상북도 안동시 북후면
산북로(Sanbuk-ro)는 경상북도 안동시 문수면 석탑교에서 안동시 북후면 옹천삼거리까지 이어주는 도로이다.
주요 경유지

안동시 북후면
노선

| 이름> 조제로와 직결 | 접속 노선> 조제로와 직결 | 소재지> 조제로와 직결 | 소재지> 조제로와 직결 | 비고> 조제로와 직결 |
| --- | --- | --- | --- | --- |
| 석탑교 |  | 안동시 | 문수면 |  |
| 석탑교 |  | 안동시 | 북후면 |  |
| 석탑4교 |  | 안동시 | 북후면 |  |
| 석탑3교 |  | 안동시 | 북후면 |  |
| 석탑2교 |  | 안동시 | 북후면 |  |
| 석탑1교 |  | 안동시 | 북후면 |  |
| 비내고개 |  | 안동시 | 북후면 |  |
| 큰두무재 |  | 안동시 | 북후면 |  |
| 웅천1교 |  | 안동시 | 북후면 |  |
| 웅천삼거리 | 북평로 | 안동시 | 북후면 |  |
스기와카 우지무네

스기와카 우지무네(일본어: 杉若氏宗)는 아즈치모모야마 시대의 다이묘이다.
스기와카 에치고노카미의 적남으로 태어났다. 부친과 호리우치 우지요시와 같이 수군으로서 임진왜란에 참전하였다.
수라강

알라티리 근처의 수라강
수라(러시아어: Сура́, 추바시어: Сăр)는 러시아에 있는 강이자, 볼가강의 지류이다. 펜자주, 모르도바 공화국, 울리야놉스크주, 추바시 공화국, 니즈니노브고로드주를 통과한다. 강의 길이는 841 km이며 강어귀로부터 394 km를 항해할 수 있다.
펜자시, 알라티리, 슈메를랴, 야드린이 수라강을 따라 자리잡고 있다. 볼가강과의 합류점에 바실수르스크 촌락이 있다.
삼육부산병원

| --- | --- |
Busan Adventist Hospital
국가: 대한민국
주소: 부산광역시 서구 대티로 170
개원: 1951년 3월 15일 서울위생병원 부산 분원 1955년 4월 15일 부산위생병원 2015년 1월 1일 삼육부산병원
종류: 2차 의료급여기관
웹사이트
https://www.symcb.co.kr/
삼육부산병원은 부산광역시 서구 대티로 170 에 위치한 제칠일안식일예수재림교회 계열 종합병원이다.
연혁

1951년 3월 15일 부산 부용동에 서울위생병원 부산 분원으로 개설
1955년 4월 15일 본관 신축공사 준공. 부산위생병원으로 개칭함.
1970년 4월 1일 병원 본관 증축 준공
1977년 10월 1일 신관 증축공사 준공
1981년 1월 21일 3층 행정부 사무실 준공
1981년 9월 21일 종합병원 개설 허가
1985년 10월 5일 증축 병동 준공.
1999년 12월 22일 신관 신축 준공
2005년 10월 2일 본관 리모델링 완료
2015년 1월 1일 삼육부산병원으로 병원명 변경
2015년 1월 2일 새로운 HI (병원 상징 이미지) 제정
2015년 1월 16일 병원 외부벽 리모델링 완공
2019년 5월 9일 신관 8층 재활전문센터 증축 완공
2019년 6월 20일 신관 9층 증축 완공
같이 보기

삼육서울병원
삼육식품
삼육대학교
스카이 골드 루키

| --- | --- |
제조사: 팬택
시리즈: 팬택 스카이
네트워크: Wi-Fi IEEE 802.11 b/g, 블루투스 2.1, W-CDMA
발매:  2010년 8월 16일
이전 기종: 스카이 웹파이
크기: 세로: 106.0 mm 가로: 55.4 mm 두께: 11.7 mm
무게: 98.6 g
운영 체제: 임베디드 시스템
CPU: 퀄컴 MSM6260
내장 메모리: 144.46 MB
외장 메모리: 마이크로 SDHC 최대 16 GB (기가바이트) 지원
배터리: 착탈식 리튬 이온 배터리 1,000 mAh
데이터 입력: 감압식 터치스크린
디스플레이: 3.2" TFT-LCD 240 × 400 (WQVGA)
후면 카메라: 300만 화소, AF
연결: USB 2.0
팬택 스카이 골드 루키(Pantech SKY Gold Rookie)는 팬택이 2010년 8월 16일에 출시한 피처폰이다. 사회 초년생을 타깃으로 명함인식, 단체문자 도우미, 와이파이(인터넷 및 인터넷전화) 등의 3가지 특화 기능을 갖추었다.
팬택에서 출시한 KT의 마지막 피처 폰이다.
서던알프스산맥

마운트 쿡
서던알프스산맥(영어: Southern Alps)은 뉴질랜드 남섬을 형성하는 "등뼈"에 해당하는 산맥으로 유럽의 알프스산맥과 그 모습이 닮아 서던 알프스라는 이름이 붙여졌다.
지리

서던알프스산맥은 남북으로 450km에 걸쳐 뻗어있으며, 최고봉은 쿡산(Mt. Cook)으로 해발 3,754m의 뉴질랜드 최고봉이다. 2위는 어스파이어링산(Mt. Aspiring)으로 3,033m이다. 아오라키 마운트쿡 국립공원과 웨스트랜드 국립공원, 마운트 어스파이어링 국립공원, 피오르드랜드 국립공원이 있다.
크레이기번산맥의 해밀턴봉 정상에서 본 서든 알프스의 파노라마
에도 포른

| 에도 포른 北斎漫画 Hokusai manga Edo Porn |
| --- | --- |
감독: 신도 카네토
출연: 오가타 켄, 니시다 토시유키, 다나카 유코
음악: 하야시 히카루
개봉일:  1981년 9월 12일 (1981-09-12)  (일본)
시간: 119분
국가: 일본
언어: 일본어
에도 포른(北斎漫画, Hokusai manga, 호쿠사이 망가, Edo Porn)은 일본에서 제작된 신도 카네토 감독의 1981년 드라마 영화이며, 가쓰시카 호쿠사이의 생애를 주제로 한다. 오가타 켄 등이 주연으로 출연하였다.
출연 > 주연

오가타 켄
니시다 토시유키
다나카 유코
군사재판

군사재판(軍事裁判)은 군대내에 설치된 군사법원에서 군형법 등 군법을 어긴 범죄자에 대하여 유죄 및 무죄의 여부와 형량을 선고를 하는 형사재판이며, 형사재판 이외에는 불명예전역 관련 소송 건만 가능한 재판이다. 따라서 군법에 위반된 형사재판과 당사자가 불명예전역 관련 재판만 하며 민사재판 등 다른 종류의 재판은 하지 않는다.
대상은 군형법에 규정되어 있는 군인 및 준군인이 범죄를 하였을때와 군형법에서 민간인이나 외국인이 위반하면 적용대상이 되는 군범죄를 범한 민간인이나 외국인이다. 군사법원에서 재판한다.
3심제

3심제 채택: 일반군사법원 -> 서울고등법원 -> 대법원



계엄령(戒嚴令)등에 의하거나 전시상황이 아닌 경우에는 군사재판이라고 할지라도 3심재판을 하는 것을 원칙으로 하고있다. 그러나 계엄령 및 전시상황이라 할지라도 사형에 해당하면 3심재판이 원칙이다.

1심인 일반군사법원은 국방부는 국방부내에, 육군은 사단급 이상 부대에, 해군은 함대급 이상 부대에, 공군은 비행단급 이상 부대에 각각 설치하여 운영하고 있었으나 5개 지역군사법원에서 1심을 맡게된다.단 입대전 범죄와 군인 성범죄 그리고 군인사망사건의 원인이 되는 범죄는 1심부터 민간경찰 관할에, 일반법원이 담당한다.

2심은 서울고등법원에서 담당한다. 과거에는 고등군사법원은 국방부에 설치하여 운영하고 있었으나 개편되어서 서울고등법원이 항소심을 맡는다.

3심은 여타 재판과 마찬가지로 대한민국 최고법원인 대법원에서 관할하도록 되어있다.
재판대상

원칙적으로 군사재판의 피소대상은 군인(병사, 부사관, 장교)과 군무원이며, 군인신분으로 복무하는 동안에만 기소를 할 수 있다. 단 해당 군인이 입대하기 전에 발생한 사건 및 군인이 저지른 성범죄와 군인 사망의 원인이 되는 사건은 민간 경찰 및 민간법원 관할이다. 전역한 이후에는 군 형법을 통하여 고소할 수 없으며, 군 복무기간에 발생한 위법한 사항에 대하여는 별도로 형사재판이나 민사소송을 통하여 구제가능하다. 군사재판은 군인 및 군무원에만 적용될 수 있지만, 예외적으로 군사기밀보호법 위반, 초병·초소·유독음식물공급·포로·군용물에 관한 죄를 범한 경우 혹은 비상계엄이 선포된 경우에는 군사법원에서 재판을 관할할 수 있다.
재판관

재판관은 법무병과의 군판사(軍判事)와 일반 심판관(審判官)으로 구성된다.

- 고등군사법원: 군판사 3명 (특별한 경우 심판관 2인 관여)

- 보통군사법원: 군판사 2명 + 심판관 1명
군판사는 국방부장관이나 각군 참모총장이 군법무관중에 지명할 수 있으며, 심판관은 군의 특수성을 재판에 반영하기 위하여 일반 장교 중에서 선발된다.

이번 윤병장 사건에서 볼 수 있듯이, 재판은 일반인들에게도 공개하여 진행할 수 있다.
배심 제도

일반 사회의 국민참여재판과 비슷한 구조로 군사재판에서도 배심제도 도입이 입법예고되었다.
배심원 선정시 관할 군사법원 구역에 있는 장병들을 무작위로 선정하도록 했으며 당해 사건과 일정한 관계가 있는 경우 및 군법무관 및 군 사법 경찰관(군사경찰 포함)는 배심원이 될 수 없도록 했다.
또한 군 사회의 특수성을 감안해서 아래와 같은 배심원들로 구성이 된다.
피고인이 장관급 장교(장군 및 제독)인 경우에는 각 군 참모총장을 제외한 장관급 장교(준장-대장)로 배심원을 구성한다.
피고인이 장교인 경우에는 장교로 배심원을 구성한다.(소위-대령.영관급은 영관급끼리 위관급은 위관급끼리 배심원을 맡는다.)
피고인이 군무원인 경우에는 군무원으로 배심원을 구성한다.
피고인이 부사관(하사-선임원사)인 경우 부사관으로 구성한다.
피고인이 준사관(준위)인 경우 준사관으로 구성한다.
피고인이 병인 경우 1/3 이상을 병(이병-병장)으로 구성하며 이 중 절반은 분대장 직책을 가진 상병.병장으로 구성된다. 나머지는 부사관(하사-선임원사)으로 구성한다.
형량감형권

형량감형권이란 군단장급 이상 장교가 1심 재판의 판결결과에 대하여 소속 부대원들의 형량을 자의적으로 감형해줄 수 있는 권한을 말한다.

다만 형량감형권이 매우 자의적이고 명확한 지침이 없는 만큼 폐지되거나 공개되어야 한다는 의견이 예전부터 지속적으로 요구되어왔으나, 군은 계속적으로 이를 묵살하고 있다.
재판의 효력

재판의 효력은 일반재판과 동일하게 진행된다.
형의 집행

군사법원에서 정해진 형에 따라서 형을 집행하게 되며, 형이 확정된 경우 전부 병적에서 제적되며 장교는 국군교도소에서 정해진 형을 마칠 때까지 수감생활을 하며 이 외 부사관.병은 전부 법무부 소속의 민간교도소로 이감이 된다. 사형이 확정된 경우는 법무부 소속의 교도소로 이감이 되지 않고 국군교도소 내에서 수감생활을 하다가 군형법 제 3조에 따라 소속군 참모총장 또는 군사법원의 관할관이 지정한 장소에서 총살형에 처해진다. 징역 혹은 금고형일 경우에는 군 내에서 저지른 범죄에 한해서 1년 6개월 미만인 경우에는 국군교도소에서 수감생활을 하게 된다. 자격정지 이상의 형량이 나올 경우 장교, 부사관, 군무원은 지위를 상실하게 된다.

군 교도소라고 할지라도 군수형자가석방심사등에관한규칙에 따라 모범수는 가석방이 가능하다.



전쟁 중이거나 종전 후 전쟁범죄를 범한 범죄자(주로 패전국의 수뇌부)를 재판하는 것도 군사재판에 해당하는 데 이들의 재판은 전범재판으로서 별도로 분류하기도 한다.
같이 보기

군범죄
군형법
군사법원
군법회의
대한민국 군형법의 범죄 목록
샤프 아쿠오스 206SH

| --- | --- |

제조사: 샤프 (기업)
시리즈: 아쿠오스 폰
네트워크: SoftBank 3G ( W-CDMA · 900MHz 대역 지원) GSM SoftBank 4G ( AXGP ) EDGE IEEE 802.11a/b/g/n/ac ( Wi-Fi 인증)
발매:  일본 2013년 6월 28일
형태: 바(bar)
크기: 가로: 71mm 세로: 140mm 두께: 9.9 mm
무게: 159g
운영 체제: 안드로이드 4.2 젤리빈
UI: 샤프 필 UX
CPU: 퀄컴 스냅드래곤 600 APQ8064T 1.7 GHz 쿼드코어
GPU: 퀄컴 아드레노 320
RAM: 2 GB DDR2 SDRAM
내장 메모리: 32 GB
외장 메모리: 마이크로SD/SDHC/SDXC
배터리: 착탈형 리튬 이온 폴리머 배터리 3,080 mAh
센서: 나침반 지자기 센서 가속도 센서 자이로스코프 센서 근접 센서 조도 센서
데이터 입력: 정전식 터치스크린
디스플레이: 5" IPS LCD) 1,080 x 1,920 (1080p HD) 화소 밀도 440 ppi 16777216 (224(24 비트)) 색상
외부 디스플레이: HDMI
후면 카메라: 1300만 화소 최대 1080p HD급 동영상 촬영 최대 30 fps급 동영상 촬영 AF/MF LED 플래시
전면 카메라: 207만 화소 BSI CMOS 센서 최대 1080p HD급 동영상 촬영 AF
연결: Micro USB (호스트 MHL 공유) Miracast 3.5mm 이어폰 단자 탁상 홀더 용 전원 단자
아쿠오스 폰 206SH(일본어: アクオスフォン)는 2013년 6월 28일 샤프전자가  일본에 출시한 풀 HD 스마트폰이다.
연혁

2013년 5월 : 제품 발표 소프트뱅크 모바일 발표
2013년 6월 : 제품 출시  일본
경쟁 기종

소니 엑스페리아 Z
HTC 원
화웨이 어센드 D2
ZTE 누비아 Z5
삼성 갤럭시 S4
LG 옵티머스 G 프로
삼호정

| --- | --- |
 영동군의 향토유적

종목: 향토유적 제15호  (1996년 4월 15일 지정)
위치
영동 598영동 598(대한민국)
주소: 충청북도 영동군 양강면 묵정리 598
좌표: 북위 36° 07′ 46″ 동경 127° 41′ 56″﻿ / ﻿북위 36.12944°  동경 127.69889° ﻿ / 36.12944; 127.69889
삼호정(三乎亭)은 대한민국 충청북도 영동군 양강면에 있다. 1996년 4월 15일 영동군의 향토유적 제15호로 지정되었다.
개요

묵정리 외마포 삼거리 인근에 위치한 정자로 1860년 성대식이 건립하였다.
| v t e대한민국의 누각과 정자 |
| --- | --- |
서울:  경회루  낙천정  망원정  보신각  부용정  봉황각  석파정  세검정  아소정  오운정  용양봉저정  용왕정  탑골공원 팔각정  향원정  효사정  황학정 
부산:  망미루  모연정  영가대  해월정 
대구:  관수정  동계정  봉무정  소계정  수월루  압로정  이노정  태고정  하목정  원호루 
인천:  연미정 
광주:  만귀정  만취정  부용정  양과동정  취가정  풍암정  풍영정  호가정  환벽당 
대전:  백운루  삼매당  옥류각  취백정 
울산:  태화루  효사정 
세종:  금벽정  독락정 
경기:  금수정  대성원  반구정  보산정  백인대  봉황정  사은정  산영루  세심정  애련정  영월루  육괴정  택승정  항미정  화석정 
강원:  경포대  고석정  금강정  금란정  방해정  소양정  오성정  요선정  운암정  월파정  의상대  자규루  조양루  죽서루  천학정  청간정  학음정  해암정  합강정  해운정  호해정 
충북:  가학루  관란정  관어대  강선대  경호정  금남루  금병헌  금호루  낙건정  독락정  동고정  무농정  봉양정  빙옥정  삼호정  세심정  양신정  여의정  월송정  읍청루  응청각  채하정  청녕각  추월정  침강정  탁사정  팔영루  한벽루  한천정  함벽정(영동)  함벽정(청주)  화수루  화수정 
충남:  공북루  광복루  경이정  노은정  반월루  백화정  사송정  사자루  쌍수정  석송정  수북정  여민루  여하정  영남루  영일루  우화루  원산정  이수정  임리정  진남루  청허정  팔괘정  화암정 
전북:  고무정  광제정  광한루  구암정  귀래정  낙덕정  만취정  무진정  벽계정  벽남정  사계정  서벽정  석탄정  송정  쌍계정  수덕정  수선루  수운정  쌍벽루  아석정  어은정  어필각  연파정  영광정  영모정  영월정  양요정  오괴정  오리정  운서정  월파정  육모정  자락정  자천대  추천대  취석정  태고정  퇴수정  풍욕정  피향정  학남정  한벽당  한정  한풍루  함벽루  함벽정 
전남:  거연정  고사정  관어정  광풍각  금사정  기영정  기오정  낙민루  남극루  남휘루  남희정  독수정  동백정  만옹정  만호정  면앙정  명옥헌  문일정  물염정  방춘정  방호정  벽류정  벽파정  부춘정(영암)  부춘정(화순)  사인정  상월정  석문정  세연정  소산정  송강정  송석정  식영정(담양)  식영정(무안)  쌍계정  압구정  양벽정  여택정  연계정  영벽정  영보정  영팔정  용호정  운조루  운흥정  자형정  장범루  장암정  장춘정  정수루  죽림정  척서정  청계정  초연정  침계정  침류정  하구정  한후정  함허정  호은정  환산정  회사정  회선정 
경북:  경체정  관가정  관덕정  갈운정  경수정  귀래정  귀애정  금운정  낙강정  남경대  뇌풍정  대은정  도암정  동계정  동호정  만귀정  만세루  만우정(안동)  만우정(청송)  만휴정  망미정  망양정  매학정  모운정  모은정  방초정  백운정  병산정  벽송정  벽절정  봉송정  봉황대  부나원루  분옥정  사미정  산수정  삼괴정  삼귀정  삼휴정  선몽대  소류정  소원정  송만정  수봉정  시북정  만취정  야일당  야옹정(봉화)  야옹정(예천)  약천정  영이정  옥간정  위천정  월송정  용암정  일신재  일우정  조양각  찬경루  천운정  청간정  청암정  청원루  체락정  체화정  초간정  취담정  침락정  침류정  쾌재정  탁청정  태고정  파산정  포석정  한수정  화수루 
경남:  거연정  건계정  계림정  관수루  관수정  광암정  광풍루  교수정  군자정  동호정  기양루  농산정  농월정  뇌룡정  망경루  무진정  문암정  벽한정  봉명정  부사정  부용정  비봉루  삼은정  소천정  심소정  쌍계루  수암정  심원정  악양루  악양정  연화대  영남루  오연정  완재정  요수정  우곡정  월연정  일원정  정암루  청학루  촉석루  취수정  팔영루  학사루  함벽루  함화루  현산정  호연정 
제주:  관덕정  연북정
삼육보건대학교

| --- | --- |
표어: 진리, 사랑, 봉사
종류: 사립 전문대학
설립: 1936년 4월 경성요양병원 부속간호원 양성소 1943년 해산  1945년 서울위생병원 부속간호고등학교 1978년 전문대학 삼육간호전문대학
종교: 제7일안식일예수재림교
총장: 박주희
부총장: 김예진
설립자: 유제한
학교법인: 삼육학원
국가: 대한민국
위치: 서울특별시 동대문구 망우로 82
상징물: 백송
웹사이트: http://www.shu.ac.kr
삼육보건대학교(三育保健大學校, Sahmyook Health University College)는 대한민국 동대문구에 위치한 전문대학이다. 2007년 5월 삼육간호보건대학에서 삼육보건대학으로 교명을 변경하였다.
연혁

1936년 4월 : 경성요양병원 부속간호원 양성소로 유제한에 의하여 창립. 초대소장 어네스틴길 소장 취임.
1943년 5월 : 양성소 해산
1947년 11월 : 8.15 광복 후 서울위생병원이 재개원하여 병원부속간호고등학교로 개칭함.
1948년 6월 : 서울위생병원 부속 간호고등학교로 개칭인가.
1951년 2월 : 1.4후퇴로 제주도로 피난, 성산포에 임시 개교
1951년 9월 : 서울 수복과 동시에 서울로 복귀
1952년 3월 : 서울위생병원 부속고등간호학교 제1회, 제2회 합동졸업식
1958년 : 서울위생병원부속간호고등기술학교로 문교부 인가
1962년 1월 : 서울위생병원 간호학교로 개칭인가
1973년 12월 : 서울위생간호학교를 위생간호전문학교로 승격 인가
1977년 11월 : 삼육간호전문학교로 교명변경
1978년 12월 : 삼육간호전문대학으로 승격
1984년 3월 : 서울 노원구 공릉동 223의 삼육대학교 구내에서 강의
1990년 12월 : 신축교사 준공
1991년 3월 : 서울 동대문구 휘경2동 29-1에서 강의
1997년 1월 : 교사 1개동 증축
1998년 6월 : 삼육간호보건대학으로 교명 변경
1999년 4월 : 교사 9개동 증축
2003년 4월 : 도서관 및 체육관 준공
2007년 5월 : 삼육보건대학으로 교명 변경
2007년 7월 : 도서관 개축 (백송관)
2008년 12월 : 학생회관 리모델링
2012년 4월 : 삼육보건대학교로 교명 변경
개설학과

| 4년제 | 3년제 | 2년제 |
| --- | --- | --- |
|  간호학과 |  치위생과 |  뷰티융합과  사회복지과  아동보육과  의료정보과 |
샤프 아쿠오스 패드

| --- | --- |

제조사: 샤프 (기업)
시리즈: 아쿠오스 폰
네트워크: 3G : FOMA ( W-CDMA ) 2G : GSM 3.9G : Xi 3G : FOMA ( HSDPA · HSUPA ) 2G : GSM 무선 LAN (IEEE 802.11a/b/g/n/ac)
발매:  일본 2013년 7월 
형태: 바(bar)
크기: 가로: 190 mm 세로: 107 mm 두께: 9.9 mm
무게: 285g
운영 체제: 안드로이드 4.2 젤리빈
UI: 샤프 필 UX
CPU: 퀄컴 스냅드래곤 600 APQ8064T 1.7 GHz 쿼드코어
GPU: 퀄컴 아드레노 320
RAM: 2 GB DDR2 SDRAM
내장 메모리: 32 GB
외장 메모리: 마이크로SD/SDHC/SDXC
배터리: 내장형 리튬 이온 폴리머 배터리 4,200 mAh
센서: 나침반 지자기 센서 가속도 센서 자이로스코프 센서 근접 센서 조도 센서
데이터 입력: 정전식 터치스크린
디스플레이: 7" IPS LCD) 1,080 x 1,920 (1080p HD) 화소 밀도 440 ppi 16777216 (224(24 비트)) 색상
외부 디스플레이: HDMI
후면 카메라: 810만 화소 최대 1080p HD급 동영상 촬영 최대 30 fps급 동영상 촬영 AF/MF LED 플래시
전면 카메라: 210만 화소 BSI CMOS 센서 최대 1080p HD급 동영상 촬영 AF
연결: USB 2.0/MHL 2.0/HDMI 마이크로 5핀 통합 단자 3.5 mm 미국식 TRRS (4극) 폰 커넥터
아쿠오스 패드(일본어: アクオスパッド)는 2013년 7월 샤프전자가  일본에 출시한 태블릿 컴퓨터이다.
연혁

2013년 4월 : 제품 발표  일본
2013년 7월 : 제품 출시  일본
경쟁 기종

소니 엑스페리아 태블릿 Z
아이패드 (4세대)
아이패드 미니
삼성 갤럭시 노트 8.0
스코틀랜드 U-17 축구 국가대표팀

스코틀랜드 U-17 축구 국가대표팀(스코트어: Nederlands voetbalelftal onder 17)은 스코틀랜드을 대표하는 17세 이하의 축구 국가대표팀으로, 스코틀랜드의 축구 관리 기관인 스코틀랜드 축구 협회의 관리를 받는다. UEFA U-17 축구 선수권 대회에 5번 참가해 2014년에 준결승에 올랐으며, 1989년 FIFA U-17 월드컵에서는 준우승을 기록했다.
계산 가능성 이론

은 여기로 연결됩니다. 다른 뜻에 대해서는 재귀 이론 (동음이의) 문서를 참고하십시오.
계산 가능성 이론(計算可能性理論, 영어: computability theory) 또는 재귀 이론(再歸理論, 영어: recursion theory)은 수학기초론의 중요한 분야이자 컴퓨터 과학에서는 계산 이론의 한 갈래이다.
계산 가능성 이론의 기초는 가산 집합 상에서 함수의 해를 찾는 문제와 관련이 있다. 1930년대 불완전성 정리와 함께 람다 대수와 튜링 기계라는 계산 모형이 만들어지면서, 어떤 집합이 효율적으로 계산 가능한지의 문제는 실질적으로 그 집합을 효율적으로 계산해 내는 함수를 만들어 내는 것과 같은 일이 되었다. 계산 가능성 이론의 초기 성과는 이들 집합을 계산적으로 동치인 것들로 묶어 위계로 분류한 것이다. 수학적으로 유한히 정의된 함수를 계산 가능성에 따라 분류했을 때 어떤 함수의 계산 가능성 문제를 다른 함수(다른 함수들)의 문제로 환원할 수 있다는 것을 보임으로써, 굳이 알고리즘 자체를 증명에 끌어들이지 않고도 계산 가능성을 증명할 수 있는 것이다. 이에 따라 대안적인 공리계를 모색하기 위한 이론적 토대가 마련되었고, 수리논리학과 증명론에서 직관주의가 입지를 공고히 했으며, 유형 이론과 고차 논리, 자연 연역, 헤이팅 대수의 비약적 발전에 영향을 주었다.
계산 복잡도 이론에서는 계산 가능한 집합을 그 함수의 해를 찾는 효율적인 알고리즘에 의해 소모되는 시공간적 자원의 추세를 토대로 분류한다. 이에 따라 계산 복잡도 이론과 계산 가능성 이론 중 어느 쪽이 상위의 개념인지에 관해 다소 논쟁이 있다.
소개

컴퓨터 과학의 핵심과제는 컴퓨터로 푸는 문제들을 이해하여 연산장치의 한계를 밝히는 것이다. 현대의 연산장치는 거의 무한대의 계산능력을 지닌 것처럼 보인다. 그래서 충분한 시간이 있으면 우리는 어떤 문제든 컴퓨터로 풀 수 있을 거라고 생각하기 쉽다. 그러나 문제가 쉬워 보이고 또 엄청난 자원이 주어졌다고 해도 컴퓨터의 계산능력에는 한계가 있으며 한계성을 증명할 수 있다.
컴퓨터 과학자들은 이 분야를 연구하기 위해 주로 컴퓨터가 다음 문제를 대답할 수 있는지에 역점을 둔다.
주어진 언어를 소수(2,3,5,7,11...) 길이의 문자열 집합이라고 정의하자. 그러면 어떤 문자열이 주어진 언어의 원소인지는 주어진 문자열의 길이가 소수인지와 같은 문제가 된다. 다른 예로 회문의 집합이나 'a'로만 이루어진 모든 문자열의 집합 등을 생각할 수 있다. 컴퓨터가 이러한 문제를 다루는 경우는 매우 흔하다.
그렇다면 어떤 관점에서 문제가 어려운지를 판단해야 하는가? 특정한 문제가 컴퓨터로 풀기에 얼마나 난해한지를 어떻게 정의할 것인가? 이러한 물음에 답하는 것이 계산가능성 이론의 목적이다.
계산 모형

계산 가능성 이론의 핵심과제를 풀기 위해서는 먼저 컴퓨터를 정의해야 한다. 계산에 쓰이는 많은 모형중에서도 가장 널리 알려진 모형은 튜링 기계이며 현존하는 가장 강력한 모형이다. 여기에 다음과 같은 다른 형태의 모형도 존재한다.
계산모형의 계산능력

앞서 말한 계산 모형들이 어떤 종류의 형식 언어를 표현할 수 있는지에 따라 각 모형의 한계를 알 수 있다.
계산모형의 계산능력 > 유한상태기계의 계산능력

컴퓨터 과학자들은 유한 상태 기계 모형을 만족하는 기계가 받아들일 수 있는 언어를 정규 언어라 한다. 유한 상태 기계에서 가능한 상태는 유한개이다. 따라서 어떤 언어가 정규 언어가 아니라는 것을 보이기 위해서는 그 언어를 표현하기 위해 무한개의 상태가 필요하다는 것을 보여야 한다.
예를 들어 a 와 b를 같은 개수만큼 포함하는 문자열들의 집합을 생각해 보자. 이 언어가 유한 상태 기계 모형으로 다룰 수 없다는 것을 보이기 위해 그런 기계  M 이 있다고 하자.  M 은 유한하므로 상태의 수를  n 개라 할 수 있다. 한편 앞에 a가  (n+1) 개, 뒤에 b가  (n+1) 개 있는 문자열  x를 생각하자.
기계  M 이 문자열  x를 읽어 들이면 문자열 'a'를 읽을 때 적어도 한 상태를 두 번 거치게 된다. 'a'가  (n+1) 개 있고 상태가  n 개 있으므로 비둘기집 원리를 적용할 수 있기 때문이다. 이 상태를  S 라 하자. 그리고 상태  S 가 처음 나온 때로부터 두 번째 등장할 때까지 읽은 'a'의 개수를  d 라 하자. 즉,  S에서 d 만큼의 'a'를 받아들였을 때 다시  S 상태가 된다는 것이고 따라서 기계가  (n+d+1) 개의 'a'문자를 읽든  (n+1) 개의 'a'를 읽든 최종에는 같은 상태가 된다. 이는 곧 기계가 문자열  x를 받아들인다면,  (n+d+1) 개의 'a'와  (n+1) 개의 'b'로 구성된 문자열도 받아들인다는 것이다. 이것은  M 이 'a'와 'b'가 같은 개수가 있는 문자열만 받아들인다는 데서 모순이 된다.
따라서 이 언어는 어떤 유한 상태 기계로도 표현할 수 없으며 따라서 정규 언어가 아니다. 더 일반적인 형태로 보이기 위해서 정규 언어에 대한 펌핑 렘마를 쓰는데, 많은 언어들이 유한 상태 기계로 나타낼 수 없다는 것을 보이는 데 쓰인다.
아마 많은 사람들이 이 결과를 의아하게 생각할 것이다. 이러한 언어를 인식하는 프로그램을 컴퓨터로 작성하는 것이 매우 쉽기 때문이다. 하지만 위에서 데스크톱 PC 등 현존하는 모든 컴퓨터들이 유한 상태 기계라고 말하였다. 이것은 컴퓨터에도 엄연히 컴퓨터의 메모리 용량 같은 제한이 존재하기 때문이다. 문자열의 길이가 길어지면 문자의 개수를 세는 데 컴퓨터의 메모리 용량을 다 쓸 것이고, 결국 바닥나 오버플로우할 것이다. 아무리 많은 문자열을 인식할 수 있다고 해도 결국 인식할 수 없는 문자열이 있다. 이러한 사실들은 정규 언어가 어떻게 데스크톱 PC 등에 적용되는지를 이해할 수 있게 해 준다.
계산모형의 계산능력 > 내리누름 오토마타의 계산능력

컴퓨터 과학자들은 내리누름 오토마타로 받아들일 수 있는 언어를 문맥 자유 언어라 정의한다. 이 언어는 문맥 자유 문법으로도 표현할 수 있다. 앞에서 'a'와 'b'가 같은 개수만큼 있는 언어는 정규 언어가 아니라고 하였는데, 내리누름 오토마타로는 표현할 수 있다. 일반적으로 내리누름 오토마타가 유한 상태 기계처럼 동작할 수 있고 따라서 정규 언어를 받아들인다. 그러므로 이 계산 모형은 유한 상태 기계보다 더 강력하다.
하지만 내리누름 오토마타로도 표현할 수 없는 언어가 있다. 정규 언어에서와 비슷하게 찾을 수 있는데, 예로는 소수의 집합이 있다(상세히 설명하지는 않겠다.) 정규 언어와 비슷하게, 문맥 자유 언어에 대한 펌핑 렘마도 있다.
계산모형의 계산능력 > 튜링 기계의 계산능력

튜링 기계는 모든 문맥 자유 언어를 표현할 수 있으며 내리누름 오토마타로 표현할 수 없는 언어도 표현할 수 있다. 예를 들어 소수로 이루어진 언어를 표현할 수 있다. 따라서 이 모형은 앞의 두 모형보다 더욱 강력하다.
튜링 기계는 자신의 입력 테이프에 내용을 저장하는 기능이 있기 때문에 긴 시간이 주어진다면 다른 계산 모형으로는 할 수 없었던 일들을 할 수 있다. 튜링 기계는 어떤 입력에 대해 영원히 멈추지 않을 수 있다. 만약 튜링 기계가 모든 입력에 대해서 멈추고 결과를 출력한다면 언어를 결정한다라고 하고 그 언어를 순환 언어라 한다. 만약 튜링 기계가 언어의 원소에 대해서는 항상 멈추고 결과를 출력하지만 언어 밖의 문자열에 대해서는 멈추지 않을 수도 있다면 그 언어를 순환 열거 언어라 한다.
튜링 기계로는 많은 일을 할 수 있다. 많은 이들이 튜링 기계 이상의 기계를 만들어내려 노력했지만 모두 실패하였다. 예를 들어 튜링 기계의 테이프 수를 늘려 2-3차원 무한 영역으로 확장한다 하더라고 이것은 1차원 테이프로도 구현할 수 있다. 이런 모형들은 튜링 기계보다 더 편리할 수는 있지만 더 강력하지는 않다. 사실상 튜링 기계 이상의 합리적인 계산 모형이 없다는 것을 처치-튜링 명제를 통해 추측할 수 있다. 튜링 기계 이상의 기능을 갖는 계산 모형들이 많이 제안되었지만, 대체로 비현실적이거나 비합리적인 것 같다 (아래를 참고).
튜링 기계는 계산 가능성의 한계에 대한 질문에 답할 수 있는 매우 강력한 도구이다. 그렇다면 이제 어떤 질문을 해야할 것인가? 두 가지 질문을 제시한다.
순환 열거 언어나 순환 언어가 아닌 언어가 존재하는가?
순환 열거 언어조차 아닌 언어가 존재하는가?
계산모형의 계산능력 > 튜링 기계의 계산능력 > 정지 문제

이 부분의 본문은 정지 문제입니다.
컴퓨터 과학에서 가장 중요한 문제들 중 하나인 정지 문제는 '튜링 기계와 입력이 주어져 있을 때 튜링 기계가 이 입력에 대해 유한시간 내에 계산을 끝내고 멈출 것인가 아니면 영원히 멈추지 않을 것인가'를 판별하는 문제이다. 평소에 컴퓨터가 어떻게 다루어지는가와, 계산 가능성 이론에 대한 핵심적인 부분을 다루고 있다.
이것은 소수의 개수나 회문과 같은 단순한 문제와는 달리 튜링 기계가 다른 튜링 기계에 대한 물음에 답할 수 있도록 해야한다. 이런 동작을 하는 튜링 기계를 설계하는 것이 불가능하다는 것을 보일 수 있다. (정지 문제 참고)
사실 주어진 프로그램이 어떤 입력에 대해 정지하는지를 아는 일반적인 방법은 단순히 작동시켜보고 멈추는지를 보는 수밖에 없다. 만일 멈춘다면 그 기계가 멈춘다는 것을 알 수 있다. 하지만 멈추지 않는다면 이 기계가 언젠가 멈출지 아닐지 알 수 없다. 정지 언어(튜링 기계와 그 기계를 멈추는 입력의 모든 순서쌍 집합)는 순환 언어가 아니다. 따라서 정지 문제는 계산 불가능 혹은 결정 불가능하다.
정지 문제의 확장으로 라이스의 정리가 있는데, 이 정리에 따르면 어떤 튜링 기계가 수락하는 언어가 자명하지 않은 성질을 가지는지 아닌지는 결정 불가능하다.
계산모형의 계산능력 > 튜링 기계의 계산능력 > 순환 언어를 넘어서

정지 문제에 대응되는 언어는 순환 열거 언어이다. 작동시켰을 때 튜링 기계가 그 입력에 대해 멈춘다면 기계가 멈춘다는 사실을 그 시점에서 알게 되기 때문이다. 그러나 순환 열거 언어조차 아닌 언어도 존재하며, 그 예를 들 수 있다.
순환 열거 언어가 아닌 언어로는 정지 언어의 여집합(튜링 기계와 그 기계를 멈추지 않는 입력의 모든 순서쌍 집합)이 있다. 이 언어가 순환 열거 언어가 아니라는 것을 보일 것이다. 멈추는 튜링 기계를 입력으로 받으면 영원히 멈추지 않고 나머지 경우에는 항상 멈추는 튜링 기계  M 이 있다고 가정하자. 그러면 시분할 기법을 이용하여 튜링 기계를 입력으로 하여  M 을 동작시키면서 동시에 입력으로 받은 기계를 동작시키는 기계  M' 을 만들 수 있다. 만약 입력된 튜링 기계가 멈추지 않는다면  M 이 멈추고 만일 입력된 튜링 기계가 멈춘다면  M'에서 입력으로 받은 기계를 동작시키는 부분이 멈출 것이다. 즉,  M'의 두 스레드 중 적어도 하나는 멈춘다. 따라서  M' 은 정지 문제를 판정할 수 있는 기계이며 이것은 정지 문제가 결정 불가능하다는 데서 모순이다. 따라서 정지 언어의 여집합은 순환 열거 언어가 아니다.
가상의 계산모형

처치-튜링 명제를 통해, 튜링 기계보다 더 강력하면서 논리적인 모형은 없다고 추측할 수 있다. 그러나 비논리적인 모형은 생각할 수 있는데, 여기서 몇몇 모형을 살펴볼 것이다. 컴퓨터 과학자들은 많은 종류의 초계산기(hypercomputer)를 생각해냈다. 재귀 이론은 수리논리학의 한 갈래로 이런 계산 모형들을 엄밀하게 다룬다.
가상의 계산모형 > 무한실행

어떤 기계가 단계를 수행하는 데 전 단계의 반만큼의 실행 시간이 걸린다고 하자. 만일 처음 단계의 실행 시간을 1이라고 둔다면 총 실행시간은
이 된다. 이 무한급수는 2로 수렴하고, 따라서 이 튜링 기계는 2의 실행 시간 내에 무한 실행이 가능하다. 이 기계는 '무한히' 실행해보는 것을 통해 정지 문제를 판정할 수 있다.
가상의 계산모형 > 신탁 기계

이 부분의 본문은 신탁 기계입니다.
신탁 기계는 결정 불가능한 문제를 풀어내는 특정한 '신탁'에 접속할 수 있다. 예를 들어 '정지 신탁'을 가진 튜링 기계는 임의의 튜링 기계와 입력에 대해 정지 문제를 바로 판정할 수 있다.
가상의 계산모형 > 초월계산의 한계

이런 기계들이 기존의 한계를 벗어난 것처럼 보여도 다시 각각의 한계를 찾을 수 있다. 이런 기계들이 튜링 기계에 대한 정지 문제를 판정할 수는 있지만 그 기계들 사이의 정지 문제는 결정 불가능하다. 예를 들어 신탁 기계는 임의의 신탁 기계가 멈추는지 아닌지를 판정할 수 없다.
계산가능성 이론의 역사

계산가능성 이론은 일차 논리에 그 뿌리를 두고 있으며, 정지 문제 및 재귀와 관련된 많은 문제들은 불완전성 정리와 밀접하게 연관되어 있다. 다비트 힐베르트와 쿠르트 괴델은 일차논리의 기초를 쌓았다. 계산가능성 이론에 앞서 알론조 처치와 스티븐 클레이니는 람다 셈법을 연구했다. 앨런 튜링은 현대 전산학의 아버지라 불릴 수 있을 정도로 계산 가능성 이론과 복잡도 이론의 중대한 기틀을 다졌다. 튜링의 가장 유명한 업적은 튜링 기계를 제안하여 판정 문제를 해결한 것이다.
같이 보기

오토마타 이론
추상 기계
계산 복잡도 이론
계산 가능성 논리
초계산 문제
소울사람들

| 소울사람들 > 기본 정보 |
| --- | --- |
활동 시기: 2012년~
레이블: 지니뮤직
소속사: 마이스타 엔터테인먼트
구성원
배재현 박지용 권태현
소울사람들는 대한민국의 3인조 남성 음악 그룹이다. 《슈퍼스타K 4》에서 TOP 7을 하였다. 이승철의 제안으로 허니브라운의 배재현과 권태현, 팻듀오의 박지용이 새 그룹을 결성한 음악 그룹이다. 박지용은 2013년 5월 발매된 이효리의 5집 음반 MONOCHROME의 "Amor Mio"에 듀엣으로 참가했으며, 소울사람들는 2013년 8월 22일 정규 음반 1st Album으로 데뷔하였다.