hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
브론윈 제임스
브론윈 제임스(영어: Bronwyn James, 1994년 7월 24일 ~ )는 잉글랜드의 배우이다. 그녀는 시대극 《할롯》(2017–2019)에서 패니 역을, 뮤지컬 영화 《위키드》(2024)에서 셴셴 역을 맡은 것으로 알려져 있다.
브론윈 제임스 교육
제임스는 웨스트 요크셔의 웨이크필드에 있는 공연 예술 학교인 CAPA 칼리지에 다녔다. 2015년 제임스는 아카데미 오브 라이브 앤 레코디드 아츠를 졸업하고 연극 분야에서 문학 학사 학위를 취득했다.
브론윈 제임스 경력
2015년 제임스는 마틴 맥도나의 연극 《행맨》에서 셜리 역으로 전문 연극 무대에 데뷔했다.
제임스는 2017년부터 2019년까지 ITV 앙코르 시리즈 《할롯》에서 패니 램버트 역으로 출연했다. 그녀는 2017년 드라마 배교에서 장편 영화 데뷔를 했다. 이 영화는 대니얼 코코타일로가 감독했다. 2018년부터 2020년까지 제임스는 영화 《피털루》와 텔레비전 시리즈 《ABC 살인사건》, 《샌디랜드》, 《고스트》, 《아웃랜더》, 《콜 더 미드와이프》에 출연했다.
2019년 제임스는 ITV 범죄 드라마 《와일드 빌》에서 롭 로와 함께 주연을 맡았다. 다음 영화 출연작은 2021년 시대극 《더 디그》와 《컬러 룸》이다. 그녀는 2022년과 2023년에 각각 《치터스》와 《록우드 & Co.》에서 조연을 맡았다.
2022년 12월, 제임스는 스테판 슈워츠의 뮤지컬 《위키드》를 영화화한 작품에서 글린다의 친구인 셴셴 역으로 캐스팅되었다. 2024년 1월, 그녀는 2025년 6월 13일에 개봉할 영화 《드래곤 길들이기》의 실사 각색판에서 러프넛 토스턴 역을 맡을 것이라고 발표되었다.
브론윈 제임스 개인 생활
2023년 제임스는 예술 분야의 접근성을 증진하는 요크셔 기반 비영리 단체 하트 컬렉티브의 설립자인 캐서린-앨리스와 결혼했다.
아침놀
《아침놀: 도덕적 선입견에 대한 생각들》(독일어: Morgenröte – Gedanken über die moralischen Vorurteile)은 1881년 독일의 철학자인 프리드리히 니체가 쓴 책이다. 니체는 《이 사람을 보라》에서 《아침놀》에 대해 "도덕에 대한 나의 전투가 시작되었다"고 언급했다.
블라디미르 소보트카
블라디미르 소보트카(체코어: Vladimír Sobotka)는 다음 사람을 가리킨다.
마이클 쇼버
마이클 P. 쇼버(영어: Michael P. Shawver, 1984년/1985년 출생)는 미국의 영화 편집자로, 라이언 쿠글러 감독과 오랫동안 협력한 것으로 알려져 있다. 서던캘리포니아 대학교 영화 예술 학교에서 만난 후, HBO에서 방영된 단편 "Fig"를 포함하여 쿠글러의 학생 영화 편집을 시작했다. 이어서 쿠글러의 주요 장편 영화인 오스카 그랜트의 어떤 하루(2013), 크리드(2015), 블랙 팬서(2018), 그리고 블랙 팬서: 와칸다 포에버(2022)를 공동 편집했다. 이들의 협력은 2025년 영화 씨너스: 죄인들로 이어져 15년간의 파트너십을 기록했다. 쿠글러와의 작업 외에도 콰이어트 플레이스 2(2020), 어니스트 씨프(2020), 블랙라이트(2022), 애비게일(2024) 등 다양한 장편 영화를 편집했다.
마이클 쇼버 어린 시절과 교육
1984년/1985년경에 태어나 노스프로비던스에서 자랐다. 그레이스톤 초등학교와 포나가셋 고등학교를 다녔다. 로드아일랜드 대학교에 진학하여 커뮤니케이션 연구를 전공했다. 2007년에 로드아일랜드 대학교를 졸업했고, 그 후 로스앤젤레스에 있는 서던캘리포니아 대학교 영화 예술 학교에서 미술학 석사 과정에 등록했다. 2009년 연출 수업에서 라이언 쿠글러를 만났고, 쿠글러가 제작 중인 단편 영화에 대해 알게 된 후 편집을 돕겠다고 자청했다. HBO에서 방영된 "Fig"를 포함한 쿠글러의 학생 영화들을 편집했다. 2012년에 미술학 석사 과정을 마쳤다.
마이클 쇼버 경력
쇼버의 첫 번째 장편 영화 편집자 크레딧은 쿠글러가 클라우디아 카스텔로와 함께 첫 장편 영화 오스카 그랜트의 어떤 하루 작업을 시작했을 때 얻었다. 쿠글러는 쇼버를 영입했고, 카스텔로와 팀으로 작업했다. 두 사람은 쿠글러의 다음 작품인 크리드에서도 다시 편집자로 협력했다. 쿠글러의 세 번째 장편 영화 블랙 팬서에서는 쇼버가 데비 버먼과 팀을 이루어 500시간이 넘는 분량의 푸티지를 편집했다. 버먼은 2017년 영화 스파이더맨: 홈커밍의 편집자 중 한 명이었기 때문에 그녀에게서 편집 시 시각 효과를 다루는 방법을 배웠다.
2025년 영화 씨너스: 죄인들에서 쿠글러와 다시 협력했으며, 이후 쿠글러는 그들의 15년간의 파트너십에 대해 쇼버를 인정했다.
빌 포프
빌 포프, A.S.C. (1952년 6월 19일 출생)는 미국의 촬영 감독이다. 샘 레이미, 더 워쇼스키스, 에드거 라이트 감독과의 협업으로 잘 알려져 있다. 또한 크리스 아이작, 메탈리카, 드레이크와 같은 아티스트들의 수많은 뮤직 비디오를 촬영 및 감독했으며, 코스모스 다큐멘터리 시리즈의 8개 에피소드에 참여했다.
빌 포프 어린 시절
포프는 켄터키주 볼링그린에서 태어났다. 그는 칼리지 고등학교와 뉴욕 대학교에서 미술 석사 학위를 받았다. 졸업 전, 포프는 1978년 5월 21일 제5회 스튜던트 아카데미상 다큐멘터리 부문 오스카를 수상한 '더 식스스 위크'라는 학생 영화의 촬영 감독으로 일했다.
크리스천 만즈
크리스천 만즈(Christian Manz)는 영국의 시각 효과 아티스트이다. 영화 해리 포터와 죽음의 성물 1부로 아카데미상 아카데미 시각효과상 부문에 후보로 올랐다. 또한 세 차례 영국 아카데미 영화상 후보로 지명되었다. 시각 효과 스튜디오인 프레임스토어에 소속되어 영화 부문 크리에이티브 디렉터로도 활동하고 있다.
킬러 필름스
킬러 필름스(Killer Films)는 1995년 영화 프로듀서 크리스틴 바숑과 파멜라 코플러가 뉴욕에 설립한 독립 영화 제작사이다. 이 회사는 지난 20년간 파 프롬 헤븐 (4개 아카데미상 후보), 소년은 울지 않는다 (아카데미상 수상), 스토커, 키즈, 헤드윅, 해피니스, 벨벳 골드마인, 세이프, 나는 앤디 워홀을 쏘았다, 스운, 아임 낫 데어 (아카데미상 후보), 킬 유어 달링, 스틸 앨리스 (아카데미상 수상), 캐롤 (6개 아카데미상 후보) 등 수많은 호평받는 독립 영화를 제작했다. 킬러 필름스는 또한 토드 헤인스의 5부작 HBO 미니시리즈 밀드레드 피어스의 총괄 프로듀서를 맡았으며, 이 작품은 5개의 에미상, 골든 글로브상 및 미국 배우 조합상을 수상했다.
2014년, 킬러 필름스는 글라스 엘리베이터 미디어와 합병하여 킬러 콘텐츠 주식회사를 설립했다. 이들의 로고는 다트판을 몸통으로 한 토끼로 구성되어 있다.
킬러 필름스 수상 및 표창
킬러 필름스의 작품들은 영화 예술 과학 아카데미, 에미상, 할리우드 외신 기자 협회 및 인디펜던트 스피릿 어워드로부터 여러 상과 후보 지명을 받았다. 2005년 킬러 필름스의 10주년을 기념하여 뉴욕 근대미술관에서 회고전이 열렸다.
크리스틴 바숑의 첫 장편 영화 제작작인 토드 헤인스 감독의 포이즌 (1991년 영화)은 1991년 선댄스 영화제에서 심사위원대상을 수상했다. 포이즌은 신흥 뉴 퀴어 시네마의 대표작 중 하나였다. 또 다른 토드 헤인스와의 협업작인 파 프롬 헤븐 작업으로 바숑은 뉴욕 영화 비평가 협회의 영예를 안았고, 전미 비평가 위원회로부터 올해의 프로듀서 상을 받았다.
바숑은 공영 라디오 프로그램인 디스 아메리칸 라이프의 쇼타임 TV 각색판을 제작하여 에미상을 수상했다. 2011년, 크리스틴은 샌프란시스코 영화 협회의 제54회 샌프란시스코 국제 영화제에서 영화의 현황에 대한 연설을 하도록 초청받았다.
바숑은 또한 자신의 삶과 경력에 대한 두 권의 책, 『슈팅 투 킬』(1998)과 『어 킬러 라이프』(2006)를 썼다.
킬러 필름스 수상 및 표창
킬러 필름스의 가장 최근 영화 중 하나인 존 크로키다스 감독, 다니엘 래드클리프와 데인 드한 주연의 킬 유어 달링은 선댄스 영화제에 초청되어 심사위원대상 후보에 올랐다. 2013년 선댄스 영화제에서 큰 호평을 받으며 데뷔한 매직 매직 (2013년 영화)을 제작한 후, 킬러는 작가 겸 감독인 세바스티안 실바와 그의 새로운 영화 네스티 베이비에서 다시 협력했다.
2015년, 줄리안 무어는 리사 제노바의 동명 소설을 원작으로 워시 웨스트모얼랜드와 리처드 글래처가 감독한 2014년 킬러 필름의 스틸 앨리스에서 아카데미상 여우주연상을 수상했다. 같은 해, 킬러는 토드 헤인스 감독과 다시 협력하여 퍼트리샤 하이스미스가 쓴 1952년 로맨스 소설 캐롤 (소설)을 원작으로 한 캐롤 (영화)을 제작했다. 이 영화에는 케이트 블란쳇과 루니 마라가 출연한다.
2017년, 이 회사는 야니차 브라보의 레몬을 제작했는데, 브렛 겔먼과 주디 그리어가 주연을 맡았다. 살마 아예크와 클로이 세비니 주연의 베아트리스 앳 디너도 제작했다. 또한 댄 식클스와 안토니오 산티니가 감독한 디나를 제작했는데, 이 영화는 2017년 선댄스 영화제에서 다큐멘터리 부문 심사위원대상을 수상했다.
2017년 5월,  아마존 스튜디오와 2년 독점 계약을 체결했다.
2AM (기업)
2AM은 2021년 크리스틴 드수자 젤브, 데이비드 히노호사, 케빈 로우가 설립한 미국의 독립 영화 제작 및 매니지먼트 회사이다. 공포의 파티 (2022년), 《더 스털링 걸》 (2023년), 패스트 라이브즈 (2023년) 등의 영화 제작으로 가장 잘 알려져 있다.
2AM (기업) 역사
2021년 2월, 크리스틴 드수자 젤브, 데이비드 히노호사, 케빈 로우는 A24의 재정적 지원을 받아 제작 및 매니지먼트 회사인 2AM을 설립했다. 첫 번째 영화인 할리나 레인 감독의 공포의 파티는 2022년 8월에 개봉되었다.
매니지먼트 측면에서, 레인, A.V. 로크웰, 재니카 브라보, 제레미 오 해리스, 미즈노 소노야, 엘레강스 브랫턴, 로렐 파멧, 맷 스파이서, 아담 베사 등을 대리한다.
존 칼슨 (아이스하키 선수)
존 칼슨(영어: John Carlson, 1990년 1월 10일~)은 미국의 아이스하키 선수로 포지션은 수비수이다. 현재 내셔널 하키 리그(NHL)의 팀인 워싱턴 캐피털스에서 부주장을 맡고 있다. 그는 미국 하키 리그(USHL)의 인디애나 아이스에서 1년 동안 뛴 후, 2008년 NHL 드래프트에서 1라운드 27위로 워싱턴 캐피털스에게 지명되었다. 칼슨은 NHL에 입성하기 전 온타리오 하키 리그(OHL)의 런던 나이츠 소속으로 뛰었고, 아메리칸 하키 리그(AHL)의 캐피털스 제휴팀인 허시 베어스에서 프로 선수 생활을 했다. 칼슨은 2018년에 워싱턴 캐피털스 소속으로 스탠리 컵을 우승했으며, 플레이오프 기간 동안 가장 높은 득점을 기록한 수비수가 되었다.
칼슨은 미국 국가대표팀의 일원으로 2014년 동계 올림픽과 2016년 아이스하키 월드컵에 참가했다.
인도양 무역
인도양 무역은 역사적으로 동서양 교류의 핵심 요소였다. 오스트로네시아 무역선과 남아시아 및 중동 다우선에 의한 장거리 해상 무역은 선사 시대 및 초기 역사 시대에 동남아시아에서 동아프리카 및 동남아프리카, 서쪽의 동부 지중해까지 확장되는 사람, 문화 및 문명 간의 역동적인 상호작용 지대가 되게 했다. 인도양 연안의 도시와 국가들은 바다와 육지 모두에 중점을 두었다.
인도양 무역 초기 시대
기원전 2600-1900년경의 중기 하라파 시대부터 하라파 문명과 메소포타미아 문명 사이에 광범위한 해상 무역 네트워크가 운영되었으며, 많은 상업 활동은 "딜문"(현대 바레인과 페르시아만에 위치한 팔라카 섬)의 중개 상인에 의해 처리되었다. 이러한 장거리 해상 무역은 직조된 갈대나 천으로 만든 돛을 지지하는 단일 중앙 돛대가 장착된 판자 건축 선박의 개발로 가능해졌다.
파키스탄의 소트카겐-도르(다슈트 강변, 지와니 북쪽), 소크타 코흐(샤디 강변, 파스니 북쪽), 발라코트(손미아니 근처)와 서인도의 로탈과 같은 여러 해안 정착지들은 하라파 무역 전초 기지로서의 역할을 증명한다. 바다로 열리는 강 하구에 위치한 얕은 항구들은 메소포타미아 도시들과 활발한 해상 무역을 가능하게 했다.
인도양 무역 인도-지중해 무역 네트워크
최근의 고고학적 연구는 청동기 시대 이집트와 인도가 홍해를 통해 직접 해상 접촉을 했다는 증거가 증가하고 있음을 강조한다. 그레고리 포셀과 같은 학자들도 인더스 문명과 동아프리카 간의 해상 활동을 제안했다. 동인도양 무역 네트워크의 해상 활동은 인도-태평양 구슬의 발견에서 알 수 있듯이 이른 야요이 시대(기원전 3세기)부터 일본까지 확장되었다.
인도양 무역 오스트로네시아 해상 무역 네트워크
인도양의 해상 무역 네트워크는 해양 동남아시아의 오스트로네시아족이 운영했다. 그들은 남인도와 스리랑카와 무역로를 개척하여 물질 문화(예: 카타마란, 아웃리거 보트, 묶음-러그 및 봉합-판자 보트, 판 (기호품))와 재배종 (예: 코코야자, 백단향, 바나나, 사탕수수, 정향, 육두구)의 교환을 촉진하고, 인도와 중국의 물질 문화를 연결했다. 인도네시아인들은 특히 인도양의 편서풍의 도움을 받아 카타마란과 아웃리거 보트를 이용해 동아프리카와 향신료(주로 계피와 카시아)를 거래했다. 이 무역 네트워크는 아프리카와 아라비아반도까지 확장되었을 가능성이 있으며, 1천년기 전반에 마다가스카르의 오스트로네시아 식민지화로 이어졌다. 이 무역은 역사 시대까지 계속되었고, 나중에 해상 실크로드가 되었다.
인도양 무역 헬레니즘 및 로마 시대
인도와 그리스 프톨레마이오스 왕국 간의 무역은 기원전 130년에 키지코스의 에우독소스에 의해 시작되었다. 이집트에서 상품은 지중해 전역의 항구로 운송될 수 있었다. 프톨레마이오스 왕국이 홍해 항구를 개방하고 계절풍에 대한 지식이 향상되면서 무역이 크게 증가했다.
로마 제국 하에 지중해 연안 행정의 통합은 인도와의 직접적인 해상 무역을 강화하고 이전에 다양한 육로 무역로의 중개인들이 징수하던 세금을 없애는 결과를 가져왔다. 로마 제국과 인도 간의 무역은 로마 황제 아우구스투스(기원전 27년 – 기원후 14년) 통치부터 시작되어 안토니누스 역병으로 끝난 평화와 번영 덕분에 서기 1세기에서 2세기 사이에 최고조에 달했다.
스트라본에 따르면:
어쨌든, 코르넬리우스 갈루스가 이집트 총독이었을 때, 나는 그와 동행하여 나일강을 따라 시에네와 악숨 왕국(에티오피아)의 국경까지 올라갔고, 과거 프톨레임 시대에는 소수의 선박만이 인도 상품을 운송하는 항해를 감행했지만, 지금은 미오스 호르모스에서 아대륙으로 무려 120척의 선박이 항해하고 있다는 것을 알게 되었다.— 스트라본
인도양 무역 헬레니즘 및 로마 시대
스트라본이 로마의 이집트 병합 이후 무역의 엄청난 증가를 언급한 것은 몬순이 그의 시대에 무역에 알려지고 활용되었다는 것을 나타낸다. 이 무역을 위해 너무 많은 금이 사용되었고, 쿠샨 제국(쿠샨족)이 자체 주화로 재활용했던 것 같아서, 가이우스 플리니우스 세쿤두스(자연사 VI.101)는 인도에 대한 귀금속 유출에 대해 불평했다:
동방 무역에 관련된 세 주요 로마 항구는 아르시노에, 베레니케, 미오스 호르모스였다. 아르시노에는 초기 무역 중심지 중 하나였지만, 더 접근하기 쉬운 미오스 호르모스와 베레니케에 의해 곧 그 중요성이 퇴색되었다.
프톨레마이오스 왕조는 알렉산드리아의 전략적 위치를 이용하여 아대륙과의 무역을 확보했다. 동방과의 무역 경로는 먼저 현재의 수에즈 항구인 아르시노에를 통했던 것으로 보인다. 동아프리카 무역 상품은 아르시노에, 베레니케 또는 미오스 호르모스 등 세 주요 로마 항구 중 한 곳에 하역되었다. 로마인들은 나일강에서 홍해의 아르시노에 항구 중심까지의 운하에 쌓인 토사를 제거하고 보수했다. 이는 로마 행정부가 가능한 한 많은 무역을 해상 경로로 돌리기 위해 undertook해야 했던 많은 노력 중 하나였다.
인도양 무역 헬레니즘 및 로마 시대
아르시노에는 결국 미오스 호르모스의 부상하는 명성에 가려졌다. 아르시노에-클리스마와 같은 북부 항구로의 항해는 수에즈만의 북풍 때문에 미오스 호르모스에 비해 어려워졌다. 이러한 북부 항구로의 진출은 여울, 암초 및 위험한 해류와 같은 추가적인 어려움을 수반했다.
미오스 호르모스와 베레니케는 고대 이집트의 파라오 상인들과 프톨레마이오스 왕조가 로마의 지배를 받기 전에도 사용했던 중요한 고대 무역 항구였던 것으로 보인다.
벨조니(1818)에 의해 발견된 이래로 베레니케 유적지는 남부 이집트의 라스 바나스 근처의 유적과 동일시되어 왔다. 그러나 미오스 호르모스의 정확한 위치는 논쟁 중이며, 라티그 아부 샤아르와 고전 문학 및 위성 이미지의 기록은 나일강의 콥토스에서 요새화된 도로 끝에 있는 쿠세이르 엘-콰딤과의 유력한 동일시를 나타낸다. 엘-제르카 발굴 이후 쿠세이르 엘-콰딤 유적지는 미오스 호르모스와 추가적으로 연관되어 왔다. 발굴된 오스트라카는 이 도로 끝에 있는 항구가 미오스 호르모스였을 수 있다는 결론을 이끌어냈다.
인도양 무역 헬레니즘 및 로마 시대
바르바리쿰(현대 카라치), 수나구라(중앙 방글라데시), 바리가자, 케랄라의 무지리스, 코르카이, 카베리파티남 및 현재 인도 남단에 위치한 아리카메두의 지역 항구들은 내륙 도시 코두마날과 함께 이 무역의 주요 중심지였다. 에리트레아 해의 페리플루스는 그리스-로마 상인들이 바르바리쿰에서 "얇은 의류, 무늬 있는 아마포, 황옥, 산호, 스토락스, 유향, 유리그릇, 은금 접시, 약간의 와인"을 팔아 "코스투스, 델리움, 라이시움, 나르드, 터키석, 청금석, 세릭 가죽, 면직물, 견섬유 실, 인디고"와 교환했다고 묘사한다. 바리가자에서는 밀, 쌀, 참기름, 면화 및 직물을 구입했을 것이다.
인도-스키타이 서사트라프 나하파나("남바누스")의 통제 하에 있는 바리가자와의 무역은 특히 번성했다:
인도양 무역 헬레니즘 및 로마 시대
이 시장 도시(바리가자)로 수입되는 것은 이탈리아산, 라오디케아산, 아라비아산 와인, 구리, 주석, 납, 산호, 황옥, 얇은 옷과 모든 종류의 하급 직물, 폭 1큐빗의 밝은 색 허리띠, 스토락스, 스위트 클로버, 부싯돌 유리, 리얼가르, 안티몬, 금화 및 은화이며, 이들은 현지 화폐와 교환될 때 이익이 된다. 그리고 연고도 수입되지만 그리 비싸지 않고 양도 많지 않다. 그리고 왕을 위해서는 매우 비싼 은그릇, 노래하는 소년들, 하렘을 위한 아름다운 소녀들, 고급 와인, 최고급 직물로 만든 얇은 옷, 그리고 최고급 연고가 이 지역으로 들여온다. 이 지역에서 수출되는 것은 인디언 감송, 코스투스, 델리움, 상아, 마노 및 홍옥, 라이시움, 모든 종류의 면직물, 실크 천, 아욱 천, 실, 긴 후추 및 다양한 시장 도시에서 가져온 기타 물품들이다. 이 시장 도시로 향하는 이집트인들은 대략 7월, 즉 에피피 달에 순조롭게 항해한다.— 에리트레아 해의 페리플루스 (49단락).
인도양 무역 헬레니즘 및 로마 시대
무지리스는 인도 남서부 해안에 위치한 실전된 항구 도시로, 체라 왕국과 로마 제국 간의 고대 타밀 지역 무역의 주요 중심지였다. 그 위치는 일반적으로 현대의 크랑가노르(중앙 케랄라)와 동일시된다. 파타남 마을(크랑가노르 근처)에서 발견된 대량의 동전과 수많은 암포라 파편들은 이 항구 도시의 유력한 위치를 찾는 데 최근 고고학적 관심을 불러일으켰다.
에리트레아 해의 페리플루스에 따르면, 수많은 그리스 선원들이 무지리스와 활발한 무역을 했다:
그리고 나우라와 틴디스가 나오는데, 다미리카 (리미리케)의 첫 번째 시장들이다. 그리고 무지리스와 넬킨다가 나오는데, 이들은 지금 가장 중요하게 여겨진다. 틴디스는 케로보트라 왕국에 속하며, 바다에 바로 보이는 마을이다. 같은 왕국의 무지리스는 아라비아와 그리스인들이 화물과 함께 보낸 배들로 가득하다. 이곳은 강변에 위치하며, 틴디스에서 강과 바다로 500스타디아 떨어져 있고, 해안에서 강으로 20스타디아 올라가면 있다.— 에리트레아 해의 페리플루스 (53–54)
인도양 무역 헬레니즘 및 로마 시대
에리트레아 해의 페리플루스는 포두케(ch. 60)라는 시장을 언급하는데, G.W.B. 헌팅포드는 이를 타밀나두주의 아리카메두로 식별했는데, 이는 초기 촐라 무역의 중심지(현재 퐁디셰리에서 약 3 킬로미터 (1.9 mi) 떨어진 아리얀쿠팜의 일부)였다. 헌팅포드는 또한 1937년에 아리카메두에서 로마 도자기가 발견되었고, 1944년에서 1949년 사이의 고고학 발굴을 통해 이곳이 "서기 1세기 상반기에 로마 제조품이 수입되던 무역 거점"이었음을 보여주었다고 언급한다.
로마-페르시아 전쟁 이후, 로마 동로마 제국의 지배를 받던 지역은 페르시아 사산 왕조의 호스로 2세에게 점령되었으나, 동로마 제국의 황제 이라클리오스가 이 지역들을 수복했다(628년). 아랍인들은 아므르 이븐 알-아스의 지휘 아래 639년 말 또는 640년 초에 이집트로 진입했다. 이 진격은 이슬람의 이집트 정복의 시작과 프톨레마이오스 왕조 이후 로마 세계에 의해 인도 아대륙과의 무역을 확보했던 알렉산드리아와 같은 항구들의 함락을 알렸다.
무역의 쇠퇴로 고대 타밀 지역은 국제 무역을 위해 동남아시아로 눈을 돌렸고, 이곳에서는 로마에 미친 영향보다 더 큰 정도로 현지 문화에 영향을 미쳤다.
인도양 무역 대인도 힌두-불교 시대
사타바하나 왕조는 동남아시아에서 해운 사업을 발전시켰다. 8세기 고대 자와섬의 목재 이중 아웃리거와 돛이 달린 보로부두르 선박의 묘사는 인도네시아와 마다가스카르 및 동아프리카 사이의 인도양을 가로지르는 고대 무역 연결망, 때로는 '계피 길'로 불리는 연결망이 있었음을 시사한다. 단일 또는 이중 아웃리거는 항해하는 오스트로네시아인의 전형적인 선박 특징이며, 동남아시아, 오세아니아, 인도양을 가로지르는 그들의 항해와 탐험에 가장 흔히 사용된 선박이다. 이 시기, 7세기부터 13세기 사이에 인도네시아 군도에서는 스리위자야 해양제국이 번성하여 해양 동남아시아의 해상 무역 네트워크를 지배하고 인도와 중국을 연결했다.
인도양 무역 중국인의 여행
15세기 초, 정화 (명나라)가 이끄는 중국 명나라 함대는 인도양을 가로질러 항해했다. 이 임무는 상업적이라기보다는 외교적이었지만, 많은 선물과 생산품 교환이 이루어졌다.
인도양 무역 일본의 무역
16세기와 17세기 동안 일본 선박들은 주고인선 시스템을 통해 인도양 무역에 진출했다.
인도양 무역 이슬람 시대
무슬림 시대 동안, 무슬림들은 인도양을 가로지르는 무역을 지배했으며, 구자라트 상인들은 몰루카 제도에서 향신료를 가져오고 중화인민공화국에서 견섬유를 가져와 직물과 같은 제조품과 교환한 다음 이집트인과 아랍인에게 팔았다. 칼리컷은 당시 홍해와 유럽으로 후추를 수출하는 인도의 중심지였으며, 이집트와 아랍 상인들이 특히 활발하게 활동했다.
무슬림 선교사들과 상인들은 8세기, 또는 그 이전부터 인도양 서부 해안을 따라 이슬람을 전파하기 시작했다. 8세기에서 15세기로 거슬러 올라가는 스와힐리 석조 모스크가 케냐의 샹가에서 발견되었다. 인도양을 가로지르는 무역은 점진적으로 아랍 문자와 주식 (음식)으로서 쌀을 동아프리카에 도입했다. 무슬림 상인들은 800년에서 1700년 사이에 연간 약 1,000명의 아프리카 노예를 거래했으며, 이 숫자는 18세기에는  4000명경으로, 1800-1870년에는 3700명으로 증가했다. 노예 무역은 네덜란드인들이 1600년경에 정착하기 전에도 동인도양에서 발생했지만, 이 무역의 규모는 알려져 있지 않다.
인도양 무역 이슬람 시대
마다가스카르에서는 중동(시라지 페르시아인, 오만 아랍인, 아랍화된 유대인, 남동 아프리카의 반투족이 동반)과 아시아(구자라트족, 말레이족, 자와인, 부기족)의 상인과 노예 상인들이 때때로 토착 말라가시 씨족에 통합되었다. 이 시기에 새로운 오스트로네시아 이주민들이 마다가스카르에 도착하여 영구적인 문화적 및 유전적 유산을 남겼다.
인도양 무역 유럽 식민지 탐험 시대
바스쿠 다 가마가 이끄는 포르투갈인들은 1497-98년에 아프리카 남단을 거쳐 인도양으로 가는 해상 경로를 발견했다. 처음에는 포르투갈인들이 주로 칼리컷에서 활동했지만, 구자라트주의 북부 지역은 무역에 훨씬 더 중요했으며, 동서 무역의 필수적인 중간자 역할을 했다.
인도양에서의 유럽 노예 무역은 포르투갈이 16세기 초 인도국을 설립하면서 시작되었다. 그때부터 1830년대까지 연간 약 200명의 노예가 모잠비크에서 수출되었으며, 이베리아 연합(1580-1640) 기간 동안 아시아에서 필리핀으로 데려온 노예도 비슷한 수치로 추정된다.
전통적인 무역 패턴이 사라지고 포르투갈이 유럽에서 향신료 무역에서 베네치아보다 낮은 가격에 판매할 수 있게 되면서 베네치아의 이익은 직접적으로 위협받았다. 베네치아는 포르투갈과의 외교 관계를 단절하고 인도양 개입에 대항할 방법을 모색하기 시작했으며, 이집트 궁정에 대사를 파견했다. 베네치아는 포르투갈과의 경쟁을 촉진하기 위해 이집트 관세 인하를 협상했고, 포르투갈에 대해 "빠르고 비밀스러운 조치"를 취할 것을 제안했다. 맘루크는 1507년 아미르 후사인 알-쿠르디 휘하의 함대를 파견했고, 이 함대는 차울 해전에 참전했다.
인도양 무역 유럽 식민지 탐험 시대
오스만 제국은 1581년에 알리 베이 휘하의 함대를 포르투갈에 대항하여 파견함으로써 페르시아만 지역에서 포르투갈의 패권에 도전하려 했다. 이 노력에는 무스카트, 과다르, 파스니와 같은 여러 지역 제후국 및 항구 도시의 수장들이 지지했다. 그러나 포르투갈은 성공적으로 오스만 함대를 요격하여 파괴했다. 이후 포르투갈은 적에게 도움과 위안을 제공한 것에 대한 보복으로 메크란 해안의 과다르와 파스니를 공격하고 약탈했다.
16세기 동안 포르투갈은 페르시아만에 기지를 건설했다. 1602년, 이맘 쿨리 칸 운딜라제의 지휘를 받는 이란군은 바레인에서 포르투갈인들을 추방하는 데 성공했다. 1622년, 영국 선박 4척의 도움으로 아바스 1세는 호르무즈를 포르투갈로부터 탈환했다. 그는 무역 중심지를 본토 근처의 새로운 항구인 반다르아바스로 대체했지만, 이곳은 결코 호르무즈만큼 성공적이지 못했다.
인도양 무역 유럽 식민지 탐험 시대
17세기 초 네덜란드 동인도 회사의 설립은 이 지역 노예 무역량의 급격한 증가로 이어졌다. 17세기와 18세기 동안 네덜란드 식민지에는 약 500,000명의 노예가 있었다. 예를 들어, 약 4,000명의 아프리카 노예가 네덜란드 실론의 콜롬보 요새를 건설하는 데 사용되었다. 발리와 인근 섬들은 1620-1830년 동안 지역 네트워크에  100,000명–150,000명경의 노예를 공급했다. 인도와 중국 노예 상인들은 17세기와 18세기 동안 네덜란드 네덜란드령 동인도에 약 25,000명의 노예를 공급했다.
인도양 무역 유럽 식민지 탐험 시대
영국 동인도 회사는 같은 시기에 설립되었으며, 1622년에 그 선박 중 하나가 코로만델 해안에서 네덜란드령 동인도로 노예를 수송했다. 동인도 회사는 주로 아프리카 노예를 거래했지만, 인도, 인도네시아 및 중국 노예 상인들로부터 구매한 일부 아시아 노예도 거래했다. 프랑스는 1721년에 레위니옹과 모리셔스 섬에 식민지를 건설했다. 1735년까지 마스카렌 제도에는 약 7,200명의 노예가 거주했으며, 1807년에는 133,000명에 이르렀다. 그러나 영국은 1810년에 이 섬들을 점령했고, 영국이 1807년에 노예 무역을 금지했기 때문에 섬의 프랑스 농장주들에게 노예를 공급하기 위한 비밀 노예 무역 시스템이 발달했다. 총 336,000명–388,000명의 노예가 1670년부터 1848년까지 마스카렌 제도로 이송되었다.
총체적으로, 유럽 상인들은 1500년에서 1850년 사이에 인도양 내에서 567,900명–733,200명의 노예를 이송했고, 같은 기간 동안 거의 같은 수의 노예가 인도양에서 아메리카 대륙으로 이송되었다. 그럼에도 불구하고 인도양의 노예 무역은 대서양을 가로질러 이송된  12,000,000경명의 노예와 비교하면 매우 제한적이었다.
인도양 무역 출처
Allen, R. B. (2017). 《Ending the history of silence: reconstructing European slave trading in the Indian Ocean》 (PDF). 《Tempo》 23. 294–313쪽. doi:10.1590/tem-1980-542x2017v230206. 2019년 6월 30일에 확인함.
LaViolette, A. (2008). 《Swahili cosmopolitanism in Africa and the Indian Ocean world, AD 600–1500》. 《Archaeologies》 4. 24–49쪽. doi:10.1007/s11759-008-9064-x. S2CID 128591857. 2019년 2월 23일에 확인함.
호르헤 훌리오
호르헤 훌리오(스페인어: Jorge Julio)는 다음 사람을 가리킨다.
호르헤 훌리오 (권투 선수)
호르헤 엘리에세르 훌리오 로차(스페인어: Jorge Eliécer Julio Rocha, 1969년 4월 4일~)는 콜롬비아의 전직 권투 선수이다. 콜롬비아 국가대표 선수로 활동하여 1988년 하계 올림픽 남자 밴텀급 종목에서 동메달을 획득했다. 이후 1989년에 프로로 전향하여 1992년 세계 복싱 협회(WBA) 밴텀급 세계 챔피언에 올랐고 1997년 세계 복싱 기구(WBO) 밴텀급 세계 챔피언에 올랐다.
비디야다라
비디야다라(산스크리트어: विद्याधर, "지혜를 가진 자"라는 뜻)는 마법의 힘을 가진 인도계 종교의 초자연적인 존재들이다. 힌두교에서 그들은 히말라야산맥에 사는 시바를 섬기기도 한다. 그들은 우파데바 또는 반신으로 여겨진다.
비디야다라 힌두교에서
힌두 서사시에서 비디야다라들은 본질적으로 공기의 정령으로 묘사된다. 그들은 인간의 기량을 경이롭게 바라보거나, 전투를 지켜보며 꽃을 뿌리거나, 음악과 웃음으로 기뻐하거나, 화환을 쓰고 아내와 함께 위험에서 도망치는 등 서사시에서 다양한 활동을 하는 것으로 묘사된다. 그들은 크기를 줄이는 능력과 같은 위대한 마법의 힘을 가지고 있다. 그들은 "선을 행하고 즐거움에 헌신하는 자"라는 별칭으로 묘사된다. 그들은 또한 간다만다나 산과 다른 히말라야 산에서 킨나라와 함께 살고 있다. 그들은 또한 크라운차산, 라마가 비디야다라 여성들이 노는 것을 본 치트라쿠타, 말라바르 해안의 언덕, 그리고 칸다바 숲에 거주하는 것으로 묘사된다. 그들은 또한 그들의 지도자인 차크라다르만과 함께 쿠베라의 궁정에서, 그리고 비프라시티 아래 인드라의 궁전에서 볼 수 있다. 비디야다라의 세 번째 지도자는 현명한 잠바반으로 묘사된다. 서사시 마하바라타에서 비디야다라들은 자나메자야 2세의 뱀 희생에서 다른 반신들과 함께 인드라를 따르는 것으로 묘사된다. 서사시에서 여성 비디야다라, 즉 비디야다리들은 아름다움이 뛰어나며, 라바나와 같은 악마들에게 납치당하는 희생자였다. 라마야나의 순다라칸다 1.22절부터 1.26절까지는 하누만이 바다를 뛰어넘으려는 시도에서 마헨드라산에 가한 압력으로 인해 비디야다라와 그들의 여성들이 겪는 고난을 묘사한다.
비디야다라 힌두교에서
아그니 푸라나에서 그들은 하늘에서 화환을 쓰고 야크샤와 간다르바와 같은 다른 반신들과 함께 언급된다.
바가바타 푸라나에서 치트라케투는 비디야다라의 왕으로 묘사된다. 또한 수다르샤나라는 저주받은 비디야다라에 대해서도 이야기한다. 푸라나의 다양한 언급에서 그들은 신 비슈누에게 도움을 구하거나 신의 많은 창조물들 사이에 열거된 다른 반신들과 결합된다. 비디야다라는 싯다들과 함께 암소의 모습을 취한 대지(大智)(프리티비)를 카필라 현자를 송아지로 삼아 젖을 짜고 다양한 요가 신비주의적인 힘(싯디)과 하늘 항아리에 담긴 비행술을 우유처럼 모았다고 한다.
비디야다라 힌두교에서
구나댜는 비디야다라에 대한 7개의 거대한 이야기를 지었지만, 왕이 그들을 거부하자 처음 6개는 파괴하고 7번째 이야기인 나라바하나닷타 이야기만 남겼으며, 이 이야기는 파이샤치어로 쓰인 브리핫카타가 되었다고 한다. 이 작품은 현존하지 않지만, 산스크리트어로 된 세 가지 각색본이 있다: 크셰멘드라의 브리핫카타만자리, 소마데바의 카타사리트사가라, 그리고 부다스와민의 브리핫카타슐로카삼그라하. 카타사리트사가라는 데바닷타(비디야다라가 된 브라만 소년), 지무타바하나, 묵타팔라케투와 나라바하나닷타(비디야다라의 황제가 된 자)와 같은 비디야다라에 대한 몇 가지 이야기를 제시한다.
비디야다라 자이나교에서
자이나교 전설은 비디야다라를 진화된 인간 또는 아카샤고차리 인간으로 묘사한다. 자이나교에 따르면 비디야다라는 인간이지만 비디야를 가지고 있다. 비디야다라는 자이나교에서 비행과 같은 신비로운 힘과 능력을 가지고 있다. 자이나교 문학에 따르면 바나라와 라크샤사는 많은 비디야다라 부족 중 두 부족이다. 일부 왕으로는 라바나, 하누만, 발리 (라마야나)가 있다.
아슈타디그가자
아슈타디그가자(산스크리트어: अष्टदिग्गज)는 힌두교 우주론에 등장하는 여덟 마리의 전설적인 코끼리 무리로, 우주의 여덟 구역을 수호한다. 아슈타디그가자 옆에는 아슈타디카리니라고 불리는 여덟 마리의 암코끼리들도 있다.
아슈타디그가자 목록
여덟 구역을 지키는 아슈타디그가자와 아슈타디카리니는 총 여덟 쌍이다:
아슈타디그가자 문헌
아슈타디그가자 외에도, 저승의 네 방향에서 지구를 지탱하는 네 마리의 코끼리가 있으며, 그들의 이름은 라마야나에 나와 있다: 비루팍샤(동쪽), 마하파드마사마(남쪽), 사우마나사(서쪽), 바드라(북쪽).
마탕가 릴라는 아슈타디그가자를 아슈타디팔라, 즉 여덟 신성한 방위의 수호신의 바하나로 연관시킨다. 이 문헌은 '태어나지 않은 자'(창조주)가 우주 알의 반쪽 껍질을 손에 들었을 때, 현자들이 사만 찬송가를 읊조리는 동안 아이라바타가 이끄는 아슈타디그가자들이 오른손의 껍질에서 나왔고, 암코끼리 여덟 마리는 그들의 배우자로 왼손의 껍질에서 나왔다고 말한다. 아슈타디그가자들은 배우자와 번식하여 숲과 산을 코끼리로 채웠다. 그들은 아수라와의 전투에서 신들을 돕기도 했다.
아슈타디그가자 대중문화
세계 거북이 하나 또는 여러 세계 코끼리를 지탱한다는 대중적인 묘사는 1599년 에마누엘 드 베이가의 편지에 기록되어 있다. 빌헬름 폰 훔볼트는 세계 코끼리 사상이 산스크리트어 명사 나가가 "뱀"과 "코끼리"(뱀과 같은 코 때문에 명명됨)라는 이중적인 의미를 가져서 세계 뱀에 대한 왜곡된 설명으로 나타난 혼동 때문일 수 있다고 주장했다.
사랑과 죽음
놀라운 단상에 왕좌가 솟아올랐고,
그 연꽃 후드가 불길한 아름다움으로 그의 끔찍한
매끄러운 주름, 위대한 마하푸드마를 덮은 그는
죽음의 왕좌를 높이 받들고 있었다. 그곳에는 지극히 높으신 분이 앉아 있었다.
연민과 치명적인 눈을 가진 자,
많은 이름과 많은 본성을 가진 자;
야마, 강하고 순수한 하데스는 슬프고 교활했다.
다르마, 오래된 율법을 그대로 지키는 자.
아슈타디그가자 대중문화
브루어스 구어 및 우화 사전은 마하푸드마와 추크와를 "거북 추크와가 코끼리 마하푸드마를 지탱하고, 마하푸드마가 다시 세계를 지탱하는 인도 신화의 대중적인 묘사"에서 유래한 이름으로 등재하고 있다. 마하푸드마의 철자는 아우로빈도 고시가 1921년 마하바라타 이야기를 다시 쓴 것에서 마하파드마의 오탈자로 시작되었다.
테리 프래쳇의 디스크월드 소설에서 디스크는 거대한 거북 위에 서 있는 네 마리의 코끼리 어깨 위에 놓여 있다. 전설적인 다섯 번째 코끼리는 땅속으로 떨어져 귀중한 광물 자원의 유산을 남겼다.
응답 집합 프로그래밍
응답 집합 프로그래밍(Answer set programming, ASP)은 어려운 (주로 NP-난해) 검색 문제에 초점을 맞춘 선언형 프로그래밍의 한 형태이다. 이는 논리형 프로그래밍의 안정 모델 (응답 집합) 의미론에 기반을 둔다. ASP에서 검색 문제는 안정 모델을 계산하는 것으로 축소되며, 안정 모델을 생성하는 프로그램인 응답 집합 해결기가 검색을 수행하는 데 사용된다. 많은 응답 집합 해결기의 설계에 사용되는 계산 과정은 DPLL 알고리즘의 향상된 버전이며, 원칙적으로 항상 종료된다 (프롤로그 쿼리 평가와 달리, 무한 루프로 이어질 수 있다).
더 일반적인 의미에서 ASP는 지식 표현에 대한 응답 집합의 모든 응용 프로그램과 이러한 응용 프로그램에서 발생하는 문제를 해결하기 위한 프롤로그 스타일 쿼리 평가 사용을 포함한다.
응답 집합 프로그래밍 역사
응답 집합 프로그래밍의 초기 예는 1997년 디모풀로스, 네벨, 쾰러가 제안한 계획 방법이었다. 그들의 접근 방식은 계획과 안정 모델 간의 관계에 기반을 둔다.
1998년 소이니넨과 니멜라는 현재 응답 집합 프로그래밍으로 알려진 것을 제품 구성 문제에 적용했다. 1999년, "응답 집합 프로그래밍"이라는 용어가 "The Logic Programming Paradigm"이라는 책에 두 편의 논문 모음 제목으로 처음 등장했다. 이 논문들 중 첫 번째 논문은 검색을 위한 응답 집합 해결기 사용을 새로운 프로그래밍 패러다임으로 식별했다. 같은 해 니멜라도 "안정 모델 의미론을 가진 논리 프로그램"을 새로운 패러다임으로 제안했다.
응답 집합 프로그래밍 응답 집합 프로그래밍 언어 AnsProlog
Lparse는 원래 응답 집합 해결기 smodels의 접지 도구(프런트엔드)로 생성된 프로그램의 이름이다. Lparse가 허용하는 언어는 이제 일반적으로 AnsProlog라고 불리며, 논리의 응답 집합 프로그래밍(Answer Set Programming in Logic)의 약어이다. 이제 assat, clasp, cmodels, gNt, nomore++ 및 pbmodels를 포함한 다른 많은 응답 집합 해결기에서 동일한 방식으로 사용된다. (dlv는 예외이다. dlv용으로 작성된 ASP 프로그램의 구문은 다소 다르다.)
AnsProlog 프로그램은 다음과 같은 형식의 규칙으로 구성된다.
<body>가 비어 있으면 :- ("만약") 기호는 생략된다. 이러한 규칙을 사실(fact)이라고 한다. 가장 간단한 Lparse 규칙은 제약 조건이 있는 규칙이다.
이 언어에 포함된 또 다른 유용한 구성은 선택(choice)이다. 예를 들어, 다음 선택 규칙은
응답 집합 프로그래밍 응답 집합 프로그래밍 언어 AnsProlog
안정 모델에  원자 중 어떤 것을 포함할지 임의로 선택하라는 의미이다. 이 선택 규칙만 포함하고 다른 규칙은 없는 Lparse 프로그램은 8개의 안정 모델(즉, 의 임의의 부분 집합)을 가진다. 안정 모델의 정의는 선택 규칙이 있는 프로그램으로 일반화되었다. 선택 규칙은 안정 모델 의미론 하의 명제 공식에 대한 약어로도 취급될 수 있다. 예를 들어, 위 선택 규칙은 세 개의 "배중률" 공식의 논리곱에 대한 약어로 볼 수 있다.
Lparse 언어는 또한 다음과 같은 "제약 조건이 있는" 선택 규칙을 작성할 수 있게 한다.
이 규칙은  원자 중 최소 1개, 최대 2개를 선택하라는 의미이다. 이 규칙의 안정 모델 의미론 하의 의미는 명제 공식으로 표현된다.
카디널리티 경계는 규칙의 본문에도 사용될 수 있다. 예를 들면 다음과 같다.
이 제약 조건을 Lparse 프로그램에 추가하면  원자 중 최소 2개를 포함하는 안정 모델이 제거된다. 이 규칙의 의미는 명제 공식으로 표현될 수 있다.
응답 집합 프로그래밍 응답 집합 프로그래밍 언어 AnsProlog
변수(다른 프롤로그처럼 대문자로 시작)는 Lparse에서 동일한 패턴을 따르는 규칙들의 집합을 축약하고, 동일한 규칙 내의 원자들의 집합을 축약하는 데 사용된다. 예를 들어, 다음 Lparse 프로그램은
다음과 동일한 의미를 갖는다.
다음 프로그램은
다음의 축약형이다.
범위는 다음 형식이다.
여기서 start와 end는 상수 값의 산술 표현식이다. 범위는 호환 가능한 방식으로 수치 도메인을 정의하는 데 주로 사용되는 표기법 단축키이다. 예를 들어, 다음 사실은
다음의 단축키이다.
범위는 동일한 의미론으로 규칙 본문에도 사용될 수 있다.
조건부 리터럴은 다음과 같은 형식이다.
만약 q의 확장이 {q(a1), q(a2), ..., q(aN)}이라면, 위 조건은 의미적으로 조건 대신 {p(a1), p(a2), ..., p(aN)}을 쓰는 것과 동일하다. 예를 들어,
다음의 축약형이다.
응답 집합 프로그래밍 안정 모델 생성
`filename` 파일에 저장된 Lparse 프로그램의 안정 모델을 찾으려면 다음 명령을 사용한다.
옵션 0은 smodels에게 프로그램의 모든 안정 모델을 찾도록 지시한다. 예를 들어, `test` 파일에 다음과 같은 규칙이 포함되어 있다면
다음 명령은 다음과 같은 출력을 생성한다.
응답 집합 프로그래밍 ASP 프로그램 예시
그래프 의 -색칠은  함수로, 모든 인접한 정점 쌍 에 대해 를 만족한다. 주어진 그래프의 -색칠을 찾거나 (존재하지 않는 경우) 판별하기 위해 ASP를 사용하고자 한다.
이는 다음 Lparse 프로그램을 사용하여 수행할 수 있다.
1행은 숫자 을 색으로 정의한다. 2행의 선택 규칙에 따르면, 각 정점 에 고유한 색 가 할당되어야 한다. 3행의 제약 조건은 정점 와  사이에 연결하는 모서리가 있는 경우 동일한 색을 할당하는 것을 금지한다.
이 파일을 의 정의와 결합하면 (예:
그리고 의 숫자 값을 명령줄에서 지정하여 smodels를 실행하면, smodels 출력에 있는  형식의 원자들이 의 -색칠을 나타낼 것이다.
이 예시의 프로그램은 간단한 ASP 프로그램에서 자주 볼 수 있는 "생성 및 테스트" 구성을 보여준다. 선택 규칙은 "잠재적 해" 집합을 설명한다. 이는 주어진 검색 문제의 해 집합의 단순한 상위 집합이다. 그 다음에는 허용되지 않는 모든 잠재적 해를 제거하는 제약 조건이 따른다. 그러나 smodels 및 다른 응답 집합 해결기에서 사용되는 검색 과정은 시행착오에 기반을 두지 않는다.
응답 집합 프로그래밍 ASP 프로그램 예시
그래프의 클릭은 쌍으로 인접한 정점들의 집합이다. 다음 Lparse 프로그램은 주어진 유향 그래프에서 크기가 인 클릭을 찾거나 존재하지 않는다고 판별한다.
이것은 생성 및 테스트 조직의 또 다른 예시이다. 1행의 선택 규칙은 개의 정점으로 구성된 모든 집합을 "생성"한다. 2행의 제약 조건은 클릭이 아닌 집합을 "제거"한다.
유향 그래프의 해밀턴 회로는 그래프의 각 정점을 정확히 한 번 통과하는 경로이다. 다음 Lparse 프로그램은 주어진 유향 그래프에 해밀턴 회로가 존재하는 경우 이를 찾는 데 사용될 수 있다. 0은 정점 중 하나라고 가정한다.
1행의 선택 규칙은 모서리 집합의 모든 부분 집합을 "생성"한다. 세 개의 제약 조건은 해밀턴 회로가 아닌 부분 집합을 "제거"한다. 마지막 제약 조건은 보조 술어  ("는 0에서 도달 가능하다")를 사용하여 이 조건을 만족하지 않는 정점을 금지한다. 이 술어는 6행과 7행에서 재귀적으로 정의된다.
응답 집합 프로그래밍 ASP 프로그램 예시
이 프로그램은 보다 일반적인 "생성, 정의 및 테스트" 조직의 예시이다. 이는 모든 "나쁜" 잠재적 해를 제거하는 데 도움이 되는 보조 술어의 정의를 포함한다.
자연어 처리에서 의존 기반 구문 분석은 ASP 문제로 공식화될 수 있다.
다음 코드는 라틴어 문장 "Puella pulchra in villa linguam latinam discit"("예쁜 소녀는 빌라에서 라틴어를 배우고 있다")를 구문 분석한다.
구문 트리는 문장 단어 간의 의존성을 나타내는 arc 술어로 표현된다.
계산된 구조는 선형 순서가 있는 루트 트리이다.
응답 집합 프로그래밍 언어 표준화 및 ASP 경쟁
ASP 표준화 작업 그룹은 ASP-Core-2라고 불리는 표준 언어 사양을 발표했으며, 최근 ASP 시스템들은 이 사양으로 수렴하고 있다. ASP-Core-2는 ASP 해결기가 여러 참조 문제에 대해 주기적으로 벤치마크되는 응답 집합 프로그래밍 경쟁의 참조 언어이다.
응답 집합 프로그래밍 구현 비교
smodels와 같은 초기 시스템은 퇴각검색을 사용하여 해를 찾았다. 불 SAT 해결기의 이론과 실제가 발전함에 따라 ASSAT 및 Cmodels를 포함한 여러 ASP 해결기가 SAT 해결기 위에 구축되었다. 이들은 ASP 공식을 SAT 명제로 변환하고, SAT 해결기를 적용한 다음, 해를 다시 ASP 형식으로 변환했다. Clasp와 같은 최신 시스템은 불 논리 형식으로 완전히 변환하지 않고 SAT에서 영감을 받은 충돌 기반 알고리즘을 사용하는 하이브리드 접근 방식을 사용한다. 이러한 접근 방식은 초기 퇴각검색 알고리즘에 비해 성능을 크게 향상시키며, 종종 10배 정도 향상시킨다.
Potassco 프로젝트는 clasp, 접지 시스템(gringo), 증분 시스템(iclingo), 제약 해결기(clingcon), 액션 언어에서 ASP 컴파일러(coala), 분산 메시지 전달 인터페이스 구현(claspar) 등 아래의 많은 시스템에 대한 우산 역할을 한다.
응답 집합 프로그래밍 구현 비교
대부분의 시스템은 변수를 지원하지만, Lparse 또는 gringo와 같은 접지 시스템을 프런트엔드로 사용하여 접지를 강제함으로써 간접적으로만 지원한다. 접지의 필요성은 절의 조합 폭발을 야기할 수 있다. 따라서 즉석에서 접지를 수행하는 시스템이 유리할 수 있다.
Galliwasp 시스템 및 s(CASP)와 같은 응답 집합 프로그래밍의 쿼리 기반 구현은 분해 증명과 코귀납법을 조합하여 접지를 완전히 피한다.
분할 전역 주소 공간
컴퓨터 과학에서 분할 전역 주소 공간(Partitioned global address space, 파티션드 글로벌 어드레스 스페이스, PGAS)은 병렬 프로그래밍 모델 패러다임이다. PGAS는 논리적으로 분할된 전역 메모리 주소 공간 추상화를 포함하는 통신 작업이 특징이며, 이 공간의 일부는 각 프로세스, 스레드 또는 처리 요소에 로컬로 할당된다. PGAS의 참신함은 공유 메모리 공간의 일부가 특정 프로세스에 대한 친화성을 가질 수 있어, 성능 향상을 위해 참조 국부성을 활용한다는 점이다. PGAS 메모리 모델은 다음과 같은 다양한 병렬 프로그래밍 언어 및 라이브러리에 포함되어 있다: 코어레이 포트란, 유니파이드 패럴렐 C, Split-C, 포트리스, 채플, X10, UPC++, Coarray C++ 보관됨 2017-10-25 - 웨이백 머신, 글로벌 배열, DASH, 그리고 SHMEM. PGAS 패러다임은 포트란 2008부터 coarray(코어레이)를 표준화함으로써 포트란 언어의 통합된 부분이 되었다.
분할 전역 주소 공간
PGAS 메모리 모델을 제공하는 다양한 언어와 라이브러리는 기본 프로그래밍 언어와 병렬 처리를 표현하는 메커니즘과 같은 다른 세부 사항에서 크게 다르다. 많은 PGAS 시스템은 분산 메모리 시스템을 위한 SPMD 프로그래밍 스타일(예: MPI에서 사용)의 장점과 공유 메모리 시스템의 데이터 참조 의미론을 결합한다. 메시지 전달과 대조적으로, PGAS 프로그래밍 모델은 원격 메모리 액세스(RMA)와 같은 단방향 통신 작업을 자주 제공하는데, 이를 통해 하나의 처리 요소가 수동 대상 프로세스의 명시적인 의미론적 개입 없이 다른 (잠재적으로 원격) 프로세스와 친화성을 가진 메모리에 직접 액세스할 수 있다. PGAS는 하드웨어별 데이터 국부성이 주소 공간의 의미론적 분할에서 명시적으로 드러날 수 있기 때문에, 평면 주소 공간을 가진 전통적인 공유 메모리 접근 방식보다 더 효율적이고 확장성이 높다.
PGAS 패러다임의 변형인 비동기 분할 전역 주소 공간(asynchronous partitioned global address space, APGAS)은 로컬 및 원격 비동기 태스크 생성 기능을 프로그래밍 모델에 추가한다. 이 모델을 사용하는 두 가지 프로그래밍 언어는 채플과 X10이다.
케니 귄
케네스 캐롤 귄(Kenneth Carroll Guinn, 1936년 8월 24일 ~ 2010년 7월 22일)은 미국의 정치인으 제27대 네바다 주지사를 지냈다.
행위 언어
컴퓨터 과학에서 행위 언어(Action language)는 상태 전이 시스템을 지정하기 위한 언어로, 일반적으로 행위가 세계에 미치는 영향을 형식 모델로 생성하는 데 사용된다. 행위 언어는 일반적으로 인공지능 및 로봇공학 분야에서 사용되며, 행위가 시간 경과에 따라 시스템 상태에 어떤 영향을 미치는지 설명하고 자동 계획에 사용될 수 있다.
행위 언어는 행위 기술 언어와 행위 질의 언어의 두 가지 범주로 나뉜다. 전자의 예로는 STRIPS, PDDL, 언어 A(STRIPS의 일반화; Pednault의 ADL의 명제 부분), 언어 B(간접 효과를 추가하고 정적 및 동적 법칙을 구별하는 A의 확장), 언어 C(간접 효과도 추가하고 모든 플루언트가 자동으로 "관성적"이라고 가정하지 않음)가 있다. 또한 행위 질의 언어 P, Q, R이 있다. 행위 언어, 특히 행위 언어 C를 응답 집합 프로그래밍으로 변환하는 여러 가지 다른 알고리즘이 존재한다. 최신 응답 집합 솔버가 부울 SAT 알고리즘을 사용하여 만족성을 매우 빠르게 확인하기 때문에, 이는 행위 언어 역시 부울 SAT 해결 분야에서 이루어지는 발전을 누릴 수 있음을 의미한다.
행위 언어 형식적 정의
모든 행위 언어는 상태 전이 시스템의 정의를 플루언트 집합 F, 플루언트가 취할 수 있는 값의 집합 V, 그리고 S × F를 V로 매핑하는 함수로 보완하며, 여기서 S는 상태 전이 시스템의 상태 집합이다.
기술 언어
기술 언어(description language) 또는 정의 언어는 아래와 같은 뜻이 있다.