heegyu/kowiki-sentences huggingface dataset:
절댓값이 1 보다 작은 어떤 수 x에 대해 다음과 같은 무한 차수 다항식이 성립한다.
삼각함수 역시 위와 같은 조건을 만족하므로 다음과 같은 무한 차수 다항식으로 표기할 수 있다.
삼각함수의 무한 차수 다항식이 실제 무한히 전개된다는 것은 영국의 브룩 테일러가 증명하였기 때문에 이 전개를 흔히 테일러 급수라고 한다.
사인 함수와 코사인 함수의 테일러 급수는 다음과 같다.
이때, formula_102라 하면 이 테일러 급수의 전개는 다음과 같이 변환될 수 있다.
위 식에서 짝수 차수 항과 홀수 차수 항을 따로 모아 정리하면
위 식을 살펴 보면 실수항은 코사인 함수의 테일러 급수이고 허수항은 사인 함수의 테일러 급수임을 알 수 있다.
따라서, 다음과 같은 오일러 공식이 성립한다.
여기에서 "x"에 π를 대입하면
formula_2와 연관된 여러 문제가 아직 해결되지 않았다.
대표적인 문제로는 오일러-마스케로니 상수 γ 가 무리수나 초월수인지를 밝히는 것인데, 아직까지 증명되지 않고 있다.
γ 는 조화 급수와 자연로그의 차에 대한 극한으로 다음과 같은 식으로 나타낼 수 있다.
1943년 조선일보사에 입사하여 1999년까지 근무했다.
그 밖에 일신방직의 사외이사로 초빙되기도 하였고, 각종 장학 사업을 후원하였으며 1994년에는 방일영국악상을 제정하여 매년 한국의 우수 국악인들을 시상하였고, 1995년 5월에는 방일영문화재단을 설립하여 문화예술인 지원사업을 추진했다.
1945년 잠시 양주군청의 면서기로 근무하였다.
조선일보 9대 사장 방응모의 손자이자, 이후 조선일보 회장을 지낸 방우영의 형이다.
첫째 아들 방상훈은 2006년 기준으로 조선일보 사장이며, 둘째 아들 방용훈은 코리아나 호텔 대표이사이다.
밤의 대통령, 밤의 황제이라는 별칭이 있다.
평안북도 박천출신으로 본관은 온양이며, 아호는 우초(愚礎)이다.
1923년 11월 26일 평안북도 박천군 가산변 동문동에서 태어났다.
본관은 온양(溫陽)이고, 본적은 경기도 의정부(議政府市)이며, 출신지는 평안북도 박천군(博川郡) 가산면(嘉山面: 현 남신리)이다.
아버지 방재윤은 방응곤의 아들이었으나, 아들이 없던 삼촌 방응모의 양자로 입양되었다.
그가 태어나기 전에 방재윤은 방응모의 양자가 됐고, 그는 방응모의 손자로 출생했다.
그 뒤 할아버지 방응모를 따라 경기도 양주군 의정부(1963년 의정부시로 승격)로 이주하였다.
경성제일고보(경기중학교 전신)를 거쳐 일본으로 유학 중앙대학 예과를 졸업한 뒤 1943년 조선일보사에 입사하여, 1999년 이사 고문직을 사임할 때까지 55여 년 동안 조선일보에 몸담아 왔다.
1943년 입사, 그해 사장비서가 되었다.
일제강점기에 경영난에 봉착한 조선일보를 차지한 방응모의 양자로 입적한 방재윤의 장남으로, 1943년 조부인 방응모의 비서로 조선일보에 입사했다.
이 때가 조선일보 폐간 시점이어서 '신문 없는 조선일보사' 직원이 된 셈이다.
그러나 돈이 아까운 줄 모른다는 이유로 조부에 의해 꾸지람을 들었다 한다.
방일영은 1944년 11월 세 살 아래 박현숙과 결혼했다.
박현숙은 한학자인 부친 박순흠과 고영선의 넷째 딸로 숙명여고를 졸업했다.
한 해 전 동생 방우영의 영어교사였던 이용덕이 박현숙의 흑백 사진 한 장을 들고 방응모를 찾아온 것이 결혼으로 이어졌다.
태평양 전쟁 당시 그도 학도병 징집 대상자가 되었다.
할아버지 방응모는 손자 방일영이 학병에 끌려가는 것을 막기 위해 백병원 설립자인 고향 후배 백인제를 불러 상의했다.
이때 백인제는 방일영의 왼쪽 뺨 귀 밑에서부터 턱까지 생살을 째는 수술을 집도했다.
그런 뒤 방일영은 일단 징집이 면제되는 면서기를 했다.
1945년 봄부터 여름까지 양주군청 소속 면서기를 지냈다.
1945년 11월 23일 조선일보의 복간에 참여하였다.
조선일보가 복간된 뒤인 1950년 7월 사장 방응모가 납북되자 같은 해 10월 17일 취체역(이사)에 선임됐고 한국 전쟁 이후 피난했다가 휴전 후 귀환, 1954년 31살의 젊은 나이로 조선일보의 대표 취체역에 취임해 경영권을 잡았다.
그러나 방응모의 납북 9년 뒤까지는 형식적으로 방응모가 대표였고, 조선일보의 1979년 발행분까지도 발행인은 방응모의 명의로 되어 있었다.
방응모 사후 몰락한 조선일보를 다시 일으켰다.
한독당원에 김구의 노선을 추종한 방응모는 야당 인사로 분류되었고, 한국전쟁으로 납북되어 사망하면서 조선일보는 몰락했으나 내분을 수습하고 다시 회사를 일으켜 세웠다.
1974년 방일영장학회를 조직, 고학생들의 장학금을 지급하였다.
조선일보 회장 추대 이후.
1964년 11월 15일 회장에 취임하는 동시에 동생인 방우영 조선일보 명예회장을 조선일보 대표이사 겸 사장으로 임명해 일선 경영을 맡겼으며, 1970년까지도 실질적인 경영권을 행사했다.
방우영은 1970년부터 실질적인 경영권을 넘겨받아 조선일보의 성장기를 주도하게 된다.
1993년 3월에는 지병인 당뇨로 인해 조선일보 이사 고문직까지 사퇴하며 경영일선에서 완전히 물러났다.
조선일보 재직기간 중이던 1980년대 조선일보를 급팽창시켜 발행유가부수 1위의 신문으로 끌어올렸다.
그러나 이같은 성장과정은 1980년 광주민주화운동 이후 전두환 군사정권과의 유착이 큰 밑바탕이 됐고, 코리아나 호텔 특혜 의혹 등 적잖은 시비를 낳기도 했다.
또한 대통령선거 등 주요한 정치전환기마다 강한 정파성을 드러내 '안티조선' 운동을 자초하기도 했으며 지금도 '족벌언론' 논란에 휘말려있는 상태다.
1975년 방일영의 사재(私財) 출연금으로 '방일영장학회'를 법인으로 발족했다.
방일영은 방우영과 형제가 보유한 15%를 재단의 기금으로 새로 출연하고, 20년간 운영되어 왔던 '방일영장학회'의 장학기금 15억 여원을 합해 그 해 11월 비영리 공익법인으로 방일영장학회(재단)을 설립했다.
방일영장학회는 1974년부터 서울대·연대·고대 학생들을 매년 10여명 선발해 수업료 전액과 생활비를 지급해 왔다.
지금까지 3백30여명이 장학금을 받았고, 최근에는 대학원생에까지 수혜 폭을 넓혔다.
이들은 졸업 후에도 서중회라는 이름으로 활발히 교류하는 것으로 알려졌다.
1993년 조선일보 회장직을 사퇴, 회장직을 동생 방우영에게 넘기고 조선일보 명예회장이 되었다.
사회문제에도 관심을 갖고 1994년 방일영국악상 등을 제정하여 우수 국악인을 발굴하여 직접 포상하기도 했다.
그 밖에 온양방씨 중앙종친회 제3대 회장을 지내기도 했다.
1995년 5월에는 방일영문화재단을 설립하여 문화예술인에 대한 후원사업을 주관했다.
1999년 일신방직 사외이사에 선임되었고, 동년 대한민국 금관문화훈장을 수여받았다.
그해에 할아버지 방응모의 가묘를 마련하기도 했다.
2003년 조선일보사 고문으로 추대되었고, 2003년 8월 8일 새벽 2시 5분경 서울대 병원에서 숙환으로 사망했다.
사망 당시 그의 나이 만81세였다.
8월 8일 오전 10시 서울대병원 장례식장 1호실에 빈소가 마련됐다.
그 날 오후, 이복 숙부 방재선이 가족을 데리고 빈소에 조문하러 왔다가 상주들로부터 조문거부를 당하고 강제로 추방되어 실랑이가 벌어지기도 했다.
2004년 6월 충남 아산시 용화동 '온양방씨(溫陽方氏) 중시조신단묘원'에 방일영 송덕비가 세워졌다.
언론문화의 창달에 기여했다는 평가가 있다.
비판으로는 제3공화국, 4공화국 당시 밤의 황제으로 군림하며 권언유착에 가담한 장본인의 한사람이라는 비판이 있다.
그 밖에 안티조선 운동을 자초했다는 비판도 있다.
2001년 9월 숙부 방재선으로부터 호주상속권 소송을 당했다.
그러나 법원은 서자와 양손자가 있을 경우 양손자에게 호주상속권이 적용된다며 방일영의 손을 들어주었다.
방일영은 성적으로 문란한 삶을 살았다.
사후의 유산다툼에서 장남 방상훈의 변호사는 '잘 아시겠지만, 선대 회장님은 대한민국 기생들 머리를 가장 많이 올리신 분'이라고 말했다.
사후 일부 혼외자들이 조선일보와 방일영의 혼내자들을 상대로 소송을 제기하기도 했다.
그의 장남 방상훈은 독립운동가 겸 계몽운동가 윤치호의 증손녀이자 철도청 부이사관 윤영구의 딸 윤순명과 결혼했다.
혼내자 3명(1녀 2남), 혼외자 6명(첫 번째 간통상간녀 3남, 두 번째 간통상간녀 2녀 1남)이 있다.
자유 소프트웨어 재단( 줄여서 FSF)은 미국의 자유 소프트웨어 관련 재단이다.
자유 소프트웨어의 생산과 보급을 장려하기 위해 리처드 스톨만이 세운 재단으로, 주로 컴퓨터 소프트웨어를 만들어 배포하고 수정하는 보편적인 자유를 제고한다.
설립 이후부터 1990년대 중반까지 자유 소프트웨어 재단 기금은 GNU 프로젝트의 자유 소프트웨어를 작성하기 위해 소프트웨어 개발자를 고용하는데 대부분 사용되었다.
1990년대 중반 이후로 이 재단의 직원들과 자발적인 기여자들은 대개 자유 소프트웨어 운동과 자유 소프트웨어 커뮤니티를 위한 법적, 구조적 문제에 대한 작업을 처리하고 있다.
2002년 11월 25일, 자유 소프트웨어 재단은 자유 소프트웨어 재단 연합 멤버십 프로그램을 시작했다.
목표를 지속하기 위해 오직 자유 소프트웨어만이 FSF의 컴퓨터에 사용된다.
자유 소프트웨어()는 복사와 사용, 연구, 수정, 배포 등의 제한이 없는 소프트웨어 혹은 그 통칭이다.
소프트웨어의 수정 및 수정본의 재배포는 인간이 해독 가능한 프로그램의 소스 코드가 있어야만 가능하며, 소스 코드는 GPL 등의 라이선스를 통하거나, 혹은 극히 드물게 퍼블릭 도메인으로 공개되기도 한다.
자유 소프트웨어 운동은 초창기의 컴퓨터 사용자들이 이러한 자유를 누릴 수 있도록 하기 위해서 1983년에 시작되었다.
1990년대 후반에는 자유 소프트웨어 대신 오픈 소스 소프트웨어라는 용어가 많이 쓰이기 시작했다. 하지만 자유 소프트웨어 재단은 자유로운 사용을 강조하는 대신 기술적인 면에 치우친 용어라는 점에서 "오픈 소스 소프트웨어"라는 용어 대신 "자유 소프트웨어"라는 용어를 사용할 것을 권장한다.
이와 반대되는 개념으로 독점 소프트웨어 혹은 비자유 소프트웨어 등의 용어도 있다.
자유 소프트웨어는 완전히 무료로 또는 최소한의 금액만을 받고 자유롭게 배포되어야 하며 자유 소프트웨어를 통한 비즈니스 모델들은 대개 고객 지원이나 커스터마이징 등을 통한 것들이다.
반면 독점 소프트웨어를 이용한 비즈니스 모델들은 사용자가 합법적으로 소프트웨어를 이용하기 위한 허가를 위해서 반드시 일정 비용을 지불해야 하기 때문에, 자유 소프트웨어와는 맞지 않는다.
자유 소프트웨어는 이제 거대한 전 세계적인 움직임으로 확산되었으며, 개인 및 거대 단체와 정부 기관 등에서 사용하는 소프트웨어들이 만들어지고 있다.
아파치 웹 서버나 MySQL 데이터베이스, PHP 스크립트 언어 같은 자유 소프트웨어들은 서버 측 인터넷 애플리케이션 영역에서 강한 영향력을 지니고 있다.
완벽히 자유로운 컴퓨터 환경은 리눅스나 FreeBSD 등의 시스템 소프트웨어들을 기본으로 한 많은 패키지들을 통해서 구성할 수 있다.
자유 소프트웨어 개발자들은 웹 브라우저나 오피스 제품군 혹은 멀티미디어 플레이어 등의 거의 대부분의 데스크톱 애플리케이션들을 자유 소프트웨어로 만들어냈다.
그러나 많은 영역에서 개인 사용자를 위한 이런 소프트웨어들은 경쟁 독점 소프트웨어들에 비해 미미한 시장 점유율만을 차지하고 있다.
대부분의 자유 소프트웨어들은 온라인으로 무료로 제공되거나, 오프라인으로 적당한 가격으로 배포된다.
그러나 이것이 필수적인 것은 아니다.
자유 소프트웨어의 경제적 가능성은 IBM이나 레드햇, 썬 마이크로시스템즈 등의 거대 회사들에 의해 인식되었다.
주력 산업이 IT 영역이 아닌 많은 회사들이 인터넷의 홍보 및 판매 사이트를 위해 비용이 적게 들고 애플리케이션을 쉽게 수정할 수 있다는 점에서 자유 소프트웨어를 선택했다.
또한 소프트웨어 이외의 산업에서도 그 연구와 개발을 위해서 자유 소프트웨어의 개발과 유사한 방법을 사용하기 시작했다.
예를 들어 과학자들은 좀 더 공개된 개발 과정을 생각하고 있었고, 마이크로칩과 같은 하드웨어들은 카피레프트 라이선스가 적용된 명세서와 함께 개발되기 시작했다.(오픈코어 프로젝트를 참조.) 크리에이티브 커먼스나 자유 문화 운동 등의 움직임들도 또한 자유 소프트웨어 운동의 영향을 크게 받은 사례이다.
자유 소프트웨어를 이해하려면 먼저 자유에 무게중심이 있다는 것을 이해해야 한다.
자유는 소프트웨어를 자유롭게 이용할 수 있도록 하는 것을 의미하며 자유롭게 이용함을 말한다.
자유에는 일정한 책임이 따르게 된다.
자유롭게 이용하더라도 출처를 밝히고 소프트웨어를 사용하는 조건이 무엇인지 알아야 한다.
이유는 본인 혼자서 자유롭게 쓴다 하더라도 결국 재생산, 재배포 등의 활동이 수반될 수 있기 때문에 책임범위 안에서 활동할 수 있다.
자유는 결국 책임을 수반한다고 보고 책임을 다하는 것은 출처를 밝히고 사용조건을 준수하는 것이다.
결론적으로 자유 소프트웨어에 대한 정의는 남이 만든 소프트웨어를 사용할 경우 책임을 지겠다는 최소한의 조건을 이행함으로써 누구나 쉽게 사용할 수 있게 하는 것이다.
1950년대부터 1970년대까지의 컴퓨터 사용자들은 대부분의 소프트웨어를 자유롭게 이용할 수 있었다.
사람들은 흔하게 소프트웨어를 서로 공유했고, 하드웨어 제조사들은 하드웨어를 편리하게 사용할 수 있게 하는 소프트웨어들이 제작되는 것을 기꺼워했다.
1970년대와 1980년대 초반에는 소프트웨어 산업이 복제권을 법적으로 적용하기 시작하여, 사용자들이 소프트웨어를 연구하거나 수정하지 못하도록 바이너리 형태로만 배포하는 등의 기술적 방법을 사용하곤 했다.
1983년에, 리처드 스톨만은 컴퓨터 산업의 이러한 변화에 저항해 GNU 프로젝트를 시작했다.
1984년에는 GNU 운영 체제의 개발이 시작되었으며, 자유 소프트웨어 재단(FSF)은 1985년 10월에 설립되었다.
그는 카피레프트를 주창하며 자유 소프트웨어의 정의를 모두가 자유롭게 사용할 수 있도록 디자인된 소프트웨어로 소개하였다.
1991년에는 핀란드에서 리누스 투르발스가 리눅스를 발표하였고 이것이 GNU 프로젝트에 통합되면서, 자유 소프트웨어 커뮤니티는 활성화되기 시작했다.
대표적으로 리눅스 커널이 이용하는 사용 허가이다.
GPL은 가장 널리 알려진 강한 카피레프트 사용 허가이며, 이 허가를 가진 프로그램을 사용하여 새로운 프로그램을 만들게 되면 파생된 프로그램 역시 같은 카피레프트를 가져야 한다.
이러한 철학에서 GPL은 컴퓨터 프로그램을 이용하는 사람에게 자유 소프트웨어의 권한을 누리며 카피레프트를 사용함으로써 그러한 자유가 보전되고, 이전 작업 내용을 수정하거나 다른 내용을 추가하는 것도 허용됐다.
이는 허용적인 자유 소프트웨어 사용 허가로서, BSD 사용 허가가 대표적인 예이다.
또 GNU 자유 문서 사용 허가서 (GNU FDL)은 GNU 소프트웨어에 대한 문서의 사용 허가로 시작하였으나 위키백과 프로젝트와 같이 다른 문서 형태에도 널리 퍼지게 되었다.
다만 현재까지 이 허가서는 미국과 유럽 일부 국가 등에서만 법원의 판단 등으로 합법한 허가서로 인정받았고, 대다수 국가에서는 이에 따른 법률적 판단을 받은 바 없다.
대한민국 내에서도 직접 이 허가서가 합법한가에 대한 법원의 판단은 없었으며, 다만 허가서라는 특성상 준법행위를 하는 다수는 분쟁없이 이 허가서의 제약을 따르고 있을 뿐이다.
대한민국 내에서도 한 차례 법원의 판단을 받을 뻔했던 엘림넷과 하이온넷 사건이 있었으나, 회사 기밀 유출 사건으로 형사기소되는 바람에 중요 쟁점일 수 있었던 GPL에 대한 판단은 형사법원에서 다루지 않고 다른 이유로 1, 2심 법원에서 유죄를 판결, 최종 확정한 바 있다.
따라서 현재로서는 적어도 공정거래위원회 등을 통해 표준 약관심의 따위를 받아 확정지을 필요가 있으며, 다만 그렇다 하더라도 이 표준 허가서가 부당하다는 법률적 판단도 없으므로, 이 허가서의 조건을 위반할 시 저작자로부터 기소당할 수 있다.
소프트웨어에 관련된 다섯 가지 의무.
GNU 일반 공중 사용 허가서는 누구에게나 다음의 다섯 가지의 의무를 저작권의 한 부분으로서 강제한다.
GPL은 미국의 리처드 스톨만(Richard Stallman)이 GNU-프로젝트로 배포된 프로그램의 라이선스로 사용하기 위하여 작성하였다.
이 라이선스들은 현재 GPL과 비슷한 조항들이 있으나, 각각의 프로그램 고유의 라이선스였다.
스톨만의 목표는 어떤 프로그램에서도 사용할 수 있는 하나의 라이선스를 만들어서 여러 프로젝트에서 코드를 공유할 수 있게 하는 것이었다.
이와 같은 목적에 부합하는 저작권의 형태로서 GPL이 1989년 1월에 처음으로 빛을 보게 되었다.
1990년에 이르자 몇몇 라이브러리에서 전략적으로 규제를 약화해야 할 필요성이 생겨났고, 이에 대한 조치로 라이브러리-GPL(LGPL, Library General Public License)이 생겨나게 되었으며, 1991년 6월에 배포된 GPL의 두 번째 판을 따라 LGPL도 두 번째 판으로 같은 번호를 붙여서 두 라이선스가 상호보완적임을 나타내었다.
GPL은 오늘날 자유 소프트웨어 저작권 가운데 가장 널리 쓰이고 있으며, 대부분의 GNU 프로젝트는 GPL과 LGPL의 규준에 따라 진행되고 있는 것으로 알려져 있다.
또한 모든 LGPL의 규준에 따르는 프로그램이나 프로젝트는 동시에 GPL의 규준에 따르고 있다.
GPL의 버전 1은 1989년 1월에 발표되었다(GPLv1 전문). 이것은 자유 소프트웨어에서의 두 가지 중요한 자유를 보장해 주었는데, 하나는 프로그램의 소스 코드를 공개하지 않은 채 바이너리 파일만 배포하는 것을 막는 경우로 이것을 막기 위해 GPLv1에는 프로그램을 GPLv1로 배포할 때는 사람이 이해하기 쉬운 소스 코드를 같이 배포해야 한다는 조건이 들어갔다.
두 번째 문제는 프로그램에 추가적인 제약을 걸 가능성이 있다는 점이었고, 이를 막기 위해 GPLv1 프로그램을 수정한 프로그램은 원래 프로그램과 마찬가지로 GPLv1을 따라야 한다는 조건이 들어갔다.
중요한 변경 사항은 "자유냐 죽음이냐"Section 7에 자세히 명시되어 있다.
이 내용은 GPL 프로그램을 배포하는 것을 막는 조건, 예를 들어 특허로 인하여 추가적으로 돈을 지불해야 한다거나 하는 일이 발생하여 소스 코드의 공개가 불가능하고 실행 바이너리 프로그램만 배포하려고 한다면 소스 코드 뿐만 아니라 실행 바이너리 프로그램조차 배포할 수 없도록 보완했다.
그리고 1990년대에 이르러 소프트웨어 라이브러리에 대해서는 조금 약화된 GPL 라이선스가 전략적으로 더욱 유용하다는 의견이 많아졌다.
2005년 후반에 자유 소프트웨어 재단에서 GPL의 세 번째 판을 개발할 것이라고 발표했다.
2판과 다른 점도 비공식적으로 나와 있다 .
2006년 2월 25일 벨기에 브뤼셀에서 열린 FOSDEM 발표에서 리처드 스톨만은 다음과 같이 말했다.
2006년, 자유 소프트웨어 재단은 GPL의 바뀔 수 있는 부분에 대해서 열두달간의 공공자문회를 가졌다.
이 과정에서 자유 소프트웨어 재단, 소프트웨어 자유 법률 센터, 유럽 자유 소프트웨어 재단이 의견을 조정했다.
2009년 7월, 마이크로소프트는 GPL 라이선스를 위반한 하이퍼V의 컴포넌트의 소스코드 20,000여줄을 공개했다.
일본어( 니혼고, 닛폰고, ), 는 주로 일본에서 사용되는 언어이다.
줄인 말로 일어(日語)라고도 한다.
문자는 히라가나 가나와 한자()를 사용한다.
일본에서는 사실상 법적 공용어이다.
일본에서 태어나고 교육받은 대부분의 사람은 일본어를 모어로 한다.
일본어의 문법 체계나 음운 체계를 반영한 수화로는 일본어대응수화가 있다.
사용 인구에 대해서는 정확한 통계가 없지만 일본 국내의 인구 및 일본국 국외에 거주하는 일본인과 일본계 외국인, 일본에는 약 1억 3천만 명 이상이 이 언어를 사용하고 있다고 추정된다.
통계에 따라 수치는 다소 차이가 있을 수 있으나, 이 수치가 맞다면 일본어는 모어 화자 수순 언어 목록에서 상위 10위 이내에 드는 언어다.
에스놀로그에 따르면, 언어별 사용자 수에서 일본어는 아홉 번째로 사용자 수가 많다.
2021년 9월 wordtips는 구글 키워드 플래너를 이용하여 세계인들이 학습하고 싶어하는 언어검색을 조사했으며 미국, 캐나다, 호주, 뉴질랜드 등 영어권 국가에서 가장 배우고 싶어하는 언어로 일본어가 선정되었다.
일본어의 음운은〈〉와〈〉을 제외하고 모음으로 끝나는 개음절 언어의 성격이 강하고, 또한 표준어를 포함해 많은 방언이 모라를 가지고 있다.
악센트는 고저 악센트를 띤다.
이와 더불어 본래의 옛 일본어인 야마토 고토바()에서는 원칙적으로
문장은 주어 - 수식어 - 술어의 어순으로 구성된다.
수식어는 피수식어의 앞에 위치한다.
또한 명사의 격을 나타내기 위해서는 어순이나 어미를 바꾸는 것이 아닌 문법적인 기능을 나타내는 기능어(조사)를 뒤에 덧붙인다.
이러한 구성에 따라 언어유형론상에서 어순적으로는 SOV형의 언어로, 형태적으로는 교착어로 분류된다.
어휘는 옛날의 야마토 고토바 이외에 근대 이후에 들어서는 서양어를 중심으로 하는 외래어가 증가하고 있다.
대우 표현으로는 문법적, 어휘적으로 발달한 경어 체계가 있으며, 서술되는 인물 간의 미묘한 관계 차이를 나타낸다.
일본어는 지방별로 다양한 방언이 있으며, 특히 류큐 제도의 방언은 다른 방언들과 차이가 두드러진다.
근세 중기까지는 교토 방언이 중앙어의 지위에 있었지만 근세 후기에는 에도 방언의 지위가 높아졌으며, 메이지 시대 이후의 현대 일본어에서는 도쿄의 야마노테에 거주하는 중산층 이상의 사람들이 사용하는 방언(야마노테코토바)을 기반으로 표준어(공통어)가 형성되었다.(〈표준어#일본〉문서 참조)
표기 체계는 그 밖의 여러 언어들에 비해 복잡하다.
음독 및 훈독으로 읽는데 쓰인다.)와 히라가나, 가타카나가 일본어에 쓰이는 주요 문자이며, 항상 이 세 종류의 문자를 짝지어 표기한다.
그 밖에 로마자나 그리스 문자(의학・과학 용어에 주로 이용) 등도 자주 쓰인다.
또한 가로쓰기와 세로쓰기 병용된다.(표기 체계의 상세한 내용에 대해서는〈일본어의 표기 체계〉문서 참조）
음운은 〈자음＋모음〉 음절을 기본으로 하며, 모음은 다섯 종류밖에 없는 등 알기 쉬운 구조로 이루어진 한편, 직음()과 요음()의 대립, 〈1음절 2모라〉의 존재, 무성화모음, 말의 구조에 따라 높낮이가 바뀌는 고저 악센트 등의 특징이 있다.
일본어는 주로 일본에서 쓰인다.
일본어 사용 인구에 대한 조사는 일본국 국내외를 불문하고 아직 이루어지지 않았지만, 일본국의 인구수가 곧 화자 인구수라고 여겨지는 것이 일반적이다.
일본어를 직접적으로 일본의 공용어 내지 국어로 정하는 법적 규정은 없다. 하지만 애초부터 법령은 일본어로 기록되어 있고 재판소법에서는 “재판소에서는 일본어를 사용한다.”(동법 74조)라고 규정되어 있으며, 문자·활자문화진흥법에서는 “국어”와 “일본어”를 동일시한다(동법 3조, 9조). 그 밖의 많은 법령에서도 일본어가 유일한 공용어 및 국어임이 당연한 전제로 깔려 있다.
또한 법문뿐만이 아닌 공용문은 모두 일본어만 쓰이며, 일본국의 학교 교육에서는 일본어가 “국어” 과목으로서 교육되고 있다.
일본에서는 TV나 라디오, 영화 등의 방송, 소설이나 만화, 신문 등의 출판 분야에서도 거의 대부분 일본어가 쓰이고 있다.
일본국 외의 드라마나 영화가 방송되는 경우에도 기본적으로 일본어로 번역되어 자막이 달리거나 음성이 일본어로 더빙되어 방송되는 등 시청자 및 청취자가 일본어만은 당연히 이해하고 있다는 전제하에 이러한 자막이나 더빙이 달려 방송된다.
외국어 그대로 방송되거나 출판되는 경우도 있지만, 이러한 것들은 해외로 발표되는 것을 전제로 하는 논문이나 혹은 일본국에 거주하는 외국인 또는 외국어 학습자 등 한정된 사람을 대상으로 하며, 절대다수의 일본인을 대상으로 한 것이 아니다.
일본 외에서는 주로 라틴 아메리카(브라질, 페루, 볼리비아, 도미니카 공화국, 파라과이 등)나 하와이 등의 일본인 이민자 사이에서 일본어를 사용하는 경우가 관찰되지만, 일본계 사람의 3세, 4세로 세대가 내려갈수록 비일본어 화자가 늘어가고 있는 것이 실정이다.
또한 제2차 세계 대전의 일본 패전 이전에 일본의 식민지하에 있었던 한반도, 타이완, 구 만주국 영토, 사할린섬, 남양 제도(현재의 괌, 북마리아나 제도, 팔라우, 마셜 제도, 미크로네시아 연방) 등의 지역에서 일제 당시 일본어 교육을 받았던 사람들 중 현재에도 일본어를 기억하고 이야기할 수 있는 사람이 있다는 조사도 있다.
타이완에서는 타이완 원주민이 다른 부족과 대화할 때 일본어가 종종 쓰이는 경우가 있다고 한다.
팔라우의 앙가우르주에서는 일본어를 공용어의 하나로 채용하고 있지만 현재 앙가우르주 내에는 일본어를 일상 회화에 쓰는 주민은 존재하지 않아 실질적인 주 공용어의 역할을 하고 있지 않으며, 일본국과의 우호를 나타내는 상징적인 요소로만 남아 있다.
일본국 외의 일본어 학습자는 대한민국에 약 53만 명, 중화인민공화국에 약 83만 명, 인도네시아에 약 72만 명을 비롯해 365만 명에 이르며, 동아시아, 동남아시아의 학습자 수가 전체 학습자의 80퍼센트를 차지하고 있다.
일본어 교육이 행해지는 지역은 125개국과 8지역에 이르고 있다.
또한 일본국 국내의 일본어 학습자는 아시아 지역의 학습자 약 14만 명을 중심으로 약 17만 명에 이른다.
일본어를 포함하는 일본어족의 계통은 분명하지 않다.
계통에 관한 몇 가지 이론과 가설이 있으나 아직까지 구체적으로 의견이 모이지 않고 있다.
알타이어족에 속한다는 설은 메이지 시대 말부터 특히 주목받았다.
이러한 설의 근거로는 고대 일본어(야마토 고토바)의 어두에 r음(유음)이 오지 않는 점, 일종의 모음조화 가 보이는 점 등이 있다.
다만 알타이어족에 속하는 언어 자체는 언어 간의 친족 관계가 증명되어 있지 않아 고대 일본어에 위와 같은 특징이 나타나는 것이 일본어가 유형상 〈알타이형〉 언어 라는 특징을 지니고 있는 것은 아니라 할 수 있다.
남방계의 오스트로네시아어족과는 음운 체계나 어휘가 유사하다고 지적되고 있지만, 그러한 예시가 충분치 않고 단순한 추정이나 불확정된 예가 많이 포함되어 있다.
드라비다어족과의 관련을 주장하는 설도 있지만 이를 인정하는 연구자는 적다.
오노 스스무는 일본어의 어휘나 문법 등이 타밀어와 공통점을 지니고 있다는 설을 주장하지만 비교언어학의 방법상의 문제로 인해 비판이 많다.
아이누어는 어순(SOV형)에 있어서는 일본어와 유사하지만 문법과 형태는 유형론적으로 일본어와는 다른 포합어에 속하며, 음운 구조도 유성, 무성의 구별 없이 폐음절이 많은 등의 차이가 있다.
기초 어휘가 유사하다는 지적 도 있지만, 그 예시가 불분명하다.
일반적으로 일본어와 닮아있는 아이누어 중에는 일본어에서 아이누어로 간 차용어가 다수 포함되어 있는 것으로 보인다.
지금으로서는 계통적 관련성을 나타내는 자료는 부족하다.
한국어는 문법 구조가 유사한 점이 많지만 기초 어휘가 크게 차이 난다.
음운면도 고유어에 있어서 어두에 유음이 오지 않는 점, 일종의 모음조화가 보이는 점 등 앞에서 언급한 알타이어족과 공통되는 유사점이 있는 반면, 폐음절이나 자음 연결의 존재나 유성 및 무성이 없는 점 등 일본어와는 큰 차이도 있다.
한반도의 사어인 고구려어와는 수사 등 유사한 점이 있다고 일컬어지지만, 고구려어의 실태는 거의 대부분 알려져 있지 않으며, 현시점에는 계통론상의 판단 자료로는 성립되지 않는다.
또한 렙차어, 히브리어 등과의 동계론(同系論)도 과거 존재했지만, 거의 대부분 의사언어비교의 범주에 머물렀다.
난세이 제도(구 류큐국 영역)의 언어는 일본어와 계통을 같이하는 언어 중 하나(“류큐어” 내지 “류큐어족”)로 간주해 일본어와 한데 모아 일본어족으로 보는 관점과 일본어의 방언 중 하나(“류큐 방언”)로 보는 관점이 있지만, 연구자와 견해에 따라 의견이 갈린다.
일본어는 크게 오사카와 교토를 중심으로 하는 서일본 방언()과, 도쿄와 요코하마를 중심으로 하는 동일본 방언()으로 크게 양분된다.
이즈 제도 남부에는 고대어 표현이 많이 남는 독특한 방언이 있어, 하치조어()라고 불린다.
방언에 관한 일본국의 문헌적인 기록은 현존하는 일본국의 최고의 시가집인 만요슈에서 나오는데 여기에는 아즈마 지방(현재의 간토 지방)의 방언의 노래가 있다.
나라 시대에도 이미 나라 지방을 중심으로 중앙어와 그 외 지역의 방언에 대한 인식이 있었다고 한다.
일본국의 방언 연구는 에도 시대 때부터 본격적으로 이루어졌으며 메이지 시대를 거치면서 국가에 의한 연구가 진행되어 왔다.
동일본 방언에는 도호쿠 방언, 간토 방언, 나고야 방언 등의 주부 방언이 있고, 서일본 방언에는 호쿠리쿠 방언, 긴키 방언(간사이 방언), 히로시마 방언 등의 주고쿠 방언, 시코쿠 방언, 하카타 방언 등의 규슈 방언 등 수많은 지역성이 강한 방언이 존재한다.
특히 오사카의 방언은 지역색이 두드러지는 것으로 유명하다.
온화한 인상의 도쿄에서 주로 사용하는 표준어에 비해 오사카는 해상 교통이 있는 상업 도시였기 때문에 오사카 방언은 활발한 억양이 특징이다.
교토 방언은 ‘위쪽 말’()이라고도 하는데 수도가 오랫동안 교토에 있었다가 도쿄에 옮겨졌기 때문에 품위 있고 격조 높은 말로 여겨져 왔다.
도쿄 방언은 거의 표준어에 가깝기 때문에 표준어라고 오해하는 경우가 많지만 본래 에도 방언이라고도 불린 것으로 (히)와 (시)의 발음의 구별이 되지 않는 등 표준어와는 다르다.
홋카이도 방언도 거의 표준어에 가깝지만 특히 형용사 등에 홋카이도 특유의 방언이 포함된다.
현재 공식 장소 등에서는 평상시 방언을 말하는 사람도 표준어를 이용한다.
일본어는 고저 악센트를 가진 언어이다.
일본어에서는 보통 한자와 히라가나, 가타카나 등 세 종류의 문자를 주로 사용하여 표기되며, 그 밖에 로마자와 아라비아 숫자도 함께 사용한다.
이들 가운데 히라가나와 가타카나는 표음문자고, 한자는 표의문자이다.
전통적으로 메이지 시대 초반까지는 일본어의 맞춤법에서는 띄어쓰기를 사용하지 않고 히라가나만을 사용하거나 교육용 문서에서는 단어 사이에 공백을 사용하기도 하였다.
이외에도 구두점 등을 사용할 때도 서양의 문장 부호들(따옴표, 물음표, 느낌표, 온점 등)을 사용하지 않는 것이 기본이었다.
오늘날 현대에는 거의 대부분의 공문서와 사문서 모두 단락 부호로 (한국어 맞춤법의 ‘,’에 해당) 및 (한국어 맞춤법의 ‘.’에 해당)이 넓게 이용되고 있다.
1951년 10월 30일, 일본국의 국어심의회 건의 제3의 5의 주2에서는 ‘,’및 ‘.’를 사용하도록 가이드라인이 짜여졌지만 실제로는 거의 대부분 준수되고 있지 않다.
아래는 일본어의 오십음()이다. '[]'의 안은 국제 음성 기호(IPA) 표기이다.
일본어에는 본래 일본어의 고유어인 야마토 고토바가 있었고, 한자는 뒤에 중국에서 직접 전해지거나 혹은 한반도 서해안(특히 백제 또는 고구려)을 경유하여 전래되었다.
한자를 읽을 방법은 크게, 한자와 함께 전해진 한자 본래의 음에서 온 음독( 또는 )과, 그 한자와 같은 의미를 가진 야마토 고토바()의 발음을 적용시켜 발음하는 훈독( 또는 )으로 나눌 수 있다.
같은 한자도 음독이나 훈독이 여러 개 존재하는 경우도 있기 때문에 일본어에서는 하나의 한자에 여러 개의 발음이 있는 것이 대부분이다. “生”(날 생)에는 47종류의 발음이 있다.
예를 들어 한국어에서는 “水”(물 수)를 '수'라고는 읽지만 '물'이라고는 읽지 않는데, 그에 반해 일본어에서는 음독으로 '스이(すい)'라고도 읽고 훈독으로 '미즈(みず)'라고도 읽는다.
마찬가지로 한국어에서는 “金”(쇠 금, 성 김)을 '금'으로, 성씨로 쓰일 때 한정으로 '김'이라고는 읽으나, '쇠'라고는 읽지 않는데, 일본어에서는 음독으로 '킨(きん)' 혹은 '콘(こん)'으로도 읽고 훈독으로 '카네(かね)'라고도 읽는다.
한자의 위(세로쓰기에서는 오른쪽)에 작은 크기의 가나로 발음을 적은 것을 후리가나라고 한다.
후리가나를 붙일 때는 읽는 독음이 온요미인지 쿤요미인지 구별하기 위해서 온요미의 경우에는 가타카나로, 쿤요미의 경우에는 히라가나로 붙이는 게 정석이나, 구별이 필요하지 않는 상황에서는 상관없이 히라가나로 표기하기도 한다.
만요슈에는 한자를 차용하여 표음문자처럼 이용한 만요가나가 사용되었다.
일본어와 가나를 외우기 위한 방법으로 이로하 노래()가 있다.
여기에는 "을 제외한 모든 글자가 한 번씩 들어 갔으며, 일부 변형에는 "도 들어가기도 한다.
과거에는 이 노래의 순서대로 가나의 순을 매기기까지 했었고 현재까지도 종종 쓰인다.
이런 종류의 문장을 팬그램이라 부른다.
그 밖에 이전에도 유사한 방법으로 아메쓰치노우타나 대위이 노래 등이 있었다.
다음은 일상적으로 자주 쓰이는 일본어 표현들이다.
로마자 표기는 헵번식 로마자 표기법을 따른다.
대한민국의 일본어 교육.
역사적으로 한국과 일본은 7세기 이전에도 교류가 있어서 일본어를 접한 건 오래되었다.
일제강점기에는 강제로 교육시키기도 했다.
한국에서 일본어 교육이 시작된 것은 조선 말기이나, 본격적으로 시작된 것은 정부 수립 이후였다.
1970년대 초에 고등학교 교과목에 일본어가 제2외국어 중 하나로 추가되었고, 2001년에는 '생활 일본어'가 중학교 교과목에 포함되었다.
현재 대한민국의 대학 수험생들은 수능에서 일본어 I을 선택할 수 있다.
실수의 특성상, 제곱하면 무조건 0 또는 양수가 되기 때문에 이차방정식 formula_1에서는 실수의 범위에서 해를 전혀 구할 수가 없다.
또한 수직선에 모든 실수를 하나하나 대응시키면, 수직선은 빈틈없이 채워지는 것으로 볼 때, 우리가 존재한다고 느낄 수 있는 수는 실수밖에 없다는 것은 필연코 부정할 수 없는 사실이다.
여기서 formula_1 꼴과 같이 실수 범위에서 전혀 구할 수 없는 해를 구하기 위해 무엇인가를 만들어야 할 필요성을 느낀다.
실수의 성질로는 불가능한 제곱해서 음수가 되는 수를 만들어내기 위해 제곱하여 -1이 되는 수 formula_3를 만들어내면, 위의 이차방정식의 해는 formula_4또는formula_5이 되므로 이 수는 우리가 존재한다고 느끼는 수가 아님에도 불구하고, 이차방정식의 해가 되기 때문에 수학자들은 이 수가 수학적 가치가 있음을 인정하고 허수로 정의했고, formula_3만 있으면 모든 허수들을 나타낼 수 있으므로 이 수를 imaginary number의 앞글자를 따서 허수 단위 formula_7라고 정의했다.
복소수는 실수와 허수를 포괄하는 수이며, formula_8 (단, a, b는 실수)로 나타낼 수 있고, 이때 a를 실수부, b를 허수부라고 한다.
또한, 허수는 기존에 있었던 수직선, 실수축(가로)에 허수축(세로)를 덧붙여 복소수평면을 만든 결정적인 계기가 되었다.
허수가 정의되기 전까지만 해도, 수의 개념은 1차원적이었다.
즉, 수의 개념은 오직 수직선으로만 표현되었다.
그러나 허수가 정의된 후, 수의 개념은 2차원으로 확장되었다.
즉, 수의 개념은 복소평면으로 표현된 것이다.
수의 틀을 직선에서 평면으로 확장시킨 것은 모두 허수의 덕택임을 알 수 있다.
고대 그리스의 수학자 헤론은 거듭제곱하여 음수가 되는 수에 대한 개념을 기록한 바 있다. 1572년 이탈리아의 수학자 라파엘 봄벨리가 허수 단위를 정의하였다.
이후 르네 데카르트가 《방법서설》의 부록 〈기하〉()에서 상상의 수(imaginary numbers)라고 부른 데에서 허수라는 이름이 정착되었다.
허수라는 이름은 레온하르트 오일러와 카를 프리드리히 가우스에 의해 널리 알려졌으며, 오일러는 허수 단위 기호로 formula_7를 도입하였다.
또한 오일러는 이것을 방정식formula_10 일 때 이 방정식을 만족하는 정수해는 없다는 것을 증명할 때 사용하였다.
1799년 카스파르 베셀이 복소수의 기하학적 표현을 완성하였다.
1843년 윌리엄 로언 해밀턴은 복소수를 확장하여 사원수 체계를 만들었다.
즉 실수에 허수단위 formula_12가 곱해진 형식을 가지고 있고, 따라서 제곱하면 음수가 된다.
한 평면상에 직교 좌표계를 정하고 이에 대한 한 점 Z의 위치 (x, y)를 formula_13로 정하여 복소수를 평면상의 점으로 표시할 수 있다.
이 때, 좌표와 복소수는 일대일 대응을 이룬다.
또한, 이렇게 나타낸 점 Z(x,y)는 극좌표를 사용하여 원점에서부터 점 Z 사이의 반지름과 각도로서도 나타낼 수 있다.
이를 켤레복소수(복소켤레)라고 한다.
켤레 복소수는 극좌표에서 반지름이 같고 x축에 대해 대칭인 점이 된다.
복소평면에서 허수의 위치를 극좌표를 사용하여 나타낼 수 있으므로, 임의의 단위 원을 그려 복소수와 삼각함수의 관계를 생각할 수 있다. 1714년 영국의 수학자 로저 코츠는 자연로그가 다음과 같은 삼각함수의 관계식으로 표현될 수 있다는 것을 발견하였다.
수 체계에서 허수는 복소수와 함께 다루어지는 것이 보통이다.
선형대수학(線型代數學, )은 벡터 공간, 벡터, 선형 변환, 행렬, 연립 선형 방정식 등을 연구하는 대수학의 한 분야이다.
현대 선형대수학은 그중에서도 벡터 공간이 주 연구 대상이다.
추상대수학, 함수해석학에 널리 쓰이고 있다.
선형대수학은 자연과학과 공학에도 널리 활용된다.
선형 연립방정식을 푸는 좋은 방법으로는 소거법과 행렬식이 있다.
선형대수학은 2차원 혹은 3차원의 직교 좌표계에 대한 연구로부터 시작되었다.
선형대수학에서 기본적인 정의는 다음과 같다.
보통 3차원까지의 벡터는 그림 등으로 시각적 표현이 가능하지만 그 이상의 벡터는 벡터의 각 구성요소를 괄호 안에 나열함으로써 표기한다.
여러 가지 문제를 수학으로 해결하는 데 있어 선형대수학의 개념은 매우 중요한데, 선형화 혹은 선형 근사를 통해, 복잡한 비선형 방정식 문제를 간단한 선형 방정식 문제로 변환해 문제를 해결할 수 있기 때문이다.
선형대수학의 선형성()이라는 성질은 직관적으로는 아래와 같은 개념에서 시작되었다.
이와 같이 선형성은 변수의 지수승(formula_4)을 가리키는 것이 아니라 일차함수(formula_5)와 같은 형태를 가리킨다.
선형과 대립되는 개념으로 비선형이 있는데, formula_6 등 일차함수와 같은 형태의 성질을 만족시키지 않는 함수들을 가리킨다.
선형의 직관적인 이해는 일차함수와 동일시해서 생각해도 좋다. 하지만 선형의 엄밀한 의미는 일차함수보다 더 확장된다.
수학적으로 정확한 선형의 설명은 다음과 같다.
여기서 c는 임의의 상수이다.
그러므로 이 함수는 선형이다.
다른 선형연산의 예로는 회전변환, 원점을 지나는 직선에 대한 대칭변환, 어떤 벡터 공간에 대한 수직입사 등이 있다.
"선형"이라는 성질은 행렬과 동전의 양면과 같은 관계를 가지고 있다.
어떤 연산이 선형이라면 그것은 행렬로 표현이 가능하며, 어떤 행렬은 반대로 어떤 선형연산으로 해석될 수 있다.
이 선형대수학의 행렬이론은 수학의 이론뿐만 아니라 물리학, 전자공학, 컴퓨터 그래픽, 기계공학 등에 널리 쓰이고 있다.
학부과정에서 가르치는 선형대수학의 내용들은 다음과 같다.
다만 이 내용은 일반적으로 이와 같이 가르치는 내용이며 각 학교마다 비중있게 다루는 부분이 다를 수 있고 내용을 추가하거나 뛰어넘을 수 있다.
컴퓨터 과학에서 커널()은 컴퓨터 운영 체제의 핵심이 되는 컴퓨터 프로그램으로, 시스템의 모든 것을 완전히 통제한다.
운영 체제의 다른 부분 및 응용 프로그램 수행에 필요한 여러 가지 서비스를 제공한다.
커널은 운영 체제의 핵심 부분이므로, 커널의 역할 역시 운영 체제의 핵심 역할이라 할 수 있다.
초창기의 컴퓨터에서 운영 체제 커널은 필수적인 것이 아니었다.
초기의 프로그램은 하드웨어 추상화나 운영 체제의 지원을 받지 않고도 컴퓨터만으로 불러들인 다음 실행될 수 있었으며, 이것은 초창기 컴퓨터들의 일반적인 운영 방식이었다.
다른 프로그램을 실행하기 위해서는 컴퓨터의 전원을 껐다가 켬으로써 다시 입력자료를 읽어들여야 하는 방식이었다.
이러한 과정이 반복되면서 사람들은 로더와 디버거 같은 작은 프로그램들이 상주해 있는 것이, 다른 프로그램으로 교체하거나 새로운 프로그램을 개발하는 데 유리하다는 사실을 알게 되었다.
이와 같은 로더, 디버거들이 초기 운영 체제 커널의 기초가 되었다.
단일형 커널은 하드웨어 위에 높은 수준의 가상 계층을 정의한다.
높은 수준의 가상 계층은 기본 연산 집합과 관리자 모드에 작동하는 모듈인 프로세스 관리, 동시성, 메모리 관리 등의 운영 체제 서비스를 구현하기 위한 시스템 콜으로 되어 있다.
이 연산들을 제공하는 모든 모듈이 전체로부터 분리되어 있더라도 모든 모듈이 같은 주소 공간에서 실행되기 때문에 코드의 집적도는 매우 조밀하며 수정하기 어렵고 한 모듈의 버그는 시스템 전반을 멈추게 할 수 있다.
그러나 구현이 신뢰할 수 있을 정도로 완성되면 구성 요소의 내부 집적이 내부의 시스템 이용을 효과적이게 하여 좋은 단일형 커널은 높은 효율을 보인다.
단일형 커널의 지지자들은 코드의 정확성 여부와 그런 코드(부정확한 코드)가 커널에 포함되었는지를 확인할 수 있고 그것은 마이크로커널에 비해 조금 더 우위에 있다고 주장한다.
리눅스, FreeBSD, 솔라리스와 같은 최신의 단일형 커널은 실행 모듈을 실시간으로 읽어들일 수 있다.
실시간으로 실행 모듈을 읽는 특징은 커널이 허용하는 범위 내에서 손쉽게 확장할 수 있게 커널 공간의 코드의 양을 최소한으로 유지시켜 준다.
윈도우 NT 시리즈는 상위의 서비스들을 NT executive이라는 서버로 구현하였다.
Win32 특성은 처음에는 사용자 모드의 서버 형태로 구현되었으나, 최근 버전에서는 관리자 주소 영역으로 이동하였다.
다양한 서버들이 로컬 프로시저 콜(LPC: Local Procedure Call)이라 불리는 주소 영역간 매커니즘을 통해 통신하며, 성능을 최적화하기 위해 공유 메모리를 이용한다.
주로 다음 운영 체제들의 커널이 단일형 커널인 것으로 알려져 있다.
마이크로커널은 하드웨어 위에 매우 간결한 추상화를 정의한다.
기본 연산 집합과 운영 체제 서비스를 구현한 스레드 관리, 주소 공간, 프로세스간 통신의 작은 시스템 콜으로 이루어져 있다.
일반적으로 커널이 제공하는 네트워킹과 같은 다른 서비스들은 사용자 공간 프로그램인 서버로 구현한다.
운영 체제는 서버를 다른 일반적인 프로그램처럼 간단히 시작하고 끌 수 있다.
이를테면 네트워킹 지원이 필요 없는 작은 시스템에서는 간단히 서버를 끄면 된다.
이 경우 전통적인 시스템에서는 재컴파일이 필요했고 일반 사용자의 능력 밖의 일이다.
이론적으로 마이크로커널에서 시스템은 더 안정적이다.
서버가 중단될 때 커널의 충돌이 아니기 때문에 단 하나의 프로그램만 내려버리면 된다.
그러나 서버가 실패한 후 시스템 상태도 잃어버릴 경우 응용 프로그램이 계속 수행되는 것은 그 응용 프로그램이 막 복사된 다른 서버를 이용하게 되더라도 보통은 매우 힘들다.
예를 들어 TCP/IP 연결을 요구하는 (이론적인) 서버가 다시 시작되면 응용 소프트웨어는 연결이 "끊어졌습니다."라고 말하고 서버의 새 인스턴스를 찾아서 다시 연결한다.
그러나 파일과 같은 다른 시스템 객체는 이렇게 편리한 의미론이 없다.
이러한 편리가 믿음직스럽지 못하고 마음대로 이용할 수 없다.
기록할 정보들은 모두 미리 보관해 두어야 한다.
서버 간의 하나의 서버를 다시 시작할 때 중요 상태를 보호하기 위해 트랜잭션, 복제, 대조점의 데이터베이스 기술이 요구된다.
일반적으로 마이크로커널은 전통적인 디자인의 수행을 잘못하고 때로는 극적이다.
이유는 응용과 서버 간의 자료 교환을 위해 커널을 출입하는 문맥 교환 때문이다.
주의 깊은 조율이 오버헤드를 극적으로 줄여줄 것으로 믿어져 왔으나 90년대 중반부터 대부분의 연구원들은 시도를 포기했다.
최근에 새 마이크로커널은 성능을 최우선으로 설계하며 이 문제를 넓은 부분에서 다루었다.
그러나 현재 운영 체제 시장은 자기 몸 사리며 마이크로커널 설계에 소극적이다.
마이크로커널과 마이크로커널에 기반한 운영 체제의 예
혼합형 커널(수정 마이크로커널).
혼합형 커널은 본질적으로 마이크로커널을 따르나, 일부 커널의 비(非)본질적 기능이더라도 사용자 레벨에서 수행될 때 성능상 느린 코드들을 커널 레벨에서 수행하도록 수정한 것을 말한다.
이는 다양한 운영 체제 개발자들이 마이크로커널 기반의 설계를 받아들이던 시점에 순수한 마이크로커널의 성능상의 한계를 인식하고 타협한 결과이다.
예를 들어, OS X의 커널인 XNU는 Mach 커널 3.0 마이크로커널에 기반을 두고 있지만, 전통적인 마이크로커널 설계의 지연 현상을 줄이기 위해 BSD 커널의 일부 코드들을 들여와 동일한 주소 영역에서 실행하고 있다.
하이브리드 커널로는 다음과 같은 것들도 포함된다.
혼합형 커널이라는 말을 부팅 후에 모듈을 읽어들일 수 있는 단일형 커널과 혼용하는 사람들이 있다.
혼합형 커널은 단일형 커널과 마이크로커널 설계 양쪽의 구조적 개념과 작동방법에 대한 특히 메시지 전달과 어떤 중요하지 않은 코드는 사용자 공간에 들어가는 반면 어떤 코드는 성능의 이유로 커널 공간에 포함해야 하는지에 대한 문제의식을 가진다.
엑소커널은 운영 체제 설계에 대한 급진적인 신개념으로 말단 이론을 따르는 수직 구조의 운영 체제이다.
엑소커널의 구상은 개발자에게 강제적인 추상화를 줄여 하드웨어 추상화에 대해 선택지를 다양하게 하는 것이다.
엑소커널은 기능이 보호를 보장하는 것과 자원을 분배하는 것만 하기에 매우 작아 편익보다 단순함을 제공한다.
이런 특성은 오히려 모든 사용자가 각기 실제 호스트 컴퓨터의 자원을 모방한 컴퓨터를 받는 VM/370 운영 체제와 비슷하다.
반면에 모놀리식 커널이든 마이크로 커널이든 전통적인 커널 설계는 하드웨어 추상화 계층(HAL)이나 장치 드라이버 아래 자원을 숨김으로써 하드웨어를 추상화한다.
한 예로 전통적인 시스템에서 물리 메모리가 할당할 때 실제 위치를 알려주지 않기 때문에 오프셋과 기억 관리 장치를 통해서만 문제를 해결할 수 있다.
노커널 소프트웨어는 단일 중앙 입구의 제약이 없다.
모놀리식 커널 대 마이크로 커널 논쟁.
1990년대 초기 모놀리식 커널은 진부한 것으로 여겨졌다.
리누스 토르발스와 앤드류 타넨바움간에 일어난 리눅스의 설계인 모놀리식 커널과 마이크로커널에 대한 프레임 워는 유명했다.
타넨바움과 토르발스의 토론에 제시된 두 진영의 의견은 일장일단이 있다.
두 진영의 성공 사례가 있다.
모놀리식 커널은 정확한 설계가 쉽고 마이크로커널 기반 시스템보다 빨리 성장할 수 있다.
반대로, 마이크로커널은 종종 임베디드 로봇 산업이나 의료 컴퓨터 등에 이용될 수 있다.
운영 체제의 컴포넌트를 개인적으로 가지고 있고 메모리 공간을 보호하기 때문이다.
근대의 모듈을 읽어오는 모놀리식 커널에서도 이런 것은 불가능하다.
Mach는 일반적인 용도의 마이크로커널로 알려졌지만 특별한 용도로 설계된 마이크로커널도 있다.
L3는 마이크로커널이 느리지 않다는 것을 보여주기 위해 만들어졌다.
L4는 L3의 후예로 Fiasco 구현으로 대중적인데 L4 프로세스들과 별도의 공간에서 리눅스 구동이 가능하다.
QNX는 1980년 초에 나타난 운영 체제로 극 최소주의 마이크로커널 설계로 이루어졌다.
이 시스템은 Mach가 목표로 했던 마이크로커널 이념을 더 성공적으로 이루었다.
QNX는 우주 왕복선의 로봇 팔과 (작은 실수가 수십억의 손실을 입히는 허블 우주망원경의 거울 등의) 오차에 민감한 유리를 닦는 기계에도 적용되었다.
도스(, 디스크 오퍼레이팅 시스템, DOS)는 디스크 운영 체제의 일종으로서 디스크에 읽고 쓰기 등의 명령을 수행하는 프로그램이다.
명령어를 직접 입력하는 명령 줄 기반이다.
이 시스템들 중 어느 것도 간단히 "도스"라고 불리진 않았다. (1960년대의 이와 관련이 없는 IBM 메인프레임 운영 체제에만 사용되었음) 이와 무관한 수많은 비x86 마이크로컴퓨터 디스크 운영 체제는 "도스"라는 이름을 그대로 사용하였으며 이들을 사용하는 컴퓨터에 대해 논할 때 단순히 "도스"라고 부르곤 했다. (아미가도스, AMSDOS, 애플 도스, 아타리 도스, 코모도어 도스, CSI-DOS, 프로도스, TRSDOS)
디지털 리서치의 CP/M이 가장 대표적인 도스의 원형이다.
8비트 개인용 컴퓨터에는 CP/M이 널리 사용되었으나 애플 II는 독자적인 애플 도스(정식 명칭은 그냥 DOS)를, MSX는 MSX-DOS를 썼다.
이들 컴퓨터도 나중에 CP/M을 지원하지만 디스크의 포맷이 달라서 서로 바꾸어 쓸 수는 없었다.
현재는 DR-DOS의 후기작인 오픈도스와, NTFS 등을 지원하는 공개 도스 프로젝트인 프리도스가 있다.
MS-DOS는 마이크로소프트가 만든 가장 보편적으로 쓰인 도스이다.
버전 5.0까지는 사실상 MS-DOS와 같은 제품이었으나 그 이후 추가된 내용이 달라졌다.
DR-DOS는 디지털 리서치사에서 만든 도스이다.
윈도우 3.1 이하의 버전과 같이 초기 버전의 마이크로소프트 윈도우는 별도 버전의 도스 위에서 실행되었다.
1990년대 초에 윈도우의 그래픽 셸은 도스 시스템에서 많이 이용되었다.
1995년에 윈도우 95가 별도의 도스 라이선스를 요구하지 않은 독립형 운영 체제로 번들되었다.
윈도우 95(및 이를 따랐던 윈도우 95과 ME)는 기본 OS 커널을 인계 받았지만 MS-DOS 구성 요소는 호환성을 위해 그대로 남겨두었다.
윈도우 미를 제외한 윈도우 95, 98과 더불어 MS-DOS 구성 요소는 윈도우를 시작하지 않고도 구동이 가능하였다.
윈도우 NT 계열 운영 체제가 널리 사용되면서, 윈도우 사용을 위해 더 이상 도스가 필요없게 되자 PC 사용자들 다수가 도스를 직접 사용하는 일은 중단되었다.
델, HP를 포함한 일부 컴퓨터 제조업체들은 FreeDOS를 OEM 운영 체제를 포함한 컴퓨터들을 판매한다.
하드웨어에 직접 접근하는 도스 구조는 임베디드 장치에서 이용할 때 매우 이상적이다.
최신 판의 DR-DOS가 현재에도 이 시장에 초점을 두고 있다.
ROM-DOS가 캐논 파워샷 프로 70의 임베디드 시스템에 사용되었다.
리눅스 하에서 도스 프로그램들을 거의 네이티브 속도로 구동할 수 있는 DOSEMU라는 리눅스 네이티브 가상 머신을 이용하여 여러 도스 사본들을 실행할 수 있다.
도스박스를 포함하여 여러 버전의 유닉스에서 도스를 구동하기 위한 다른 수많은 에뮬레이터들이 있다.