hotchpotch/wikipedia-multilingual-ir-related-paragraph-pairs huggingface dataset:
Supernova (aespa 노래)
Section: 상업적 성과

싱가포르에서는 "Supernova"가 2024년 5월 10일부터 16일까지의 주간 RIAS 톱 스트리밍 차트에서 28위, 톱 지역 차트에서 11위로 데뷔했으며, 다음 주에 톱 스트리밍 차트에서 6위, 톱 지역 차트에서 2위로 상승했다. 홍콩에서는 2024년 5월 25일 주간 빌보드 홍콩 송 차트에 15위로 데뷔했으며, 다음 주에 1위로 상승했다. 대만에서는 2024년 5월 25일 주간 빌보드 대만 송 차트에 6위로 데뷔했으며, 다음 주에 2위로 상승했다. 인도네시아에서는 2024년 6월 1일 주간 빌보드 인도네시아 송 차트에 14위로 데뷔했다. 말레이시아에서는 2024년 6월 1일 주간 빌보드 말레이시아 송 차트에 10위로 데뷔했다.

"Supernova"는 2024년 5월 12일부터 18일까지의 주간 써클 디지털 차트에 8위로 데뷔했으며, 다음 주에 1위로 상승했다. 이 곡은 2024년 5월 25일 주간 빌보드 South Korea Songs 차트에 데뷔했으며, 다음 주에 1위로 상승했다. 이 곡은 iChart의 실시간, 일간, 주간 차트에서 동시에 1위를 차지하는 퍼펙트 올킬을 달성했다. 일본에서는 2024년 5월 22일 주간 빌보드 재팬 핫 100 차트에 26위로 데뷔했으며, 다음 주에 25위로 상승했다. 오리콘 통합 싱글 차트에서는 2024년 5월 27일 주간 차트에 24위로 데뷔했다.
뎀 조인츠
Section: 경력

음악에 전념하기 전, 뎀 조인츠는 통신 회사에서 일했다. 2005년, 예상치 못하게 해고되었고, 이것이 그가 음악을 진지하게 추구하게 된 계기가 되었다.

2015년 닥터 드레의 애프터매스 엔터테인먼트의 인하우스 프로듀서로 영입되었다. 같은 해, 스눕 독, 켄드릭 라마, 에미넴 등 올스타 라인업이 참여한 드레의 앨범 컴턴 (2015)의 4개 트랙에 기여했다.

2015년에는 자넷 잭슨의 Unbreakable 앨범의 여러 트랙을 공동 프로듀싱했는데, 이 앨범은 빌보드 200 차트에서 1위로 데뷔했다. 수년 동안 칸예 웨스트, 리한나, 크리스티나 아길레라, 앤더슨 팩, 에미넴, 브랜디 등 수많은 아티스트들과 작업했다. 칸예 웨스트의 Donda (2021)와 앤더슨 팩의 Ventura (2019)에 기여하여 여러 그래미상 후보에 오르고 두 번의 그래미상을 수상했다.
뎀 조인츠
Section: 수상 및 인정

수상 – 최우수 R&B 앨범 – Ventura (앤더슨 팩) – [뎀 조인츠가 "Reachin’ 2 Much"에 기여함]

출처:

수상 – 최우수 랩 송 – "Jail" (칸예 웨스트 ft. 제이Z)

후보 – 올해의 앨범 – Donda (칸예 웨스트)

애프터매스 프로덕션 팀 수상: 닥터 드레, 프레드웨크, 뎀 조인츠, 포커스…, 블투스, 트레버 로렌스 주니어

2019년: 올해의 K-팝 송 – "Obsession" (EXO)
Armageddon (aespa의 노래)
Section: 크레딧

821 사운드 – 마스터링

인력

SM 엔터테인먼트 – 총괄 프로듀서

Aespa – 보컬, 백 보컬

방혜현 – 가사

Ejae – 작곡, 백 보컬

수민 – 작곡, 백 보컬

Waker (153/Joombas) – 작곡, 피아노, 프로그래밍

음반 라이너 노트에서 발췌한 크레딧.

스튜디오

SM 웨이블릿 스튜디오 – 레코딩

SM 드롭릿 스튜디오 – 레코딩, 디지털 편집, 믹스 엔지니어링

SM 블루 오션 스튜디오 – 믹싱
I'LL LIKE YOU
Section: 참여 인원

ILLIT – 리드 보컬 (모든 트랙)
윤아 – 갱 보컬 (1), 백 보컬 (2, 5)
민주 – 갱 보컬 (1), 백 보컬 (2)
모카 – 갱 보컬 (1)
원희 – 갱 보컬 (1), 백 보컬 (2)
이로하 – 갱 보컬 (1)

Divahh – 키보드, 보컬 편곡, 디지털 편집 (1, 4, 5); 드럼 (1, 4), 베이스 (4)

Albin Tengblad – 키보드, 베이스, 드럼 (1)

Deputy – 키보드, 신시사이저 (2)
Happy Burstday
Section: 배경 및 발매

플레디스 엔터테인먼트는 2025년 3월 24일 세븐틴의 10주년을 기념하는 정규 음반 발매 계획을 처음 공개했으며, 군 복무 중인 멤버를 포함한 13명 전원의 기여가 있었다. 4월 21일, 그룹은 다섯 번째 정규 음반이자 Face the Sun (2022) 이후 첫 음반 발매를 발표했다. 발표 클립은 떠다니는 봉투와 봉투 뒷면에 공개된 정보를 보여주었고 나중에 양초로 "Happy Burstday"라고 쓰인 생일 케이크로 이동했다. 클립에서 이 음반을 홍보하기 위한 다가오는 투어와 새로운 유닛의 데뷔도 예고되었다.

이 발매는 2015년 5월 26일 데뷔와 5월 29일 첫 EP인 17 CARAT 이후 밴드의 10주년을 기념한다. 음반 제목 'Happy Burstday'는 그룹의 "이정표"이자 "르네상스"를 상징하며 10주년을 반영한다. "Burst"는 "폭발적인 재탄생"을 표현하며 새로운 장을 여는 것을 두려워하지 않는다는 의미로 사용되었다. 이 음반은 그룹이 "재창조, 대담함, 진화"를 포용하는 새로운 시대로 도약하는 모습을 보여준다.
Happy Burstday

Happy Burstday는 대한민국의 보이 밴드 세븐틴의 다섯 번째 정규 음반이다. 2025년 5월 26일 플레디스 엔터테인먼트를 통해 YG플러스에서 발매되었으며, "폭발적인 재탄생"으로 표시된 새로운 장을 열며 밴드로서의 10주년을 기념한다.

이 음반에는 리드 싱글인 "Thunder"를 포함한 16곡과 세븐틴 멤버 각자의 솔로곡이 수록되어 있다. 곡들 중에는 미국의 음반 프로듀서인 퍼렐 윌리엄스와 팀발랜드와의 협업도 포함되어 있다.
단일 명령어 집합 컴퓨터
Section: 기계 아키텍처

현재 이 클래스에는 다양한 산술 연산을 기반으로 하는 여러 알려진 OISC가 있다.

덧셈 (addleq, add 및 0보다 작거나 equal하면 분기)

감소 (DJN, Decrement 및 0이 Nonzero이면 분기 (Jump))

증가 (P1eq, Plus 1 및 다른 값과 equal하면 분기)

뺄셈 (subleq, subtract 및 0보다 작거나 equal하면 분기)

양수 뺄셈이 가능하면 분기, 아니면 분기 (산술 기계)
단일 명령어 집합 컴퓨터
Section: 명령어 유형

무조건 분기:

JMP c

subleq Z, Z, c

덧셈은 조건부 분기 없이 반복적인 뺄셈으로 수행될 수 있다. 예를 들어, 다음 명령어는 위치 a의 내용이 위치 b의 내용에 더해지는 결과를 가져온다.

이것은 명령어당 두 (세 개 대신) 개의 피연산자만 사용하지만, 그에 상응하게 더 많은 명령어가 다양한 논리 연산을 수행하는 데 필요하다.

subleq 명령어만 사용하여 여러 유형의 고차 명령어를 합성할 수 있다.:9–10
레저베이션 스테이션

토마술로의 알고리즘에서 명령어는 레저베이션 스테이션에 순서대로 발행되며, 레저베이션 스테이션은 명령어와 명령어의 피연산자를 버퍼링한다. 피연산자가 사용 가능하지 않으면, 레저베이션 스테이션은 공통 데이터 버스에서 피연산자가 사용 가능해질 때까지 기다린다. 피연산자가 사용 가능해지면 레저베이션 스테이션은 이를 버퍼링하고, 명령어의 실행이 시작될 수 있다.

명령어는 사용 가능한 매개변수와 함께 저장되며, 준비가 되면 실행된다. 결과는 해당 명령어를 실행할 유닛에 의해 식별된다. 암묵적으로 레지스터 이름 변경은 WAR 및 WAW 해저드를 해결한다. 이는 완전 연관 구조이기 때문에 비교기 비용이 매우 높다(처리 장치에서 반환된 모든 결과와 저장된 모든 주소를 비교해야 함).
메모리 수준 병렬성

슈퍼스칼라가 아니면서도 높은 MLP를 갖는 기계를 가질 수 있다.

명백히 ILP가 없고 슈퍼스칼라가 아니며 비파이프라인 방식으로 한 번에 하나의 명령을 실행하지만 하드웨어 프리페칭(소프트웨어 명령 수준 프리페칭이 아님)을 수행하는 기계는 MLP(여러 프리페치 미결로 인해)를 나타내지만 ILP는 나타내지 않는다. 이는 여러 메모리 작업이 미결 상태이지만 명령은 아니기 때문이다. 명령은 종종 작업과 혼동된다.

또한, 멀티프로세서 및 멀티스레드 컴퓨터 시스템은 병렬성으로 인해 MLP 및 ILP를 나타낸다고 할 수 있지만, 스레드 내, 단일 프로세스, ILP 및 MLP는 나타내지 않는다. 그러나 종종 MLP 및 ILP라는 용어는 비병렬 단일 스레드 코드처럼 보이는 것에서 이러한 병렬성을 추출하는 것을 의미하도록 제한한다.
사이프러스 PSoC
Section: 역사

PSoC는 소니케어 칫솔이나 아디다스 운동화처럼 간단한 기기부터 티보 셋톱박스처럼 복잡한 기기까지 다양하게 사용된다. 한 PSoC는 애플 아이팟 클릭휠의 터치 감지 스크롤 휠에 대한 정전식 감응을 구현한다.

2014년에 사이프러스는 PSoC 4 Bluetooth Low Energy 무선을 PSoC 4 Cortex-M0 기반 SoC와 단일 모놀리식 다이에 통합하여 PSoC 4 제품군을 확장했다.
사이프러스 PSoC
Section: 개요

PSoC는 ASIC과 유사하다: 블록에는 광범위한 기능이 할당될 수 있고 온칩에서 상호 연결될 수 있다. ASIC과 달리 사용자 지정 구성을 생성하는 데 특별한 제조 공정이 필요하지 않다. 필요한 것은 사이프러스의 PSoC 디자이너(PSoC 1용) 또는 PSoC 크리에이터(PSoC 3 / 4 / 5용) IDE에서 생성하는 시작 코드뿐이다.

PSoC에는 데이터용 페이지 SRAM, 명령어 및 고정 데이터용 플래시 메모리, 구성 가능한 논리 블록 및 기능 제어 및 액세스용 I/O 레지스터의 세 가지 별도 메모리 공간이 있다. 이 장치는 SONOS 기술을 사용하여 제작된다.
사이프러스 PSoC
Section: 문서

ARM 코어 기술 참조 설명서.

ARM 아키텍처 참조 설명서.

사이프러스 세미컨덕터는 평가 보드 사용자 설명서, 애플리케이션 노트, 시작 가이드, 소프트웨어 라이브러리 문서, 오류 정정 문서 등 추가 문서를 가지고 있다. 공식 PSoC 및 ARM 문서 링크는 외부 링크 섹션을 참조하라.

PSoC 4 / 5 문서 트리 (상단에서 하단으로)

PSoC 웹사이트.

PSoC 마케팅 슬라이드.

PSoC 데이터시트.

PSoC 참조 설명서.

ARM 코어 웹사이트.

ARM 코어 일반 사용자 가이드.
제너럴 인스트루먼트
Section: GI 마이크로일렉트로닉스

1980년 그들의 제품 카탈로그에는 다음이 포함되었다.

16비트 마이크로프로세서: CP1600 및 1610, 16비트 CPU, GIMINI TV-게임 세트 및 마텔의 인텔리비전에 사용됨

GI 마이크로일렉트로닉스는 LSI 회로 제조업체이자 MOS 기술 및 전기적으로 변경 가능한 ROM (EAROM)의 선구자였으며, 기성품 및 맞춤형 회로를 모두 생산했다. GI는 1987년 이 사업부를 마이크로칩 테크놀로지로 분사했다.
제너럴 인스트루먼트
Section: 비디오사이퍼 사업부

350 Regular: 별도의 접시 이동기(일부는 고정 G5 위성을 가짐)가 있는 간단한 수신기.

350i Super: 광범위한 온스크린 디스플레이, 50개 위성(외부 스위치 포함 C 또는 Ku), 디지털 사운드.

450i/550i/650i: 광범위한 온스크린 디스플레이, C/Ku 사전 프로그래밍된 위성, 디지털 사운드, 추가 기능.

4DTV: 대화형 프로그램 가이드, 두 개의 즐겨찾기 목록, C/Ku 밴드, 기타 여러 기능.
제너럴 인스트루먼트
Section: 역사

1980년까지 히키는 실적 부진 사업부의 대부분을 매각했고, 회사 부채는 자산의 100%에서 20%로 감소했다. 아메리칸 토탈라이저의 성공은 컨트롤 데이터와 데이터트롤과 같은 다른 회사들이 수익을 압박하기 시작하면서 약화되기 시작했다. 그러나 이 시장에서의 손실은 케이블 텔레비전의 대규모 확장으로 인해 가려졌으며, 케이블 텔레비전은 빠르게 회사 주요 수익 센터로 자리 잡았다. 1982년 10월에는 300개 이상의 케이블 TV 방송국에 헤드 엔드 시스템을 공급하는 1억 달러 계약을 따냈다.

1980년대 중반 내내 회사는 일련의 역경을 겪었다. 새로운 시장을 찾던 중, 1986년에 M/A-COM의 케이블 사업부를 인수했다. M/A-COM은 이전에 위성방송 신호의 스크램블링 및 디코딩을 위한 산업 표준 시스템인 VideoCipher II를 개발한 VideoCipher를 인수한 바 있었다. 이 제품은 판매되기까지 시간이 걸렸지만, 1987년에는 수요가 공급을 초과하는 상황을 보였다. 연말까지 총 매출은 11억 6천만 달러에 달했다. 이러한 성공은 단명했으며, 1990년까지 회사는 다시 적자를 기록하고 있었다.
진안군의 지질
Section: 진안 분지 진안층군

진안 분지를 구성하는 육성 퇴적암 지층 진안층군은 중생대 백악기에 형성되었으며 시마무라 신베이(島村新兵衛 (しまむらしんぺい))는 진안 지질도폭(1924)에서 진안층군을 밑에서부터 만덕산층, 달길층, 산수동층과 마이산을 구성하는 마이산 역암층으로 구분하였다. 진안층군의 퇴적 환경은 삼각주 및 호수 환경을 지시하며 분지 침강이 북동쪽으로 증가하는 조건 하에서 형성된 것으로 추정된다.

진안 분지(鎭安 盆地, Jinan Basin)는 대한민국 전북특별자치도 내 마이산과 진안군 부귀면, 마령면, 완주군 상관면, 임실군 관촌면, 신덕면, 운암면에 걸쳐 있는 중생대 백악기의 육성 퇴적 분지로, 중생대 백악기의 육성 퇴적암 지층 진안층군(鎭安層群, Jinan Group)과 이를 관입 및 분출한 화산암으로 구성된다. 진안 분지는 북동-남서 방향의 주향 이동 단층의 우수향 전단운동에 따른 인장에 의해 형성된 주향이동 분지이다. 진안 분지의 규모는 길이 32 km, 폭 18 km 규모에 면적은 약 580 km2이다.
진안군의 지질
Section: 개요

전북특별자치도 진안군은 지체 구조상 영남 지괴/영남 육괴와 옥천 습곡대/옥천대의 경계에 위치해 있어, 진안군 동부 지역에는 선캄브리아기 편마암류가 분포하며, 진안군 북서부 구봉산~운장산 및 운일암반일암 지역에는 중생대 백악기 화강암과 화산암이 분포한다. 진안군 남서부 마이산~성수면 지역은 북동-남서 방향의 주향 이동 단층에 의해 형성된 주향이동 분지 진안 분지에 해당해 중생대 백악기의 퇴적암 지층 진안층군이 분포한다.

진안무주 국가지질공원(Jinan·Muju National Geopark)은 대한민국 전북특별자치도 북동부 진안군과 무주군에 설치된 대한민국 국가지질공원으로, 2019년 7월 10일에 대한민국 국가지질공원으로 지정되었으며 무주군과 진안군의 10개 지질명소로 구성된다. 영남 육괴의 고원생대 변성암과 중생대 백악기의 인리형 분지가 있는 진안-무주 지역은 한반도 지구조의 진화를 해석하는 데 중요하며 암석이 풍화와 침식을 받아 형성된 타포니, 감입곡류 하천, 폭포 등 지질 지형이 분포하여 지질학 교육 장소로 가치가 있다.
진안군의 지질
Section: 단층

전북특별자치도 진안군 용담면 호계리 지점(북위 35° 55′ 48.66″ 동경 127° 27′ 42.89″﻿ / ﻿북위 35.9301833°  동경 127.4619139° ﻿ / 35.9301833; 127.4619139) 지점의 노두는 편마암과 화강암이 혼합된 혼성암(미그마타이트) 중 화강암 부분에 발달하며, 단층면의 주향은 북동 20°, 경사는 남동 65° 이고 녹회색의 단층비지대가 0.5~6 cm 폭으로 발달한다. ESR 연대측정 결과 420±45 ka로 측정되어 이 단층은 제4기에 활동한 활성단층이다.

인리형 분지인 진안 분지의 북서부와 남동부 경계는 단층으로 중생대 백악기 진안층군과 영남 육괴의 선캄브리아기 화강편마암(남동측) 및 화강암(북서측)이 단층으로 접한다.

광주 단층은 진안 분지의 북동쪽 끝에서 시작하며 진안군 진안읍 이북에서는 영남 육괴 기반암과 진안 분지 퇴적암의 경계를 형성하는 단층이 관찰된다. 진안 분지의 북쪽 경계를 형성하는 단층은 남쪽으로 광주 단층으로 이어지며, 황재하와 최범영(2012)은 진안 분지의 응력축 방향이 경상 분지에 비해 반시계 방향으로 미세하게 회전한 것이 진안 분지의 경계 단층의 운동에 의한 지괴의 회전에 의한 결과일 가능성을 제시하였다.
아동 방임

아동 방임(child neglect)은 부모 등 양육자가 적절한 감독, 건강 케어, 옷, 주택뿐 아니라, 신체적 욕구, 정서적 욕구, 사회적 욕구, 교육적 욕구, 안정 욕구 등 기본적 욕구(basic need)를 아동으로부터 박탈(deprivation)하는 행동이다. 모든 사회는 아동이 신체적, 사회적, 정서적으로 발달하기 위하여 양육자가 제공해야 하는 필수 행동이 있다는 사고를 구축해 왔다. 방임의 원인은 정신 질환, 의도하지 않은 임신, 물질 사용 장애, 실업, 과잉고용, 가정 폭력, 특별한 경우 가난 등 부모의 양육 문제이다.

아동 방임은 아동과 사회가 양육자의 행동을 인식하는 방식에 따라 다르다. 부모가 자신들이 아동에게 행동하는 방법이 중요한 것이 아니다. 옵션이 가능할 때에 부모가 아동을 부양하는 것의 실패는 옵션이 사용 가능하지 않을 때 양육이 실패하는 것과는 다르다. 가난과 자원 결핍은 기여 요인이 되며, 부모가 아동의 욕구를 만족시키는 것을 차단한다. 행동을 방임으로 정의하기 전에 환경과 의도성(intentionality)은 검토해 봐야 한다.
아동 방임
Section: 유형

한 영역에서의 법과 아동 보호 정책에 따라, 아동을 감독하지 않고 방치하는 것, 특히 그렇게 하여 아동을 위험에 처하게 하는 경우, 방임으로 간주한다.

또한 아동 방임은 심각성 정도에 따라 설명할 수 있으며, 그 대응은 지역 사회 및 정부 기관이 보장하는 것으로 여겨질 수 있다.

정서적 방임은 정서적 안정감이나 용기 독려와 같은 정서적 지지를 제공하지 못하는 것이다.

교육적/발달적 방임은 아동을 학교에 보내거나 교육하지 않는 것과 같이 성장이나 발달에 필요한 경험을 아동에게 제공하지 못하는 것이다.
아동 방임
Section: 정의

"건강 및 발달에의 심각한 저해를 초래하는 아동의 기본적 신체적 심리적 욕구 충족의 지속적인 실패(The persistent failure to meet a child's basic physical and/or psychological needs resulting in serious impairment of health and/or development.)":1–8

아동 방임의 정의는 광범위하다. 아동이 방임될 때를 규정하는 특정 가이드라인이 없다. 따라서
무엇이 방임인지를 정하는 것은 국가 기관과 전문가 집단에 달려 있다.:13 흔히 아동 방임은 부모나 양육자가 아동의 정신적 신체적 정서적 발달에 필요한 욕구를 충족하지 못하는 것으로 간주된다.:262
바크라 댐

높이는 226m, 길이는 518.25m, 폭은 9.1m다. 폭이 90km인 고빈드사가르호는 저수량 기준으로 마디아프라데시주 인디라사가르 댐, 텔랑가나주 나가르주나사가르 댐(Nagarjunasagar Dam)에 이어 인도에서는 3위다.

바크라 댐(Bhakra Dam)은 인도 히마찰프라데시주 남서부 수틀레지강에 있는 콘크리트 중력댐으로, 바크라 댐에 의해 고빈드사가르호(Gobind Sagar reservoir)가 생겼다. 바크라 댐과 멀지 않은 곳에 있는 난갈댐(Nangal Dam, 펀자브주 소재)과 더불어 바크라-난갈 댐으로도 불린다.
비비에나
Section: 역사

종교 건축물에는 다음을 포함한다:

'산 로렌초' 교회 - 델로 로비아 화파의 유약을 칠한 테라코타 부조로 유명

'피에베 디 산티폴리토' (과거 타를라티성의 예배당)

'산 프란체스코 오라토리오'

'마촐레니 궁전'

'니콜리니 궁전' - 시청사 및 카센티노 '피에로 알베르토니' 고고학 박물관가 위치

'도비치 궁전' - 비비에나로 보통 알려진 베르나르도 도비치 추기경에 건립하다. 그는 비비에나 출신으로 조반니 디 로렌초 데 메디치 (후대의 교황 레오 10세)의 비서로 활동했다.
해커 뉴스
Section: 역사

2014년 3월 말, 그레이엄은 와이 콤비네이터의 리더 역할에서 물러나 해커 뉴스 관리를 다른 직원들에게 맡겼다. 이 사이트는 현재 dang이라는 닉네임을 쓰는 다니엘 개클이 관리하고 있다.
개클은 2019년까지 스콧 벨(사용자 이름 sctb)과 함께 해커 뉴스를 공동 관리했다.

폴 그레이엄이 2007년 2월에 만들었다. 처음에는 스타트업 뉴스 또는 News.YC.라고 불렸으며, 2007년 8월 14일에 현재 이름으로 알려지게 되었다. 그레이엄이 공동 개발한 Arc 프로그래밍 언어의 실제 응용 프로그램 역할을 하면서 그레이엄의 회사인 와이 콤비네이터의 프로젝트로 발전했다.
해커 뉴스
Section: 비전과 관행

그레이엄은 커뮤니티 내 지적 담론의 일반적인 쇠퇴로 이어지는 영원한 9월을 피하기를 바란다고 밝혔다. 이 사이트는 자동화된 악성 댓글 및 스팸 광고 감지기와 활발한 인간 관리 등 콘텐츠 관리에 적극적인 태도를 취한다. 또한 사용자에게 알려지지 않은 채 사용자 게시물이 다른 사람들에게 보이지 않게 되는 스텔스 밴도 시행한다. "이야기를 의도적으로 찬성 투표하기 위한 투표 조직"을 감지하는 추가 소프트웨어도 사용된다.

2013년 테크크런치 기사에 따르면: "그레이엄은 해커 뉴스가 와이 콤비네이터 스타트업에 대한 이야기를 다루는 편향이 있다는 많은 불만을 받지만, 그러한 편향은 없다고 말한다. [...] 그레이엄은 또한 편향이나 검열에 대한 비난과 함께 사용자들로부터 개인적으로 많은 독설을 받는다."
불가리아의 유로 주화
Section: 연혁

불가리아의 유로 주화 디자인은 2023년 11월에 불가리아 국립은행에 의해 공식적으로 선택되었으며 2024년 2월에 유럽 연합 이사회의 승인을 받았다. 2025년 4월 9일에는 불가리아 국립은행 운영위원회가 불가리아의 유로 주화 디자인 수정을 승인했는데 유일한 변경 사항은 발행 연도가 "2025"에서 "2026"으로 변경된 것이다. 필요한 양의 동전 주조는 유럽 연합 이사회가 불가리아의 유로화 채택을 승인한 직후에 시작될 예정이며 이를 통해 불가리아가 유로를 도입한 날부터 유통될 수 있다.

2025년 7월 8일에는 유럽 의회가 불가리아의 유로존 합류에 관한 안건을 찬성 531표, 반대 69표, 기권 79표로 승인했다. 유럽 연합 이사회는 불가리아의 유로존 합류에 관한 마지막 3개 법률을 만장일치로 채택하여 최종 승인했다. 3개 법률 가운데 하나는 유로와 불가리아 레프 간의 환율을 1유로당 1.95583레프로 정했다. 이로써 불가리아가 유로존의 21번째 회원국으로 합류하는 과정이 완료되었다.
베긴 독트린

바빌론 작전상 이스라엘의 이라크 오시라크 핵 원자로에 대한 공격에 잇달아, 이스라엘 총리 메나헴 베긴이 그 교설을 스스로 선언했다. 그 교설은 여전히 이스라엘 안보 계획으로 남아 있다. 그 사건 중 정부의 첫 번째 선언은 다음과 같은 이야기다. "어떤 일이 있어도 우리는 적국이 이스라엘 국민에 대항한 대량살상무기를 개발하는 대로 결코 내버려 두지 않겠습니다. 우리는 우리의 처분에서 기어이 즐거운 시간을 보내는 이스라엘 시민을 지키겠습니다."

그 공격의 이틀 뒤 텔 아비브의 극적인 기자 회견에서 베긴 총리는 그 작전의 모든 책임을 지고 그 실행을 비범하다고 절찬하며 도덕적 이유와 법적 이유의 두 가지 방법으로 이를 정당화했다. 베긴은 그 타격을 가리켜 최선의 예견적 자위권의 행위라고 말했다. 베긴이 표현한 전언은 오시라크의 공습이 일회용 작전이 아니고 국가의 장기 약속이라는 것이었다. 그는 자신의 기자 회견을 다음 말로 끝맺었다.
국제측량사연맹
Section: 회원 자격

FIG는 다섯 가지 회원 자격 범주와 두 가지 명예 회원 자격 수준을 가지고 있다. 다음 다양한 회원 자격 범주를 통해 120개국이 FIG에 대표된다.

회원 협회: 하나 이상의 측량 분야를 대표하는 국가 협회

제휴 회원: 전문 활동을 수행하지만 회원 협회 기준을 충족하지 못하는 측량사 또는 측량 조직 그룹

기업 회원: 측량사 직업과 관련된 상업 서비스를 제공하는 조직, 기관 또는 대행사
국제정치학회
Section: 사명

IPSA는 모든 활동에서 지역, 성별, 경력 단계별로 균형 잡힌 대표성을 보장하기 위해 노력한다. 예를 들어, 새로운 연구 위원회 설립은 최소 7개국과 2개 대륙의 정치학자들의 지지를 받아야 한다. 컨퍼런스 패널과 원탁 회의 또한 유사한 다양성을 보여야 하며, 하나 이상의 대륙과 최소 4개국의 대표성을 포함해야 한다.

주요 저널인 《국제정치학 리뷰》, 《국제정치학 초록》, 《세계 정치학》, 《참여》, IPSA 포털을 포함한 IPSA의 출판물 또한 전 세계 정치학자들의 요구를 충족시키기 위해 노력한다. 정치학을 지원하고 촉진하려는 IPSA의 글로벌 사명의 일환으로, 이제 남아메리카와 남아프리카 공화국 등 전 세계에서 연구 방법론 여름 학교를 운영한다.
국제정치학회
Section: 학술 활동

1970년대 이래로 IPSA 내에서 가장 역동적으로 성장한 분야 중 하나는 RC의 활동이다. 3년마다 열리는 대회에서 패널을 조직하는 것 외에도 RC는 대회 사이에 자체 회의를 조직하고 뉴스레터를 발행하며 다른 출판물을 발간한다. IPSA는 현재 정치 자금부터 젠더 및 언어 정치, 비교 민주화에 이르는 다양한 관심사를 가진 49개의 활성 RC를 보유하고 있다.

다양한 출판물을 통한 연구 및 정보 보급

IPSA의 주요 학술 활동은 격년으로 개최되는 대회이다. 1950년과 1952년에 시작된 세계 대회는 그 이후로 3년마다 개최되어 왔다. 소규모로 시작했지만, 전형적으로 약 2000명의 참가자를 유치하는 주요 국제 과학 행사로 발전했다. 2012년부터는 세계 대회가 격년으로 개최된다. 이러한 주요 행사 외에도 IPSA는 회의, 원탁 회의, 워크숍 등 다른 종류의 학술 회의를 후원한다.
국제정치학회
Section: IPSA 사무총장 (1949년~2019년)

앙드레 필립파르, 카네기 국제평화재단, 브뤼셀 (1967–1976)

존 트렌트, 오타와 대학교 (1976–1988)

프란체스코 셸베르그, 오슬로 대학교 (1988–1994)

존 코클리, 유니버시티 칼리지 더블린 (1994–2000)

프랑수아 고게, FNSP, 파리 (1949–1950)

장 메노, FNSP, 파리 (1950–1955)

존 구마흐티, 브뤼셀 (1955–1960)

세르주 위르티, FNSP, 파리 (1960–1967)
국제 동역학 게임 학회
Section: 역사

타메르 바샤르 1990-1994

알랭 오리 1994-1998

피에르 베른하르트 1998-2002

조르주 자쿠르 2002-2006

헤르트 얀 올스더 2006-2008

레온 페트로샨 2008-2012

ISDG는 1990년 8월 9일, 핀란드 헬싱키에서 헬싱키 공과대학교에서 열린 제4회 동역학 게임 및 응용 국제 심포지엄 현장에서 설립되었다. ISDG는 회장이 이끄는 집행 이사회에 의해 운영된다. 학회의 초대 회장은 타메르 바샤르 교수였다. 역대 ISDG 회장은 다음과 같다.
국제 동역학 게임 학회
Section: 아이작스 상

루퍼스 아이작스의 획기적인 공헌, 특히 그의 1965년 저서 "차동 게임"은 이 분야에 지대한 영향을 미친 핵심 원리와 방법론을 확립했다. 이 상은 차동 게임, 확률 게임, 진화 게임 및 경제학, 공학, 생물학 등 다양한 분야에서의 응용을 포함하는 광범위한 영역을 아우르는 동역학 게임 연구의 우수성을 기념하고 장려하는 역할을 한다. ISDG는 이 상을 수여함으로써 동역학 게임의 이론적 이해와 실제 적용을 크게 발전시켜 아이작스의 유산을 이어나간 학자들을 인정하고자 한다. 이 상의 수상자는 다음과 같다.

국제 동역학 게임 학회(ISDG) 집행 위원회는 2003년 "동역학 게임의 이론 및 응용에 대한 탁월한 기여"를 기리기 위해 권위 있는 상을 제정하기로 결정했다. 이 상은 2004년부터 각 ISDG 심포지엄에서 두 명의 뛰어난 학자에게 수여된다. 이 상은 루퍼스 아이작스의 이름을 따서 명명되었는데, 그는 차동 게임의 창시자로 널리 인정받으며 그의 선구적인 작업이 현대 동역학 게임 이론의 토대를 마련했다.
국제건축가협회
Section: 역대 회장

올루페미 마제코둔미, 나이지리아 (1990–1993)

하이메 두로, 스페인 (1993–1996)

사라 토펠손, 멕시코 (1996–1999)

바실리스 스구타스, 그리스 (1999–2002)

루이스 드 몰, 미국 (1978–1981)

라파엘 데 라 호스, 스페인 (1981–1985)

게오르기 스토일로프, 불가리아 (1985–1987)

로드 해크니, 영국 (1987–1990)
2025년 FIFA 클럽 월드컵
Section: 참가 팀 슬롯 할당

UEFA 이외의 연맹의 경우, 다음과 같은 방법을 따른다:

승리 시 3점

무승부 시 1점

대회의 각 새로운 단계(16강, 8강 등)로 진출할 시 3점

UEFA의 경우, 잘 확립된 UEFA 계수 시스템이 존재하기 때문에 UEFA가 클럽 계수를 계산하는 데 사용된 방법이 유럽 팀의 순위를 매기는 방법으로 "예외적으로 적용"되었다.

개최국 (1개 슬롯): 추후 결정

한 클럽이 소속 연맹의 최고 클럽 대회에서 2시즌 이상 우승할 경우, 4년 동안의 클럽 순위에 따라 추가 팀이 결정된다. 또한 같은 협회에서 두 개 이상의 클럽이 연맹 최고 클럽 대회에서 우승할 경우, 그 대회의 우승팀을 제외하고 한 협회 당 두 개의 클럽으로 출전권이 제한된다. 각 대륙별 4년 동안의 클럽 순위를 계산하는 방법은 2021년부터 2024년까지 완료된 시즌 동안 각 대륙 대회에서 팀이 거둔 성적을 기준으로 한다.
2025년 FIFA 클럽 월드컵
Section: 조 추첨

경쟁의 균형을 유지하기 위해 네 그룹으로 구성된 두 개의 별도 경로가 결선 토너먼트 단계에 맞춰 설정되었다. 경로는 다음과 같이 구성되었다:

경로 1: A, C, E, G조 우승팀과 B, D, F, H조 준우승 팀이 짝을 이루어 맞붙는다.

경로 2: B, D, F, H조 우승팀과 A, C, E, G조 준우승 팀이 짝을 이루어 맞붙는다.

이러한 경로를 감안할 때, UEFA와 CONMEBOL 팀은 조 추첨에서 다음과 같은 제약에 직면한다:
2025년 FIFA 클럽 월드컵

2025년 FIFA 클럽 월드컵(영어: 2025 FIFA Club World Cup)은 FIFA 클럽 월드컵 25로도 불리며, FIFA가 주관하는 국제 축구 클럽 대회인 FIFA 클럽 월드컵의 새로운 형식의 첫 대회가 되었다. 2025년 6월 14일부터 7월 13일까지 미국에서 치러졌다. 이번 대회는 이전 네 번의 대륙 선수권 대회 우승팀을 포함해 총 32개 팀이 참가하는 형식으로 개최되었다.

새로운 대회 방식은 2019년 3월에 발표되었으며, 원래 2021년 중국에서 개최될 예정이었으나 코로나19 범유행으로 인해 연기되었다. FIFA는 2023년 2월에 대륙 연맹 간 참가 팀 슬롯 할당을 승인했고, 4개월 후 미국을 개최국으로 발표했다. 기존에 이어오던 클럽 월드컵의 방식은 2024년 FIFA 인터컨티넨털컵으로 이름이 변경되어 그 정체성과 대회의 상징을 이어가고 있다.
국제 층서 위원회

이 단체는 국제지질학연합(IUGS)의 가장 큰 하위 기관이다. ICS는 본질적으로 영구적인 실무 소위원회이며, 총회 또는 전체 회원으로 회의를 개최하는 IUGS의 4년마다 열리는 회의보다 훨씬 더 정기적으로 회의를 개최한다.

국제 층서 위원회(International Commission on Stratigraphy, ICS)는 비공식적으로 국제 층서학 위원회라고도 불리며, 전 세계의 층서학, 지질학, 지질연대학 관련 문제를 다루는 하위 또는 주요 소위원회 등급의 과학 단체이다.
국제 층서 위원회
Section: 방법론

추가적으로 ICS는 글로벌 표준 지층 연대(GSSA)라는 대체 유형의 벤치마크와 기준을 정의하는데, 이는 물리 과학적 방법(예: 자기 정렬 시퀀스, 방사선 기준 등)으로만 특징과 연대 측정 기준이 설정되며, 고생물학, 지질학, 지구생물학, 연대층서학 분야 등의 지구 과학자들 간의 국제적이고 공개적인 토론을 장려한다.

국제 층서 위원회는 지역 또는 광범위한 규모의 회의나 협력 연구 위원회 회의에서 현장 작업과 기본 비교를 수행하는 IUGS의 진정한 실무 위원회인 수많은 소위원회 수준의 조직들을 탄생시켰고, 이들은 현장 작업을 수행하며, 회의 또는 협의 연구 위원회 회의에서 지역 또는 광범위한 규모의 기본 비교를 수행한다.
국제동물명명규약위원회
Section: 활동

ICZN은 국제동물명명규약(일반적으로 "코드" 또는 "ICZN 코드"로 지칭됨)을 발행하는데, 이는 동물로 취급되는 모든 생물의 정식 학명에 대한 규칙을 담고 있는 널리 받아들여지는 관습이다. 코드의 새 판은 위원회에서 임명한 편집 위원회에 의해 작성된다. 현재(제4판) 코드(1999년)는 7명이 편집했으며, 다음(제5판) 작업이 진행 중이다.

위원회는 또한 주의가 필요한 개별 문제에 대해 판결을 내리는데, 이는 코드의 엄격한 준수가 사용의 안정성을 방해할 수 있는 논쟁적인 경우에 중재가 필요할 수 있기 때문이다(예: 보존명 참조). 이러한 판결은 동물명명회보에 게시된다. 2017년부터 회보는 온라인 전용 저널이 되어 BioOne에 합류했으며, BioOne은 회보의 65권(2008년) 이후를 호스팅한다.
국제광물학회
Section: 회장

2002년–2006년: 이안 파슨스
에든버러 대학교

1998년–2002년: 앤서니 (토니) J. 날드레트
토론토 대학교
광물: 날드레타이트 (IMA2004-007)

1994년–1998년: 스테파노 메를리노
피사 대학교
광물: 메를리노이트 (IMA1976-046)

2012년–2014년: 월터 V. 마레쉬
보훔 루르 대학교

2010년–2012년: 에케하트 틸만스
빈 대학교 광물학 및 결정학 연구소
광물: 틸만사이트 (IMA2001-010)

2006년–2010년: 야마나카 타카미츠
오사카 대학교
국제광물학회
Section: 메달

광물학 연구 우수성에 대한 IMA 메달은 2006년에 제정되었다. 이 상은 광물학 분야에서 장기간에 걸친 뛰어난 과학 출판으로 대표되는 과학적 우수성과 명예에 대해 수여된다. 이 상은 광물학 연구에서 가장 권위 있는 상 중 하나이며 평생 공로상을 의미한다.

2023년 - 이리후네 테츠오

2022년 - 패트리샤 도브

2021년 - 로버트 헤이즌

2020년 - 조르주 칼라스

2019년 - 오타니 에이지

2018년 - 고든 E. 브라운 주니어
국제광물학회

국제광물학회(International Mineralogical Association, IMA)는 1958년에 설립된, 40개 국립 학회로 이루어진 국제 단체이다. 목표는 광물학을 발전시키고 5,000개 이상의 알려진 광물 종의 명명법을 표준화하는 것이다. IMA는 국제 지질 과학 연맹(IUGS)과 제휴되어 있다.

협회는 광물학 실무의 특정 측면에 관련된 위원회 및 작업 그룹의 활동을 지원하고 회의 후원 및 조직을 통해 광물학자들 간의 상호 작용을 촉진한다. 특히, IMA는 4년마다 총회를 개최한다. 마지막 회의는 2022년 프랑스 리옹에서 개최될 예정이었다.
국제지질과학연합
Section: 활동

브리즈번은 2012년 8월에 제34차 학회를 개최했고, 케이프타운은 2016년에 제35차 학회를 개최했다. 델리는 방글라데시, 인도, 네팔, 파키스탄, 스리랑카의 공동 노력으로 2020년 3월에 제36차 학회를 개최할 예정이었다. 그러나 코로나19로 인해 학회는 두 번 연기되었고 2021년에 온라인으로 진행되었다. 제37차 학회는 2024년 8월 부산광역시에서 개최되었다. 캐나다는 2028년에 캘거리에서 제38차 IGC를 개최할 입찰을 따냈다.

국제 지질유산 위원회 (ICG)

국제지질과학연합은 4년마다 개최되는 국제지질학회 (IGC)의 주요 과학 후원자이다. 첫 학회는 1878년 프랑스에서 개최되었으며, 당시 소수의 지구과학자들이 새로운 발견을 공유하고 지구과학자들이 정기적으로 만날 수 있는 틀과 플랫폼을 만들었다. 이 행사는 각 학회마다 규모가 커지고 있다.
시그마 자이
Section: 활동

이 상은 과학 연구 및 개발에 대한 강한 헌신을 보인 저명한 비즈니스 리더이자 자선가인 윌리엄 프록터를 기리기 위해 1950년에 제정되었다. 프록터는 프록터 앤드 갬블 회사의 상속인이자 회장으로 재직했다.

윌리엄 프록터 과학 업적상은 시그마 자이에서 수여하는 상이다. 이 명예로운 상은 과학 연구에 탁월한 기여를 하고 다른 분야의 과학자들에게 이 연구의 중요성을 전달하는 능력을 입증한 과학자에게 주어진다.
시그마 자이
Section: 상징

그리스 문자 ΣΞ는 학회의 모토인 Σπουδῶν Ξυνῶνες 또는 Spoudon Xynones의 약어이며, "열정적인 연구의 동반자"로 번역된다. 시그마 자이 회장 티 L. 기도티는 다음과 같이 언급했다.

시그마 자이 배지는 그리스 문자 ΣΞ의 모노그램으로 구성된 시계줄 펜던트이다. 학회의 색상은 전청색과 하양이다. 회원들은 졸업 시 파란색과 흰색 아너 코드를 착용할 수 있다. 학회 출판물은 아메리칸 사이언티스트이다.
시그마 자이
Section: 역사

시그마 자이는 1925년 12월 30일 미국 대학 아너 소사이어티 협회(ACHS)를 공동 설립한 6개 아너 소사이어티 중 하나였다. 그 참여는 단명했으며, 10여 년 후인 1933년에 탈퇴하고 독립 학회로 다시 운영하기로 결정했다. ACHS에서 탈퇴한 이유는 "주로 연구에 전념하기로 결정했고, 더 이상 엄밀히 대학 조직으로 간주하지 않으며, 따라서 협회가 차지하는 분야의 다소 밖에 있었다고 판단했고, 이러한 이유로 협회에서 탈퇴할 수밖에 없었다"고 밝혔다.

20세기 초, 1906년 샌프란시스코 지진 이후 시그마 자이의 스탠퍼드 대학교와 캘리포니아 대학교 버클리 지부는 재건 및 공중 보건 이니셔티브에 참여했다. 제1차 세계 대전 동안, 전미연구평의회는 시그마 자이와 협력하여 연구 시설을 조직했다. 학회는 전쟁 후에 크게 확장되었고, 1930년에는 20,000명의 회원을 보유했다.
영웅석
Section: 갤러리

12세기 옛 칸나다어 비문이 새겨진 항갈 타라케슈바라 사원의 영웅석, 카르나타카주

12세기 옛 칸나다어 비문이 새겨진 시다푸르 탈루크의 7개 패널 영웅석, 카르나타카주

12세기 옛 칸나다어 비문이 새겨진 시다푸르 탈루크의 7개 패널 영웅석, 카르나타카주

서기 1152년 옛 칸나다어 비문이 새겨진 시모가 탈루크의 7개 패널 영웅석, 카르나타카주

서기 1152년 옛 칸나다어 비문이 새겨진 시모가 탈루크의 7개 패널 영웅석, 카르나타카주
2025년 6월 이란의 이스라엘 공습
Section: 배경

이 "그림자 전쟁"에는 시리아 내 이란 표적과 이란 연계 표적에 대한 이스라엘의 공습, 그리고 이란 고위 해외 인사 암살이 포함되었다. 그러나 2025년 6월 13일 이란에 대한 이스라엘의 공습은 전환점이 되어 이란의 보복 공격을 촉발하는 직접적인 계기가 되었다. 이 공격으로 이슬람 혁명 수비대 (IRGC) 사령관 호세인 살라미, 참모총장 모하마드 바게리, 부사령관 골람 알리 라시드, 최고 지도자 고문 알리 샴카니, 쿠드스군 사령관 이스마일 가아니를 포함한 여러 고위 IRGC 요원들이 사망한 것으로 알려졌다. 이란 보고서에는 페레이둔 압바시-다바니와 모하마드 메흐디 테흐란치를 포함한 6명의 핵 과학자 암살도 확인되었다.

약 200대의 이스라엘 전투기가 작전에 참여하여 이란 전역에 걸쳐 약 100개의 목표물을 공격했다. 이 공격은 여러 출처에서 "전례 없는" 것으로 묘사되었다.

테헤란과 군사 시설, 그리고 고위 관리들이 거주하는 주거 지역 근처에서 폭발음이 들렸다. 여러 민간인 주거지에서 화재가 보고되었다. 이스라엘 당국은 이번 공격을 증가하는 핵 위협을 무력화하기 위한 "예방적" 또는 "선제적" 조치로 묘사했지만, 이란은 이를 자국 주권에 대한 노골적인 위반이자 국가 안보에 대한 직접적인 공격으로 비난했다. 테헤란은 이번 작전을 "선전포고"로 규정하고, 국가적 신뢰와 영토 보전을 위해 직접적이고 공개적인 대응을 맹세했다.
2025년 6월 이란의 이스라엘 공습
Section: 사상자

6월 14일, 이스라엘 북부 전역에서 이란 미사일로 인해 이스라엘인 5명이 사망한 것으로 보고되었다.

6월 15일, 이스라엘 민간인 9명이 사망하고 200명 가까이 부상당했으며, 중앙 바트얌의 미사일 공격 이후 1명이 실종된 것으로 보고되었다. 레호보트 공격으로 42명이 부상당했다.

텔아비브 중심부의 현대적인 주거 건물이 심각한 피해를 입었다. 여러 아파트에서 화재가 발생했으며, 건물에서 연기가 피어오르는 모습이 목격되었다. 인접한 건물은 창문이 깨지고 금속이 뒤틀려 외벽에 매달리는 등 심각한 외관 손상을 입었다. 라마트간에서는 여러 대의 차량이 불에 탄 채 발견되었고, 세 채의 주택이 눈에 띄게 손상되었다. 텔아비브의 이스라엘 국방부 단지는 이란 미사일의 충격으로 피해를 입었다.
2025년 6월 이란의 이스라엘 공습
Section: 반응

영국: 레이첼 리브스 재무장관은 영국이 이란 미사일로부터 이스라엘을 방어하는 데 도움을 줄 수 있다고 시사한 것으로 알려졌다. 6월 15일, 영국은 이스라엘로의 모든 여행에 대해 경고를 시작했다.

캐나다: 마크 카니 총리는 "이스라엘의 자위권"을 재확인하고 자제를 촉구했다.

러시아: 블라디미르 푸틴 대통령은 이란의 마수드 페제시키안 대통령과 이스라엘의 벤야민 네타냐후 총리 모두와 회담을 갖고 이스라엘의 공격을 비난하며 양국 간의 중재를 제안했다.
Lean
Section: 활용

2024년, 구글 딥마인드는 알파프루프를 개발했으며, 이는 국제수학올림피아드 은메달 수준으로 Lean에서 수학적 명제를 증명한다. 이는 수학 올림피아드 문제에서 메달 수준의 성과를 달성한 최초의 AI 시스템이었다.

2023년, 블라드 테네브(Vlad Tenev)와 투도르 아킴(Tudor Achim)은 Lean 코드를 생성하고 확인하여 AI 환각을 줄이는 것을 목표로 하는 스타트업 Harmonic을 공동 설립했다.
Lean
Section: 역사

레오나르도 데 모우라가 2013년 마이크로소프트 리서치에서 출시했다. 나중에 Lean 1과 2로 알려진 언어의 초기 버전은 실험적이었으며, 나중에 폐기된 호모토피 유형 이론 기반의 기능들을 포함했다.

Lean은 마이크로소프트 리서치에서, 현재는 아마존 웹 서비스에서 근무하는 레오나르도 데 모우라(Leonardo de Moura)에 의해 주로 개발되었으며, 개발 역사 동안 다른 공동 저자 및 협력자들의 상당한 기여가 있었다.
Lean
Section: 개요

Lean은 다음들과 통합된다:

비주얼 스튜디오 코드

네오빔

이맥스

인터페이스는 클라이언트 확장 및 Language Server Protocol 서버를 통해 이루어진다.

Lean은 유니코드 기호를 기본적으로 지원하며, "\times"와 같이 "×"를 나타내는 LaTeX와 유사한 시퀀스를 사용하여 입력할 수 있다. Lean은 또한 자바스크립트로 컴파일되어 웹 브라우저에서 접근할 수 있으며 메타 프로그래밍에 대한 광범위한 지원을 제공한다.

2017년에는 연구 수준의 수학까지 가능한 한 많은 순수수학을 하나의 크고 응집력 있는 라이브러리로 디지털화하는 것을 목표로 Lean 라이브러리 mathlib를 개발하는 커뮤니티 유지 관리 프로젝트가 시작되었다. 2025년 5월 기준으로 mathlib는 Lean에서 210,000개 이상의 정리와 100,000개 이상의 정의를 형식화했다.
토머스 캘리스터 헤일스
Section: 출판물

Hales, Thomas C. (1994). 《The status of the Kepler conjecture》. 《The Mathematical Intelligencer》 16. 47–58쪽. doi:10.1007/BF03024356. ISSN 0343-6993. MR 1281754. S2CID 123375854.

Hales, Thomas C. (2001). 《The Honeycomb Conjecture》. 《Discrete and Computational Geometry》 25. 1–22쪽. arXiv:math/9906042. doi:10.1007/s004540010071. MR 1797293. S2CID 14849112.
토머스 캘리스터 헤일스
Section: 생애

2002년 이후 헤일스는 피츠버그 대학교의 멜런 수학 교수가 되었다. 2003년 헤일스는 케플러 추측 증명을 입증하기 위해 플라이스펙 작업을 시작했다. 증명은 추측을 검증하기 위해 컴퓨터 계산에 의존했다. 이 프로젝트는 두 가지 증명 보조기인 HOL Light와 이자벨을 사용했다. 수학연보는 2005년에 증명이 99% 확실하다고 확인한다. 2014년 8월, 플라이스펙 팀의 소프트웨어는 마침내 증명이 정확하다는 것을 검증했다.

2017년, 수학 연구 논문들의 주요 결과를 대화형 정리 증명기 언어로 형식화된 진술로 제공하는 것을 목표로 하는 형식 초록 프로젝트를 시작했다. 이 프로젝트의 목표는 컴퓨터 형식화가 제공하는 향상된 정밀도와 상호 운용성으로부터 이점을 얻는 동시에 현재 모든 출판된 증명의 완전한 규모의 형식화가 수반하는 노력을 우회하는 것이다. 장기적으로, 이 프로젝트는 대화형 및 자동화된 정리 증명에서 기계 학습 기술의 적용을 허용하는 수학적 사실들의 코퍼스를 구축하기를 희망한다.
케빈 버자드
Section: 생애

1998년 임페리얼 칼리지 런던에서 강사로, 2002년에는 리더로 재직했으며 2004년에는 교수로 임명되었다. 2002년 10월부터 12월까지 하버드 대학교에서 방문 교수를 지냈으며, 이전에는 프린스턴 고등연구소(1995년), 캘리포니아 대학교 버클리(1996~1997년), 파리의 앙리 푸앵카레 연구소(2000년)에서 근무했다.

"정수론 분야에서의 뛰어난 업적"으로 2002년 런던 수학회로부터 화이트헤드상을 수상했으며, 2008년에는 시니어 버윅 상을 수상했다.

2017년, Lean 증명 보조기를 활용한 형식화 프로젝트와 블로그를 시작했으며, 이후 미래 수학 연구에서 컴퓨터 증명 보조기 사용을 장려해왔다. 2022년 세계 수학자 대회에서 해당 주제에 대한 강연을 했다.
방형구
Section: 방법

장기 연구의 경우, 동일한 방형구를 처음 조사한 후 다시 방문하여 비교할 수 있다. 이러한 조사 지점을 정확히 다시 찾는 방법은 정밀도에 따라 다양하며, 인근의 영구 표식을 기준으로 측정하거나, 토털 스테이션 경위의, 소비자용 GPS, DGPS 등을 활용하기도 한다.

방형구는 연구자들이 넓은 서식지 전체를 포괄적으로 조사하는 것이 불가능하거나 비현실적인 경우, 대표성이 있는 작은 구역에서 유기체를 체계적으로 계수하고, 그 결과를 더 큰 지역으로 추정하기 위해 사용된다. 방형구의 크기는 조사 대상 유기체의 크기와 전체 조사 구역의 규모에 맞게 조정된다. 선택 편향을 피하기 위해 연구자들은 방형구를 조사 지역 전반에 무작위로 배치한다.
방형구

방형구(方形區, 영어: quadrat)는 생태학, 지리학, 생물학에서 특정 항목이 넓은 지역에 어떻게 분포하는지를 연구하기 위해 표준 면적 단위를 설정하는 데 사용되는 틀이다. 방형구는 일반적으로 0.25m²의 면적을 가지며 전통적으로는 정사각형이지만, 현대의 방형구는 직사각형, 원형, 또는 불규칙한 형태일 수도 있다.  방형구는 식물, 느리게 움직이는 동물, 일부 수생 생물을 관찰하거나 샘플링하는 데 적합하다.

사진 방형구(photo-quadrat)는 방형구로 구획된 영역을 사진으로 기록한 것이다. 이 사진은 물리적인 틀을 사용해 조사 구역을 표시할 수도 있고, 고정된 카메라 거리와 렌즈 시야각을 이용해 자동으로 특정 면적을 포함하도록 할 수도 있다. 또한 카메라에 평행하게 장착된 레이저 포인터를 이용해 축척(스케일)을 표시할 수도 있다. 사진은 표면에 수직이 되도록 촬영되며, 표면이 고르지 않은 경우에도 가급적 수직에 가깝게 촬영한다.
액각
Section: 척추동물

일부 물고기의 위턱뼈는 액각으로 진화했다

모든 새치와 마찬가지로 돛새치는 위턱뼈의 연장선인 액각(부리)을 가지고 있다

주걱철갑상어류는 전기수용기가 가득한 액각을 가지고 있다

톱가오리는 전기 감응성 액각(톱)을 가지고 있으며, 이는 먹이를 베는 데도 사용된다

포유류에서 액각은 광대뼈 아치 앞에 위치한 두개골의 부분으로, 치아, 구개, 비강을 포함한다. 또한 인간 뇌의 뇌량에는 액각이라고 알려진 신경 다발이 있다.

척추동물의 부리나 주둥이도 액각으로 불릴 수 있다.
액각
Section: 무척추동물

복족류 연체동물은 액각 또는 주둥이를 가지고 있다.

두족류 연체동물은 액각이라고 불리는 단단한 부리 모양의 입틀을 가지고 있다.

무척추동물 액각

갑각류: 큰징거미새우의 액각은 양쪽 가장자리에 톱니가 있다.

갑각류에서 액각은 눈 앞에 있는 갑각의 앞쪽 연장 부분이다. 일반적으로 단단한 구조이지만, 박갑목에서 볼 수 있듯이 경첩 관절로 연결될 수도 있다.

곤충 중에서 액각은 노린재목과 설악장구벌레 등의 곤충의 찌르기 입틀을 지칭하는 이름이다. 바구미의 긴 코도 액각이라고 불린다.
집합과

모려과:
목련속

시과:
백합나무

다른 집합과의 구성 요소는 정의하기가 더 어렵다. 예를 들어, 슈가애플 (안노나속 종) 열매는 개별적인 장과 같은 암술이 꽃턱과 융합하여 구성된다.

집합과의 개별 부분은 여러 형태로 나타난다. 일반적인 예시는 다음과 같다.

핵과:
라즈베리
듀베리와 블랙베리, 역시 부속과이며 육질의 꽃턱을 가진다

수과:
딸기, 역시 부속과이며 육질의 꽃턱을 가진다
라넌큘러스속