hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
학교의 계단 개요
남자 주인공인 칸바 유키히로는 텐구리하마 고등학교의 1학년 새내기이다. 입학 이후 복잡한 절차에 애를 먹은 유키히로는 자신이 견학할 곳인 농구부에 가기 위해 계단을 내려가던 중 자신의 뒤에서 계단을 뛰어 내려오고 있는 코코노에 유우코를 우연히 발견하게 된다. 이후 유키히로는 길을 잘못 찾아 들어온 근육연구부에서 가입을 강요받게 되는 처지에 놓이게 된다. 이를 본 유우코는 이러한 상황에서 유키히로를 보호해 주었다. 하지만 유우코는 이를 빌미로 계단부를 견학하도록 강요한다. 학교 비공인에다 학생들에게는 애물단지인 계단부를 억지로 견학하게 된 유키히로. 그런데 유키히로는 오히려 계단 달리기에 열중하는 부원들을 보면서 자신 안에 싹튼 욕구를 깨닫게 되어 결국에는 계단부에 등록하게 된다.
학교의 계단 등장 인물
칸바 유키히로(神庭 幸宏)
코코노에 유우코(九重 ゆうこ)
카리야 켄고(刈谷 健吾)
아마가사키 이즈미(天ヶ崎 泉)
사에구사 소지(三枝 宗司)
이즈츠 켄(井筒 研)
칸바 미후유(神庭 美冬)
나카무라 치즈루(中村 ちづる)
칸바 코나츠(神庭 小夏)
Go (프로그래밍 언어)
Go는 2009년 구글에서 일하는 로버트 그리즈머, 롭 파이크, 켄 톰프슨이 개발한 프로그래밍 언어이다. 가비지 컬렉션 기능이 있고, 병행성(concurrent)을 잘 지원하는 컴파일 언어다. 구문이 C와 비슷하지만 메모리 보안, 쓰레기 수집, 구조 타이핑, CSP 스타일 병행성을 제공한다. 이 언어는 golang.org이라는 도메인 이름 때문에 종종 고랭(Golang)으로도 호칭되지만 정확한 명칭은 Go이다.
2개의 주요 구현체가 있다. 하나는 구글의 셀프 호스팅 컴파일러 툴체인으로서 여러 운영 체제, 모바일 장치, 웹어셈블리를 대상으로 한다. 나머지 하나는 GCC 프론트엔드인 gccgo가 있다.
서드파티 트랜스파일러 GopherJS는 프론트엔드 웹 개발을 위해 Go를 자바스크립트로 컴파일한다.
Go (프로그래밍 언어) 역사
Go의 초기 디자인은 2007년 9월 21일에 로버트 그리즈머, 롭 파이크, 켄 톰프슨이 인페르노 분산 운영체제와 관련된 작업을 하다가 시작되었다. 화이트 보드에 새로운 언어에 대한 스케치를 하면서 초기 20% 파트타임 프로젝트로 시작하였다가 2008년 1월 켄 톰프슨이 C 코드를 만들어내는 컴파일러를 만들기 시작했고, 2008년 중반 풀타임 프로젝트로 승격되었다. 2008년 5월 이안 테일러가 Go 스펙의 초안을 이용해서 GCC 프론트엔드를 만들기 시작했고, 2008년 말 러스 콕스가 참여하면서 프로토타입에서 실질적인 언어와 라이브러리들을 만들기 시작했다. 2009년 11월 10일에 리눅스와 macOS 플랫폼을 대상으로 공식 발표되었다. Go가 처음 런칭되었을 때는 실무적인 소프트웨어를 만들기에는 준비가 좀 덜 된 상태였지만, 2010년 5월 롭 파이크는 구글에서 실제로 사용되고 있는 부분이 있다고 공개적으로 알리게 되었다. 2009년 11월에 Go가 발표되었다. 구글의 생산 시스템 중 일부 및 기타 기업들에 사용되고 있다.
Go (프로그래밍 언어) 역사
Go는 다른 언어의 긍정적인 특징들을 유지하면서 공통이 되는 문제들을 해결할 새로운 프로그래밍 언어를 설계하기 위해 구글의 엔지니어 Robert Griesemer, 롭 파이크, 켄 톰프슨에 의해 실험적으로 시작되었다. 이 새로운 언어는 다음의 기능을 포함할 작정이었다:
나중의 인터뷰에서, 언어 설계자 3명 모두 자신들이 C++의 복잡성을 싫어하며 이로 인해 새로운 언어를 설계하는 계기가 되었다고 언급하였다.
Go 1.0은 2012년 3월에 출시되었다.
Go (프로그래밍 언어) 구현체
2개의 주요 구현체가 존재한다:
GopherJS라는 이름의 서드파티 Go 컴파일러도 존재한다. GopherJS는 Go 코드를 자바스크립트 코드로 컴파일하며 Go가 프론트엔드 개발에 사용될 수 있게 한다.
Go (프로그래밍 언어) 언어 설계
Go의 문법은 대체로 C와 비슷하다: 코드 블록들은 중괄호로 둘러싸고 for, switch, if를 포함한 일반적인 제어구조를 가지고 있다. C와 다르게, 한 라인 끝의 세미콜론은 필수가 아닌 옵션이다. 변수 선언은 다르게 작성되고 대개 옵션이다. 형 변환은 명시적으로 해야 한다. 병행 컴퓨팅을 다루기 위해 go와 select 키워드가 사용된다. 새로운 타입은 map, 유니코드 문자열, 배열 slice, 그리고 내부 쓰레드 통신을 위한 채널(channel)이 있다.
Go는 그리 좋지 않은 하드웨어에서도 빠르게 컴파일될 수 있도록 디자인되었다. Go는 가비지 컬렉션이 되는 언어이다. 병행성(concurrency)와 관련된 Go의 구조적인 규칙들(channel과 선택적인 channel input들)은 Tony Hoare의 CSP로부터 가져온 것이다.
Go (프로그래밍 언어) 언어 설계
C++나 자바에 있는 기능들 중 타입 상속, 제너릭, 표명(assertion), 메서드 오버로딩, 포인터 연산은 Go에서 포함하고 있지 않다. Go를 만들고 있는 개발자들은, 제너릭 등은 급하진 않지만 어느 시점에는 기능이 도입될 것이라고 한다.
Go를 이용해 프로그램들이 서로 소통하면서 상태를 공유하는 동시성(concurrency) 프로그램을 쉽게 만들 수 있다.
동시성이란 멀티스레딩, 병렬 컴퓨팅 뿐 아니라, 비동기성 입출력 또한 포함한다. 예를 들어, 이벤트 기반 서버와 같이, 데이터베이스나 네트워크 작업과 같이 시간이 많이 걸리는 연산을 하는 동안 프로그램이 다른 일을 하는 것을 말한다.
Go (프로그래밍 언어) 목적
Go는 정적 타입 컴파일 언어의 효율성과 동적 언어처럼 쉬운 프로그래밍을 할 수 있도록 하는 것을 목표로 한다. 또다른 목적은:
Go (프로그래밍 언어) 언어 도구
Go는 수많은 언어 배포판들과 동일한 종류의 디버깅, 테스트, 코드 검사 도구들을 포함하고 있다. 그 중에 Go 배포판은 다음을 포함한다:
프로파일링 및 디버깅 지원, 런타임 인스트루먼테이션(이를테면 가비지 컬렉션 일시 정지 등을 위해) 및 레이스 컨디션 테스터(race condition tester)도 포함한다.
Go (프로그래밍 언어) 예제
아래는 Go로 만든 Hello, World 프로그램이다.
Go는 for loop과 같은 경우 각 항목을 구분하는 용도로 세미콜론(;)을 사용하고 그 외에는 대부분 자동으로 세미콜론이 컴파일 시 들어가게 된다. 중요한 것은 if와 같은 경우 if가 있는 그 라인에 중괄호({)가 반드시 같이 들어가야 한다는 것이다.
Go (프로그래밍 언어) Go를 사용하는 프로젝트
Go로 작성된 일부 저명한 오픈 소스 소프트웨어는 다음과 같다:
Go를 사용한 일부 저명한 오픈 소스 소프트웨어 프레임워크는 다음과 같다:
이 밖에도 Go를 사용하는 저명한 기업 및 사이트는 다음과 같다(일반적으로 다른 언어와 함께 사용):
나눗셈 정리
수학에서 나눗셈 정리(-定理, 영어: division theorem)는 임의의 정수를 0이 아닌 정수로 나눈 몫과 나머지를 유일하게 정의할 수 있다는 정리이다. 두 정수로부터 몫과 나머지를 얻는 연산을 나머지 있는 나눗셈(영어: division with remainders) 또는 유클리드 나눗셈(영어: Euclidean division)이라고 한다. 양의 정수를 양의 정수로 나눈 몫은 나뉘는 수가 음의 정수가 되기 직전까지 나누는 수를 뺀 횟수를 나타내며, 나머지는 이 횟수만큼 뺀 차를 나타낸다. 예를 들어, 17에서 5를 3번 빼면 2가 남으며, 3번 이상 빼면 음의 정수가 되므로, 17를 5로 나눈 몫은 3이며 나머지는 2이다. 이를 곱셈을 사용하여 표기하면 다음과 같다.
일반적인 두 정수의 나머지 있는 나눗셈에서 나머지는 나누는 수 의 절댓값보다 작은 음이 아닌 정수들  가운데 하나이다. 각각 와 법 에 대하여 합동인 정수들
역시 나머지의 범위로 삼을 수 있다.
나눗셈 정리
임의의 다항식을 0이 아닌 다항식으로 나눈 몫과 나머지 역시 유일하게 정의할 수 있다. 다항식의 나머지 있는 나눗셈은 나뉘는 다항식에서 나누는 다항식의 적절한 배수를 빼 차수가 나누는 다항식보다 낮은 다항식이 남도록 만드는 연산이다. 예를 들어, 를 로 나눌 경우,
이며, 1차 다항식 는 2차 다항식 보다 차수가 낮으므로, 몫은 이며 나머지는 이다.
정수환이나 다항식환과 같이 나눗셈 정리와 유사한 성질이 성립하는 환을 유클리드 정역이라고 한다. 유클리드 정역에서의 몫과 나머지는 유일하게 정의되지 않을 수 있다. 정수환과 다항식환 이외에도 가우스 정수환은 절댓값에 대하여 유클리드 정역을 이룬다.
일변수 다항식의 나머지 있는 나눗셈은 다변수 다항식에까지 일반화할 수 있다. 즉, 임의의 다변수 다항식을 여러 개의 0이 아닌 다변수 다항식으로 나눈 몫과 나머지를 생각할 수 있다. 이 경우 몫과 나머지는 일반적으로 유일하지 않지만, 나누는 다항식들이 그뢰브너 기저를 이룰 경우 유일한 나머지를 갖는다. 일변수 다항식과 달리, 다변수 다항식의 나머지 있는 나눗셈은 단항식들 사이의 적절한 순서 관계의 선택에 의존한다. 다변수 다항식의 나머지 있는 나눗셈은 다변수 다항식환 위의 유한 생성 자유 가군에까지 일반화된다.
나눗셈 정리 (정수) 나눗셈 정리
두 정수 이 주어졌고, 이라고 하자. 나눗셈 정리에 따르면, 다음 두 조건을 만족시키는 정수 가 유일하게 존재한다.
여기서 는 절댓값이다. 이 경우 를 각각 을 으로 나눈 몫과 나머지라고 하며, 두 정수 으로부터 몫 와 나머지 를 얻는 연산을 나머지 있는 나눗셈이라고 한다. 추상대수학의 관점에서, 나눗셈 정리는 정수환 이 유클리드 정역임을 나타낸다.
증명:
우선 가 존재한다는 사실을 보이자. 우선 인 경우를 생각하자. 정수 을 고정하고 에 대한 수학적 귀납법을 사용하자. 만약 이라면,  및 은 원하는 조건을 만족시킨다. 이제, 이라고 하고, 보다 작은 모든 정수는 으로 나눈 몫과 나머지를 갖는다고 가정하자. 그렇다면 이므로 수학적 귀납법의 가정에 의하여 다음 두 조건을 만족시키는 정수 이 존재한다.
만약 일 경우, 과 은 원하는 조건을 만족시킨다. 만약 일 경우 과 을 취하면 된다. 수학적 귀납법에 의하여, 임의의 에 대하여, 정리 속 조건을 만족시키는 가 존재한다. 을 미리 고정하였으므로 이는 임의의  및 에 적용된다.
나눗셈 정리 (정수) 나눗셈 정리
이제 인 경우를 생각하자. 이 경우 은 양의 정수이므로, 다음 두 조건을 만족시키는 정수 이 존재한다.
만약 이라면 과 을 취하고, 만약 이라면 과 을 취하자. 그렇다면 는 원하는 조건을 만족시킨다. 이에 따라 는 임의의 정수  및 0이 아닌 정수 에 대하여 존재한다.
이제 가 유일하다는 사실을 보이자. 정수 가 다음 조건을 만족시킨다고 가정하자.
그렇다면,
이며, 양변을 으로 나누고 절댓값을 취하면
을 얻는다. 즉, 이며, 따라서 이다. 이에 따라, 정리 속 조건을 만족시키는 는 유일하다.
을 으로 나눈 몫은 , 나머지는 이다 ().
모든 유리수는 정수와 분모가 양의 정수인 기약 진분수의 합으로 유일하게 나타낼 수 있다. 즉, 유리수  (는 정수, , 와 는 서로소)에 대하여, 를 로 나눈 몫과 나머지를 각각 라고 하면,
이며, 이 경우 는 기약 분수이자 진분수이다.
나눗셈 정리 다항식 나눗셈 정리
환 에서 계수를 취하는 두 다항식 가 주어졌고, 이며, 의 최고차항의 계수가 의 가역원이라고 하자. 그렇다면, 다음 두 조건을 만족시키는 다항식 가 유일하게 존재한다.:121, §III.5, Proposition 5.5:173-174, §IV.1, Theorem 1.1
마찬가지로, 다음 두 조건을 만족시키는 다항식 가 유일하게 존재한다.
여기서 는 다항식의 차수이다 (). 특히, 가 일계수 다항식일 경우 나눗셈 정리가 적용된다 (은 항상 가역원이기 때문이다). 만약 가 가환환일 경우,  역시 가환환이므로, 는 와 일치한다. 만약 가 나눗셈환일 경우, 의 모든 0이 아닌 원소는 가역원이므로, 나눗셈 정리는 임의의 에 대하여 성립한다.
증명:
우선 가 존재함을 증명하자. 임의의 을 고정하고 에 대한 수학적 귀납법을 사용하자. 만약 라면, 과 를 취하면 된다. 이제, 라고 하고, 차수가 보다 낮은 다항식이 항상 로 나눈 몫과 나머지를 갖는다고 가정하자. 차수 에 대한 수학적 귀납법을 사용하자.
라고 하고,
나눗셈 정리 다항식 나눗셈 정리
라고 하자. 그렇다면 이므로, 수학적 귀납법의 가정에 의하여 다음 두 조건을 만족시키는 가 존재한다.
그렇다면
와 는 원하는 조건을 만족시킨다.
이제 가 유일함을 증명하자. 가 다음 조건을 만족시킨다고 가정하자.
그렇다면
이며, 또한 의 최고차항의 계수는 왼쪽 또는 오른쪽 영인자가 아니므로,
이다. 따라서 , 이다.
보다 일반적으로, 환 에서 계수를 취하는 다항식 가 주어졌고, 이며, 의 최고차항의 계수를 라고 하자. 그렇다면, 다음 두 조건을 만족시키는 다항식 가 존재한다.:IV.10, §IV.6, Proposition 10
마찬가지로, 다음 두 조건을 만족시키는 다항식 가 존재한다.
만약 가 가역원이라면, 이러한 는 유일하다.
만약 가 나눗셈환일 경우, 의 모든 0이 아닌 원소는 가역원이므로, 임의의 의 최고 차수의 항의 계수는 가역원이다. 특히 만약 가 체라면, 는 가환환이며, 두 종류의 나눗셈을 구분할 필요가 없다. 체 계수의 다항식의 나눗셈 정리는 다음과 같다.
체 에서 계수를 취하는 다항식 가 주어졌고, 이라고 하자. 그렇다면, 다음 두 조건을 만족시키는 다항식 가 유일하게 존재한다.
나눗셈 정리 다항식 나눗셈 정리
이에 따라, 체에 대한 일변수 다항식환 는 유클리드 정역을 이룬다.
실수체에 대한 다항식 나눗셈 정리에 따라, 실수 계수 다항식을 실수 계수 다항식으로 나눈 몫과 나머지는 실수 계수 다항식이다. 유리수 계수 다항식도 마찬가지다. 정수환에 대한 다항식 나눗셈 정리에 따라, 정수 계수 다항식을 정수 계수 일계수 다항식으로 나눈 몫과 나머지는 항상 정수 계수 다항식이다. 그러나 일반적으로 정수 계수 다항식의 나눗셈에서의 몫과 나머지는 유리수 계수 다항식이며, 이는 정수 계수 다항식이 아닐 수 있다.
정수 계수 다항식 를 로 나눈 몫과 나머지는 각각 와 이다.
임의의 환 에서, 다항식 를  (는 가역원)로 나눈 몫은 , 나머지는 0이다. 그 반대환 에서 몫과 나머지는 각각 와 0이다. 가 가환환일 경우 반대환은 자기 자신과 일치하므로, 와 에서의 몫과 나머지는 일치한다.
환 에서 계수를 취하는 다항식 가 주어졌고, 를 부분환으로 갖는 환 의 원소 가 의 모든 원소와 가환한다고 하자 (임의의 에 대하여, ). 나머지 정리(-定理, 영어: remainder theorem)에 따르면, 를 로 나눈 나머지는 이다.
나눗셈 정리 다항식 나눗셈 정리
특히, 만약 가 가환환일 경우, 임의의 에 대하여 나머지 정리가 성립한다.
증명:
다항식 나눗셈 정리에 따라 다음 두 조건을 만족시키는 가 존재한다.
따라서 이다. 함수
는 자명하게 덧셈을 보존한다. 또한, 가 의 모든 원소와 가환하므로 이는 곱셈을 보존한다. 즉, 환 준동형이다. 이를
에 적용하면
을 얻는다.
환 에서 계수를 취하는 다항식 가 주어졌고, 를 부분환으로 갖는 환 의 원소 가 의 모든 원소와 가환한다고 하자 (임의의 에 대하여, ). 인수 정리(因數定理, 영어: factor theorem)에 따르면, 다음 두 조건이 서로 동치이다.:122, §III.5, Proposition 5.7:175, §IV.1, Theorem 1.4
특히, 만약 가 가환환일 경우 이는 임의의 에 대하여 성립한다.
증명:
만약 라면, 인 가 존재하므로,
이다.
만약 이라면, 나머지 정리에 따라
인 가 존재하므로 이다.
체 에서 계수를 취하는 유리 함수는 다음과 같은 꼴로 유일하게 나타낼 수 있다.
나눗셈 정리 다항식 나눗셈 정리
여기서 다항식 는 다음 조건을 만족시킨다.
환 에서 계수를 취하는 두 다항식 가 주어졌고, , 이며, 의 최고차항의 계수가 의 가역원이라고 하자. 그렇다면, 다음 두 조건을 만족시키는 다항식 가 유일하게 존재한다.:124, §III.5, Exercise 3:189, §IV.5, Theorem 5.3
마찬가지로, 다음 두 조건을 만족시키는 다항식 가 유일하게 존재한다.
여기서 는 바닥 함수이다. 특히, 일 경우 이는 다항식 의 통상적인 전개와 같다.
다항식의 나머지 있는 나눗셈의 몫과 나머지를 구하는 방법으로 장제법이 있다. 만약 1차 다항식으로 나눌 경우 조립제법을 사용할 수 있다. 다항식 나머지 정리에 따라, 다항식의 정의역 속 원소에 대한 값은 조립제법을 통해 구할 수 있다. 이는 다항식의 통상적인 전개를 통한 계산보다 덜 복잡하다.
나눗셈 정리 유클리드 정역
정수환  또는 체  위의 다항식환 와 같이, 나머지 있는 나눗셈을 할 수 있고 정역을 이루는 환을 유클리드 정역이라고 한다. 구체적으로, 유클리드 정역은 다음을 만족시키는 함수 가 존재하는 정역 이다.
이 경우 는 정수환이나 다항식환에서와 달리 유일하지 않을 수 있다.
정수환 은 절댓값 함수 에 대하여 유클리드 정역을 이룬다. 체  위의 다항식환 는 차수 함수 에 대하여 유클리드 정역을 이룬다.
주 아이디얼 정역은 유클리드 정역보다 약한 조건이다. 즉, 유클리드 정역의 모든 아이디얼은 한 원소로 생성할 수 있지만, 그 역은 성립하지 않는다. 예를 들어, 의 아이디얼은 음이 아닌 정수 을 통해 의 꼴로 유일하게 나타낼 수 있으며, 의 아이디얼은 유일한 일계수 다항식 또는 0을 생성원으로 갖는다.
이차 수체의 대수적 정수환은 유클리드 정역을 이룰 필요가 없다. 유클리드 정역을 이루는 허수 이차 수체의 대수적 정수환은 유한 개밖에 없으며, 이들은 모두 체 노름에 대하여 유클리드 정역을 이룬다. 체 노름의 절댓값에 대하여 유클리드 정역을 이루는 실수 이차 수체의 대수적 정수환도 유한 개뿐이다. 다음은 유클리드 정역을 이루는 이차 수체의 대수적 정수환의 일부이다.
나눗셈 정리 유클리드 정역
허수 이차 수체 의 대수적 정수환
를 가우스 정수환이라고 한다.  위의 체 노름은
이며, 가우스 정수환은 체 노름에 대하여 유클리드 정역을 이룬다.
증명:
임의의  (, )에 대하여,
라고 하자. 이제,
인 를 취하고
라고 하자. 그렇다면,
이다. 이에 따라 는 체 노름 에 대하여 유클리드 정역을 이룬다.
가우스 정수환의 원소는 데카르트 좌표 평면 위의 격자점, 또는 원점에서 격자점을 향하는 벡터와 일대일 대응하며, 체 노름은 원점과의 거리의 제곱과 같다. 의 배 에 대응하는 벡터는 에 대응하는 벡터와 직교한다. 따라서, 의 배수는 와 의 정수 계수 선형 결합이므로, 와 를 기저로 하는 새로운 데카르트 좌표계의 격자점에 대응한다. 주어진 에 대하여, 새로운 격자점들 가운데 와 가장 가까운 하나를 라고 하자. 그렇다면 를 에서 로 나눈 몫으로 취할 수 있다. 이 경우 나머지 는 에서 를 향하는 벡터와 같다.
허수 이차 수체 의 대수적 정수환
은 체 노름
에 대하여 유클리드 정역을 이룬다.
증명:
임의의  (, )에 대하여,
라고 하자. 이제,
인 를 취하고,
이라고 하자. 그렇다면,
이다. 이에 따라 은 체 노름 에 대하여 유클리드 정역을 이룬다.
나눗셈 정리 다변수 다항식
체 가 주어졌다고 하자. 일변수 다항식환  속에서 표준적인 나눗셈을 정의할 수 있는 것은 단항식들 사이에 표준적인 순서 가 존재하기 때문이다. 다변수 다항식환 의 단항식들 사이에는 표준적인 순서가 존재하지 않으며, 다변수 다항식들의 나눗셈을 정의하기 위해서는 단항식 순서를 미리 지정해야 한다.
체 에서 계수를 취하는 다변수 다항식환  위의 단항식 순서(單項式順序, 영어: monomial order)는 다음 세 조건을 만족시키는, 단항식의 집합 위의 전순서 이다.
두 번째와 세 번째 조건은 하나만 취하여도 좋다. 첫 번째와 두 번째 조건은 세 번째 조건을 함의하며, 반대로 첫 번째와 세 번째 조건도 두 번째 조건을 함의하기 때문이다. 정의에 따라, 만약 이라면, 이다.
체 에서 계수를 취하는 다변수 다항식환  위의 단항식 순서 가 주어졌다고 하자. 그렇다면, 임의의 다변수 다항식 은 그 (0이 아닌) 항들을 에 대하여 큰 항부터 작은 항까지의 순서대로 정렬하여
나눗셈 정리 다변수 다항식
꼴로 나타낼 수 있다. 이 경우, 단항식 순서 에 대한 의 최고차항(最高次項, 영어: leading term)과 최고차 계수(最高次係數, 영어: leading coefficient)와 최고차 단항식(最高次單項式, 영어: leading monomial)은 각각 다음과 같다.
(다항식 0의 최고차항, 최고차 계수, 최고차 단항식은 보통 모두 0으로 정의하며, 항상 이라고 생각한다.)
체 에서 계수를 취하는 다변수 다항식  및 단항식 순서 가 주어졌고, 이라고 하자. 그렇다면, 다음을 만족시키는 다변수 다항식 이 존재한다.
이 경우 몫과 나머지 는 유일할 필요가 없다. 만약 가 의 그뢰브너 기저를 이룰 경우, 나머지 는 항상 유일하며, 임의의 에 대하여, 다음 두 조건이 서로 동치이다.
체 에서 계수를 취하는 다변수 다항식환 의 아이디얼  및 단항식 순서 가 주어졌다고 하자. 유한 집합 에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 를 의 그뢰브너 기저라고 한다.
나눗셈 정리 다변수 다항식
여기서, 임의의 다항식 집합 에 대하여, 는 로 생성된 의 아이디얼이다. 가 유한 집합일 경우 는 로 표기할 수 있다. 또한,
이다. 은 최소 공배수를 뜻한다.
아이디얼 의 그뢰브너 기저는 항상 존재한다. 모든 (무한 집합일 수 있는) 그뢰브너 기저는 유한 부분 그뢰브너 기저를 가지므로, 유한하지 않은 크기의 그뢰브너 기저는 다룰 필요가 없다.
체 에서 계수를 취하는 유한 개의 다변수 다항식 으로 생성된 아이디얼 의 그뢰브너 기저는 다음과 같은 과정을 통해 찾을 수 있으며, 이를 부흐베르거 알고리즘(영어: Buchberger’s algorithm)이라고 한다.
포모서 비트레이드
《포모서 비트레이드》(중국어: 被出賣的台灣)는 애덤 케인이 감독한 2009년 미국 영화으로, 1980년대를 배경으로 과거 중화민국의 백색테러를 다루고 있다.
포모서 비트레이드 줄거리
1983년, 중정 국제공항(지금의 타이완 타오위안 국제공항)에 도착한 미국 FBI 요원 제이크 켈리는 대만인 남자 한 명과 함께 급히 에스컬레이터를 오르고는 비행기를 타기 위해 탑승구로 서두른다. 켈리는 대만인 남자와 함께 공항 검문을 통과하려고 하지만 이윽고 중화민국 헌병이 들이닥치고, 한 발의 총성이 울린다. 아수라장이 된 공항에서 헌병들은 켈리와 대만인 남자를 각각 끌고 가는데, 미국 외교관 수잔 케인이 헌병들에게 다가와 켈리를 체포하지 못하게 막는다. 그래서 켈리는 헌병들에 의해 한 방으로 옮겨지고, 수잔 케인은 켈리에게 상황을 설명하라고 추궁한다.
그로부터 2주 전, 미국 시민이자 대만 독립을 주장하는 반체제 인사였던 헨리 원(원밍화) 교수가 시카고에서 살해당한다. 시카고 경찰과 FBI는 원 교수가 강의했던 대학 등 여러 군데를 조사하고, 원 교수의 미망인과 목격자의 진술로부터 살인범이 범행 당시 자전거를 타고 담배를 피웠다는 것을 알게 된다. 켈리는 경찰관 리사 길버트와 함께 범행 현장을 조사하던 중 대만산 담배꽁초를 발견하게 되고, 범인들을 발견하고 총격전을 벌이지만 놓치게 된다.
포모서 비트레이드 줄거리
FBI는 켈리를 중화민국으로 보내기로 하지만, 중화민국과 미국의 복잡한 외교 관계로 인해 켈리가 할 수 있는 일은 현지 당국의 수사에 참관하고 협조하는 것이 전부였다. 켈리는 중정 국제공항에 도착한 뒤 중화민국 주재 외교관 수잔 케인을 만나고, 그녀로부터 중화민국 국민정부 고관 궈와 경찰 간부 두 사람을 소개받는다. 중화민국 당국은 켈리에게 고급 호텔을 제공하고 호화 파티에 초대하는 등 그를 매우 융숭하게 대접하지만...
어느 날, 켈리의 호텔 방에 수수께끼의 인물 메이싱이 나타난다. 살해당한 원 교수의 은사 황리페이 박사가 보낸 그녀는, 중화민국 당국이 켈리에게는 숨긴 채 이미 범인 하나의 위치를 파악하고 포위하고 있다고 전한다. 켈리는 메이싱의 도움으로 범인이 있는 근처까지 갔지만 한 발의 총성이 모든 것을 수포로 만든다. 게다가 범인을 쏜 사람은 다름이 아니라 조금 전까지 자료 조사에 어려움을 겪던 법무부의 천 사무관이었다.
이민수 (작곡가)
이민수(1976년 5월 10일~)는 대한민국 출신의 작곡가이다. 대표곡으로는 브라운아이드걸스의 〈Abracadabra〉, 아이유(IU) & 슬옹의 〈잔소리〉 등이 있다.
이민수 (작곡가) 활동
23살 경에 작곡가 박해운 밑에서 음악을 배웠다.
작곡가 박해운, 윤일상, 안정훈, 신재홍과 모여 "내가네트워크"를 창단한 바 있다.
2009년, 롤러코스터의 베이시스트였던 최진우가 Abracadabra의 첫 버전을 보내주자, 그 곡의 후렴구 부분을 맡아 완성하였다.
이민수 (작곡가) 평가
본인 스스로가 현의 패드성을 강조하는 느낌보다는 리듬적으로 현의 라인을 드라마틱하게 움직이는 것을 선호한다고 밝힌 바 있으며, 가수의 보이스를 침범하지 않는 내에서 최대한 스케일을 크게 만들려고 노력하는 편이라고 밝힌 바 있다. 가수 가인으로부터 음악 안에 존재하는 정서, 표현하려는 이야기를 정말 중요하게 생각한다는 평을 받은 바 있다.
이민수 (작곡가) 논란
가수 아이유의 정규 3집 모던타임스 타이틀곡 〈분홍신〉이 표절 논란을 일으킨 바 있다.
이민수 (작곡가) 작곡
이민수가 작곡한 곡의 목록은 다음과 같다.
우는토끼과
우는토끼 또는 피카는 토끼목의 우는토끼과(Ochotonidae)에 속하는 포유류 동물로, 30개의 종으로 구성되어 있다. 북방우는토끼(시베리아우는토끼, Ochotona hyperborea) 한 종만을 지칭하는 경우도 있다. 몸집이 작고 팔다리가 짧으며 둥근 귀를 가지고 있으며 꼬리는 드러나지 않는다. 우는토끼라는 이름은 주위를 경계할 때 내는 고음의 울음소리에서 유래되었으며, 생김새가 설치류의 몇몇 종과 유사하기 때문에 "쥐토끼"라고도 불린다. 새앙토끼라고 부르기도 한다.
우는토끼과 서식지
우는토끼는 주로 아시아, 북아메리카, 동유럽의 추운 지역에 서식한다. 대부분의 종들은 돌이 많은 산비탈에 살고 있으며, 돌과 돌 사이의 작은 틈은 포식자로부터 숨을 수 있는 많은 피난처를 제공한다. 반면, 일부 종은 초원지대에서 간단한 굴을 파면서 생활하며 심지어는 사막지대에 서식하는 종도 있다. 유라시아의 산지에 사는 우는토끼들은 조류의 일종인 흰 핀치와 굴을 빈번히 공유하기도 한다. 한국의 양강도에도 살고 있다. 서식지는 사람이 사는 곳과 동떨어진 지역이므로, 사람의 활동과 대체로 무관하다.
우는토끼과 특징
종에 따라 다르나, 몸의 길이는 12.5~30cm, 귀는 1.5cm, 뒷다리는 2.6cm 정도이며 몸무게는 350 g 정도이다.
털은 길고 빽빽하게 나 있으며 부드럽고 가늘다. 털빛은 회색빛이 나는 갈색이며, 여름털은 밝은 황적색을 더 띠며, 겨울털은 회색이 짙다. 털빛은 등 쪽이 배 쪽보다 진하다. 어떤 종은 한 해에 두 번 털갈이를 하기도 한다. 꼬리는 털 속에 가려 전혀 보이지 않는다. 머리는 짧고 뭉뚝하며, 귀는 짧고 둥굴다. 콧구멍은 완전히 닫을 수 있다. 다리는 짧은데, 앞다리가 뒷다리보다 짧다. 발가락은 앞뒤 발이 각각 다섯이며, 발바닥에도 털이 많다.
먹이를 먹은 후에는 나중에 다시 섭취 할 무른 초록색 찌꺼기를 먼저 배설하며, 그 후에 최종적인 딱딱한 똥을 배설한다.
초식성으로 풀, 사초과, 관목 잔가지, 이끼, 지의류를 포함하는 넓은 범주의 식물을 먹이로 한다. 다른 토끼과 동물과 마찬가지로, 갉는 앞니를 가지고 있고 송곳니가 없으며, 토끼보다 어금니의 수가 적다.
우는토끼과 특징
번식 시기는 늦은 봄이나 여름이며, 한배에 낳는 새끼 수는 2-6마리이고 한 해에 두세 번 낳는다. 바위에 사는 우는토끼들은 다섯 마리가 안되는 새끼를 한 배에 낳는데 반해, 굴에서 사는 종들은 서식지에 이용가능한 먹이자원이 보다 더 많기 때문에 그보다 더 많은 수를 낳으며 또한 더 자주 새끼를 낳는다. 임신기간은 25일에서 30일사이이다.
갓 태어난 새끼는 털이 없고 몸무게는 약 9g이다. 성체의 1/3 크기에 이르면 젖을 떼는데, 완전히 자라는 데는 6-7주가 걸린다.
실험용 동물로 이용되기도 한다.
우는토끼과 습성
주행성이거나 혹은 박명박모성으로, 높은 고도에 사는 종들은 낮기간 동안 일반적으로 더 활발한 경향이 있으며, 겨울이 오기 직전에 가장 행동이 활발하다. 겨울잠을 자지 않기 때문에, 여름과 가을에는 겨울에 먹을 먹이를 모으고 저장하는데 대부분의 시간을 보낸다. 늦여름에 풀, 잔가지, 관목 따위의 식물, 심지어는 나무 위에 올라가서 꺾은 가지들을 모은다음, 배불리 먹고 남은 이 먹이를 바위에서 햇볕에 말려 건초로 만든다. 이 말려진 건초는 암석지대에 서식하는 종은 바위 밑의 보금자리에 저장하며, 초원에 서식하는 종은 집의 입구에 쌓아 놓는다. 이렇게 저장해 놓은 건초는 먹이를 구하기가 어려운 겨울철에 먹는다.
우는토끼과 습성
굴에서 사는 종들은 자신들이 모은 먹이를 굴에 사는 동료와 나누어 먹는데 반해, 바위에 사는 종들은 각자가 자기만의 마른 건초로된 보금자리를 마련하여 홀로 거주하는 양상을 보인다. 바위에 사는 우는토끼가 내는 울음소리나 다른 사회적인 행동은, 포식자를 경계하여 자신의 보금자리로 피하는 것과 주로 관련이 있다.
유라시아의 우는토끼들은 보통 가족끼리 무리지어 살며, 음식을 모으고 주위를 경계하는 일을 서로 나누는 등의 사회적인 모습을 보이나. 북아메리카의 종들은 비사회적이며, 번식기를 제외하면 홀로 생활한다.
우는토끼과 멸종 위기
해발고도 2,000m 이상의 고지대에 거주하는 종들은 지구온난화가 발생하면, 먹이를 쫓아 북쪽으로, 혹은 산위로 올라가다가 바다에 막히거나, 산꼭대기에 도달함으로써 멸종으로 몰릴 가능성이 높다. 아직까지 기후변화로 인해 멸종한 종은 없으나, 이미 5종이 멸종위기종 단계 혹은 심각한 멸종위기 단계에 놓여있다. 특히 로키산맥 일대에서 개체수가 상당히 줄어 들어 멸종이 우려될 수도 있다는 지적이 있다.
우는토끼과 하위 종
북방우는토끼아속(Pika) - 북방우는토끼
알타이우는토끼 또는 고산우는토끼(Ochotona alpina)
은빛우는토끼(Ochotona argentata)
목무늬우는토끼(Ochotona collaris)
호프만우는토끼(Ochotona hoffmanni)
북방우는토끼 또는 시베리아우는토끼(Ochotona hyperborea)
팔라스우는토끼(Ochotona pallasi)
아메리카우는토끼(Ochotona princeps)
투루한우는토끼(Ochotona turuchanensis)
관목초원지대우는토끼아속(Ochotona) - 관목초원지대우는토끼
간쑤우는토끼 또는 잿빛우는토끼(Ochotona cansus)
고원우는토끼 또는 붉은입술우는토끼(Ochotona curzoniae)
다우르우는토끼(Ochotona dauurica)
친링우는토끼(Ochotona huangensis)
누브라우는토끼(Ochotona nubrica)
초원우는토끼(Ochotona pusilla)
아프가니스탄우는토끼(Ochotona rufescens)
무핑우는토끼 또는 무핑피카(Ochotona thibetana) - 무핑(穆坪)
토마스우는토끼(Ochotona thomasi)
우는토끼과 하위 종
산악우는토끼아속(Conothoa) - 산악우는토끼
중국붉은우는토끼(Ochotona erythrotis)
포레스트우는토끼(Ochotona forresti)
까오리꽁우는토끼(Ochotona gaoligongensis)
글로버우는토끼(Ochotona gloveri)
히말라야우는토끼(Ochotona himalayana)
일리우는토끼(Ochotona iliensis)
코즐로프우는토끼(Ochotona koslowi)
라다크우는토끼(Ochotona ladacensis)
큰귀우는토끼(Ochotona macrotis)
물리우는토끼(Ochotona muliensis)
검은우는토끼(Ochotona nigritia)
로일우는토끼(Ochotona roylei)
투르케스탄붉은우는토끼(Ochotona rutila)
이영복 (야구인)
이영복(1969년 11월 29일 ~ )은 대한민국의 야구인이다.
이영복 (야구인) 소개
충암고등학교와 홍익대학교를 졸업하였으며 홍익대학교 야구부 창단 선수 중 한명이다. 일찍부터 프로 선수가 아닌 지도자의 길을 걸어왔는데 1992년 충암중학교 야구부 코치를 시작으로 충암중학교 야구부 감독을 거쳐 2003년에 충암고등학교 야구부 감독으로 부임한 뒤 2005년과 2006년에 미추홀기 전국고교야구대회 2년 연속 우승, 2007년 봉황대기 전국고교야구대회 우승, 2008년 서울특별시 춘계와 추계 고교야구대회 통합 우승, 2009년 황금사자기 전국고교야구대회 우승, 2010년 무등기 전국고교야구대회 준우승, 서울특별시 추계 고교야구대회 무패 우승, 2011년 대한민국 고교야구 주말리그 전반기 우승을 거두며 현역 고등학교 야구 감독 중 전국 대회 최다 우승 기록 뿐아니라 2021년 대통령배, 2021년 청룡기 우승을 연속으로 이끌어 생애 메이져 대회 그랜드슬램 감독이라는 유일한 기록도 갖게 되었다.
이영복 (야구인) 소개
특히 2008년 홍상삼, 2009년 정용운, 2010년 문성현, 2011년 최현진, 2012년 변진수, 2013년 이충호 등 투수 발굴 능력이 주목 받고있으며 코치 시절을 포함하면 30여명의 프로 야구 선수들을 배출했다. 2009년에 대구고등학교의 박태호 감독, 덕수고등학교의 정윤진 감독과 함께 아시아 청소년 야구 선수권 대회에 코치로 참가하여 우승을 경험 했고 2011년 아시아 청소년 야구 선수권 대회에서는 감독으로 참가하여 준우승하였다.
JTBC
JTBC(제이티비씨)는 방송이다.
본사는 서울특별시 마포구 상암산로 76 (상암동)에 있다.
JTBC 역사
1980년 말 신군부의 언론 통폐합 정책으로 당시 중앙일보와 같은 삼성의 계열사였던 동양방송(TBC)이 폐국되어 자산 일체가 KBS에 몰수당한 이후, 중앙일보는 자회사인 중앙방송을 통해 유료 방송 QtV HD(현 jTBC2), j골프 HD(현 jTBC GOLF) 등을 운영하였고, 지면을 통해 TBC에 대한 기획 기사를 수차례 게재하였다.
JTBC 역사
2009년 7월 22일에 여러 차례 논란 끝에 종합편성채널에 법적 근거를 부여하는 방송법 개정안이 당시 여당인 한나라당의 단독 강행 처리로 국회를 통과했는데, 이는 야당과 시민사회단체로부터 "날치기"라고 비판 받고, 일사부재의의 원칙 위배 논란이 불거졌다. 이후 2010년 11월 30일에 종합편성채널의 신청서 접수가 시작되었을 때, 중앙일보 측은 동양방송의 영문 약칭이었던 "TBC"라는 이름으로 신청을 시도하려 했으나, 해당 약칭을 1990년대부터 대구경북 지역의 SBS 계열 지역민영방송사인 TBC(Taegu Broadcasting Corporation, 대구방송)가 선점하여 jTBC(소문자 j)라는 이름으로 신청서를 제출하였다. 이후 중앙그룹 측은 j를 뺀 TBC 상표를 사용하고자 해당 상표를 보유한 TBC와 여러번 접촉했으나, 결국 TBC 측의 거절로 실패했다.
2010년 12월 31일에 종합편성 방송채널사업자로 선정된 이후, 2011년 3월 21일에 법인이 설립되어 같은 해 개국을 앞두고 로마자 표기를 고쳐 jTBC(대문자 J)로 12월 1일에 개국하였다.
JTBC 역사
2012년 6월부터 2014년 FIFA 월드컵 아시아 지역 최종 예선 A조 중계방송을 시작으로 스포츠 중계방송을 개시하였으며, 2013년 WBC 중계권도 맡으며, 스포츠중계도 본격적으로 활성화하였다. 다만 독점 중계했다 경기 내용이나 성적이 저조해 광고 수익 등에서 손해를 보는 경우가 나오자 2010년대 중후반 들어선 스포츠 중계 횟수를 과거보다 좀 줄이는 모양새도 보이고 있다. 대신 JTBC 산하 스포츠 전문 케이블에서 스포츠 관련 중계를 하고 있다.
JTBC 역사
2013년 11월 15일, 방송통신위원회 전체회의에서 의결된 2012년도 방송평가에 따르면 JTBC는 SBS와 MBC를 제치고 지상파 포함 3위를 기록하는 기염을 토해냈으며, 2013년 말 조사한 여론조사에서도 방송 신뢰도가 지상파채널인 MBC와 SBS를 따돌렸다. 그러나 이러한 지상파급 막대한 투자를 하다보니 과유불급인지 2012년 영업손실은 1397억원으로 종합편성채널과 보도전문편성 사업자들 중 가장 높은 것으로 집계되었다. 그럼에도 제작비가 비교적 적게 드는 시사, 교양 프로에 치중하는 다른 종편사들에 비해 예능, 드라마, 스포츠 등 다양한 장르에 꾸준히 투자하는 모양새. 종합편성채널이란 원래 취지엔 가장 부합하는 포지션을 취하고 있다.
2013년 5월, 손석희 앵커를 보도부문사장으로 영입하고, 그를 JTBC 뉴스룸의 전신이었던 저녁 종합 뉴스 프로그램 JTBC 뉴스 9의 진행자로 내세워 보도부문에서도 호평을 받기 시작했다. 특히 2014년 세월호 침몰 사고 관련 보도와 2016년 박근혜-최순실 게이트 관련 보도를 기점으로 JTBC는 KBS조차 제치고 각종 여론조사의 방송사 뉴스 신뢰도/영향력 평가에서 압도적 수치로 1위를 차지하였다. 홍정도 사장의 2018년 신년사에 의하면 JTBC는 2017년 사상 처음 흑자의 폭을 기록하는 기염을 토해냈다고 한다.
국제올림픽위원회(IOC)가 2026년 동계 올림픽부터 2032년 하계 올림픽까지 총 4개 동·하계 올림픽에 대한 중계권 협약을 체결함에 따라, 국내 지상파 방송사들의 중계권 확보가 어려워질 가능성이 제기되고 있다. 이로 인해 시청자들의 '보편적 시청권'이 침해될 우려가 있으며, 특히 지상파 방송을 통해 올림픽을 시청해 온 일반 시청자들에게는 적지 않은 혼란을 초래할 수 있다는 지적이 나오고 있다.
실제로 종합편성채널인 JTBC가 지상파 3사(KBS, MBC, SBS)로 구성된 코리아풀(Korea Pool)보다 높은 금액을 제시하여 올림픽 중계권을 단독으로 확보한 바 있으며, 이로 인해 기존의 공영성과 보편성을 강조해 온 지상파 방송의 역할에 대한 논의도 제기되었다. 케이블 TV나 IPTV 등 유료 플랫폼에 가입하지 않은 시청자들이 올림픽과 같은 국제 스포츠 행사를 시청하지 못하는 상황이 발생할 수 있다는 점에서 시청권의 형평성 문제가 부각되고 있다.
이와 같은 상황은 방송사 간 경쟁 과열로 인한 매너리즘 현상뿐 아니라, 올림픽 중계권의 독점 발표가 예고 없이 이루어졌다는 점에서도 비판을 받고 있으며, 향후 중계권 정책에 대한 재검토가 필요하다는 목소리가 커지고 있다.
국제축구연맹(FIFA) 측의 결정에 따라, 2026년 월드컵 및 2030년 월드컵의 대한민국 내 독점 중계권은 JTBC가 확보하였다. 이로 인해 기존 지상파 3사(KBS, MBC, SBS)는 해당 대회에 대한 직접 중계가 불가능하게 되었다.
JTBC CI
2011년 12월 1일부터 슬로건과 함께 새로운 CI(Corporate Identity)를 공개하였다. 해당 CI는 무지개의 다채로운 색상을 모티브로 제작되었으며, 이는 특정한 색상이나 편협한 시각에 얽매이지 않는 창조성과 다양성을 상징한다고 밝혔다. 또한, 영문 사명은 기존에 사용하던 "Jtbc" 대신 모두 대문자인 "JTBC"로 표기한다고 발표하였다. 다만 시각적 로고 디자인에서는 소문자 형태를 유지하고 있다.
2023년 7월부터 JTBC는 기존에 사용하던 무지개색 로고를 점차 사용하지 않기 시작하였다. 이는 브랜드 정체성의 일관성 유지와 다양한 매체 환경에의 적응을 위한 변화로 해석되며, 방송 콘텐츠나 플랫폼 특성에 맞춰 단색 계열 또는 흑백 기반의 로고가 주로 활용되고 있다. 무지개색 로고는 이후 상징적인 의미로 제한적으로만 사용되고 있으며, 공식 로고 디자인에서도 다채로운 색상은 더 이상 주요 요소로 적용되지 않고 있다.
마진 콜
마진 콜(margin call)은 금융시장에서 선물 거래를 중개하는 회사가 당일 결제를 매일 정산하여 선물 가격 변동에 따른 손익을 증거금에 반영하고, 손실액이 일정 수준을 초과하여 유지 증거금이 부족한 경우 증거금을 채워 넣도록 고객에게 요구하는 일이다. 금융시장에서 자기 자금 비율이 투자 이전에 정해 놓은 유지 증거금 비율보다 떨어졌을 때, 자기 자금 비율을 초기 증거금 비율까지 올려야 하는 것을 의미한다. 증거금이란 투자 거래를 원하는 투자자가 브로커에게 주는 소정의 증거금으로, 초기 증거금과 유지 증거금으로 나뉜다.
와타나베 부인
와타나베 부인은 엔캐리 트레이드로 높은 이익을 얻는 일본의 개인투자자들을 일컫는 말이다. 일본의 흔한 성인 '와타나베'에서 유래했으며, 초기에는 일본의 주부 재테크 사단을 지칭하는 용어였으나, 지금은 확대되어 쓰이고 있다.
라이카 (개 품종)
라이카(Laika, 러시아어: Ла́йка)는 러시아 지역에서 사육하는 사냥개 종류를 일컫는다. 크게 이스트와 웨스트 종으로 나뉘며, 호랑이 사냥용으로 많이 이용되었다.
말리노이즈 표기
'Malinois'라는 명칭은 프랑스어로, 외래어 표기법상 '말리누아'가 올바른 표기이다. 국립국어원에서 제시한 규범 표기는 '벨지언말리누아'이다.
체리 파킹
체리 파킹(cherry parking)은 가치에 비해 저평가되어 가격이 다소 낮은 기업의 주식을 골라 투자하는 행위를 말한다. 원래는 기업의 서비스나 제품 중 특정 상품만을 골라 구매하는 소비자들의 구매 행위를 일컫는 용어에서 유래한다. 때가 되면 설익은 체리도 무르익듯이, 경제적인 상황에 비해 가격변수가 큰 폭으로 낮아지면 다시 제자리를 찾게 되어있다는 데서 나온 용어이다.
달동네
달동네는 산등성이나 산비탈 따위의 높은 곳에 사람들이 모여 사는 동네를 가리키며,  판자촌으로도 불리 높은 곳에 위치해 달과 가깝게 지낸다고 해서 지어진 이름으로, 비슷한 명칭으로는 판자촌이 있다. 영어로는 슬럼(slum)이라고도 한다.
달동네 지형
달동네는 땅값이 싸기 때문에, 산을 깎아 만들어 사람이나 차가 다니기 힘든 비탈에 세워진다. 한국의 경우 1960~70년대 산업화 시절 난개발로 인해 평지에 있는 동네들은 산업화로 많은 건물을 지으며 자연스럽게 땅값이 비싸져 빈부 격차가 점차 커지고, 돈 있는 사람들 외에는 못 살고, 돈 없는 서민들은 땅값 싼 산동네 비탈길에 집짓고 살다 보니까 이런 동네가 형성된 것이다. 주로 꼭대기로 올라갈수록 교통 접근성이 취약해지기 때문에 자연스럽게 땅값이 싸진다. 대한민국에서의 대표적인 예로는 구룡마을이다.
바겐 헌팅
바겐 헌팅(bargain hunting)은 주가가 기업가치에 비해 큰 폭으로 떨어져 있는 주식을 사는 매수 행위를 말한다. 저가매수행위로써 고수익·고위험 투자전략이다.
아누웡
세타티랏 5세(태국어: พระเจ้าไชยเชษฐาธิราชที่ 5 프라짜오차이체타티랏차티 하[*], 1767년 - 1829년, 재위 1805년 - 1829년) 또는 차오 아누웡(라오어: ເຈົ້າອານຸວົງ, Chao Anouvong), 아누웡(Anouvong, Anuvong), 차오 아누(Chao Anou, Chao Anu, Cao Anu)는 라오스 비엔티안 왕국의 마지막 국왕으로, 시암의 라오스 지역 지배에 대항한 아누 반란을 이끈 지도자이다.
아누웡은 비엔티안 왕국의 부왕으로 있다가 1805년 형 차오 인타웡(세타티랏 4세)이 죽고 나서 시암의 왕 라마 2세의 도움으로 왕위를 이어받아 비엔티안 왕국의 왕이 되었다. 당시 라오 지역은 란쌍의 분열로 인해 비엔티안 왕국 외에도 루앙프라방 왕국, 참빠삭 왕국의 셋으로 나뉘어 현저하게 중앙 정부의 지배력이 약화되어 있었고, 특히 당시 비엔티안 왕국은 시암과 베트남 응우옌 왕조에 모두 조공을 바치는 속국의 신세가 되어 있었다. 아누웡은 이런 상황을 타개하기 위해 왕위에 오른 후 구 란쌍 지역의 재통합 계획에 착수하였다.
아누웡
아누웡은 집권 초기에 시암의 지원을 받았으므로 친시암 정책을 펼쳤으나, 1819년 베트남과 동맹을 맺고 시암을 견제하는 외교전을 펼치게 되었다. 이후 아누웡이 외교적 수완을 발휘한 결과로 비엔티안 왕국은 참빠삭 왕국 지역을 재통합하는 데 성공하였다. 부웬 고원 지역에서 시암에 대항하는 반란이 일어나자, 비엔티안군은 시암군을 도와 이를 공동 진압하였고 이 대가로 시암은 아누웡의 아들을 참빠삭의 왕으로 임명했기 때문이다.
아누웡은 세력을 확장하고 꾸준히 군비를 확충하면서 때를 기다렸다. 마침 1824년부터 1826년까지 이어진 제1차 영국-버마 전쟁의 결과로 전통적인 버마의 따이족 지역으로의 진출로인 테나세림이 영국 통제 하로 편입되었고, 1826년 시암과 영국이 체결한 버니 조약(Burney Treaty, 시암-영국 우호통상조약)으로 시암이 이 지역에 활발하게 진출하고 있던 영국 세력에 비해 상대적 약세를 드러냈다. 아누웡은 이러한 당시 인도차이나 반도의 정세를 이용해 구 란쌍 지역의 완전한 자주 독립을 달성하려 하였고, 마침내 1826년 시암에 대항한 전면적인 전쟁에 돌입하였다.
오얀타 우말라
오얀타 모이세스 우말라 타소(Ollanta Moisés Humala Tasso, 문화어: 올랸따 모이쎄스 우말라 따쏘, 1962년 6월 26일 ~ )는 페루의 육군 장교 출신 정치가이다. 우말라는 2006년 페루 대통령 선거에 출마했는데 알란 가르시아 대통령에게 패배하였다. 2011년 페루 대통령 선거에 재출마하여 2011년 4월에 31%의 득표를 얻어 23%에 그친 케이코 후지모리를 누르고, 최종 투표에 진출하였다. 2011년 6월 5일 치러진 대통령 선거 최종투표에서 승리, 페루 대통령에 당선되었다.
오얀타 우말라 개요
1962년 6월 26일 원주민계 변호사이자, 〈페루공산당, 붉은 아버지의 땅〉의 당원인 이삭 우말라의 아들로 태어났다. 1982년, 페루군의 초리요스 사관학교(Escuela Militar de Chorrillos)에 입학하여, 군 경력을 시작했다. 페루의 무장 조직‘센데로 루미노소’진압 전투에 참여했다.
2000년 10월 알베르토 후지모리 정권 말기 부라디미로 몬테시노의 체포 및 기타 조건을 요구하면서 반후지모리의 입장에서 동료 병사와 함께 반란을 일으킨다. 처음에는 동조한 동료들이 40명이었다가 7명이 줄었는데, 동생 안타우로 우말라(Antauro Humala)의 요청으로 300명에 가까운 군인이 참가한다. 페루의 신문 ‘라 레푸블리카’(La República)는 반란에 대해 호의적인 기사를 썼다. 수백 명의 군인이 반란 진압을 시도했지만, 우말라는 체포되지 않았다.
오얀타 우말라 개요
11월 22일 후지모리 대통령에게 파면당했지만, 이후 페루 의회의 사면으로 페루 군에 복귀한다. 이후 프랑스 파리와 대한민국 서울에 주재 대사관 무관으로 부임한다. 서울에서 돌아온 직후 2005년 1월 1일, 동생 안타우로 등 150명의 전직 군인들이 지역 경찰서에 침입하여 경찰관을 인질로 잡고, 톨레도 대통령의 사임을 요구하는 행동을 취했으며, 형 오얀타 우말라도 지지 성명을 냈다. 1월 4일, 안타우로 등이 체포되어 사태는 진정되었다. 안타우로는 징역 25년형을 선고 받았다.
오얀타 우말라 개요
2005년 10월, 페루 국민당 결성에 참가했고, 오얀타 우말라는 2006년 페루 대선에 출마할 것을 선언한다. 유엔 사무총장이었던 하비에르 페레스 데 쿠에얄이 창당에 관여했던 '페루연합'(Unión por el Perú)의 지지를 받았지만 데 쿠에얄은 반대했다고 한다. 여론 조사에서도 점차 지지율이 높아졌다. 2006년 1월 3일 베네수엘라의 에보 모랄레스가 볼리비아 대통령 선거에서 승리한 기념 집회에 참석하고, 우고 차베스 대통령 스스로 페루 대통령 선거에서 우말라를 지지한다고 공언했고, 이 사건으로 다음날 페루 외무부가 강력히 항의하는 소동이 벌어졌다. 2006년 4월 9일 제1차 투표에서 30.62%의 표를 얻어 제1위에 올라 24.32%를 얻은 전 대통령인 알란 가르시아를 이긴다. 같은 해 6월 4일 치러진 최종 투표에서는 45.5%의 득표를 하여, 55.5%를 얻어 1위로 당선된 알란 가르시아에 패배했다. 그러나 이 선거를 통해 그가 보여주었던 정치력에 관심을 받게 된다.
2011년 대통령 선거에 재출마를 했다. 우말라의 주요 공약은 정치 부패 청산, 무상교육, 헌법 개정이었다. 4월 10일 제1차 투표에서는 31.714%의 표를 얻어, 1위를 확보했고, 2위인 게이코 후지모리는 23.356%를 득표했다. 전 대통령 알레한드로 톨레도는 15.625%로 4위를, 3위는 페드로 파블로 쿠친스키로 18.529%를 차지했다. 6월 5일에 치러진 결선 투표를 통해 근소한 차이로 당선됐다.
짐승의 숫자
짐승의 숫자( - 數字, 고대 그리스어: Ἀριθμὸς τοῦ θηρίου, Arithmós toû thēríou, 영어: number of the beast)는 기독교의 경전인 신약성경의 요한계시록에서 ‘짐승’을 언급할 때 나온 특정 개념이다.
짐승의 숫자 성경
짐승의 숫자는 요한묵시록 13장 17절~18절에 언급되어 있다. 공인본문(Textus Receptus) 본문은 다음과 같다.
και ινα μι αγορασαι η πωλησαι ει μη ο εχων το χαραγμα η το ονομα του θηριου η τον αριθμον του ονοματος αυτου. ωδε η σοφια εστιν ο εχων τον νουν ψηφισατω τον αριθμον του θηριου αριθμος γαρ ανθρωπου εστιν και ο αριθμος αυτου χξς.
노붐 테스타멘툼 그래체(Novum Testamentum Graece) 본문은 다음과 같다.