open-index/open-wikipedia-markdown huggingface dataset:
엥흐태와니 아리운벌드

**엥흐태와니 아리운벌드**(, 1995년 10월 8일~)는 몽골의 유도 선수이다. 2024년 하계 올림픽에 몽골 국가대표로 참가했으며 세계 선수권 대회에서 은메달 1개, 아시안 게임에서 동메달 1개를 획득했다.

## 경력
1995년 울란바타르에서 태어난 아리운벌드는 몽골 국방부 산하의 스포츠 클럽인 "알다르"에서 유도 선수 경력을 시작했다.

2017년 몽골 군인 유도 국가대표로 발탁된 아리운벌드는 그 해 9월 울란바타르에서 열린 국제 군인 스포츠 협의회(CISM) 동아시아 유도 선수권 대회에 참가하여 동메달을 획득했다. 이후 2019년에 몽골 국가대표팀에 합류했고 그 해  4월 아랍에미리트 푸자이라에서 열린 아시아 선수권 대회에서 -60kg급 동메달과 혼성 단체전 동메달을 획득했다.

2022년 10월에는 우즈베키스탄 타슈켄트에서 열린 2022년 세계 선수권 대회에서 일본의 다카토 나오히사의 뒤를 이어 은메달을 획득했다.

## 외부 링크
* 
*  엥흐태와니 아리운벌드 - 국제 유도 연맹
*  엥흐태와니 아리운벌드 - Judoinside

분류:1995년 출생
분류:살아있는 사람
분류:20세기 몽골 사람
분류:21세기 몽골 사람
분류:몽골의 남자 유도 선수
분류:몽골의 올림픽 유도 참가 선수
분류:2024년 하계 올림픽 유도 참가 선수
분류:세계 유도 선수권 대회 메달리스트
분류:몽골의 아시안 게임 동메달리스트
분류:아시안 게임 유도 메달리스트
분류:2022년 아시안 게임 메달리스트
분류:2022년 아시안 게임 유도 참가 선수
분류:아시아 유도 선수권 대회 메달리스트
분류:울란바타르 출신
시드 골드스미스

**시드 골드스미스**(Syd Goldsmith, 1938년 7월 27일 ~)는 대만에 거주하는 미국 작가이다. 그는 외교관을 지냈으며, 미국재대만협회 가오슝 분처의 전 처장을 역임했다. 중국어 이름은 **가오쓰원**(高思文)이다.

분류:20세기 미국의 논픽션 작가
분류:20세기 미국의 외교관
분류:21세기 미국의 논픽션 작가
분류:21세기 미국의 외교관
분류:1938년 출생
분류:대만에 거주한 미국인
분류:리투아니아 유대계 미국인
분류:미국의 언론인
분류:살아있는 사람
분류:워싱턴 D.C. 출신
분류:컬럼비아 대학교
프랭크 로텐버그

**프랭크 롤리 라우텐버그**(Frank Raleigh Lautenberg, 1924년 1월 23일 ~ 2013년 6월 3일)은 미국의 정치인으로 미국 뉴저지주 연방상원의원이다.

## 학사
* 컬럼비아 대학교 이학사

## 경력
* 1982.12 ~ 2001.01 제97·98·99·100·101·102·103·104·105·106대 미국 뉴저지주 연방상원의원
* 1997.01 ~ 2001.01 미국 상원 예산위원회 간사
* 2003.01 ~ 2013.06 제108·109·110·111·112·113대 미국 뉴저지주 연방상원의원

## 역대 선거 결과

## 외부 링크

분류:1919년 출생
분류:2001년 사망
분류:폴란드 유대계 미국인
분류:러시아 유대계 미국인
분류:컬럼비아 대학교 동문
분류:20세기 미국의 기업인
분류:21세기 미국의 기업인
분류:20세기 미국의 정치인
분류:21세기 미국의 정치인
분류:미국의 최고경영자
분류:대통령 자유 훈장 수훈자
분류:뉴저지주의 연방 상원의원
분류:뉴저지주의 민주당 당원
분류:알링턴 국립묘지의 매장자
분류:미국의 제2차 세계 대전 참전 육군 군인
일가르 뮈슈키예프

**일가르 개라이 오글루 뮈슈키예프**(, 1990년 10월 5일~)는 아제르바이잔의 유도 선수이다. 2012년 하계 올림픽에 아제르바이잔 국가대표로 참가했으며 세계 선수권 대회에서 동메달 1개, 유럽 선수권 대회에서 동메달 1개를 획득했다.

## 외부 링크
* 
*  일가르 뮈슈키예프 - 국제 유도 연맹
*  일가르 뮈슈키예프 - Judoinside
*  일가르 뮈슈키예프 - Olympedia
*  일가르 뮈슈키예프 - Sports Reference

분류:1990년 출생
분류:살아있는 사람
분류:20세기 아제르바이잔 사람
분류:21세기 아제르바이잔 사람
분류:아제르바이잔의 남자 유도 선수
분류:아제르바이잔의 올림픽 유도 참가 선수
분류:2012년 하계 올림픽 유도 참가 선수
분류:세계 유도 선수권 대회 메달리스트
분류:2015년 유러피언 게임 유도 참가 선수
분류:유럽 유도 선수권 대회 메달리스트
분류:간자 출신
체포 마실렐라

**피터 체포 마실렐라**(, 1985년 5월 5일 ~ )는 레프트백으로 뛰었던 남아프리카 공화국의 전직 프로 축구 선수이다.

## 구단 경력
마실렐라는 프리미어 사커 리그 데뷔 전에 국제 무대에 완전히 데뷔했다. 같은 맥락에서 고국에서 1부 리그 축구에서 단 한 시즌 만에 이스라엘 클럽 마카비 하이파로 이적했다.

### 마카비 하이파
마실렐라는 2007년 8월 31일, 마카비 하이파와 4년 계약을 체결했다. 그는 마카비 하이파가 이스라엘 챔피언십에서 우승하고 UEFA 챔피언스리그에 진출하는 데 중요한 역할을 했다. 마실렐라는 2009-10년 시즌에 13개의 어시스트와 1골을 기록했다. 2011년 6월에는 2년 계약으로 계약을 연장했다.

#### 헤타페로의 임대
2011년 8월 20일, 마실렐라는 마카비 하이파와 한 시즌 동안의 임대 계약을 맺고 스페인 라리가 클럽 헤타페에 합류했다. 그는 헤타페와의 임대 계약이 만료된 후 마카비 하이파로 돌아갔다.

### 카이저 치프스
마실렐라는 해외에서 5년을 보낸 후 2012년 중반에 남아프리카 공화국으로 돌아와 카이저 치프스와 계약했다. 그는 2012년 11월, 모로카 스월로스와의 경기에서 3-2로 승리하며 데뷔했다.

## 국가대표팀 경력
마실렐라는 내셔널 퍼스트 디비전에서 캠페인을 벌이는 동안 처음으로 소집된 선수였다. 2006년부터 남아프리카 공화국 국가대표팀으로 합류해 활약하며 2006년 아프리카 네이션스컵, 2008년 아프리카 네이션스컵, 2009년 FIFA 컨페더레이션스컵, 2010년 FIFA 월드컵, 2013년 아프리카 네이션스컵에 참가했다.

## 각주

## 외부 링크

* Getafe official profile  
* 2010 FIFA World Cup profile (archived)
* 
* 
* 

분류:1985년 출생
분류:살아있는 사람
분류:남아프리카 공화국의 남자 축구 선수
분류:남아프리카 공화국 남자 축구 국가대표팀 선수
분류:남아프리카 공화국의 해외 진출 남자 축구 선수
분류:남자 축구 레프트백
분류:마카비 하이파 FC의 축구 선수
분류:헤타페 CF의 축구 선수
분류:카이저 치프스 FC의 축구 선수
분류:아마줄루 FC의 축구 선수
분류:리갓 하알의 축구 선수
분류:라리가의 축구 선수
분류:이스라엘의 외국인 남자 축구 선수
분류:이스라엘에 거주한 남아프리카 공화국인
분류:스페인의 외국인 남자 축구 선수
분류:스페인에 거주한 남아프리카 공화국인
분류:2006년 아프리카 네이션스컵 참가 선수
분류:2008년 아프리카 네이션스컵 참가 선수
분류:2009년 FIFA 컨페더레이션스컵 참가 선수
분류:2010년 FIFA 월드컵 참가 선수
분류:2013년 아프리카 네이션스컵 참가 선수
로이크 피에트리

**로이크 피에트리**(, 1990년 8월 27일~)는 프랑스의 유도 선수이다. 2012년 하계 올림픽에 프랑스 국가대표로 참가했으며 세계 선수권 대회에서 금메달 1개, 은메달 1개, 동메달 2개, 유럽 선수권 대회에서 은메달 1개, 동메달 1개를 획득했다.

## 외부 링크
* 
*  로이크 피에트리 - 국제 유도 연맹
*  로이크 피에트리 - Judoinside
*  로이크 피에트리 - Olympedia
*  로이크 피에트리 - Sports Reference

분류:1990년 출생
분류:살아있는 사람
분류:20세기 프랑스 사람
분류:21세기 프랑스 사람
분류:프랑스의 남자 유도 선수
분류:프랑스의 올림픽 유도 참가 선수
분류:2016년 하계 올림픽 유도 참가 선수
분류:세계 유도 선수권 대회 메달리스트
분류:프랑스의 유러피언 게임 동메달리스트
분류:유러피언 게임 유도 메달리스트
분류:2015년 유러피언 게임 메달리스트
분류:2015년 유러피언 게임 유도 참가 선수
분류:유럽 유도 선수권 대회 메달리스트
분류:니스 출신
분류:프로방스알프코트다쥐르 출신 스포츠인
분류:이탈리아계 프랑스인
스르잔 므르발레비치

**스르잔 므르발레비치**(, 1984년 5월 16일~)는 몬테네그로의 전직 유도 선수이다. 2008년, 2012년, 2016년 하계 올림픽에 참가했고 세계 유도 선수권 대회에서 은메달 1개를 획득했다.

## 외부 링크
* 
* 
*  스르잔 므르발레비치 - 국제 유도 연맹
*  스르잔 므르발레비치 - Judoinside
*  스르잔 므르발레비치 - Olympedia
*  스르잔 므르발레비치 - Sports Reference

분류:1984년 출생
분류:살아있는 사람
분류:20세기 몬테네그로 사람
분류:21세기 몬테네그로 사람
분류:몬테네그로의 남자 유도 선수
분류:몬테네그로의 올림픽 유도 참가 선수
분류:2008년 하계 올림픽 유도 참가 선수
분류:2012년 하계 올림픽 유도 참가 선수
분류:2016년 하계 올림픽 유도 참가 선수
분류:세계 유도 선수권 대회 메달리스트
분류:2015년 유러피언 게임 유도 참가 선수
분류:2019년 유러피언 게임 유도 참가 선수
분류:몬테네그로의 지중해 게임 금메달리스트
분류:지중해 게임 유도 메달리스트
분류:2013년 지중해 게임 메달리스트
분류:2013년 지중해 게임 유도 참가 선수
분류:베오그라드 출신
분류:세르비아계 몬테네그로인
밥 레이놀즈

**로버트 앨런 레이놀즈**(, 1947년 1월 21일~)는 미국의 프로 야구 선수이다. 1969년부터 1975년까지 메이저 리그 베이스볼(MLB)에서 구원 투수로 뛰었다. 우투우타였으며, 선수 시절 183cm와 92kg의 체격을 지녔었다. 시속 100마일이 넘는 공을 던질 수 있어 "**불릿**"(, 총알)이라는 별명으로 불리기도 했다.

## 선수 경력
미국 워싱턴주 시애틀에 있는 잉그래엄 고등학교 출신의 레이놀즈는 1966년 메이저 리그 베이스볼 드래프트에서 1라운드 전체 18순위로 샌프란시스코 자이언츠의 지명을 받았다. 이후 1968년 메이저 리그 베이스볼 확장 드래프트에서 신생팀 몬트리올 엑스포스의 지명을 받았다.

1969년 9월 19일 필라델피아 필리스와의 경기에서 메이저 리그 데뷔전을 치렀는데, 선발투수로 나서 이닝 동안 3피안타 3볼넷 6실점(3자책)을 기록한 뒤 강판되었다. 이 경기가 몬트리올 엑스포스 소속으로 치른 유일한 경기였으며, 이후 세인트루이스 카디널스, 밀워키 브루어스, 볼티모어 오리올스, 디트로이트 타이거스, 클리블랜드 인디언스를 거쳤다.

볼티모어 시절이던 1973년 시즌에 42경기에 출전해 111이닝 동안 7승 5패, 9세이브, 평균자책점 1.95, 77탈삼진 등을 기록하며 가장 준수한 성적을 거뒀다. 이듬해인 1974년에도 54경기에 출전해 이닝을 소화하며 7승 5패, 7세이브, 평균자책점 2.73, 43탈삼진을 기록했다. 또한 두 해 모두 아메리칸 리그 챔피언십 시리즈에도 출전했다.

메이저 리그 통산 6시즌 동안 140경기에 출전해 이닝 동안 14승 16패, 21세이브, 평균자책점 3.15, 167탈삼진을 기록했다. 메이저 리그를 떠난 후에는 멕시칸 리그와 일본 프로 야구의 다이요 웨일스 등지에서 선수 생활을 이어갔다.

## 각주

## 외부 링크

분류:1947년 출생
분류:살아있는 사람
분류:워싱턴주 출신 야구 선수
분류:메이저 리그 베이스볼 투수
분류:일본 프로 야구 투수
분류:몬트리올 엑스포스 선수
분류:세인트루이스 카디널스 선수
분류:밀워키 브루어스 선수
분류:볼티모어 오리올스 선수
분류:디트로이트 타이거스 선수
분류:클리블랜드 인디언스 선수
분류:다이요 웨일스 선수
분류:미국의 캐나다 진출 야구 선수
분류:미국의 일본 진출 야구 선수
분류:미국의 멕시코 진출 야구 선수
위안샤오차오

**위안샤오차오**(, Jayden Yuan, 1988년 8월 7일 ~ )는 중국의 무술 선수이다.

분류:20세기 중국 사람
분류:21세기 중국의 남자 배우
분류:1988년 출생
분류:2006년 아시안 게임 메달리스트
분류:2006년 아시안 게임 우슈 참가 선수
분류:2010년 아시안 게임 메달리스트
분류:2010년 아시안 게임 우슈 참가 선수
분류:산둥성 출신 스포츠인
분류:살아있는 사람
분류:우슈 선수
분류:중국의 남자 무술가
분류:중국의 남자 영화 배우
분류:중국의 월드 게임 금메달리스트
분류:중화인민공화국의 아시안 게임 금메달리스트
분류:허쩌시 출신
왕샤오청

**왕샤오청**(, 1990년 8월 7일 ~ )은 중국의 배우이다.

## 외부 링크
* 

분류:20세기 중국의 여자
분류:21세기 중국의 여자 배우
분류:1990년 출생
분류:살아있는 사람
분류:중국의 여자 영화 배우
분류:중국의 여자 텔레비전 배우
분류:충칭시 출신
다르다니아 왕국

섬네일|250px|기원전 3세기 후반 다르다니아 왕국의 대략적 영역.
**다르다니아 왕국**()은 고전 고대에 발칸반도 중부에 있던 정체(政體)이다. 다르다니아 정체의 핵심을 이루던 다르다니아인(Dardani)의 이름을 땄다. 다르다니아의 영토는 오늘날의 코소보 지역을 중심으로 하였고, 이외에 현재 북마케도니아, 세르비아, 알바니아에 해당하는 일부 지역도 포함하였다. 다르다니아인은 고발칸 부족의 하나로, 당대 문헌에서는 일리리아인의 일파로 언급된다. 다르다니아의 동부 지역은 트라키아어와 일리리아어의 상호 접촉 지역이었다.

켈트족의 침략으로 마케도니아의 세력이 약화된 이후 다르다니아는 이 지역에서 강성해졌다. 기원전 230년 다르다니아의 일리리아인 왕이던 롱가루스는 파이오니아의 빌라조라를 함락시켰고, 기원전 230~229년 이들은 안티고노스 왕조 마케도니아의 국왕 데메트리오스 2세 아에톨리코스를 격파하였다.

기원전 28년, 마케도니아 속주의 지방총독(proconsul)이던 마르쿠스 리키니우스 크라수스(삼두정치의 수장이던 마르쿠스 리키니우스 크라수스의 손자)는 다키아인과 바스타르나이에 대한 원정 중에 왕국을 공식적으로 합병하였다. 이후 이 지역은 기원전 15년 모이시아 속주로 편입되었다가 기원후 293년에는 다시 다르다니아 속주(Dardania)로 편성되었다.

## 같이 보기
* 다르다니아인
* 코소보의 역사
* 일리리아인

분류:모이시아
분류:옛 왕국
분류:기원전 1세기 폐지
분류:인도유럽 부족
분류:코소보의 고고학
류청하오

**류청하오**(, 1982년 8월 7일 ~ )는 중국의 배우이다.

분류:20세기 중국 사람
분류:21세기 중국의 남자 배우
분류:1982년 출생
분류:베이징 영화 학원 동문
분류:살아있는 사람
분류:상하이시 출신
분류:중국의 남자 영화 배우
분류:중국의 남자 텔레비전 배우
다르다니

**다르다니**는 다음을 가리킨다.

* 다르다니(Dardagny): 스위스 제네바주의 지자체
* 다르다니아(Dardania): 고대 발칸반도의 지역
** 다르다니아 왕국
** 다르다니아인(Dardani)
** 다르다니아 속주
콜레산타루차

**콜레산타루차** (Colle Santa Lucia)는 이탈리아 베네토주의 벨루노도에 위치한 코무네 (지방자치단체)이다. 베네치아에서 북쪽 약 , 벨루노에서 북쪽 약  거리에 있다. 이곳 주민들은 라딘어의 많은 영향을 받은 '라딘 베네토어'라고 칭해지는 베네토어 방언을 구사한다.

알레게, 코르티나담페초, 리비날론고델콜디라나, 로카피에토레, 산비토디카도레, 셀바디카도레 등과 경계를 맞대고 있다.

## 인구 변화

Colors=
  id:lightgrey value:gray(0.9)
  id:darkgrey  value:gray(0.8)
  id:sfondo value:rgb(1,1,1)
  id:barra value:rgb(0.6,0.7,0.8)

ImageSize  = width:455 height:303
PlotArea   = left:50 bottom:50 top:30 right:30
DateFormat = x.y
Period     = from:0 till:1000
TimeAxis   = orientation:vertical
AlignBars  = justify
ScaleMajor = gridcolor:darkgrey increment:1000 start:0
ScaleMinor = gridcolor:lightgrey increment:200 start:0
BackgroundColors = canvas:sfondo

BarData=
  bar:1861 text:1861
  bar:1871 text:1871
  bar:1881 text:1881
  bar:1901 text:1901
  bar:1911 text:1911
  bar:1921 text:1921
  bar:1931 text:1931
  bar:1936 text:1936
  bar:1951 text:1951
  bar:1961 text:1961
  bar:1971 text:1971
  bar:1981 text:1981
  bar:1991 text:1991
  bar:2001 text:2001

PlotData=
  color:barra width:20 align:left

  bar:1861 from: 0 till:0
  bar:1871 from: 0 till:0
  bar:1881 from: 0 till:0
  bar:1901 from: 0 till:0
  bar:1911 from: 0 till:0
  bar:1921 from: 0 till:754
  bar:1931 from: 0 till:719
  bar:1936 from: 0 till:664
  bar:1951 from: 0 till:677
  bar:1961 from: 0 till:623
  bar:1971 from: 0 till:603
  bar:1981 from: 0 till:556
  bar:1991 from: 0 till:480
  bar:2001 from: 0 till:418

PlotData=

  bar:1861 at:0 fontsize:XS text: ? shift:(-8,5)
  bar:1871 at:0 fontsize:XS text: ? shift:(-8,5)
  bar:1881 at:0 fontsize:XS text: ? shift:(-8,5)
  bar:1901 at:0 fontsize:XS text: ? shift:(-8,5)
  bar:1911 at:0 fontsize:XS text: ? shift:(-8,5)
  bar:1921 at:754 fontsize:XS text: 754 shift:(-8,5)
  bar:1931 at:719 fontsize:XS text: 719 shift:(-8,5)
  bar:1936 at:664 fontsize:XS text: 664 shift:(-8,5)
  bar:1951 at:677 fontsize:XS text: 677 shift:(-8,5)
  bar:1961 at:623 fontsize:XS text: 623 shift:(-8,5)
  bar:1971 at:603 fontsize:XS text: 603 shift:(-8,5)
  bar:1981 at:556 fontsize:XS text: 556 shift:(-8,5)
  bar:1991 at:480 fontsize:XS text: 480 shift:(-8,5)
  bar:2001 at:418 fontsize:XS text: 418 shift:(-8,5)

TextData=
  fontsize:S pos:(20,20)
  text:Data from ISTAT


## 외부 링크

분류:베네토주의 도시
분류:벨루노도의 코무네
하야미 슈헤이

**하야미 슈헤이**(, 2000년 11월 11일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2023년 J2리그의 이와키 FC에 입단했다. 2025년 J3리그의 반라우레 하치노헤로 이적했다.

## 각주

## 외부 링크
*

분류:2000년 출생
분류:살아있는 사람
분류:20세기 일본 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:시즈오카현 출신 축구 선수
분류:남자 축구 수비수
분류:J2리그의 축구 선수
분류:J3리그의 축구 선수
분류:이와키 FC의 축구 선수
분류:반라우레 하치노헤의 축구 선수
다니구치 유스케

**다니구치 유스케**(, 1995년 8월 11일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2017년 7월 일본 지역 리그의 본즈 이치하라에 입단했다. 2020년 브리오베카 우라야스로 이적했다. 2023년부터 일본 풋볼 리그로 승격했다. 2023년 5월 J3리그의 반라우레 하치노헤로 이적했다.

## 각주

## 외부 링크
*

분류:1995년 출생
분류:살아있는 사람
분류:20세기 일본 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:군마현 출신 축구 선수
분류:남자 축구 골키퍼
분류:J3리그의 축구 선수
분류:반라우레 하치노헤의 축구 선수
마쓰나가네 유토

**마쓰나가네 유토**(, 2004년 9월 14일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2023년 J1리그의 가와사키 프론탈레에 입단했다. 2023년 천황배 우승을 차지했다. 2024년 J3리그의 후쿠시마 유나이티드 FC로 이적했다.

## 각주

## 외부 링크
*

분류:2004년 출생
분류:살아있는 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:가나가와현 출신 축구 선수
분류:남자 축구 수비수
분류:J1리그의 축구 선수
분류:J3리그의 축구 선수
분류:가와사키 프론탈레의 축구 선수
분류:후쿠시마 유나이티드 FC의 축구 선수
니니안 스마트

**로드릭 니니안 스마트**(Roderick Ninian Smart, 1927년 5월 6일 – 2001년 1월 29일)는 스코틀랜드의 작가이자 대학 교육자였다. 그는 세속 종교 연구 분야의 선구자였다. 그는 종교에 대한 7차원 정의로 가장 잘 알려져 있다.
## 생애
1967년에 그는 새로운 랭커스터 대학교에 영국 최초의 종교학과를 설립했으며, 그곳에서 그는 이미 버밍엄 대학교에서 영국에서 가장 크고 권위 있는 신학과 중 하나를 의장으로 역임한 부총장이기도 했다. 1976년에 그는 캘리포니아 대학교 산타바바라 캠퍼스의 종교 비교 연구 분야의 첫 번째 JF Rowny 교수가 되었다. Smart는 1979-80년에 Gifford Lectures를 발표했다. 1996년에 그는 UC Santa Barbara의 최고 교수직인 학술 상원의 연구 교수로 임명되었다. 2000년에 그는 미국 종교 아카데미(American Academy of Religion)의 회장으로 선출되는 동시에 세계 평화를 위한 종교 간 연맹(Inter Religious Federation for World Peace)의 회장직을 유지했다. 스마트는 사망 당시 두 직함을 모두 보유하고 있었다.

분류:1927년 출생
분류:2001년 사망
조조 간타

**조조 간타**(, 2001년 2월 15일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2023년 J3리그의 후쿠시마 유나이티드 FC에 입단했다.

## 각주

## 외부 링크
*

분류:2001년 출생
분류:살아있는 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:사이타마현 출신 축구 선수
분류:남자 축구 미드필더
분류:J3리그의 축구 선수
분류:후쿠시마 유나이티드 FC의 축구 선수
고지마군

**고지마군**（児島郡）은 오카야마현(비젠국)에 있던 군이다.
frame|오카야마현 고지마군의 위치

## 역사
* 1974년 3월 20일 - 도지정이 오카야마시에 편입하였다.
* 1975년 5월 1일 - 후지타촌이 오카야마시에 편입하였다.
* 2005년 3월 22일 - 나다사키정이 오카야마시에 편입, 동일 고지마군은 폐지되었다.

## 참고문헌
* 永山卯三郎『岡山県通史 上巻』岡山県通史刊行会（1930年）
* 永山卯三郎『岡山県通史 下巻』岡山県通史刊行会（1930年）
* 池邊彌『和名類聚抄郷名考証』吉川弘文館（1966年）
* 
* 旧高旧領取調帳データベース


분류:오카야마현의 폐지된 군
분류:비젠국의 군
분류:오카야마시의 역사
분류:구라시키시의 역사
분류:다마노시의 역사
스가와라 류노스케

**스가와라 류노스케**(, 2000년 7월 28일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2023년 J2리그의 베갈타 센다이에 입단했다. 2024년까지 21경기에 출전하여, 2득점을 넣었다. 2025년 J3리그의 도치기 SC로 이적했다.

## 각주

## 외부 링크
*

분류:2000년 출생
분류:살아있는 사람
분류:20세기 일본 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:미야기현 출신 축구 선수
분류:남자 축구 공격수
분류:J1리그의 축구 선수
분류:J2리그의 축구 선수
분류:J3리그의 축구 선수
분류:베갈타 센다이의 축구 선수
분류:도치기 SC의 축구 선수
호리우치 요타

**호리우치 요타**(, 2004년 7월 8일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2023년 J3리그의 우라와 레즈에 입단했다. 2025년 J3리그의 도치기 SC로 이적했다.

## 각주

## 외부 링크
*

분류:2004년 출생
분류:살아있는 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:사이타마현 출신 축구 선수
분류:남자 축구 미드필더
분류:J1리그의 축구 선수
분류:J3리그의 축구 선수
분류:우라와 레드 다이아몬즈의 축구 선수
분류:도치기 SC의 축구 선수
다가시라 료타

**다가시라 료타**(, 2002년 2월 7일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2023년 J2리그의 더스파구사쓰 군마(더스파 군마)에 입단했다. 2024년후 J3리그에 강등했다.

## 각주

## 외부 링크
*

분류:2002년 출생
분류:살아있는 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:도쿄도 출신 축구 선수
분류:남자 축구 수비수
분류:J2리그의 축구 선수
분류:J3리그의 축구 선수
분류:더스파 군마의 축구 선수
야마우치 리쿠

**야마우치 리쿠**(, 2000년 8월 2일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2023년 J3리그의 반라우레 하치노헤에 입단했다. 2024년까지 68경기에 출전하여, 1득점을 넣었다. 2025년 더스파 군마로 이적했다.

## 각주

## 외부 링크
*

분류:2000년 출생
분류:살아있는 사람
분류:20세기 일본 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:홋카이도 출신 축구 선수
분류:남자 축구 미드필더
분류:J3리그의 축구 선수
분류:반라우레 하치노헤의 축구 선수
분류:더스파 군마의 축구 선수
아다치 슈토

**아다치 슈토**(, 2004년 7월 15일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2023년 J1리그의 비셀 고베에 입단했다. 2024년 J3리그의 이와테 그루자 모리오카로 이적했다. 2025년 더스파 군마로 이적했다.

## 각주

## 외부 링크
*

분류:2004년 출생
분류:살아있는 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:구마모토현 출신 축구 선수
분류:남자 축구 미드필더
분류:J1리그의 축구 선수
분류:J3리그의 축구 선수
분류:비셀 고베의 축구 선수
분류:이와테 그루자 모리오카의 축구 선수
분류:더스파 군마의 축구 선수
교토쿠 에이

**교토쿠 에이**(, 2004년 12월 17일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2023년 J1리그의 나고야 그램퍼스에 입단했다. 2024년 7월 J3리그의 AC 나가노 파르세이루로 이적했다.

## 각주

## 외부 링크
*

분류:2004년 출생
분류:살아있는 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:시즈오카현 출신 축구 선수
분류:남자 축구 수비수
분류:J1리그의 축구 선수
분류:J3리그의 축구 선수
분류:나고야 그램퍼스의 축구 선수
분류:AC 나가노 파르세이루의 축구 선수
가토 다이스케 (축구 선수)

**가토 다이스케**(, 1998년 10월 6일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2021년 일본 지역 리그의 브리오베카 우라야스에 입단했고, 2년동안 팀에서 뛰었다. 2023년 J3리그의 SC 사가미하라로 이적했다.

## 각주

## 외부 링크
*

분류:1998년 출생
분류:살아있는 사람
분류:20세기 일본 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:가나가와현 출신 축구 선수
분류:남자 축구 수비수
분류:J3리그의 축구 선수
분류:SC 사가미하라의 축구 선수
네스팅 (동음이의)

**네스팅**(nesting)은 아래 뜻을 함의한다.
* 둥지 틀기
* 네스팅: 투표 구역을 합치거나 분할하는 과정
* 네스팅 (컴퓨팅)
* 다중근호(Nested radical)
* 축소구간정리(Nested intervals)

## 같이 보기
* 네스트
VCDIFF

**VCDIFF**는 델타 부호화를 위한 형식 및 알고리즘으로, IETF의 RFC 3284에 설명되어 있다. 이 알고리즘은 존 벤틀리와 더글러스 매킬로이가 1999년에 작성한 논문 "긴 공통 문자열을 사용한 데이터 압축"(Data Compression Using Long Common Strings)을 기반으로 한다. VCDIFF는 "HTTP의 델타 부호화"(RFC 3229)에서 델타 부호화 알고리즘 중 하나로 사용되며, 이전에 구글의 크롬 브라우저에서 사용되었던 Shared Dictionary Compression Over HTTP 기술에 적용되었다.

## 델타 명령어
VCDIFF에는 세 가지 델타 명령어가 있다: ADD, COPY, RUN. ADD는 새로운 시퀀스를 추가하고, COPY는 기존 시퀀스에서 복사하며, RUN은 반복되는 데이터를 추가한다.

## 구현
자유 소프트웨어 구현으로는 xdelta (버전 3) 및 open-vcdiff가 있다.
* 구글의 Shared Dictionary Compression Over HTTP 제안은 이 알고리즘을 사용하며, 구글 크롬 브라우저 버전 58까지 포함되었다.
* xdelta - 오픈 소스 VCDIFF 델타 압축 구현 도구
* google/open-vcdiff - 또 다른 오픈 소스 VCDIFF 델타 압축 구현
* vczip 는 vcodex 및 ast-open 패키지의 일부 (또한 UWIN의 일부)
* diffable - 자바 구현, 그러나 VCDIFF의 일종의 원본 수정
* jvcdiff - VCDIFF의 전체 디코더/인코더 자바 구현
* vcdiff-java - 또 다른 VCDIFF 자바 구현
* Miscellaneous Utility Library  - C# 구현, 디코딩 전용
* CyanDelta - Xdelta3 패치를 사용하여 시아노젠모드 롬을 업데이트한다.

## 같이 보기
* 델타 부호화
* 데이터 차분화

## 각주

## 외부 링크
* RFC 3284 - VCDIFF 일반 차분 및 압축 데이터 형식

분류:데이터 디퍼런싱
스타일시트 언어

[섬네일|스타일시트 언어인 [CSS의 스냅샷]]
**스타일시트 언어**(Style sheet language) 또는 **스타일 언어**는 구조적 문서의 표현을 나타내는 컴퓨터 언어이다. 구조적 문서의 매력적인 특징 중 하나는 콘텐츠를 여러 상황에서 재사용하고 다양한 방식으로 표현할 수 있다는 것이다. 다른 스타일시트를 논리적 구조에 첨부하여 다른 표현을 생성할 수 있다.

널리 사용되는 현대적인 스타일시트 언어 중 하나는 HTML, XHTML, 확장형 벡터 그래픽, XUL 및 기타 마크업 언어로 작성된 문서를 스타일링하는 데 사용되는 캐스케이딩 스타일시트이다.

구조적 문서의 콘텐츠를 표현하려면 색상, 글꼴 및 레이아웃과 같은 스타일 규칙 세트가 적용되어야 한다. 스타일 규칙 모음을 스타일시트라고 한다. 서면 문서 형태의 스타일시트는 편집자와 인쇄인이 표현, 철자 및 구두점의 일관성을 보장하기 위해 오랫동안 사용해 왔다. 전자 출판에서는 스타일시트 언어가 주로 철자 및 구두점보다는 시각적 표현의 맥락에서 사용된다.

## 구성 요소
모든 스타일시트 언어는 다음 영역에서 기능을 제공한다.

; 구문:스타일시트 언어는 기계가 읽을 수 있는 방식으로 표현되기 위해 구문이 필요하다. 예를 들어, CSS 구문으로 작성된 간단한 스타일시트가 있다.

```css
h1 { font-size: 1.5em }
```

이것은 1단계 제목이 주변 텍스트 글꼴 크기의 1.5배 글꼴 크기로 표시되어야 함을 나타낸다.

; 선택자:선택자는 스타일 규칙의 영향을 받을 요소를 지정한다. 따라서 선택자는 문서의 구조와 스타일시트의 스타일 규칙 사이의 연결 고리이다. 위 예에서 "h1" 선택자는 모든 h1 요소를 선택한다. 더 복잡한 선택자는 예를 들어 컨텍스트, 속성 및 콘텐츠를 기반으로 요소를 선택할 수 있다.

; 속성:모든 스타일시트 언어는 요소 렌더링의 한 측면을 변경하기 위해 값을 부여할 수 있는 속성 개념을 가지고 있다. 위 예에서는 CSS의 "font-size" 속성이 사용된다. 일반적인 스타일시트 언어는 일반적으로 문서 표현을 설명하는 약 50개의 속성을 가지고 있다.

; 값 및 단위:속성은 특정 값이 할당되어 요소의 렌더링을 변경한다. 값은 문자열, 키워드, 숫자 또는 단위 식별자가 있는 숫자일 수 있다. 또한 값은 위에 언급된 여러 값을 포함하는 목록 또는 표현식일 수 있다. 시각적 스타일시트의 일반적인 값은 길이이다. 예를 들어, 숫자(1.5)와 단위(em)로 구성된 "1.5em"이다. CSS의 "em" 값은 주변 텍스트의 글꼴 크기를 나타낸다. 일반적인 스타일시트 언어는 약 10가지 다른 단위를 가지고 있다.

; 값 전파 메커니즘:모든 요소의 모든 속성에 대한 모든 값을 명시적으로 지정하는 것을 피하기 위해 스타일시트 언어에는 값을 자동으로 전파하는 메커니즘이 있다. 값 전파의 주요 이점은 스타일시트가 덜 장황하다는 것이다. 위 예에서는 글꼴 크기만 지정된다. 다른 값은 값 전파 메커니즘을 통해 찾아진다. 상속, 초기값 및 캐스케이딩은 값 전파 메커니즘의 예이다.

; 서식 모델:모든 스타일시트 언어는 어떤 종류의 서식 모델을 지원한다. 대부분의 스타일시트 언어는 최종 표현에서 텍스트 및 기타 콘텐츠가 어떻게 배치되는지 자세히 설명하는 시각적 서식 모델을 가지고 있다. 예를 들어, CSS 서식 모델은 블록 수준 요소(그 중 "h1"이 예이다)가 부모 요소의 너비를 채우도록 확장됨을 지정한다. 일부 스타일시트 언어에는 청각 서식 모델도 있다.

## 각주
아카쓰카 미카엘

**아카쓰카 미카엘**(, 2000년 11월 1일~)는 일본의 축구 선수이다.

## 구단 경력
그는 2023년 J3리그의 아술 클라로 누마즈에 입단했다.

## 각주

## 외부 링크
*

분류:2000년 출생
분류:살아있는 사람
분류:20세기 일본 사람
분류:21세기 일본 사람
분류:일본의 남자 축구 선수
분류:사이타마현 출신 축구 선수
분류:남자 축구 공격수
분류:J3리그의 축구 선수
분류:아술 클라로 누마즈의 축구 선수
W5

**W5**는 아래 뜻을 함의한다.
* W5: 모토로라 ROKR 휴대폰
* W5: 영혼 성운의 전파원
* 미국의 교통표지 W5 시리즈
* W5: 일본 히로시마현 히로시마 전철 하쿠시마선의 역
* 육하원칙(Five Ws): Who? What? When? Where? and Why?
* "Which Was What Was Wanted": Q.E.D.의 다른 표현
변환 언어

**변환 언어**(Transformation language, 트랜스포메이션 랭기지)는 특정 형식 언어로 된 입력 텍스트를 특정 목표를 충족하도록 수정된 출력 텍스트로 변환하도록 설계된 컴퓨터 언어이다.

스트라테고/XT, TXL, 톰, DMS, ASF+SDF와 같은 프로그램 변환 시스템은 모두 변환 언어를 주요 구성 요소로 포함한다. 이러한 시스템의 변환 언어는 입력 텍스트의 구조(일반적으로 문법)에 대한 선언적 설명에 따라 작동하며, 다양한 형식 언어와 문서에 적용할 수 있게 한다.

매크로 언어는 메타 언어를 자바, C++, 포트란과 같은 특정 고급 프로그래밍 언어나 저수준 어셈블리어로 변환하는 변환 언어의 일종이다.

모델 기반 개발 기술 공간에는 주어진 메타모델을 따르는 모델을 입력으로 받아 다른 메타모델을 따르는 모델을 출력으로 생성하는 모델 변환 언어 (MTL)가 있다. 이러한 언어의 한 예는 OMG 표준인 QVT이다.

부트스트랩 방식으로 구현된 Lx 계열과 같은 저수준 언어도 있다. L0 언어는 변환 언어용 어셈블러로 간주될 수 있다. 또한 MOLA라고 불리는 Lx 기반의 고수준 그래픽 언어도 있다.

수많은 XML 변환 언어가 있다. 여기에는 트리티움, XSLT, XQuery, STX, FXT, XDuce, CDuce, 하XML, XML람다, 플렉스XML 등이 포함된다.

## 같이 보기

개념:
* 양방향 변환
* 데이터 컨버전
* 데이터 요소
* 데이터 매핑
* 데이터 이관
* 데이터 트랜스포메이션
* 메타데이터
* 모델 변환
* 그래프 변환
* 개선 (대조)

언어 및 일반적인 변환:
* ATL
* AWK (테이블 데이터 변환)
* 식별 변환
* QVT
* TXL (일반)
* XQuery (XML)
* XSLT (XML)

## 각주


분류:프로그래밍 언어 분류
분류:메타프로그래밍
온 더 플라이

**온 더 플라이**(On the fly)는 변경 사항이 영향을 미치는 프로세스가 진행 중인 동안 변경되는 것을 설명하는 데 사용되는 구문이다. 이는 자동차, 컴퓨터 및 요리 산업에서 사용된다. 자동차에서 온 더 플라이는 자동차가 여전히 주행 중일 때 자동차의 구성을 변경하는 것을 설명하는 데 사용될 수 있다. 자동차가 여전히 주행 중일 때 발생할 수 있는 프로세스에는 일부 자동차에서 2륜 구동과 4륜 구동 간 전환, 일부 컨버터블 자동차에서 지붕 열고 닫기가 포함된다. 컴퓨팅에서 온 더 플라이 CD 라이터는 한 CD에서 데이터를 읽어 컴퓨터 메모리에 저장하지 않고 다른 CD에 쓸 수 있다. 멀티태스킹 운영 체제에서 프로그램을 온 더 플라이로 전환한다는 것은 네이티브 및 에뮬레이트된 프로그램이나 애플리케이션을 일시 중지, 정지 또는 지연시키거나 기타 원치 않는 이벤트 없이 작업을 수행하면서 여전히 실행 중이고 병렬로 실행되는 프로그램이나 애플리케이션 간에 전환할 수 있는 기능을 의미한다. 컴퓨터 부품을 온 더 플라이로 전환한다는 것은 컴퓨터가 여전히 실행 중인 동안 컴퓨터 부품을 교체하는 것을 의미한다. 또한 프로그래밍에서 프로그램이 여전히 실행 중인 동안 프로그램을 변경하는 것을 설명하는 데 사용될 수도 있다. 레스토랑 및 기타 음식 준비와 관련된 장소에서 이 용어는 주문을 즉시 처리해야 함을 나타내는 데 사용된다.

## 구어적 용법
구어적으로 "온 더 플라이"는 필요할 때 만들어지는 것을 의미한다. 이 구문은 다음을 의미하는 데 사용된다.
# 미리 계획되지 않은 것
# 동일한 활동을 실행하는 동안 이루어지는 변경: , .

## 자동차 용법
자동차 산업에서 이 용어는 차량이 엔진에 의해 구동되고 움직이는 동안 특정 작업을 수행하는 상황을 나타낸다. 4륜구동 차량과 관련하여 이 용어는 차량이 기어를 넣고 움직이는 동안 2륜 구동에서 4륜 구동으로 전환할 수 있는 기능을 설명한다. 일부 컨버터블 모델에서는 지붕을 온 더 플라이로 전기로 접을 수 있지만, 다른 경우에는 자동차를 멈춰야 한다.
수확기에서는 최신 모니터링 시스템을 통해 운전자는 곡물의 품질을 추적하면서 수확이 진행됨에 따라 회전자 속도를 온 더 플라이로 조정할 수 있다.

## 컴퓨터 용법
멀티태스킹 컴퓨팅에서 운영 체제는 여러 프로그램을 처리할 수 있다. 네이티브 애플리케이션이든 에뮬레이트된 소프트웨어든 모두 같은 장치에서 동시에 독립적으로, 병렬로 실행되며, 분리되거나 공유된 리소스 및 데이터를 사용하여 작업을 개별적으로 또는 함께 수행한다. 사용자는 시간 낭비나 성능 저하 없이 이러한 프로그램이나 그룹 간에 온 더 플라이로 전환하여 얻은 효과를 사용하거나 목적을 감독할 수 있다. GUI를 사용하는 운영 체제에서는 특정 소프트웨어의 활성 창(또는 유사한 역할을 하는 객체)에서 다른 소프트웨어의 다른 창으로 전환하여 이 작업을 수행하는 경우가 매우 많다.

컴퓨터는 온 더 플라이로 결과를 계산하거나 이전에 저장된 결과를 검색할 수 있다.

이는 이동식 미디어(CD-ROM, DVD 등)를 중간 매체(하드 디스크)에 먼저 저장하지 않고 직접 복사하는 것을 의미할 수 있다. 예를 들어, CD-ROM 드라이브에서 CD-라이터 드라이브로 CD-ROM을 복사하는 것이다. 복사 프로세스는 각 데이터 블록을 검색하고 즉시 대상으로 기록하여 작업 메모리에 다음 데이터 블록을 검색할 공간을 확보해야 한다.

암호화된 데이터 저장에 사용될 때, 데이터 스트림은 기록될 때 자동으로 암호화되고 다시 읽을 때 다시 해독되어 소프트웨어에 투명하게 적용된다. 약어 OTFE가 일반적으로 사용된다.

온 더 플라이 프로그래밍은 프로그램을 중지하지 않고 수정하는 기술이다.

유사한 개념인 핫 스와핑은 컴퓨터 하드웨어의 온 더 플라이 교체를 의미한다.

## 온 더 플라이 컴퓨팅
온 더 플라이 컴퓨팅(OTF 컴퓨팅)은 사용자의 필요에 맞게 소프트웨어를 자동화하고 맞춤화하는 것이다. 요구 사항 사양에 따라 이 소프트웨어는 기본 구성 요소, 즉 기본 서비스로 구성되며, 이러한 기본 구성 요소의 사용자 지정 설정이 이루어진다. 따라서 요청된 서비스는 사용자의 요청에 따라서만 컴파일된 다음, 특별히 설계된 데이터 센터에서 실행되어 사용자가 (온 더 플라이로) 생성된 서비스의 기능에 액세스할 수 있도록 한다.

## 레스토랑 용법
레스토랑, 카페, 연회장 등 음식 준비와 관련된 장소에서 이 용어는 주문을 즉시 처리해야 함을 나타내는 데 사용된다. 이는 이전에 제공된 요리가 먹을 수 없거나, 웨이터가 실수를 했거나 지연되었거나, 손님이 즉시 떠나야 하는 경우에 자주 발생한다.

## 스포츠 용법
아이스하키에서 퍽이 경기 중에 있을 때 팀이 라인 변경(선수 교체)을 하는 것은 합법적이고 흔한 일이다. 이러한 라인 변경은 "온 더 플라이"로 이루어진다고 한다.

## 각주

분류:전문 용어
분류:컴퓨터 특수용어
분류:음식점 용어
2-3 트리

컴퓨터 과학에서 **2–3 트리**는 모든 자식 노드(내부 노드)가 두 개의 자식(2-노드)과 하나의 데이터 요소 또는 세 개의 자식(3-노드)과 두 개의 데이터 요소를 가지는 트리 자료 구조이다. 2–3 트리는 3차 B 트리이다. 트리의 바깥쪽에 있는 노드(리프 노드)는 자식이 없고 하나 또는 두 개의 데이터 요소를 가진다. 2–3 트리는 1970년 존 홉크로프트가 발명했다.

2–3 트리는 균형이 맞춰져 있어야 하는데, 이는 각 리프가 같은 레벨에 있다는 것을 의미한다. 따라서 노드의 각 오른쪽, 중앙, 왼쪽 서브트리는 같거나 거의 같은 양의 데이터를 포함한다.

## 정의
내부 노드에 데이터 요소가 하나 있고 두 개의 자식이 있으면 이를 **2-노드**라고 한다.

내부 노드에 데이터 요소가 두 개 있고 세 개의 자식이 있으면 이를 **3-노드**라고 한다.

데이터 요소가 세 개인 **4-노드**는 트리를 조작하는 동안 일시적으로 생성될 수 있지만, 트리 내에 영구적으로 저장되지는 않는다.


파일:2-3-4 tree 2-node.svg|2-노드
파일:2-3-4-tree 3-node.svg|3-노드


가 **2–3 트리**인 경우는 다음 문장 중 하나만 참일 때이다:

* 가 비어 있다. 즉, 에 노드가 없다.
* 가 데이터 요소 를 가진 2-노드이다. 가 왼쪽 자식 와 오른쪽 자식 를 가진다면,
** 와 는 같은 높이의 2–3 트리이다.
** 는 의 각 요소보다 크다.
** 는 의 각 데이터 요소보다 작다.
* 가 데이터 요소 와 를 가진 3-노드이며,   이다. 가 왼쪽 자식 , 중간 자식 , 오른쪽 자식 을 가진다면,
** , , 은 같은 높이의 2–3 트리이다.
** 는 의 각 데이터 요소보다 크고 의 각 데이터 요소보다 작다.
** 는 의 각 데이터 요소보다 크고 의 각 데이터 요소보다 작다.

## 속성
* 모든 내부 노드는 2-노드 또는 3-노드이다.
* 모든 리프는 같은 레벨에 있다.
* 모든 데이터는 정렬된 상태로 유지된다.

## 연산

### 탐색
2–3 트리에서 항목을 탐색하는 것은 이진 탐색 트리에서 항목을 탐색하는 것과 유사하다. 각 노드의 데이터 요소가 정렬되어 있으므로, 탐색 함수는 올바른 서브트리와 결국 항목을 포함하는 올바른 노드로 향하게 된다.

# 를 2–3 트리로, 를 찾고자 하는 데이터 요소로 둔다. 가 비어 있으면 는 에 없고 탐색이 완료된다.
# 를 의 루트로 둔다.
# 가 리프라고 가정한다.
#* 만약 가 에 없으면 는 에 없다. 그렇지 않으면 는 에 있다. 더 이상의 단계는 필요 없으며 탐색이 완료된다.
# 가 왼쪽 자식 와 오른쪽 자식 를 가진 2-노드라고 가정한다. 를 의 데이터 요소로 둔다. 세 가지 경우가 있다:
#* 만약 가 와 같으면, 에서 를 찾았으므로 탐색이 완료된다.
#* 만약 d 이면, 를 정의에 따라 2–3 트리인 로 설정하고 2단계로 돌아간다.
#* 만약 d > a이면, 를 로 설정하고 2단계로 돌아간다.
# 가 왼쪽 자식 , 중간 자식 , 오른쪽 자식 을 가진 3-노드라고 가정한다. 와 를 의 두 데이터 요소로 두며, a 이다. 네 가지 경우가 있다:
#* 만약 가  또는 와 같으면, 는 에 있으므로 탐색이 완료된다.
#* 만약 d 이면, 를 로 설정하고 2단계로 돌아간다.
#* 만약 a 이면, 를 로 설정하고 2단계로 돌아간다.
#* 만약 d > b이면, 를 로 설정하고 2단계로 돌아간다.

### 삽입
삽입은 트리의 균형 속성을 유지한다.

2-노드에 삽입할 때, 새 키는 적절한 순서로 2-노드에 추가된다.

3-노드에 삽입할 때는 3-노드의 위치에 따라 더 많은 작업이 필요할 수 있다. 트리가 3-노드로만 구성되어 있다면, 노드는 적절한 키와 자식을 가진 세 개의 2-노드로 분할된다.

framed|none|3가지 가능한 경우에 대한 2–3 트리에 숫자 삽입

대상 노드가 부모가 2-노드인 3-노드인 경우, 키는 3-노드에 삽입되어 임시 4-노드를 생성한다. 그림에서 키 10은 6과 9를 가진 2-노드에 삽입된다. 중간 키는 9이며, 부모 2-노드로 승격된다. 이렇게 되면 6과 10의 3-노드가 남게 되며, 이는 부모 3-노드의 자식으로 유지되는 두 개의 2-노드로 분할된다.

대상 노드가 3-노드이고 부모도 3-노드인 경우, 임시 4-노드가 생성된 다음 위와 같이 분할된다. 이 과정은 루트까지 트리 위로 계속된다. 루트를 분할해야 하는 경우, 단일 3-노드의 과정이 따른다: 임시 4-노드 루트는 세 개의 2-노드로 분할되며, 그중 하나가 루트로 간주된다. 이 연산은 트리의 높이를 하나 증가시킨다.

### 삭제
비-리프 노드에서 키를 삭제하는 것은 즉각적인 선행자 또는 후속자로 대체한 다음 리프 노드에서 선행자 또는 후속자를 삭제함으로써 수행할 수 있다. 리프 노드에서 키를 삭제하는 것은 리프가 3-노드인 경우 쉽다. 그렇지 않은 경우, 임시 1-노드를 생성해야 할 수 있으며, 이는 트리를 재구성하여 흡수되거나, 삽입의 경우 임시 4-노드처럼 흡수되기 전에 반복적으로 위로 이동해야 할 수 있다. 또는 하향식과 상향식을 모두 사용하는 알고리즘을 사용할 수 있는데, 이는 내려가는 길에 임시 4-노드를 생성하고 다시 올라오면서 파괴하는 방식이다. 삭제 방법은 참조에서 더 자세히 설명한다.
### 병렬 연산
2–3 트리는 레드-블랙 트리와 구조가 유사하므로, 레드-블랙 트리를 위한 병렬 알고리즘도 2–3 트리에 적용할 수 있다.

## 같이 보기
* 2–3–4 트리
* 2–3 힙
* AA 트리
* B 트리
* (a,b)-트리
* 핑거 트리

## 각주

분류:B 트리
분류:분할 상환 자료 구조
PEG

**PEG**는 아래 뜻을 함의한다.
* 페가수스자리(Pegasus)의 준말 Peg
* 파싱 표현 문법(parsing expression grammar)
* PCI 익스프레스(PCI Express)
* 페그 솔리테어(Peg solitaire)

## 같이 보기
* 페그
DTIME

계산 복잡도 이론에서 **DTIME** 또는 **TIME**은 결정론적 튜링 기계의 연산 시간 연산 자원이다. 이는 "일반적인" 물리 컴퓨터가 특정 알고리즘을 사용하여 특정 계산 문제를 해결하는 데 걸리는 시간(또는 계산 단계 수)을 나타낸다. 이는 중요한 실제 자원(컴퓨터가 문제를 해결하는 데 걸리는 시간)과 매우 밀접하게 관련되어 있기 때문에 가장 잘 연구된 복잡성 자원 중 하나이다.

**DTIME** 자원은 특정 양의 연산 시간을 사용하여 해결할 수 있는 모든 결정 문제의 집합인 복잡도 종류를 정의하는 데 사용된다. 입력 크기 n의 문제가 으로 해결될 수 있다면, 복잡도 종류  (또는 )를 가진다. 사용되는 메모리 공간의 양에는 제한이 없지만, 다른 복잡성 자원(예: 교대)에는 제한이 있을 수 있다.

## DTIME의 복잡도 종류
많은 중요한 복잡도 종류는 **DTIME**으로 정의되며, 특정 양의 결정론적 시간으로 해결할 수 있는 모든 문제를 포함한다. 모든 적절한 복잡도 함수를 사용하여 복잡도 종류를 정의할 수 있지만, 특정 종류만 연구하는 데 유용하다. 일반적으로, 우리는 복잡도 종류가 계산 모델의 변화에 대해 견고하고, 서브루틴의 구성에 대해 닫혀 있기를 원한다.

DTIME은 시간 계층 정리를 만족하며, 이는 점근적으로 더 많은 양의 시간이 항상 엄격하게 더 큰 문제 집합을 생성한다는 것을 의미한다.

잘 알려진 복잡도 종류 **[[P (복잡도)|P]]**는 다항식 시간 **DTIME**으로 해결할 수 있는 모든 문제를 포함한다. 이는 공식적으로 다음과 같이 정의할 수 있다.

:\mathsf{P} = \bigcup_{k\in\mathbb{N}} \mathsf{DTIME}(n^k)

**P**는 선형 시간 문제 \mathsf{DTIME}\left(n\right)를 포함하는 가장 작은 견고한 종류이다 (AMS 2004, Lecture 2.2, pg. 20). **P**는 "계산적으로 실현 가능한" 것으로 간주되는 가장 큰 복잡도 종류 중 하나이다.

결정론적 시간을 사용하는 훨씬 더 큰 종류는 EXPTIME이며, 이는 지수 시간에 결정론적 기계로 해결할 수 있는 모든 문제를 포함한다. 공식적으로, 우리는 다음을 얻는다.
: \mathsf{EXPTIME} = \bigcup_{k \in \mathbb{N} } \mathsf{DTIME} \left( 2^{ n^k } \right) . 

더 큰 복잡도 종류도 비슷하게 정의할 수 있다. 시간 계층 정리 때문에, 이들 종류는 엄격한 계층 구조를 형성한다; 우리는 \mathsf{P} \subsetneq \mathsf{EXPTIME} 임을 알고 있으며, 그 이상도 마찬가지다.

## 기계 모델

P와 같은 견고한 종류의 경우, DTIME을 정의하는 데 사용되는 정확한 기계 모델은 자원의 성능에 영향을 주지 않으면서 변경될 수 있다. 계산 복잡성 문헌은 특히 매우 작은 시간 종류를 논의할 때 다중 테이프 튜링 기계를 기반으로 DTIME을 정의하는 경우가 많다. 다중 테이프 결정론적 튜링 기계는 단일 테이프 기계보다 2차 시간 가속을 제공할 수 없다.

튜링 기계의 선형 속도 향상 정리 때문에, 시간 경계의 곱셈 상수는 DTIME 종류의 범위에 영향을 주지 않는다; 유한 상태 제어의 상태 수를 늘리고 테이프 알파벳의 크기를 늘림으로써 항상 상수 곱셈 속도 향상을 얻을 수 있다. 파파디미트리우의 진술에서, 언어 에 대해,

:Let L \in \mathsf{DTIME}(f(n)). Then, for any \epsilon > 0, L \in \mathsf{DTIME}(f'(n)), where f'(n) = \epsilon f(n) + n + 2.

## 일반화

결정론적 튜링 기계 이외의 모델을 사용하면 DTIME의 다양한 일반화 및 제한이 있다. 예를 들어, 비결정론적 튜링 기계를 사용하면 NTIME 자원을 얻는다. DTIME과 다른 계산 자원의 표현력 간의 관계는 거의 이해되지 않고 있다. 몇 안 되는 알려진 결과 중 하나는 다음과 같다.
:\mathsf{DTIME}(O(n)) \neq \mathsf{NTIME}(O(n))
다중 테이프 기계의 경우. 이것은 Santhanam에 의해 다음으로 확장되었다. 여기서 \log^*n은 반복 로그이다.

교대 튜링 기계를 사용하면 ATIME 자원을 얻는다.

## 각주

*
*

분류:복잡도 종류
분류:계산 자원
NTIME

계산 복잡도 이론에서, 복잡도 종류 **NTIME(''f''(''n''))**는 시간 O(f(n)) 안에 실행되는 비결정론적 튜링 기계에 의해 해결될 수 있는 결정 문제들의 집합이다. 여기서 O는 점근 표기법이고, f는 어떤 함수이며, n은 입력의 크기(문제를 결정해야 하는 대상)이다.

## 의미
이것은 크기 n의 주어진 입력에 대해 시간 O(f(n)) 안에 실행될 (즉, n이 어떤 값보다 클 때 f(n)의 상수배 내에서 실행될) 비결정론적 기계가 존재하며, 결정 문제의 답이 해당 입력에 대해 "아니오"인 경우 항상 입력을 "거부"하고, 답이 "예"인 경우 기계는 적어도 하나의 계산 경로에 대해 해당 입력을 "수락"한다는 것을 의미한다. 동등하게, O(f(n)) 시간 안에 실행되고 입력에 대한 O(f(n)) 길이의 인증서를 확인할 수 있는 결정론적 튜링 기계 M이 존재한다. 입력이 "예" 사례인 경우 적어도 하나의 인증서가 수락되고, 입력이 "아니오" 사례인 경우 어떤 인증서도 기계를 수락하게 만들 수 없다.

## 공간 제약
기계에 사용 가능한 공간은 제한되지 않지만 O(f(n))을 초과할 수 없다. 왜냐하면 사용 가능한 시간이 테이프의 접근 가능량을 제한하기 때문이다.

## 다른 복잡도 종류와의 관계
잘 알려진 복잡도 종류인 NP는 NTIME을 사용하여 다음과 같이 정의할 수 있다:

:\mathsf{NP} = \bigcup_{k\in\mathbb{N}} \mathsf{NTIME}(n^k)

마찬가지로, 종류 NEXP는 NTIME을 사용하여 다음과 같이 정의된다:

:\mathsf{NEXP} = \bigcup_{k\in\mathbb{N}} \mathsf{NTIME}(2^{n^k})

비결정론적 시간 위계 정리는 비결정론적 기계가 점근적으로 더 많은 시간에 더 많은 문제를 해결할 수 있다고 말한다.

NTIME은 다음 방식으로 DSPACE와도 관련이 있다. 모든 시간 구성 가능 함수 t(n)에 대해 다음이 성립한다:

:\mathsf{NTIME}(t(n)) \subseteq \mathsf{DSPACE}(t(n)).

**NTIME**의 일반화는 교대 튜링 기계로 정의되는 **ATIME**이다. 다음이 성립하는 것으로 밝혀졌다:

:\mathsf{NTIME}(t(n)) \subseteq \mathsf{ATIME}(t(n)) \subseteq \mathsf{DSPACE}(t(n)).

## 각주

분류:복잡도 종류
분류:계산 자원
NSPACE

계산 복잡도 이론에서 비결정적 공간 또는 **NSPACE**는 비결정적 튜링 기계의 메모리 공간을 나타내는 연산 자원이다. 이것은 DSPACE의 비결정적 대응물이다.

## 복잡도 종류
NSPACE 측정은 비결정적 튜링 기계로 해답을 결정할 수 있는 복잡도 종류를 정의하는 데 사용된다. 복잡도 종류 NSPACE(f(n))는 비결정적 튜링 기계 M이 O(f(n)) 공간을 사용하여 풀 수 있는 결정 문제의 집합이며, 여기서 n은 입력의 길이이다.

몇 가지 중요한 복잡도 종류는 NSPACE로 정의할 수 있다. 다음이 포함된다.

* REG = DSPACE(O(1)) = NSPACE(O(1)), 여기서 REG는 정규 언어의 종류이다(비결정성은 상수 공간에서 능력을 추가하지 않는다).
* NL = NSPACE(O(log&nbsp;n))
* CSL = NSPACE(O(n)), 여기서 CSL은 문맥 의존 언어의 종류이다.
* PSPACE = NPSPACE = \bigcup_{k\in\mathbb{N}} \mathsf{NSPACE}(n^k)
* EXPSPACE = NEXPSPACE = \bigcup_{k\in\mathbb{N}} \mathsf{NSPACE}(2^{n^k})

이머만–셀렙체니 정리는 모든 함수 에 대해 NSPACE(s(n))가 여집합에 대해 닫혀 있음을 명시한다.

더 나아가 일반화된 것은 교대 튜링 기계로 정의되는 ASPACE이다.

## 다른 복잡도 종류와의 관계

### DSPACE

NSPACE는 결정적 튜링 기계의 메모리 공간 종류인 DSPACE의 비결정적 대응물이다. 정의에 따라, 그리고 새비치 정리에 따라, 우리는 다음을 가진다.

\mathsf{DSPACE}[s(n)] \subseteq \mathsf{NSPACE}[s(n)] \subseteq \mathsf{DSPACE}[(s(n))^2].


### 시간

NSPACE는 다음 정리를 통해 결정적 튜링 기계의 시간 복잡도를 결정하는 데에도 사용될 수 있다.

언어 L이 비결정적 TM에 의해 공간 S(n) (여기서 S(n) ≥ log n)에서 결정된다면, L이 결정적 TM에 의해 시간 O(CS(n))에서 결정되도록 하는 상수 C가 존재한다.


## 한계

DSPACE 측면에서 공간 복잡도를 측정하는 것은 주어진 알고리즘으로 주어진 계산 문제를 해결하는 데 실제 컴퓨터가 필요로 하는 총 메모리 양을 나타내므로 유용하다. 그 이유는 DSPACE가 실제 컴퓨터를 나타낼 수 있는 결정적 튜링 기계가 사용하는 공간 복잡도를 설명하기 때문이다. 반면에 NSPACE는 실제 컴퓨터를 나타내려고 할 때 유용하지 않은 비결정적 튜링 기계의 공간 복잡도를 설명한다. 이러한 이유로 NSPACE는 실제 응용 프로그램에서의 유용성이 제한적이다.

## 각주

## 외부 링크
*.

분류:복잡도 종류
분류:계산 자원
NEXPTIME

계산 복잡도 이론에서 복잡도 종류 **NEXPTIME** (가끔 **NEXP**로 불림)은 2^{n^{O(1)}} 시간 내에 비결정론적 튜링 기계로 풀 수 있는 결정 문제들의 집합이다.

NTIME 관점에서,

:\mathsf{NEXPTIME} = \bigcup_{k\in\mathbb{N}} \mathsf{NTIME}(2^{n^k})

다른 방식으로, **NEXPTIME**은 검증자로 결정론적 튜링 기계를 사용하여 정의할 수 있다. 언어 L이 **NEXPTIME**에 속하는 것은 다항식 p와 q, 그리고 결정론적 튜링 기계 M이 존재하여 다음을 만족할 때이다.
* 모든 x와 y에 대해, 기계 M은 입력 에 대해 2^{p(|x|)} 시간 내에 실행된다.
* L에 속하는 모든 x에 대해, 길이 2^{q(|x|)}의 문자열 y가 존재하여 을 만족한다.
* L에 속하지 않는 모든 x와 길이 2^{q(|x|)}의 모든 문자열 y에 대해, 을 만족한다.
우리는 다음을 알고 있다.

:

또한, 시간 위계 정리에 의해 다음을 알 수 있다.

:

만약 라면,  (패딩 논증); 더 정확히는, E ≠ NE일 때에만 **P**에 속하지 않는 희소 언어가 **NP**에 존재한다.

## 다른 특성화
서술 복잡도에서 NEXPTIME에서 인식될 수 있는 자연수의 집합은 정확히 어떤 논리 문장의 문장의 스펙트럼, 즉 유한 모델들의 크기 집합을 형성하는 것들이다.

**NEXPTIME**은 종종 대화형 증명 시스템의 맥락에서 발생하며, 여기에는 두 가지 주요 특징이 있다. 첫 번째는 **MIP** 증명 시스템인데, 여기에는 무한한 능력을 가진 두 명의 증명자(서로 통신하지 않음)가 무작위 다항 시간 검증자와 통신한다. 문자열이 언어에 있으면 높은 확률로 검증자를 확신시켜야 한다. 문자열이 언어에 없으면 낮은 확률을 제외하고는 검증자가 문자열을 수락하도록 공동으로 속일 수 없어야 한다. **MIP** 증명 시스템이 **NEXPTIME**의 모든 문제를 해결할 수 있다는 사실은 증명자가 한 명만 있을 때 **PSPACE**의 모든 문제를 인식할 수 있다는 점을 고려하면 상당히 인상적이다. 검증자가 두 증명자를 "교차 심문"하는 능력은 큰 힘을 부여한다. 자세한 내용은 대화형 증명 시스템#MIP을 참조하라.

**NEXPTIME**을 특징짓는 또 다른 대화형 증명 시스템은 특정 종류의 확률적으로 검사 가능한 증명이다. **NP**는 무한한 능력을 가진 증명자가 문자열이 언어에 있음을 증명하는 증거를 제시하고, 결정론적 다항 시간 기계가 그것이 유효한 증거임을 검증하는 문제들의 종류로 볼 수 있다. 이 설정에 두 가지 변화를 준다.

* 검증 기계에 무작위성, 즉 동전을 던질 수 있는 능력을 추가한다.
* 증거를 테이프에 검증자에게 단순히 주는 대신, 증거에 대한 무작위 접근을 제공한다. 검증자는 증거 문자열의 인덱스를 지정하고 해당 비트를 받을 수 있다. 검증자가 다항 길이의 인덱스를 쓸 수 있기 때문에, 지수적으로 긴 증명 문자열을 인덱싱할 수 있다.

이 두 가지 확장은 함께 증명 시스템의 능력을 크게 확장하여 **NEXPTIME**의 모든 언어를 인식할 수 있게 한다. 이 클래스는 **PCP**(poly, poly)라고 불린다. 더 나아가, 이 특성화에서 검증자는 단지 상수 비트만 읽도록 제한될 수 있다. 즉, **NEXPTIME** = **PCP**(poly, 1)이다. 자세한 내용은 확률적으로 검사 가능한 증명을 참조하라.

## NEXPTIME-완전
결정 문제는 NEXPTIME에 속하고, NEXPTIME의 모든 문제는 그것에 대한 다항 시간 다대일 환산이 있으면 NEXPTIME-완전이다. 다시 말해, 한 인스턴스를 같은 답을 가진 다른 인스턴스로 변환하는 다항 시간 알고리즘이 존재한다. NEXPTIME-완전 문제는 NEXPTIME에서 가장 어려운 문제로 생각할 수 있다. 우리는 NEXPTIME-완전 문제가 NP에 속하지 않는다는 것을 알고 있다. 이 문제들은 시간 위계 정리에 의해 다항 시간 내에 검증될 수 없다는 것이 증명되었다.

## NEXPTIME-완전 문제의 예

### 간결한 문제
**NEXPTIME**-완전 문제의 중요한 집합은 간결한 회로와 관련이 있다. 간결한 회로는 그래프를 기하급수적으로 적은 공간으로 기술하는 데 사용되는 간단한 기계이다. 이들은 두 개의 정점 번호를 입력으로 받아 그들 사이에 에지가 있는지 여부를 출력한다. 인접행렬과 같은 자연스러운 표현으로 그래프 문제를 해결하는 것이 NP-완전이라면, 간결한 회로 표현으로 같은 문제를 해결하는 것은 **NEXPTIME**-완전이다. 왜냐하면 입력이 기하급수적으로 작기 때문이다 (NP-완전성 환산이 "투영"에 의해 달성된다는 약간의 조건 하에). 한 가지 간단한 예로, 그렇게 인코딩된 그래프의 해밀턴 경로를 찾는 것은 **NEXPTIME**-완전이다.

### 논리
두 변수를 가진 1차 논리의 만족성 문제는 NEXPTIME-완전이다. 계수와 두 변수를 가진 1차 논리의 만족성 문제는 NEXPTIME-완전이다.

### 게임
의존성 한정 이진 공식(DQBF, QBF의 불완전 정보 버전)에서 공식이 참인지 결정하는 것은 NEXPTIME-완전이다. 팀을 가진 제약 논리의 불완전 정보도 NEXPTIME-완전이다.

## 같이 보기
* 게임 복잡도
* NP
* EXPTIME

## 각주


* , 
* 

분류:복잡도 종류
DSPACE

계산 복잡도 이론에서 **DSPACE** 또는 **SPACE**는 결정론적 튜링 기계의 메모리 공간 자원을 설명하는 연산 자원이다. 이는 주어진 알고리즘으로 주어진 계산 문제를 해결하는 데 "일반적인" 물리적 컴퓨터가 필요로 하는 총 메모리 공간의 양을 나타낸다.

## 복잡도 종류

**DSPACE** 측정은 특정 양의 메모리 공간을 사용하여 해결할 수 있는 모든 결정 문제의 집합인 복잡도 종류를 정의하는 데 사용된다. 각 함수 f(n)에 대해 SPACE(f(n))라는 복잡도 종류가 있으며, 이는 O(f(n)) 공간을 사용하는 결정론적 튜링 기계에 의해 해결될 수 있는 결정 문제의 집합이다. 사용될 수 있는 계산 시간의 양에는 제한이 없지만, 다른 복잡도 측정(예: 교대)에는 제한이 있을 수 있다.

몇 가지 중요한 복잡도 종류는 **DSPACE**로 정의된다. 여기에는 다음이 포함된다.

* REG = DSPACE(O(1)), 여기서 **REG**는 정규 언어의 종류이다. 사실, REG = DSPACE(o(log&nbsp;log&nbsp;n))이다 (즉, 비정규 언어를 인식하는 데는  공간이 필요하다).

증명:
만약 s(n) = o(log log n)에 대해 비정규 언어 L ∈ DSPACE(s(n))가 존재한다고 가정하자. M을 공간 s(n)에서 L을 결정하는 튜링 기계라고 하자. 가정에 의해 L ∉ DSPACE(O(1))이므로, 임의의 k \in \mathbb{N}에 대해 M의 입력 중 k보다 더 많은 공간을 요구하는 것이 존재한다.

k보다 더 많은 공간을 요구하는 가장 작은 크기(n으로 표시)의 입력 x를 잡고, \mathcal{C}를 입력 x에 대한 M의 모든 구성의 집합이라고 하자. M ∈ DSPACE(s(n))이므로, |\mathcal{C}| \le 2^{c.s(n)} = o(\log n)이며, 여기서 c는 M에 의존하는 상수이다.

S를 x에 대한 M의 모든 가능한 교차열의 집합이라고 하자. x에 대한 M의 교차열 길이는 최대 |\mathcal{C}|임을 주목하자: 만약 이보다 길다면, 일부 구성이 반복되어 M은 무한 루프에 빠질 것이다. 교차열의 모든 요소에 대해 가능한 경우도 최대 |\mathcal{C}|이므로, x에 대한 M의 서로 다른 교차열의 수는 다음과 같다.

:|S|\le|\mathcal{C}|^ \le (2^{c.s(n)})^{2^{c.s(n)}}= 2^{c.s(n).2^{c.s(n)}}

비둘기집 원리에 따르면, \mathcal{C}_i(x)=\mathcal{C}_j(x)인 i \mathcal{C}_i(x)와 \mathcal{C}_j(x)는 각각 경계 i와 j에서의 교차열이다.

를 i + 1부터 j까지의 모든 셀을 제거하여 에서 얻은 문자열이라고 하자. 기계 은 입력 에서도 입력 에서와 똑같이 동작하므로, 를 계산하는 데 를 계산하는 데와 같은 공간이 필요하다. 그러나 , 이는 의 정의와 모순된다. 따라서 가정한 언어 은 존재하지 않는다. □

위 정리는 공간 위계 정리에서 공간 구성 가능 함수 가정의 필요성을 시사한다.

* L = DSPACE(O(log&nbsp;n))
* PSPACE = \bigcup_{k\in\mathbb{N}} \mathsf{DSPACE}(n^k)
* EXPSPACE = \bigcup_{k\in\mathbb{N}} \mathsf{DSPACE}(2^{n^k})

## 기계 모델

**DSPACE**는 전통적으로 결정론적 튜링 기계에서 측정된다. 몇 가지 중요한 공간 복잡도 종류는 준선형이다. 즉, 입력 크기보다 작다. 따라서 입력 크기 또는 출력 크기에 대해 알고리즘에 "비용을 부과"하는 것은 사용된 메모리 공간을 진정으로 포착하지 못할 것이다. 이는 입력 및 출력 테이프가 있는 다중 테이프 튜링 기계를 정의함으로써 해결되는데, 이는 표준 다중 테이프 튜링 기계와 동일하지만 입력 테이프에는 절대 쓰지 않고 출력 테이프에서는 절대 읽지 않는다는 점이 다르다. 이를 통해 L (로그 공간)과 같은 더 작은 공간 종류를 모든 작업 테이프(특수 입력 및 출력 테이프 제외)가 사용한 공간의 양으로 정의할 수 있다.

알파벳의 적절한 거듭제곱을 취하여 많은 기호를 하나로 묶을 수 있으므로, 모든 c ≥ 1 및 f(n) ≥ 1인 f에 대해 c f(n) 공간에서 인식 가능한 언어의 종류는 f(n) 공간에서 인식 가능한 언어의 종류와 동일하다. 이는 정의에서 점근 표기법의 사용을 정당화한다.

## 위계 정리

공간 위계 정리는 모든 공간 구성 가능 함수 f: \mathbb{N} \to \mathbb{N}에 대해 공간 O(f(n))에서 결정 가능하지만 공간 o(f(n))에서는 결정 불가능한 어떤 언어 L이 존재함을 보여준다.

## 다른 복잡도 종류와의 관계
**DSPACE**는 비결정론적 튜링 기계의 메모리 공간 종류인 **[[NSPACE]]**의 결정론적 대응물이다. 사비치 정리에 따르면, 다음과 같다.

:\mathsf{DSPACE}(s(n)) \subseteq \mathsf{NSPACE}(s(n)) \subseteq \mathsf{DSPACE}\bigl((s(n))^2\bigr).

**[[NTIME]]**은 다음과 같은 방식으로 DSPACE와 관련이 있다. 모든 시간 구성 가능 함수 t(n)에 대해,

:\mathsf{NTIME}(t(n)) \subseteq \mathsf{DSPACE}(t(n)).

결정론적 시간에 대한 훨씬 더 나은 시뮬레이션이 알려져 있다: 만약 t(n)\ge n이라면,

:\mathsf{DTIME}(t(n))\subseteq\mathsf{DSPACE}\left(\sqrt{t(n)\log t(n)}\right)

이는 윌리엄스의 결과로, 홉크로프트, 폴, 밸리언트의 이전 O(t/ \log t) 한계를 개선한 것이다.

반면에, s(n)\ge\log n인 모든 함수에 대해,

:\mathsf{DSPACE}(s(n))\subseteq\mathsf{DTIME}\bigl(2^{O(s(n))}\bigr).

## 각주

* 
* 

## 외부 링크
*.

분류:복잡도 종류
분류:계산 자원
유니버설 씬 디스크립션

**유니버설 씬 디스크립션**(Universal Scene Description, **USD**)은 3차원 컴퓨터 그래픽스 데이터 교환을 위한 프레임워크이다. 이 프레임워크는 협업, 비파괴 편집, 그리고 그래픽스 데이터에 대한 다양한 관점과 의견을 가능하게 하는 데 중점을 둔다. USD는 시각 효과, 건축, 디자인, 로봇공학, CAD, 렌더링을 포함한 많은 산업에서 사용된다.

## 역사
이것은 픽사에 의해 개발되었으며 2016년 수정된 아파치 라이선스에 따라 오픈 소스 소프트웨어로 처음 공개되었다. 픽사, 어도비, 애플, 오토데스크, 엔비디아는 리눅스 재단의 JDF(Joint Development Foundation)와 함께 2023년 8월 1일 AOUSD(Alliance for OpenUSD)를 발표하며 "픽사의 유니버설 씬 디스크립션 기술의 표준화, 개발, 진화 및 성장을 촉진"할 것이라고 밝혔다.

## 파일 형식

사양에 사용되는 파일 형식은 다음과 같다.

* : ASCII 또는 바이너리 인코딩 가능
* : ASCII 인코딩
* : 바이너리 인코딩
* : 무압축, 암호화되지 않은 zip 아카이브인 패키지 파일로, usd, usda, usdc, PNG, jpeg, m4a, MP3, WAV 파일을 포함할 수 있다.

## 지원
* 3ds Max 버전 2022 (최신 업데이트가 공개 베타로 제공), 버전 2023. USD에서 가져오기 및 USD로 내보내기 포함.
* 오토데스크 퓨전 360은 2022년 4월부터 USD 내보내기를 지원한다.
* 블렌더는 버전 4.0부터 USD 가져오기 및 내보내기를 지원한다.
* 시네마 4D는 USD 가져오기 및 내보내기를 지원한다.
* 후디니는 형식 교환 및 장면 편집 목적으로 USD를 구현한다.
* 오토데스크 인벤터 – 버전 2023부터 USD를 지원한다.
* 마야 – 버전 2022부터 USD를 지원한다.
* mesh2mesh (macOS)는 USD를 다른 형식으로 변환하거나 다른 형식에서 USD로 변환한다.
* 엔비디아는 옴니버스에서 USD 지원을 발표했다.
* 다빈치 리졸브는 USD 가져오기를 지원한다.
* 퓨전은 USD 가져오기를 지원한다.
* 애플의 SceneKit은 3D 모델 교환을 위해  파일을 지원한다.
* 애플의 Reality Composer Pro는 Reality Kit 및 VisionOS 생태계를 위해  파일을 지원한다.
* 벡터웍스 2023 서비스 팩 3부터 USD 내보내기 및 가져오기가 포함된다.
* 라이노세로스 3D는 현재 v8 WIP (작업 중)로 지원이 제한되어 있으며 현재 안정 버전에서는 아직 지원되지 않는다.
* Adobe Substance 3D
* 언리얼 엔진은 (.usd, .usda, .usdc, .usdz)를 지원하지만, 가져오기 기능은 현재 베타 버전이다.
* 키샷 – USD (.usd, .usda, .usdc, .usdz)를 지원한다.
* 오토데스크 VRED Professional 2025 (.usd, .usda, .usdc, .udsz)

## 같이 보기
* 알렘빅 (상호 교환 가능한 컴퓨터 그래픽스 파일 형식)
* glTF (그래픽스 언어 전송 형식)

## 각주

## 외부 링크
* 픽사의 유니버설 씬 디스크립션 소개

분류:파일 포맷
분류:3차원 그래픽 소프트웨어
분류:가상 현실
분류:픽사
분류:증강 현실
분류:3차원 그래픽스 파일 포맷
ACE (파일 포맷)

컴퓨팅에서 **ACE**는 마르셀 렘케가 개발하고 나중에 e-merge GmbH가 인수한 독점적인 데이터 압축 아카이브 파일 형식이다. 인기가 절정에 달했던 시기는 1999년부터 2001년까지였는데, 당시에는 RAR보다 압축률이 약간 더 좋았으나 이후 RAR이 더 인기를 얻게 되었다.

## WinAce

e-merge GmbH가 유지 관리하는 WinAce는 마이크로소프트 윈도우에서 ACE 파일을 압축하고 압축을 해제하는 데 사용된다. 설치 시 사용자에게 등록비를 지불하거나 WhenU SaveNow 애드웨어를 설치할지 선택할 수 있다. e-merge GmbH는 또한 DOS용 명령줄 ACE를 제작하며, 리눅스 (i386) 및 MacOS용 프리웨어 명령줄 인터페이스 압축 해제 도구인 "Unace"를 제공한다. e-merge GmbH는 또한 개발자를 위한 여러 라이브러리를 제공하는데, 여기에는 "unace.dll"이라는 프리웨어 압축 해제 동적 링크 라이브러리도 포함된다. 일부 타사 아카이버는 이 DLL을 사용하여 형식을 읽을 수 있다. 위에 언급된 것 중 어떤 것도 오픈 소스 자유 소프트웨어가 아니다.

2007년 11월 23일, WinACE 버전 2.69가 출시되었으며, WhenU를 대체하는 덜 침해적인 애드웨어 응용 프로그램인 MeMedia AdVantage가 포함되었다. 이 릴리스에는 다른 주요 변경 사항은 없다.

## 다른 구현체
Unace 1.2b의 이전 버전은 자유 소프트웨어이며 저자 마르셀 렘케에 의해 GPL 라이선스 하에 배포되지만, 버전 2.0 이상 ACE 아카이브는 추출할 수 없다.

ACE 2.0 아카이브를 지원하는 Unace 2.5의 최신 버전은 마르셀 렘케에 의해 제한적인 source available 라이선스로 제공된다.

오래된 독립적인 C 구현체는 디르크 스퇴커의 XAD-Master libxad의 일부이다. ACE 1.0 아카이브 압축 해제에만 제한적으로 사용된다.

2017년 이후로, 다니엘 로에틀리스버거가 만든 BSD 라이선스 파이썬 모듈 및 CLI 유틸리티가 있으며, ACE 2.0 형식 아카이브의 압축 해제를 지원한다.

## 타사 지원
ACE 파일 압축은 독점 정보로 라이선스되어 WinACE를 통해서만 가능하며, ACE 파일 압축 해제는 여러 타사 압축 프로그램에서 지원된다. 그러나 거의 모든 프로그램(ACE 2.x 형식을 지원하는 프로그램)은 e-merge GmbH의 독점 "unace.dll"을 사용하여 이를 수행한다.

## 악성 소프트웨어 배포에 사용
적어도 2015년부터 ACE 아카이브는 이메일을 통해 피해자에게 악성 소프트웨어를 전달하는 데 사용되었다. 이 전략은 인기 있는 압축 소프트웨어가 ACE 아카이브를 압축 해제할 수 있지만, 메일 필터, 웹 콘텐츠 필터 및 바이러스 검사 소프트웨어와 같은 보안 제품에서 ACE 형식에 대한 지원이 일반적으로 미약했기 때문에 가능했다.

## 보안 취약점
2019년 2월, WinRAR 및 기타 압축 제품에서 사용되는 unacev2.dll 라이브러리에서 여러 주요 보안 취약점이 발견되었다. WinACE 지원이 중단되었으므로 사용자들은 WinRAR 및 이 라이브러리를 사용하는 다른 제품에서 ACE 아카이브를 열지 않도록 권고된다. WinRAR은 버전 5.70부터 ACE 지원을 중단했으며, 유사한 제품들도 뒤를 따르고 있다.

## 같이 보기
* 압축 포맷 비교
* 압축 소프트웨어의 비교
* 파일 형식 목록

## 각주

## 외부 링크
* 공식 웹사이트 - 2017년 7월 14일 웹 아카이브 스냅샷 
* 마지막 버전 2.69i 다운로드 링크 - 2011년 1월 21일 웹 아카이브 스냅샷

분류:아카이브 포맷
렘펠-지브-오버휴머

**렘펠-지브-오버휴머**(Lempel–Ziv–Oberhumer, **LZO**)는 압축 해제 속도에 중점을 둔 비손실 데이터 압축 알고리즘이다.

## 설계
1996년에 출시된 오리지널 "lzop" 구현은 마르쿠스 프란츠 크사버 요하네스 오버후머가 아브라함 렘펠과 야코브 지브의 이전 알고리즘을 기반으로 개발했다. LZO 라이브러리는 다음 특성을 가진 여러 알고리즘을 구현한다.
* DEFLATE 압축에 비해 더 높은 압축 속도
* 매우 빠른 압축 해제
* 압축 중 추가 버퍼 필요 (압축 수준에 따라 8kB 또는 64kB 크기)
* 원본 및 대상 버퍼 외에 압축 해제를 위한 추가 메모리가 필요하지 않음
* 압축 해제 속도에 영향을 주지 않고 압축률과 압축 속도 사이의 균형을 조절할 수 있음

LZO는 중첩 압축 및 제자리 압축 해제를 지원한다. 블록 압축 알고리즘으로서 데이터 블록을 압축 및 압축 해제한다. 압축 및 압축 해제에 사용되는 블록 크기는 동일해야 한다. LZO는 데이터 블록을 일치(슬라이딩 딕셔너리) 및 일치하지 않는 리터럴 실행으로 압축하여 중복성이 높은 데이터에서 좋은 결과를 생성하고 압축 불가능한 데이터를 수용 가능하게 처리하며, 최소 1KB의 블록 크기로 측정할 때 원본 크기의 최대 1/64까지만 압축 불가능한 데이터를 확장한다.

## 구현
참조 구현은 ANSI C로 작성되었으며 GNU 일반 공중 사용 허가서에 따라 자유 소프트웨어로 제공되었다. 코드의 저작권은 마르쿠스 F. X. J. 오버후머가 소유한다. 이 코드는 1996년에 처음 출판되었다. 오버후머는 또한 lzop이라는 명령줄 프런트엔드를 작성했다.

LZO 버전은 펄, 파이썬, 자바 언어에서 사용할 수 있다. 다양한 LZO 구현은 AIX, 아타리 TOS (아타리 ST), ConvexOS, IRIX, 리눅스, Mac OS, 닌텐도 64, 팜 OS, 플레이스테이션, 솔라리스, SunOS, VxWorks, Wii, Win32에서 작동하는 것으로 보고되었다.

FFmpeg의 libavutil 라이브러리는 비손실 비디오 압축을 위한 가능한 방법으로 자체 LZO 구현을 포함한다. FFmpeg의 압축 해제기 구현은 OpenConnect에서도 주니퍼 네트웍스 및 펄스 시큐어 VPN 서버에서 전송하는 LZO 압축 ESP 패킷을 지원하기 위해 사용된다.

리눅스 커널은 일부 기능에 LZO 구현을 사용한다:

* Btrfs는 파일 시스템 압축을 위한 가능한 압축 방식으로 LZO를 사용한다.
* initrd 및 initramfs는 초기 램 드라이브 압축을 위한 가능한 압축 방식으로 LZO를 사용한다.
* SquashFS는 파일 시스템 압축을 위한 가능한 압축 방식으로 LZO를 사용한다.
* zram은 램 드라이브 압축을 위한 기본 압축 방식으로 `LZO-RLE`라는 런 렝스 부호화를 사용하는 LZO를 사용한다.
* zswap은 가상 메모리 압축을 위한 기본 압축 방식으로 LZO를 사용한다.

## 각주

## 외부 링크
* 
*  - liblzo2 LZO 압축 알고리즘의 순수 자바 구현

분류:C 라이브러리
분류:데이터 압축
분류:무손실 압축 알고리즘
분류:자유 압축 소프트웨어
LZO

**LZO**는 아래 뜻을 함의한다.
* 렘펠-지브-오버휴머(Lempel–Ziv–Oberhumer)
* 의 IATA 코드
* 의 전 IATA 코드
ALL (복잡도)

계산 가능성과 복잡도 이론에서 **ALL**은 모든 결정 문제의 집합이다.

## 다른 종류와의 관계
**ALL**은 **[[RE (복잡도)|RE]]**와 **[[Co-RE]]**를 포함하는 모든 결정 문제의 복잡도 종류를 포함하며, **RE**도 **Co-RE**도 아닌 셀 수 없이 많은 언어를 포함한다. 이것은 모든 다른 복잡도 종류를 포함하는 가장 큰 복잡도 종류이다.

## 외부 링크
* 

분류:복잡도 종류
Zstd

**Zstandard**는 페이스북의 Yann Collet이 개발한 비손실 데이터 압축 알고리즘이다. **Zstd**는 해당 C로 된 참조 구현이며, 2016년 8월 31일 오픈 소스 소프트웨어로 공개되었다.

이 알고리즘은 2018년에 로 발행되었으며, 관련 미디어 타입 "application/zstd", 파일 확장자 "zst", 그리고 HTTP 콘텐츠 인코딩 "zstd"를 정의한다.

## 특징
Zstandard는 DEFLATE 알고리즘(1991년에 개발되어 원본 ZIP 및 gzip 프로그램에 사용됨)과 유사한 압축비를 제공하지만, 특히 압축 해제 속도가 더 빠르도록 설계되었다. 압축 수준은 음수 7(가장 빠름)부터 22(압축 속도는 가장 느리지만 최상의 압축비)까지 조절 가능하다.

버전 1.3.2(2017년 10월)부터 zstd는 rzip 또는 lrzip과 유사하게 매우 긴 범위의 검색 및 중복 제거(, 128 MiB 창)를 선택적으로 구현한다.

압축 속도는 가장 빠른 수준과 가장 느린 수준 간에 20배 이상 차이가 날 수 있지만, 압축 해제는 균일하게 빠르며 가장 빠른 수준과 가장 느린 수준 간에 20% 미만의 차이를 보인다. Zstandard 명령줄에는 I/O 조건, 주로 출력 기록 속도에 따라 압축 수준을 변경하는 "적응형"() 모드가 있다.

Zstd는 최대 압축 수준에서 LZMA, LZHAM, PPMX와 유사한 압축비를 제공하며, LHA 또는 bzip2보다 성능이 더 좋다. Zstandard는 현재 파레토 최전선에 도달했으며, 유사하거나 더 나은 압축비를 가진 다른 어떤 현재 사용 가능한 알고리즘보다 빠르게 압축을 해제한다.

사전은 작은 파일의 압축비에 큰 영향을 미칠 수 있으므로 Zstandard는 사용자가 제공한 압축 사전을 사용할 수 있다. 또한 샘플 집합에서 사전을 생성할 수 있는 훈련 모드를 제공한다. 특히, 하나의 사전을 로드하여 파일 내에는 중복이 없더라도 파일 간에 중복이 있는 대규모 파일 집합(예: 로그 파일)을 처리할 수 있다.

## 설계

Zstandard는 사전 일치 단계(LZ77)와 큰 검색 창, 그리고 빠른 엔트로피 부호화 단계를 결합한다. 이는 허프먼 부호화(리터럴 섹션의 항목에 사용됨)와 유한 상태 엔트로피(FSE) ANS의 빠른 테이블 버전인 tANS를 시퀀스 섹션의 항목에 사용한다. FSE가 기호 간에 상태를 전달하는 방식 때문에 압축 해제는 각 블록의 시퀀스 섹션 내 기호를 역순(마지막부터 처음까지)으로 처리하는 것을 포함한다.

## 사용

리눅스 커널은 2017년 11월(버전 4.14)부터 btrfs 및 squashfs 파일 시스템의 압축 방법으로 Zstandard를 포함했다.

2017년 Allan Jude는 Zstandard를 FreeBSD 커널에 통합했으며, 이후 코어 덤프(사용자 프로그램 및 커널 패닉 모두)의 압축 옵션으로 통합되었다. 또한 개념 증명 OpenZFS 압축 방법을 만드는 데 사용되었으며 2020년에 통합되었다.

AWS 레드쉬프트 및 RocksDB 데이터베이스는 Zstandard를 사용한 필드 압축을 지원한다.

2018년 3월, 캐노니컬은 우분투 리눅스 배포판의 deb 패키지 압축 방법으로 zstd를 기본값으로 사용하는 것을 테스트했다. deb 패키지의 xz 압축과 비교할 때, zstd 레벨 19는 패키지 파일이 6% 더 커지는 대신 압축 해제 속도가 상당히 빠르다. 2018년 4월(버전 1.6~rc1)에 데비안(및 이후 우분투)에 지원이 추가되었다.

페도라는 2018년 5월(페도라 릴리스 28)에 RPM에 ZStandard 지원을 추가했으며, 2019년 10월(페도라 31) 릴리스 패키징에 사용했다. 페도라 33에서는 파일 시스템이 기본적으로 zstd로 압축된다.

아치 리눅스는 2019년 10월 pacman 5.2 패키지 관리자 출시와 함께 zstd를 패키지 압축 방법으로 지원했으며, 2020년 1월에는 공식 저장소의 패키지에 xz 대신 zstd로 전환했다. 아치는 `zstd -c -T0 --ultra -20 -`를 사용하며, 모든 압축된 패키지의 총 크기는 0.8% 증가했지만(xz 대비), 압축 해제 속도는 14배 빨라졌고, 여러 스레드를 사용할 때 압축 해제 메모리는 50 MiB 증가했으며, 압축 메모리는 증가했지만 사용된 스레드 수에 비례한다. 아치 리눅스는 나중에 mkinitcpio 초기 램디스크 생성기의 기본 압축 알고리즘으로도 zstd로 전환했다.

압축 수준을 선택할 수 있는 알고리즘의 전체 구현은 닌텐도 스위치 하이브리드 게임 콘솔용 홈브루 커뮤니티에서 개발한 .NSZ/.XCZ 파일 형식에 사용된다. 또한 .RVZ Wii 및 닌텐도 게임큐브 디스크 이미지 파일 형식에서 지원되는 여러 압축 알고리즘 중 하나이다.

2020년 6월 15일, Zstandard는 zip 파일 형식의 버전 6.3.8에 코덱 번호 93으로 구현되었으며, 6월 1일에 출시된 버전 6.3.7에 구현된 이전 코덱 번호 20은 더 이상 사용되지 않게 되었다.

2024년 3월, 구글 크롬 버전 123(및 크로미엄 기반 브라우저인 브레이브 또는 마이크로소프트 엣지 등)은 HTTP 헤더 `Content-Encoding`에 zstd 지원을 추가했다. 2024년 5월, 모질라 파이어폭스 릴리스 126.0은 HTTP 헤더 `Content-Encoding`에 zstd 지원을 추가했다.

## 라이선스
참조 구현은 BSD 허가서에 따라 깃허브에 게시되었다. 2016년 8월 31일 출시된 버전 1.0부터 추가적인 특허 권한 부여가 있었다.

2017년 8월 20일 출시된 버전 1.3.1부터 이 특허 부여는 철회되었고 라이선스는 BSD + GPLv2 이중 라이선스로 변경되었다.

## 같이 보기
* LZ4 (압축 알고리즘) – LZ77 계열의 빠른 멤버
* LZFSE – iOS 9 및 OS X 10.11부터 애플이 사용하고 2016년 6월 1일에 오픈 소스로 공개된 유사한 알고리즘
* Zlib
* 브로틀리 – 브라우저에 통합됨

## 각주

## 외부 링크
* 
* 
* 
* "Zstandard를 이용한 더 작고 빠른 데이터 압축", Yann Collet 및 Chip Turner, 2016년 8월 31일, 페이스북 공지
* 더 가디언은 zlib 대신 ZStandard를 사용하고 있다

분류:C 라이브러리
분류:데이터 압축
분류:무손실 압축 알고리즘
분류:자유 압축 소프트웨어
분류:BSD 라이선스 소프트웨어
분류:2016년 소프트웨어
LZX

**LZX**는 LZ77 계열의 압축 알고리즘으로, DEFLATE의 약간 개선된 버전이다. 같은 이름의 파일 압축기의 이름이기도 하다. 둘 다 1990년대에 조너선 포브스와 토미 포우타넨이 발명했다.

## LZX 알고리즘의 사용 사례
### 아미가 LZX
LZX는 저자들이 캐나다의 워털루 대학교에서 공부하던 중 1995년에 아미가 파일 압축기로 공개되었다. 이 소프트웨어는 당시 압축 소프트웨어에서 흔히 볼 수 있었던 셰어웨어였다. 등록된 버전에는 평가판에서 사용할 수 없었던 수정 사항과 개선 사항이 포함되어 있었다. 1997년, 저자들은 압축기에 대한 작업을 중단하고 등록을 받지 않게 되자, 누구나 등록된 버전을 사용할 수 있도록 무료 키 파일을 제공했다.

### 마이크로소프트 캐비닛 파일
1996년 포브스는 마이크로소프트에 입사했고, 마이크로소프트의 캐비닛 압축기는 LZX 압축 방식을 포함하도록 향상되었다. 개선 사항에는 가변 검색 창 크기가 포함되었는데, 아미가 LZX는 64&nbsp;KB로 고정되었고, 마이크로소프트 LZX는 32에서 2048 킬로바이트 (32,768에서 2,097,152바이트) 사이의 2의 거듭제곱으로 범위가 지정될 수 있었다. 인텔 80x86 "CALL" 명령을 감지하여 피연산자를 상대 주소 지정에서 절대 주소 지정으로 변환하는 특별한 전처리기가 추가되어, 동일한 위치에 대한 호출이 압축기가 일치시킬 수 있는 반복된 문자열을 생성하여 80x86 이진 코드의 압축률을 향상시켰다. (이 기술은 나중에 Branch-Call-Jump [BCJ] 필터링으로 일반화되었다.)

### 마이크로소프트 압축 HTML 도움말 (CHM) 파일
마이크로소프트가 클래식 도움말 파일 형식을 대체하는 마이크로소프트 압축 HTML 도움말을 도입했을 때, 모든 HTML 데이터를 LZX 알고리즘으로 압축하도록 선택했다. 그러나 무작위 접근 속도를 향상시키기 위해, 압축기는 64킬로바이트(65,536바이트) 간격마다 재설정되고 32킬로바이트 간격마다 16비트 경계에 재정렬되도록 변경되었다. 따라서 HTMLHelp 소프트웨어는 항상 압축된 데이터 스트림의 시작부터 디코딩하는 대신 가장 가까운 64킬로바이트 간격을 즉시 탐색하고 거기서부터 디코딩을 시작할 수 있었다.

### 마이크로소프트 리더 (LIT) 파일
마이크로소프트 리더용 마이크로소프트 LIT 파일은 단순히 CHM 파일 형식의 확장이며, 따라서 LZX 압축도 사용한다.

### 윈도우 이미징 포맷 (WIM) 파일
윈도우 비스타와 윈도우 7의 설치/드라이브 이미지 파일 형식인 윈도우 이미징 포맷은 LZX를 압축 방식 중 하나로 사용한다.

### CompactOS NTFS 파일 압축
윈도우 10에서는 윈도우 이미징 포맷의 LZX 압축이 새로운 CompactOS NTFS 파일 압축에 사용된다.

### 엑스박스 라이브 아바타
마이크로소프트는 디스크 및 대역폭 요구 사항을 줄이기 위해 엑스박스 라이브 아바타에 LZX 압축을 사용한다.

## LZX 파일 압축 해제
**unlzx** 프로그램과 XAD는 아미가 LZX 아카이브를 압축 해제할 수 있다. **cabextract** 프로그램은 LZX 방식을 사용하여 마이크로소프트 캐비닛 파일을 압축 해제할 수 있다. CHM 문서에 명시된 바와 같이, CHM 파일을 역컴파일하거나 보는 데 사용할 수 있는 다양한 크로스 플랫폼 도구들이 있다. LIT 파일은 **Convert LIT** 소프트웨어를 사용하여 압축 해제할 수 있다.

## 같이 보기

* 압축 파일 포맷 목록
* 압축 소프트웨어의 비교

## 각주

## 외부 링크
* The LZX page, including many versions of the Amiga LZX archiver
* unlzx source code
* cabextract (includes source code)
* wimlib (included source code)
* Convert LIT (includes source code)
* Microsoft's LZX DELTA specification

분류:데이터 압축
분류:무손실 압축 알고리즘
분류:아미가
알렘빅 (컴퓨터 그래픽스)

**알렘빅**(Alembic)은 소니 픽처스 이미지워크스와 인더스트리얼 라이트 & 매직이 개발한 컴퓨터 그래픽스 파일 형식이다. 이 형식은 2011년 SIGGRAPH에서 발표되었고, 시각 효과 및 애니메이션 전문가들 사이에서 업계 전반에 걸쳐 널리 채택되었다.

주요 초점은 동일한 샷이나 동일한 자산에서 작업하는 여러 그룹 간에 애니메이션된 지오메트리(모델)를 효율적으로 교환하는 것이다. 이들은 서로 다른 애플리케이션을 사용할 수도 있다. 종종 같은 회사나 다른 스튜디오의 다른 부서가 동일한 프로젝트를 작업한다. Alembic은 폴리곤 메시, 서브디비전 서피스, 매개변수 곡선, NURBS 패치 및 입자를 포함하여 업계에서 사용되는 일반적인 지오메트리 표현을 지원한다. Alembic은 또한 변환 계층 및 카메라를 지원한다. 최신 버전에는 재료 및 조명에 대한 초기 지원도 포함된다. Alembic은 특히 절차적 도구의 복잡한 종속성 그래프를 저장하는 데 초점을 맞추지 않고, 애니메이션 장면의 타임라인을 따라 여러 지점에서 모델 데이터를 샘플링하여 "구운" 결과를 저장한다.

## 알렘빅을 지원하는 도구

### 내장 지원 도구

### 플러그인

## 각주

## 외부 링크
* 
* 

분류:루카스필름
분류:3차원 그래픽스 파일 포맷
알렘빅

섬네일|upright=1.2|중세 필사본에 묘사된 알렘빅 그림
섬네일|알렘빅
**알렘빅**(alembic, , 에서 유래한 '컵, 비커'라는 뜻)은 액체를 증류하는 데 사용되는, 튜브로 연결된 두 개의 용기로 구성된 연금술 증류기이다.

## 설명
완전한 증류 장치는 세 부분으로 구성된다.

* 증류할 액체가 들어 있는 증류 솥인 "쿠커빗"(아랍어: ; 그리스어: , )으로, 불꽃으로 가열된다.
* 증기를 받기 위해 쿠커빗의 입구에 맞는 "헤드" 또는 "캡"(, ; 그리스어 , )으로, 아래쪽으로 기울어진 "튜브"(, )가 부착되어 있다.
* "수신기"(, ; ,  또는 , ) 용기

또 다른 증류 용기인 레토르트의 경우 "캡"과 "쿠커빗"이 결합하여 하나의 용기를 형성한다. 안빅은 쿠커빗의 라스(아랍어 라스 raʾs는 "머리"를 의미한다)라고도 불린다. 쿠커빗의 액체는 가열되거나 끓여지며, 증기는 안빅으로 올라가 벽과 접촉하여 냉각되고 응축되어 주둥이를 통해 수신기로 흘러 들어간다. 알렘빅의 현대적 후손은 증류주를 생산하는 데 사용되는 포트 스틸이다.

## 역사
섬네일|upright|1606년 연금술 책에 실린 알렘빅들

디오스코리데스의 약물에 대하여(기원후 약 50년)에 묘사된 그의 암빅스(ambix)는 응축된 수은을 모으는 헬멧 모양의 뚜껑이다. 아테나이오스(기원후 약 225년)에게는 병이나 플라스크였다. 후대 화학자들에게는 조악한 증류 장치의 다양한 부분을 의미했다.

알렘빅 그림은 연금술사 클레오파트라(3세기), 파노폴리스의 조시모스(기원후 약 300년), 시네시우스(기원후 약 373년 ~ 약 414년)의 작품에 등장한다. 두 개의(디비코스) 또는 세 개의(트리비코스) 수신기를 가진 알렘빅이 있었다. 파노폴리스의 조시모스에 따르면, 알렘빅은 유대인 마리아가 발명했다.

안빅은 이븐 알-아왐의  (농업서)에 묘사되어 있는데, 그는 장미수가 어떻게 증류되는지 설명한다. 그 외에도 콰리즈미의  (과학의 열쇠)과 알-라지의  (비밀의 책)에 언급되어 있다. 게버의 저작으로 알려진 라틴어 번역본에는 몇 가지 삽화가 실려 있다.

파일:Man Paris, Grec 2327 fol 83v.jpg|파노폴리스의 조시모스의 알렘빅
파일:Alembic (PSF).jpg|현대 알렘빅
파일:AlambicCharentaisChalvignacPrulhoDistillation.jpg|주정을 증류하기 위한 대형 "샤랑테"형 알렘빅
파일:Alambique 056.jpg|구리 레토르트
파일:Alembic.jpg|유리 알렘빅
파일:Chemical Faculty of TUG, staircase.jpg|그단스크 공과대학교 화학 학부 계단에 있는 알렘빅 금속 공예, 1904년


## 유니코드
유니코드 문자 집합은 알렘빅에 대한 세 가지 기호를 지정한다. 그림문자 ⚗ (), 그 이모지 변형 ⚗️ (), 그리고 고대 연금술 기호 🝪 ()이다.

## 같이 보기
* 알루델

## 각주

분류:아랍의 발명품
Acme (문서 편집기)

**Acme**는 벨 연구소 플랜 9 운영체제의 문서 편집기이자 그래픽 셸이며, 롭 파이크가 설계하고 구현했다. Sam 명령어를 사용할 수 있다. 인터페이스 디자인은 오베론의 영향을 받았다. 9P 서버로 작동한다는 점에서 다른 편집 환경과 다르다. 사용자 인터페이스의 독특한 요소는 마우스 코드이다.

## 개요
Acme는 메일 및 뉴스 리더 또는 wikifs의 프론트엔드로 사용할 수 있다. 이러한 응용 프로그램은 파일 시스템 인터페이스를 통해 acme와 상호 작용하는 외부 구성 요소로 인해 가능하다. 롭 파이크는 "Acme"라는 이름이 타임스 스퀘어에서 영화를 보던 중 펜 & 텔러의 펜 질렛이 "모든 것을" 수행하는 문서 편집기에 적합한 이름을 물었을 때 그에게 제안했다고 언급했다.

## 포트
인페르노 운영체제용 포트는 인페르노의 기본 배포판에 포함되어 있다. 인페르노는 다른 운영체제 위에서 응용 프로그램으로 실행될 수 있으므로 인페르노의 acme 포트는 마이크로소프트 윈도우 및 리눅스를 포함한 대부분의 운영체제에서 사용할 수 있다. acme: stand alone complex라는 프로젝트는 acme를 호스트 운영체제에서 독립 실행형 응용 프로그램으로 실행하도록 의도하고 있다.

유닉스 계열 운영체제용 acme의 작동 포트는 Plan 9 from User Space에 포함되어 있으며, 이는 플랜 9에서 포팅된 다양한 프로그램 모음이다. 현재 다음을 포함한 다양한 운영체제에서 테스트되었다. 리눅스, Mac OS X, FreeBSD, NetBSD, OpenBSD, 솔라리스 및 썬OS.

## 주목할 만한 Acme 사용자
* 데니스 리치
*러스 콕스
* 롭 파이크 (Acme 제작자)
*브라이언 L. 스튜어트

## 같이 보기

* Wily (문서 편집기), 유닉스에서 사용할 수 있는 유사한 프로그램이다. Plan 9 from User Space의 일부로 원본 acme가 포팅된 이후 유지보수되지 않는다.
* sam, 롭 파이크의 또 다른 인기 문서 편집기. Acme의 전신.
* 'Help': A Minimalist Global User Interface. acme의 전신이며 많은 아이디어를 공유한다 역시 롭 파이크가 제작.
* 플랜 9 (운영체제)
* wmii, Acme에서 많은 영감을 받은 창 관리자.
* 플랜 9 응용 프로그램 목록

## 각주

## 외부 링크
*
* , 매뉴얼.
* Plan 9 from User Space (일명 plan9port)는 원래 플랜 9 환경에서 유닉스 계열 운영체제(Mac OS X 포함)로 많은 플랜 9 프로그램을 포팅한 것이다.
* acme stand alone complex - 윈도우, OS X, 리눅스용으로 패키징된 인페르노 버전 acme 배포판으로, 많은 추가 기능과 도구(IRC 클라이언트, 위키 클라이언트, 웹 브라우저, 디버거 등)를 포함한다.
* 러스 콕스가 Acme를 시연한다

분류:자유 문서 편집기
분류:유닉스 문서 편집기
분자 질의 언어

**분자 질의 언어**(Molecular Query Language, **MQL**)는 화학정보학에서 더 복잡하고 문제별 검색 방법을 허용하도록 설계되었다. 널리 사용되는 SMARTS 질의와 달리 MQL은 원자와 결합의 공간적 및 물리화학적 특성을 지정할 수 있다. 또한, "축소된 특성" 그래프로도 알려진 비원자 기반 그래프를 처리하도록 쉽게 확장될 수 있다.
이 질의 언어는 확장 백쿠스-나우어 형식(자바CC)을 기반으로 한다.

## 내용주 및 각주
* E. Proschak, J. K. Wegner, A. Schüller, G. Schneider, U. Fechner, Molecular Query Language (MQL)-A Context-Free Grammar for Substructure Matching, J. Chem. Inf. Model., **2007**, 47, 295-301. 

## 같이 보기
* SMARTS
* 국제 화학 식별자

## 외부 링크
* MQL용 자바 웹스타트 애플리케이션

분류:화학정보학