hotchpotch/wikipedia-multilingual-ir-related-paragraph-pairs huggingface dataset:
프랑스 왕관 보석
Section: 갤러리

프랑스 루이 15세의 대형 황금양모(로열 프렌치 블루 포함)의 과슈화, 2008년 버전 1, 파스칼 모니 그림 (약 16 × 6 cm)

로열 프렌치 블루에서 잘라내어진 호프 다이아몬드, 1792년 도난당한 프랑스 왕실 보석의 일부

성유물함에 있는 원래의 성유병

12세기 생 레미의 성작, 랭스 토 궁전

9세기 카롤루스 대제의 탤리즈먼, 성유물함이기도 하며, 그의 무덤이 열렸을 때 그의 몸에서 발견되었다.

로열 프렌치 블루가 된 다이아몬드의 타베르니에의 원본 스케치
프랑스 왕관 보석
Section: 루브르 박물관의 보기와 보석

또 다른 왕홀인 기욤 드 로크몽의 지팡이와 루이 9세의 반지는 루브르에 있다.

이 컬렉션은 또한 14세기 브로치 또는 핀인 성 루이 9세의 브로치를 소장하고 있는데, 이는 보석으로 된 플뢰르 드 리스가 박힌 커다란 다이아몬드 모양의 피불라로, 대관식 예복을 고정하는 데 사용되었다.

기원전 또는 서기 1세기의 쉬제르 수도원장의 것으로 알려진 뱀무늬 성반은 프톨레마이오스 잔과 관련이 있으며, 여왕의 대관식에 사용되었고, 카롤루스 2세 칼부스의 보석 박힌 카롤링거 금 장식을 유지하고 있다.
아폴론 갤러리
Section: 역사

프티트 갤러리는 16세기에 처음 건설되었다. 앙리 4세 통치 기간 동안 예술품 전시를 위한 긴 방이 있는 2층이 추가되었다. Galerie des Rois로 알려진 이곳은 마르탱 프레미네의 디자인에 따라 투생 뒤브뢰이, 야코프 뷔넬과 그의 아내 마르그리트 바위슈를 포함한 제2 퐁텐블로 학파의 예술가들이 장식했다.

1856년에 갤러리를 본 13세의 헨리 제임스는 다음과 같이 썼다.

경이로운 아폴론 갤러리... 길고도 확실한 입문처럼 나에게 펼쳐졌고, 그 최고의 아치형 천장과 엄청나게 빛나는 쪽마루와 함께, 내가 조금씩, 즉 반복해서 영광의 일반적인 느낌을 들이마시는 거대한 튜브 또는 터널을 형성하는 것처럼 보였다. 그 영광은 미와 예술, 최고의 디자인뿐만 아니라 역사와 명성, 권력, 즉 세상이 최고로 풍부하고 고귀한 표현으로 승화된 것을 한 번에 아주 많은 것들을 의미했다.
박상진 (1962년)
Section: 경력

1990년: 한국산업은행 입행 — 기업 구조조정 및 법무 분야 업무 시작.

1991년: 산업은행 조사부 법제조사과 — 법령·규정 검토 및 조사.

1997년: 산업은행 기아그룹 전담 태스크포스(TF) — 외환위기 상황에서 구조조정 지원.

1999년: 산업은행 대우중공업 전담 TF — 계열 구조개편 및 채권관리.

2000년: 산업은행 특수관리부(대우자동차 법정관리 TF) — 법정관리 절차 대응.

2001년: 산업은행 전주지점 — 기업여신 심사·관리.
리젠트 다이아몬드
Section: 역사

피트는 같은 해 48,000 파고다에 잠찬드로부터 다이아몬드를 샀다고 주장하여, 때로는 피트 다이아몬드라고도 알려져 있다. 그는 1702년 10월 9일 마드라스를 떠난 동인도 상선 로열 쿡호에 실어 아들 로버트의 신발 뒤축에 숨겨 런던으로 보냈다. 이후 1704년부터 1706년 사이에 런던에서 다이아몬드 세공사 해리스가 세공했다. 세공에는 2년이 걸렸고 약 5,000파운드의 비용이 들었다.

피트가 다이아몬드를 부정한 방법으로 얻었다는 소문이 돌자, 풍자가 알렉산더 포프는 그의 도덕론에 다음 구절을 썼다.

"벌거벗은 채 잠든 인도인 옆에
정직한 상인이 보석을 훔쳐갔네;
기사에게 담보로 맡겼고, 기사는 재치있게
다이아몬드를 보관하고, 그 도둑은 속임을 당했네."
미술품 도난
Section: 주목할 만한 미회수 작품

고바에르트 플링크, 최근까지 렘브란트 작품으로 알려짐: 오벨리스크가 있는 풍경 (1638)

장바티스트 우드리: 하얀 오리 (1753)

파블로 피카소: 작은 완두콩이 있는 비둘기 (1911). 파리 시립 근대 미술관에서 도난당함파블로 피카소: 작은 완두콩이 있는 비둘기 (1911). 파리 시립 근대 미술관에서 도난당함

아메데오 모딜리아니: 부채를 든 여인 (모딜리아니) (1919). 파리 시립 근대 미술관에서 도난당함

빈센트 반 고흐: 양귀비가 있는 꽃병/비사리아가 있는 꽃병/리크니스가 있는 꽃병 (1886) 2010년 카이로의 모하메드 마흐무드 칼릴 박물관에서 도난당함
미술품 도난
Section: 픽션에서

엔트랩먼트 (1999년)에서 보험 요원은 노년의 베테랑 도둑에게 미술품 절도 세계에 합류하도록 설득된다.

오션스 트웰브 (2004년)는 그림 네 점( 에드가 드가의 푸른 무희들을 포함)의 절도를 다루며, 주요 줄거리는 파베르제 달걀을 훔치는 경쟁을 중심으로 전개된다.

원스 어 시프 (1991년), 오우삼 감독, 홍콩에서 귀중한 저주받은 그림을 우연히 발견하는 세 명의 미술품 도둑들의 이야기를 다룬다.

허드슨 호크 (1991년)는 세계 지배 계획을 위해 레오나르도 다 빈치의 작품을 훔치도록 강요받는 고양이 도둑을 중심으로 한다.
미술품 도난

미술품 절도(미술품 도난)는 때때로 아트내핑이라고도 불리며, 미술관, 박물관 또는 기타 공공 및 개인 장소에서 그림, 조각 또는 기타 시각 예술 형태의 작품을 훔치는 행위이다. 도난당한 예술품은 종종 재판매되거나 범죄자들이 대출을 확보하기 위한 담보로 사용된다. 도난당한 미술품 중 회수되는 비율은 10%로 추정될 정도로 매우 적다. 많은 국가에서는 미술품 절도 및 도난 미술품과 성유물의 불법 거래를 수사하기 위해 경찰 조직을 운영하고 있다.

유명한 미술품 절도 사건 중에는 1911년 직원 빈센초 페루자가 루브르 박물관에서 모나리자를 훔친 사건이 있다. 또 다른 사건은 2004년 뭉크 미술관에서 절규가 도난당했지만 2006년에 회수된 경우이다. 역대 최대 가치의 미술품 절도는 보스턴의 이저벨라 스튜어트 가드너 박물관에서 발생했는데, 1990년에 총 5억 달러 상당의 작품 13점이 도난당했다. 이 사건은 아직 해결되지 않았다. 대규모 미술품 절도 사건으로는 제2차 세계 대전 중 유럽에 대한 나치의 약탈과 2022년 러시아의 우크라이나 침공 중 러시아의 우크라이나 약탈이 있다.
헨트 제단화

내부 패널의 위쪽 단은 천상의 구원을 나타내며, 중앙에는 고전적인 데에시스  배열로 중앙에 하느님(왕되신 그리스도 또는 성부로 식별됨)이 있고 좌우로 복되신 동정 마리아와 세례자 요한가 서 있다. 그 옆 패널에는 음악을 연주하는 천사들이 있으며, 가장 바깥쪽 패널에는 아담과 하와의 형상이 있다. 아래쪽 단은 하느님의 어린 양에 대한 경배에 참석한 성인, 죄인, 성직자, 군인들의 모임을 묘사한다. 중앙 패널에는 성령의 비둘기가 네 그룹의 인물들을 비추고 있다.

12개의 패널이 두 단(레지스터 (미술))라고 함)으로 구성(윗쪽 단에 7 패널, 아래쪽 단에 5 패널)되어 있으며, 각 단은 좌우로 두 개의 날개 패널을 안으로 접을 수 있다.  날개 패널에는 내부와 외부에 다른 그림이 그려져 있어, 날개 패널을 열렸을 때와 닫혔을 때 두 가지 다른 모습을 볼 수 있다. 일요일과 축제일을 제외하고는 외부 날개는 닫혀 천으로 덮여 있었다.
헨트 제단화
Section: 귀속

미술사학자들은 1420년대 초에 후베르트가 전반적인 구조를 설계하고 제작하였으며, 대부분의 패널 그림은 1430년에서 1432년 사이에 그의 동생 얀이 완성했다는 데 대체로 동의한다. 그러나 상당한 논쟁이 있었고, 특히 20세기 중반의 많은 미술사학자들은 어떤 부분을 누가 제작했는지 알아내려고 시도했다. 하지만 그들의 기여에 따른 설득력 있는 구분은 확립되지 않았다. 현재는 사라진 액자의 비문에 따르면, 후베르트 판 에이크 maior quo nemo repertus (누구보다 위대한)가 제단화를 시작했지만, 얀 판 에이크—자신을 arte secundus (미술에서 두 번째로 뛰어난)라고 칭함—가 1432년에 완성했다고 기록되어 있다. 원래의 매우 화려하게 조각된 외부 액자는 아마도 트레이서리와 조화를 이루었을 것이지만, 종교 개혁 중에 파괴되었다. 여기에는 셔터를 움직이고 음악을 연주하는 시계 장치도 포함되었을 수 있다.

판 에이크 형제에게 귀속시키는 것은 일부가 남아 있는 의뢰 문서와 얀의 서명 및 뒷면 액자에 적힌 날짜로 뒷받침된다. 얀은 1432년 작업이 완료되기 6년 전에 사망한 형에게 유리하도록 자신의 기여를 최소화한 것으로 보인다. 덜 명시적인 지표는 "정의로운 판관들 패널"에서 세 번째와 네 번째 기병으로 표현한 그들의 초상화이다. 램지 호마는 아래쪽 단 중앙 패널에 있는 글씨가 판 에이크의 잘 알려진 서명인 "ALS IK KAN" (내가 할 수 있는 한)의 초기 형태일 수 있다고 언급하는데, 이는 그의 전체 이름에 대한 말장난이다. 이 글귀는 그룹 뒤에 서 있는 예언자 중 한 명의 머리 장식에서 발견된다. 히브리어 문자로 쓰여 있으며 대략 프랑스어로 Le chapeau... orne de trois lettres herbraiques formant le mot Saboth, 또는 더 정확하게는 "Yod, Feh, Aleph"로 번역되는데, 이는 얀의 이니셜 JvE를 나타낸다.
음악 유출
Section: 예방

CD 홍보용 사본에 일반적으로 사용되는 디지털 워터마크는 유출을 원래 출처로 추적할 수 있게 하여, 잠재적 유출자들이 법적 조치를 받게 함으로써 그들을 단념시키는 데 사용된다. 유출의 출처는 보통 발표되지 않지만, 과거에는 발표된 적도 있다. 예를 들어, 2009년 컨버즈 앨범 《Axe to Fall》의 경우, 밴드는 MetalSucks.net의 숀 핸드를 공개적으로 비난했는데, 앨범 유출은 CD 홍보용 사본의 디지털 워터마크를 사용하여 그에게 추적되었기 때문이다. 이는 부정적인 입소문을 일으키는 데 사용될 수 있다.

2003년 앨범 《American Life》 발매에 앞서, 마돈나는 앨범에서 유출된 트랙이라고 주장하는 파일을 파일 공유 웹사이트에 심었다. 사실 그 오디오 파일에는 마돈나가 "도대체 뭘 하는 거야?"라고 말하는 내용이 담겨 있었다. 프로그레시브 메탈 밴드 툴도 2001년 앨범 《Lateralus》의 유출을 막고 주의를 분산시키기 위해 가짜 트랙리스트가 포함된 《Systema Encéphale》이라는 가짜 앨범을 발표했다.
음악 유출
Section: 배포

1990년대에는 비교적 느린 전송 속도와 초기 단계의 음악 코덱에도 불구하고 유출된 음악이 가끔 인터넷에 공유되었다. 인터넷에 유출된 최초의 앨범 중 하나는 디페쉬 모드의 1993년 앨범 《Songs of Faith and Devotion》으로, 채팅룸에서 팬들에 의해 공유되었다.

특정, 주로 독점 소프트웨어(WinMX, 라임와이어 등)에 연결된 P2P 파일 공유 네트워크가 인기가 시들해지면서, 유출된 음악의 배포에는 비트토렌트와 미디어파이어와 같은 파일 호스팅 웹사이트가 사용되었다. 일반적으로 음악 불법 복제에 사용되는 채널이 유출에도 사용된다.
기욤 소로
Section: 총리직

그바그보 연합 헌법 위원회가 2010년 여론조사 결과를 발표하고 그바그보가 취임 선서를 하자, 소로는 야당 후보 알라산 우아타라를 지지하며 총리직을 사임했다. 우아타라는 선거관리위원회에 의해 당선자로 선언되었고, 그는 경쟁 의식에서 취임 선서를 한 후 소로를 다시 임명했다.

4월 13일, 연설에서 소로는 반란으로 인한 피해에 대해 "모두와 모든 사람을 대표하여" 사과했다. 7월 30일, 소로와 그바그보는 전쟁 종식을 상징하는 무기를 불태우는 "평화의 불꽃" 군축식에 참여했다.
팻 토피
Section: 경력

2009년 1월, 토피는 이전 미스터 빅의 멤버인 에릭 마틴, 폴 길버트, 빌리 시언과 함께 재결합 투어를 진행하였다. 2010년에는 프로듀서 케빈 셜리와 함께 《What If...》 음반을 녹음하고 발매하였다. 2011년에는 새로운 음반을 지원하는 월드 투어를 위해 다시 모였다.

토피는 이후에도 미스터 빅과 함께 두 장의 음반, 《...The Stories We Could Tell》 (2014년)과 《Defying Gravity》 (2017년)를 녹음하고 투어를 이어갔다. 비록 건강 문제, 특히 파킨슨병으로 인해 말년에는 활동에 제약이 있었지만, 그는 2018년 사망할 때까지 밴드의 중요한 일원으로 남아 있었다.
부스트 컨트롤러
Section: 작동

대부분의 현대적 설계는 솔레노이드 또는 스테퍼모터를 통해 부스트를 제어하기 위해 전자 제어 장치를 사용하는 전자식 부스트 컨트롤러이다. 작동 원리는 웨이스트게이트 액추에이터에 전달되는 공기 압력을 제어하는 구형 수동 부스트 컨트롤러와 동일하다. 전자 컨트롤러는 수동 컨트롤러에 비해 부스트 압력 관리에 더 큰 유연성을 더한다.

대안적인 설계는 스테퍼모터를 사용하는 것이다. 이러한 설계는 모터의 위치와 속도에 따라 공기 흐름을 미세하게 제어할 수 있지만, 전체 공기 흐름 용량이 낮을 수 있다. 일부 시스템은 스테퍼모터와 함께 솔레노이드를 사용하며, 스테퍼모터는 미세 제어를, 솔레노이드는 거친 제어를 허용한다.
중국-캄보디아 관계
Section: 역사

2000년, 중국 공산당 총서기 장쩌민은 캄보디아를 방문한 최초의 중국 국가원수가 되었다.

2022년 11월, 중국 총리 리커창은 아세안 정상회의 참석차 캄보디아를 방문하며 중국이 캄보디아의 인프라 프로젝트와 산업화 노력에 대한 지원과 원조를 계속 제공할 것이라고 밝혔다.

2025년 4월 중순, 중국 공산당 총서기 시진핑은 미국 대통령 도널드 트럼프의 해방기념일 관세 조치에 대응하여 양국 관계를 재확인하기 위해 캄보디아를 방문했다. 방문 기간 동안 시진핑은 노로돔 시하모니 국왕, 훈 마넷 총리, 훈 센 상원의장을 만나 회담을 가졌다.
미국-아르헨티나 관계
Section: 경제 관계

항공 분야와 관련해서는, 2019년 6월, 미국 교통부와 아르헨티나가 항공 협정을 갱신하는 개정 의정서에 서명하였다. 이 협정은 노선 개방권, 자유로운 전세기 운항 정책, 항공편 수 제한 철폐 등을 포함하고 있으며, 관광과 비즈니스 여행 활성화를 목표로 하고 있다.

공공외교 측면에서, 주아르헨티나 미국 대사관은 2025년에도 공공외교 전략 프로그램(PAS)을 지속적으로 추진하고 있으며, 아르헨티나 전역에서 교육 교류와 문화 교류를 지원·촉진하고 있다.
미국-아르헨티나 관계

1982년 포클랜드 전쟁 당시 미국이 영국을 지지하면서 양국 관계는 다시 악화되었다. 그러나 1998년 이후, 걸프 전쟁에서 미국을 지원한 아르헨티나의 역할 (알필 작전으로 알려짐)에 힘입어 아르헨티나는 주요 비NATO 동맹국으로 지정되었다.

최근 수년간 양국 관계는 때때로 긴장되었으며, 특히 크리스티나 페르난데스 행정부 시기에 그랬다. 그러나 마우리시오 마크리 (2015년~2019년) 정부와 하비에르 밀레이 (2023년~현재) 정부 시기에는 관계가 개선되었다.
미국-아르헨티나 관계
Section: 역사

아르헨티나가 스페인의 지배로부터 독립한 후, 미국은 1823년 1월 27일 아르헨티나의 법적 전신인 리오데라플라타 합중국을 공식적으로 승인하였다. 양국 관계는 지난 150여 년 동안 협력이 강화된 시기와 이념, 재정 문제로 긴장이 고조된 시기를 오가며 변화해 왔다. 그러나 전쟁 위협이 존재한 적은 한 번도 없었다.

아르헨티나 지도자들은 미국 정부가 포클랜드 제도에서의 영국 식민지 설립이나 영불 양국의 라플라타강 봉쇄와 같은 사건에서 먼로주의를 적용하지 않은 것에 실망하였다.

1833년, 미국 해군은 자국 선박이 아르헨티나 해역에서 나포된 것에 대한 보복으로 당시 아르헨티나의 통제하에 있던 포클랜드 제도를 포격하였다. 1853년에 제정된 아르헨티나 헌법은 부분적으로 미국 헌법을 바탕으로 하였으며, 같은 해 양국은 통상 조약을 체결하였다.
지네브라 데 벤치
Section: 주제

이 초상화는 워싱턴 D.C. 내셔널 갤러리 오브 아트의 주요 소장품 중 하나이며, 지네브라의 기질을 잘 묘사한 것으로 많은 사람들에게 찬사를 받고 있다. 지네브라는 아름답지만 엄숙하다. 그녀는 미소의 흔적이 없으며, 비록 정면을 응시하고 있지만 관람자에게 무관심한 듯 보인다.

어느 시점에서 그림의 하단 부분이 제거되었는데, 아마도 손상 때문이었을 것이다. 이 과정에서 지네브라의 팔과 손이 유실된 것으로 추정된다. 호주의 예술가이자 작가인 수잔 도로테아 화이트는 황금비를 사용하여 원래 그림에서 그녀의 팔과 손이 어떻게 배치되었을지 해석하였다. 이는 이 그림을 위한 습작으로 여겨지는 레오나르도의 손 그림 습작을 기반으로 한다.
Rock 'n' Roll Star

리암 갤러거는 2017년 6월 4일, 2017년 맨체스터 아레나 폭탄 테러 피해자들을 위한 자선 공연 원 러브 맨체스터에서 이 곡을 공연하였다. 또한 그는 2024년 《Definitely Maybe Tour 30》에서도 이 곡을 오프닝 곡으로 연주했는데, 이는 《Definitely Maybe》의 트랙리스트와 동일한 구성이다.

이 곡은 밴드의 2000년 라이브 음반 및 DVD 《Familiar to Millions》에 수록되었으며, 또 다른 라이브 버전은 2005년 7월 2일, 시티 오브 맨체스터 스타디움에서 열린 공연에서 녹음되어 같은 해 말 싱글 〈Let There Be Love〉에 수록되었다.
마리오 힐라
Section: 클럽 경력

카탈루냐 바르셀로나에서 태어난 힐라는 산타 페르페투아, 사바델, 물례, 담, 에스파뇰 등 고향 지역의 여러 클럽에서 유소년 시절을 보냈다. 2018년, 그는 레알 마드리드 유소년 팀으로 이적하여 2024년까지 계약을 체결했다. 2019년, 그는 리저브 팀으로 승격되었으며, 라울 감독 아래에서 팀의 핵심 선수이자 부주장으로 활약했다.

힐라는 4-0으로 이긴 에스파뇰과의 라리가 경기에서 75분에 교체 투입되어 레알 마드리드 소속으로 프로 데뷔전을 치렀다.

2022년 7월 12일, 세리에 A의 라치오는 레알 마드리드로부터 힐라를 영입했다고 발표했다. 언론 보도에 따르면 이적료는 €6m이다. 2022년 10월 30일, 힐라는 3-1로 패한 살레르니타나와의 경기에서 라치오 소속으로 세리에 A 데뷔전을 치렀다.
안도 씨의 난
Section: 개요

쇼추(正中) 2년(1325년), 도쿠소케는 에조 대관직을 스에나가에서 스에히사로 바꿨지만, 전란은 수습되지 않았고, 급기야 내분이 반란으로 이어졌다고 여겨진다. 덧붙여 《스와 다이묘진 에코토바》(諏訪大明神絵詞)에는 양자의 근거지가 명확하게 쓰여져 있지 않다. 스에나가는 니시하마 오리소노세키(折曾関), 스에히사는 소토가하마 우치만베(内末部)에 성을 두고 싸웠다는 설과, 그 반대라고 하는 설이 있다.

겐코 2년(1322년), 소료를 둘러싼 분쟁은 도쿠소케 고분쇼(公文所)의 재정에 회부되게 되었지만, 《호레키칸키》(保暦間記) 등에 따르면, 재정 책임을 맡은 나가사키 다카스케(長崎高資)가 당시 대립하고 있던 고로 가와 다로 가, 양쪽 모두로부터 이중으로 뇌물을 받고 그들이 원하는 대로 판결해 주겠다는 하지(下知)를 각각 했기 때문에 분규가 벌어졌으며, 에조의 봉기는 거기에 부수된 것으로 기록되어 있다.
베누아 마돈나
Section: 역사

하지만 이러한 진위 논란에도 불구하고, 베누아 마돈나는 결국 1914년 에르미타시 박물관에 가장 비싼 그림 목록에 팔렸다. 이 거래는 당시 에르미타시의 회화 큐레이터였던 에른스트 프리드리히 폰 리파르트가 다 빈치의 진품임을 확인한 후 이루어졌다. 대금은 할부로 지급되었고, 1917년 10월 혁명 이후에도 계속 지불되었다.

어느 불행한 날, 나는 '베누아 마돈나'를 보러 불려갔다. 나는 대머리 이마와 부은 뺨, 이빨이 빠진 듯한 미소, 흐릿한 눈, 주름진 목을 가진 젊은 여인과 마주쳤다. 섬뜩하고 늙어 보이는 여인은 공허해 보이는 가면에 몸과 사지가 부풀어 오른 아이와 놀고 있었다. 손은 비참하고, 주름은 목적 없이 너저분하며, 색깔은 유청 같았다. 그럼에도 불구하고 나는 이 고통스러운 작품이 레오나르도 다 빈치의 작품임을 인정해야 했다.
유엔 안전 보장 이사회 결의 제519호

이사회는 UNIFIL에게 통상적인 임무 외에 인도주의적 임무를 수행할 권한을 부여했으며 유엔 휴전 감시 기구의 사무총장과 감시단이 그들의 역할을 수행할 수 있도록 지원했다.

이 결의안은 13대 0으로 채택되었고 폴란드 인민공화국과 소련은 기권했다.

유엔 안전 보장 이사회 결의 제519호는 1982년 8월 17일에 채택되었다. 해당 주제에 관한 이전 유엔 안전 보장 이사회 결의들을 상기시키며 유엔 사무총장이 작성한 유엔 레바논 임시군(UNIFIL) 보고서를 검토한 이사회는 이스라엘과 레바논 간의 상황으로 인해 1982년 10월 19일까지 UNIFIL의 임무에 관한 추가적인 연장이 필요하다고 언급했다.
유엔 안전 보장 이사회 결의 제520호

더 나아가 결의안의 완전한 이행을 위한 첫 단계로 1982년 9월 15일 이전에 이스라엘이 점령했던 지역으로 복귀할 것을 요구했다. 또한 어떠한 차별도 없이 민간인의 권리를 존중할 것을 촉구하고 해당 주민에 대한 모든 폭력 행위를 규탄하는 결의 제512호(1982년) 및 제513호(1982년)를 재확인했다.

유엔 안전 보장 이사회 결의 제520호는 1982년 9월 17일 만장일치로 채택되었다. 레바논 대통령 바시르 제마옐 암살 이후 결의 제508호(1982년), 제509호(1982년), 제516호(1982년)를 재확인한 이사회는 이스라엘이 즉각 레바논에서 철수하고 레바논에 안정적인 정부를 복원하기 위해 레바논의 주권이 존중되어야 한다고 요구했다.
최석태
Section: 주요 이력

1953년 경남 울산에서 태어난 숭실대학교 법학과와 연세대학교 언론홍보대학원을 졸업했다.

그는 1981년 KBS 공채 9기로 입사하여 부산에서 기자 생활을 시작하였다. 초임 시절부터 지역 사건·사고 현장을 직접 발로 뛰며 취재에 임하였고, 언론인으로서 사실 보도에 헌신했다.

그가 가장 인상 깊게 기억하는 사건은 1982년 발생한 의령 총기난사 사건이다. 당시 만취한 순경이 주민을 향해 총기를 난사해 다수의 사상자가 발생했으며, 그는 이 사건을 자신의 첫 주요 취재로 꼽았다. 이후 같은 해 부산 미문화원 방화 사건, 1989년 동의대학교 사태 등 1980년대 주요 사건들을 현장에서 보도하며 사회적 혼란과 시대의 현실을 기록하였다.
앙골라-콩고 민주 공화국 관계
Section: 정치적 관계

앙골라의 주앙 로렌수 대통령은 콩고 민주 공화국과 르완다 지원 M23 반군 사이의 중재 노력을 이끌며 루안다에서 평화 회담을 조직하였다. 외교적 노력에도 불구하고, 국경 지역 긴장과 불법 콩고인 이민자 추방을 둘러싼 분쟁은 양국 관계에 때때로 부담을 주고 있다.

2003년 이후, 앙골라는 불법 콩고인 이민자들을 대규모로 추방하는 조치를 정기적으로 시행해 왔다. 이러한 추방 과정에서 콩고 이주민들이 경험한 모욕적이고 비인간적인 대우와 성폭력 문제가 보고되었다. 이러한 조치는 앙골라의 카빈다주와 룬다노르트주에서 콩고의 중앙콩고주 및 카사이옥시당탈주로의 추방에 집중되었다.
드미트리 안
Section: 생애

1939년 5월 2일 우즈베크 소비에트 사회주의 공화국의 고려인 가정에서 태어나 타슈켄트주에서 어린 시절을 보냈다. 스베르들로프 집단 농장 유소년팀에 입단해 축구 선수 경력을 시작했고 1960년 파흐타코르 FK의 유소년팀에 입단했다. 그는 1962년 파흐타코르 1군에서 프로 선수 경력을 시작하며 소련 1부 리그에서 뛴 최초의 고려인 선수이자 파흐타코르 유소년팀을 졸업한 최초의 고려인 선수가 되었다.

안은 선수 시절 주로 공격수로 활동했고 "전(全)소비에트 연방 축구 선수권 대회에서 공중볼의 최고 득점자로 여겨졌다"라고 묘사될 정도로 헤더에 강점을 보였다. 1964년 스타르트로 이적했다가 폴리토트델로 이적했고 폴리토트델의 주장을 역임했다. 그는 폴리토트델에서 7시즌 동안 활동한 후 1970년 선수 경력을 마감했다.
쑤기미탕

통영에서는 쑤기미탕을 해장국으로 많이 먹었다. 사철 잡히는 물고기지만 뜨끈한 국물맛이 좋아 겨울철에 많이 찾는다. 생김새와 달리 지방이 적고 살이 부드럽고 쫄깃해 국물로 끓이면 담백하고 시원하여 맛이 좋다. 복어와 맛과 성질이 비슷하여 복어 대신 먹기도 하며, 지느러미와 껍질, 애(간) 및 밥통(위)은 아귀와 맛이 비슷하다. 다른 육수없이 그냥 맹물에 쑤기미와 무를 넣고 끓이면 국물맛이 우러나오기 때문에, 팔팔 끓이다가 양파, 파, 고추 등 야채를 넣고 소금으로 간을 맞추면 완성된다. 매운탕으로 먹고 싶으면 고춧가루를 넣기도 한다.

쑤기미는 수심 200m 미만 연안의 모래와 갯벌 바닥에 서식하는 20~30cm 크기에 쏨뱅이목 양볼락과의 바다물고기로, 우리나라 전 해역에 걸쳐 서식하며 연중 잡힌다. 아귀를 닮은 험상궂은 외모에 등에 달린 날카로운 지러미 가시에 독이 있어 잘못 쏘였다가는 통증이 엄청나게 고통스러워 《자산어보(玆山魚譜)》에서는 "혹 쏘이기라도 하면 견딜 수 없을 만큼 아프다"고 기술돼 있기도 하고, 과거에는 통영 인근 섬에서 조업하던 어부들이 쑤기미에 쏘였다가 풍랑 때문에 제때 병원에 가지 못하면 손가락을 절단하거나 목숨을 잃기도 했다고 한다.
정어리쌈밥

이 철에 잡히는 대멸치는 풍부한 지방과 부드러운 육질로 맛이 고소하고 뼈가 억세지 않아 먹기가 좋다. 또한 같은 시기에 나오는 햇고사리는 식감이 연하고 향이 좋아 함께 먹으면 맛있어서 이 지역의 봄철 음식으로 자리 잡았다. 고사리를 재래식 된장, 고춧가루, 마늘을 넣고 양념이 배어들도록 재워뒀다가, 밥상에 나갈때 양념한 고사리에 손질한 대멸치를 한움큼 올려 물을 부어 끓인다. 생선의 비린 맛을 잡기위해 제피나 후추 혹은 다른 야채를 넣기도 한다. 이렇게 조린 멸치를 밥과 함께 여러가지 쌈을 곁들여 한상차려 먹는데, 방아잎을 쌈으로 싸먹으면 생선 비린 맛도 잡아주고 특유의 향이 중독성 있다고 한다.

정어리쌈밥은 멸치조림을 쌈에 싸먹는 봄철 향토음식으로, 전라남도 순천을 비롯하여 여수, 광양 등 남해안 일대에서 두루 먹는다. 이 지역에서는 봄철이면 대멸치가 많이 잡히는데, 15cm 크기의 대멸치는 덜 자란 어린 정어리와 구분하기 쉽지않다. 외관 뿐 아니라 맛도 비슷해서 대멸치를 정어리로 잘못 알고 먹던 것이 굳어져 정어리쌈밥이 됐다는 것이 정설이다. 또한 대멸치와 어린 정어리를 구분하지 않고 먹었을 가능성도 있다. 실제 전남과 경남 일부 지역에서는 대멸을 "정어리" 혹은 "증어리"라 부르기도 하고, 《자산어보》(玆山魚譜)를 비롯한 옛 문헌에도 작은 멸치를 멸치, 큰 멸치를 정어리로 적거나 혼동한 경우가 적지않다. 이런 사유로 요즘에도 수산물 납품업자와 식당주인 간에 납품한 정어리를 두고 오해가 생기기도 한다.
대왕고사리
Section: 분류 및 분류사

2023 년 4월 기준, 플랜츠 오브 더 월드 온라인에서 일부 당국에서는 잠재적으로 별개의 종으로 간주하는 대왕고사리의 26개의 학명이명을 등록했으며, 보다 철저한 분류학적 조사가 필요하다고 요구한다. 이 숫자는 2020년에 등록된 73개의 학명이명에서 수를 줄인 것이다.

동형종

Danaea evecta (G.Forst.) Spreng.

Polypodium evectum G.Forst.

이형종

Callipteris heterophylla T.Moore
대왕고사리
Section: 사진첩

오스트레일리아 트리뷸레이션곶 근처에 있는 알렉산드라 레인지에서 찍은 사진

고사리잎 아랫면

가필드 온실 공원 안에서 자라는 대왕고사리. 부풀어 오른 잎자루의 밑부분이 여기서 뚜렷하게 보이며 둥근 혹도 마찬가지이다.

관찰자들이 왜소하게 보일 정도의 크기를 자랑하는 코스타리카의 대왕고사리

소엽병(잎줄기 옆에서 뻗어나오는 가지들)에 나 있는 엽침(葉枕)

오스트레일리아 퀸즐랜드의 램 레인지의 가파른 언덕에서 자라는 대왕고사리
대왕고사리
Section: 특징

고사리잎은 이회우상복엽으로 길이 최대 150cm 너비 45cm인 약 9~12쌍의 우상소엽이 달린다. 각 우상소엽에는 약 13 x 2cm 크기인 약 30~40쌍의 소우편이 나 있으며, 주 잎대(葉軸)와 2차잎대 모두 엽침(葉枕, 기부가 부푼 부위)이 있다. 이 엽침은 잎을 올리고 내리는 역할을 하며, 지름이 최대 20cm이다. 포자낭은 소우편 뒷면에서 가장자리 매우 가까이에 붙어있으며 5~8쌍이 마주보고 있는 모습으로 되어 있다. 대왕고사리의 전체 크기는 최대 높이 7m 및 너비 16m까지 가능하다.

뿌리줄기 끝에서 나오는 휘어지고 광택이 있는 녹색 잎은 길이 9m, 너비 2.5m까지 자랄 수 있으며, 다육질의 녹색 잎자루는 잎의 전체 길이 중 2m를 차지한다. 세계에서 가장 긴 고사리잎을 가진 것으로 일컬어지며, 그 거대한 크기에도 불구하고, 고사리잎에 목질의 보강된 조직이 없어서 똑바로 서 있을 수 없다. 대신 대왕고사리는 전체적으로 식물액의 팽압이 지탱해준다. 뿌리줄기에서 나오는 잎자루의 양쪽으로 '이개'(auricle)라고 부르는 평평하고 둥글고 가죽질인 귀 모양의 턱잎(托葉)이 있는데, 지름이 최대 15cm이다.
냉용수
Section: 형성 및 생태 천이

이 초기 단계에서 메탄이 비교적 풍부할 때, 냉용수 근처에 밀집된 담치류 군락도 형성된다. 주로 바티모디오루스속의 종으로 구성된 이 홍합들은 직접적으로 먹이를 섭취하지 않는다; 대신, 매트를 형성하는 친척들과 유사하게 메탄으로부터 에너지를 생산하는 공생 박테리아에 의해 영양을 공급받는다. 화학합성 이매패류는 냉용수 동물군의 주요 구성원이며, 이 환경에서 솔레미아과, 루키니대과, 베시코미다과, 티아시리대과, 홍합과의 5개 과로 대표된다.

한 종 집합에서 다른 종 집합으로 질서정연하게 변화하는 군집 구성을 생태 천이라고 한다.

이 심해 에너지원을 활용하는 최초의 유기체는 세균이다. 냉용수에서 세균 매트를 형성하며 집합된 이 세균들은 메탄과 황화 수소 (용출수에서 나오는 또 다른 가스)를 에너지원으로 대사한다. 화학 물질로부터 에너지를 얻는 이 과정은 화학합성으로 알려져 있다.
냉용수
Section: 환경 영향

기후 변화로 인한 과정과 기후 변화는 캐스케이딩의 빈도와 강도에 영향을 미칠 것이며, 이는 저서 동물군에 미치는 영향은 아직 알려지지 않았다. 기후 변화의 또 다른 잠재적 영향은 표층수에서 해저로의 에너지 전달과 관련이 있다. 표층에서 햇빛 노출, 수온, 수괴의 주요 성층화 및 기타 효과에 따라 일차 생산량이 변화할 것이며, 이는 심해 해저까지의 먹이 사슬에 영향을 미쳐 유기물 유입의 양, 질, 시기 변화를 초래할 것이다. 상업 어업이 더 깊은 바다로 이동함에 따라, 이러한 모든 영향은 냉용수 및 심해 전반의 유기체 군집과 개체군에 영향을 미칠 것이다.

잔류성 유기 오염 물질, 유독 금속(예: Hg, Cd, Pb, Ni), 방사성 화합물, 살충제, 제초제, 의약품과 같은 화학 오염 물질도 심해 퇴적물에 축적되고 있다. 지형(예: 해저협곡)과 수문학(예: 캐스케이딩 현상)은 이러한 화학 물질이 해안과 대륙붕에서 심해 분지로 운반 및 축적되는 데 주요한 역할을 하여 지역 동물군에 영향을 미친다. 최근 연구에서는 상업용 새우 Aristeus antennatus에서 상당한 수준의 다이옥신이, 중심해 및 심해 두족류에서 상당한 수준의 잔류성 유기 오염 물질이 검출되었다.
냉용수
Section: 분포

아마존강 심해 부채꼴에도 냉용수가 발견되었다. 대륙붕 가장자리 근처의 고해상도 지진 단면은 지하 20–50 m (66–164 ft)의 표면 근처 슬럼프와 단층, 그리고 메탄 가스 농도(약 500 m2 or 5,400 ft2)의 증거를 보여준다. 여러 연구(예: Amazon Shelf Study—AMASEDS, LEPLAC, REMAC, GLORIA, 해양 시추 프로그램)는 바닥 모사 반사(BSR), 이화산, 포크마크, 퇴적물 내 가스, 그리고 더 깊은 탄화수소 발생을 기반으로 아마존 부채꼴 해안의 경사면에서 가스 용출의 증거가 있음을 나타낸다. 비교적 얕은 깊이의 메탄 존재와 광범위한 가스 하이드레이트 지역이 이 지역에서 매핑되었다. 또한 가스 굴뚝이 보고되었고, 탐사 시추공은 단층면을 따라 상업적이지 않은 가스 축적과 포크마크를 발견했다. 포즈 두 아마조나스 분지에 대한 건전한 지질학적 및 지구물리학적 이해는 이미 존재하며 에너지 회사에서 활용하고 있다.

대서양 적도 벨트 용출수 메가파우나 군집 구조는 지리적 거리보다는 주로 깊이에 의해 영향을 받는다. 홍합과 내의 이매패류 바티모디오리나과 종 또는 종 복합체는 대서양에서 가장 널리 분포한다. 바티모디오루스 부메랑 복합체는 플로리다 단층 지역, 블레이크 해령 다이아피어, 바베이도스 프리즘, 콩고의 레가브 지역에서 발견된다. 바티모디오루스 차일드레시 복합체 또한 멕시코만에서 나이지리아 경계까지 대서양 적도 벨트를 따라 널리 분포하지만, 레가브 또는 블레이크 해령 지역에서는 발견되지 않는다. 공생하는 다모류 Branchipolynoe seepensis는 멕시코만, 기니만, 바베이도스에서 알려져 있다. 동대서양에서 서대서양으로 분포하는 다른 종은 복족류  Cordesia provannoides, 새우 Alvinocaris muricola, 갈라테이드 Munidopsis geyeri 및 Munidopsis livida, 그리고 아마도 해삼 Chiridota hydrothermica이다.
분산 인공지능
Section: 에이전트

유용한 첫 번째 분류는 에이전트를 다음으로 나누는 것이다.

반응형 에이전트 – 반응형 에이전트는 입력을 받아 처리하고 출력을 생성하는 오토마톤 그 이상은 아니다.

숙고형 에이전트 – 숙고형 에이전트는 이와 대조적으로 환경에 대한 내부 시각을 가지고 있으며 자체 계획을 따를 수 있어야 한다.

DPS 및 MABS에서 사용되는 핵심 개념은 소프트웨어 에이전트라는 추상화이다. 에이전트는 환경을 이해하고 그에 따라 행동하는 가상(또는 물리적) 자율적 엔티티이다. 에이전트는 일반적으로 동일한 시스템 내의 다른 에이전트와 통신하여 단일 에이전트 혼자서는 달성할 수 없는 공통 목표를 달성할 수 있다. 이 통신 시스템은 에이전트 통신 언어를 사용한다.
분산 인공지능
Section: 접근 방식

두 가지 유형의 DAI가 등장했다.

다중 에이전트 시스템에서 에이전트는 지식과 활동을 조정하고 조정 프로세스에 대해 추론한다. 에이전트는 물리적 또는 가상 엔티티로, 행동하고 환경을 인지하며 다른 에이전트와 통신할 수 있다. 에이전트는 자율적이며 목표를 달성하는 기술을 가지고 있다. 에이전트는 행동을 통해 환경의 상태를 변경한다. 여러 가지 다른 조정 기술이 있다.

분산 문제 해결에서는 노드 간에 작업이 분할되고 지식이 공유된다. 주요 관심사는 작업 분해와 지식 및 솔루션의 합성이다.

DAI는 서브섬션 아키텍처와 유사한 AI에 대한 상향식 접근 방식과 AI의 전통적인 하향식 접근 방식을 적용할 수 있다. 또한 DAI는 창발의 수단이 될 수도 있다.
분산 인공지능
Section: 응용 프로그램 및 도구

검색 엔진, 예를 들어 Ithy와 같은 LLM 연합 검색에서 문서 검색 및 분석이 집계 전에 DAI 에이전트에 분산된다.

다중 에이전트 시스템, 예를 들어 인공생명, 시뮬레이션된 생명체 연구

전력 시스템, 예를 들어 변압기 상태 모니터링에 적용되는 상태 모니터링 다중 에이전트 시스템(COMMAS) 및 IntelliTEAM II 자동 복구 시스템

DAI 도구 통합에는 다음이 포함된다.
신뢰성

국제전기기술위원회 (IEC)는 기술위원회 TC 56을 통해 장비, 서비스 및 시스템의 수명 주기 전반에 걸쳐 신뢰성 평가 및 관리를 위한 체계적인 방법과 도구를 제공하는 국제 표준을 개발하고 유지한다. "신뢰할 수 있는 컴퓨팅 및 오류 허용"에 관한 IFIP 워킹 그룹 10.4는 이 분야의 기술 커뮤니티의 발전을 종합하는 역할을 하며, 결과를 전파하기 위해 매년 두 번의 워크숍을 개최한다.

시스템 공학에서 신뢰성(dependability)은 시스템의 가용성, 신뢰도, 유지보수성 및 경우에 따라 내구성, 안전 및 보안과 같은 기타 특성을 측정하는 척도이다. 실시간 컴퓨팅에서 신뢰성은 일정 기간 내에 신뢰할 수 있는 서비스를 제공하는 능력이다. 시스템이 공격이나 자연적인 고장에 노출되더라도 서비스 보증은 유지되어야 한다.
신뢰성
Section: 신뢰성의 요소

실제로 시스템의 기기에 보안 조치를 적용하면 일반적으로 외부에서 발생하는 오류의 수를 제한하여 신뢰성을 향상시킨다.

위협은 시스템에 영향을 미치고 신뢰성을 떨어뜨릴 수 있는 것들이다. 명확하게 이해해야 할 세 가지 주요 용어가 있다.

기밀성, 즉 무단 정보 공개의 부재도 보안을 다룰 때 사용된다. 보안은 기밀성, 인티그리티, 가용성의 복합체이다. 보안은 때때로 속성으로 분류되기도 하지만 현재의 견해는 이를 신뢰성과 함께 묶어 신뢰성 및 보안이라는 복합 용어로 취급하는 것이다.
신뢰성
Section: 정보 시스템의 신뢰성 및 생존성

네트워크 정보 시스템의 일반화와 함께 사용자 경험에 더 큰 중요성을 부여하기 위해 접근성이 도입되었다.

성능 수준을 고려하기 위해 성능성 측정은 "지정된 기간 동안 결함이 있는 상황에서 객체 시스템이 얼마나 잘 작동하는지 정량화"하는 것으로 정의된다.

현재 프레임워크의 유연성은 시스템 아키텍트가 사용 가능한 안전한 리소스의 초점을 가장 중요한 서비스를 지원하도록 재구성 메커니즘을 활성화하도록 장려하며, 실패 방지 시스템을 구축하기 위해 과도하게 프로비저닝하는 대신 이를 활용한다.
네트워크 스케줄러
Section: 알고리즘

시간이 지남에 따라 많은 네트워크 큐잉 규율이 개발되었다. 이들 각각은 다양한 송수신 버퍼 내에서 네트워크 패킷의 특정 재정렬 또는 삭제를 제공한다.
큐잉 규율은 특정 클래스의 네트워크 패킷에 대한 지연을 줄이는 것과 같이 다양한 네트워킹 조건을 보상하려는 시도로 일반적으로 사용되며, 주로 QoS 조치의 일부로 사용된다.

클래스 기반 큐잉 규율은 나무의 가지처럼 작동하는 클래스를 생성할 수 있게 한다. 그런 다음 패킷을 각 클래스로 필터링하는 규칙을 설정할 수 있다. 각 클래스는 그 자체로 다른 클래스 기반 또는 클래스리스 큐잉 규율을 할당받을 수 있다. 클래스리스 큐잉 규율은 더 많은 큐잉 규율을 추가하는 것을 허용하지 않는다.
네트워크 스케줄러
Section: 구현

Ifconfig 및 ip 유틸리티를 통해 시스템 관리자는 각 장치에 대해 이더넷 프레임 수 기준으로 크기에 관계없이 버퍼 크기 txqueuelen 및 rxqueuelen을 별도로 구성할 수 있다. 리눅스 커널의 네트워크 스택에는 네트워크 스케줄러가 관리하지 않는 다른 버퍼들이 포함되어 있다.

리눅스 커널 패킷 스케줄러는 리눅스 커널의 네트워크 스택의 필수적인 부분이며 모든 NIC의 송수신 링 버퍼를 관리한다.

패킷 스케줄러는 tc (트래픽 제어의 약어)라는 유틸리티를 사용하여 구성된다. 기본 큐잉 규율로서 패킷 스케줄러는 pfifo_fast라고 불리는 선입 선출 구현을 사용하지만, systemd는 버전 217부터 기본 큐잉 규율을 fq_codel로 변경했다.
소프트웨어 구축

구축 계획에는 구성 요소가 생성되고 통합되는 순서, 소프트웨어 품질 관리 프로세스, 팀 및 개발자에게 작업 할당을 정의하는 것이 포함될 수 있다.

프로젝트 관리를 용이하게 하기 위해 개발된 코드의 양, 수정된 코드, 재사용된 코드, 파괴된 코드, 코드 복잡성, 코드 검사 통계, 오류 수정 및 발견률, 투입된 노력 등 수많은 구축 측면을 측정할 수 있다. 이러한 측정은 품질 보장 및 프로세스 개선과 같은 측면에 유용할 수 있다.

구축은 소프트웨어 개발 수명 주기의 한 측면이며, 다른 활동과 분리된 활동으로서 구축에 대한 다양한 초점을 가진 여러 소프트웨어 개발 프로세스 모델에 통합된다. 폭포수 모델에서 소프트웨어 개발 노력은 구축을 시작하기 위한 전제 조건인 요구사항 분석, 설계, 계획을 포함하는 순차적인 단계로 구성된다. 스크럼, 진화적 프로토타이핑 또는 익스트림 프로그래밍과 같은 반복적 모델에서는 구축이 다른 활동과 동시에 또는 겹쳐서 발생하는 활동이다.
소프트웨어 구축
Section: 활동

연구에서 루틴 크기와 오류 발생률 간의 상관 관계에 대한 확실한 결과는 나오지 않았지만, 한 연구에서는 143줄 미만의 코드 라인을 가진 루틴이 더 큰 루틴보다 수정 비용이 2.4배 적게 드는 것으로 나타났다. 또 다른 연구에서는 루틴이 평균 100~150줄의 코드일 때 코드를 가장 적게 변경해야 한다고 밝혔다. 또 다른 연구에서는 루틴의 크기와 관계없이 구조적 복잡성과 데이터 양이 오류와 관련이 있음을 발견했다.

루틴 간의 인터페이스는 프로그램에서 오류가 가장 많이 발생하는 영역 중 일부이다. 한 연구에 따르면 모든 오류의 39%가 루틴 간의 통신 오류였다.

사용되지 않는 매개변수는 오류율 증가와 관련이 있다. 한 연구에서 참조되지 않은 변수가 2개 이상인 루틴의 17%~29%만이 오류가 없었지만, 사용되지 않는 변수가 없는 루틴에서는 46%가 오류가 없었다.
소프트웨어 구축
Section: 모범적 실천 방안

검증을 위한 구축은 개발자가 쉽게 결함을 찾아낼 수 있고 독립적인 테스트 및 운영 활동 중에도 결함을 찾아낼 수 있도록 소프트웨어를 구축하는 것을 의미한다. 검증을 위한 구축을 지원하는 특정 기술에는 코드 검토를 지원하기 위한 코딩 표준 준수, 유닛 테스트, 코드를 자동화된 테스트를 지원하도록 구성, 복잡하거나 이해하기 어려운 언어 구조의 제한된 사용 등이 있다.

변경을 예측하는 것은 개발자가 확장 가능한 소프트웨어 – 즉, 내재된 설계를 방해하지 않고 개선될 수 있는 코드를 구축하는 데 도움이 된다.
25년 이상의 연구에 따르면 재작업 비용은 요구사항을 처음부터 올바르게 파악하는 것보다 10배에서 100배(소규모 프로젝트의 경우 5배에서 10배) 더 비쌀 수 있다. 평균 프로젝트에서 개발 중에 요구사항의 25%가 변경된다는 점을 고려할 때 재작업 비용을 줄여야 할 필요성이 변경 예측의 필요성을 명확히 한다.
프로그래밍 팀
Section: 프로그래밍 모델

기술적 우수성과 좋은 디자인에 대한 지속적인 관심은 민첩성을 향상시킬 것이다.

단순성은 완료되지 않은 작업을 최대화하는 기술로 간주되며, 이는 필수적이다.

자율 조직 팀은 일반적으로 최고의 디자인을 만든다.

대면 의사소통은 팀에 정보를 주고받는 가장 좋은 방법이다.

작동하는 소프트웨어가 진행 상황의 주요 측정 기준이다.

애자일 프로세스는 지속 가능한 개발을 촉진한다. 스폰서, 개발자 및 사용자는 무기한으로 일정한 속도를 유지할 수 있어야 한다.
프로그래밍 팀
Section: 프로그래밍 팀 구조

매릴린 만테이에 따르면, 분산된 프로그래밍 팀에 속한 개인들은 더 높은 직무 만족도를 보고한다. 비자아적 프로그래밍 팀은 10명 이하의 프로그래머로 구성된 그룹을 포함한다. 코드는 그룹 구성원들 사이에서 교환되고 목표가 설정된다. 리더십은 특정 시간 동안 필요한 요구 사항과 능력에 따라 그룹 내에서 순환된다. 비자아적 팀의 구조 부족은 대규모 프로젝트에서 효율성, 효과성 및 오류 감지의 약점으로 이어질 수 있다. 비자아적 프로그래밍 팀은 매우 복잡한 작업에 가장 적합하다.

수석 프로그래머 팀은 일반적으로 수석 프로그래머, 선임 프로그래머 및 프로그램 사서로 구성된 3인 팀을 포함한다. 필요한 경우 추가 프로그래머와 분석가가 팀에 추가된다. 이 구조의 약점은 팀 구성원 간의 의사소통 부족, 작업 협력 및 복잡한 작업 완료가 포함된다. 수석 프로그래머 팀은 팀 내 정보 흐름이 제한되므로 더 간단하고 명확한 작업에 가장 적합하다. 이 팀 구조에서 일하는 개인들은 일반적으로 낮은 업무 의욕을 보고한다.
확률 컴퓨팅
Section: 역사

확률 컴퓨팅은 일반적인 컴퓨팅 방법으로는 쇠퇴했지만, 여러 응용 분야에서 가능성을 보여주었다. 연구는 전통적으로 기계 학습 및 제어 분야의 특정 작업에 집중되었다.
 비교적 최근에는 확률 컴퓨팅을 오류 정정 코드 디코딩에 적용하는 확률 디코딩으로 관심이 옮겨갔다. 더 최근에는 확률 회로가 윤곽선 검출 및 영상 임계 처리와 같은 영상 처리 작업에 성공적으로 사용되었다. 확률 회로의 최근 발전은 에지 컴퓨팅에서 인공지능(AI) 하드웨어 가속에 유망한 속도와 에너지 효율성 이점을 보여주고 있다.

확률 컴퓨팅은 1953년 존 폰 노이만의 선구적인 논문에서 처음 소개되었다. 그러나 이 이론은 1960년대 컴퓨팅의 발전,

주로 미국과 영국에서 동시에 여러 연구 노력을 통해 발전하기 전까지는 완전히 개발될 수 없었다. 1960년대 후반에 이르러 확률 계산을 수행하기 위한 특수 목적 하드웨어 설계에 관심이 집중되었다. 1969년부터 1974년 사이에 수많은 기계가 제작되었으며, 이 글에는 RASCEL이 그림으로 제시되어 있다.
확률 컴퓨팅
Section: 동기 부여 및 간단한 예시

출력 스트림에서 1이 나타날 확률은 이다. 충분한 출력 비트를 관찰하고 1의 빈도를 측정함으로써 를 임의의 정확도로 추정할 수 있다.

위의 연산은 상당히 복잡한 계산(와 의 곱셈)을 무작위 비트에 대한 매우 간단한 연산( 평가)의 시리즈로 변환한다.
다른 관점에서 보면, AND 게이트의 진리표를 가정해 보자. 일반적인 해석은 입력 A와 B가 참일 경우에만 출력이 참이라는 것이다. 그러나 표를 수직으로 해석하면 (0011) AND (0101)는 (0001)이 된다. 즉, 1/2 x 1/2 = 1/4이며, 이는 정확히 산술 곱셈이다. 정보가 확률 분포로 제시되기 때문에 확률 곱셈은 문자 그대로 AND 연산이다.

더 일반적으로 말해서, 확률 컴퓨팅은 숫자를 무작위 비트 스트림으로 표현하고 빈도를 계산하여 숫자를 재구성한다. 계산은 스트림에서 수행되며 와 에 대한 복잡한 연산을 스트림 표현에 대한 간단한 연산으로 변환한다. (재구성 방식 때문에 이 연산을 수행하는 장치를 확률 평균화 프로세서라고 부르기도 한다.) 현대적인 용어로, 확률 컴퓨팅은 확률적 관점에서 계산을 해석하는 것으로 볼 수 있으며, 이는 기브스 샘플러로 평가된다. 또한 하이브리드 아날로그/디지털 컴퓨터로도 해석될 수 있다.
확률 컴퓨팅
Section: 확률 디코딩

확률 컴퓨팅과 관련 없는 개발에서 신뢰전파 알고리즘을 사용하는 LDPC 코드의 매우 효과적인 디코딩 방법이 개발되었다. 이 맥락에서 신뢰 전파는 두 가지 기본 연산(본질적으로 확률적 XOR 연산과 평균 연산)을 사용하여 특정 매개변수를 반복적으로 재추정하는 것을 포함한다.

확률 컴퓨팅은 일반적인 계산 방법으로 고려될 때 여러 가지 결함이 있지만, 그 강점을 강조하는 특정 응용 분야가 있다. 주목할 만한 한 가지 경우는 특정 오류 정정 코드의 디코딩에서 발생한다.
논리 (컴퓨터 과학)
Section: 컴퓨터를 위한 논리 응용

논리 이론의 또 다른 주요 연구 분야는 소프트웨어 공학이다. 지식 기반 소프트웨어 보조 장치 및 프로그래머 도제 프로그램과 같은 연구 프로젝트는 소프트웨어 사양의 정확성을 검증하기 위해 논리 이론을 적용했다. 또한 논리 도구를 사용하여 사양을 다양한 플랫폼에서 효율적인 코드로 변환하고 구현과 사양 간의 동등성을 증명했다. 이러한 형식 변환 기반 접근 방식은 전통적인 소프트웨어 개발보다 훨씬 더 많은 노력이 필요하다. 그러나 적절한 형식주의와 재사용 가능한 템플릿이 있는 특정 도메인에서는 이 접근 방식이 상업용 제품에 대해 실행 가능하다는 것이 입증되었다. 적절한 도메인은 일반적으로 시스템 오류가 인간 또는 재정적 비용이 과도하게 높은 무기 시스템, 보안 시스템 및 실시간 금융 시스템과 같은 도메인이다. 이러한 도메인의 예로는 초고집적 (VLSI) 설계 – CPU 및 디지털 장치의 기타 중요 구성 요소에 사용되는 칩을 설계하는 프로세스가 있다. 칩의 오류는 치명적일 수 있다. 소프트웨어와 달리 칩은 패치하거나 업데이트할 수 없다. 결과적으로 정형 기법을 사용하여 구현이 사양과 일치함을 증명하는 상업적 정당성이 있다.

컴퓨터 기술에 대한 논리학의 또 다른 중요한 응용 분야는 프레임 언어 및 자동 분류기 영역이다. KL-ONE과 같은 프레임 언어는 집합론 및 1차 논리로 직접 매핑될 수 있다. 이를 통해 분류기라고 불리는 전문화된 정리 증명기가 주어진 모델에서 집합, 부분집합 및 관계 간의 다양한 선언을 분석할 수 있다. 이러한 방식으로 모델의 유효성을 검사하고 일치하지 않는 정의를 플래그 지정할 수 있다. 분류기는 또한 새로운 정보를 추론할 수 있다. 예를 들어, 기존 정보를 기반으로 새로운 집합을 정의하고 새로운 데이터를 기반으로 기존 집합의 정의를 변경할 수 있다. 이러한 유연성 수준은 끊임없이 변화하는 인터넷 세상을 처리하는 데 이상적이다. 분류기 기술은 웹 온톨로지 언어와 같은 언어 위에 구축되어 기존 인터넷 위에 논리적 의미 수준을 허용한다. 이 계층을 시맨틱 웹이라고 한다.
논리 (컴퓨터 과학)
Section: 이론적 기초 및 분석

괴델의 불완전성 정리는 산술을 특징짓기에 충분히 강력한 모든 논리 시스템은 그 시스템 내에서 증명할 수도 반증할 수도 없는 명제를 포함할 것이라고 증명한다. 이것은 소프트웨어의 완전성과 정확성을 증명하는 것의 실현 가능성과 관련된 이론적 문제에 직접적으로 적용된다.

사고범위 문제는 인공지능 에이전트의 목표와 환경 상태를 표현하기 위해 1차 논리를 사용할 때 극복해야 할 기본적인 문제이다.

커리-하워드 대응은 논리 시스템과 프로그래밍 언어 간의 관계이다. 이 이론은 증명과 프로그램 간의 정확한 대응을 확립했다. 특히, 단순형 람다 계산법의 항이 직관 명제 논리의 증명에 해당한다는 것을 보여주었다.