shopkeeper/kowiki-cleaned-020126 huggingface dataset:
에츠허르 데이크스트라

에츠허르 비버 데이크스트라(, 1930년 5월 11일 ~ 2002년 8월 6일)는 네덜란드의 컴퓨터 과학자이다. 1972년에 프로그래밍 언어 분야에 대한 지대한 공헌을 인정받아 튜링상을 수상했다.

 생애 
데이크스트라는 레이던 대학교에서 이론물리학을 전공했다.

데이크스트라는 컴퓨터과학이 아직 학문으로 완전하게 정립되지 않았던 시절에 컴퓨터과학의 여러 분야에 걸쳐 많은 공헌을 했다. 그의 다방면에 걸친 업적은 다음과 같다.

 데이크스트라 알고리즘을 개발하여 최단 경로 문제에 대한 학문적 연구를 시작했다.
 GOTO문을 사용하지 말 것을 주장했으며, 그의 주장은 1968년에 그의 논문 "GOTO문의 해로움"(Go To Statement Considered Harmful) 에 정리되었다.
 세마포어에 대한 연구를 처음으로 시작하였다.

오랜 암 투병 끝에 2002년 8월 6일에 세상을 떠났다.

 일화 
 Go To Statement Considered Harmful이라는 논문의 제목은 데이크스트라가 직접 지은 것이 아니라, 당시 편집장이었던 니클라우스 비르트가 지었다.

 각주 

 외부 링크 

 E. W. Dijkstra Archive
 네덜란드어 발음과 관련된 설명 (데이크스트라를 비롯한 여러 네덜란드 사람들의 이름을 읽는 방법을 mp3 파일로 들을 수 있음.)

 
분류:1930년 출생
분류:2002년 사망
분류:네덜란드의 컴퓨터 과학자
분류:튜링상 수상자
분류:컴퓨터 선구자
분류:레이던 대학교 동문
분류:로테르담 출신
분류:프로그래밍 언어 설계자
분류:텍사스 대학교 오스틴 교수
분류:네덜란드의 수학자
분류:미국에 거주한 네덜란드인
분류:20세기 수학자
분류:네덜란드의 수필가
분류:네덜란드의 프로그래머
분류:데이크스트라상 수상자
분류:20세기 네덜란드 사람
분류:21세기 네덜란드 사람
분류:ACM 석학회원
분류:이론 컴퓨터 과학자
분류:프로그래밍 언어 연구자
분류:소프트웨어 공학 연구자
분류:20세기 수필가
분류:컴퓨터 과학 교육자
세마포어

세마포어(Semaphore)는 에츠허르 데이크스트라가 고안한, 두 개의 원자적 함수로 조작되는 정수 변수로서, 멀티프로그래밍 환경에서 공유 자원에 대한 접근을 제한하는 방법으로 사용된다. 이는 철학자들의 만찬 문제의 고전적인 해법이지만 모든 교착 상태를 해결하지는 못한다.

실제 시스템에서 사용되는 세마포어를 생각하는 유용한 방법은 특정 리소스의 몇 단위를 사용할 수 있는지에 대한 기록과 해당 레코드를 안전하게 조정하는 작업(즉, 경쟁 조건을 피하기 위해)을 결합하는 것이다. 획득하거나 무료가 되며, 필요한 경우 리소스 단위를 사용할 수 있을 때까지 기다린다.

세마포어는 경쟁 조건을 방지하는 데 유용하지만, 경쟁 조건이 없다고 보장하지는 않는다. 임의의 자원 수를 허용하는 세마포어를 카운팅 세마포라고 하며, 값 0과 1(또는 잠김/잠금 해제, 사용 불가능/사용 가능)로 제한되는 세마포를 이진 세마포라고 하며 잠금을 구현하는 데 사용된다.

세마포어 개념은 데이크스트라와 그의 팀이 일렉트롤로지카(Electrologica) X8용 운영체제를 개발하던 1962년 또는 1963년에 네덜란드 컴퓨터 과학자 에츠허르 데이크스트라에 의해 발명되었다. 이 시스템은 결국 다중 프로그래밍 시스템으로 알려지게 되었다.

 구성 
세마포어 S는 정수값을 가지는 변수이며, 다음과 같이 P와 V라는 명령에 의해서만 접근할 수 있다. (P와 V는 각각 try와 increment를 뜻하는 네덜란드어 과 의 머릿글자를 딴 것이다.)

P는 임계 구역에 들어가기 전에 수행되고, V는 임계 구역에서 나올 때 수행된다. 이때 변수 값을 수정하는 연산은 모두 원자성을 만족해야 한다. 다시 말해, 한 프로세스(또는 스레드)에서 세마포어 값을 변경하는 동안 다른 프로세스가 동시에 이 값을 변경해서는 안 된다.

 적용 
 방법 1 
최초 제시된 방법은 바쁜 대기(busy waiting)을 이용한 방법이다.
 P(S) {
 while S <=0; // 아무것도 하지 않음 (반복문)
 S--;
 }

 V(S) {
 S++;
 }
이 방법은 임계 구역에 들어갈 수 있을 때까지 빈 반복문을 수행하기 때문에, 단일처리기 다중프로세스 환경에서 처리기 효율이 떨어진다. 또한 대기 중인 프로세스들 중 어느 것을 먼저 임계 구역에 진입시킬지를 결정할 수 없다.

 방법 2 
최초 방법의 단점을 보완한 방법으로서 재움 큐를 활용하여 프로세스를 재우는 방식이다.
 P(S) {
 S--;
 if S < 0
 // 이 프로세스를 재움 큐에 추가 (잠 듦)
 }

 V(S) {
 S++;
 if S <= 0
 // 재움 큐로부터 프로세스를 제거 (깨어남)
 }

 종류 
 계수 세마포어 
계수 세마포어(counting semaphore)에서는 초기값은 가능한 자원의 수로 정해지며, 세마포어 값의 범위는 정해져 있지 않다.
 이진 세마포어 
이진 세마포어(binary semaphore)에서는 세마포어 값으로 0 또는 1을 가진다. 계수 세마포어보다 간단히 구현할 수 있으며, Test and Set 등 하드웨어가 지원하는 기능을 이용하여 구현하기도 한다. 또한, 이진 세마포어를 이용하여 계수 세마포어를 구현할 수도 있다.

 약점 
 P함수와 V함수의 동작은 독립적이기 때문에 잘못 사용하는 경우 문제가 발생한다.
 P - 임계 구역 - P : 현재 프로세스가 임계 구역에서 빠져나갈 수 없게 된다. 또한 다른 프로세스들은 임계 구역에 들어갈 수 없으므로 교착 상태(Deadlock)가 발생한다.
 V - 임계 구역 - P : 2개 이상의 프로세스가 동시에 임계구역에 들어갈 수 있으므로 상호 배제(Mutual Exclusion)를 보장할 수 없게 된다.
 고급 언어에서 동기화를 제공해야 한다.

 참고 
세마포어(semaphore)의 원래 뜻은 기차 등에서 사용하는 '까치발 신호기'이다.

 같이 보기 
 생산자-소비자 문제
 독자-저자 문제
 철학자들의 만찬 문제

 출처 
 (September 1965)

 외부 링크 
 세마포어의 사용

분류:동기화
분류:동시성 제어
분류:병행성
분류:병렬 컴퓨팅
분류:컴퓨터 매개 통신
분류:에츠허르 데이크스트라
분류:네덜란드의 발명품
오류 검출 정정

섬네일
오류 검출 정정(誤謬檢出訂正) 또는 오류 제어(誤謬制御)는 컴퓨터 과학과 전기 통신 분야 응용에서의 정보이론과 코딩 이론에서 신뢰할 수 없는 통신 채널 위에서 디지털 데이터를 신뢰성 있게 전달하는 기술이다.

일반적인 정의는 다음과 같다.
 오류 검출은 전달자가 수신자에게 전달하는 동안 노이즈나 다른 장애로 인하여 생긴 오류를 감지하는 것이다.
 오류 정정은 오류를 감지하고 원본 데이터를 다시 구축하는 것이다.

 오류 정정 구조 
오류 정정에는 일반적으로 두 가지 방법이 있다:
 자동 반복 요청 (ARQ, "후방 오류 정정"이라고도 함): 수신되는 모든 데이터 블록은 오류 정정을 사용하여 검사되며 검사가 실패하면 데이터 재전송을 다시 요청한다.
 전방 오류 정정 (FEC): 보내는 사람이 전송에 앞서 오류 정정 코드를 사용하여 데이터를 인코딩한다.
 하이브리드 ARQ: 위의 ARQ와 FEC 두 가지를 합쳐 놓은 방식이다.

 오류 검출 구조 
 반복 부호
 패리티 비트
 체크섬
 순환 중복 검사 (CRC)
 암호학적 해시 함수
 전방 오류 정정

 부호 
 오류 검출 부호(誤謬 檢出 符號)는 데이터 전송 중 오류가 발생했는지 확인만 할 수 있는 부호이다.
 오류 정정 부호(誤謬 訂正 符號)는 데이터 전송 중 오류가 발생했을 때 오류를 찾아내서 원래 값으로 복원할 수 있는 부호이다.

 종류 
 Block 부호 
 해밍 부호
 리드 솔로몬 부호
 BCH 부호
 LDPC 부호
 Non Block 부호 
 길쌈 부호
 터보 부호

 활용 
 무선 통신
 저장 장치 - CD, DVD, 하드디스크에서는 리드 솔로몬 부호가 사용된다.

 같이 보기 
 ECC 메모리

 각주 

 
분류:부호 이론
슈퍼 사이즈 미

섬네일

《슈퍼 사이즈 미》()는 2004년 미국의 독립 영화 제작자인 모건 스퍼록(Morgan Spurlock)이 제작, 연출, 각본, 주연을 맡은 다큐멘터리 영화이다.

이 영화는 2003년 2월, 30일 동안 감독 자신이 하루 세끼를 맥도날드의 패스트 푸드만 먹으면서 변해가는 자신의 몸을 관찰하는 내용을 담고 있다. 의사들이 스퍼록의 신체, 정신의 변화를 관찰하며 패스트 푸드의 악영향을 보여준다. 그가 정한 규칙들 중에는 점원이 슈퍼사이즈를 권할 경우 무조건 슈퍼사이즈 밀을 먹는 것도 있었는데, 이 경우 그가 섭취한 양은 하루 5,000 칼로리로 이는 9.26개의 빅맥을 먹는 것도 같았다.

2005년 2월, 슈퍼 사이즈 미는 교육용 DVD로 출시되었고, 고등학교 건강 수업에 교재로 채택되었다. MSNBC에서 한 시간 동안 방영하였다.

2003년 스퍼록 감독이 이 실험을 진행할 때, 그의 나이는 32살이었다. 그는 다양한 음식을 먹었으나, 여자친구 알렉산드라(Alexandra, 채식 전문 요리사, 현재는 이혼)가 차려주는 철저한 채식 위주의 식사를 했다. 그때 당시, 스퍼록은 키 188cm(6 피트 2 인치), 몸무게 84.1kg(185.5 lb)로 아주 건강했다. 실험이 시작되고 30일 후, 그는 몸무게가 11.1kg(24.5 lb) 증가했고, 몸집은 13% 증가했으며, 신체 나이는 23.2세에서 27세로 올라갔다. 또한 그는 우울증, 성기능 장애, 간 질환 등을 겪었다. 그는 증가한 몸무게를 다시 줄이는 데 14개월을 소요했다.

슈퍼 사이즈 미는 미국 사회 전역에 급격히 증가하는 비만에 일침을 가하기 위해 만들어졌다. 의사들이 "전염병"이라고 표현할 정도로 심각한 상황이었는데, 이 영화는 여러 소송이 일어나는 데 증거 자료로 쓰이기도 했다. 스퍼록은 비록 맥도날드가 소송에 지더라도, 비슷한 악영향을 끼치는 담배 회사의 소송 경우와 같을 것이라고 지적했다.

슈퍼 사이즈 미는 아카데미상 다큐멘터리 부분 후보에 올랐다.

 출연 
 주연 
 모건 스펄록

 조연 
 브리짓 베넷
 닥터 리사 간주
 돈 고스케
 닥터 다릴 아이작
 알렉산드라 제미슨
 닥터 스티븐 시겔
 에릭 라울리

 같이 보기 
 패스트푸드의 제국
 각주 

 외부 링크 
 
 16일째 패스트푸드만 먹었더니… - 한국판 '슈퍼 사이즈 미' (한겨레 기사)

분류:맥도날드
분류:패스트 푸드
분류:다큐멘터리 영화
분류:미국의 독립 영화 작품
분류:영어 영화 작품
분류:2004년 영화
분류:요리 영화
분류:노스캐롤라이나주에서 촬영한 영화
분류:워싱턴 D.C.에서 촬영한 영화
분류:웨스트버지니아주에서 촬영한 영화
분류:위스콘신주에서 촬영한 영화
분류:일리노이주에서 촬영한 영화
분류:캘리포니아주에서 촬영한 영화
분류:텍사스주에서 촬영한 영화
분류:뉴욕에서 촬영한 영화
분류:감독 데뷔 영화
분류:2000년대를 배경으로 한 영화
분류:미국의 다큐멘터리 영화
분류:소비주의를 소재로 한 영화
민족사관고등학교

민족사관고등학교(民族史觀高等學校)는 대한민국 강원특별자치도 횡성군 안흥면 소사리에 있는 자율형 사립 고등학교이다.

 학교 연혁 
 1993년 4월 16일 : 학교법인 명재학원 및 학교 설립계획 승인
 1995년 3월 1일 : 개교준비위원회 구성, 초대 교장 이규철 취임
 1995년 10월 16일 : 민족사관고등학교 설립인가
 1996년 3월 1일 : 민족사관고등학교 개교 및 제1회 입학식(30명)
 1996년 12월 22일 : 체육교육관 준공
 1997년 10월 11일 : 다산관 준공
 1997년 11월 6일 : 민족사관국제고 인가
 1999년 2월 7일 : 제1회 졸업식
 1999년 8월 16일 : 민족사관고등학교 국제계열 인가
 1999년 12월 15일 : 기숙사 신관 준공
 2001년 10월 20일 : 자립형 사립고등학교 시범 운영 학교 지정
 2003년 12월 24일 : 민족사관고등학교 부설 국제교육연구소, 영재교육연구소, 민족교육연구소 개소
 2010년 3월 1일 : 학급수 및 학생 정원 증원(학년당 10학급 150명에서 학년당 11학급 165명으로 증원)
 2010년 6월 30일 : 자립형 사립 고등학교에서 자율형 사립 고등학교로 전환
 2013년 11월 13일 : 여학생 기숙사(소사관) 준공 (5층까지 중간 마무리)
 2018년 2월 13일 : 제20회 졸업식 (144명, 누계 2,201명)
 2019년 3월 1일 : 제8대 교장 한만위 취임
 2023년 2월 11일 : 제25회 졸업식(150명)
 2023년 3월 10일 : 제28회 입학식(157명)

 학교 동문 

 참고 자료 
 

 외부 링크 
 

분류:1996년 개교
분류:남녀공학 고등학교
분류:횡성군의 고등학교
분류:강원특별자치도의 사립 고등학교
분류:대한민국의 고등학교 검도부
분류:자율형 사립 고등학교
테라 (SI 접두어)

테라(Tera, 기호: T)는 1012(조)를 나타내는 SI 접두어이다. 테라는 괴물(monster)을 뜻하는 그리스어 단어 "테라스(τέρας)"에서 유래했다. SI 접두어는 1960년 국제단위계(SI, International System of Units)로 사용하기로 확인되었다. 컴퓨터 과학에서 테라는 1012(=1 000 000 000 000) 대신에 240(=1 099 511 627 776)을 의미하기도 한다. 구분을 위해서 tebi(기호: Ti)라는 단위를 사용한다.

예를 들어,
 테라헤르츠파는 0.3~3 테라헤르츠(THz) 사이의 주파수에 속하는 전자기파이다. 가시광선은 약 500 THz이다.
 테라비트(Terabit)와 테라바이트(Terabyte)는 전자 저장 장치의 단위로 사용된다.
 테라그램(teragram)은 109 kg이다. 기자의 대피라미드의 무게는 약 6 Tg이다.
 테라초(terasecond)는 약 31,558 년이다.
 테라리터(teralitre)는 1km3이다. 취리히호의 물은 약 4 TL이다.
 테라와트(terawatt)는 전세계 전체 전력 소비량을 측정하는 데 사용된다. 2010년 전세계 전력 소비량은 16 TW (TJ/s)이다.
 테라미터(terametre)는 1,000,000,000 km이다. 빛은 1시간에 1.079 Tm를 이동한다.

 각주 

분류:SI 접두어
100,000,000

10의 8제곱(108 = 100,000,000) 또는 1억(一億)은 만(萬)의 만 배인 자연수이며, 영어로는 Hundred Million이라고 표기한다. 억의 만 배는 조다.

 수학 
 
 

 과학 
 우주의 나이는 137억 년이다, 그리고 우리가 사는 지구의 나이는 45억 년이다.

 역사 
 일반적으로 조선시대 이전에는 '천만억(千萬億)', '억만(億萬)', '억조(億兆)', '억겁(億劫)' 등의 단어에 붙어 매우 큰 수나 양을 나타내는 추상적인 의미로 쓰이기도 했다.
 고종실록에서 미국의 세출을 보고할 때에 현재와 같은 '억' 단위를 사용하였다.

 기타 
 정본 판매량 집계가 1억 부를 넘는 작가들을 묶어 1억부 클럽이라고 한다.
 SI 접두어에서 기가(G)는 10억에 해당한다.
 역수는 사(絲)다. (4가 아니다.)
 신동엽의 Yes or No의 최대 당첨금은 1억 원이다.

 108 이상 109 미만의 주요 자연수 
 100,000,007: 가장 작은 9자리 소수.
 100,290,905: 가장 작은 9자리 오포체수.
 102,334,155: 40번째 피보나치 수.
 104,308,960: 32번째 테트라나치 수.
 129,140,163 = 317
 129,644,790: 17번째 카탈랑 수.
 134,217,728 = 227
 141,422,324: 39번째 뤼카 수.
 165,580,141: 41번째 피보나치 수.
 181,997,601: 34번째 트리보나치 수.
 185,794,560: 18 이하의 모든 짝수 자연수의 곱.
 190,899,322: 14번째 벨 수.
 201,061,985: 33번째 테트라나치 수.
 228,826,127: 40번째 뤼카 수.
 244,140,625 = 512
 267,914,296: 42번째 피보나치 수.
 268,435,456 = 228
 334,745,777: 35번째 트리보나치 수.
 362,797,056 = 611
 370,248,451: 41번째 뤼카 수.
 387,420,489 = 318
 387.559.437: 34번째 테트라나치 수.
 433,494,437: 43번째 피보나치 수.
 477,638,700: 18번째 카탈랑 수.
 479,001,600: 12!
 536,870,912 = 229
 599,074,578: 42번째 뤼카 수.
 615,693,474: 36번째 트리보나치 수.
 701,408,733: 44번째 피보나치 수.
 747,044,834: 35번째 테트라나치 수.
 969,323,029: 43번째 뤼카 수.
 998,988,970: 가장 큰 9자리 오포체수.

1e08
리처드 해밍

리처드 웨슬리 해밍( , 1915년 2월 11일 ~ 1998년 1월 7일)은 미국의 수학자이자 컴퓨터 과학자이다. 전산학과 통신 이론에 큰 공헌을 하였으며, 특히 해밍 부호와 해밍 거리를 도입하였다.

 생애 
1915년 2월 11일 시카고에서 태어났다. 아버지 리처드 해밍()은 신용 관리사였으며, 어머니는 메이블 레드필드()였다. 시카고에서 고등학교를 다녔으며, 시카고의 2년제 전문 대학인 맬컴 엑스 대학(, 舊名 )을 졸업하였다.

원래 공학을 공부하고 싶었으나, 여러 대학에 지원하였지만 대공황 도중 장학금을 수여하겠다는 대학교는 시카고 대학교 밖에 없었으며, 당시 시카고 대학교에는 공대가 없었다. 이 때문에 해밍은 대신 시카고 대학교에서 수학을 전공하여, 1937년에 학사 학위를 수여받았다.

이후 1939년에 네브래스카 대학교 링컨에서 석사 학위를 수여받았으며, 1942년에 일리노이 대학교 어배너-섐페인에서 박사 학위를 수여받았다. 박사 학위 논문은 선형 상미분 방정식에 대한 것이었다. 같은 해 9월 5일에 일리노이 대학교 어배너-섐페인에서 영문학 석사 과정 학생이던 완다 리틀()과 결혼하였다.

1944년에 루이빌 대학교 공대의 조교수가 되었다.

1945년 4월부터 맨해튼 계획에 참가하였으며, 아내 완다 역시 맨해튼 계획에서 계산수(計算手)로 참가하였다. 훗날 해밍은 이에 대하여 다음과 같이 회고하였다.

1946년에 해밍은 맨해튼 계획을 떠나, 벨 연구소의 연구원이 되었다. 여기서 해밍은 원래 탄성의 이론을 연구할 예정이었지만, 이를 위해 컴퓨터를 자주 사용하게 되어서 의도 외로 정보이론에 크게 공헌하게 되었다. 특히, 1950년에 해밍 거리 · 해밍 무게 · 해밍 부호의 개념을 도입한 논문을 출판하였다.

1950년대에 해밍은 IBM 650 컴퓨터를 사용하였으며, 이를 위하여 1956년에 루스 와이스()와 함께 초기 프로그래밍 언어 가운데 하나인 L2를 도입하였다.

1958년~1960년 동안 ACM의 회장을 맡았다. 공식적으로는 벨 연구소에 소속되었지만, 해밍은 스탠퍼드 대학교 · 캘리포니아 대학교 버클리 · 프린스턴 대학교 등에서 자주 강의하였다. 1968년에 튜링상을 수상하였다.

1976년에 벨 연구소에서 은퇴하였으며, 미국 해군대학원에서 컴퓨터 과학을 가르쳤다. 1997년 6월에 미국 해군대학원에서 은퇴하였으며, 같은 해 12월에 생애 마지막 강의를 하였다.

해밍은 평생 자녀를 두지 않았으며, 1998년 1월 7일 심근경색으로 사망하였다.

 저서 
 
 
 
 
 
 ; second edition 1986.
 
 
 

 각주 

 

 외부 링크 
 
 

분류:1915년 출생
분류:1998년 사망
분류:미국의 수학자
분류:튜링상 수상자
분류:맨해튼 계획 관련자
분류:미국의 제2차 세계 대전 관련자
분류:시카고 대학교 동문
분류:일리노이 대학교 동문
분류:20세기 수학자
분류:일리노이 대학교 어배너-섐페인 동문
분류:네브래스카 대학교 링컨 동문
분류:정보 이론가
분류:미국 해군대학원 교수
분류:수치해석학자
분류:IEEE 석학회원
분류:ACM 석학회원
해밍 거리

블록 부호 이론에서, 해밍 거리(Hamming距離, )는 곱집합 위에 정의되는 거리 함수이다. 대략, 같은 길이의 두 문자열에서, 같은 위치에서 서로 다른 기호들이 몇 개인지를 센다.

 정의 
다음이 주어졌다고 하자.
 집합 
 자연수 
그렇다면, 곱집합 위에 다음과 같은 거리 함수를 줄 수 있다.

이 거리 함수를 위의 해밍 거리라고 한다.

만약 가 아벨 군(예를 들어, 유한체)이라고 할 때, 의 해밍 무게()는 영벡터와의 해밍 거리이다.

 예 
 '1011101'과 '1001001'사이의 해밍 거리는 2이다. (1011101, 1001001''')
 '2143896'과 '2233796'사이의 해밍 거리는 3이다. (2143896, 2233796)
 "toned"와 "roses"사이의 해밍 거리는 3이다. (toned, roses)

 역사 
리처드 해밍이 1950년에 해밍 부호와 함께 도입하였다.

 각주 

 같이 보기 
 그레이 부호
 유클리드 거리

 외부 링크 
 
 
 

분류:계량기하학
분류:부호 이론
분류:정육면체
분류:문자열 유사도
야쿠프 데믈

아쿠프 데믈 (Jakub Deml, 1878년 8월 20일 - 1961년 2월 10일)은 체코 목사이자 시인이며 작가이다.

교회 권위와의 잦은 충돌로 인해 1908년 은퇴하지만 내적으로는 교회로부터 멀어진 적이 단 한 번도 없었다. 목사직에서 물러난 후에는 문학에 전념한다. 1920년대와 1930년대의 가장 중요한 체코어 작가 중의 한 명이 된다.

1945년 그가 독일인들에게 협조했다는 이야기가 있었으나 사실이 밝혀지지는 않았다. 1948년 이후 공산주의 시절에는 그의 작품이 금지되었다.

 작품 
그의 작품은 오토카르 브르제지나 (Otokar Březina)와의 교류에서 많은 영향을 받았다. 그의 초기 작품은 가톨릭의 근대성과 연결되어 있다. 생전에 큰 평가를 받지 못하였으나 그의 작품은 현대 문학 사조들, 특히 초현실주의의 초석로 평가되고 있다.

 Notantur lumina (1907년) - 오토카르 브르제지나의 영향을 받은 시집. 2쇄는 První světla (1917년)라는 제목으로 출판된다.
 Hrad smrti - (1912년), 서사시. popisuje zde pocity úzkosti a ohrožení smrtí
 Moji přátelé (1913년) - lyrická básnická sbírka (v próze), oslovuje zde květiny, nahlíží na ně jako na osoby.
 Tanec smrti - (1914년), 서사시. popisuje zde pocity úzkosti a ohrožení smrtí
 Miriam - (1916년), milostná poezie v próze
 Solitudo - (1934년), 독일어
 Píseň vojína šílence- (1935년), 독일어
 Verše české 1907-1938 -(1938년), jedná se o výbor veršů ze Šlépějí

 시 
 Šlépeje - (1917년-1941년), jedná se o cyklus mnoha sborníčků (26), ve kterých vydal většinu své prózy. Obsahují především autorovy deníky.
 Mé svědectví o O. Březinovi - pravděpodobně nikdy nepochopil dílo Březiny, ačkoli je uznával.

 외부 링크 

 https://web.archive.org/web/20070422001344/http://www.horacko.cz/tasov/demldilo.html 야쿠프 데믈의 작품 연보
 http://www.deml.cz
 http://bohemica.free.fr/auteurs/deml/presentation_deml.htm

분류:1878년 출생
분류:1961년 사망
분류:체코의 작가
분류:체코의 시인
분류:기독교 성직자
분류:체코의 로마 가톨릭 신부
자매 도시 목록

다음은 자매 결연 도시들의 목록이다.

전부는 확인이 어렵기 때문에 일부가 수록되었다.

 서울의 자매결연 도시 

대한민국의 수도이다 보니 자매결연도 각국의 수도와 맺은 경우가 대부분이다.

 * 1963년: 테헤란 (자매결연 연도 불명)
 * 1968년: 타이베이
 * 1971년: 앙카라 (현재 튀르키예 앙카라)
 * 1973년: 괌, 호놀룰루
 * 1976년: 샌프란시스코
 * 1977년: 상파울루
 * 1982년: 보고타
 * 1984년: 자카르타
 * 1988년: 도쿄
 * 1991년: 모스크바, 뉴사우스웨일스주, 파리
 * 1992년: 멕시코 시티, 베이징
 * 1995년: 울란바토르
 * 1996년: 하노이, 바르샤바
 * 1997년: 카이로
 * 2000년: 로마
 * 2004년: 아스타나
 * 2006년: 워싱턴 D.C., 아테네, 방콕
 * 2007년: 밴쿠버
 * 2010년: 타슈켄트
 * 2016년: 런던

자세한 것은 아시아의 자매 도시 목록 문서를 참고할 것.

 아프리카 
 아프리카의 자매 도시 목록
 가나
 나미비아
 남아프리카 공화국
 리비아
 모로코
 모잠비크
 서사하라
 스와질란드
 시에라리온
 알제리
 이집트
 짐바브웨
 카메룬
 케냐
 콩고 공화국
 탄자니아
 튀니지

 아시아 
 아시아의 자매 도시 목록
 대한민국
 러시아
 레바논
 말레이시아
 요르단
 이란
 이스라엘
 인도
 인도네시아
 일본
 중화민국
 중화인민공화국
 카자흐스탄
 태국
 터키
 파키스탄
 팔레스타인
 필리핀

 유럽 
 유럽의 자매 도시 목록

 그리스
 그린란드
 네덜란드
 노르웨이
 덴마크
 독일
 라트비아
 러시아
 루마니아
 리투아니아
 룩셈부르크
 마케도니아 공화국
 몰도바
 보스니아 헤르체고비나
 벨기에
 불가리아
 세르비아 몬테네그로
 스웨덴
 스위스
 스페인

 슬로베니아
 슬로바키아
 아이슬란드
 아일랜드
 에스토니아
 영국
 오스트리아
 우크라이나
 이탈리아
 알바니아
 체코
 크로아티아
 터키
 페로 제도
 포르투갈
 프랑스
 폴란드
 핀란드
 헝가리

 북아메리카 
 북아메리카의 자매 도시 목록
 그린란드
 니카라과
 도미니카 공화국
 미국
 멕시코
 바베이도스
 바하마
 자메이카
 캐나다
 코스타리카
 쿠바
 트리니다드 토바고

 오세아니아 
 오세아니아의 자매 도시 목록
 뉴질랜드
 사모아
 솔로몬 제도
 오스트레일리아
 통가
 파푸아뉴기니
 피지
 팔라우

 남아메리카 
 남아메리카의 자매 도시 목록
 브라질
 아르헨티나
 에콰도르
 칠레

 같이 보기 
 자매 도시 목록
 아프리카의 자매 도시 목록
 아시아의 자매 도시 목록
 유럽의 자매 도시 목록
 북아메리카의 자매 도시 목록
 오세아니아의 자매 도시 목록
 남아메리카의 자매 도시 목록

분류:자매 도시 목록
메타위키

메타위키()는 다른 모든 위키미디어 위키를 제공하는 데 전념하는 위키이다.

 각주 

 외부 링크 
 

분류:위키미디어 재단
몬베쓰시

섬네일|오른쪽|300px|몬베쓰산에서 내려다 본 몬베쓰 시가지

몬베쓰시()는 일본 홋카이도 북동부의 오호츠크 종합진흥국 관내에 있는 시이다. 지명은 아이누어로 조용한 강이란 뜻으로 ‘모우펫트’()에서 유래했다. 히다카 진흥국의 몬베쓰정과 거의 비슷하기 때문에 ‘오호츠크해의 몬베쓰’()라고 부르는 경우가 많다.

 지리 
오호츠크 종합진흥국 관내 북부에 위치한다. 오호츠크해와 접하며 몬베쓰항이 있다. 겨울에는 유빙이 해안까지 떠밀려 온다. 남부에는 고지대가 펼쳐진다.

 기후 
시가지가 있는 오호츠크해 연안부는 겨울도 온난하고, 내륙부는 연교차가 심한 기후이다. 오호츠크해 연안 지역은 여름에 푄 현상으로 기온이 올라가 밤이 되어도 기온이 25도를 밑돌지 않으며, 1994년 8월 7일에는 최저 기온이 28.1°C로 홋카이도 내에서 가장 높은 최저 기온을 기록한 바 있다. 과거에 열대야도 5회 기록했다. 이렇게 온난한 기후가 나타나는데도 영하 25도에 가까운 기온이 기록된 적이 있다.

 역사 
 1880년 - 몬베쓰촌이 성립하였다.
 1919년 - 몬베쓰촌이 정으로 승격해 몬베쓰정이 되었다.
 1954년 7월 1일 - 몬베쓰정·쇼코쓰촌·가미쇼코쓰촌 등 1정 2촌이 합병하여 시로 승격해 몬베쓰시가 되었다.

 산업 
농업(밭농사, 낙농업), 임업, 어업(특히 털게·가리비), 관광업이 발달했다.

 교통 
 공항 
 몬베쓰 공항

 도로 
 국도 238호선
 (국도 238호선과 중복)
 국도 273호선

 자매 도시 
 오리건주 뉴포트(1966년 4월 8일)
 알래스카주 페어뱅크스(1991년 2월 8일)
 사할린주 코르사코프(1991년 1월 12일)

 각주 

 외부 링크 

 

 
분류:홋카이도의 도시
분류:오호츠크 관내
분류:일본의 항구 도시
함흥시

섬네일|미국항공우주국 World Wind 사진
80px|섬네일|함흥부 휘장
230px|섬네일|오른쪽|함흥대극장의 실제 배경

함흥시(咸興市)는 조선민주주의인민공화국 함경남도 동해안에 있는 도시이자 함경남도청 소재지이다. 조선민주주의인민공화국에서는 평양시, 남포시에 이어 3번째로 인구가 많은 도시이며, 관북 지방 최대 도시이다. 북쪽은 함경산맥, 서쪽은 낭림산맥으로 둘러싸여 있으며, 성천강이 동조선만을 통해 동해로 유입되면서 성천강 유역에 함흥평야가 발달하였다. 함흥공업지구가 조성되어 화학 공업이 발달하였고, 흥남구역에는 1만 톤 선박이 입항할 수 있는 흥남항이 있다. 인구는 약 77만 명이다.

 지리 
최고봉은 형제봉이다. 주요 하천은 성천강이고 동해에 접해 있다. 해안에 접해 있는 곳으로 이곳은 기온이 따뜻하다. 그리고 함경산맥이 바람받이 역할을 해주는 곳으로 푄 현상도 일어난다.

 역사 
함흥시는 1세기에 고구려의 영토가 되었고, 8세기 이후에 발해의 영토가 되었다.

성덕왕 20년에 사건을 기록한 《삼국사기》 제8권에 의하면, "하슬라주(오늘날의 강릉시) 이북에 군사 2천여 명을 선발하여, 하슬라주와 용흥강 일대를 지키도록 했다"고 하였다.

한편, 발해의 5경에 속해 있었던 남경 남해부가 함경남도 함흥시와 북청군, 락원군 일대에 존재했다고 추정된다.

고려 때 '함주'로 불렀지만, 1258년 조휘의 반란으로 철령 이북이 원나라 쌍성총관부 소관이 됨으로써, 함흥은 고려의 영토가 아니라 쌍성총관부에 속해 있었으나 고려 공민왕이 1356년에 원나라가 홍건적에게 막대한 피해를 보고 있는 것을 기회로 해서 영토를 넓혔고, 비로소 함흥이 고려의 영토로 환속하게 되었다.

조선시대 초기 함흥 일대는 여진족과 외적의 침입을 막는 군사적 요충지가 되었고, 태조 이성계가 임금의 지위에서 물러나서, 1403년까지 머물렀던 곳이다.

조선시대 후기와 대한제국 시기에 함흥시는 함경남도에 소속되었고, 함경남도청 소재지가 되었다. 일제강점기에는 1930년 함흥군 함흥면이 함흥부로 승격되었다.

1941년 4월 1일 함주군 주서면 일부 등을 편입하였다.

함흥시는 한국전쟁 때 공공시설과 수많은 주택이 파괴되고 막대한 손실을 입었는데, 천리마운동 때 2차선도로를 구축하고 고층 아파트가 건설되면서 새 시가지가 형성되었다. 천리마운동 때 도시개발을 할 때에는 소련과 독일민주공화국의 지원이 있었다. 새 시가지는 대부분 중앙유럽의 공산주의 나라의 도시들처럼 바둑판형의 계획도시로 탈바꿈했다.

1960년에 함흥시가 직할시로 승격하였다. 이와 함께 흥남시와 퇴조군(현 락원군) 등이 함흥직할시에 편입되었다. 1970년에 다시 함경남도가 관할하는 일반시로 변경되어 퇴조군이 다시 분리되었다. 1977년에 반룡구역(盤龍區域)이 동흥산구역으로 개칭하고, 1990년에 성천구역(城川區域)이 성천강구역으로, 룡성구역(龍城區域)이 해안구역으로 각각 개칭하였다.

이 도시는 1992년에 조선민주주의인민공화국이 만든 예술영화인 〈도시 처녀 시집와요〉의 촬영지로 유명하며, 주요 관광지로는 마전유원지와 함흥대극장, 경기장, 함흥본궁이 있으며 그중에서 대극장은 김정일의 지시로 만들어져 대극장이라는 이름에 맞게 크고 웅건하게 솟아 있다.

2001년 8월에 조선민주주의인민공화국 정부는 함흥시에서 흥남구역, 해안구역, 흥덕구역 전부와 사포구역 일부를 관할로 흥남시를 설치하고 함흥시의 구역을 폐지하였고, 함흥시에서 건설한 목장이 있던 함주군 상창리와 평안남도 대흥군 흑수리의 일부를 관할로 래일로동자구를 설치해 함흥시에 편입시켰다.

2005년에 흥남시가 다시 함흥시로 편입되었고, 함흥시의 행정 구역을 7구역으로 회복시켰다.

 행정구역 
 성천강구역 (城川江區域)
 동흥산구역 (東興山區域)
 회상구역 (會上區域)
 사포구역 (沙浦區域)
 흥남구역 (興南區域)
 흥덕구역 (興德區域)
 해안구역 (海岸區域)

 산업 
함흥평야에서는 쌀이 많이 생산하며, 그밖에 사과와 보리, 밀, 콩을 재배한다. 목재를 이용하여 만든 가공업은 펄프공장, 노트공장, 종이공장이 발전했다. 함흥시 수산사업소에서는 게와 물고기, 오징어들을 잡고 있다. 주요 화학공장은 소위 주체섬유를 개발했다고 알려진 2·8비날론연합기업소가 있다.

 교통 
함남선, 신흥선, 장진선 등은 목재수송에 이용된다. 그 외에도 도로가 위치해 있다. 관내에 덕산비행장이 있지만 군사용도로 이용되고, 항공 교통은 선덕비행장을 이용한다.

 교육 
 함흥대학
 의과대학
 공업대학
 함흥수리동력대학
 고려약학대학

 기후 

 같이 보기 

 함흥대극장
 함흥본궁
 함흥차사
 함흥랭면
 성천강
 신흥관
 신흥산호텔
 흥남항 (함경남도)

 각주 

 참고 문헌 
 Dormels, Rainer. North Korea's Cities: Industrial facilities, internal structures and typification. Jimoondang, 2014. 

 같이 보기 
 함흥시 (대한민국)

 외부 링크 
 함흥시
 City profile of Hamhung

 
분류:1946년 설치
분류:1960년 폐지
분류:1970년 설치
분류:함경남도의 도시
분류:조선민주주의인민공화국의 항구 도시
흥남구역

흥남구역(興南區域), 옛 흥남시(興南市)는 함경남도 서쪽에 위치하며 동해와 마주하고 있어 어업이 발달한 도시이다. 2008년 기준으로 인구는 99,994명이다.

 역사 
고대 한반도에서는 옥저의 영역이였으며, 이후 고구려가 지배하다가 신라의 전성기 시절 신라 영토로 복속되었다. 후삼국 시대에는 발해의 영역이였으며, 고려와 조선에 와서는 함경도의 지역으로 완전히 자리 잡게 된다. 흥남은 '함흥의 남쪽'이라는 뜻이며, 실제로 함흥은 흥남 북쪽에 위치한다.

원래는 어업에 종사하는 지역이었으나. 일제강점기에 들어서 함경도 지역이 공업화 되면서 공업 도시로 모습을 바꿨다. 1927년 일본의 재벌 노구치의 일본질소비료주식회사의 비료공장과 장전강·부전강 수력발전소가 들어서면서 대표적인 중화학공업 도시가 되었다.

1944년 함주군 흥남읍과 운남면이 흥남부로 승격되었으며, 당시 인구는 20만여 명이었다. 노구치는 600만 평의 부지에 질소 비료, 경화유, 화약, 카바이트, 가성 소다, 소다회 공장과 철강, 아연 공업단지를 건설하였다. 이곳은 중일전쟁 이후 일본의 군수산업 기지로 변화하여, 화약을 비롯하여 각종 첨단 무기, 비행기 외강판, 항공연료 등을 생산하였다. 또한 제2차 세계대전 패전 직전에 극비리에 원폭물질 개발연구가 이루어졌다는 비사가 알려지기도 하였다.
섬네일|흥남철수 작전 당시 USSS 베고르가 철수하고 있는 모습.
소련의 한반도 진입 시기에는 제1극동전선군이 이곳에 상륙하여 함흥까지 진격한 적이 있었다. 1950년 10월 26일, 한국 전쟁 당시에는 압록강까지 올라오던 대한민국 육군과 국제 연합군이 중화인민지원군의 참전으로 혜산진에서 철수한 미국 10 군단과 12월 15일에서 12월 24일까지 장진호 전투를 하고 있던 미국 1 해병 사단이 장진호에서 철수하여 이 곳의 항구에서 집결한 다음, 선박을 통해 남쪽으로 철수하였다. 이른바 흥남 철수 작전이다. 흥남항은 전쟁 이후에도 북한에서 활용되었으며, 남한이 보낸 구호물자가 이곳으로 도착하기도 하였다. 흥남항을 주제로 강산에가 노래 "라구요"를 부르기도 했다.

1960년 11월에 "함흥직할시"로 승격된 함흥시에 흡수되었다. 그 후 흥남시는 흥남구역이 되었으나, 2001년에 북한에서 산업도시를 개발하기 위해 흥남구역을 흥남시로 바꾸고, 함흥시에서 벗어나도록 하였다. 하지만, 다시 2005년 함흥시에 다시 흡수되어 흥남구역로 환원되었다.

 산업 
섬네일|흥남비날론연합기업소
흥남구역은 나일론을 이용한 경공업사업을 비롯하여, 기계수리공장과 기초식품공장이 건설되어있다. 이곳의 바닷가는 소나무 숲과 함께 매우 맑고 아름다워 관광자원으로 활용되고 있다. 흥남구역엔 마전유원지가 있다.

 흥남비날론련합기업소
 흥남기계수리련합기업소
 흥남수산물가공련합기업소

 행정 구역 
흥남구역은 43개 동, 1개 로동자구, 5개 리로 구성되어 있다.

 초운로동자구
 금빛동
 내호동
 덕동
 덕풍동
 련못동
 룡성1동
 룡성2동
 룡신동
 룡암동
 룡연동
 류정1동
 류정2동
 류정3동
 상수동
 샘물동
 서호1동
 서호2동
 소나무동
 송상동
 송흥동
 수변동
 운성1동
 운성2동

 운중1동
 운중2동
 은덕동
 은빛동
 응봉1동
 응봉2동
 작도동
 천기동
 풍흥동
 하덕동
 호남동
 호전동
 후농동
 흥덕1동
 흥덕2동
 흥덕3동
 흥덕4동
 흥북동
 흥서동
 흰실동
 마전리
 새마을리
 수도리
 창흥리
 풍동리

 출신 인물 
 문용형

 같이 보기 
 함흥시
 흥남 철수 작전
 조선민주주의인민공화국의 인구순 도시 목록
 조선민주주의인민공화국의 지리

 각주 

 
분류:함흥시의 구역
분류:1960년 설치
분류:2001년 폐지
분류:2005년 설치
숫자

섬네일|400px|아라비아 숫자 10개.

숫자(數字, )는 기수법에서 수를 표기하기 위한 기호 또는 문자이다.

 역사 
 고대 이집트 
나폴레옹이 이집트에 갔을 때 ‘로제타’라는 작은 도시에서 알 수 없는 문자들이 기록된 바위를 하나 발견했다. 오랜 세월 동안 사람들은 로제타석을 해독했다. 그리고 해독을 하고 난 다음 고대 이집트의 숫자가 위와 같다는 것을 알았다. 이집트 숫자는 파피루스라는 종이 위에 기록되었다.

1을 세로로 놓여진 막대기를 본떴고, 이것으로 1에서 9까지 표현하였다. 2에서 9까지는 이 막대기 모양의 숫자를, 나타내고자 하는 개수만큼 늘어놓으면서 표현했다. 예를 들어 막대기 모양이 2개가 있으면 2, 8개가 놓여있으면 8이다.

100은 나일 강이 범람할 때마다 없어지는 땅의 경계를 다시 만들기 위해 쓰인 측량용 밧줄의 고리 모양을 본떴다고 한다.

1,000은 연꽃 모양을, 10,000은 손가락을 구부린 모양을, 100,000은 올챙이 모양을, 1,000,000은 큰 수에 놀라 손을 들고 있는 사람의 모양을 본떴다고 한다.

 바빌로니아 
약 5000년 전에는 그곳에 바빌로니아라는 나라가 있었다. 그 나라 사람들을 수메르인이라고 부른다. 수메르인들은 일찍부터 쐐기모양의 기호로 된 숫자를 가지고 있었다. 풀을 잘라서 그 줄기의 끝으로 점토판에 새겨서 말리거나 바위에 새겨넣었다. 그래서 이 지역에서는 쐐기모양의 숫자가 새겨진 점토판이 많이 발견되고 있다. 그들은 60진법을 사용하였다.

 마야 

마야 문명은 현재의 남아메리카 지역에서 7세기 즈음에 번성해던 문명이다. 마야인들은 이집트사람들보다 더 일찍 숫자를 계산했다고 전해지고 있다.

마야문명 숫자의 중요성은 바로 다른 문명과는 달리 처음으로 0을 사용했기 때문이다.

그들은 점 (·)과 막대기 (―)를 이용하여 숫자를 나타냈는데, 점 (·)은 1을, 막대기 (―)는 5를 의미했다.

이들은 이십진법을 사용했기 때문에 0에서 19가 기본 숫자가 되었다.

 잉카 
남아메리카 지역에 존재했던 잉카제국 사람들은 고도로 발달된 문명을 가지고 있었음에도 불구하고 숫자를 나타내는 문자가 없었다고 한다. 대신 그들은 끈의 매듭수에 따라서 소가 몇 마리 있는지(수량을) 나타냈다고 한다. 이 끈의 매듭은 '키푸'라고 한다. 그래서 끈 맺는 기술자도 있었다고 한다.

 로마 

로마 숫자는 " I, V, X, L, C, D, M "의 문자들을 사용했는데, I는 1, V는 5, X는 10, L은 50, C는 100, D는 500, M은 1000을 의미한다.

어떤 로마 숫자에는 뺄셈의 원리가 이용되었는데, 예를 들어 4나 9와 같은 숫자를 나타낼 때, 숫자 2개를 나열해서 오른쪽 숫자에서 왼쪽 숫자를 빼서 나온 결과가 나타내려는 숫자를 의미했다. 4는 IV, 즉 5(V)에서 1(I)를 뺀 것이고, 9는 IX, 즉 10(X)에서 1(I)를 뺀 것이다.

2,3,6,7,8의 경우 II, III, VI, VII, VIII로 표시했다.

그러나 이 숫자들은 큰수를 나타내기가 너무 불편하고 계산하기 어렵다는 단점이 있었다.

그래서 로마의 사람들은 계산할 때 주로 주판을 사용했다고 한다.

 아라비아 

아라비아 숫자는 고대 인도 사람들이 만들고 아라비아 사람들이 발전시켜 유럽에 전파한 것이다.

아라비아 숫자는 오늘날 전세계에서 공통으로 쓰는 숫자인데 (0,1,2,3,4,5,6,7,8,9), 아라비아 숫자가 다른 숫자에 비해 편리하고, 0의 개념을 가지고 있었기 때문이다. 아라비아 숫자가 나온 이후 수학은 빠른 속도로 발전했다고 한다.

 중국 

중국 숫자는 一,二,三,四,五,六,七,八,九,十,百 (일,이,삼,사,오,육,칠,팔,구,십,백) 등으로 나타낸다.

 숫자에 관한 철학적 고찰 
 "인식할 수 있는 것은 모두 숫자를 가지고 있다. 숫자가 없으면 무엇 하나 이해하거나 생각할 수 없다."

 같이 보기 

 아라비아 숫자
 로마 숫자

 각주 

분류:기수법
얼랭

섬네일|300px|LYME is Erlang-based and competing with LAMP 
얼랭(Erlang, )은 범용 병렬 프로그래밍 언어이다. 함수형 언어가 효율적으로 산업 현장등에서 사용되는 유명한 사례이다.

원래는 에릭슨(Ericsson)사에서 스위칭 소프트웨어에서 사용하기 위해 개발했지만, 1998년에 오픈 소스로 공개되었다.

흔히 Erlang이라는 이름이 Ericsson Language에서 따온 것이라고 생각하지만, 실제로는 통신이론을 연구한 덴마크의 수학자 Agner Krarup Erlang의 이름에서 따온 것이다.

 함수형 언어 
다음은 계승 (수학)을 구하는 코드이다.
 -module(fact).
 -export([fac/1]).

 fac(0) -> 1;
 fac(N) when N > 0 -> N * fac(N-1).
다음은 퀵소트 알고리즘을 구현한 것이다.

 %% quicksort(List)
 %% Sort a list of items
 -module(quicksort).
 -export([qsort/1]).

 qsort([]) -> [];
 qsort([Pivot|Rest]) ->
 qsort([ X || X <- Rest, X < Pivot]) ++ [Pivot] ++ qsort([ Y || Y <- Rest, Y >= Pivot]).

qsort 함수는 더 이상 정렬할 필요가 없을 때까지 자신을 재귀적으로 호출한다.

주의 : 위의 코드는 책 Programming Erlang(조 암스트롱)에 실려있는 코드이긴 하지만 실려있는 이유는 우아하기 때문이지 효율적이어서가 아니다. Erlang에서는 아래의 규칙을 벗어나게 프로그래밍 하는 것을 권장하지 않는다.

 요소는 항상 리스트의 헤드(앞)에 추가한다.
 순서가 문제가 되는 경우 lists:reverse/1을 호출한다. 이것은 매우 최적화되어있다.

따라서, List ++ [H]와 같은 코드는 권장되지 않는다.

 [ X || X <- Rest, X < Pivot]

이 부분은 "Rest의 원소이고, Pivot보다 작은 모든 X를 선택하라"는 의미이다.

이를 응용하면 코드를 간결하면서도 강력하게 짤 수 있다. 아래는 모든 순열을 구하는 Erlang 코드이다. perms([]) -> [[]];
perms(L) -> [[H|T] || H <- L, T <- perms(L -- [H])].

 같이 보기 
 Elixir
 각주 

 외부 링크 
 erlang FAQ 
 오픈소스 얼랭
 오픈 소스 얼랭 백서(白書)

 
분류:선언형 프로그래밍 언어
분류:에릭슨
분류:함수형 프로그래밍 언어
분류:1986년 개발된 프로그래밍 언어
분류:크로스 플랫폼 자유 소프트웨어
분류:동적 프로그래밍 언어
분류:패턴 매칭 프로그래밍 언어
분류:병행 프로그래밍 언어
분류:동적 타입 프로그래밍 언어
사체액설

사체액설(四體液說, )은 고대 그리스와 로마시대 의사들과 철학자들이 주장하던 인체의 구성 원리이다. 히포크라테스가 의학적 치료원리로 주장했으며, 혈관계에 대한 연구가 진행된 9세기가 되기 전까지 가장 영향력있는 의학 이론이었다. 르네상스 이후 해부학이 발전한 16세기~18세기 들어 이러한 액체병리학은 쇠퇴되었다. 그러나 역사적으로 그리스의 엠페도클레스및 히포크라테스가 발전시킨 4체액설은 2000년 전 당시 모든 질병이라는 결과에는 이를 야기하는 원인이 있으며 이를 액체의 변화에서 찾는 일종의 액체병리학 이론은 질병이 죄를 지어서 생기는 것이거나 주술로 이를 치료하는 것이 아니라 신체의 변화 때문에 생긴다는 가설을 세워 인류 최초로 질병의 원인을 이성적으로 설명해보려 했다는점이 이후 인류가 질병에 대한 과학적 접근의 길을 열었다는 점에서만큼은 중요한 업적으로 평가받는다.

 개요 
300px|섬네일|4원소와 4 체액설
기본적으로 인간의 몸이 네 가지의 체액으로 차 있으며, 체액들 사이의 균형이 맞으면 건강한 상태라고 생각했다. 모든 병과 심신의 장애는 체액들 중 하나라도 모자라거나 넘치는데에서 발생한다고 주장했다. 네 가지 체액은 다음과 같다.
 혈액 (血液, blood)
 점액 (粘液, phlegm)
 황담즙 (黃膽汁, yellow bile)
 흑담즙 (黑膽汁, black bile)

이것은 각각 사계절과 네 가지 원소(공기, 물, 불, 흙)에 대응된다.
 다혈질 (多血質, sanguine temperament)
 점액질 (粘液質, phlegmatic temperament)
 담즙질 (膽汁質, choleric temperament)
 우울질 (憂鬱質, melancholic temperament)

한편 서로 대칭되는 한 쌍의 체액이 전체적인 불균형을 야기해서 병이된다는 이러한 이론은 혈액은 심장, 점액은 뇌, 담즙은 담낭, 물은 지라에서 만들어진다고 추측하였으며 이처럼 각각 만들어지는 관련 장기들은 음식물을 섭취해 영양분을 계속 공급하는 것이 중요하다고 생각했다. 질병은 체액이 모자라거나 넘치는 경우로 이는 영양분이 새로이 공급되지 못한 경우나 몸이 외부로부터 데미지를 입거나 피로해진 경우 또는 주변환경의 변화로 체액이 건조해지나 심하게 변한 경우 생긴다고 여겼다.

 같이 보기 
 고대 원소
 미타마
 오행

 각주 

 사이언스올-[생명과학]4체액설, 네 가지 체액이 건강과 성격을 정한다?

분류:인지학
분류:부정된 의학 이론
분류:고대 그리스의 의학
분류:고대 원소
분류:신화의 물질
리터

리터(, 또는 )는 부피의 단위이다. 국제 표시 기호는 공식적으로 'L' 또는 'l'로 표기한다. 대한민국에서는 'L'이 표준 표기이다. 그러나 일상생활에서는 대한민국뿐만 아니라 아시아, 유럽, 아메리카 대륙의 국가들이 로마자 'L'의 소문자 필기체인 'ℓ'라고 표기하기도 한다. 1 리터는 1000세제곱센티미터를 가리키는 특별한 이름으로 정의된다. (1 L = 1000 cm³). 즉 1리터는 정확히 0.001 m³ 또는 1,000 cm³와 같은 부피이다. 표준 표기가 아닌 1,000 cc와도 동일한 부피이다.

1 리터는 18세기 말 프랑스에서 제정할 당시 순수한 물을 기준으로 삼았다. 1 기압, 4 °C에서 순수한 물 1 kg의 부피를 기준으로 했다. 현재도 일상생활에서 물 무게 1 kg과 물 부피 1 L의 관계로 인식하면 된다.

하지만, 1964년까지 무게인 1 그램을 물의 부피와 무게와의 관계로 정의했었으나 정밀도를 위해 이 정의를 폐기했다. 과학의 발전으로 이 18세기 말의 정의는 물의 밀도가 질량과 직접적인 관계가 있고, 압력의 정의와 단위에 따라 바뀌어 정밀성의 문제가 발생해 1964년에 폐기되었다.

 배수 

 리터를 사용하지 않는 변환 

 역사 
리터(liter)의 최초 이름은 "cadil"이며, 표준은 파리 국립 기술공예 박물관에서 볼 수 있다.

리터는 1795년 새로운 측량 단위의 하나로서 프랑스에 도입되었으며 1 세제곱 데시미터(cubic decimeter)로 정의되었다.

 유니코드 문자 

 각주 

분류:부피의 단위
분류:SI와 함께 사용되는 비SI 단위