heegyu/kowiki-sentences huggingface dataset:
수리 논리학에서 증명 이론과 모형 이론은 각각 논리적 언어에 대한 통사론과 의미론과 같다고 할 수 있다.
모형이론은 특정 이론 속의 모든 논리적 문장을 만족시키는 구조를 다루는 분야로, 보통 1차 논리 등 논리체계에 대하여 진위 여부를 판단하는 의미론을 부여할 때 가장 일반적으로 모형 이론이 사용된다.
한편 모형 이론의 권위자 C. C. Chang 및 Keisler (1990)는 보편 대수학에 일반적인 구조의 개념을 추가한 것이 바로 모형 이론이라고 표현하였으며, 역시 권위자인 Wilfrid Hodges는 체를 다루지 않는 대수 기하학과 같다고 표현하였다.
이렇듯 모형 이론은 구조를 다루는 분야이기 때문에 그 연구 대상을 대수구조에 한정할 시 추상 대수학을 더욱 일반화하여 다룰 수 있게 된다.
20세기 초반부터 발표된 괴델의 완전성 정리, 뢰벤하임-스콜렘 정리, 콤팩트성 정리 등이 현대적 형태의 모델 이론의 출발을 알렸다.
이외에 모델 이론의 초기 선구자는 알프레트 타르스키로 그가 논리학의 의미론에서 논리체계에 진리 여부를 일괄적으로 부여하는 존재를 연구하면서 구조의 개념을 사용하였고 이에 모델 이론이 대두되었다고 볼 수 있다.
초기 모델 이론 연구자들은 대부분 그의 학생들이었다.
이후 모델 이론은 대수학을 추상화시키는 도구가 되었으며, 이외에도 수학의 다양한 분야에 영향을 주었다.
비표준 해석학은 모델론을 사용하여 실수의 1차 논리 이론의 비표준적인 모형인 초실수를 연구하는데, 이를 통해 실수에 대한 일부 정리를 간단하게 증명할 수 있다.
특히 현대에 이르러서는 고전 모델론으로부터 안정성 이론(stability theory)이 등장하여 수학의 다양한 분야에 접목되고 있다.
자유변수가 없는 논리식을 문장(sentence)이라 하고, 그것들의 어떠한 집합을 이론(theory)라 정의할 때, 어떠한 이론 내의 모든 문장을 만족시키는 논리적 구조(structure)를 이론의 모형(model)이라 한다.
이렇게 모형 이론은 1차 논리의 의미론을 이룬다.
보편 대수학(universal algebra)은 모형 이론의 특수한 경우로 볼 수 있는데, 그 언어가 (등식 이외의) 관계를 포함하지 않고, 모든 공리가 방정식적인 이론의 모형들을 다룬다.
모델론은 어떠한 논리적 구조를 다루는 분야이기 때문에, 그 연구대상이 대수 구조에 한정될 시 추상 대수학을 효과적이며 보편적으로 다룰 수 있게 되며, 그것이 보편 대수학(universal algebra)이다.
이는 대수 구조들의 클래스를 정의하기에 아주 적합한 방식으로, 준동형 사상을 일반화시킨 σ-준동형(σ-homomorphism)이라는 것도 정의될 수 있기 때문이다.
보편대수학에 있어서 중요한 도구로는 초곱(ultraproduct)이라는 개념이 있다.
유한 모형 이론(finite model theory)은 1차 논리 등 논리적 언어를 '유한한' 구조에 적용하는 것에 관하여 연구하는 이론으로, 형식 언어(구문론)와 그 해석(의미론) 간의 관계를 다룬다. 1차 논리가 무한한 구조에 관한 모형론의 표준적인 논리체계인 것과는 대비된다.
유한한 구조로는 유한군, 그래프, 컴퓨터적 모형 따위가 있을 수 있다.
모델론적 관점은 집합론에서 특히 상대적 무모순성을 증명할 때 유용하게 사용된다.
쿠르트 괴델은 선택 공리와 연속체 가설이 다른 체르멜로-프렝켈 집합론 내의 공리들과 모순되지 않음을 증명하기 위해 모델론적 방법을 이용하였는데, 그는 ZF에서 구성가능한 집합들을 모은 구성 가능 전체 formula_3를 구성하여, 이를 전체(universe)로 하는 모형 속에서 선택 공리와 일반화 연속체 가설이 성립함을 보였다.
뢰벤하임-스콜렘 정리로부터 도출되는 스콜렘 역설(Skolem's paradox)에 따르면, 무모순적인 공리적 집합론은 가산 모형을 갖는다.
이는 집합론 내에는 비가산 집합의 존재를 상정하는 진술들도 있는데 이들까지 가산 모형 내에서 참이 된다는 점에서 다소 비직관적으로 다가올 수 있다.
특히 폴 코언이 연속체 가설을 증명하는 과정에서는, 모델 내에서는 비가산으로 보이고 모델 바깥에서는 가산으로 보이는 집합의 개념이 사용되었다.
ZFC 및 관련 집합론의 상대적 무모순성에 관한 문제에 따른 현대 집합론의 가장 큰 의논은 구성 가능성 공리, 큰 기수 공리 등 새로운 공리들로 대표되며, 이러한 연구에 있어서 모형 이론은 핵심적이다.
백제의 건국 공신 10명 중 한 명이다.
30년(다루왕 3년)에 말갈군을 마수산 서쪽에서 물리쳐 다루왕으로부터 말 10필과 조 500석을 받고 총애를 받기 시작했으며, 34년 음력 4월 우보가 되고, 37년 음력 2월 좌보가 되어 조정의 중심에 섰다.
그는 48년(다루왕 21) 죽을 때까지 재직하였다.
1726년 6대 번주 마쓰마에 구니히로의 장남으로 태어났다.
1743년 아버지의 사후 뒤를 이어 번주가 되었다.
종5위하 와카사노카미(若狭守)에 임명되었다.
1765년 사망하였고, 장남 미치히로(道廣)가 가독을 물려받았다.
매직스트로베리사운드로 이적
올드레코드로 이적, 올드레코드 퇴사 후 개인활동 중
멤버들의 개인적 사정으로 해체했으나 현재 다시 활동중
2007년 보옴이 오면 발매 후 해체했으나 2012년 크리스마스 앨범을 발매하였다.
박경환이 설립한 레이블 Blue Boy로 이적, 현재는 유상봉의 탈퇴로 박경환 1인체제로 활동중
매직스트로베리사운드 설립
아폴로18에서 기타리스트로 활동, 현재는 밴드 '팎' 결성
매직스트로베리사운드로 이적, 현재는 미국에서 활동중
현재 음악활동 중단, 윤성훈은 모즈 다이브에서 기타리스트로, 정다영은 트램폴린의 베이시스트로 활동 중
뮤직커벨로 이적, 4집 발매 이후 스위트피 프로젝트를 중단한다고 선언
미스티 블루의 해체로 벨 에포크도 해체
클럽비단뱀에서 활동 중
리더인 고운의 군입대로 인한 해체
디 오션 뮤직으로 이적, 퇴사 이후 개인활동 중
멤버들의 탈퇴로 잠정적 활동 중단 상태
멤버들의 군입대로 현재 밴드 활동 휴식 중
1인 레이블 러블리벗뮤직 설립
2006년 라일락 앨범 낸 후 휴식기 거쳐 현재 피비뮤직으로 복귀, 디지털싱글 냄
계약 종료로 인한 퇴사, 레이블 준토스뮤직에서 매니지먼트
신나가타 역()은 일본 효고현 고베시 나가타구에 있는 철도역이다.
내측선에 2면 2선의 승강장을 가진 고가역이다.
고베 시 교통국(세이신·야마테 선 및 가이간 선).
세이신 선과 야마테 선, 가이간 선의 3개 노선이 접속하는 역이다.
다만 세이신 선과 야마테 선은 항상 직통 운전하기 때문에 안내 상으로는 "세이신·야마테 선"으로 일체화되어 있기 때문에 운행 계통 상으로는 2개 노선이다.
세이신·야마테 선과 가이간 선 간에 환승하는 경우 개찰구를 나오지 않고 연락 통로를 경우하는 방법과 개찰구를 나온 다음 다시 개찰하여 재입장하는 방법이 있다.
세이신·야마테 선 역의 개찰구 바깥에 고베 시 교통국의 정기권 판매기가 설치되어 있다.
역의 상징은 비둘기이다.
세이신 선과 야마테 선의 분기역이지만 운전 상으로는 직통 운전이 이루어지고 있기 때문에 엄밀히는 중간역이다.
비상시에는 이 역에서 회차하는 운전이 가능하도록 회차선이 설치되어 있다.
최근의 예로 1995년의 한신·아와지 대지진 직후에 복구 시까지 활용된 바가 있다.
지하 1층에 대합실, 개찰구가 있으며, 지하 2층에 승강장이 있는 지하역이다.
지하 2층의 승강장은 섬식 승강장으로 1면 2선이다.
지하 2층의 승강장 서쪽 끝에는 가이간 선으로의 환승 통로가 있다.
운전 관계 상 열차가 출발할 시 발차 예고 부저가 울린다.
지하 1층에 대합실, 개찰구가 있으며 지하 2층에 승강장이 있는 지하역이다.
지하 2층의 승강장은 섬식 1면 2선이다.
지하 1층의 개찰구에 세이신·야마테 선과의 연락통로가 있다.
JR서일본에 따르면 2015년도의 1일 평균 승차 인원은 21,851명이며 JR서일본 역에서 48위이다.
1일 승차 인원은 아래 표에 명시되어 있다.
"고베 시 통계서" 및 "효고 현 통계서"에 따르면 연간 승차 인원은 다음과 같다.
모두 고베 시 교통국에 의하여 운행되고 있다.
1701년 그는 오스트리아의 대공이자 신성 로마 황제 레오폴트 1세로부터 호의를 얻음으로써 공국을 왕족으로 승진시켜 프로이센의 초대 국왕이 되었다.
그는 오라녜나사우가로 자신의 모성애 덕분에 자신의 영토와 함께 뇌샤텔의 공국을 포함하였다.
군림의 25년 중 22년은 다양한 전쟁들에 싸우는 것에 보내졌고 아직 그는 사니이 돈을 위하여 다른 통치자들을 위하여 대부분 싸우고 있었으므로 스웨덴으로부터 더 많은 영토들을 점령하는 데 대북방 전쟁을 이용할 수 없었다.
그의 어떤 부가 왕실을 유지하는 데 사용되었던 동안 프랑스의 루이 14세의 모델을 따서 만든 그의 국고는 자신의 부패하고 무능한 고문들에 의하여 고갈되었다.
프리드리히 1세는 브란덴부르크의 프리드리히 빌헬름와 그의 첫 부인 루이제 헨리에테 판 오라녜나사우의 3번째 자식으로서 동프로이센 쾨니히스베르크에서 태어났다.
그는 그 중에 3명이 유아로서 사망했던 6명의 친형제들이 있었고, 슐레스비히-홀슈타인-존더부르크-글뤽스부르크의 도로테아 공주에게 부친의 두번째 결혼 생활로부터 7명 더의 의붓 형제들이 있었다.
그는 그가 자신의 의붓어미에 의하여 중독되었다는 소문 속에 1674년 19세의 나이에 브란덴부르크의 선거왕인 자신의 형 카를의 사망에 이어 자신의 부친의 상속인이 되었다.
도로테아가 프리드리히 빌헬름을 자신의 첫 결혼 생활로부터 그의 아이들을 우회하고, 그의 대지의 외곽 부분을 그녀의 4명의 아들에게 유증하도록 설득시키는 데 시도하였고, 그의 동생 루트비히도 또한 1687년에 사망하였다.
자신의 생명을 두려워 한 프리드리히는 자신의 형의 사망에 이어 그의 보호자 역할을 맡은 그의 가정 교사이자 친구인 에베르하르트 폰 당켈만에 의하여 동행되어 브란덴부르크를 떠났다.
1688년 4월 그의 사망 전에 그의 부친은 당켈만에 의하여 설계된 계획에 의하여 무효화된 프리드리히와 그의 이복 형제들 사이에 그의 영토들을 나누기로 했다.
프리드리히 1세는 자신의 즉위 후 슈비부스를 슐레지엔으로 회복을 약속하면서 신성 로마 황제 레오폴트의 지지를 얻었다.
1688년 5월 브란덴부르크의 선제후 프리드리히 3세와 프로이센의 공작이 되어 거액의 돈을 대가로 그의 이복 형제들의 주장을 포기하도록 설득함으로써 부친의 영토들을 연합하였다.
프리드리히는 1689년 그의 사촌 오라녜의 빌럼이 잉글랜드, 아일랜드와 스코틀랜드의 국왕으로 후자가 왕위에 즉위한 것에 결과를 가져온 그가 명예혁명 동안 잉글랜드를 침입했을 때 그를 도왔다.
그는 때문에 자신의 손자 프리드리히 "대왕" 2세에 의하여 "용병왕"으로 불릴 또한 자신의 동맹, 특히 황제에 의하여 이용되는 데 자신의 군대를 허용하여 또한 큰 이익을 얻었다.
그는 개인적으로 프랑스의 루이 14세에 대항하는 대동맹 (아우크스부르크 동맹)의 일부로서 네덜란드 공화국과 함께 군대에 가입했을 때 9년 전쟁이 일어난 동안 1689년 본의 포위 공격에 개인적으로 존재하였다. 하지만 그는 레오폴트 1세와 거래를 끝내 1694년까지 슈비부스를 의지하였다.
지위와 명예를 위하여 열망한 프리드리히는 이전적으로 선제후의 독점적인 지위가 1692년까지 3명의 세속 왕자들을 포함하여 9명의 일원들에 의하여 나누어졌던 사실에 의하여 만족스럽지 않았다.
그는 더욱 나가서 작센의 선제후 아우구스트 2세가 폴란드의 국왕이 되고, 브라운슈바이크뤼네부르크 선제후국의 에르네스트 아우구스투스가 영국 왕위 계승을 확보하면서 권력의 상실을 두려워했다.
9년 전쟁에서 공헌들에 불구하고 유럽의 왕실들이 브란덴부르크-프로이센을 무시했을 때 그의 두려움은 레이스베이크 조약 (1697년)에 진실로 왔다.
1693년 빈에 있는 합스부르크 궁정에서 그가 자신의 지위를 승진시키는 데 헛된 시도 마저 하였어도 프로이센 공국을 왕국으로 승진시킨 것이 이 점에 주요 일정이 되었다.
자신의 부친과 달리 그는 시초적으로 자신의 수상 (1692년 ~ 1697년)으로 지냈던 에베르하르트 폰 당켈만에 의하여 다루어졌던 그의 영토들의 통치를 여기는 임명된 공무원들에 더욱 의지하였다.
당켈만은 정부를 중앙화하고 새로운 선제후의 통치 아래 새로운 영토들을 가져오면서 프리드리히의 부친 브란덴부르크-프로이센의 대선제후의 정책들을 크게 지속적으로 했다.
그의 두번째 부인 조피 샤를로테를 포함하여 프리드리히의 궁정에서 많은이들은 당켈만이 보유했던 권력을 원망했으나 그는 무거운 비용을 두려워 한 자신의 왕실의 야망들을 반대한 후 선제후의 분노를 샀다.
그는 1697년 후순에 부정부패 혐의로 체포되어 투옥되었고, 아첨을 통하여 프리드리히의 호의들을 얻은 부패한 공무원들 요한 바르텐베르크, 아우구스투스 비트겐슈타인과 알렉산더 바르텐슬레벤에 의하여 대체되었다.
1699년 스페인 왕위 계승 전쟁이 불가피해 보이면서 프리드리히는 군사 지원에 의한 대가로 황제에 의하여 국왕으로서 인정되는 데 협상들을 새로 하였다.
레오폴트와 보헤미아의 국왕 만이 신성 로마 제국 안에서 국왕들로 인정될 수 있었던 동안 프리드리히는 제국의 외부에서 자신이 또한 프로이센 공국을 다스렸다는 사실의 장점을 택하였다.
1700년 11월 16일 프리드리히가 "프로이센의 국왕" 대신 "프로이센에서 국왕"으로 자신을 부르는 데 허용했던 것을 통하여 왕실 조약이 맺어졌다.
쾨니히스베르크에 돌아는 그는 1701년 1월 17일 왕실의 국장 "프로이센 검은 독수리"와 표어 "suurr cuique"를 봉납하였다.
그리고 다음날 그는 쾨니히스베르크 성에서 바로크 의식에서 자신과 부인 조피 샤를로테에게 스스로 왕관을 씌었다.
이어진 세월에 황제의 브란덴부르크에 권위가 점차적으로 감소하면서 그는 자신을 프로이센의 프리드리히 1세로서 모델로 삼고 자신의 군대를 "프로이센 왕실군"으로 불렀다.
그는 자신이 베를리너 돔에 안치되어 자신의 아들 프리드리히 빌헬름 1세에 의하여 계승되었던 1713년 자신의 사망까지 다스렸다.
프리드리히 1세의 첫 결혼 생활은 4년 후에 사망하여 1680년에 태어난 루이제 도로테아로 불린 딸을 남긴 헤센-카셀의 엘리자베트 헨리에테에게였다.
그는 다음 2명의 아들 (그중 1명은 유아로서 사망)을 낳은 잉글랜드의 국왕 조지 1세의 누이 조피 샤를로테에게 결혼하였다.
자신의 교양이 있는 두번째 부인 조피 샤를로테와 더불어 그는 프랑스의 루이 14세에 의하여 건설된 베르사유 궁전을 본떠 베를린 궁정을 지었고 언어와 예의 둘다에서 프랑스 국왕을 모방하였다.
자신의 새로운 왕국을 위하여 베를린을 어울리는 수도로 만드는 데 그는 호헨촐레른 궁전을 넓힌 대규모 무기고를 건설하였고, 예술가와 지적인들이 환영을 받은 바로크 도시로서 그것을 아름답게 했다.
1694년 그는 할레 대학을 설립하고, 베를린 예술 아카데미 (1696년)와 국립 과학 아카데미 (1700년)을 창립하였다.
그는 박식가 고트프리트 빌헬름 라이프니츠를 프로이센 과학 아카데미의 학장, 그리고 야코프 파울 폰 군들링을 베를린 기사 학교에서 역사학과 법학의 교수로 임명하였다.
1705년 자신의 두번째 무인의 사망 후에 그는 1708년 세번째 부인 메클렌부르크-슈베린의 조피 루이제에게 결혼했으나 그녀와 함께 아무 자녀를 두지 않았다.
그는 또한 자신의 궁정에서 공식 여주인 카타리나 폰 바르텐베르크를 가두어 루이 14세의 스타일을 따랐으나 보기에 그녀와 육체적 관계를 가지지 않았다.
1713년 2월 25일 베를린에서 사망하였다.
자신이 베를린에서 "구부러진 프리츠"로 알려지게 되었기 때문에 프리드리히 1세는 어린 시절의 사고에 이어 꼬인 발목과 굽은 등으로 남겨졌다.
많은 그의 의사와 협잡꾼들은 그의 기형을 교정하기 위해 헛되이 시도하였다.
다이묘()는 10세기에서 19세기에 걸쳐 일본 각 지방의 영토를 다스리며 권력을 누렸던 영주를 말한다.
무로마치 시대부터 전국 시대를 거쳐 에도 막부 시대까지 다양한 계급의 변천사가 있었으나, 대체적으로 쇼군 바로 아래의 높은 지위를 가지고 있었다.
다이묘들은 사무라이들을 고용하여 자신들의 영지를 지키도록 하곤 하였다.
에도 시대에는 주로 1만 석 이상의 영지를 막부로부터 부여받은 무사를 지칭하였다.
다이묘 중에서 100만 석 이상의 거대 다이묘들은 따로 분류되었다.
이 거대 다이묘는 정말 손에 꼽을 정도로 그 수가 적어서 도쿠가와 이에야스, 도요토미 히데요시, 모리 데루모토, 우에스기 가게카쓰, 다테 마사무네 등의 다이묘밖에 없었다.
다테 마사무네는 백만석을 넘지 못했다.
마에다 토시이에가 백만석을 넘겼다.
다이묘들의 통치는 1871년 메이지 유신을 통해 근대적인 현도부 제도가 완성되면서 소멸되었다.
슈고 다이묘(守護大名)는 "다이묘"라는 명칭을 가장 먼저 얻은 첫 번째 집단이었다.
그들은 무로마치 시대의 슈고 중 일부에서 출현했다.
슈고 다이묘들은 군사와 치안권 뿐만 아니라, 지방 내의 경제권을 관리했으며, 그들은 이 힘들을 무로마치 시대의 처음 몇 십여 년 동안 축적했다.
주요 슈고 다이묘는 야마나 씨의 도자마 가문, 오우치 씨, 아카마스 씨 뿐만 아니라, 시바 씨, 하타케야마 씨, 호소카와 씨로부터 나타났다.
이 중 가장 강력한 세력이 다수의 지방들을 지배했다.
아시카가 막부는 슈고 다이묘들에게 교토에 거주하도록 요구했고, 그들이 자신들의 고향 지방을 대표하도록 하기 위해 "슈고다이"라 불리는 친족들 또는 상인들을 지명했다.
결국 이들 중 몇 몇은 차례로 교토에 살게 되었으며 대리인들을 지방에 임명하게 된다.
오닌의 난은 슈고 다이묘들이 서로 싸웠던 주요 봉기였다.
이것과 그 당시의 다른 전쟁들 동안, "구니 잇키"나 지방 봉기들이 슈고 다이묘로부터 독립을 추구했던 지역의 강력한 무사들로부터 일어났다.
지방에 거주하는 슈고 다이묘의 대리인들은 그들의 입지를 강화할 기회를 장악했다.
15세기 말에, 그 성공한 슈고 다이묘들은 권력을 갖게 되었다.
대리인들을 통제하는 데 실패한 다이묘들은 권력으로부터 몰락했으며 새로운 계층, 슈고다이와 고쿠진의 계급에서부터 발생한 "센고쿠 다이묘"에 의해 교체되었다.
센고쿠 다이묘(戦国大名) 중 일부는 대다수 사타케 씨, 이마가와 씨, 다케다 씨, 도키 씨, 롯카쿠 씨, 오우치 씨, 시마즈 씨와 같은 슈고 다이묘들이었다.
새로이 다이묘가 된 가문으로는 아사쿠라 씨, 아마고 씨, 나가오 씨, 미요시 씨, 조소카베 씨, 진보 씨, 하타노 씨, 오다 씨, 마쓰나가 씨가 있었다.
이들은 슈고다이 계급과 대리인으로부터 출현했다.
또한 모리 씨 (오에 씨), 다무라 씨, 류조지 씨와 같은 추가 다이묘들은 고쿠진에서 나타났다.
막부의 하급 관료들, 로닌(고호조 씨, 사이토 씨), 지방 관료들(기타바타케 씨), 구게(도사 이치조 씨)도 센고쿠 다이묘들이 탄생하는 데에 기여했다.
에도 시대에는 세키가하라 전투 전후 시기를 기준으로 하여 세 부류로 다이묘들을 구분하고 있다.
'도해 전국무장'이라는 서적에 의하면 다이묘는 보통 오후 4시에 취침해서 자정 ~ 새벽 2시 사이에 기상했다.
그 이유는 적의 야습에 대비하기 위해서 이렇게 극단적으로 일찍 자고 일찍 일어났다.
물론 기상한 직후부터 새벽 4시 까지는 예불을 드렸는데 고니시 유키나가처럼 가톨릭 신도 다이묘일 경우는 예불 대신 미사를 드렸다.
그 이후부터 해가 뜰때까지는 음악 활동을 제외한 개인 취미생활을 조금 하다가 아침 8시에 아침식사를 했다.
그리고 오후 2시에 점심 겸 저녁 식사를 했다.
일과가 있는 날의 경우 아침을 도시락을 지참해서 먹어야 했기 때문에 다이묘들에게는 전속 요리사가 휘하에 있었다.
1869년, 메이지 유신 이듬해, 다이묘들은 구게와 함께 화족이라는 새로운 귀족 계급을 형성했다.
1871년, 번이 폐지됐고 현이 설립되었다.
효과적으로 일본에서의 다이묘 시대를 끝낸 것이었다.
이 변화에 뒤이어, 많은 다이묘들이 현 지사에 임명되면서 영지의 통제에 놓였다.
그러나, 그들은 곧 직무에서 해임되었고 집단으로 도쿄에 소환됐다.
그럼으로써 잠재적인 반란을 만들 권력의 독립적인 기반을 끊어버린 것이었다.
이것에도 불구하고, 이전 다이묘 가문들의 구성원들은 정부와 사회에 저명한 인사로 남았고, 몇몇 경우엔 오늘날까지 계속해서 저명하게 남아 있다(예를 들면, 전 총리 호소카와 모리히로는 구마모토 지역 다이묘의 자손이다. 하지만 이런 일은 매우 드문 경우다).
마쓰마에군()은 일본 홋카이도 오시마 지청 서남부에 위치한 군이다.
1869년, 홋카이도 11국 86군이 두어졌을 때에는 오시마 국와 함께 쓰가루 군(현재의 마쓰마에 정의 구역)과 후쿠시마 군(현재의 후쿠시마 정과 시리우치 정의 구역)이 이곳에 두어져 있었다.
1871년부터 이듬해에 걸쳐 히로사키 현·아오모리 현의 관할하에 놓여진 적도 있었다.
1881년에 시리우치 촌, 고타시니 촌(후쿠시마 촌에서 분촌)이 후쿠시마 군에서 가미이소 군으로 소속이 변경이 되었고, 나머지 후쿠시마 군과 쓰가루 군을 합쳐 마쓰마에 군이 탄생했다.
1882년 2월 8일에는 폐사치현에 따라 하코다테 현의 소관이 되었다.
1897년에 지청제가 붕괴되면서 1군으로 마쓰마에 지청을 이루었지만 1903년에 하코다테 지청(후의 오시마 지청)에 편입되었다.
마쓰마에 정()은 일본 홋카이도 오시마 종합진흥국 마쓰마에 군에 소속된, 오시마 반도 남서부에 위치한 정이다.
일찍이 마쓰마에 번의 거점이 있던 곳으로 홋카이도에서 유일한 조카마치이다.
홋카이도의 최남단에 위치하고 쓰시마 해류의 영향을 받기 때문에 홋카이도에서는 제일 온난하다.
쾨펜의 기후 구분으로는 혼슈와 같은 온난 습윤 기후(Cfa)로 분류된다.
겨울에는 북서쪽에서 바람이 강하지만 눈은 그만큼 많지는 않다.
여름에도 심하게 더워지는 일은 없고 여름의 최고기온의 평년치는 삿포로보다 낮다.
홋카이도 여객철도 마쓰마에 선이 있었으나 1988년 2월 1일에 폐선되었다.
토마시 로시츠키(, 1980년 10월 4일, 체코슬로바키아 프라하 ~ )는 체코의 전 축구 선수이며, 포지션은 미드필더다.
아르센 벵거 감독은 그를 좋은 시야와 퍼스트 터치를 가진 선수라고 평했다.
그는 유스 시절부터 "축구계의 모차르트" 라고 불린 유능한 축구 선수로, 18세에 체코의 명문 스파르타 프라하의 주전 자리를 차지하였다.
두 번의 체코 감브리누스 리가 우승과 챔피언스리그에서의 활약을 통해 인테르나치오날레, 라치오, 바이에른 뮌헨, 아스널 등의 빅 클럽들로부터 오퍼가 오는 가운데, 2000-01 시즌 도중에 당시 분데스리가 사상 최고 금액인 2500만 마르크의 이적료로 보루시아 도르트문트로 이적하였다.
2001-02 시즌에는 팀의 중심 선수로서 팀의 우승과 의 획득에 공헌하였다.
팀의 재정난으로 인해 항상 이적 얘기가 끊이지 않았지만, 2006-07 시즌을 앞두고 아스널로 이적하였다.
체코 축구 국가대표팀에선 파벨 네드베트의 대표 은퇴로 인해 사상 최연소 주장으로 지명되었다
대표팀에선 2000년 2월 23일 아일랜드와의 경기에서 A 대표팀 데뷔전을 치렀고, 같은 해에 개최된 유로 2000에도 출장하였다.
유로 2004에선 등번호 10번을 짊어지고 준결승까지 진출한 체코 대표팀이 치른 5경기 중 4경기에 출장하였다.
2006년 FIFA 월드컵에서는 3경기에 출장해 조별 리그 통과에는 실패했지만, 미국과의 첫 경기에서 2골을 성공시키면서 경기 최우수 선수에 선정됐었다.
유로 2008에서도 팀의 중심으로서 활약이 기대됐지만, 시즌 중에 입은 무릎의 상처가 완치되지 않아 선수 명단에서 제외되었다.
2001년, 토마시 로시츠키는 스파르타 프라하에서 보루시아 도르트문트로 분데스리가 최고 이적료를 경신하며 1450만 유로에 이적하였다.
로시츠키의 위상은 도르트문트에서 선수생활 하며 더욱 높아졌고, 도르트문트에서의 경력 막바지에는 클럽이 막대한 경영적 어려움을 겪으면서 팀에서의 그의 중요성을 알지만 팔지 않을 수 없는 상황에 놓였다.
이러한 상황속에서 그는 레알 마드리드, 아틀레티코 마드리드, 토트넘 홋스퍼, 첼시, 아스널과 같은 클럽들과 계속 연결되었다.
로시츠키는 2005-06시즌을 마치고 클럽을 떠나는 것을 도르트문트가 허가해주기를 바랐고, 스티븐 피나르가 로시츠키의 대체자로 영입되며 아스널로 이적이 성사되었다.
로시츠키는 도르트문트에서 활동할 당시 그의 피치에서의 플레이가 오케스트라를 지휘하는 듯하다고 하여 "그라운드 위의 모짜르트"라는 별명을 얻었다.
2006년 5월 23일, 아스널은 그들이 로시츠키와 장기계약을 체결했다는 것을 공식적으로 발표하였다.
로시츠키는 로베르 피레스에 이어 7번의 등번호를 배정받았다.
그는 2006년 8월 9일, 디나모 자그레브와의 챔피언스 리그 원정경기로 데뷔전을 치렀고, 2006년 9월 13일, 2-1로 승리한 함부르크 SV와의 챔피언스 리그 원정경기에서 두 번째 골을 성공시키며 아스널에서의 데뷔골을 넣었다.
또 그는 2007년 2월 11일에 열린 위건과의 경기에서 결승골을 넣어 팀의 2-1승리를 견인하며 그의 첫 번째 프리미어리그 골을 기록하였다.
2006-07 시즌동안 총 37경기를 출전하여 6골 4도움을 기록하는 등 준수한 활약을 하며 시즌을 마쳤다.
2007년 8월 29일, 그의 고향팀인 스파르타 프라하와의 챔피언스리그 그룹예선 경기에서 골을 넣었고, 9월 2일에는 3-1로 이긴 포츠머스와의 경기에서 이번 시즌 프리미어리그 첫 골을 기록하였다.
이어서 그는 10월 2일의 볼튼과의 경기에서 시오 월콧과 합작하여 골을 만들어 냈고, 위건, 미들즈브러, 에버튼, 풀럼전에서도 득점을 기록하며 팀의 상승세에 기여하였다.
그러나 1월에 뉴캐슬과의 FA컵 경기에서 부상을 입은 이후로 시즌아웃을 당했다.
햄스트링 부상으로 2008-09 시즌에 한 경기도 출전하지 못했지만, 마침내 2009년 5월, 18개월만에 정식 훈련에 복귀하며 그의 복귀를 시사하였다.
그는 프리시즌 경기를 소화하며 복귀를 기다리던 중, 8월 초에 다시금 경미한 부상을 입었고, 그의 정식 복귀는 6주가 더 미루어졌다.
2009년 9월 12일, 맨체스터 시티에 4-2로 패한 경기에 교체 선수로 출전하여 첫 번째 골을 돕고, 두 번째 골을 넣으며 복귀하였다.
2010년 1월 4일 팀과 2년 반 계약기간의 새 계약을 맺으며 " 이 팀에 온 지 4년이 됐는데 정말 집처럼 편안합니다.
저는 이 팀에서 팀원들과 함께 무언가를 이뤄낼 수 있을 것이라고 믿습니다"라 밝혔다.
아르센 벵거는 새 계약을 맺으면서 "저는 지금까지 로시츠키의 클래스와 헌신에 대해 여러차례 칭찬했습니다
만 경기장 위에서 뿐만이 아니라 밖에서도 매우 좋은 모습을 보여줍니다.
그래서 저는 이 새로운 계약에 대해 정말 기쁩니다"라고 밝혔다.
에버튼 FC와의 홈 경기에서 93분 결정적인 동점골을 기록했으며 볼턴 원더러스와의 경기에서 시즌 3번째 골을 기록했다.
1:0으로 승리한 2010년 2월 10일 리버풀FC와의 홈경기에서는 결승골이 된 아부 디아비의 골에 크로스로 어시스트를 기록했다.
챔피언스리그 FC 포르투를 상대로 한 경기에서 역시 어시스트를 기록했다.
이 경기 코너킥을 헤딩해 솔 캠벨에 전달해 도움을 기록했다.
결국 아스날은 총합 6:2 승리로 진출했다.
시즌 개막전인 8월 15일 프리미어 리그 리버풀 원정경기에서 교체출전한다.
이 날 경기에서 로랑 코시엘니의 퇴장으로 열세에 몰렸던 아스날은 로시츠키의 활약과 레이나의 실수가 겹쳐 1-1 무승부를 거뒀다.
89분, 마루안 샤막에게 크로스를 연결해 이 튕긴 공을 레이나 골키퍼가 제대로 잡지 못하고 그대로 골대에 넣어버렸다.
8월 21일에는 2010년 4월 블랙풀 전 이후 처음으로 선발출전하며 6-0 승리에 공헌한다. 8월 28일에는 블랙번과의 원정경기에서 68분 세스크 파브레가스 대신 교체투입된다.
11월 10일 울버햄튼 원정경기에서 90분 풀타임 출전하며 팀의 2-0 승리를 이끈다. 2011년 2월 20일 레이튼 오리엔트와의 FA컵 경기에서 53분 헤딩으로 시즌 첫 골을 터트린다.
이 골은 13개월만에 아스날에서 넣은 골이였다.
2월 27일 웸블리 스타디움에서 펼쳐진 버밍엄 시티와의 칼링컵 결승에 부상이였던 세스크 파브레가스 대신 풀타임을 소화하나 팀은 2-1로 패한다.
이 경기에서 주장 완장을 차고있던 로빈 판 페르시가 부상으로 니클라스 벤트너와 교체되어 나가자 주장 완장을 맡기도 했다.
3월 12일 패배한 FA컵 4강전 라이벌 맨체스터 유나이티드와의 올드 트래퍼드 원정 경기에서 72분에 안드레이 아르샤빈과 교체투입된다.
이 경기를 마지막으로 사소한 부상에 시달리며 더 이상의 경기 출전은 없었다.
이 시즌동안 로시츠키는 총 34번 출전하였으며 1골을 넣어 아스날이 4위로 시즌을 끝마치는 데에 공헌했다.
2011년 10월 16일 선덜랜드 AFC와의 리그 경기에서 선발출전하며 경기 시작 28초만에 터진 로빈 판 페르시의 첫 골을 만들어 냈다.
2:1로 경기가 마무리되었는데 이 경기에서 좋은 모습을 보이며 찬사를 받았다.
2012년 2월 좋은 모습을 보이며 부상에 시달리기 이전 폼을 다시 연상시켰다.
2월 26일 토트넘 핫스퍼전에서 50분 골을 터트렸다.
이는 아스널 FC에서 2년 만에 터진 리그골이였으며 아스날의 5:2 역전승을 이끌어내는 결정적인 골이였다.
경기가 끝난 후 아스널 FC 공식 홈페이지에서 팬들이 선정한 오늘의 선수에 뽑혔다.
AC 밀란 원정에서 당한 4:0 참담한 패배에서 왼쪽 미드필더로 뛰었으나 팀의 패배를 막지 못했다.
안필드에서 열린 리버풀 FC와의 경기에서도 팀의 두 번째 골을 터트리며 2:1 승리에 한 몫을 했다.
홈에서 다시 만난 AC 밀란전에서 공격형 미드필더로 출전해 3:0 승리를 만드며 대활약해 UEFA 선정 MVP를 받았다.
몇몇 사람들은 아스널 FC의 반격이 로시츠키의 긍정적인 경기력에서 비롯된다고 말했다.
아르센 벵거 감독이 경기 이후 말하기를 "오늘 밤 로시츠키는 다시 놀라운 활약을 펼쳤다.
요즘의 게임에서 그는 가장 영향있는 선수였으며 기대를 저버리지 않았다.
따라서 나는 로시츠키에게 그 기대를 충족시킬 기회를 더 줄 것이다." 라고 밝혔다.
3월 12일 뉴캐슬 유나이티드에게 2:1로 승리한 경기에서 결정적인 역할을 하기 전 새로운 계약을 맺었다.
로시츠키의 귀환은 아스널 FC 팬들도 알아주어서 공식 홈페이지에서 투표로 선정한 올해의 선수 3위에 선정되었다.
유로 2012에서의 부상 이후 2012년 12월 1일 스완지 시티 AFC에 2:0으로 패배한 경기에서 79분 잭 윌셔와 교체투입되며 복귀전을 치른다. 3일 뒤에 챔피언스리그 올림피아코스, 그리스 원정경기에서 첫 경기를 치렀다.
경기는 2:1 패배로 끝나 샬케 04에 이어 2위로 16강에 진출했다.
리그컵 4부리그 팀인 브래드포드 시티에 1:1로 승부차기 끝에 패배한 경기에서도 출전했다.
이 경기에서 승리해 올라간 브렌트퍼드 FC는 2013년 1월 현재 결승전까지 진출했다.
그는 잉글랜드 프리미어리그에서 막판에 엄청난 활약을 펼치며 팀의 챔피언스리그 진출에 크게 기여했다.
특히 그는 잉글랜드 프리미어리그 33R 웨스트 브로미치 앨비언과의 경기에서 2골을 터트리며 건재함을 과시했다.
자주 부상을 당해 시즌초에 활약을 하지못하던 다른 시즌에 비해 2013-14 시즌에는 첫 경기부터 출장을 하였다.
또한 잉글랜드 프리미어리그 3R 토튼햄 홋스퍼와의 북런던 더비에 선발출장을 하며 활약을 하였다.
2000년 21세의 나이로 아일랜드를 상대로 성인 국가대표팀 데뷔전을 가졌다.
2006년 FIFA 월드컵 예선 조별 리그에서 몇 골을 넣었으며 밀란 바로스나 얀 콜러에게 좋은 패스를 찔러 주며 도움을 기록해 좋은 활약을 펼쳤다.
노르웨이와의 플레이오프에서도 결승골을 기록하며 월드컵 본선 진출에 크게 기여했다.
2006 독일 월드컵에 들어가서는 팀 첫 경기인 2006년 6월 12일 미국전에서 2골을 넣으며 팀의 3:0 승리에 기여했다.
이 경기에서 32M 밖에서 넣은 중거리 골은 이 대회 최고의 골 중 하나로 선정되었다.
그러나 체코 축구 국가대표팀은 2명의 주전 공격수 얀 콜러와 밀란 바로스가 모두 부상을 당해 이를 극복해 내지 못하고 결국 조별 리그 탈락의 쓴잔을 마셨다.
2006-07 시즌이 시작하기 전, UEFA 유로 2008 예선전을 준비하며 은퇴한 파벨 네드베드의 뒤를 이어 체코 축구 국가대표팀 주장에 선정됐다.
그러나 UEFA 유로 2008에서는 부상으로 인해 뛰지 못했으며 2009년 9월 9일 월드컵 예선, 산 마리노전에서야 국가대표팀에 복귀했다.
2011년 2월 9일, 크로아티아와의 친선경기에서 선발 출전해 골을 넣으나 팀의 4:2 패배는 막지 못했다.
8월 10일 노르웨이 오슬로에서 열린 경기에서 68분 간 선발 출전해 팀은 3:0 승리를 거두었다.
UEFA 유로 2012 체코 대표팀에서도 주장을 맡아 출전했으나, 그리스에 2:1로 승리한 경기 이후 아킬레스 건 부상으로 8강전 포르투갈에게 당한 1:0 패배를 벤치에서 바라볼 수 밖에 없었다.
로열 나이츠는 디지털 몬스터에 등장하는 가공의 단체이다.
디지털 몬스터 시리즈에는 디지몬들이 네트워크에 퍼져있는 데이터를 토대로 독자적인 사회를 형성했다는 설정이 있다.
네트워크에 퍼진 데이터, 즉 인간세상의 신화・전설 속에 존재하는 단체를 모티브로한 단체가 디지털 월드에 다수 존재하는데, 로열 나이츠 또한 그러한 그룹 중 하나로 원탁의 기사를 모티브로 삼고 있다.
단, 각각의 멤버가 가웨인이나 란슬롯과 같은 특정인물을 모티브로 하지는 않았으며, 기본적으로 디지털 몬스터 시리즈의 독자적인 슈퍼 히어로 팀으로 생각하면 된다.
처음에 이 기사단의 존재와 소속이 발표된 것은『디지몬 테이머즈 (2001년)』에 등장한 듀크몬이 시초였다.
그 후로, '디지몬 어드벤쳐'의 TV스페셜『우리들의 워게임』에 등장했던 오메가몬,『디지몬 어드벤처02』에 등장했던 매그너몬 등이 구성원에 추가되었다.
이후로, 매년 1개체 정도의 페이스로 순차적으로 발표되었으며, 2014년 8월 현재까지 13개체중 13개체 모두가 발표된 상태이다.
작품 속에서 강하기도 강하지만, 팬들한테 인기가 많아서 펜들럼X나 디지몬 엑셀 등 애니메이션과 독립하여 전개되는 상품군에서는 기사단에 소속된 멤버가 높은 빈도로 등장한다.
네트워크 세큐리티의 정점, 혹은 수호신이라 불리는 13명의 성기사형 디지몬들을 지칭한다.
예언서 속에 등장하는 존재로 디지털 월드에 중대한 위기가 닥쳤을 때에 예언에 이끌려 모일 것이라 적고 있다.
절대적인「선」이 아니라, 각자 스스로가 믿는「정의」에 따라서 행동하기 때문에 때때로 내분도 있다.
평상시에 실질적으로 조직적인 활동을 하고 있는 것은 아니지만, 네임벨류가 크기 때문에 일원이라고 사칭하는 디지몬도 있을 정도.
로열 나이츠 전원을 포함해“공백의 자리”의 주인이라 불리는 알파몬(비공식)까지 12체가 존재한다고 밝혀져 있다.
멤버의 공통점은 타입이 성기사형이라는 것이며(그렇다고 성기사형이라고 전부 로열 나이츠인것은 아니다), 네트워크를 수호하기 위한 존재임에도 바이러스종 디지몬이 2체나 포함되어 있다.
상정된 "적"이 디지몬 이외의 존재이기 때문인지, 아니면 단순히 여러 상황에 대응하기 위해 배려한 것인지는 불명확하다.
기본적으로 인간형이지만, 슬레이프몬, 엑자몬과 같은 예외도 있다.
위에 서술한대로 설정상 로열 나이츠인 디지몬이라도 작품 속에서 반드시 로열 나이츠인 것은 아니다.
당초에 애니메이션 주연급이었던 디지몬이 구성원에 포함되는 관계상,「정의의 사자」로서 등장하는 일도 많았지만 요즘 들어서는 특히 '로열 나이츠'로 등장하는 경우 악역이 되는 경우가 많다 (사실『디지몬 프론티어』, 『디지몬 크로니클』, 『DIGITAL MONSTER X-evolution』, 『디지몬 세이버즈』등, 애니메이션・만화작품에서 일방적인 악이라고는 하기 힘들지만, 알파몬을 제외하고는 전부 적이다).
종반에 로드 나이트몬, 듀나스몬이 등장한다.
루체몬에게 리얼월드로 가는 키를 받는 대가로 디지털 월드의 모든 대지의 디지코드를 빼앗아간다.
그외에도 다른 멤버가 있다는 듯한 대사를 하지만 등장하지는 않는다.
오메가몬, 듀크몬, 알파몬이 등장한다.
이그드라실의「프로젝트 아크」의 X프로그램에 죽지 않고 오히려 그것을 받아들여 X항체를 만들어내 X진화를 이룬 디지몬들을 이분자 취급하며 제거한다.
이 X디지몬들의 제거는 이그드라실의 명령이었지만, 명령에 충실히 움직인 것은 오메가몬뿐이며 듀크몬은 X디지몬을 시험하는 듯한 행동을 보였다.
알파몬은 종반에 등장하며 다른 멤버들은 어떠했는지는 불명.
오메가몬, 듀크몬, 매그너몬, 로드 나이트몬, 알파몬이 등장했다 (로드 나이트몬은 목소리만 출연). 이 작품은 기본적으로 디지몬 크로니클을 토대로 삼고 있어 로열 나이츠의 역할은 크로니클과 하등 다를 바가 없다.
이그드라실의 명령으로 인간계를 소멸시키고자 움직인다.
그때문에 주인공들과 대립하는데 영상작품으로는 가장 많은 로열 나이츠가 출연했지만 첫등장이 40화 중반이었던데다가, 하나하나 비중있게 다루지 않고 크래니엄몬, 슬레이프몬, 듀크몬 외에는 비중있게 다루지 않았다.
주인공과 대립하는 측면이었기에 조금 심하게 다뤄진 점도 적지 않다.
오메가몬이 나오긴 하지만,이를 로열 나이츠로 분류하지는 않는다.
T1은 대한민국의 종합 프로게임단으로 리그 오브 레전드, 배틀그라운드, 포트나이트, 에이펙스 레전드, 스매시브라더스, 도타 2, 오버워치, 하스스톤, 포켓몬스터, 콜 오브 듀티 모바일, 레인보우 식스 시즈 등의 종목을 운영하고 있다.
스타크래프트 프로리그와 리그 오브 레전드 챔피언스 코리아, 리그 오브 레전드 월드 챔피언십 그리고 미드 시즌 인비테이셔널에서 가장 많은 우승을 한 팀이기도 하다.
과거에는 스타크래프트, 스타크래프트 II, 스페셜포스 2, 하스스톤 종목을 운영했다.
2001년 12월 합병하여 창단된 IS에서 2002년 11월 임요환이 2002 SKY배 온게임넷 스타리그의 결승전을 치른 뒤 팀내 프로토스 부족 등의 이유로 인해 팀을 나오게 된다.
한달 뒤인 2002년 12월 동양제과가 임요환과 스폰서십을 체결하여 높은 연봉과 연습실을 제공하였고, 주훈을 임요환의 개인 매니저로 영입하였다.
이듬해 팀단위 리그인 프로리그의 개막 소식에 주훈이 선수들을 영입하기 시작했다.
한달 후인 2003년 1월 프로팀으로서의 기틀이 갖춰진 이후, 동양 오리온(동양 Orion)이라는 이름의 팀으로 활동하기 시작했다.
그리고 2003년 3월에 개막된 첫 번째 프로리그인 KTF EVER컵 온게임넷 프로리그에서 포스트 시즌을 거쳐 결승에 진출 하였으며 2003년 8월 30일에 열린 결승전에서 한빛 스타즈(현 웅진 스타즈)를 4:1로 꺾고 팀내 첫 우승을 일궈냈다.
동양제과의 후원 기간이 끝난 2003년 12월 22일 정식으로 팀의 인수를 요구했지만, 후원자금의 규모에 대한 이견차를 좁히지 못하고 협상이 그대로 결렬되었다.
그로 인해 4U(4Union)팀으로 바뀌어 한동안 비기업 팀으로 활동하다가, 2004년 4월 13일 SK텔레콤에 인수되어 SK텔레콤 T1으로 재창단하여 현재에 이르고 있다.
2005년부터 2006년까지는 프로리그에서 4회 연속 우승을 이루어, 오버 트리플 크라운을 달성하였다.
그러나 그 이후 임요환, 성학승의 군입대로 전력이 쇠퇴하자 급격히 성적이 추락하기 시작했고, 여기에 전기리그에서의 여러 시스템의 실패와 후기리그에서의 개인전 성적 부진이 겹치면서 걷잡을 수 없이 폐해가 심해지자 끝내 2008년 1월 23일, 3시즌 연속으로 이어진 성적부진을 이유로 주훈 감독, 서형석 코치, 이효민 코치가 경질되었다.
SK텔레콤 T1은 2008년 2월 27일, MBC게임의 전략코치였던 박용운 코치를 감독대행으로 선임하고, 작년까지 선수로 활동했던 최연성, 박용욱 두 선수를 코치로서 승격시키기로 확정했다고 밝혔다.
이 후 김택용의 영입과 도재욱의 성장으로 2008 시즌에선 오랜만에 포스트시즌에 진출하게 되었다.
2008년 10월 1일에 박용운 감독대행이 감독으로 정식 승격한 이후 출전한 08-09시즌에서는 프로토스라인이 선전했음에도 저그 라인이 1라운드 전패라는 전무후무한 불명예의 부진으로 프로리그 하위권에 머물렀고 결국 극단의 조치를 취해야 했다.
10월 28일, 최연성이 플레잉코치로 변경을 시작으로, 같은 해 10월 31일엔 비욘세사건으로 방출되었던 김성제가 복귀하고, 2라운드 직전인 11월 26일에는 MBC게임의 저그 선수 정영철을 영입하며 다른 저그 팀원들 까지도 성적이 좋아졌다.
2009년 1월 17일부터 시작된 3라운드 - 위너스 리그에서는 2008년 12월 21일 제대한 임요환이 개막전(vs 공군전)에서 오영종과의 경기에 출전하였지만 지고 말았다.
2009년 3월에는 스페셜포스 프로리그 개막을 앞두고 펼쳐진 스페셜포스 프로게임단 드래프트에서 P-plus.innovation 클랜을 지명하여 창단하였다.
생각대로T SF프로리그 2009 1st의 1라운드에서는 부진한 모습을 보였으나, 2라운드 초반에 좋은 성적을 거두어 2위로 올라서기도 했으나, 끝내 2라운드 전승의 이스트로에게 밀려 최종적으로 3위로 확정되었다.
이후 최종 순위 3위와 4위가 맞붙는 준플레이오프에서 클랜 Archer를 꺾고 플레이오프에 진출했으나, 2위팀 이스트로에게 패배해서 3위로 리그를 마감하였다.
스타크래프트 프로리그에서는 08-09 시즌의 막바지 5라운드에서 막판에 화승 OZ를 따돌린 후 1위로 결승전에 직행해, 3년 만에 광안리 진출 티켓을 따냈고, 2009년 8월 7일과 8월 8일 결승전 1,2차전에서 화승 OZ를 2:0으로 꺾고 프로리그 우승을 차지하였다 (1차전 - 4:0, 2차전 - 4:3). 또한 김택용이 정규시즌 MVP를 차지하였으며, 결승전 MVP로 정명훈이 선정되었다.
경남-STX컵 마스터즈 2009 결승전에서는 박재혁이 선봉으로 출전하여 STX선수들을 차례대로 4명을 꺾으며 우승을 차지하는데 일조를 하였다.
그러나 08-09 시즌이 끝난뒤. 김성제와 이건준, 박대경이 은퇴하고. 주장이었던 권오혁은 박용욱의 해설 전향으로 인한 공백을 메우기 위해, 플레잉 코치로 승격되어 프로토스가 궁핍해졌으나, 프로토스 라인은 12개팀중에 가장 강력한 팀으로 자리 잡았다.
위너스리그 09-10 말기 성학승을 사실상 경질하였고 성학승이 경질된뒤, 저그 라인도 궁핍해지기 시작했다.
덕분에 화승토스, 웅진테란과 함께 티원저그라는 말이 생겨날 정도였다.
그러나 5라운드에서 박재혁-이승석-어윤수 3명으로 이루어진 저그 라인이 강력해지면서 팀의 승리에 도움을 주었다.
하지만 신한은행 프로리그 09-10 결승전에서 T1 저그는 그다지 성과를 이루지 못했다.
이승석이 템페신 박재영을 상대하여 패배, 또한 박재혁 또한 KT의 에이스 이영호를 만나 패배를 하면서 4:2로 준우승에 머무르게 된다.
T1의 저그 라인은 이번 시즌 결승전에서는 1승조차 따내지 못하여 고질적인 문제로 지적받았다.
2010년 9월 저그라인 보강을 위하여 웅진 스타즈의 한상봉을 영입했다.
그러나 기대와는 미치지 못한 성적을 보이며 부진, 결장을 면치못하던 한상봉은 결국 3월 10일 팀에서 임의탈퇴한다.
신한은행 프로리그 10-11에서 1R 첫 라운드 전승이란 기록을 세운다.
신한은행 위너스리그 10-11에서 3위를 기록한 SK텔레콤은 준PO, PO에서 하이트, 화승을 꺾고 결승에 오른다.
복병 이승석의 3킬, 그리고 에이스 김택용의 마무리 활약으로 라이벌팀인 KT를 꺾고 위너스리그 우승을 차지하며 단체전 그랜드슬램을 달성하였다.
신한은행 프로리그 10-11에서 6라운드 전승이란 기록과 함께 역대 단일리그 최다승(39승) 신기록을 세운다.
그러나 팀의 연습시간 비율이 나빠서 일부 선수들이 방식이 맘에 안든다고 하소연하기도 했다.
신한은행 프로리그 10-11에서 KT와 결승에서 맞붙었지만 도재욱과 저그 라인의 패배로 준우승에 그쳐 09-10 광안리의 복수를 하지 못했다.
저번 결승 때와 마찬가지로 저그가 1승도 거두지 못해 T1 저그라인은 고질적인 문제였다.
경남-STX컵 마스터즈 2011 결승전에서 화승 OZ와 격돌하게 된 T1은 신인왕 정윤종의 선봉올킬로 우승을 차지한다.
SK텔레콤은 취약한 저그라인을 보강하기 위해 화승 출신의 방태수 (현재 사이스톰 게이밍)와 위메이드 폭스 출신 이예훈 (현재 마이인새니티)을 영입하였으나, 그들은 당시 아직 경험이 부족했고, 공식전이 많이 없던 신인이라 SK텔레콤 프런트측에서 성장발전을 믿고 영입했던 것이다.
SK플래닛 프로리그 정규시즌 1위를 확정지으며 SK텔레콤 T1은 4연속 프로리그 결승 진출에 성공하였다.
또한 스페셜포스팀도 정규시즌 1위로 역시 결승 진출에 성공하였다.
SK텔레콤 T1은 프로리그 결승전에서 다시 격돌하게 된 KT를 꺾고 3년 만에 정규시즌 우승을 차지하게 된다.
위너스리그 우승을 제외하면 총 6회 우승이라는 대기록을 세우게 되었다.
다만 저그라인은 여전히 미흡한 점이 많이 지적됐다.(이날도 저그 라인은 승리를 하지 못했다)
2012년 8월 16일 슬레이어스에 있던 임요환을 T1 테란 전담코치로 영입했다.
SK플래닛 프로리그 시즌2에서 4위로 포스트시즌에 진출하였고, 준플레이오프에서 진에어 그린윙스를 완벽하게 제압했으나 CJ 엔투스와의 플레이오프에서 에이스 정윤종의 뼈아픈 패배와 고질적인 T1 저그라인의 부진으로 결승 진출에 실패하게 된다.
2012년 10월 17일 박용운을 어드바이저로 임요환을 수석 코치로 임명했다.
SK플래닛 프로리그 12-13이 끝난 후 팀의 주축이자, 오랜 시간을 활동해온 도재욱, 김택용, 이승석 등이 대거 프로게이머를 은퇴하였으며, STX 소울에서 활동하던 김도우를 영입하였다.
차기 시즌 주장은 정명훈이 맡게 되었다.
2013년 9월 26일 임요환 감독이 건강상의 이유로 사퇴하고 최연성코치가 수석코치로 승격되었다.
2013년 10월 15일 웅진 스타즈 노준규 (현 삼성 갤럭시)를 영입하였다.
2013년 11월 6일 최연성 수석코치가 감독으로 승격되었다.
2013년 12월 13일 웅진 스타즈 김민철(현 TCM 게이밍)을 포스팅으로 영입하였다.
2014년 9월 11일 SK텔레콤 T1은 보도자료를 통해 2014년 9월 30일자로 정윤종, 원이삭, 정명훈과의 계약을 종료한다고 밝혔다.
2014년 9월 25일 SK텔레콤 T1은 보도자료를 통해 이신형, 조중혁의 영입을 발표하는 동시에 2014년 9월 30일자로 김민철, 노준규와의 계약을 종료한다고 밝혔다.
2016년 10월 스타크래프트 II 종목 팀 해체를 발표하였다.
리그 오브 레전드 코치진.
감독은 담원 게이밍의 리그 오브 레전드 월드 챔피언십 2019 진출을 이끈 김정수이며 코치는 진에어 그린윙스, 아프리카 프릭스 코치, 중국 LPL 쑤닝 게이밍 감독을 역임했던 임혜성이다.
최병훈 감독은 2013년 11월 6일 코치에서 감독으로 승격된 후 팀의 롤챔스 6회 우승, 롤드컵 3회 우승을 이끌었고 2017년 11월 24일 감독직에서 물러나 김정균
코치가 감독을 맡게 되었고 2019년 4월 13일 SK텔레콤 T1 창단 15주년에 롤챔스 통산 7번째 우승컵을 들어올렸다.
이후 김정균 감독이 물러난 후 김정수 전 담원 게이밍 코치가 SK텔레콤의 감독을 맡게 되었다.
가이간선()은 일본의 지하철 노선 가운데 하나이다.
고베시 교통국이 운영한다.
일본 효고현 고베시 주오구에 있는 산노미야하나도케이마에역과 나가타구에 있는 신나가타역을 잇는다.
자동 열차 운전 장치로 전 구간을 왕복한다.
컴퓨터 산업( -産業, computer industry)은 컴퓨터 소프트웨어 개발, 컴퓨터 하드웨어 설계, 컴퓨터 네트워킹 인프라, 컴퓨터 부품 제조, 정보통신기술 서비스 제공을 수반하는 전반적인 사업 분야를 서술하기 위해 쓰이는 총체적 용어이다.
수학에서 일차 방정식(一次方程式, ) 또는 선형 방정식(線型方程式)은 최고 차수의 항의 차수가 1을 넘지 않는 다항 방정식을 뜻한다.
일차 방정식의 변수는 하나뿐일 수도, 둘 이상일 수도 있다.
수학적 모델링에 필요한 비선형 방정식은 흔히 풀기 쉬운 일차 방정식으로 근사하여 다뤄진다.
변수가 하나뿐인 일차 방정식은 단순히 식을 정리하여 풀이할 수 있다.
하나의 변수 formula_1를 갖는 일차 방정식은 다음과 같은 꼴로 쓸 수 있다.
그 풀이는 다음과 같은 경우로 나뉜다.
일차 방정식의 예는 다음과 같다.
두 변수의 계수가 모두 0인 경우를 제외하면 평면 위의 직선을 해집합으로 한다.
또한 formula_15의 계수가 0인 경우를 제외하면 일차 함수의 영점을 구하는 문제와 동치이다.
이변수 일차 방정식의 표현 방법은 여러 가지가 있으며, 이는 평면 위의 직선의 방정식을 표현하는 방법과도 같다.
모든 이변수 일차 방정식은 다음과 같은 꼴로 나타낼 수 있다.
이 방정식은 행렬을 통해 다음과 같이 표현할 수 있다.
만약 직선이 놓인 직교 좌표 평면을 복소평면으로 간주한다면, 점은 두 실수의 순서쌍 formula_23 대신 하나의 복소수 formula_26로 쓸 수 있다.
이 경우 직선의 방정식의 일반 꼴을 다음과 같이 나타낼 수 있다.
기울기와 y절편이 주어진 경우.
수직선("y"축과 평행하는 직선)(기울기가 무한대인 직선)의 방정식은 이러한 꼴로 나타낼 수 없다.
한 점과 기울기가 주어진 경우.
수직선의 방정식은 이러한 꼴로 나타낼 수 없다.
직선 위에 놓인 두 점 formula_43이 결정하는 직선의 한 방정식은 다음과 같다.
이를 행렬식을 통해 표현하면 다음과 같다.
모든 직선의 방정식은 이러한 꼴로 나타낼 수 있다.
수직선이 아닐 경우 formula_46이므로, 다음과 같은 꼴로도 쓸 수 있다.
이는 직선의 방정식의 일반적인 꼴에 formula_53, formula_54을 대입하여 얻는다. "x"축에 평행하거나, "y"축에 평행하거나, 원점을 지나는 직선의 방정식은 이러한 꼴로 나타낼 수 없다.
직선을 하나의 매개 변수가 실수 범위에서 변화할 때 이 매개 변수에 의존하는 점이 그리는 궤적으로서 표현할 수 있다.
예를 들어, 점 formula_55과 그 직선의 방향을 나타내는 벡터 formula_56가 결정하는 직선의 한 매개 변수 방정식은 다음과 같다.
이는 다음과 같이 간략히 쓸 수도 있다.
또한, 두 점 formula_63이 결정하는 직선의 한 매개 변수 방정식은 다음과 같다.
이를 간략히 표현하면 다음과 같다.
매개 변수를 사용하지 않는 표현은 다음과 같다.