google/wiki40b huggingface dataset:
2 월드 트레이드 센터 (9·11 테러 이전)

역사

초기 1966년 뉴욕에 사무공간을 대량 공급하기 위해 계획되었다. 1966년 뉴욕 항만청은 기존에 있던 건물들을 철거하면서, 1968년 착공하였다. 착공 4년 만인 1972년 완공 후, 1974년 4월 개장했다. 이후 1993년 2월 26일 폭탄 테러가 발생하여 1994년까지 폐장하였으며 1994년 재개장 하였다. 2001년 9월 11일 9시 2분경, 투 월드 트레이드 센터 건물에 유나이티드 항공 175편 비행기가 충돌하면서 77 ~ 85층에 대형 화재가 발생했었고, 이로 인해 피격 당한 곳의 철골이 대형 화재에 의해 심각한 손상이 발생하면서 9시 59분경 건물이 붕괴되어 완파되었다.

현재

2 월드 트레이드 센터가 있던 자리에는 현재 'South Pool'이라고 하는 연못이 설치되어 있다. 현재의 2WTC는 그린위치 가에 지상 88층, 415m의 오피스 마천루로 건설중이었으나, 보류되었다.
키릴 토마노프

키릴 레오 헤라크리우스, 토마노프 왕자(토마니슈빌리 출생)(1913년 10월13일 ~ 1997년 2월 4일)은 조지아, 아르메니아, 이란의 역사를 주로 연구한 러시아 출신의 미국 역사가이며 계보학자이다.
토바노프는 15세기에 아르메니아와 조지아가 분리되고 러시아인 어미니를 둔, 아르메니아계-조지아인 귀족 가문(투마니아니, 투마니슈빌리)의, 후일에 러시아 내전 기간 동안에 러시아의 하얀 군대에서 복무한, 조지아인 아버지한테서 샹트 페테르부르크에서 태어났다. 그 가문은 1783년 7월 24일에 에레클레 2세와 함께 결론낸 게오르기예프스키 조약의 부속 조항에 카르트벨리아인(조지아인) 군주들의 계보에 있고, 1850년 12월 6일에 개별화된 조지아 군주 가문 목록에 있는 윗사람들로 부터 인가되었다.
1918년에 그의 모친과 함께 러시아 혁명을 피해 달아나 첫 번째로 파리에 도착한 키릴 토마노프. 그의 모친은 볼셰비키 당원에게 살해당했다. 토마노프는 1928년 미국으로 이민갔다. 그는 레넉스 스쿨에 입학했고 1931년에 졸업했다. 그의 교수는 그의 안전을 위해 위해 벨기에로 보내 저명한 아르메니아인 교수인 니콜라스 아돈츠 문하에서 공부할 수 있게 여비를 마련해 주었다.
그는 1943년에 조지타운 대학교에서 박사를 취득했고, 그 학교에서 재직할 뜻을 받아들여 그가 은퇴할 때까지 재직했으며, 1970년에는 역사학 명예 교수가 되었고 로마로 갔다.
귀족과 왕족이라는 의문에 대해 깨닫게된 위신으로, 토마노프는 상류층 역사의 자문역이기도 했으며, 몰타 기사단의 공언된 기사 이기도 했다.
이발소

이발소(理髮所, 문화어: 리발소)는 머리카락을 깎거나 다듬거나, 염색을 하는 장소이다. 흔히 이용원(理容院), 이발관(理髮館), 이용소(理容所)라고 부르기도 한다. 대한민국의 경우, 1960년대까지는 모두 남자들만 이용했지만 1960년대 중반 이후부터는 여자들도 이용하기 시작하였다.
데블렛 1세 기라이

데블렛 1세 기라이(크림 타타르어: I Devlet Geray ۱دولت كراى년)(1512년 ~ 1577년)은 크림 칸국의 칸이다.

치세

그의 치세에는 1571년에는 모스크바를 잿더미로 만들기도 하였다. 하지만 그는 몰로디에서 1572년에 끔찍한 대패를 당했다.
자바 어노테이션

자바 어노테이션(Java Annotation)은 자바 소스 코드에 추가하여 사용할 수 있는 메타데이터의 일종이다. 보통 @ 기호를 앞에 붙여서 사용한다. JDK 1.5 버전 이상에서 사용 가능하다. 자바 애너테이션은 클래스 파일에 임베디드되어 컴파일러에 의해 생성된 후 자바 가상머신에 포함되어 작동한다.

예제

다음은 @override 애너테이션의 예제이다.
public class Animal {
    public void speak() {
    }

    public String getType() {
        return "Generic animal";
    }}public class Cat extends Animal {
    @Override
    public void speak() { // This is a good override.
        System.out.println("Meow.");
    }

    @Override
    public String getType() { // Compile-time error due to mistyped name.
        return "Cat";
    }}
광대나물

특징

높이는 10-30cm이고, 원줄기는 가늘고 네모지며 밑에서 가지가 많이 생긴다. 잎은 마주나는데, 아래쪽 잎은 잎자루가 길고 둥글고, 반면 위쪽 잎은 잎자루가 없고 톱니가 있는 반원형이며 양쪽에서 원줄기를 완전히 둘러싼다.
꽃은 4-5월에 붉은빛이 도는 자주색으로 피며 잎겨드랑이에서 여러 송이가 돌려나듯 모여 나온다. 꽃부리는 윗입술이 앞으로 약간 굽고, 아랫입술이 3개로 갈라진다. 수슬은 2개는 길고 2개는 짧은 두긴수술이다.
광대나물의 씨는 싹이 잘 트고 오래 생존하며 바람, 비, 동물을 통해 퍼져나간다.

쓰임새

어린순은 나물로 먹으며 민간에서 지혈제로 이용한다.
이유립

생애

고려말 문신인 이암(李嵒)의 후손으로, 아버지는 이관집(李觀楫) , 어머니는 태인 백씨이다.
어려서부터 한문을 익히고, 1915년 오동진(吳東振)이 비밀로 가르치는 구한국군(舊韓國軍)의 노래와 행진연습을 하였다. 1919년에는 신안동(新安洞)에서 태극기를 들고 조선독립만세운동에 가담하는 등 애국사상이 강하였다고 한다. 하지만 이유립 및 아버지 이관집의 독립운동 관련 행적은 모두 이유립 본인이 쓴 책을 출처로 하고 있으며, 다른 곳에서 교차 검증되지 않는다.

종교 활동

이유립은 일제강점기 당시부터 단학회나 태백교와 같은 민족단체 또는 민족종교에서 활동했다고 주장하고 있다. 그러나 그가 단학회를 계승했다고 주장하고 있는 단단학회(檀檀學會)나 태백교, 커발한 등은 일종의 소수종교로 분류되고 있으며 이유립은 그 교주로 알려져 있다. 《환단고기》에도 이유립이 교주로 있는 태백교의 교리가 서술된 부분이 많다
폰트포지

특징

폰트포지는 자신만의 독특하고 혁신적인 기능과, 폰트연구소의 거의 모든 기능을 함께 사용할 수 있는 매우 강력한 소프트웨어 시스템이다.
자동 형식 변환과 다른 반복적인 업무를 원활하게 하기 위해, 폰트포지는 두 개의 스크립트 언어(자신의 언어와 파이썬)를 구현한다. 폰트포지는 명령행에서 자신의 GUI(그래픽 사용자 인터페이스)으로부터 스크립트를 실행 할 수 있으며, 파이썬 모듈로써의 기능을 제공하고 파이썬 프로그램에 통합 될 수 있다.
폰트포지는 어도비의 오픈타입 feature file 사양을 지원한다.(구문에 확장을 참조) 그리고 캄브리아 수학체를 사용하기위해 도입한, 오피스 2007, XeTeX 그리고 LuaTeX가 지원하는 비공식 마이크로소프트 수학 조판 확장(수학 테이블)을 지원한다. 많은 오픈타입 수학 폰트가 Font Forge로 개발되었다.(아래 참조)
화면에 폰트를 렌더링하기 위해 폰트포지는 프리타입을 사용한다. 2008년 11월 15일 릴리즈 이후, FontForge는 안티 앨리어싱 그래픽과 복잡한 텍스트 레이아웃을 지원하고, 그래픽과 텍스트 렌더링 에 대한 libcairo와 libpango 소프트웨어 라이브러리를 사용할 수 있다.
폰트포지는 비트맵 이미지를 자동으로 추척하고 폰트를 가져오기위해 Potrace나 AutoTrace를 사용한다.
폰트포지의 일부분은 LuaTeX의 오픈타입 폰트를 읽고 분석하기 위한 조판엔진에 사용된다.
폰트포지의 소스코드는 이진 폰트 파일의 내용을 보여주는 'showttf', WOFF 변환기와 환원기(deconverter) 등을 포함하는 'fonttools' 디렉토리 안에 있는 유틸리티 프로그램들의 수를 센다.

지원되는 형식

폰트포지는 다양한 폰트 형식을 지원한다. 네이티브 "스플라인 폰트 데이터베이스" 형식(확장명.SFD)은 텍스트 기반이며, 서로 다른 파일들을 쉽게 만들수 있어서 설계자들 사이의 협력을 도와준다. 소프트웨어는 다양한 종류의 폰트 형식을 지원하고 하나의 형식에서 다른 폰트로 변환한다. 그리고 폰트포지는 폰트를 입력받은 뒤, SVG(Scalable Vectior Graphics) 형식과 통합 폰트 객체(UFO) 형식으로 출력한다.
스미스섬 (일본)

스미스 섬(일본어: 須美寿島)은 일본 이즈 제도에 속하는 섬이다. 행정구역상 도쿄도에 속하며, 한자 須美寿는 영어 Smith의 가차표기(아테지)이다.
히가시무코지마 역

역 구조

상대식 승강장 2면 2선의 고가역이다. 승강장 유효 길이는 10량 편성에 대응하지만, 도쿄 지하철 한조몬 선과 도큐 덴엔토시 선 직통 열차는 통과한다.
배리어 프리 대응 시설로서 2007년 봄에 각 승강장과 1층 개찰 내 대합실을 연결하는 엘리베이터가 정비되었다. 아사쿠사 방향 승강장의 엘리베이터는 중2층에서 환승이다.
화장실은 개찰 내에 있는 남성용과 여성용은 중2층의 엘리베이터와 동시에 설치된 다용도 화장실은 1층에 있다.
조셉 프랑수아 뒤플렉스

조셉 프랑수아 뒤플렉스(Joseph François Dupleix, 1697년 1월 23일 ~ 1763년 11월 10일)는 프랑스의 인도 지배의 공로자이다. 동인도회사 사원 집안에 태어나 1742년 프랑스령 인도의 지사가 되었다. 이 사이에 오스트리아 계승전쟁이 일어나서, 영국 동인도회사와 항전(抗戰), 마드라스를 점령하는 등 프랑스 세력의 전성기를 맞았다. 인도인 토후로부터 행정권을 매수하여 영토를 확대시켰으나, 이것이 회사의 기업성(企業性)과 충돌하여, 드디어 1754년 본국에 소환되어 실의와 빈곤 속에서 죽었다.
보류거부

보류거부(Pocket veto)란 헌법상 대통령 거부권의 하나로서, 국회의 폐회로 인해, 대통령이 지정기일안에 법률안을 국회에 환부하는 것이 불가능한 경우, 대통령이 그 법률안을 거부하기 위해 그대로 가지고 있으면, 법률안이 자동적으로 폐기되는 것을 말한다. 미국 헌법에서는 보류거부가 명시적으로 인정되는데, 보류거부에 대한 명시적인 조항이 전혀 없는 대한민국 헌법에서도 법리상 인정될 수 있는지가 문제된다.

부정설

헌법 51조에서 회기계속의 원칙을 규정하고, 53조 2항 후단에서는 국회의 폐회 중에도 환부할 수 있게하며, 제 53조 5항은 15일내 공포도 재의요구도 하지 않으면 그 법률안은 법률로서 확정된다고 규정하므로, 보류거부는 인정되지 않는다고 본다.(김철수)
대통령의 환부거부 기간이 15일이지만, 아직 대통령이 환부거부를 하지 않고 있다가, 10일째에 의원임기가 만료하는 경우, 법률로 확정된다고 본다.(정종섭)
미국 헌법은 보류거부를 명시적으로 규정하고 있기 때문에 인정되는 것이고, 한국 헌법은 보류거부를 명시적으로 인정하는 규정이 전혀 없기 때문에, 보류거부는 일체 인정될 수 없다고 본다.

부분긍정설

원칙적으로 보류거부는 인정되지 않지만, 국회가 법률안을 의결해 정부에 이송한 후, 15일내 의원임기가 만료되거나 국회가 폐회되었다면, 예외적으로 보류거부가 인정된다고 본다.(권영성, 허영)
대통령의 환부거부 기간이 15일이지만, 아직 대통령이 환부거부를 하지 않고 있다가, 10일째에 의원임기가 만료하는 경우, 법률안은 폐기된다고 본다.(성낙연)
주오린칸 역

역 주변

야마토 시 북부의 중심역으로서 도쿄 급행 전철 덴엔토시 선의 확장 후부터 급속히 택지화가 진행되고 있다.
신주쿠・시부야에 40분 정도로 접근할 수 있는 편리성이나 덴엔토시 선의 시발역으로 자리에 앉아서 통근할 수 있는 쾌적성 등 도쿄 도심의 베드 타운으로써 개발이 진행되어 역전에 고층 아파트 등도 입지하게 되었다. 또한, 슈퍼 마켓과 쇼핑몰, 편의점 등도 입점했고, 상업 시설도 집중하고 있다. 역 주변에는 미장원이 집중되어 있다.
역에서 도보 10분 정도 거리에 주오린칸 자연의 숲이 위치하고 있다.
역 주변 일대는 야마토 시가 제정한 길거리 흡연 금지 조례의 금연으로 과태료 2,000엔 징수의 대상으로 한다. 흡연 코너는 남쪽 출입구의 오다큐와 도큐의 연결 통로 중간과 기타구치 오다큐 측의 파출소 앞에 있다. 흡연 코너의 관리자는 야마토 시청 환경 농정부 환경 총무과 정책 조정 담당이다. 또한, 가나가와 현 경찰에서 노상 주차 엄중 순회 지구로 지정되고 있어 역 주변에는 동전 주차가 정비되고 있다.
에노시마 선 역 개업 당초에는 개찰구는 기타구치만 있었지만 덴엔토시 선 개통을 전후로 하여 미나미구치 개찰이 신설되었다. 과거 기타구치는 광장이었던 관계로 축제 등은 이곳에서 이루어지고 있었다. 그 후, 점포와 유료 주차장이 건설되고 광장은 소멸되었다. 광장이 있던 시절에는 그 광장과 인근 다방(폐점)이 있었고 텔레비전 드라마 "금요일의 아내들에게"의 로케이션 촬영이 진행된 바 있다.
도큐와 오다큐를 연결하는 대합실 부근은 1980년대까지 습지대였지만, 택지 조성이 진행되는 부근을 메워 대합실이 정비되었다. 도큐 정면 입구에는 택시의 로터리가 정비되어 도큐 스토어 쪽 인도에서는 커뮤니티 버스나 관광 버스도 발착한다.
김상훈 (1990년)

두산 베어스 시절

2010년 신인 드래프트에서 4라운드(전체 26위) 지명을 받아 입단하였다.

넥센 히어로즈 시절

2016년 2차 드래프트에서 3라운드 지명을 받아 이적하였다.
알리 파르카 투레

생애

알리 파르카 투레는 1939년 10월 31일에 말리의 구르마라루스 현에 위치한 카나우 마을에서 태어났다. 그의 가족은 아르마 커뮤니티에 속해 있었고 그가 아직 어릴 때 근처에 있는 니아풍케 마을로 이사했다.
1940년에는 그의 아버지는 프랑스 육군에서 근무하다가 사망했다. 그는 그의 어머니의 열번째 아들이었지만, 유일하게 유아기에 살아남았다. 그 후 10세부터 기타를 잡기 시작해 17세 시절에는 능숙하게 다루게 되었다.
1950년에는 구르켈이라는 단현 기타의 매력에 빠져들어 연주를 했고, 1956년에는 기니 출신의 케이타 포데바의 공연을 보고 기타 연주자가 되기로 결심한다. 그는 독학으로 기타를 배우면서 자신이 구르켈을 통해 배운 연주기법과 전통민요를 접목시켜 나갔다.
1960년대 바마코에 머물면서 투레는 레이 찰스나 존 리 후커와 같은 이들을 통해 아프리카계 미국인들의 음악을 접하게 된다. 특히 그는 후커에게 강한 영향을 받아 자신의 연주에 몇몇 요소들을 접목 시킨다. 알리 파르카 투레의 음반 경력은 1976년 프랑스에서 시작되었다.
몇년간 그는 말리의 풍부한 문화로부터 끌어온 전통 민요와 리듬을 채용해 십 여개의 아프리카어로 노래 부르며 서아프리카에서 성공적인 경력을 쌓아갔다. 아프리카 곳곳을 순회하고 때때로 유럽과 미국도 순회하면서 연주를 했지만, 그는 일상생활을 그리워했다. 결국 1990년 알리 파르카 투레는 고향 팀북투에 있는 자신의 농장에서 농사를 짓기 위해 음악을 단념한다.
하지만 프로듀서의 설득으로 2년 후 다시금 기타를 잡은 그는 1994년에 발표한 라이 쿠더와 공동으로 《Talking Timbuktu》는 서부 시장에서 놀라울 정도로 팔렸으나, 그 뒤를 이어 미국과 유럽에서 출시되는 중단이 이어졌고, 그는 1999년에 아프리카의 리듬과 비트를 중심으로 한 좀 더 전통적인 앨범인 《Niafunké》의 발매와 함께 다시 모습을 보였다.
2002년에 그는 미시시피에서 말리까지의 앨범에 미국의 흑인 블루스와 레게 음악가 코리 해리스와 함께 출연했다. 투레와 해리스도 마틴 스코세이지의 2003년 다큐멘터리 《집에 가고 싶다》에 함께 출연했는데, 이 다큐멘터리는 블루스의 뿌리를 서아프리카로 거슬러 올라가는 것이었다. 이 영화는 해리스에 의해 내레이션을 했으며 알리의 기타와 니자카 연주가 선 보인다.
2004년 투레는 니아풍케 시장이 되어 길을 채점하고, 하수도를 설치하고 가난한 마을에 전기를 공급하는 발전기에 연료를 공급하는데 자신의 돈으로 썼다.
2005년 9월에, 그는 투마니 디아바테와 공동으로 《In the Heart of the Moon》 앨범을 발매했다. 그는 이 앨범으로 두번째 그래미상을 받았고, 그의 마지막 앨범인 《Savane》은 2006년 7월에 사후 발매되었다. 이 앨범은 전문가들과 팬들에 의해 폭넓은 찬사를 받았으며, "최고 현대 세계 뮤직 앨범" 부문의 그래미상 후보에 올랐다. 유럽 전역의 선두적인 월드 뮤직 전문가들에 의해 투표된, 월드 뮤직 차트 유럽의 전문가 위원회는 이 앨범이 2006년 9월까지 연속 1위를 차지하면서, 《Savane》을 2006년 올해의 앨범으로 선택했다.
2006년 3월 6일, 알리 파르카 투레는 한동안 투병했던 골수암으로 66세의 나이로, 바마코에서 세상을 떠났다. 그의 음반 회사 월드 서킷은, 2006년 말에 발매된 뷰의 데뷔 앨범으로, 그의 아들 뷰 파르카 투레와 몇곡의 음반을 녹음했다고 말했다.
불능미수

성립요건

불능미수도 미수범이므로 행위자가 기수의 고의를 가지고 실행에 착수하여야 비로소 성립될 수 있다. 그 이외에 결과발생이 원시적으로 불가능한 사정이 있고, 위험성이 인정되어야 성립될 수 있다.
대한민국 형사소송법 제16조의2

조문

제16조의2(사건의 군사법원 이송) 법원은 공소가 제기된 사건에 대하여 군사법원이 재판권을 가지게 되었거나 재판권을 가졌음이 판명된 때에는 결정으로 사건을 재판권이 있는 같은 심급의 군사법원으로 이송한다. 이 경우에 이송전에 행한 소송행위는 이송후에도 그 효력에 영향이 없다.  <개정 1987.11.28.>[본조신설 1973.1.25.]
第16條의2(事件의 軍事法院 移送)法院은 公訴가 提起된 事件에 對하여 軍事法院이 裁判權을 가지게 되었거나 裁判權을 가졌음이 判明된 때에는 決定으로 事件을 裁判權이 있는 같은 審級의 軍事法院으로 移送한다. 이 境遇에 移送前에 行한 訴訟行爲는 移送後에도 그 效力에 影響이 없다.  <개정 1987.11.28.> [本條新設 1973.1.25.]

참조 조문

제2조(관할위반과 소송행위의 효력) 소송행위는 관할위반인 경우에도 그 효력에 영향이 없다.

판례

피고인이 군인이라는 사실이 인정되면 군사법원에 이송해야지 공소기각 판결을 선고하여서는 안 된다
맷 블룸

맷 블룸(Matt Bloom 1972년 11월 14일 ~ )은 미국의 남자 프로레슬링선수다. 본명은 매튜 제이슨 블룸(Matthew Jason Bloom)이다. 피니쉬는 아르젠틴 넥브레이커/Argentine neckbreaker, 싯아웃 밀리터리 프레스 드롭 스쿱 슬램 파일드라이버/Stiout military press dropped into a scoop slam piledriver, 발도 밤/Baldo Bomb/앨버트 밤/Albert Bomb/이치반/Ichiban(초크밤/Chokebomb), 트래인 랙/Train Wreck(오버헤드 것렌치 백브레이커 랙 드롭/Overhead gutwrench backbreaker rack drop), 버나드 밤/Bernard Bomb(엘레베이티드 싯아웃 파워밤/Elevated sitout powerbomb), 버나드 드라이버/Bernard Driver(오버 더 숄더 리버스 파일드라이버/Over the shoulder reverse piledriver), 클로우홀드 STO/Clawhold STO, 고멘나사이/Gomennasai(런닝 센턴/Running senton)으로 사용을 한다. 다만 시그니처 기술은 1999년 ~ 2004년까지 바이시클 킥/Bicycle kick으로 자주 사용을 하거나 게다가 딜레이 더블 언더훅 수플렉스/Delayed double underhook spulex, 2012년에서는 아시안 미스트/Asian Mist나 그리고 암-트랩 레그 드롭/Arm-trap leg drop으로 사용을 한다. 아시안 미스트는 주로 타지리와 비슷한 반칙용 기술이다. 캐넌볼/Cannonball은 주로 2013년으로 사용을 하기 시작을 한다. 바디 어발란체/body avalanche로 사용을 한다.

활동

피츠버그 대학교를 졸업하고 미식축구팀인 샌디에이고 차저스에 입단하여 공격포지션인 오펜시브 라인맨으로 활동하였고 프로레슬링 데뷔는 1997년 프로레슬링 입문하여 도리 펑크 주니어와 킬러 코왈스키의 제자로 들어가 수련을 하였고 1999년 WWF(現 WWE)에 입단하였다. 2002년 스맥다운에 드래프트되어 2004년까지 활약했지만 메인이벤트까지는 성장하지 못하고 2004년 WWE에서 방출당한다. 이후 2005년 일본으로 건너가 닉네임을 자이언트 버나드로 바꾸고 일본 프로레슬링의 3대 메이저 단체중 하나인 전일본 프로레슬링에 참전 외국인 선수 신분으로 활동하다가 전일본의 라이벌 단체인 일본 1위 프로레슬링 단체 신일본 프로레슬링에 정식 입단하여 2012년 3월까지 활약하였고 신일본 퇴단후 동년 2012년 4월 2일 로드 텐사이라는 새로운 기믹과 링네임으로 WWE RAW에 복귀하였다. 기대와 달리 호응을 얻지 못했고 2014년 8월 은퇴하고 관계자 쪽으로 전향하면서 동시에 닉네임을 제이슨 앨버트로 변경하며 활동하고 있다.

신체 사항

키 201cm
몸무게 160kg
로스마리 처치

경력

처치는 1998 년 8 월 CNN 인터내셔널 에 합류하여 애틀랜타 본부에있는 월드 뉴스 (World News)의 앵커로 자리 매김했습니다.
우시카우풍키

우시카우풍키(핀란드어: Uusikaupunki, 스웨덴어: Nystad 뉘스타드)는 핀란드 남서수오미 지역에 위치한 도시로, 면적은 1,932.68km², 인구는 15,687명(2012년 기준), 인구 밀도는 31.21명/km²이다.
이 도시에 거주하는 주민들은 핀란드어만을 사용하며 도시 이름은 핀란드어와 스웨덴어 모두 "새로운 마을"을 뜻한다. 1721년 스웨덴과 러시아 제국 사이에 벌어진 대북방 전쟁을 종식시킨 조약인 뉘스타드 조약이 체결되었다.
나주 불회사 석장승

개요

장승은 민간신앙의 한 형태로 마을이나 사찰 입구에 세워져 경계를 표시함과 동시에 잡귀의 출입을 막는 수호신의 구실을 하는데 이 장승 역시 경내의 부정을 금하는 수문신상이다.
불회사 앞 300미터 되는 길 양쪽으로 마주보고 서있는 이 장승은 각각 남·녀의 모습을 하고 있다. 남장승은 조각의 선이 깊고 뚜렷하며 수염이 표현되었고, 머리 위에는 상투를 튼 듯한 모습을 하고 있다. 입 가자장자리에는 송곳니가 아래로 뾰족하게 드러나 있고 몸체에는 ‘하원당장군(下元唐將軍)’이란 이름이 새겨있다. 여장승은 남장승에 비해 표정이 온화하고 얕은 선으로 조각되었다. 미소 띤 얼굴을 하고 있고 몸체에는 ‘주장군(周將軍)'이란 이름이 있다. 두 장승 모두 크고 둥근 눈에 두리뭉실한 주먹코이다. 나주 운흥사 석장승(국가민속문화재 제12호)의 모습과 비슷하다.
조선 숙종 45년(1719년) 전후에 제작된 것으로 추정되며 민간의 무속신앙과 불교신앙이 혼합된 상징적인 조형물이다.

현지 안내문

장생은 마을수호신이나 이정표(거리표시) 또는 사찰의 입구에 세워져 경계를 표시하는 역할을 담당한다.
불회사 석장승은 오른쪽이 남장승, 왼쪽이 여장승인데 하반신이 땅에 묻혀있다. 남장승 하원당장군(下元唐將軍)은 얼굴 조각선이 깊고 인상적이며 입 좌우에 치아가 각 1개씩 노출되어 있다. 머리 가운데가 솟았고 커다란 돌기형 코 선이 특징적이다. 원래 하(下)자가 새겨졌는데 누군가가 추가로 새겨 정(正)자로 보인다. 여장군(周將軍)은 남장승에 비해 얼굴이 온화하며 웃는 인상이 부드럽고 평면적이다.
이 석장승은 이웃한 운흥사 석장승의 조각형태와 수법이 비슷하다. 이로 보아 운흥사 석장승이 만들어진 강희 58년(1719)을 전후하여 만든 것으로 추정된다. 불교와 토착신앙이 어우러진 흥미로운 문화재이다.
당(唐)은 사당가는 길을 뜻하며, 주(周)자는 꼬불꼬불한 길을 뜻한다.
포스 (프로그래밍 언어)

낱말

사용하는 낱말에 대한 정의는 다음처럼 콜론 기호(:)를 이용하여 시작한다음, 세미콜론 기호(;)를 이용하여 닫으면 된다:
: ++ ( n -- n )  1+ ;
이름 짓기에 있어서 특별한 제약이 없기 때문에 원하는 데로 할 수 있다. 단, 포스는 공백으로 낱말을 구분하기 때문에 공백이 들어가지 않게 한다. 이렇게 만들어지는 낱말은 방언을 제외하고는 ANS 포스를 따르는 이상 대소문자 구별을 하지 않는다. 또, 한 번 만들어진 단어라도 정의를 시도하면 언제든지 재정의 할 수 있다.
모든 낱말은 포스 사전에 들어가며, 사용자는 사용자 사전을 통해 자신이 만들어낸 낱말들을 저장하고 불려나갈 수 있다.

예제

Hello, factorial! 출력문:
: hello ( -- str )  ." Hello, factorial!" cr ;
: fac   ( n -- n! )
    dup 0=
    if   drop 1
    else dup 1- recurse *
    then
    ;

hello 10 fac . cr bye
반복문을 이용하는 계승 코드:
1 swap begin ?dup while tuck * swap 1- repeat
조배숙

생애

검사와 판사를 지내고, 변호사로 활동하며 제16대 국회에 새천년민주당 비례대표로 정계에 입문했다. 열린우리당 소속으로 제17대 국회의원에 당선되었고(전북 익산 을), 대통합민주신당에 합류했다. 17대 의원 시절, 성매매 특별법을 대표발의한 바 있다. 2002년 대통령 선거에서는 노무현 대통령 후보의 경쟁력에 문제를 제기하며 정몽준 후보와 단일화를 추진했던 '후보단일화협의회(후단협)'의 일원으로 활동했다.
2007년 대선에서는 비친노 대선주자 만들기 노선을 걷던 김한길, 강봉균과 함께 열린우리당을 선도 탈당하여 대통합민주신당에 합류했다. 대통합민주신당이 새천년민주당과 합당하여 통합민주당으로 개칭하면서, 2008년 4월 9일 제18대 총선거에서 통합민주당 소속 지역구 후보로 당선되었다.(전라북도 익산시)
2012년 총선에서는 전정희와의 경선에서 정치신인 가산점 때문에 패배하였다. 불복하여 무소속으로 출마했으나 민주통합당 공천을 받은 전정희에게 패하였다. 2012년 대선에서는 야권 후보 단일화 국면에서 민주당 문재인, 무소속 안철수 후보 중 지지대상을 택할 수 있는 자율선택권을 당에 요구하며 집단행동에 나서 파장을 일으켰다.
2015년 4.29 보궐선거에서는 당 후보가 있음에도 무소속 정동영 후보의 선거를 도왔다가 새정치민주연합 윤리심판원으로부터 1년간 자격정지의 징계를 받았다. 이어 12월에는 새정치민주연합을 탈당했다.
2016년 국민의당 소속으로 제20대 국회의원에 당선되었다가 2018년 국민의당과 바른정당의 통합에 반대하여 국민의당을 탈당하고, 민주평화당을 창당하여 초대 당대표를 역임하였다.
말론 브란도

생애

그의 원래 성은 브란다우(Brandau)로 네브래스카주 오마하에서 출생하여 1944년 브로드웨이에 데뷔하였다. 1947년 《욕망이라는 이름의 전차》(A Streetcar Named Desire)에서 스탠리 코왈스키 역을 맡으면서 명성을 얻었으며, 1951년 동명의 영화판(엘리아 카잔 감독)에서도 같은 역을 맡았다.
영화 배우로서 첫 데뷔작은 《사나이》(The Man, 1950)이다. 그의 초기 출연작으로는 《사나운 인간》(The Wild One, 1953), 《8월 달의 찻집》(The Teahouse of the August Moon, 1956)과 《어린 사자들》(1958)을 포함한다.
프랜시스 포드 코폴라 감독의 작품 《대부》의 비토 코를레오네, 《지옥의 묵시록》(Apocalypse Now, 1979)의 월터 E. 커츠 대령 역으로 유명하며, 1978년 리처드 도너 감독의 《슈퍼맨》(Superman: The Movie)에서 조르 엘 역을 맡아 세계의 주목을 받게 되었다.
1960년대와 1970년대에 브란도는 흑인과 인디언들을 위한 양쪽의 인권 운동에 후원한 자유주의 정치 활동을 펼쳐오기도 하였다. 뿐만 아니라 자신의 양성애 성향도 숨기지 않았으며 성소수자 인권운동을 옹호하는 발언을 하기도 하였다.
그의 다른 출연작으로는 《파리의 마지막 탱고》(Last Tango in Paris, 1973), 《돈 후안 데마르코》(Don Juan DeMarco, 1995), 《모로 박사의 섬》(The Island of Dr. Moreau, 1996), 《더 스코어》(The Score, 2001) 등이 있다.
그의 저서로는 자서전〈나의 어머니가 나에게 가르쳐 준 노래들(Songs My Mother Taught Me)〉(1994)이 있다. 2004년 7월 1일 로스앤젤레스에서 사망하였다.
비보이를 사랑한 발레리나

비보이를 사랑한 발레리나(Ballerina Who Loved a B-boy)는 2005년 12월 9일 초연된 대한민국의 발레와 브레이크 댄스를 융합한 무언극 뮤지컬이다. 현재까지도 공연중이며, 2008년에는 뉴욕 브로드웨이에서 공연하기도 하였다. 이명박, 오세훈, 고건 등의 정치인은 물론, 웨슬리 스나이프스도 이 공연을 관람하였다.
공예왕후

공예왕후 임씨(恭睿王后 任氏, 1109년 음력 9월 7일 ~ 1183년)는 고려의 17대 왕인 인종의 아내이자 의종, 명종, 신종의 어머니이다. 본관은 장흥(長興), 시호는 공예(恭睿)이다. 중서령을 지낸 임원후(任元厚)의 딸이며 문하시중 이위(李瑋)의 외손녀이다. 1129년 왕비로 책봉되어 연덕궁주(延德宮主)의 호를 받았다. 인종의 총애를 받았다.

탄생 설화

1109년 음력 9월 7일 전라남도 장흥군 관산읍 옥당리 당동마을에서 태어났다. 고려사에 그녀의 탄생 설화가 전해 내려오는데, 그녀가 태어나던 날 밤에 태후의 외조부인 문하시중 이위가 황색의 큰 깃발의 꼬리가 선경전을 싸고 도는 꿈을 꾸었다. 그래서 이위는 외손녀가 “선경전에서 놀게 될 것이다”라고 예언하였다고 한다. 그녀가 15세가 되어 김인규의 아들 김지효(金之孝)와 혼인을 약속하였는데 김지효가 신부집 문에 이르러 병이 발작하여 사경을 헤메었다. 이에 임원후가 결혼을 물리고 점쟁이에게 점을 쳐 보았더니, 점쟁이가 여인이 왕후가 될 운명이라고 말했다. 그러나 이 소문이 당대의 세도가 이자겸의 귀에 들어갔다. 이자겸은 자신의 3녀와 4녀를 왕비로 시집을 보냈는데 임원후의 딸이 왕비가 된다는것이 자신과 가문의 몰락을 의미했으므로 임원후를 개성부사로 강직시켜 버렸다. 1126년(인종 4년) 이자겸의 난이 실패로 돌아감에 따라 인종의 아내이며 이자겸의 두 딸 역시 폐출당하였다. 1126년 음력 6월에 왕후로 간택되어 입궁하였다.

책비 이후

앞서 어린 인종이 즉위하자 인종의 외조부인 이자겸은 자신의 3녀와 4녀를 인종의 아내로 시집 보냈다. 즉, 인종은 이모와 결혼한 셈이다. 1126년 이자겸의 난이 일어나고, 이자겸의 일가가 몰락하면서 인종의 이모이며 아내였던 이자겸의 3녀와 4녀 역시 폐출당하면서 뒤를 이어 임원후의 딸이 인종의 아내가 되었다.
인종이 붕어하고 의종이 즉위하자 그녀는 태후가 되었다. 1170년 무신정변으로 의종이 퇴위당하고 명종이 즉위하면서 무신들에 의한 정치가 시작되어 항상 마음을 졸이며 살았고 1182년(명종12년) 넷째 아들 충희가 사망하였을 때 무신들에 의해 화를 당한 것이라 생각하고 충격을 못 이겨 병을 얻었다.
1183년(명종 13년) 음력 11월에 생을 마감하였다. 능호는 순릉(純陵)이다.
청공조기

실내 산소 농도 유지

외부의 산소를 실내로 들여 산소부족 현상을 초래하는 공기 중 이산화탄소의 농도를 저감하고 적정 산소 농도(약 21%)를 유지한다.

실내 공기 오염물질 제거

조리, 청소 등으로 발생하는 미세먼지와 초미세먼지를 비롯해 일산화탄소, 이산화질소를 제거한다. 
새집증후군 및 헌집증후군을 유발하는 포름알데히드 등의 휘발성 유기화합물과 토양 및 건물의 갈라진 외벽 틈으로 새어 들어오는 라돈 등도 해결한다.
단순 염기서열 길이 다형성

단순 염기서열 길이 다형성(simple sequence length polymorphism, SSLP)은 유전자 표지자로써 중합효소 연쇄 반응에 사용된다. 단순 염기서열 길이 다형성은 다형성의 한 종류로 각 개인마다 차이가 나는 DNA를 이용한 것이다. 단순 염기서열 길이 다형성은 DNA서열에서 반복되는 서열의 횟수가 다른 것을 말한다.

적용

단순 염기서열 길이 다형성을 사용한 예로는 미세부수체(microsatellite)과 미소부수체(minisatellite)가 있다. 미세부수체는 미소부수체보다 DNA표지자로 더 많이 사용되는데, 그 이유는 미소부수체는 염색체의 텔로미어부근에 집중적으로 분포되어있는 반면, 미세부수체는 염색체 전 구간에 고르게 퍼져있다. 또한 다형성을 결정하기위해 중합효소 연쇄 반응을 사용하는데 길이가 25bp정도인 미소부수체보다 13bp 이하인 미세부수체는 중합효소 연쇄 반응을 하였을 때 더 빠른 결과를 얻을 수 있다.

로센버그의 연구

로센버그(Rosenberg)는 전 세계 52개 다른 국가에서 1000명의 사람들에게서 377개의 단순 염기서열길이 다형성을 연구하였다. 중합효소 연쇄 반응과 군집분석(Cluster analysis)을 통하여 로센버그는 개인들을 같은 단순 염기서열 길이 다형성을 가진 집단으로 묶을 수 있었다. 단순 염기서열 길이 다형성은 실험에서 매우 유용하였는데, 그 이유는 개인의 표현형에 영향을 주지 않았기 때문이다.
변양균

생애

경상남도 통영에서 태어났고, 부산에서 초·중·고등학교를 다녔다. 1973년 고려대학교 경제학과를 졸업하고, 제14회 행정고시에 합격하여 공직에 입문하였다. 경제기획원, 재정경제원, 기획예산처의 주요 요직을 거치며 경제개발, 정부 예산 및 국가 기획 분야의 전문 관료로 봉직했다.
1987년 미국 예일대학교에서 경제학 석사 학위를 취득하고, 2002년 서강대학교에서 박사 학위를 취득했다.
노무현 정부에서 기획예산처 차관을 거쳐 기획예산처 장관과 청와대 정책실장을 지냈다. 노무현 대통령의 경제 참모이자 복지비전 설계의 책임자로 노무현 대통령의 경제사회 정책을 기획하고 추진했다. 노무현 정부에서 대통령 정책실장으로 재직하면서 연인이었던 신정아가 근무하는 성곡미술관을 후원하도록 대기업을 압박한 혐의로 기소됐지만 무죄 판결을 받았다.
2015년부터 정보통신기술 벤처기업을 발굴·투자하는 중견 창업투자사 스마일게이트인베스트먼트의 회장으로 취임하였다. 국내 중견 기업인 (주)옵티스 회장으로 역임하면서 쏠리드-옵티스 컨소시엄을 결성해 국내 3대 휴대폰 기업인 팬택의 인수를 추진한 바 있다.
언턴드

《언턴드》(Unturned)는 좀비 서바이벌 코믹 호러 게임이다. Smartly Dressed Games의 창업자이자 현재 유일한 개발자인 Nelson Sexton이 개발했다. 스팀에서 무료로 배포하고 있으며, 2014년 8월 현재 스팀에서 가장 많이 플레이된 게임으로 열 손가락 안에 꼽히고 있다.
언턴드의 뜻은 사전적 의미로 '뒤집어지지 않은'이다. 즉, Turned가 변하다라는 뜻도 있기 때문에 '좀비로 변하지 않은'이라고도 해석할수 있다. 언턴드는 이번 3탄 업데이트로인해 좀더 쉬운 멀티가 가능해 졌고 도구에 내구성이 새로 생겼다. 일반 맵은 좀비가 나오며 농장, 캠핑장, 도시, 마을 등이 있다.
멀티플레이어로 다른 사람과 협력하거나 경쟁해서 살아남는 게임이다.
국민임대주택

국민임대주택은 지자체나 한국토지주택공사 등에서, 일정 소득수준 이하의 저소득층을 배려해 시행하는 장기임대 주택으로, 공공임대주택과 달리 분양전환이 되지 않는다. 국민임대를 목적으로 건설하는 주택은 대개 14~20평대이며, 지방자치단체나 한국토지주택공사, 그외 에스에이치 공사 등 주택 사업 분야의 지방 공사가 시행한다.

무주택 세대

입주를 원하는 가구의 세대주나 주민등록상 가족 전원이 무주택자여야 한다. 국민임대주택은 집 없는 서민을 위한 정책인만큼, 이 조건을 충족하지 못하면 입주할 수 없다.
경쟁성 분석

경쟁성 분석은 온라인 알고리즘을 분석하기 위해 발명된 방법으로, (예측불가능한 요건들을 충족시켜야하는, 즉 미래를 보지 못하고 각각 주어진 요건을 해결해야하는)온라인 알고리즘의 성능과 (요건들을 미리 확인하는) 최적의 오프라인 알고리즘의 성능을 비교한다. 주어진 알고리즘은 그 알고리즘의 경쟁성 비율(competitive ratio)-온라인 알고리즘의 성능과 오프라인 알고리즘의 성능의 비율-가 제한(bounded)되어 있을 때 경쟁성이 있다고 말한다. 알고리즘의 성능이 "어려운" 입력으로만 측정되는 기존의 전통적인 wort-case analysis와 다르게, 경쟁성 분석에서는 알고리즘이 어려운 입력과 쉬운 입력 둘다에서 수행을 잘 해야한다. 이때 "어려움"과 "쉬움"은 최적의 오프라인 알고리즘의 성능으로 결정된다.
많은 알고리즘에서, 성능은 입력의 크기뿐만 아니라 이의 값에 좌우된다. 한 가지 예로 들 수 있는 것은 퀵 정렬 알고리즘이다. 이런 데이터-의존적인 알고리즘은 평균 케이스의 데이터와 최악의 케이스의 데이터에 대해서 분석된다. 경쟁성 분석은 온라인 알고리즘과 무작위 알고리즘의 최악의 케이스 분석을 하는 한 방법이며, 이 둘은 보통 데이터 의존적인 알고리즘이다.
경쟁성 분석에서는 일부러 어려운 데이터를 선택하는 '상대(adversary)'를 가정하여, 분석되고 있는 알고리즘과 최적의 알고리즘 간의 비용의 비율을 최대화한다. 가정되고 있는 '상대'는 알고리즘의 무작위적인 선택에 대한 지식이 전혀 없는 무지한 상대(oblivious adversary)와, 알고리즘이 어떻게 작동하는지에 대한 모든 지식을 비롯하여 알고리즘의 매 실행 시점마다의 내부 상태를 알고 있는 적응적인 상대(adaptive adversary)에 이르기까지 다양하다. 잊지 말아야할 점은, 이런 구분이 무작위 알고리즘에서만 의미있다는 것이다. 결정적인(deterministic) 알고리즘의 경우에는, 두 경우의 '상대' 모두 단순히 알고리즘이 각 미래 시간에 어떤 상태에 있어야 하는지 계산하고, 그에 맞는 어려운 데이터를 결정할 뿐이다.
예를 들어서, 퀵 정렬 알고리즘은 "중심점(pivot)"이라고 부르는 하나의 요소를 선택한다. 이것은 평균적으로, 정렬되고 있는 데이터의 중심으로부터 지나치게 멀지 않은 것이다. 그 후에 퀵 정렬 알고리즘은 데이터를 중심점보다 작은 데이터 무리와, 중심점보다 큰 데이터 무리로 나눈다. 만약 퀵 정렬 알고리즘이 중심점을 결정적인 방법으로 정한다면(예를 들어, 항상 리스트의 첫번째 요소 선택), 상대는 데이터를 미리 정렬하여 퀵 정렬이 최악의 시간(worst-case time)이 걸리도록 할 수 있다. 하지만 만약 퀵 정렬 알고리즘이 무작위로 요소를 골라 중심점으로 만든다면 상대는 무작위 숫자가 무엇인지에 대한 지식이 없으므로 퀵 정렬이 최악의 시간이 걸리도록 데이터를 바꿀 수 없다.
경쟁성 분석으로 처음 분석된 고전적인 온라인 알고리즘은 리스트 업데이트 문제(list update problem)이다. 아이템이 담긴 리스트와 아이템들에 대한 순차적인 요구가 주어졌을 때, 리스트의 앞부분에 가까울수록 접근에 대한 비용이 적은 것을 가정하고 리스트에 접근하는 비용을 최소화한다. (일반적으로, 아이템에 접근하는 비용은 아이템이 리스트에 있는 위치에 동일하다) 한번의 접근 후, 리스트는 재배열될 수 있다. 대부분의 재배열은 비용이 발생한다. 앞쪽으로 이동하는 알고리즘은 비용이 없이, 단순히 요청된 아이템을 접근 후 앞으로 옮긴다. 치환 알고리즘은 비용 없이 접근된 아이템과 그 바로 앞의 아이템을 바꾼다. 고전적인 분석 방법은 치환이 어떤 맥락에서는 최적이라는 것을 보여준다. 실제로는, 앞쪽으로 이동하는 알고리즘이 더 유용하다. 경쟁성 분석은 어떤 상대가 치환 알고리즘이 최적의 알고리즘에 비해 임의적인 정도까지 성능을 나쁘게 만들수 있음을 보이는데 사용되며, 반면 앞으로 이동하는 알고리즘은 최적의 알고리즘에 비해 두배 이상 성능을 나쁘게 만들 수 없다.
서버로부터 받은 온라인 리퀘스트의 경우, 경쟁적(competitive) 알고리즘들은 미래의 불확실성을 극복하기 위해 사용된다. 즉, 알고리즘은 미래에 대해서 알지 못하지만 가상의 상대("경쟁자")는 알고 있다. 비슷하게, 경쟁적 알고리즘들은 분산 시스템을 위해서ㄷ 개발되었는데, 여기서 알고리즘은 먼 장소에서 벌어진 일에 대해 알지 못한 채 어떤 장소로 도착하는 요청에 반응해야한다.
이차 형식

수론과 선형대수학에서, 이차 형식(二次形式, 영어: quadratic form)은 다변수 2차 동차다항식이다.

비트 소거 정리

임의의 표수의 체  위의 이차 공간 , , 이 주어졌다고 하자.
비트 소거 정리(영어: Witt cancellation theorem)에 따르면, 만약 이라면, 이다.

분류

이차 형식의 동치에 대한 분류는 수론과 선형대수학에서 매우 중요한 문제이다.

국소체 위의 이차 형식의 분류

p진수체 위의 이차 형식은 그 계수와 하세-비트 불변량에 따라 완전히 분류된다. 마찬가지로 다른 국소체 위의 이차 형식도 완전히 분류되었다.

응용

이차 형식의 이론은 다른 여러 수학 분야와 밀접한 관계를 가진다.

대수기하학

임의의 0이 아닌 n변수 이차 형식은 사영 공간에 n-2차원 이차 초곡면을 정의한다. 이런 관점에서, 3변수 2차형식은 원뿔 곡선에 대응된다.

모듈러 형식

임의의 이차 형식에 대하여 세타 함수를 정의할 수 있으며, 이는 모듈러 형식을 이룬다. 이를 일반화하여 힐베르트 모듈러 형식 · 지겔 모듈러 형식 · 야코비 형식 등의 이론이 이차 형식 이론과 깊은 관계를 가진다.

격자 이론

정수 계수의 이차 형식은 유클리드 공간 속의 격자의 이론과 밀접한 관계를 가진다. 이를 통해 이차 형식 이론은 민코프스키의 수 기하학(영어: geometry of numbers)이나 코드 이론(영어: coding theory), 암호학 등에 응용된다.

고대 수학에서의 이차 형식

특수한 정수 계수 이차 형식의 연구는 고대 수학에서 이미 등장한다. 한 예는 정수 계수 2변수 이차 형식 의 상을 계산하는 문제로, 이는 피타고라스 수에 관련된다. 이 문제는 1640년에 피에르 드 페르마가 페르마의 두 제곱수 정리로서 해결하였다.
기원후 7세기에 인도의 수학자 브라마굽타는 펠 방정식의 해를 제시하였다. 이 역시 특수한 2변수 이차 형식 을 연구하는 문제이다.

19세기 이차 형식 이론

1801년에 카를 프리드리히 가우스는 《산술 연구》(영어: Disquisitiones Arithmeticae)에서 정수 계수 2변수 이차 형식을 체계적으로 연구하였다.
1852년에 제임스 조지프 실베스터는 실수 계수 이차 형식을 실베스터 관성 법칙을 통해 완전히 분류하였다. 이 정리의 어원은 실베스터가 오늘날 부호수로 불리는 개념을 "관성"(영어: inertia)이라고 불렀기 때문이다.
1867년에 헨리 존 스티븐 스미스는 스미스-민코프스키-지겔 질량 공식을 최초로 발견하였으나, 널리 알려지지 않았다. 1885년에 헤르만 민코프스키는 박사 학위 논문 에서 이차 형식의 종수(영어: genus)의 개념을 도입하였고, 스미스-민코프스키-지겔 질량 공식을 재발견하였다.

20세기~21세기 이차 형식 이론

헬무트 하세(1898~1979)는 쿠르트 헨젤의 p진수를 유리수 계수 이차 형식의 분류에 도입하여, 하세-민코프스키 정리를 완성하였다. 카를 루트비히 지겔(1896~1982)은 1935년에 민코프스키가 제시한 질량 공식의 오류를 교정하여 스미스-민코프스키-지겔 질량 공식을 완성하였고, 이를 비롯한 세 편의 논문 에서 이차 형식의 해석적 이론을 제창하였다.
에른스트 비트(1911~1991)는 1937년 하빌리타치온 논문 에서 비트 소거 정리와 비트 분해 정리 및 비트 환의 개념을 도입하였고, 이로서 이차 형식의 대수적 이론을 제창하였다.
마르틴 아이클러(독일어: Martin Eichler, 1912~1992)는  스피너 종수(영어: spinor genus)를 사용하여 부정부호 정수 계수 이차 형식을 분류하였으며, 마르틴 크네저(독일어: Martin Kneser, 1928~2004), 한스폴커 니마이어(독일어: Hans-Volker Niemeier, 1940~)는 접착법(영어: gluing method)을 사용하여  낮은 차원의 정부호 정수 계수 이차 형식의 분류를 완성하였다. 현대의 이차 형식 이론은 이차 수체와 모듈러 형식의 이론과 밀접한 관계를 가지며, 현대 수론의 주요 분야로 성장하게 되었다.
우리들에게 날개는 없다 ~Prelude~

개요

당초, 「우리들에게 날개는 없다」가 2008년 6월 28일에 발매 예정이었지만, 제작의 완성도를 높이기 위해 2009년 1월 30일로 발매일이 연기되었기 때문에, 그 대신 이 작품이 발매되었다.
6월 28일을 발매일로 정한 이유는 , 본작품의 메인 스탭인 오쟈쿠손, 니시마타 아오이, 앗쵸리케 등이 일찍이 제작에 참여한 「그것은 흩날리는 벚꽃처럼」(BasiL)의 발매일에 맞추었기 때문이라고 한다.
본편의 1년전을 무대로 한 Prelude 시나리오는 모두 하루에 일어난 사건이며, 본편에는 수록되어 있지 않다.
Limited Edition의 특전으로서 「우리들에게 날개는 없다」의 설정 자료나 지금까지 발표된 오피셜 상품 일러스트, 판촉 일러스트등을 수록한, 올 컬러 일러스트집인 「오리지널 비주얼 콜렉션」이 붙어 있다.

스토리

평범한 사람들이 살아가는 도시 '야나기하라(柳木原)'. 여느 번화가와 크게 다를 것이 없는 이 도시에서, 같은 하늘 아래에서, 여러 사람의 이야기가 태어나고 있다.

어느날의 아스카

본편 「하네다 타카시」편의 메인 히로인인 와타라이 아스카의 시점에서 본 하루.
지갑을 집에 두고 온 아스카는, 낮이 되어서도 돈을 빌리지 못하여 공복인 상태로 거리를 돌아다닌다.

어느날의 미야코

본편 「하네다 타카시」편의 서브 히로인인 야마시나 미야코의 시점에서 본 하루.
미야코는 언제나 학교에 가지 않고, 집에서 자고있었다. 오늘은 기분이 좋아서 학교에 가기로 하는데...

어느날의 미사키

본편에는 비중이 거의 없는 하야시다 미사키의 시점에서 본 하루.
아침에 미사키는 전차 안에서 동경하던 선배인 하네다 타카시에 옆에 붙어 갈 수 있었기에 행복한 상태인데...

치토세 슈스케편 프롤로그

본편 「치토세 슈스케」편의 프롤로그.
프리 아르바이터인 슈스케는, 단골 레스토랑 알렉산더의 지배인인 카루베 카루오의 부탁에 의해. 미팅을 열게 되었다. 참석자는 알렉산더의 웨이트리스인 모치즈키 키나코, 히노 에리코, 그리고 1년 전에 알렉산더에서 일하던 타마이즈미 히요코였다.

나리타 하야토편 프롤로그

본편 「나리타 하야토」편의 프롤로그.
심부름센터로서 움직이던 하야토에게, 이동식 크레이프 가게의 주인인 카스가 하루에가 소개한건 오토리 나루였다. 나루는 사용하던 자전거를 잃어버렸기에, 찾고 있다고 했다.

어느날의 카루오

양식 레스토랑 알렉산더의 지배인인 카루베 카루오의 시점에서 본 하루.
크리스마스가 가까워져 바쁜데 스태프의 대부분이 휴가를 내버려, 여성은 키나코와 에리코 뿐이다. 어쩔 수 없이 카루오가 부른 두 사람은, 카스가 하루에와 요네다 유우였다.

부루부루 극장

Navel의 브랜드 캐릭터인 Navel Girls (네이블 걸스)의 시트라스, 미네오라 탄젤로, 폰칸이 등장하고, 이 작품의 진행을 하거나 본편의 매력에 대해 설명하는.... 만담이다. 총 4번 수록되어있다.
부여경

부여경(扶餘敬)은 당나라로 간 백제 유민 부여융의 손자이다.

생애

의자왕의 증손자이다. 측천무후 때 할아버지인 부여융의 대방군왕(帶方郡王)을 습작하고 위위경에 임명되었다. 그러나 봉지는 신라와 발해에게 넘어가고 말았다. 이외의 행적은 기록이 없어 알 수 없다.
쇠오색딱따구리

쇠오색딱따구리(Lesser spotted woodpecker, Dendrocopos minor, 문화어: 작은알락딱따구리는 딱따구리목 딱따구리과에 속하는 새이다.
쇠오색딱따구리는 구북구가 주 지역이지만, 일부 아종들도 발견된다.

개요

어려서부터 생애 대부분을 높은 나무에서 보낸다.
수컷의 머리 윗부분은 갈색 무늬로 되어있고, 암컷의 것은 검다. 날개와 윗면은 검지만 등 부위는 흰 줄무늬로 되어 있다. 계절적 변화에 따른 차이는 없다.
알의 산란기는 5월 중순 쯤이다.
병용 궤도

병용 궤도(倂用軌道) 혹은 노면 궤도(路面軌道)란 도로상에 부설된 궤도를 의미한다. 노면전차 등에서 잘 찾아볼 수 있는 부설형태이지만 일반적인 철도차량이 달리는 경우도 있는데 그런 식으로 도로상 이외의 장소에 확보된 궤도를 전용궤도라 부른다. 한국의 경우 1968년 모든 노면전차가 폐기되어 병용궤도가 사라졌으나 최근 무가선 노면전차(트램)의 도입계획으로 새롭게 재도입될 예정이며 2013년 한국철도기술연구원이 개발한 매립형 철도 궤도 시스템이 교통 신기술 제 13호로 지정되었다. 매립형 궤도란 철도궤도를 땅 속에 매립하여 설치하는 것을 의미한다.

분기기

궤도의 이동으로 다른 도로 이용자에게 위험을 일으킬 수 있는 곳 또는 자동차 등이 손상을 줄 수 있는 곳에 분기기(노면전차가 운행하는 궤도의 방향을 다른 궤도 방향으로 바꾸기 위한 궤도 구조물을 말한다. 이하 같다)를 설치하여서는 아니 된다.

대피시설

도로연계형 선로의 경우 별도의 대피시설을 설치하지 아니하고 선로를 대피로로 이용할 수 있다.

궤도 배수

궤도는 적절한 배수기능을 갖추어야 하고, 도로 내의 궤도 배수시설은 도로의 배수시설과 연결되도록 하여야 한다.

차량 검지

노면전차의 검지(검지)장치(차량의 현재 위치, 상태 등을 파악하여 필요한 조치를 취할 수 있도록 하는 장치)는 노면전차의 운행속도, 교차로 및 보행자 횡단시설의 안전 등을 고려하여 설치하여야 한다.
쿠르브부아

쿠르브부아(프랑스어: Courbevoie)는 프랑스 일드프랑스 오드센주에 위치한 도시로 면적은 4.17km², 인구는 85,716명(2006년 기준), 인구 밀도는 21,000명/km²이다. 파리에서 8.2km 정도 떨어진 곳에 위치하며 라데팡스의 일부를 형성한다.