hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
모이자! 분노하자! 내려와라 박근혜 시민 촛불 전개
종각에 진입하자 선두 참가자들이 영풍문고 종각본점 앞에서 우회전으로 예정된 경로를 이탈해 조계사 방향으로 직진하기 시작했다. 경찰은 종각역 방면 공평동 일대에서 시위대의 행진을 막았고, 시민과 경찰 간에 대치가 시작되었다. 이에 일부 시민들은 "청와대로 가자"는 구호를 외치며 좌회전으로 전환해 광화문 방향으로 나서고자 했으며, 그 과정에서 경찰의 1차 저지선이 뚫리자 시민 대열은 종로 차로로 나서게 되었다. 경찰 측이 급히 교통을 통제하는 가운데, 7시 55분경 시위대는 교보문고 앞에 설치된 2차 저지선마저 뚫고 광화문 광장에 진입하였으나, 경찰이 세종대왕상 부근에 3차 저지선을 재빨리 다시 설치하면서, 시민들은 이곳에서 최종적인 대치를 이어갔다. 경찰은 시민들이 개별적으로 청와대로 향하는 사태에 대비해 광화문앞 삼거리 양옆에 차벽을 설치하기도 했다.
시민들은 대치 상태에서 "박근혜는 하야하라", "폭력경찰 물러나라", "(경찰은) 비켜라", "평화시위 보장하라" 등의 구호를 연호하였으나, 조직적인 충돌은 벌어지지 않았다. 일부 시민과 경찰과의 몸싸움이 벌어질 때마다 시민들 사이에서 "때리지 말라", "의경 건드리지 마라"는 목소리를 내어 폭력 사태로 번지는 것을 방지하고자 했다. 폭력시위로 변질될 것을 우려하여 앞쪽에 선 시민부터 차례로 앉아 충돌의 기미를 없애려 하였으며, 그 과정에서 경찰과 몸싸움을 벌이려 하는 집회 참가자에게 "싸우지 말고 앉으라"고 소리치기도 했다. 이 과정에서 시민들 사이에 청와대로 강경하게 나서야 한다는 주장과 평화 시위를 유지해야 한다는 주장이 팽팽히 맞섰으며, 평화 시위를 주장하는 시민들은 경찰들의 통로를 보장하기 위해 길을 터주거나 시위대에게 끌려나온 의경에게 격려를 보내기도 했다.
경찰 역시 강경 대응보다는 경고방송을 반복하며 시위대를 최대한 자극하지 않는 쪽으로 방점을 두었다. 오후 8시, 경찰은 "불법으로 도로를 점거해 많은 시민들이 불편을 겪고 있다"는 내용의 방송을 시작했다. 8시 20분부터는 현장에 나선 홍완선 서울 종로경찰서장이 "존경하는 시민 여러분, 나라 사랑하는 마음을 충분히 이해한다"는 내용의 방송을 시작했다. 홍완선 서장은 "도로를 점거하거나 폭력을 행사하는 모습은 중단해달라", "나라를 걱정하는 만큼 성숙한 시민의 모습을 보여달라"고 시위대에 합법 집회를 호소했다. 오후 8시 30분 경 몸싸움이 격화되자 경찰은 시위 참가자들을 향해 "폴리스라인을 넘을 시 캡사이신을 사용하겠다”며 경고하고 살수차를 현장 인근에 대기시키는 조치를 취하기도 했다. 그러나 캡사이신이나 최루액이 실제로 살포되지는 않았으며, 살수차의 물대포 역시 사용되지 않았다.
밤 9시 3분경에는 주한미국대사관 앞에서 20대 남성이 경찰 폭행 혐의로 연행되었고, 시민들이 경찰차 앞을 막아서며 항의하기도 했다. 다만 경찰은 이 남성을 입건한 뒤 석방 후 조사하겠다는 입장을 밝혔다. 9시 10분에는 시위대 한쪽에서 애국가를 부르기 시작하자 시민들이 따라서 부르는 풍경이 전개되기도 했다. 9시 40분경 주최측이 집회 종료를 공식 선언하고, 경찰 측이 이를 근거로 시위대 측에 해산을 요구하였지만 약 천여 명에 달하는 시민들은 현장에 남아 대치를 이어갔다. 10시 50분 경 경찰 측은 해산 방송을 3회 이상 내렸다며, 저항할 경우 현행범으로 체포될 수 있음을 경고하는 방송과 함께 본격적인 강제 해산에 들어갔고, 밤 11시경 세종대로 차로에 운집해 있던 시민들은 대부분 인도로 밀려나게 되었다. 자정에 다다르자 대다수 시민들이 철수하였지만, 시민 100여명이 현장에 남아 다음날 새벽 5시까지 박근혜 퇴진을 촉구하는 시위를 벌였다. 오전 7시쯤 이들 시위대도 자진 해산하면서 모든 집회가 마무리되었다.
모이자! 분노하자! 내려와라 박근혜 시민 촛불 반응과 여파
집회 이튿날인 10월 30일, 서울지방경찰청은 보도자료를 내고 “행진 중 신고된 코스를 벗어나 광화문 광장으로 이동하면서 일반 시민 등 참가 인원이 증가했고 이를 차단하는 과정에서 일부 시위대와 경찰 간에 몸싸움도 있었으나, 경찰은 시민 안전을 위해 끝까지 인내하며 대처했다"며, 홍완선 종로서장의 방송을 언급하며 "시민들께서도 경찰의 안내에 따라주고 이성적으로 협조해 준 것에 대해 감사드린다"는 입장을 밝혔다. 또 "향후에도 성숙한 시민의식으로 준법 집회시위 문화가 정착되기를 기대한다"고 전했다. 민중총궐기 투쟁본부 역시 페이스북 공식 계정을 통해 "29일 촛불집회에 예상인원보다 훨씬 많은 분들이 참가해 주신 점 감사드린다"며, 다음 토요일인 11월 5일 2차 대규모 촛불집회를 진행하고, 12일에는 6차 민중총궐기를 진행한다고 밝혔다. 또한 11월 1일부터 12일까지는 청계광장에서 매일 촛불집회를 진행한다고 밝혔다.
모이자! 분노하자! 내려와라 박근혜 시민 촛불 반응과 여파
한편 청와대는 집회 전날인 28일 박 대통령 주재로 열릴 예정이었던 통일준비위원회 민간위원 오찬 행사를 연기하면서 여론의 동향에 촉각을 기울이는 분위기였고, 집회 당일에는 검찰의 압수수색 시도가 진행되던 사정 속에서 "긴장감 속에 집회 상황을 예의주시하는 분위기"라고 보도되었다. 이튿날인 30일 청와대는 인적 쇄신안을 전격 발표하고, 박근혜 정부의 핵심 인사였던 우병우·안종범 수석과 이른바 '문고리 3인방'의 정호성, 안봉근, 이재만 비서관의 사표를 수리하였다. 당초 이번 주 초중반으로 전망되었던 청와대 개편이 앞당겨진 것은, 전날 촛불 집회에서 '하야', '탄핵'을 요구할 정도로 민심이 급격히 악화되는 정국인 만큼 재빠른 수습조치를 내놓기 위한 것이었다는 분석이 있었다.
모이자! 분노하자! 내려와라 박근혜 시민 촛불 반응과 여파
이밖에도 집회에 참여한 안진걸 참여연대 사무처장은 "3만명 이상의 시민들이 모인 것은 박근혜 대통령에 대한 분노가 극에 달했다는 것을 보여주는 것"이라며 "다음주 토요일 집회에는 10만명 이상의 국민이 참여할 것"이라 말했다. 또 "박 대통령 퇴진 이후 상황에 대해 정치권이 눈치보기를 하고 있을 뿐 국민들은 불안해하지 않는다"며 "박 대통령은 더 무서운 국민의 심판을 당하기전에 퇴진해야 할 것"이라고 밝혔다. 역사학자 이이화는 11월 1일 《경향신문》에 기고한 칼럼에서 주말 집회를 거론하며 "이 기세대로라면 동학농민혁명과 3·1운동, 4·19혁명, 6월 항쟁이 다시 일어날 분위기"라며, "그런 사태가 일어나야 모순의 사회를 바로잡고 국가 기강을 세우며 역사의 정의를 실현하는 길이 될 것"이라 밝혔다. 한편으로 박원순 서울시장은 기자간담회에서 "(지난 주말 집회를 앞두고) 경찰로부터 온 소방용수 협조 요청은 없었다"며, 소방용수시설을 시위 진압 용도로 사용하지 않는다는 내부지침을 내린 만큼 "향후 요청이 오더라도 응하지 않겠다. 원칙대로 하겠다"는 입장을 밝혔다.
모이자! 분노하자! 내려와라 박근혜 시민 촛불 반응과 여파
언론들은 이번 집회가 특정 세력이 주도한 것이 아니라 일반 시민들이 자발적으로 참여한 점, 쇠파이프와 물대포가 등장했던 이전 시위와는 달리 평화롭게 진행된 점에 대해 주목했다. 《경향신문》은 기사 제목으로 "가슴이 터질 듯 스트레스 받고 화가 난다"는 집회 참가자의 표현을 올렸으며, JTBC 역시 "뉴스 보도를 보고 차마 믿겨지지 않아서 나왔다"는 시위 참가자들의 반응을 전했다. 《한국일보》는 "5060이 촛불을 들었다"는 헤드라인을 통해 그간 박근혜 대통령의 우군이나 다름없었던 50, 60대 보수층이 자발적으로 시위에 참여한 점에 주목하며, "전 세대를 아우르는, 자발적 시민이 주체가 된 집회"라 표현하였고 《동아일보》 역시 과거 집회·시위에 참석한 경험이 없는 보수 성향의 시민들이 "난생 처음으로 참석"한 점에 주목하였다. 이와 같은 현상에 대한 이유도 다양하게 분석되었다. 《중앙일보》의 일요신문 〈중앙선데이〉는 시민들이 광장을 찾은 이유가 "분노와 상실감" 때문이라며, "50~60대는 최순실 씨의 전횡 때문에, 10대~30대는 최순실의 딸 정유라 씨를 둘러싼 금수저 논란으로 분노했다"고 분석하였다. 〈이데일리〉는 "정부 불신의 차원을 넘어 대의민주주의 자체에 대한 신뢰까지 송두리째 흔들어 버렸기 때문"이라며, "민주사회의 일원’이란 자긍심이 무너지면서 시민들이 분노를 쏟아내고 있다"는 전문가의 견해를 인용하였다. 이번 시위가 신분배경, 정치이념에 상관없이 공통적인 분노로 발생했다는 점에서 1987년 6월 항쟁과 닮았다는 시각도 있었다. 《한겨레》는 "1987년 민주화운동을 목도하는 듯하다"며, 전국 대학가에서 너나없이 시국선언을 하고 나선 것 등은 민주화 이후 보기 드문 풍경이 되었다고 보았다. 또한 정권을 파수하는 입장인 서울경찰청이 시위대 측에 '나라를 걱정하는 마음'이란 방송을 한 점이나 다음날 보도자료를 낸 점 등으로 태도변화를 보인 것은, 그만큼 박근혜 정권이 정부 안에서도 정통성을 잃고 내파 중이라는 견해를 보이기도 했다.
모이자! 분노하자! 내려와라 박근혜 시민 촛불 반응과 여파
한편으로는 국민의 분노가 예상보다 컸음을 확인하게 되면서, 11월 12일로 예정된 민중총궐기를 비롯한 향후 집회의 양상에 대해 주목하는 언론이 많았다.《한국일보》는 "(주말 집회의) 양상은 이번 사태에 대한 공분의 파고가 예사롭지 않다"고 평가하고, 이번 사태에 대한 "국민 분노의 폭과 깊이가 엄청나다는 사실이 입증됐다"며 "국정농단 심판을 요구하는 목소리는 한동안 이어질 것"이라는 전문가의 견해를 소개하였다. 《동아일보》 역시 "분노를 넘어 우울감, 상실감을 느낀 국민들이 자발적으로 거리로 나온 것"이라며 "이 분노를 잘 달래지 못하면 공격적인 모습이 분출될 가능성도 있다"는 정신의학과 교수의 견해를 실으면서, "'촛불'이 '들불'로 번질지 관심이 집중되고 있다"고 표현하였다. 《한국경제》는 현장에서 들린 구호의 수위가 '하야, 퇴진' 등으로 한층 높아진 점을 들며 "(최순실 게이트의 책임이) 박 대통령 본인에게 있다고 보는 분위기에서는 여론이 쉽게 수그러들지 않을 전망"이라 밝혔다. 또한 오는 12일의 민중총궐기 집회 규모가 얼마나 커질지 관심이며, "이날처럼 일반 시민까지 가세하면 상당한 규모가 될 것"이라 덧붙였다.
모이자! 분노하자! 내려와라 박근혜 시민 촛불 반응과 여파
월요일인 10월 31일, 각 신문은 사설을 통해 주말 집회를 거론하며 대통령의 결단을 성토하였다. 《중앙일보》는 이번 집회를 "이성적이어서 오히려 무서웠던" 집회로 평가하고, 이번 집회는 "극렬하지 않았으나 시위 형태와 내용만으로도 평범한 시민들의 분노와 허탈을 충분히 전달했다"고 보았다. 《한겨레》는 "박근혜 대통령의 퇴진과 하야를 요구하는 촛불시위가 전국의 주말 및 일요일 밤을 점령했다"며 시위 시작일부터 시민의 참여 열기가 뜨겁다고 전하고, "민심은 이미 충분히 드러났다"며 "박근혜 대통령은 명을 재촉하지 말라"고 경고하였다. 《조선일보》는 '심상찮은 시위'라는 제목의 사설을 통해 "많은 시민이 촛불을 들었지만 대다수의 진심은 대통령직이 공백이 되는 최악의 결말은 아닐 것"이라 해석하였다. 다만 "박 대통령이 바뀌지 않고 이 위기만 넘기려고 한다면 국민 분노는 임계점을 넘을 수 있다"며 "(검찰 압수수색 거부와 같은) 이해할 수 없는 행태를 계속하면 민심의 성난 파도가 모든 것을 쓸고 갈 수 있다"고 지적했다. 《한국일보》는 " 국민들의 분노가 하늘을 찌르고 있다"는 반증으로 주말 집회를 거론하며, "어물쩍 넘어가려는 안이한 태도는 사태를 악화시킬 뿐이라는 사실을 명심해야 한다"고 지적했다.
모이자! 분노하자! 내려와라 박근혜 시민 촛불 반응과 여파
최순실 게이트를 취재하던 외신들도 대통령의 퇴진을 요구하는 첫 촛불집회에 주목했다. AP는 "촛불을 든 시민들이 '누가 진짜 대통령이냐', '박근혜 퇴진'이 적힌 손팻말을 들고 집회에 참여했다"고 전하고, "최근 몇 개월 사이 서울에서 열린 가장 큰 규모의 반정부 집회"라면서 "박 대통령의 레임덕이 가속화할 수 있다"고 분석했다. AFP는 집회 참석자들이 "어린 학생에서부터 중년 부부까지 다양했다"며 박근혜 정부에 대한 분노가 크게 확산되고 있다고 보도했다. NPR은 "서울에 1만 명의 시민들이 항의 집회를 열어 박 대통령의 퇴진을 요구했다"면서, '이게 나라냐', '이런 나라에서 아이를 키울 수 없다'는 분노를 전했다.《워싱턴 포스트》는 10월 29일 박근혜 대통령의 취임 이후 최대 위기를 전하며 "한국인들이 대규모 집회를 갖고 박 대통령의 퇴진을 촉구하고 있다"고 덧붙였으며, BBC는 "내년 대선을 앞두고 박 대통령의 레임덕을 가속화시킬 수 있는 대규모 반정부 시위가 서울에서 열렸다"면서, "집회 참가자들이 대통령의 하야를 요구하는 피켓을 들었다"고 시위 풍경을 전했다. NHK는 서울 도심 집회를 상세히 소개하면서 "박 대통령이 인사 쇄신 등으로 사태 수습을 시도하고 있으나 그 가능성은 불투명하다고 전했고, 교도통신도 주최 측 발표로 2만명 이상이 참여한 항의 집회가 있었다고 전했다. 《아사히 신문》은 "전국 각지에서 박 대통령의 사임을 요구하는 집회가 열리는 등 취임 후 최대 위기를 맞았다"고 전했다. 《환구시보》는 집회 전 8면 전체를 할애하여 "한국이 전역에서 박근혜의 하야를 요구하는 시위를 준비하고 있다"는 제목의 기사를 실었으며, 집회 이후 신화통신, 환구시보, 인민일보는 박 대통령의 퇴진을 요구하는 집회와 검찰의 수사 소식을 자세히 전하며 "한국이 혼란에 휩싸였다"고 보도했다.
라데온 프로
라데온 프로(Radeon Pro)는 전문가 지향 GPU의 AMD 브랜드이다. 2016년에 AMD의 파이어프로 브랜드를 대체하였다. 주류 소비자/게이머 제품의 라데온 브랜드에 비해 라데온 프로 브랜드는 워크스테이션에서의 사용 및 컴퓨터 지원 설계(CAD), 컴퓨터 생성 이미지(CGI), 디지털 콘텐츠 제작(DCC), 슈퍼컴퓨터/GPGPU 애플리케이션의 실행, 가상현실 프로그램 및 게임의 제작 및 실행을 위해 고안되었다.
라데온 프로 제품 계열은 직접 엔비디아의 쿼드로 및 테슬라 계열의 전문가용 워크스테이션 카드와 경쟁한다.
라데온 프로 칩셋 표
라데온 프로 WX x100 시리즈
라데온 프로 400 시리즈
라데온 프로 500 시리즈
라데온 베가 프론티어 에디션 시리즈
2017년 조선민주주의인민공화국 핵 실험
2017년 9월 3일 조선민주주의인민공화국은 제6차 핵실험을 진행하였다. 대한민국과 일본 측에서는 조선민주주의인민공화국 함경북도 길주군 풍계리 지역에서 발생한 인공 지진이 핵 실험에서 발생하는 전형적인 지진이라 밝히고, 조선민주주의인민공화국이 6차 핵 실험을 하였다고 결론 내렸다. 조선민주주의인민공화국은 공식 발표를 통해, 대륙간 탄도 미사일(ICBM)에 탑재 가능한 수소폭탄 실험에 완전 성공했다고 밝혔다.
2017년 조선민주주의인민공화국 핵 실험 폭발력
데이비드 올브라이트 과학국제안보연구소(ISIS) 소장은 워싱턴 포스트에 "북한이 큰 진전을 이룬 것이 분명하며 폭발위력이 TNT 환산으로 100kt에 이르는 것으로 보여 히로시마 폭발력의 7배 수준에 달하는 것으로 추정된다"고 말했다.
러시아 과학아카데미 산하 지질물리국 캄차카 지부 관계자는 타스 통신에 "자동지진측정기가 오늘 북한 지역에서 규모 6.4의 지진을 포착했다"고 말했다.
중국 지진국은 "북한에서 이날 오후 12시 30분께 규모 6.3 지진, 깊이 0 km의 지진이 발생했다"고 밝혔다.
미국 지질조사국(USGS)은 11시 30분 01초에 발생한 북한 풍계리 지진에 대해 처음 규모 5.6, 깊이 10 km라고 발표했다. 이어 규모 5.3, 깊이 0m로 지진이 아니라 '폭발'이라고 표현을 수정했다. 30분이 지나서 규모 6.3으로 상향했다. 미국과 중국의 규모 6.3을 한국 기상청에서 얻은 공식에 넣어보면 TNT 290 kt로서, 100 kt을 넘는 전략 핵무기이다.
USGS 사이트는 전세계의 모든 지하 핵실험 정보를 저장, 검색할 수 있는데, 이번 북한 6차 핵실험에 참고가 되는 것은 다음과 같다.
2017년 조선민주주의인민공화국 핵 실험 폭발력
한국 기상청은 규모 5.6이라고 했다가 5.7이라고 조정했다. 폭발력은 50 kt이라고 발표했다.
상대적인 폭발력 규모는 산정방식에 따라 차이가 있다고 하더라도, 절대적인 규모를 보면, 1차 핵실험 시 한국의 기상청의 발표인 규모 3.9에 비해 6차 핵실험의 규모는 5.7로서 512배의 위력이다. 만약 미국, 중국 등의 측정치인 규모 6.3을 적용한다면, 그 상대적인 규모는 1차실험 대비 4,096배의 위력이다.
일본 정부 대변인인 스가 요시히데 관방장관은 북한 핵실험과 관련해 브리핑을 열어, 이번 지진 발생 시각은 12시 29분 57초로 진앙지에서의 지진 발생 깊이는 0 km라고 밝혔다. 또 지진 규모는 규모 6.1이라고 설명했다.
북한은 이번 핵실험 직전에 수소폭탄 실물의 사진을 공개했는데, 미국 W87 핵탄두의 모습이었다. W87 수소폭탄은 초기형 300 kt, 후기형 475 kt의 폭발력인데, 이번 6차 핵실험의 폭발력도 300-500 kt 정도가 일부 국가에서 측정되었다. 요약하자면 북한은 세계 제 2차대전을 멈춘 원자폭탄보다 훨씬 센 폭탄의 실험에 성공하였다는 것이다.
2017년 조선민주주의인민공화국 핵 실험 폭발력
38노스는 당초 폭발력을 120 kt으로 보았는데, 포괄적핵실험금지기구가 인공 지진 규모를 5.8에서 6.1로 수정하면서, "대략 250kt"이라고 추정치를 변경했다. 한국은 50kt, 일본은 160kt로 추정한다.
이번 핵실험을 미국 언론 일부는 1메가톤으로 보기도 한다. 그러나 북한 리수용 외무상은 수백킬로톤이라고 주장했다.
신인균 자주국방네트워크 대표는 규모 6.3이면 1메가톤 폭발력이라고 말했다. 서울특별시청 상공에서 1메가톤 수소폭탄이 터지면 6개월 이내에 서울과 수도권 2,200만명 중에서 1,300만명이 사망할 것이라는 시뮬레이션이 보도되었다.
2018년 5월 10일 사이언스 지에 싱가포르 난양공대의 텅 왕(Teng Wang) 박사팀은 우주 위성으로 제6차 북한 핵실험에 따른 만답산의 움직임을 분석한 결과 핵실험의 폭발 위력이 120~304kt (TNT 폭약 환산 기준) 수준인 것으로 추정된다고 밝혔다. 기존에는 폭발력이 100kt 안팎인 것으로 알려져 있었으나, 실제는 더 컸을 것이라는 관측이다.
2013년 4월 18일, 아산정책연구원 박지영 박사의 보고서에서는 규모 6.0이면 1Mt 수소폭탄이라고 보았다.
2017년 조선민주주의인민공화국 핵 실험 전략핵
핵무기는 폭발력에 따라 TNT 100 kt 미만의 전술 핵무기와 100 kt 이상인 전략 핵무기로 나뉜다. 북한의 6차 핵실험에서 미국 USGS는 규모 6.3을 측정, 최초로 북한이 전략핵 규모의 핵실험을 했다고 보았다. 5차 핵실험까지는 미국 USGS 평가로는 전술핵 수준일 뿐이었다. 일반적으로 전략핵은 단 한발로 대도시 전체가 지도에서 사라지거나 괴멸적인 피해를 입는다.
북한은 전략핵을 담당하는 전략군을 1999년 7월 3일 창설했다. 한국은 전략사령부를 2017년 창설할 계획이다.
2017년 조선민주주의인민공화국 핵 실험 ICBM
2017년 9월 3일, 제6차 핵실험 직후인 오후 3시 30분경, 북한은 조선중앙TV의 리춘희 아나운서를 통해 중대발표를 했다. 리 아나운서는 “대륙간탄도로케트 미사일 장착용 수소탄 시험이 성공했다”라며 “이번 시험이 방사성 물질 누출 현상이 없었고 자연환경에 영향을 주지 않았다”고 주장했다.
2016년 1월 6일, 4차 핵실험 직후, 북한은 조선중앙TV 중대발표를 통해, 소형 수소폭탄 시험을 성공했다고 발표했다. 2016년 3월 9일, 김정은은 핵개발과 관련한 2.16연구소와 온누리연구소 등 핵개발 관련 연구소들을 직접 시찰했다. 2018년까지 10메가톤급 수소폭탄, 이에 기반한 다탄두 상용화, 10,000 km급 ICBM(화성-14형) 완성을 지시했다. 2017년 7월 4일, 화성-14형 1차 시험발사에 김정은이 참관했다. 그리고 2개월 지나서 6차 핵실험을 했는데, 종합해보면, 10메가톤급 수소폭탄 개발지시와 6차 핵실험의 시점이 같다.
2016년까지만 해도 신빙성 있는 북한 내부소식에 의하면 핵탄두의 직경이 80cm 수준이었다. 하지만 2016년 말경 이미 핵탄두 직경을 60cm 수준으로 만들었다.
2017년 조선민주주의인민공화국 핵 실험 10메가톤급 수소폭탄
2016년 3월 9일 김정은이 10메가톤급 수소폭탄 개발을 지시하고, 5차 핵실험과 6차 핵실험을 했다. 6차는 5차 보다 6배 정도 폭발력이 증가했다고 평가받기 때문에, 10메가톤 수소폭탄 개발 지시에 따른 핵실험은 5차 보다는 6차가 더 개연성이 높다.
10메가톤 수소폭탄이란, 미국의 사례를 살펴보면, 참고가 된다.
2016년 김정은이 2018년 까지 10메가톤 수소폭탄을 개발하라고 지시했다는데, 북한은 대형 전략폭격기가 없다. 따라서, ICBM에 탑재하는 10메가톤 수소폭탄을 의미한다고 보이며, 이는 미국의 B53 핵폭탄이 가장 비슷하다.
2017년 조선민주주의인민공화국 핵 실험 핵탄두 소형화
2017년 9월 4일, 송영무 국방부 장관은 국회 국방위 회의에서 “북한이 6차 핵실험을 통해 핵탄두를 500kg 밑으로 소형화‧경량화 하는 능력을 갖췄다고 봐도 되느냐”는 더불어민주당 김진표 의원 질의에 “저희는 그렇게 추정한다”고 답변했다.
이브 (2015년 드라마)
이브(Eve)는 2015년 1월 5일부터 2017년 1월 8일까지 방영한 CBBC 드라마이다.
링크 애그리게이션
링크 애그리게이션(link Aggregation)은 컴퓨터 네트워크에서 하나의 연결이 지탱할 수 있는 것 이상으로 스루풋을 증가시키기 위해, 또 링크 중 하나가 실패할 것에 대비하여 다중화 시스템(redundancy)을 구현하기 위해 여러 네트워크를 병렬로 연결하는 방식이다. 링크 애그리게이션 그룹(LAG)은 수많은 물리적 포트를 하나의 논리적 연결로 병합하여 한 개의 고대역 데이터 경로를 만들어주며 그룹 내 멤버 포트들 간에 트래픽 부하를 분산시키고 연결의 신뢰성을 강화한다.
이 방식을 기술하는 다른 우산 용어들로는 포트 트렁킹(port trunking), 링크 번들링(link bundling), 이더넷/네트워크/NIC 본딩, NIC 티밍(NIC teaming), 네트워크 이중화, 네트워크 다중화가 있다.
링크 애그리게이션 개요
링크 애그리게이션은 이더넷 연결에서 두 가지 문제를 해결한다: 대역폭 제한, 회복성 결여.
첫 번째 문제의 경우 대역폭의 요구는 선형적으로 늘어나지 않는다. 이더넷의 대역폭은 역사적으로 여러 세대에 걸쳐 10씩 증가해왔다: 10 Mbit/초, 100 Mbit/초, 1000 Mbit/초, 10,000 Mbit/초. 대역폭 한계에 마주치기 시작하면 유일한 옵션은 비용이 엄청날 수 있는 다음 세대로 이동하는 것 뿐이다. 다른 솔루션으로는 1990년대 초에 네트워크 제조업체들 중 다수가 도입한 것으로서 채널 본딩을 통해 2개의 물리 이더넷 링크를 하나의 논리 링크로 병합하는 것이다. 이 해결책들 중 대부분은 수동 구성 및 유사 장비가 애그리게이션의 양측에 필요했다.
두 번째 문제는 일반적인 포트-케이블-포트 연결에서 3개의 단일 장애점을 동반한다.
링크 애그리게이션 IEEE 링크 애그리게이션
1990년대 중반까지 대부분의 네트워크 스위치 제조업체들은 스위치 간 대역폭 증가를 위한 사유 확장으로서 애그리게이션 기능을 포함하였다. 그러나 각 제조업체는 자신들만의 방식을 개발하였으므로 호환성 문제가 있었다. IEEE 802.3 그룹은 스터디 그룹을 구성하여 1997년 11월 미팅에서 상호 운용 가능한 링크 계층 표준을 만들었다. 이 그룹은 다중화도 추가할 수 있는 자동화된 구성 기능을 포함하는 것에 조속히 동의하였다. 이것이 "링크 애그리게이션 컨트롤 프로토콜"(Link Aggregation Control Protocol, LACP)로 되었다.
링크 애그리게이션 리눅스 본딩 드라이버
리눅스 본딩 드라이버(Linux bonding driver)는 여러 개의 네트워크 인터페이스 컨트롤러를 이른바 (NIC) 슬레이브로 불리는 둘 이상의 단일 논리 본딩 인터페이스로 병합하는 방식을 제공한다.
리눅스 본딩 드라이버의 모드(네트워크 인터페이스 애그리게이션 모드)는 로드 시에 커널 본딩 모듈의 변수로 제공된다.
링크 애그리게이션 리눅스 팀 드라이버
리눅스 팀 드라이버(Linux Team driver)는 본딩 드라이버의 대안을 제공한다. 주된 차이점은 팀 드라이버 커널 부분에는 오직 필수적인 코드만 포함되어 있으며 코드의 나머지 부분(링크 확인, LACP 구현, 의사 결정 등)은 teamd 데몬의 일부로서 사용자 공간에서 실행된다는 점이다.
악동탐정스
《악동탐정스》는 2017년 9월 12일부터 2017년 9월 28일까지 네이버TV를 통해서 배포하는 웹 드라마이다.
미니 PC
넷톱(nettop) 또는 넷탑, 미니어처 PC(miniature PC), 미니 PC(Mini PC), 스마트 마이크로 PC(Smart Micro PC)는 인터넷 서핑, 웹 기반 애플리케이션 접근, 문서 처리, 오디오/비디오 재생과 같이 단순한 작업을 위해 설계된 소형의 저전력 레거시 프리 데스크톱 컴퓨터이다. "넷톱"이라는 용어는 인터넷과 데스크톱의 혼성어이다.
일반적인 데스크톱 컴퓨터에 비해 미니 PC는 크기가 작을뿐만 아니라 값이 더 저렴하고, 훨씬 더 적은 전력을 소비한다. 이를테면 컴퓨랩의 fit-PC2는 8 와트 미만의 전력을 소비하는 반면 일반적인 데스크톱은 100와트 이상의 전력을 쉽게 소비할 수 있다. 즉, 미니 PC는 상당히 적은 냉각이 필요하며 팬이 완전히 없는 경우도 있을 수 있다. 일부는 광학 디스크 드라이브가 없으며 솔리드 스테이트 드라이브(SSD)를 사용하여 완전 무소음으로 만들기도 한다. 하드웨어 사양과 처리 능력이 일반적으로 감소되므로 미니 PC는 복잡하거나 자원 집약적인 응용 소프트웨어를 실행하기에는 적합하지 않을 수 있다.
미니 PC 역사
넷톱과 미니 PC는 그 역사가 평범하지 않다. 이러한 장치의 최초의 파동은 2000년대 중순부터 말까지 발생하였으며 "넷톱"으로 통일되어 불렸다. 상단 그림에 보이는 Acer Aspire Revo와 같은 장치들이 그 예로서, 세컨드 PC가 필요한 사용자들을 위한, 저전력의 일시적 PC 대용품의 성격이거나 개발도상국에서 사용하는 것으로 간주되었다. 다른 관점에서는 비효율적인 PC를 대체할만한 신 클라이언트 기반의 온라인 컴퓨터로 치부되기도 했다.
이러한 장치들의 수요가 빠르게 꺾이면서 업계는 새로운 형태의 랩톱 컴퓨터처럼 이러한 장치들이 휴대 장치였으면 더 좋겠다는 불평을 해결하고자 하였다. 그 결과물이 바로 넷톱의 진정한 미래로 간주되는 장치인 넷북이다. 2008년 이후 경제적 문제가 부상하면서 당시 어느 정도 기능을 갖추면서 비용이 낮고 휴대성이 좋은 이러한 기기들이 인기를 끌게 되었다.
미니 PC 역사
2015년, 이 개념이 부활하였다. 성공 가능성이 있는 스틱 PC와 더불어 단일 칩 체제와 단일 보드 컴퓨터를 병합하는 아이디어는 넷톱의 원래의 제품 목표를 지속시켰다. Azulle Access Plus나 MINIX Z83-4와 같은 미니 PC들은 넷톱 아키텍처와 다르다는 이유로 예외적으로 "미니 PC"로 불렸다.
미니 PC 하드웨어
넷톱과 넷북을 위해 주로 고안된 플랫폼으로는 3가지가 있다:
일부 넷톱은 단일 칩 체제 설계를 채택하기도 했다. 칩셋, 그래픽 카드, 기억 장치와 같은 일부 주요 부품들은 데스크톱에서도 볼 수 있지만, 넷톱에 들어가는 CPU들은 일반 데스크톱의 것과는 차별화된 필수적인 부품들이다. 아래의 목록은 일반적인 넷톱에 조립되는 하드웨어 부품을 나열한 것이다.
미니 PC 운영 체제
수많은 넷톱 모델들은 x86 프로세서 기반이며 이 경우 표준 PC 운영 체제의 구동이 가능하다. 동일한 성능 계열의 넷톱 및 기타 머신을 위해 특별히 설계된 운영 체제들도 있다. 넷톱을 지원하는 리눅스 배포판은 우분투, 이전에 지원된 우분투 넷북 에디션, 모블린, 졸리 OS가 있다. 일부 고성능 넷톱과 차기 모델들은 윈도우 비스타와 윈도우 7의 구동이 가능하다. 리눅스 또한 넷톱 제조업체들이 채택하고 있는데, 그 이유는 설치에 비용이 거의 들지 않고 다양한 컴퓨터 아키텍처를 지원하기 때문이다. 구글의 안드로이드 리눅스 배포판 또한 다른 선택 사항이다. 구글의 안드로이드가 스마트폰을 위해 설계되어 있으나 넷톱 시장에도 자리를 차지하고 있다.
하도권
하도권(본명: 김용구, 1977년 3월 3일~)은 대한민국의 배우, 성악가이다.
임채홍
임채홍(林采弘, 1979년~ )은 대한민국의 아티스트 브랜드 디렉터이자 기업인이다. 종합 엔터테인먼트 그룹 ㈜비앤비인더스트리(BNB INDUSTRY)의 설립자이자 이사회 의장으로, 아티스트의 가능성을 가치로 확장하고, IP를 문화적 자산으로 완성시키는 비즈니스 모델을 운영하고 있다.
배우, 가수, 크리에이터, 버추얼 퍼포머 등 다양한 분야의 인재를 교육, 기획, 브랜딩, 콘텐츠, 플랫폼으로 연결하는 글로벌 시스템을 설계했으며, 이를 통해 아티스트를 단순한 엔터테이너가 아닌 독립적인 ‘브랜드’로 성장시키는 구조를 정립하였다.
또한, 콘텐츠와 기술을 융합해 휴먼 IP의 가치를 확장하고, AI 기반의 참여형 엔터테인먼트 플랫폼을 통해 창작과 기여가 가치로 환원되는 새로운 패러다임을 제시하고 있다.
임채홍 생애
임채홍은 1979년 7월 26일 부산광역시에서 태어났다. 연기에 대한 열정을 품고 18세에 서울로 상경, 19세에 청소년 드라마를 통해 아역으로 데뷔했다. 이후 세종대학교 영화예술학과에서 연기를 전공하며 배우 활동을 이어갔고, 드라마와 영화 등 다양한 매체에 출연했다.
그는 배우와 가수로 활동하는 동안, 아티스트가 자신의 가능성을 온전히 펼치기 어려운 기존 엔터테인먼트 산업 구조에 한계를 느꼈고, 이를 해결하기 위한 대안을 고민하게 된다. 2010년, 신인 배우를 발굴하고 훈련하는 실전형 교육기관 ‘배우앤배움’을 설립한 것을 시작으로, 콘텐츠, 매니지먼트, 플랫폼, 기술을 아우르는 IP 중심의 통합 시스템을 구상하며, 아티스트의 성장 전 과정을 설계하는 독자적인 구조로 확장시켜 나갔다.
임채홍 생애
이후 종합 엔터테인먼트 그룹으로 성장한 ㈜비앤비인더스트리(BNB INDUSTRY)는 아티스트를 하나의 IP로 구조화하고, 이를 브랜드와 자산으로 완성하는 플랫폼형 엔터테인먼트 기업으로 발전했다. 임채홍은 BNB의 전 과정을 LEARN & GROW, CREATE & BUILD, CONNECT & EXPAND, VALUE & INNOVATE 라는 4개의 전략 그룹 아래 14개의 CIC(Company-In-Company) 체제를 갖추고, 이를 하나의 유기적 흐름으로 연결하여 K-엔터테인먼트의 산업이 앞으로 나아갈 방향을 제시하고 있다.
그가 만들어가는 시스템은 단순한 관리의 개념을 넘어, 사람의 가능성을 구조화하고 미래의 문화 자산으로 전환하는 하나의 새로운 해답이 되고 있다.
김척후
김척후(金陟侯, ? ~ ?)는 고려 후기의 문신이다.
김척후 생애
김척후는 1193년(명종 23)에 장군으로서 대장군 전존걸(全存傑)과 운문(雲門 : 지금의 경상북도 청도)의 김사미(金沙彌), 초전(草田 : 지금의 경상남도 울산)의 효심(孝心) 등의 민란을 토벌하고 뒤에 대장군이 되었다.
1199년(신종 2)에 예부시랑(禮部侍郎) 왕의(王儀)와 함께 사신으로 금나라에 다녀왔다. 1203년에 패좌(孛佐)가 경주에서 반란을 일으키자 초토처치병마중도사(招討處置兵馬中道使)가 되어 출정하였다.
이때 패좌는 운문·초전·울진(蔚珍)의 초적(草賊)을 불러들여 3군으로 나누어 편성하고 스스로 정군병마(正軍兵馬)라 칭하며 이웃의 주군(州郡)을 위협하자 “속히 정벌하지 않아 적이 날로 성하게 했다.” 하는 성대(省臺)의 탄핵을 받고 파면되었다.
하드 링크
컴퓨팅에서 하드 링크(hard link)는 파일 시스템의 파일의 이름과 연결되는 디렉터리 엔트리이다. 모든 디렉터리 기반의 파일 시스템들은 각 파일의 원래 이름을 제공하는 (적어도) 하나의 하드 링크가 있어야 한다. "하드 링크"라는 용어는 동일한 파일에 대해 일반적으로 하나 이상의 하드 링크를 허용하는 파일 시스템에만 사용된다.
하드 링크를 만드는 것은 하나의 파일에 여러 이름을 제공하는 효과가 있으며(예: 여러 디렉터리에서의 다른 이름) 그 이름들 모두 독립적으로 디스크의 동일 데이터에 연결되는데, 이들 중 어느 것도 서로 의존하지 않는다.
하드 링크
이 때는 앨리어스(alias) 효과가 있다. 예를 들어, 파일이 해당 이름 중 하나에 의해 열려있는 경우 내용에 대한 변경이 생기며 이 변경사항은 파일이 다른 이름에 의해 열릴 때 보이게 된다. 대조적으로 파일에 대한 심볼릭 링크나 바로 가기는 데이터 그 자체에 대한 직접적인 링크가 아니며 파일 이름의 텍스트를 포함하는 짧은 파일 또는 특정 디렉토리 내의 다른 파일 이름에 대한 직접 접근을 제공하는 위치이다. 심볼릭 링크와 관련한 이름은 하드 링크일 수도 있고 다른 소프트 링크일 수도 있다. 이 경우에도 앨리어스를 만들기는 하지만 다른 방식으로 만들어진다.
모든 디렉터리는 그 자체로 파일이며, 파일 시스템에 의해 유지보수되는 파일 이름의 목록을 담고 있다는 점이 특이점이다. 디렉터리들 그 자체가 파일이므로 디렉터리에 대한 복수의 하드 링크가 가능하기 때문에 트리와 같은 가지 구조가 아니라 디렉터리 구조 내에서 루프를 만들 수 있다. 이러한 까닭에 디렉터리에 대한 하드 링크를 만드는 것은 가능하면 삼가는 것이 좋다.
하드 링크, 즉, 동일 파일에 대한 여러 디렉터리 엔트리는 POSIX 호환 및 POSIX 부분 호환 운영 체제들에 의해 지원되며, 여기에는 리눅스, 안드로이드, macOS, 또 윈도우 NT 4.0, 이후의 윈도우 NT 운영 체제가 있다.
지원은 또한 사용되는 파일 시스템의 종류에 따라 다르다. 이를테면 NTFS 파일 시스템은 하드 링크를 지원하지만, FAT와 ReFS는 지원하지 않는다.
하드 링크 사용
유닉스 계열 운영 체제와 같은 POSIX 호환 및 POSIX 부분 호환 운영 체제에서 기존 파일에 대한 추가적인 하드 링크들은 link() 시스템 호출을 사용하거나 ln과 link 명령 줄 유틸리티를 사용하여 만든다. stat 명령어는 얼마나 많은 하드 링크가 지정 파일을 가리키는지 알려준다. 링크 카운트는 ls -l의 출력에도 포함된다.
마이크로소프트 윈도우에서 하드 링크는 윈도우 NT 이후 운영 체제(예: 윈도우 비스타)에서는 mklink /H 명령어를, 초기 운영 체제 (윈도우 XP, 윈도우 서버 2003)에서 fsutil.exe hardlink create 명령어를 사용하여 만들 수 있다.
하드 링크 사용
윈도우 2000 이상의 윈도우 API에는 하드 링크를 만들기 위한 CreateHardLink() 호출, 이들을 제거하기 위한 DeleteFile(), 연결된 하드 링크의 수를 결정하는 GetFileInformationByHandle()을 포함한다. 하드 링크는 NTFS 파티션이 필요하다. 윈도우 비스타를 기점으로 하드 링크는 하드 디스크 드라이브에 저장된 각기 다른 버전의 DLL을 추적하기 위해 윈도우 컴포넌트 스토어(WinSxS)가 사용한다.  시그윈, Subsystem for UNIX-based Applications 등 윈도우에서 실행되는 유닉스 계열 에뮬레이션 또는 호환성 소프트웨어는 윈도우 하에서 POSIX 인터페이스를 사용할 수 있게 해준다.
링크 해제(unlinking) 과정은 연결된 데이터를 파괴하지 않고 볼륨 상의 데이터의 이름으로부터 이름의 연결을 해제한다. 적어도 포인트에 대한 링크가 하나라도 존재하는 한 데이터는 계속 접근이 가능하다. 마지막 링크가 제거되면 공간 할당은 해제되는 것으로 간주된다.
하드 링크 예
오른쪽 그림에서처럼 "LINK A.TXT", "LINK B.TXT"라는 두 개의 하드 링크가 동일한 물리적 데이터를 가리키고 있다고 하자.
파일 "LINK A.TXT"를 편집기로 열고 수정, 저장하면 "LINK B.TXT"의 내용을 보려고 열 때(POSIX 시스템에서 연결된 파일 서술자는 원래의 파일이 이동되더라도 파일을 연 뒤에는 유효한 채로 남아있다.) 변경사항이 반영된 것으로 나타나는데, 이는 두 파일 이름이 POSIX 시스템에서 동일한 데이터를 가리키기 때문이다. 파일이 "LINK B.TXT" 또는 데이터와 연결된 다른 이름으로 열더라도 결과는 동일하다.
하드 링크 예
그러나 이맥스와 같은 일부 편집기들은 하드 링크 개념을 무너뜨린다. 편집을 위해 "LINK B.TXT"를 열면 이맥스는 먼저 "LINK B.TXT"를 "LINK B.TXT~"로 이름을 바꾸고 "LINK B.TXT~"를 편집기로 불러들이고 수정된 내용을 새로 만든 "LINK B.TXT"로 저장한다. 이러한 접근을 사용하면 두 개의 하드 링크가 "LINK A.TXT"와 "LINK B.TXT~"(백업 파일)로 된다. 즉, "LINK B.TXT"는 하나의 링크만 가지고 있으므로 더 이상 "LINK A.TXT"와 동일한 데이터를 공유하지 않는다. (이 동작은 이맥스 변수 backup-by-copying을 사용하여 변경할 수 있다.)
물리 데이터에 대해 어떠한 수의 하드 링크라도 만들 수 있다. 데이터에 접근하기 위해 사용자는 기존 링크의 이름을 지정만 하면 되며, 이 때 운영 체제는 실제 데이터의 위치를 찾아준다.
POSIX unlink 함수를 사용하여(이를테면, UNIX rm 명령을 사용하여) 링크 중 하나가 제거되면 데이터는 남아있는 다른 링크를 통해 접근을 계속할 수 있다. 모든 링크가 제거되고 어떠한 프로세스도 파일을 열고 있지 않다면 데이터에 의해 차지된 공간은 나중에 다시 사용할 수 있도록 해제된다. 이러한 시맨틱은 이들을 사용하는 프로세스에 영향을 주지 않고 열려 있는 파일을 삭제할 수 있게 한다. 이 기법은 비정상 종료를 포함하여 프로그램 종료 시 임시 파일이 삭제되는 것을 보증하기 위해 흔히 사용된다.
김태훈 (1966년)
김태훈(1966년 8월 11일 ~ )은 대한민국의 배우이자 연출가이다.
김태훈 (1966년) 논란
제자 성추행으로 2018년 해임되고 2021년 징역형을 확정받았다.
유담연
유담연(1976년 ~ )은 대한민국의 배우이다.
전존걸
전존걸(全存傑, ?~1193년)은 고려 중기의 무신이다.
전존걸 생애
1193년(명종 23) 무신정권에 반대하여 김사미(金沙彌)가 농민들을 모아 경상도 운문(雲門)에서 반란을 일으키고, 이어 효심(孝心)이 초전(草田: 울산)을 근거지로 반란을 일으켰다. 이에 고려 조정에서는 전존걸을 대장군에 임명하여 장군 이지순(李至純), 이공정(李公靖), 김척후(金陟侯), 김경부(金慶夫), 노식(盧植) 등과 함께 반란군을 진압하게 하였다.
그러나 함께 출정한 이지순이 반란군들이 탈취한 재물을 욕심내어 번번이 반란군과 내통하여 기밀을 누설하였으므로 관군은 패전을 거듭하였다. 이지순은 무신정권 집권자 이의민(李義旼)의 아들이었으므로, 전존걸은 군법대로 다스렸다가는 이의민에게 화를 당할 것이며, 그대로 방치하면 적을 이길 수 없을 것이라 개탄하고는 음독 자살하였다.
불가능세계론
철학적 논리학에서 불가능세계(不可能世界, impossible world)의 개념은, 정규(통상)의 가능세계를 사용해서 적절하게 다루는 것을 할 수 없는 특정한 현상을 모델화하기 위해 쓰인다. 불가능세계 w는, 그것은 어느 의미에서 「불가능」하다는 것을 제외하면, (그것이 무엇이든 간에) 가능세계와 동종의 것이다. 문맥에 따라, 어느 모순이 w에서는 참(眞)이 되는 것, 논리학 또는 형이상학의 정규법칙이 w에서는 성립할 수 없는 것, 또는 그 양쪽을 의미한다.
비정규세계(非正規世界, non-normal world)라고도 한다.
불가능세계론 응용
비정규세계는 솔 크립키에 의해 1965년에 도입되었다. 이것은 공리계K보다도 약한 양상논리, 특히 필연화 규칙(necessitation rule)을 기각하는 양상논리에 의미론을 부여하는 순수한 기술적 수단으로 사용되었다. 이하,
.
그러한 논리학은 전형적으로 「비정규」라고 언급된다. 크립키 의미론에서 양상논리 어휘의 표준적인 해석 아래에서는, 각 모델에서  (i) accessible)한 세계에서만 생각하지 않고, 도달불가능한 세계를 도입)하거나, (ii) 타당하기 위한 조건을 재해석할 필요가 있다. 후자의 선택은 크립키가 이룬 일이다. 정규적인 것으로서 세계의 분류를 골라내고, 어느 모델에 대해서 모든 정규세계에서 참이어야 하는 타당성을 설정한다. 이 방법에 따라, 정규적이지 않다는 도달가능한 세계를 가지는 것을 보장할 필요가 있을뿐이다. 이 때,
이들의 비정규세계는, 논리학적으로 참인 것에 따라 그들이 제약을 받지 않는다는 의미로, 불가능하다.
세계의 개념을 가진 양상논리에 따른 언어의 해석에 대한 추가적인 의론은, 양상논리학 및 크립키 의미론의 항목을 참조할 것.
불가능세계론 응용
커리의 역설(Curry's Paradox)는 「의미론적으로 닫힌(semantically closed)」(이를테면, 그들은 자신의 의미론을 표현할 수 있다) 형식언어를 개발하는 것에 흥미가 있는 논리학자에게 있어서 심각한 문제이다. 그 역설은 언뜻 보기에도 뚜렷한 축약의 원리에 기대고 있다:
.
축약을 무효화하는 의미론 체계에 있어서 비정규세계를 이용하는 방법이 존재한다. 거기에, 이러한 방법은 비정규세계를 「논리규칙이 성립하지 않는」 세계로서 구축하는 것으로 합리적이자 철학적인 정당화를 부여할 수 있다.
반(反)필연적 명제(counternecessary statement)는 선행조건절이 단순한 거짓(僞)이 아니고 필연화하는 (또는 귀결절이 필연적으로 참인) 반사실조건절이다.
이에 대해 의론하기 위해, 다음 두 가지 사례를 가정한다:
1. 직관주의는 거짓이다.
2. 배중률은 참이다.
예상과 같이, 이들의 명제는 어느쪽도 「그 명제가 참(거짓)이라면, 그 명제는 필연적으로 참(거짓)이다」라는 성질을 가진다.
불가능세계론 응용
여기부터, 다음 두 가지 사례가 가정된다:
1'. 직관주의는 모든 가능세계에서 거짓이다.
2'. 배중률은 모든 가능세계에서 참이다.
여기서, 다음 명제를 생각한다.
3. 만약 직관주의가 참이라면, 배중률이 성립한다.
이것은 직감적으로 거짓이다. 직관주의의 기본적인 교의(敎義) 중 하나는 그야말로 배중률이 성리하지 않는다는 것이다. 이 명제가 다음과 같이 수정될 것을 생각한다:
3'. 직관주의가 참인 모든 가능세계는 배중률이 성립하는 가능세계이다.
이것은 (1') 또는 (2')를 부여하면 막연히 성립한다.
여기서, 가능세계에 나아가 불가능세계에 대하여 생각한다. (1') 직관주의가 참인 불가능세계가 존재하는 것, 및 (2') 배중률이 거짓인 불가능세계가 존재하는 것은 서로 양립한다. 이것은 다음과 같은 해석을 낳는다:
3*. 직관주의가 참인 모든 (가능 또는 불가능)세계는 배중률이 성립하는 (가능 또는 불가능)세계이다.
탈고 아브릴
탈고 아브릴(스페인어: Talgo Avril)은 스페인의 철도 제조 기업인 탈고가 개발 중인 고속철도 차량이다. 여기서 아브릴은 알타 벨로시다 루에다 인디펜디엔테 리헤로(스페인어: Alta Velocidad Rueda Independiente Ligero)의 줄임말로 2012년부터 개발에 들어갔다. 최고 영업 속도는 380km/h로 주행이 가능하도록 열차가 설계되었다. 2010년에 독일의 이노트랜스에서 최초로 일반인에게 공개되었다.
이지순
이지순(李至純, ? ~ 1196년)은 고려 중기의 무신이다. 본관은 경주(慶州) 또는 정선(旌善).
이지순 생애
1193년(명종 23)에 김사미(金沙彌)와 효심(孝心)이 각각 운문(雲門: 지금의 경상북도 청도)과 초전(草田: 지금의 울산광역시)에서 난을 일으켰을 때, 장군으로서 대장군 전존걸(全存傑)의 지휘 아래 난을 진압하기 위하여 파견되었다.
이 과정에서 대장군 전존걸이 자살하는 사건이 벌어졌는데, 이는 이의민의 아들 이지순이 적과 내통했기 때문으로 추정하고 있다. 그러나 이 시기의 이의민은 이미 무신정권의 최고집정자로서의 위치를 확보하고 있었기 때문에 이의민의 아들이 저항세력과 결탁하려 했다는 것은 쉽게 납득하기 어렵다.
『고려사』이의민 열전에서도 이의민의 아들 이지순의 행동이 비루했다는 점이 강조되었지 이의민과 저항세력을 이어주는 역할은 찾아 볼 수 없다. 다만 진압 책임을 맡았던 대장군 전존걸이 자결함으로써 이의민이 저항세력과 결탁했다는 의구심을 증폭시켰을 개연성은 짐작할 수 있다.
이지순 생애
1196년(명종 26)에 최충헌이 정변을 일으켜 이의민을 살해하였다. 이때 이지순은 대장군, 이지광은 장군으로 있었는데, 이 사변을 듣고 가동(家僮)을 인솔하여 노상에서 싸웠으나 최충헌의 세력이 강대해서 승리할 수 없음을 알고 도주하였다. 뒤에 이지영은 최충헌 세력에게 죽임을 당하였다. 최충헌이 왕에게 청하여 지후 한광연(韓光衍)을 경주로 보내서 이의민의 3족을 멸하게 하고, 각 주(州)로 사람을 파견하여 이의민의 노예와 도당을 죽이고 이현필(李賢弼)을 원주(原州)로 귀양보냈다. 이에 이지순과 이지광이 인은관(仁恩館)으로 가서 최충헌에게 목숨을 구걸했으나 결국 죽임을 당하고 말았다.
마우스 키
마우스 키(mouse keys)는 자판(특히 숫자 키패드)을 포인팅 장치(일반적으로 마우스를 대체)로 사용하는 일부 그래픽 사용자 인터페이스의 기능이다. 줄과 열의 탐색이 방향키(예: hjkl, ctl-esdx)로 제어되었던 초창기 시각 편집기 시절에서 비롯되었다. 오늘날 마우스 키는 1984년 X 윈도 시스템의 도입과 함께 표준화된 숫자 키패드 레이아웃을 가리킨다.
마우스 키 역사
역사적으로, 수많은 단말기가 전용 포인팅 장치가 없을 경우 마우스 키는 GUI 프로그램을 지원하였다. 포인팅 장치를 어디서든 볼 수 있게 됨에 따라 마우스 키는 포인팅 장치가 없거나 사용할 수 없거나 불편한 상황에 사용되었다. 이러한 상황은 다음의 경우에 발생할 수 있다:
마우스 키 MouseKeysAccel
최초의 mk_time_to_max 동작은 기하급수적으로 부드럽게 증가한다.
이 5개의 변수는 구성이 가능하다.
스틸 기타
스틸 기타(Steel guitar)는 일렉트릭 기타의 하나로, 몸체 부분이 거의 없는 독특한 형상을 하고 있다. 하와이언 뮤직에서 자주 사용되어 하와이언 기타라고도 한다.
슬라이드 기타 주법으로 연주하며 줄높이가 높게 세팅되어 있는 것이 특징이다. 그 중에서 무릎(랩) 위에 놓고 연주하는 것을 랩 스틸 기타, 페달 조작으로 피치를 변화시키는 것을 페달 스틸 기타라고 한다.
페달 스틸 기타는 8줄인 것도 자주 쓰인다.
스포츠 중계석 (1993년)
스포츠 중계석은 KBS 2TV에서 방송된 스포츠 전문 텔레비전 프로그램이며 1993년 5월 3일부터 10월 15일(1차)까지 방영됐고 다음 해 2월 21일 부분개편에 맞춰 기존 스포츠뉴스가 해당 프로그램으로 제목을 바꿔 재개되어 5월 9일(2차)까지 방송됐으며 다음 해 5월 1일 재개됐다.
스포츠 중계석 (1993년) 기획 의도
한 주간의 주요 스포츠 경기 주요장면을 정리하는 텔레비전 프로그램이다.
2017년 동태평양 허리케인
2017년 동태평양 허리케인은 2017년에 태평양 동부에서  발생한 허리케인이다.
일요 스포츠 중계석
일요 스포츠 중계석은 매주 일요일 밤 KBS 2TV에서 방송되었던 스포츠 프로그램이다.
일요 스포츠 중계석 기획 의도
스포츠 경기를 녹화 중계하는 스포츠 프로그램이다.
극장판 프리큐어 올스타즈 DX 모두 친구☆기적의 전원 대집합!
극장판 프리큐어 올스타즈 DX 모두 친구 ☆ 기적의 전원 대집합!은 2009년 3월 20일에 개봉한 애니메이션 영화이다.
극장판 프리큐어 올스타즈 DX 모두 친구☆기적의 전원 대집합! 이야기
평화로운 어느 휴일에 모모조노 러브 일행은 댄스 콘테스트에 출전하기 위해 요코하마의 미나토미라이로 향한다. 그러나 길을 헤매던 도중 '모든것을 흡수해 하나로 만드려는' 퓨전이 나타난다.
극장판 프리큐어 올스타즈 DX2 희망의 빛☆레인보우 쥬얼을 지켜라!
《극장판 프리큐어 올스타즈 DX2 희망의 빛☆레인보우 쥬얼을 지켜라!》(일본어: 映画 プリキュアオールスターズDX2 希望の光☆レインボージュエルを守れ!)는 2010년 애니메이션 영화이다. 프리큐어 올스타즈 DX 2편이다. 전작이 상영된 지 정확히 1년 후인 2010년 3월 20일에 개봉된 후속작이다.
극장판 프리큐어 올스타즈 DX3 미래에 닿아라! 세계를 잇는☆무지갯빛 꽃
《극장판 프리큐어 올스타즈 DX3 미래에 닿아라! 세계를 잇는☆무지갯빛 꽃》(일본어: 映画 プリキュアオールスターズDX3 未来にとどけ! 世界をつなぐ☆虹色の花)은 2011년 애니메이션 영화(2011년 3월 19일 공개). 전작 DX2의 프리큐어들에 이어 하트캐치 프리큐어!의 큐어 선샤인, 큐어 문라이트와 스위트 프리큐어♪의 큐어 멜로디, 큐어 리듬이 추가 합류했다.
극장판 프리큐어 올스타즈 뉴 스테이지 미래의 친구
《극장판 프리큐어 올스타즈 뉴 스테이지 미래의 친구》(일본어: 映画 プリキュアオールスターズNewStage みらいのともだち)는 2012년 애니메이션 영화. 프리큐어 올스타즈 시리즈 네번째 작품이다.
극장판 프리큐어 올스타즈 뉴 스테이지 2 마음의 친구
《극장판 프리큐어 올스타즈 뉴 스테이지 2 마음의 친구》(일본어: 映画 プリキュアオールスターズNewStage2 こころのともだち)는 2013년 애니메이션 영화이다. 프리큐어 올스타즈 5번째 작품이며 New Stage 2편. 국내판 방영은 2016년 7월 22일.
극장판 프리큐어 올스타즈 뉴 스테이지 3 영원의 친구
《극장판 프리큐어 올스타즈 뉴 스테이지 3 영원의 친구》(일본어: 映画 プリキュアオールスターズNewStage3 永遠のともだち)는 2014년 애니메이션 영화이다. 프리큐어 올스타즈의 6번째 작품이며 New Stage의 3편이자 대단원. '영원한 친구'는 프리큐어 올스타즈 New Stage 시리즈의 주제가 제목이기도 하다.