shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
2018년 5월 10일 사이언스 지에 싱가포르 난양공대의 텅 왕(Teng Wang) 박사팀은 우주 위성으로 제6차 북한 핵실험에 따른 만답산의 움직임을 분석한 결과 핵실험의 폭발 위력이 120~304kt (TNT 폭약 환산 기준) 수준인 것으로 추정된다고 밝혔다. 기존에는 폭발력이 100kt 안팎인 것으로 알려져 있었으나, 실제는 더 컸을 것이라는 관측이다.
핵무기는 폭발력에 따라 TNT 100 kt 미만의 전술 핵무기와 100 kt 이상인 전략 핵무기로 나뉜다. 북한의 6차 핵실험에서 미국 USGS는 규모 6.3을 측정, 최초로 북한이 전략핵 규모의 핵실험을 했다고 보았다. 5차 핵실험까지는 미국 USGS 평가로는 전술핵 수준일 뿐이었다. 일반적으로 전략핵은 단 한발로 대도시 전체가 지도에서 사라지거나 괴멸적인 피해를 입는다.
북한은 전략핵을 담당하는 전략군을 1999년 7월 3일 창설했다. 한국은 전략사령부를 2017년 창설할 계획이다.
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 수준으로 만들었다.
10메가톤급 수소폭탄.
2016년 3월 9일 김정은이 10메가톤급 수소폭탄 개발을 지시하고, 5차 핵실험과 6차 핵실험을 했다. 6차는 5차 보다 6배 정도 폭발력이 증가했다고 평가받기 때문에, 10메가톤 수소폭탄 개발 지시에 따른 핵실험은 5차 보다는 6차가 더 개연성이 높다.
10메가톤 수소폭탄이란, 미국의 사례를 살펴보면, 참고가 된다.
2016년 김정은이 2018년 까지 10메가톤 수소폭탄을 개발하라고 지시했다는데, 북한은 대형 전략폭격기가 없다. 따라서, ICBM에 탑재하는 10메가톤 수소폭탄을 의미한다고 보이며, 이는 미국의 B53 핵폭탄이 가장 비슷하다.
2017년 9월 4일, 송영무 국방부 장관은 국회 국방위 회의에서 “북한이 6차 핵실험을 통해 핵탄두를 500kg 밑으로 소형화‧경량화 하는 능력을 갖췄다고 봐도 되느냐”는 더불어민주당 김진표 의원 질의에 “저희는 그렇게 추정한다”고 답변했다.
이브(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개의 물리 이더넷 링크를 하나의 논리 링크로 병합하는 것이다. 이 해결책들 중 대부분은 수동 구성 및 유사 장비가 애그리게이션의 양측에 필요했다.
IEEE 링크 애그리게이션.
1990년대 중반까지 대부분의 네트워크 스위치 제조업체들은 스위치 간 대역폭 증가를 위한 사유 확장으로서 애그리게이션 기능을 포함하였다. 그러나 각 제조업체는 자신들만의 방식을 개발하였으므로 호환성 문제가 있었다. IEEE 802.3 그룹은 스터디 그룹을 구성하여 1997년 11월 미팅에서 상호 운용 가능한 링크 계층 표준을 만들었다. 이 그룹은 다중화도 추가할 수 있는 자동화된 구성 기능을 포함하는 것에 조속히 동의하였다. 이것이 "링크 애그리게이션 컨트롤 프로토콜"(Link Aggregation Control Protocol, LACP)로 되었다.
리눅스 본딩 드라이버.
드라이버 모드.
리눅스 팀 드라이버.
리눅스 팀 드라이버(Linux Team driver)는 본딩 드라이버의 대안을 제공한다. 주된 차이점은 팀 드라이버 커널 부분에는 오직 필수적인 코드만 포함되어 있으며 코드의 나머지 부분(링크 확인, LACP 구현, 의사 결정 등)은 teamd 데몬의 일부로서 사용자 공간에서 실행된다는 점이다.
넷톱(nettop) 또는 넷탑, 미니어처 PC(miniature PC), 미니 PC(Mini PC), 스마트 마이크로 PC(Smart Micro PC)는 인터넷 서핑, 웹 기반 애플리케이션 접근, 문서 처리, 오디오/비디오 재생과 같이 단순한 작업을 위해 설계된 소형의 저전력 레거시 프리 데스크톱 컴퓨터이다. "넷톱"이라는 용어는 인터넷과 데스크톱의 혼성어이다.
일반적인 데스크톱 컴퓨터에 비해 미니 PC는 크기가 작을뿐만 아니라 값이 더 저렴하고, 훨씬 더 적은 전력을 소비한다. 이를테면 컴퓨랩의 fit-PC2는 8 와트 미만의 전력을 소비하는 반면 일반적인 데스크톱은 100와트 이상의 전력을 쉽게 소비할 수 있다. 즉, 미니 PC는 상당히 적은 냉각이 필요하며 팬이 완전히 없는 경우도 있을 수 있다. 일부는 광학 디스크 드라이브가 없으며 솔리드 스테이트 드라이브(SSD)를 사용하여 완전 무소음으로 만들기도 한다. 하드웨어 사양과 처리 능력이 일반적으로 감소되므로 미니 PC는 복잡하거나 자원 집약적인 응용 소프트웨어를 실행하기에는 적합하지 않을 수 있다.
넷톱과 미니 PC는 그 역사가 평범하지 않다. 이러한 장치의 최초의 파동은 2000년대 중순부터 말까지 발생하였으며 "넷톱"으로 통일되어 불렸다. 상단 그림에 보이는 Acer Aspire Revo와 같은 장치들이 그 예로서, 세컨드 PC가 필요한 사용자들을 위한, 저전력의 일시적 PC 대용품의 성격이거나 개발도상국에서 사용하는 것으로 간주되었다. 다른 관점에서는 비효율적인 PC를 대체할만한 신 클라이언트 기반의 온라인 컴퓨터로 치부되기도 했다.
이러한 장치들의 수요가 빠르게 꺾이면서 업계는 새로운 형태의 랩톱 컴퓨터처럼 이러한 장치들이 휴대 장치였으면 더 좋겠다는 불평을 해결하고자 하였다. 그 결과물이 바로 넷톱의 진정한 미래로 간주되는 장치인 넷북이다. 2008년 이후 경제적 문제가 부상하면서 당시 어느 정도 기능을 갖추면서 비용이 낮고 휴대성이 좋은 이러한 기기들이 인기를 끌게 되었다.
2015년, 이 개념이 부활하였다. 성공 가능성이 있는 스틱 PC와 더불어 단일 칩 체제와 단일 보드 컴퓨터를 병합하는 아이디어는 넷톱의 원래의 제품 목표를 지속시켰다. Azulle Access Plus나 MINIX Z83-4와 같은 미니 PC들은 넷톱 아키텍처와 다르다는 이유로 예외적으로 "미니 PC"로 불렸다.
일부 넷톱은 단일 칩 체제 설계를 채택하기도 했다. 칩셋, 그래픽 카드, 기억 장치와 같은 일부 주요 부품들은 데스크톱에서도 볼 수 있지만, 넷톱에 들어가는 CPU들은 일반 데스크톱의 것과는 차별화된 필수적인 부품들이다. 아래의 목록은 일반적인 넷톱에 조립되는 하드웨어 부품을 나열한 것이다.
수많은 넷톱 모델들은 x86 프로세서 기반이며 이 경우 표준 PC 운영 체제의 구동이 가능하다. 동일한 성능 계열의 넷톱 및 기타 머신을 위해 특별히 설계된 운영 체제들도 있다. 넷톱을 지원하는 리눅스 배포판은 우분투, 이전에 지원된 우분투 넷북 에디션, 모블린, 졸리 OS가 있다. 일부 고성능 넷톱과 차기 모델들은 윈도우 비스타와 윈도우 7의 구동이 가능하다. 리눅스 또한 넷톱 제조업체들이 채택하고 있는데, 그 이유는 설치에 비용이 거의 들지 않고 다양한 컴퓨터 아키텍처를 지원하기 때문이다. 구글의 안드로이드 리눅스 배포판 또한 다른 선택 사항이다. 구글의 안드로이드가 스마트폰을 위해 설계되어 있으나 넷톱 시장에도 자리를 차지하고 있다.
조완기(1982년 6월 21일 ~ )는 대한민국의 배우이다.
유정석(1980년 2월 4일 ~ )은 대한민국의 배우이다. MBC 31기 공채 탤런트로 선발되었다.
고동옥(1989년 2월 10일 ~ )은 대한민국의 배우이다.
하도권(, 1977년 3월 3일~)은 대한민국의 배우, 성악가이다.
임채홍(林采弘, 1979년~ )은 대한민국의 아티스트 브랜드 디렉터이자 기업인이다. 종합 엔터테인먼트 그룹 ㈜비앤비인더스트리(BNB INDUSTRY)의 설립자이자 이사회 의장으로, 아티스트의 가능성을 가치로 확장하고, IP를 문화적 자산으로 완성시키는 비즈니스 모델을 운영하고 있다.
배우, 가수, 크리에이터, 버추얼 퍼포머 등 다양한 분야의 인재를 교육, 기획, 브랜딩, 콘텐츠, 플랫폼으로 연결하는 글로벌 시스템을 설계했으며, 이를 통해 아티스트를 단순한 엔터테이너가 아닌 독립적인 ‘브랜드’로 성장시키는 구조를 정립하였다.
또한, 콘텐츠와 기술을 융합해 휴먼 IP의 가치를 확장하고, AI 기반의 참여형 엔터테인먼트 플랫폼을 통해 창작과 기여가 가치로 환원되는 새로운 패러다임을 제시하고 있다.
임채홍은 1979년 7월 26일 부산광역시에서 태어났다. 연기에 대한 열정을 품고 18세에 서울로 상경, 19세에 청소년 드라마를 통해 아역으로 데뷔했다. 이후 세종대학교 영화예술학과에서 연기를 전공하며 배우 활동을 이어갔고, 드라마와 영화 등 다양한 매체에 출연했다.
그는 배우와 가수로 활동하는 동안, 아티스트가 자신의 가능성을 온전히 펼치기 어려운 기존 엔터테인먼트 산업 구조에 한계를 느꼈고, 이를 해결하기 위한 대안을 고민하게 된다. 2010년, 신인 배우를 발굴하고 훈련하는 실전형 교육기관 ‘배우앤배움’을 설립한 것을 시작으로, 콘텐츠, 매니지먼트, 플랫폼, 기술을 아우르는 IP 중심의 통합 시스템을 구상하며, 아티스트의 성장 전 과정을 설계하는 독자적인 구조로 확장시켜 나갔다.
이후 종합 엔터테인먼트 그룹으로 성장한 ㈜비앤비인더스트리(BNB INDUSTRY)는 아티스트를 하나의 IP로 구조화하고, 이를 브랜드와 자산으로 완성하는 플랫폼형 엔터테인먼트 기업으로 발전했다. 임채홍은 BNB의 전 과정을 LEARN &amp; GROW, CREATE &amp; BUILD, CONNECT &amp; EXPAND, VALUE &amp; INNOVATE 라는 4개의 전략 그룹 아래 14개의 CIC(Company-In-Company) 체제를 갖추고, 이를 하나의 유기적 흐름으로 연결하여 K-엔터테인먼트의 산업이 앞으로 나아갈 방향을 제시하고 있다.
그가 만들어가는 시스템은 단순한 관리의 개념을 넘어, 사람의 가능성을 구조화하고 미래의 문화 자산으로 전환하는 하나의 새로운 해답이 되고 있다.
김척후(金陟侯, ? ~ ?)는 고려 후기의 문신이다.
김척후는 1193년(명종 23)에 장군으로서 대장군 전존걸(全存傑)과 운문(雲門 : 지금의 경상북도 청도)의 김사미(金沙彌), 초전(草田 : 지금의 경상남도 울산)의 효심(孝心) 등의 민란을 토벌하고 뒤에 대장군이 되었다.
1199년(신종 2)에 예부시랑(禮部侍郎) 왕의(王儀)와 함께 사신으로 금나라에 다녀왔다. 1203년에 패좌(孛佐)가 경주에서 반란을 일으키자 초토처치병마중도사(招討處置兵馬中道使)가 되어 출정하였다.
컴퓨팅에서 하드 링크(hard link)는 파일 시스템의 파일의 이름과 연결되는 디렉터리 엔트리이다. 모든 디렉터리 기반의 파일 시스템들은 각 파일의 원래 이름을 제공하는 (적어도) 하나의 하드 링크가 있어야 한다. "하드 링크"라는 용어는 동일한 파일에 대해 일반적으로 하나 이상의 하드 링크를 허용하는 파일 시스템에만 사용된다.
이 때는 앨리어스(alias) 효과가 있다. 예를 들어, 파일이 해당 이름 중 하나에 의해 열려있는 경우 내용에 대한 변경이 생기며 이 변경사항은 파일이 다른 이름에 의해 열릴 때 보이게 된다. 대조적으로 파일에 대한 심볼릭 링크나 바로 가기는 데이터 그 자체에 대한 직접적인 링크가 아니며 파일 이름의 텍스트를 포함하는 짧은 파일 또는 특정 디렉토리 내의 다른 파일 이름에 대한 직접 접근을 제공하는 위치이다. 심볼릭 링크와 관련한 이름은 하드 링크일 수도 있고 다른 소프트 링크일 수도 있다. 이 경우에도 앨리어스를 만들기는 하지만 다른 방식으로 만들어진다.
모든 디렉터리는 그 자체로 파일이며, 파일 시스템에 의해 유지보수되는 파일 이름의 목록을 담고 있다는 점이 특이점이다. 디렉터리들 그 자체가 파일이므로 디렉터리에 대한 복수의 하드 링크가 가능하기 때문에 트리와 같은 가지 구조가 아니라 디렉터리 구조 내에서 루프를 만들 수 있다. 이러한 까닭에 디렉터리에 대한 하드 링크를 만드는 것은 가능하면 삼가는 것이 좋다.
지원은 또한 사용되는 파일 시스템의 종류에 따라 다르다. 이를테면 NTFS 파일 시스템은 하드 링크를 지원하지만, FAT와 ReFS는 지원하지 않는다.
유닉스 계열 운영 체제와 같은 POSIX 호환 및 POSIX 부분 호환 운영 체제에서 기존 파일에 대한 추가적인 하드 링크들은 시스템 호출을 사용하거나 ln과 link 명령 줄 유틸리티를 사용하여 만든다. codice_1 명령어는 얼마나 많은 하드 링크가 지정 파일을 가리키는지 알려준다. 링크 카운트는 codice_2의 출력에도 포함된다.
윈도우 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"와 동일한 데이터를 공유하지 않는다. (이 동작은 이맥스 변수 codice_5을 사용하여 변경할 수 있다.)
물리 데이터에 대해 어떠한 수의 하드 링크라도 만들 수 있다. 데이터에 접근하기 위해 사용자는 기존 링크의 이름을 지정만 하면 되며, 이 때 운영 체제는 실제 데이터의 위치를 찾아준다.
POSIX unlink 함수를 사용하여(이를테면, UNIX codice_6 명령을 사용하여) 링크 중 하나가 제거되면 데이터는 남아있는 다른 링크를 통해 접근을 계속할 수 있다. 모든 링크가 제거되고 어떠한 프로세스도 파일을 열고 있지 않다면 데이터에 의해 차지된 공간은 나중에 다시 사용할 수 있도록 해제된다. 이러한 시맨틱은 이들을 사용하는 프로세스에 영향을 주지 않고 열려 있는 파일을 삭제할 수 있게 한다. 이 기법은 비정상 종료를 포함하여 프로그램 종료 시 임시 파일이 삭제되는 것을 보증하기 위해 흔히 사용된다.
유담연(1976년 ~ )은 대한민국의 배우이다.
전존걸(全存傑, ?~1193년)은 고려 중기의 무신이다.
1193년(명종 23) 무신정권에 반대하여 김사미(金沙彌)가 농민들을 모아 경상도 운문(雲門)에서 반란을 일으키고, 이어 효심(孝心)이 초전(草田: 울산)을 근거지로 반란을 일으켰다. 이에 고려 조정에서는 전존걸을 대장군에 임명하여 장군 이지순(李至純), 이공정(李公靖), 김척후(金陟侯), 김경부(金慶夫), 노식(盧植) 등과 함께 반란군을 진압하게 하였다.
그러나 함께 출정한 이지순이 반란군들이 탈취한 재물을 욕심내어 번번이 반란군과 내통하여 기밀을 누설하였으므로 관군은 패전을 거듭하였다. 이지순은 무신정권 집권자 이의민(李義旼)의 아들이었으므로, 전존걸은 군법대로 다스렸다가는 이의민에게 화를 당할 것이며, 그대로 방치하면 적을 이길 수 없을 것이라 개탄하고는 음독 자살하였다.
철학적 논리학에서 불가능세계(不可能世界, impossible world)의 개념은, 정규(통상)의 가능세계를 사용해서 적절하게 다루는 것을 할 수 없는 특정한 현상을 모델화하기 위해 쓰인다. 불가능세계 w는, 그것은 어느 의미에서 「불가능」하다는 것을 제외하면, (그것이 무엇이든 간에) 가능세계와 동종의 것이다. 문맥에 따라, 어느 모순이 "w"에서는 참(眞)이 되는 것, 논리학 또는 형이상학의 정규법칙이 "w"에서는 성립할 수 없는 것, 또는 그 양쪽을 의미한다.
비정규세계(非正規世界, non-normal world)라고도 한다.
비정규양상논리.
비정규세계는 솔 크립키에 의해 1965년에 도입되었다. 이것은 공리계K보다도 약한 양상논리, 특히 필연화 규칙(necessitation rule)을 기각하는 양상논리에 의미론을 부여하는 순수한 기술적 수단으로 사용되었다. 이하, formula_1
그러한 논리학은 전형적으로 「비정규」라고 언급된다. 에서 양상논리 어휘의 표준적인 해석 아래에서는, 각 모델에서 formula_3formula_4formula_3formula_6 (i) formula_1formula_3accessible)한 세계에서만 생각하지 않고, 도달불가능한 세계를 도입)하거나, (ii) "타당"하기 위한 조건을 재해석할 필요가 있다. 후자의 선택은 크립키가 이룬 일이다. "정규적인 "것으로서 세계의 분류를 골라내고, 어느 모델에 대해서 모든 정규세계에서 참이어야 하는 "타당성"을 설정한다. 이 방법에 따라, formula_3formula_6formula_6"정규적"이지 않다는 도달가능한 세계를 가지는 것을 보장할 필요가 있을뿐이다. 이 때, formula_3formula_6
이들의 비정규세계는, 논리학적으로 참인 것에 따라 그들이 제약을 받지 않는다는 의미로, "불가능"하다. formula_4formula_3
세계의 개념을 가진 양상논리에 따른 언어의 해석에 대한 추가적인 의론은, 양상논리학 및 의 항목을 참조할 것.
커리의 역설 회피.
커리의 역설(Curry's Paradox)는 「의미론적으로 닫힌(semantically closed)」(이를테면, 그들은 자신의 의미론을 표현할 수 있다) 형식언어를 개발하는 것에 흥미가 있는 논리학자에게 있어서 심각한 문제이다. 그 역설은 언뜻 보기에도 뚜렷한 의 원리에 기대고 있다:
축약을 무효화하는 의미론 체계에 있어서 비정규세계를 이용하는 방법이 존재한다. 거기에, 이러한 방법은 비정규세계를 「논리규칙이 성립하지 않는」 세계로서 구축하는 것으로 합리적이자 철학적인 정당화를 부여할 수 있다.
반필연적 명제.
반(反)필연적 명제(counternecessary statement)는 선행조건절이 단순한 거짓(僞)이 아니고 "필연화"하는 (또는 귀결절이 필연적으로 참인) 이다.
이것은 직감적으로 거짓이다. 직관주의의 기본적인 교의(敎義) 중 하나는 그야말로 배중률이 성리하지 "않는"다는 것이다. 이 명제가 다음과 같이 수정될 것을 생각한다:
여기서, 가능세계에 나아가 불가능세계에 대하여 생각한다. (1') 직관주의가 참인 "불가능"세계가 존재하는 것, 및 (2') 배중률이 거짓인 "불가능"세계가 존재하는 것은 서로 양립한다. 이것은 다음과 같은 해석을 낳는다:
탈고 아브릴()은 스페인의 철도 제조 기업인 탈고가 개발 중인 고속철도 차량이다. 여기서 아브릴은 알타 벨로시다 루에다 인디펜디엔테 리헤로()의 줄임말로 2012년부터 개발에 들어갔다. 최고 영업 속도는 380km/h로 주행이 가능하도록 열차가 설계되었다. 2010년에 독일의 이노트랜스에서 최초로 일반인에게 공개되었다.
이지순(李至純, ? ~ 1196년)은 고려 중기의 무신이다. 본관은 경주(慶州) 또는 정선(旌善).
이 과정에서 대장군 전존걸이 자살하는 사건이 벌어졌는데, 이는 이의민의 아들 이지순이 적과 내통했기 때문으로 추정하고 있다. 그러나 이 시기의 이의민은 이미 무신정권의 최고집정자로서의 위치를 확보하고 있었기 때문에 이의민의 아들이 저항세력과 결탁하려 했다는 것은 쉽게 납득하기 어렵다.
『고려사』이의민 열전에서도 이의민의 아들 이지순의 행동이 비루했다는 점이 강조되었지 이의민과 저항세력을 이어주는 역할은 찾아 볼 수 없다. 다만 진압 책임을 맡았던 대장군 전존걸이 자결함으로써 이의민이 저항세력과 결탁했다는 의구심을 증폭시켰을 개연성은 짐작할 수 있다.
1196년(명종 26)에 최충헌이 정변을 일으켜 이의민을 살해하였다. 이때 이지순은 대장군, 이지광은 장군으로 있었는데, 이 사변을 듣고 가동(家僮)을 인솔하여 노상에서 싸웠으나 최충헌의 세력이 강대해서 승리할 수 없음을 알고 도주하였다. 뒤에 이지영은 최충헌 세력에게 죽임을 당하였다. 최충헌이 왕에게 청하여 지후 한광연(韓光衍)을 경주로 보내서 이의민의 3족을 멸하게 하고, 각 주(州)로 사람을 파견하여 이의민의 노예와 도당을 죽이고 이현필(李賢弼)을 원주(原州)로 귀양보냈다. 이에 이지순과 이지광이 인은관(仁恩館)으로 가서 최충헌에게 목숨을 구걸했으나 결국 죽임을 당하고 말았다.
마우스 키(mouse keys)는 자판(특히 숫자 키패드)을 포인팅 장치(일반적으로 마우스를 대체)로 사용하는 일부 그래픽 사용자 인터페이스의 기능이다. 줄과 열의 탐색이 방향키(예: hjkl, ctl-esdx)로 제어되었던 초창기 시각 편집기 시절에서 비롯되었다. 오늘날 마우스 키는 1984년 X 윈도 시스템의 도입과 함께 표준화된 숫자 키패드 레이아웃을 가리킨다.
역사적으로, 수많은 단말기가 전용 포인팅 장치가 없을 경우 마우스 키는 GUI 프로그램을 지원하였다. 포인팅 장치를 어디서든 볼 수 있게 됨에 따라 마우스 키는 포인팅 장치가 없거나 사용할 수 없거나 불편한 상황에 사용되었다. 이러한 상황은 다음의 경우에 발생할 수 있다:
MouseKeysAccel.
최초의 "mk_time_to_max" 동작은 기하급수적으로 부드럽게 증가한다.
스틸 기타(Steel guitar)는 일렉트릭 기타의 하나로, 몸체 부분이 거의 없는 독특한 형상을 하고 있다. 하와이언 뮤직에서 자주 사용되어 하와이언 기타라고도 한다.
슬라이드 기타 주법으로 연주하며 줄높이가 높게 세팅되어 있는 것이 특징이다. 그 중에서 무릎(랩) 위에 놓고 연주하는 것을 랩 스틸 기타, 페달 조작으로 피치를 변화시키는 것을 페달 스틸 기타라고 한다.
평화로운 어느 휴일에 모모조노 러브 일행은 댄스 콘테스트에 출전하기 위해 요코하마의 미나토미라이로 향한다. 그러나 길을 헤매던 도중 '모든것을 흡수해 하나로 만드려는' 퓨전이 나타난다.
《극장판 프리큐어 올스타즈 DX2 희망의 빛☆레인보우 쥬얼을 지켜라!》()는 2010년 애니메이션 영화이다. 프리큐어 올스타즈 DX 2편이다. 전작이 상영된 지 정확히 1년 후인 2010년 3월 20일에 개봉된 후속작이다.
《극장판 프리큐어 올스타즈 DX3 미래에 닿아라! 세계를 잇는☆무지갯빛 꽃》()은 2011년 애니메이션 영화(2011년 3월 19일 공개). 전작 DX2의 프리큐어들에 이어 하트캐치 프리큐어!의 큐어 선샤인, 큐어 문라이트와 스위트 프리큐어♪의 큐어 멜로디, 큐어 리듬이 추가 합류했다.
《극장판 프리큐어 올스타즈 뉴 스테이지 2 마음의 친구》()는 2013년 애니메이션 영화이다. 프리큐어 올스타즈 5번째 작품이며 New Stage 2편. 국내판 방영은 2016년 7월 22일.
《극장판 프리큐어 올스타즈 뉴 스테이지 3 영원의 친구》()는 2014년 애니메이션 영화이다. 프리큐어 올스타즈의 6번째 작품이며 New Stage의 3편이자 대단원. '영원한 친구'는 프리큐어 올스타즈 New Stage 시리즈의 주제가 제목이기도 하다.
《극장판 프리큐어 드림스타즈!》()는 프리큐어 올스타즈의 뒤를 이어 봄 시즌에 새로이 상영되는 프리큐어 극장판이다. 2017년 3월 18일에 개봉되었다.
방과후 이치카는 친구들을 만나 자신의 꿈에 대해 이야기한다. 사쿠라와 시즈쿠는 아카이누와 키이누에서 벚꽃 숲을 달리고, 이치카와 페코린은 언덕으로 가서 나무 그루터기 옆에 소풍을 준비한다.
프란시스쿠 구테흐스(, 1954년 9월 7일~ )는 동티모르의 정치인이다. 루올루(Lú-Olo)라는 별칭으로 부르기도 한다. 그는 2017년 5월 20일부터 2022년 5월 20일까지 제4대 동티모르의 대통령을 역임하였다.
그는 2002년 5월 20일부터 2007년 8월 8일까지 동티모르 의회 의장을 역임했다. 2007년과 2012년 동티모르 대통령선거에 출마했으나 낙선하였고, 2017년 동티모르 대통령선거에서 3번 도전 끝에 당선되었다. 2022년 동티모르 대통령선거에 출마했으나 티모르 재건국민회의(CNRT) 소속의 주제 하무스 오르타 후보에게 밀려 낙선했다.
신칸센 911형 디젤 기관차()는 1964년 도카이도 신칸센 개통과 동시에 신칸센 구호용으로 제작된 디젤 기관차로 일본차량제조에서 3량 생산되었다. 1호기 (911-1)와 3호기 (911-3)는 일본국유철도 시절에 폐차되었고 2호기 (911-2)의 경우 1987년에 일본국유철도 민영화로 도카이여객철도에 인수되었다가 1995년에 운행 종료와 함께 폐차되었다.
정예나(1988년 10월 21일 ~)은 대한민국의 골프 선수이다.
조선로동당 중앙위원회 정치국(朝鮮勞動黨中央委員會政治局) 또는 조선로동당 중앙정치국(朝鮮勞動黨中央政治局)은 조선민주주의인민공화국 조선로동당의 최고 의사 결정 기관이다. 당대회나 당중앙위원회 전원회의가 장기간 열리지 않는 상황에서 당내 의사결정을 담당한다. 2021년 제8차 당대회를 통해 5명의 상무위원을 선출했다. 김정일 시대에는 정무국 중심의 1인 지도 체계였지만 김정은 시대에 들어 정치국 상무위원들을 중심으로한 정치국 중심의 집단지도체제를 형성하고 있다.
마이클 스미스(, CC FRS, 1932년 4월 26일 ~ 2000년 10월 4일)는 영국 출신의 캐나다 화학자이다. 1993년에 중합효소 연쇄 반응법을 개발한 공로로 캐리 멀리스와 함께 노벨 화학상을 수상했다.
타이탄 X(Titan X)는 다음을 가리킨다.
지포스 900 시리즈(GeForce 900 Series)는 엔비디아에서 개발한 그래픽 처리 장치 제품군으로, 지포스 700 시리즈의 후속작이며 제임스 클러크 맥스웰의 이름을 딴 맥스웰 마이크로아키텍처의 고급형 제품으로 출시되었다. 이들은 TSMC의 28 나노미터 공정으로 생산되었다.
케플러의 후속작인 맥스웰을 통해 엔비디아는 그래픽 성능 향상, 프로그래밍 간소화, 그리고 지포스 700 시리즈 및 지포스 600 시리즈 대비 에너지 효율 개선이라는 세 가지 주요 목표를 달성하고자 했다.
맥스웰은 2010년 9월에 발표되었으며, 최초의 맥스웰 기반 지포스 소비자용 제품은 2014년 초에 출시되었다.
1세대 맥스웰 (GM10x).
1세대 맥스웰 GM107/GM108은 지포스 GTX 745, GTX 750/750 Ti 및 GTX 850M/860M (GM107)과 GT 830M/840M (GM108)으로 출시되었다. 이 새로운 칩들은 소비자에게 추가적인 기능을 거의 제공하지 않았고, 엔비디아는 대신 전력 효율성에 중점을 두었다. 엔비디아는 GK107의 L2 캐시 용량을 256 KiB에서 GM107의 2 MiB로 늘려 필요한 메모리 대역폭을 줄였다. 이에 따라 엔비디아는 GK106의 192비트 메모리 버스를 GM107에서 128비트로 줄여 전력 소비를 더욱 절감했다. 엔비디아는 또한 케플러(SMX)의 스트리밍 멀티프로세서 설계를 변경하여 SMM이라고 명명했다. 워프 스케줄러의 구조는 케플러에서 계승되었으며, 각 스케줄러는 서로 독립적이며 동일한 워프에서 순서대로 최대 두 개의 명령을 발행할 수 있도록 한다. SMM 유닛의 레이아웃은 SMM 내의 4개의 워프 스케줄러 각각이 32개의 FP32 CUDA 코어 세트 1개, 8개의 로드/스토어 유닛 세트 1개, 8개의 특수 기능 유닛 세트 1개를 제어하도록 분할되었다. 이는 각 SMX에 6세트의 32개 FP32 CUDA 코어, 2세트의 16개 로드/스토어 유닛, 2세트의 16개 특수 기능 유닛의 공유 풀에 스케줄링하는 4개의 스케줄러가 있는 케플러와는 대조적이다. 이 유닛들은 리소스를 공유할 수 있도록 전력을 사용하는 크로스바로 연결되었다. 맥스웰에서는 이 크로스바가 제거되었다. 텍스처 유닛과 FP64 CUDA 코어는 여전히 공유된다. SMM은 SMX보다 더 세밀한 리소스 할당을 허용하여, 작업 부하가 공유 리소스에 최적화되지 않은 경우 전력을 절약한다. 엔비디아는 128 CUDA 코어 SMM이 192 CUDA 코어 SMX 성능의 86%를 가진다고 주장한다. 또한 각 그래픽 처리 클러스터(GPC)는 케플러에서 최대 4개의 SMX 유닛을 포함하며, 1세대 맥스웰에서는 최대 5개의 SMM 유닛을 포함한다.
GM107은 GK110/GK208 GPU의 3.5 및 GK10x GPU의 3.0과 비교하여 CUDA 컴퓨팅 능력 5.0을 지원한다. GK110/GK208 GPU의 두 가지 기능인 동적 병렬 처리와 HyperQ도 전체 맥스웰 제품군에서 지원된다.
맥스웰은 32비트 정수에 대한 네이티브 공유 메모리 아토믹 연산과 다른 아토믹 함수를 구현하는 데 사용할 수 있는 네이티브 공유 메모리 32비트 및 64비트 비교 및 스왑(CAS)을 제공한다.
맥스웰이 한때 타일 기반 즉시 모드 래스터화를 사용한다고 생각되었지만, 엔비디아는 GDC 2017에서 맥스웰이 대신 타일 캐싱을 사용한다고 수정했다.
엔비디아 NVENC.
맥스웰 기반 GPU에는 케플러에서 도입된 NVENC SIP 블록도 포함되어 있다. 엔비디아의 비디오 인코더인 NVENC는 케플러 기반 GPU보다 1.5배에서 2배 더 빠르며, 이는 재생 속도보다 6배에서 8배 빠르게 비디오를 인코딩할 수 있음을 의미한다.
엔비디아 퓨어비디오.
엔비디아는 또한 메모리 효율성 증가와 함께 비디오 디코더 캐시 덕분에 퓨어비디오 기능 세트 E 비디오 디코딩에서 8배에서 10배의 성능 향상을 주장한다. 그러나 H.265는 하드웨어 및 소프트웨어 디코딩의 혼합에 의존하여 전체 하드웨어 디코딩을 지원하지 않는다. 비디오 디코딩 시, 맥스웰 GPU에서는 전력 절약을 위해 새로운 저전력 상태 "GC5"가 사용된다.
2세대 맥스웰 (GM20x).
2세대 맥스웰은 다이내믹 슈퍼 해상도, 3세대 델타 색상 압축, 멀티 픽셀 프로그래밍 샘플링, 엔비디아 VXGI (실시간 복셀 전역 조명), VR 다이렉트, 멀티 프로젝션 가속, 및 멀티 프레임 샘플링 안티에일리어싱(MFAA) (그러나 커버리지 샘플링 안티에일리어싱(CSAA) 지원은 제거되었다). HDMI 2.0 지원도 추가되었다.
2세대 맥스웰은 또한 ROP 대 메모리 컨트롤러 비율을 8:1에서 16:1로 변경했다. 그러나 GTX 970에서는 일부 ROP가 일반적으로 유휴 상태인데, 이는 작업할 수 있는 SMM이 충분히 활성화되지 않아 최대 필레이트가 감소하기 때문이다.
2세대는 NVENC를 업그레이드하여 HEVC 인코딩을 지원하고, 1세대 맥스웰 GM10x GPU의 NVENC가 H.264 1080p/60FPS 인코딩만 지원했던 것과 비교하여 H.264 인코딩 해상도 1440p/60FPS 및 4K/60FPS를 지원한다. 맥스웰 GM206 GPU는 완전한 고정 기능 HEVC 하드웨어 디코딩을 지원한다.
비동기 컴퓨트 지원.
맥스웰 시리즈는 다이렉트X 12를 완벽하게 준수한다고 광고되었지만, Ashes of the Singularity 개발사인 Oxide Games는 맥스웰 기반 카드들이 비동기 컴퓨트가 활용될 때 성능이 좋지 않다는 것을 발견했다.
이 핵심 기능은 드라이버에 의해 노출되었지만, 엔비디아는 드라이버 기반의 심을 통해 부분적으로 구현했으며, 이는 높은 성능 비용을 발생시켰다. 하드웨어 기반 비동기 컴퓨트의 완전한 구현을 포함하는 AMD의 경쟁 GCN 기반 그래픽 카드와는 달리, 엔비디아는 드라이버에 의존하여 소프트웨어 큐와 소프트웨어 분배기를 구현하여 비동기 작업을 하드웨어 스케줄러로 전달하고, 워크로드를 올바른 유닛으로 분배할 계획이었다. 따라서 맥스웰의 비동기 컴퓨트는 이 기능을 활성화하기 위해 게임과 GPU 드라이버 모두 맥스웰의 비동기 컴퓨트를 위해 특별히 코딩되어야 한다. 3DMark Time Spy 벤치마크는 비동기 컴퓨트가 활성화되거나 비활성화되었을 때 눈에 띄는 성능 차이를 보이지 않는다. 비동기 컴퓨트는 맥스웰의 드라이버에 의해 비활성화된다.
Oxide는 이로 인해 엔비디아가 벤치마크에 비동기 컴퓨트 기능을 아예 포함하지 않도록 압력을 가했다고 주장하는데, 이는 900 시리즈가 하드웨어에서 비동기 컴퓨트를 구현하는 AMD 제품에 비해 불리하지 않도록 하기 위함이었다.
맥스웰은 작업이 동시에 실행될 수 있도록 GPU가 비동기 컴퓨트용으로 정적으로 분할되어야 한다. 각 파티션은 하드웨어 큐에 할당된다. 어떤 이유로든(예: 큐의 작업이 위험이 해결될 때까지 지연되어야 함) 파티션에 할당된 큐가 비워지거나 작업을 제출할 수 없으면, 해당 큐에 예약된 파티션과 그 파티션의 모든 리소스는 유휴 상태가 된다. 따라서 비동기 컴퓨트는 맥스웰의 정적 스케줄러와 작동하도록 코딩되지 않으면 맥스웰의 성능을 쉽게 저하시킬 수 있다. 또한 그래픽 작업은 컴퓨팅에 훨씬 더 많은 비중을 두는 AMD의 GCN 기반 GPU보다 엔비디아 GPU를 훨씬 쉽게 포화시키므로, 엔비디아 GPU는 AMD보다 비동기 컴퓨트로 채울 수 있는 스케줄링 홀이 더 적다. 이러한 이유로 드라이버는 맥스웰 GPU가 모든 작업을 하나의 큐에 배치하고 각 작업을 순차적으로 실행하며, 각 작업이 GPU를 포화시킬 수 있는지 여부와 관계없이 GPU의 모든 리소스를 각 작업에 할당하도록 강제한다.
지포스 900M (9xxM) 시리즈.
지포스 GTX 970의 사양에 대한 문제는 카드 사용자들이 4GB 메모리 중 3.5GB를 초과하여 메모리에 접근하는 경우가 거의 없다는 것을 발견하면서 처음 제기되었다. 추가 테스트와 조사를 통해 엔비디아는 결국 카드의 초기 발표 사양이 상업적으로 출시되기 전에 예고 없이 변경되었으며, 3.5GB 메모리 제한을 초과하는 메모리가 사용되면 카드의 성능이 저하된다는 성명을 발표했다.
카드의 백엔드 하드웨어 사양은 처음에는 지포스 GTX 980과 동일하다고 발표되었지만, L2 캐시 용량(GTX 980의 2MB 대비 1.75MB)과 ROP 수(980의 64개 대비 56개)에서 차이가 있었다. 또한, 이 카드는 메모리에 3.5GB 섹션과 0.5GB 섹션으로 접근하도록 설계되었으며, 후자 섹션에 대한 접근 속도는 첫 번째 섹션보다 7배 느리다는 것이 밝혀졌다. 회사는 이후 카드의 성능 저하를 완화하기 위해 특정 드라이버 수정 사항을 약속했다. 그러나 엔비디아는 나중에 이 약속이 오해였으며 GTX 970에 대한 특정 드라이버 업데이트는 없을 것이라고 명확히 밝혔다. 엔비디아는 환불을 원하는 고객을 지원할 것이라고 주장했다. 2015년 2월 26일, 엔비디아 CEO 젠슨 황은 엔비디아 공식 블로그에서 이 사건에 대해 사과했다. 2015년 2월에는 미국 캘리포니아 북부 지방법원에 엔비디아와 기가바이트 테크놀로지를 상대로 허위 광고를 주장하는 집단 소송이 제기되었다.
엔비디아는 메모리 컨트롤러 전체를 비활성화하지 않고도 256KB의 L2 캐시와 8개의 ROP를 포함하는 개별 유닛을 비활성화할 수 있다고 밝혔다. 이는 메모리 버스를 고속 및 저속 세그먼트로 분할하는 대가로 이루어지는데, 두 GDDR5 컨트롤러와 자신 사이에 읽기 반환 채널과 쓰기 데이터 버스를 공유하기 때문에 한 세그먼트가 읽는 동안 다른 세그먼트가 쓰는 경우가 아니면 동시에 접근할 수 없다. 이는 지포스 GTX 970에 사용되었으며, 따라서 224비트 버스의 고속 세그먼트에 3.5GB, 32비트 버스의 저속 세그먼트에 0.5GB를 가진다고 설명할 수 있다.
2016년 7월 27일, 엔비디아는 미국 집단 소송의 예비 합의에 동의했으며, GTX 970 구매 시 30달러를 환불해주었다. 합의된 환불액은 소비자들이 카드를 구매할 때 얻으리라고 예상했던 저장 및 성능 기능의 비용 중 일부를 나타낸다.
&lt;!-- Dead link
이응상(李凝祥)은 조선 후기의 문신이다. 본관은 여강(驪江)이다.
회재 이언적(李彦迪)의 넷째 손자인 수졸당 이의잠(李宜潛)의 8세손이다. 순조(純祖) 정유년에 문과에 급제하고, 벼슬은 옥당의 교리(校理)를 거쳐 병조참의(兵曹參議)에 이르렀다. 어려서부터 중후하고 간묵(簡默)하며 책 읽기를 좋아하였다. 과거에 급제했으니 풍치(風致)가 스산하여 가난한 선비와 같았고, 도덕과 인망이 모두 높았다. 글씨, 역사, 거문고, 바둑 등을 즐거움으로 삼고, 후학을 양성하는데 힘썼다. 그리고 돈목(敦睦)과 효우(孝友)로써 가정의 법통을 삼으니, 경향 각지의 인사들이 모두 그를 높이 받들었다.
프로라이언트(ProLiant)는 원래 컴팩이 개발하고 마케팅한 서버 브랜드이다. 휴렛 패커드(HP)와의 합병 이후 HP는 프로라이언트 브랜드를 선호하면서 이전의 "넷서버"(Netserver) 브랜드를 포기하였다. 이 브랜드는 현재 휴렛 팩커드 엔터프라이즈에 의해 마케팅되고 있다. HPE 프로라이언트 시스템은 2010년 4분기 동안 유닛과 소득 면에서 x86 서버 시장을 주도하였다.
모듈러 라인 (ML).
ML(Modular Line) 서버 모델은 타워 기반이다. 최대 확장을 목표로 한다.
덴시티 라인 (DL).
DL(Density Line) 서버 모델은 랙 기반이다. 밀도와 연산 능력 간의 균형에 초점을 맞춘다.
스케일러블 라인 (SL).
SL(Scalable Line) 서버 모델은 랙 기반이다. 이 모델들은 대부분이 최대 연산 능력이 중요한 데이터 센터 및 환경에 사용된다.
블레이드 라인 (BL).
BL(Blade Line) 서버 모델은 인클로저 기반이다. 특히 블레이드 인클로저에서 사용하기 위해 개발되었으며 이 인클로저가 없으면 사용이 불가능하다. 블레이드 시스템은 제한된 랙 공간에서 최대한의 밀집도 및 관리성에 초점을 둔다.
프로라이언트 서버는 4개의 주요 제품 계열로 분리된다. (ML, DL, BL, SL) 이들은 일반적으로 폼 팩터에 따라 분류된 것이다. 프로라리언트 ML 계열은 타워 기반 서버(랙 마운트로 변환 가능)로 구성되며 내부 디스크 확장 및 상호 연결을 제공하는 반면 DL 계열은 범용 목적 19인치 랙 서버로 구성된다. BL 계열은 HP 블레이드시스템과 딱 맞는 블레이드 서버로 구성되며 SL 계열은 스케일 아웃 환경을 위한 촘촘한 랙 마운트 서버를 구성한다. 마이크로서버(MicroServer) 제품 계열은 소형 및 홈 비즈니스를 대상으로 한다.
또, 프로라이언트 서버는 프로세서 구성에 따라 여러 시리즈로 나뉜다. 100, 200, 300, 400 시리즈는 싱글 및 듀얼 소켓 지원 시스템으로 이루어지며 500, 600 시리즈는 쿼드 소켓 지원 시스템으로 구성되며, 700, 900 시리즈는 8개의 소켓 지원 시스템으로 구성된다. 900 시리즈 또한 8개의 소켓을 포함하며 최대 80개의 CPU 코어, 최대 4 TB의 램을 지원한다.
2012년 2월, HP는 프로라이언트 세대 8을 발표하였다. 2013년 7월, HP는 새로운 블레이드 서버 기반 프로라이언트 제품인 HP 문샷 서버(HP Moonshot Server)를 발표하였다.
2014년 8월 28일을 기점으로, HP는 인텔 하스웰 칩셋 및 DDR4 메모리 기반의 Gen9 시리즈의 서버를 생산하기 시작했다. 처음은 HP 프로라이언트 ML350 Gen9 서버와 HP 프로라이언트 BL460c Gen9 블레이드이다.
이재집(李在輯)은 조선 말기의 선비이다. 자(字)는 사희(士熙), 호(號)는 거암(渠菴), 본관은 여강(驪江)이다.
1848년 농재 이언괄의 9세손으로 출생했다. 아버지 이호상(李琥祥)이 9촌숙(血7촌숙) 이정락에게 입양되었다. 문행(文行)이 있었으며 눌연일고, 용재유고, 인와문집, 농은집 등 많은 문집의 서문과 발문을 지었으며 영남만인소(嶺南萬人疏)에도 참여하였다. 이외 서악서원중수기, 지산정기, 숭혜전김씨화수계서 등을 쓰기도 했다. 유저로 거암문집(渠菴文集)이 전한다. 묘는 명활산 사골에 유좌(酉坐)하여 있다. 배위는 둘인데 곡산한씨 인범(仁範)의 여식과 홍주(鴻周)의 여식이다.
잉글랜드의 종교 개혁( - 宗敎改革, )은 잉글랜드 교회가 교황의 권위와 로마 가톨릭교회로부터 단절한 16세기에 일련의 사건들이었다. 이 사건들은 부분적으로 유럽 개신교 종교 개혁의 광범위한 과정과 관련이 있었는데, 이는 이 기간 동안 유럽 전역에서 기독교의 실천에 영향을 미쳤던 종교 및 정치 운동이었다. 봉건제의 쇠퇴와 민족주의의 붕괴, 상법의 등장, 인쇄기의 발명 및 성경의 유통 증가, 학자들 사이의 새로운 지식과 사상의 전파에 기인하였다.
헨리 8세:결혼과 욕망.
잉글랜드의 종교개혁은 국왕 헨리 8세가 왕권을 물려줄 적장자(왕세자)를 얻고자 노력한 결과물이었다. 잉글랜드 튜더 왕실은 본대 교황의 충실한 지지 세력이었다. 1520년에는 마르틴 루터를 공격하는 소책자 표지에 잉글랜드 왕 헨리 8세의 이름을 올리기도 했을 정도로 잉글랜드는 종교개혁에 별로 관심이 없었다. 교황은 이런 헨리 8세에게 '교회의 수호자'(FD, Def,)칭호를 수여하기도 했다. 헨리는 형수였지만 에스파냐와의 동맹을 유지할 목적으로 스페인 왕녀출신 캐서린과 결혼했다.
캐서린은 아들을 낳지 못했을 뿐만아니라 폐경으로 더 이상 아이를 낳지 못하게 되었고 헨리 8세는 이혼을 강요하며 후일 '천일의 앤'이라고 불리는 앤 불린(Anne Boleyn)이라는 여인과 결혼을 추진했다. 아울러 헨리 8세는 교황 클레멘스 7세에게 혼인을 무효로 해 달라는 요청을 한다. 그러나 교황은 이를 간단히 처리할 수 없었다. 당시 교황은 신성로마제국의 황제 카를 5세의 위세에 눌려 있었는데, 바로 헨리 8세의 왕비 캐서린은 황제 카를 5세의 조카였기 때문이다.
황제의 분노를 감당할 자신이 없어 눈치를 보던 교황은 헨리 8세의 요청을 거절한다. 그러나 헨리 8세는 임신한 앤 불린과 1533년 1월 결혼을 하고 5월에는 세상을 떠난 캔터베리 대주교의 뒤를 이어 자신을 강력하게 지지하는 크랜머를 임명해 버린다. 크랜머 대주교는 국왕의 총애를 받으면서 캐서린과의 결혼은 무효라고 선언해 버리고 교황은 앤 불린과의 결혼을 이유로 국왕 헨리 8세를 파문해 버린다. 결국 이 일로 잉글랜드 교회의 수장은 이제부터 바티칸이 아니라 자신이라고 선언해 버린다. 이것을 소위 '수장령'이라고 부른다. 이후 로마 교황의 영향력을 차단하기 위해 잉글랜드 내에 있는 수도원 재산 몰수, 기도서 재정을 통해 로마 교황청과 분리의 길을 걷게 된다.
가톨릭 반동.
잉글랜드의 종교개혁은 그리 간단치 않았다. 헨리 8세의 세 번째 왕비인 제인 시모어(Jane Seymour)은 그토록 오랫동안 기다리던 아들을 출산한다. 제인은 열악한 의료환경으로 인한 출산 후유증으로 얼마 뒤에 세상을 떠났고, 국왕 헨리는 세 명의 왕비를 더 맞게 된다. 헨리 8세가 세상을 떠나자, 제인 시무어가 낳은 아들 8살의 에드워드 6세가 국왕으로 등극하지만, 금방 세상을 떠난다. 이후 국왕에 오른 사람은 헨리 8세에 의해 강제로 이혼당한 캐서린과 사이에 낳은 유일한 혈육 메리 튜더(메리 1세 (잉글랜드)) 가 여왕으로 왕좌를 차지한다. 메리는 잉글랜드를 옛날처럼 가톨릭 국가로 되돌리려고 애썼다. 성공회의 반발은 있었지만 가톨릭 측에서는 그들의 종교개혁이었다. 그녀는 자신과 신앙이 다르다는 이유로 개신교인 3백명 이상을 화형대에 세운다. 그래서 블러드 메리(피의 여왕 메리/Bloody Mary)라고 부른다. 그녀에 의해서 순교당한 사람중에는 헨리 8세의 열렬한 지지자 크랜머 대주교도 포함된다.
그러나 메리도 후계자없이 왕위에 오른지 불과 6년만에 사망한다.
메리 1세 사후에 앤 볼린의 딸이었던 엘리자베스가 여왕에 오른다. 아마 메리가 그렇게 일찍 세상을 떠나지 않았더라면 잉글랜드는 영원히 가톨릭 국가로 남았을지 모른다. 엘리자베스 1세는 성공회를 부활시켜 카톨릭과 개신교의 중도적인 교리를 만들고 이로 잉글랜드 교회를 이끌었다.
이능윤(李能允, 1850년 ~ 1930년)은 조선 말기와 일제강점기의 성리학자이자 독립운동가이다. 자는 순일(舜一), 호는 곡포(谷圃), 본관은 여주(驪州)/여강(驪江)이다. 회재 이언적의 후손이다.
조선 철종(哲宗) 1년인 1850년 경상북도 경주 양동에서 태어났다. 회재 이언적의 12세손이자 그의 넷째 손자인 수졸당 이의잠의 10세손으로 출생했다. 양동의 창은정사(蒼隱精舍)를 건립한 창은(蒼隱) 이남상(李南祥)의 손자이자, 1884년 제7차 영남만인소 소수(嶺南萬人疏 疏首)로 문행을 떨친 내곡(內谷) 이재교(李在嶠)의 조카이다. 창은정사 아래에 있는 아래에 있는 고택 곡포헌(谷圃軒)은 그의 호를 따온 것이다.
어려서는 조부 이남상에게서 수학했다. 또한 계당(溪堂) 류주목(柳疇睦)의 문인인 족숙 내헌(耐軒) 이재영(李在永), 입재(立齋) 정종로(鄭宗魯)의 학통을 이어받은 정헌 이종상의 문인이었던 백부 이재교에게 배우면서 이언적 - 이황 - 류성룡 - 정도응 - 박손경 - 정종로 등으로 이어지는 영남학파의 학문과 이언적 가학(家學)을 전수받았다. 세도정치기에 과거를 단념한 이후에는 성리학에 뜻을 두고 성현의 가르침을 실천하고 경전의 의미를 탐구하는 학문에만 전념하였다. 이후 1915년 옥산서원 원장에 선임되었으며, 1927년에는 도동서원 원장, 1929년에는 도산서원 원장에 천거되는 등 영남 유림의 영수로 추앙받았다.
저술과 학문세계.
저서로 1969년 7권 3책 분량으로 간행된 곡포문집(谷圃文集)과 성리학 저술인 사칠이수기승론(四七理隨氣乘論), 심경강의(心經講義), 맹자강의(孟子講義), 성론(性論), 태극문변(太極問辨) 등이 있다.
묘갈은 이황의 14대 종손인 춘고(春皐) 이원각(李源慤)이, 묘지는 서산 김흥락의 제자인 지암 남병기가 찬하였다. 문집의 서문은 중재(重齋) 김황(金榥)이 지었다.
검사총장()은 검찰청의 장이다. 최고검찰청의 장으로써 모든 검찰청의 직원을 지휘·감독하는 권한을 가지고 있다.
일본 검찰관 직위의 최상급에 위치한다. 내각총리대신이 임명하며, 정년은 65세이다. 1964년 이후부터 법무성 사무차관을 역임한 도쿄고등검찰청 검사장이 검사총장으로 승진하는 것이 관례가 되어 있다. 검찰의 공평성과 중립성을 지키기 위해 검사총장은 법무성의 특별기관이라는 지위를 가지며, 차장검사 및 검사장과 함께 인증관으로 대우받는다. 이는 직무상 대응되는 최고재판소장관과 고등재판소장관이 인증관이기 때문에 이들과의 균형을 맞출 필요가 있기 때문이다.
김유일(金惟一)은 조선 후기의 문신이다. 자는 천보(天甫), 본관은 경주(慶州)이다.
경상좌도 의병도대장으로 순절한 월암(月菴) 김호 (1534년)의 막내 아들인 김이홍(金以弘)의 현손(玄孫)이다. 장사랑(將士郞) 경순왕묘참봉(敬順王廟參奉)에 차정되었으며, 경순왕의 선양(禪讓)을 옹호하고 찬양하는 동천영당의(東泉影堂議)를 지었다. 동천영당의는 아래와 같다.