shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
IPSA의 광범위한 출판 프로그램에는 국제정치학 초록(International Political Science Abstracts, IPSA)(1951년~현재); 국제정치학 리뷰(International Political Science Review)(1980년~현재) 및 협회 게시판인 Participation.(1977년~)이 포함된다. 최근 IPSA는 전 세계 정치학 웹사이트 상위 300개를 평가하고 링크를 제공하는 온라인 출판물인 IPSAPortal을 제공했다. 마지막으로 IPSA는 월간 정보 이메일인 뉴스레터를 제공한다. 2014년부터 2019년까지 IPSA는 De Gruyter와 협력하여 World Political Science도 출판했다.
협회는 칼 도이치 상을 포함하여 이 분야의 주요 학자들에게 다양한 학술상을 수여한다.
국제 동역학 게임 학회(International Society of Dynamic Games, ISDG)는 동역학 게임 이론의 발전을 위한 국제적인 비영리, 전문 기관이다.
ISDG는 1990년 8월 9일, 핀란드 헬싱키에서 헬싱키 공과대학교에서 열린 제4회 동역학 게임 및 응용 국제 심포지엄 현장에서 설립되었다. ISDG는 회장이 이끄는 집행 이사회에 의해 운영된다. 학회의 초대 회장은 타메르 바샤르 교수였다. 역대 ISDG 회장은 다음과 같다.
아이작스 상.
국제 동역학 게임 학회(ISDG) 집행 위원회는 2003년 "동역학 게임의 이론 및 응용에 대한 탁월한 기여"를 기리기 위해 권위 있는 상을 제정하기로 결정했다. 이 상은 2004년부터 각 ISDG 심포지엄에서 두 명의 뛰어난 학자에게 수여된다. 이 상은 루퍼스 아이작스의 이름을 따서 명명되었는데, 그는 차동 게임의 창시자로 널리 인정받으며 그의 선구적인 작업이 현대 동역학 게임 이론의 토대를 마련했다.
루퍼스 아이작스의 획기적인 공헌, 특히 그의 1965년 저서 "차동 게임"은 이 분야에 지대한 영향을 미친 핵심 원리와 방법론을 확립했다. 이 상은 차동 게임, 확률 게임, 진화 게임 및 경제학, 공학, 생물학 등 다양한 분야에서의 응용을 포함하는 광범위한 영역을 아우르는 동역학 게임 연구의 우수성을 기념하고 장려하는 역할을 한다. ISDG는 이 상을 수여함으로써 동역학 게임의 이론적 이해와 실제 적용을 크게 발전시켜 아이작스의 유산을 이어나간 학자들을 인정하고자 한다. 이 상의 수상자는 다음과 같다.
톰 빈센트 상.
톰 빈센트 상은 2019년 진화 게임 이론 분야에 기여한 사람들을 기리기 위해 제정되었다. 이 상은 토마스 L. 빈센트의 이름을 따서 명명되었다.
국제건축가협회(International Union of Architects, 프랑스어: Union internationale des Architectes; UIA)는 전 세계 약 320만 명의 건축가를 대표하는 유일한 국제 비정부 기구이다.
UIA는 1948년 6월 28일 스위스 로잔에서 Comité permanent international des Architectes와 Réunion International des Architectes의 합병으로 설립되었다. 사무국은 파리 (프랑스)에 위치해 있다. 이 조직은 유네스코, UNCHS, ECOSOC, 유엔 산업 개발 기구, 세계보건기구 및 세계무역기구를 포함한 대부분의 유엔 기관으로부터 유일한 글로벌 건축 조직으로 인정받고 있다. 현재(2023~2026년) 회장은 스위스 출신의 레지나 곤티에르이다.
UIA는 회원 섹션을 통해 100개 이상의 국가 및 지역에 대표되어 있으며, 지리적으로 다섯 개 지역으로 분류된다.
UIA의 통치 기구는 다음과 같다.
UIA 세계 총회는 전 세계 건축가들이 전문적, 문화적 교류를 하는 주요 행사로, 전 세계에서 수천 명의 참가자가 모인다. 각 행사는 국제 건축, 계획 및 건설 분야의 저명한 인사들이 개발한 다양한 건축 관련 주제에 초점을 맞춘다. 토론, 전시회, 투어 및 네트워킹 행사는 UIA 총회를 건축 전문가, 동료, 친구 및 학생들을 위한 완벽한 만남의 장으로 만든다.
UIA 총회는 주최 UIA 회원 섹션이 조직한다. 총회 유치 신청은 UIA 총회에 제출되며 행사 6년 전에 투표로 선정된다.
1948년부터 2026년까지의 총회 목록
세계 건축 수도.
2018년 11월 23일, UIA는 유네스코와 함께 새로운 공동 라벨인 세계 건축 수도에 대한 양해각서를 발표했다. 이 타이틀은 UIA 세계 총회 주기에 따라 3년마다 수여된다. 2020년부터 세계 총회는 항상 해당 세계 수도에서 개최되었다. 이를 위한 공식적인 신청 절차가 있다. 세계 총회는 다음 세계 총회 연도의 세계 수도를 신청서 후보 목록에서 선정하며, 공식 발표는 유네스코 사무총장이 한다. 2020년에는 리우데자네이루가 세계 건축 수도였고, 2023년에는 코펜하겐 그리고 2026년에는 바르셀로나가 선정되었다. 해당 세계 수도에서는 한 해 동안 프로그램과 일련의 주요 행사가 진행된다.
UIA 금메달.
1984년부터 이 조직은 또한 UIA 금메달을 수여하여 인간과 사회에 제공한 서비스의 질을 통해 그들의 작품과 전문적인 실무로 자신을 구별한 건축가(또는 건축가 그룹)에게 영예를 안겨준다. 역대 수상자는 다음과 같다.
UIA 3년 주기상.
UIA는 또한 다음 다섯 가지 상을 수여한다.
국제 디자인 공모전.
UIA는 국제 건축 공모전을 주관한다.
CANZUK은 캐나다, 호주, 뉴질랜드, 영국 사이에 과거에 존재했던 EEC와 규모가 비슷한 국제 조직 혹은 국가 연합을 형성하는 제안된 동맹을 일컫는다. 정치, 경제, 사회, 문화적으로 비슷한 이들 4개국 사이의 무역 증대, 대외 공조, 군사 협력, 국민들의 자유로운 이동을 목표로 한다. CANZUK의 개념은 캐나다에서 2015년 세워진 단체 CANZUK 인터내셔널을 비롯해 여러 싱크 탱크의 지지를 받고 있다.
2025년 FIFA 클럽 월드컵()은 FIFA 클럽 월드컵 25로도 불리며, FIFA가 주관하는 국제 축구 클럽 대회인 FIFA 클럽 월드컵의 새로운 형식의 첫 대회가 되었다. 2025년 6월 14일부터 7월 13일까지 미국에서 치러졌다. 이번 대회는 이전 네 번의 대륙 선수권 대회 우승팀을 포함해 총 32개 팀이 참가하는 형식으로 개최되었다.
새로운 대회 방식은 2019년 3월에 발표되었으며, 원래 2021년 중국에서 개최될 예정이었으나 코로나19 범유행으로 인해 연기되었다. FIFA는 2023년 2월에 대륙 연맹 간 참가 팀 슬롯 할당을 승인했고, 4개월 후 미국을 개최국으로 발표했다. 기존에 이어오던 클럽 월드컵의 방식은 2024년 FIFA 인터컨티넨털컵으로 이름이 변경되어 그 정체성과 대회의 상징을 이어가고 있다.
이 새로운 대회는 경기 일정 혼잡과 선수 복지에 영향을 미칠 것으로 예상되어 FIFPRO와 세계 프로축구 리그들의 단체인 월드 리그 포럼()으로부터 비판을 받았다.
배경 및 대회 방식.
2005년, 다시 돌아온 FIFA 클럽 월드컵은 매년 12월에 개최되었으며, 대륙 클럽 대항전 우승팀만 참가할 수 있었다. 2016년 말 FIFA 회장 잔니 인판티노는 클럽 월드컵 참가 팀을 2019년부터 32개 팀으로 확대하고 방송사와 스폰서에게 더 매력적이고 균형 잡힌 일정을 제공하기 위해 6월 / 7월로 일정을 변경할 것을 제안했다. 2017년 말, FIFA는 기존 FIFA 컨페더레이션스컵을 대체하여 2021년부터 4년마다 대회를 개최하고 참가 팀을 24개로 확대하는 방안을 논의했다. 2021년 6월~7월에 열리는 클럽 월드컵의 새로운 형식과 대회 세부 일정은 2019년 3월 마이애미에서 열린 FIFA 평의회에서 확정되었다. 중국은 2019년 10월에 개최국으로 선정되었으나, 코로나19 범유행으로 인해 2021년 대회는 취소되었다.
2023년 6월 23일, FIFA는 미국이 2026년 FIFA 월드컵의 준비 무대로 2025년 대회를 개최할 것이라고 발표했다. 이 대회에 진출한 32개의 팀은 4개 팀으로 구성된 8개 조로 나뉘며, 각 조의 상위 2팀이 결선 토너먼트에 진출한다. 대회 형식은 1998년부터 2022년까지 FIFA 월드컵에서 사용된 형식과 동일하나, 예외적으로 3위 결정전은 제외되었다.
2024년 1월, 이 대회는 주로 미국 동부 해안에서 개최되어 유럽 방송사와 시청자에게 더 가까워지고, 동시에 2025년 CONCACAF 골드컵과의 혼잡을 피할 수 있을 것이라고 보도되었다. 2025년 골드컵은 비슷한 시기에 일부 경기가 미국에서 개최되지만, 주로 미국 서부 지역에서 열렸다.
참가 팀 슬롯 할당.
2023년 2월 14일, FIFA 평의회는 "객관적인 지표와 기준"을 바탕으로 2025년 대회의 참가 팀 슬롯 할당을 승인했다. UEFA는 12개로 가장 많은 출전권을 획득했고, CONMEBOL은 6개로 두 번째로 많은 출전권을 획득했다. AFC, CAF, 그리고 CONCACAF는 각각 4개의 출전권을, OFC와 개최국 협회는 각각 1개의 출전권을 부여받았다. 2023년 3월 14일, FIFA 평의회는 대회 출전의 주요 원칙을 승인했다. 2021년부터 2024년까지 4년 동안 열린 클럽 대회들을 고려하여 다음과 같은 원칙을 적용한다:
한 클럽이 소속 연맹의 최고 클럽 대회에서 2시즌 이상 우승할 경우, 4년 동안의 클럽 순위에 따라 추가 팀이 결정된다. 또한 같은 협회에서 두 개 이상의 클럽이 연맹 최고 클럽 대회에서 우승할 경우, 그 대회의 우승팀을 제외하고 한 협회 당 두 개의 클럽으로 출전권이 제한된다. 각 대륙별 4년 동안의 클럽 순위를 계산하는 방법은 2021년부터 2024년까지 완료된 시즌 동안 각 대륙 대회에서 팀이 거둔 성적을 기준으로 한다.
UEFA 이외의 연맹의 경우, 다음과 같은 방법을 따른다:
UEFA의 경우, 잘 확립된 UEFA 계수 시스템이 존재하기 때문에 UEFA가 클럽 계수를 계산하는 데 사용된 방법이 유럽 팀의 순위를 매기는 방법으로 "예외적으로 적용"되었다.
다음은 대회 본선에 진출한 32개의 팀이다.
조 추첨은 2024년 12월 5일 오후 1시 (EST), 플로리다주 마이애미 외곽에 있는 텔레비전 방송국 텔레문도 본사에서 진행되었다. 이 행사는 텔레문도 본사에서 알레산드로 델 피에로가 주재했으며, 도널드 트럼프 미국 대통령 당선인의 영상 메세지도 포함되었다. FIFA는 스포츠적, 지리적 요인을 최대한 고려하여 추첨 2일 전에 추첨 절차와 시드 포트를 발표했다.
FIFA는 다음과 같이 시드 포트를 배정했으며, 각 팀은 FIFA 클럽 순위 시스템에 따라 각 대륙별로 순위가 매겨졌다:
해당 조 추첨에서 UEFA 팀을 제외한 같은 연맹에 소속된 팀은 같은 조에 편성될 수 없고, UEFA 팀의 경우 한 조에 최대 두 팀까지 편성될 수 있다. 또한, 같은 국가 협회에 속한 UEFA 팀은 같은 조에 편성될 수 없다.
경쟁의 균형을 유지하기 위해 네 그룹으로 구성된 두 개의 별도 경로가 결선 토너먼트 단계에 맞춰 설정되었다. 경로는 다음과 같이 구성되었다:
이러한 경로를 감안할 때, UEFA와 CONMEBOL 팀은 조 추첨에서 다음과 같은 제약에 직면한다:
개최국 팀 자격 및 일정 상의 이유로 인터 마이애미 CF와 시애틀 사운더스 FC는 각각 A조와 B조 4위로 편성되었다. 따라서 A조와 B조에 편성된 팀들은 각자 자신의 추첨 포트에 맞는 위치에 배정되었다.
조 추첨은 포트 1에서 포트 4로 끝나며, 각 팀은 추첨 제약 조건에 따라 알파벳 순으로 가장 먼저 가능한 그룹에 배정되었다. C조부터 H조까지는 경기 일정을 위해 그룹 내 팀의 포지션이 추첨되었으며, 포트 1팀은 각 그룹의 포지션 1에 자동으로 배정되었다.
조 추첨 포트는 다음과 같다:
국제 층서 위원회(International Commission on Stratigraphy, ICS)는 비공식적으로 국제 층서학 위원회라고도 불리며, 전 세계의 층서학, 지질학, 지질연대학 관련 문제를 다루는 하위 또는 주요 소위원회 등급의 과학 단체이다.
이 단체는 국제지질학연합(IUGS)의 가장 큰 하위 기관이다. ICS는 본질적으로 영구적인 실무 소위원회이며, 총회 또는 전체 회원으로 회의를 개최하는 IUGS의 4년마다 열리는 회의보다 훨씬 더 정기적으로 회의를 개최한다.
1974년에 시작된 주요 목표 중 하나는 엄격하고 철저한 지층 기준을 가진 글로벌 경계 층형 단면 및 지점(GSSP)라는 화석 기록 내의 벤치마크를 통해 지역별 고생물학 및 지구생물학적 비교를 용이하게 하는 다분야 표준 및 전 지구적 지질 시대를 확립하는 것이다. (예: 암석 기록의 단면, 즉 코어 샘플 단면 또는 노출된 접근 가능한 지층의 단면으로, 코어 샘플은 일반적으로 약 1미터 길이의 "섹션"이라고 불리는 긴 조각으로 "쟁반에 담겨" 있다.)
추가적으로 ICS는 글로벌 표준 지층 연대(GSSA)라는 대체 유형의 벤치마크와 기준을 정의하는데, 이는 물리 과학적 방법(예: 자기 정렬 시퀀스, 방사선 기준 등)으로만 특징과 연대 측정 기준이 설정되며, 고생물학, 지질학, 지구생물학, 연대층서학 분야 등의 지구 과학자들 간의 국제적이고 공개적인 토론을 장려한다.
국제 층서 위원회는 지역 또는 광범위한 규모의 회의나 협력 연구 위원회 회의에서 현장 작업과 기본 비교를 수행하는 IUGS의 진정한 실무 위원회인 수많은 소위원회 수준의 조직들을 탄생시켰고, 이들은 현장 작업을 수행하며, 회의 또는 협의 연구 위원회 회의에서 지역 또는 광범위한 규모의 기본 비교를 수행한다.
ICS는 다양한 보고서와 연구 결과는 물론 개정된 참고 자료를 주기적으로 발행하며, 이는 국제 층서 차트에 요약되어 있다. 이 차트는 IUGS의 다음 회의에 앞서 ICS의 마지막 심의 후에 발표되는 통합 작업 제안 및 최신 지침이다. IUGS가 권고 사항을 수락하기 전까지는 비공식적인데, 이는 IUGS 모기관이 ICS의 개별 심의 보고서(권고 사항으로 제시됨)를 승인하거나 기각하기 때문이며, 이 보고서들은 연대 측정 및 지층 선택 기준, 그리고 명명법을 포함한 관련 문제를 다룬다. 사실상 일상적인 문제에서 ICS 회의에서 보고된 심의 결과는 널리 받아들여지고 즉시 일상적으로 사용되는데, 이는 강력한 반대 의견이 발생하여 전체 IUGS에 앞서 해결되는 드문 경우를 제외하고는 그러하다.
그러한 논쟁 중 하나는 2009년에 ICS가 심의하여 현재 비공식적으로 명명된 제4기 기의 플라이오세 세를 신진기 계 및 신진기 시대로 옮겨야 한다고 결정했을 때 발생했다. 강력한 논쟁에도 불구하고, 제4기는 2009년 6월 IUGS로부터 지질학적 단위로 공식 비준되었으며, 그 하한선은 이탈리아 시칠리아의 몬테 산 니콜라에 있는 젤라시아절/세에 위치하며 (그때까지는 플라이오세 세/기의 최상부였고, 따라서 신진기 계/기의 최상부였다), 2.58 Ma BP로 정해졌다.
국제 층서 차트의 종이 및 문서(PDF) 버전 출판 외에도, ICS는 웹 온톨로지 언어(OWL)와 특히 Time Ontology in OWL을 사용하여 구성된 차트의 기계 판독 가능한 버전도 제공한다. ICS의 차트 웹 페이지는 또한 OWL 데이터를 기반으로 한 차트의 대화형 버전도 제공한다.
국제 층서 위원회의 로고는 한자 "산"(山)을 본떠 디자인되었다.
국제동물명명규약위원회(International Commission on Zoological Nomenclature, ICZN)는 "동물의 과학적 명명에 있어 안정성과 의미를 달성"하는 데 전념하는 조직이다. 1895년에 설립되었으며, 현재 20개국에서 온 26명의 위원으로 구성되어 있다.
ICZN은 일반적으로 국제동물명명규약과 함께 출판되는 "ICZN 헌법"에 의해 운영된다.
위원은 국제생물과학연맹(IUBS)에 의해 설립된 동물명명분과에 의해 선출된다.
위원의 정규 임기는 6년이다. 위원은 연속으로 최대 3회까지 6년 임기로 재선될 수 있다. 18년간 연속으로 위원직을 수행한 후에는 최소 3년의 휴식을 취해야 다시 선거에 입후보할 수 있다.
2014년부터 위원회의 업무는 싱가포르 싱가포르 국립 대학에 기반을 둔 소규모 사무국에 의해 지원된다. 이전에는 사무국이 런던에 기반을 두었으며 국제동물명명신탁의 자금 지원을 받았다. 위원회는 "동물의 학명의 올바른 사용에 대한 정보 생성 및 보급"을 통해 동물학 공동체를 돕는다.
ICZN은 국제동물명명규약(일반적으로 "코드" 또는 "ICZN 코드"로 지칭됨)을 발행하는데, 이는 동물로 취급되는 모든 생물의 정식 학명에 대한 규칙을 담고 있는 널리 받아들여지는 관습이다. 코드의 새 판은 위원회에서 임명한 편집 위원회에 의해 작성된다. 현재(제4판) 코드(1999년)는 7명이 편집했으며, 다음(제5판) 작업이 진행 중이다.
위원회는 또한 주의가 필요한 개별 문제에 대해 판결을 내리는데, 이는 코드의 엄격한 준수가 사용의 안정성을 방해할 수 있는 논쟁적인 경우에 중재가 필요할 수 있기 때문이다(예: 보존명 참조). 이러한 판결은 동물명명회보에 게시된다. 2017년부터 회보는 온라인 전용 저널이 되어 BioOne에 합류했으며, BioOne은 회보의 65권(2008년) 이후를 호스팅한다.
국제유성기구(International Meteor Organization, IMO)는 수년간의 전신 모임을 거쳐 1988년에 공식적으로 설립되었다. IMO는 수백 명의 회원을 보유하고 있으며 아마추어 및 전문 유성 연구에 대한 국제 협력의 증가하는 필요에 대응하여 설립되었다. 전 세계에서 여러 방법을 통해 유성 관측을 수집하는 것은 유성우와 혜성 및 행성간 먼지와의 관계에 대한 포괄적인 연구를 보장한다.
IMO는 격월간지 WGN을 발행하고 매년 9월에 국제유성회의(IMC)를 개최한다.
국제광물학회(International Mineralogical Association, IMA)는 1958년에 설립된, 40개 국립 학회로 이루어진 국제 단체이다. 목표는 광물학을 발전시키고 5,000개 이상의 알려진 광물 종의 명명법을 표준화하는 것이다. IMA는 국제 지질 과학 연맹(IUGS)과 제휴되어 있다.
협회는 광물학 실무의 특정 측면에 관련된 위원회 및 작업 그룹의 활동을 지원하고 회의 후원 및 조직을 통해 광물학자들 간의 상호 작용을 촉진한다. 특히, IMA는 4년마다 총회를 개최한다. 마지막 회의는 2022년 프랑스 리옹에서 개최될 예정이었다.
IMA의 역대 회장은 다음과 같다:
광물학 연구 우수성에 대한 IMA 메달은 2006년에 제정되었다. 이 상은 광물학 분야에서 장기간에 걸친 뛰어난 과학 출판으로 대표되는 과학적 우수성과 명예에 대해 수여된다. 이 상은 광물학 연구에서 가장 권위 있는 상 중 하나이며 평생 공로상을 의미한다.
작업 그룹 및 위원회.
가장 활발한 IMA 위원회는 신광물 및 광물 명칭 위원회(CNMMN)이다. 이 위원회는 새로운 광물 이름 부여, 기존 이름 개정 및 무효 종의 불신을 조정하기 위해 1959년에 설립되었다. 전통적으로 신광물의 유효성 확인 절차는 위원장의 업무 중 하나이며, 무효 종의 불신 또는 재유효성 확인 절차는 부위원장의 업무 중 두 가지이다. 2006년 7월, 양 위원회의 요청으로 CNMMN과 광물 분류 위원회(CCM)의 합병이 이루어져 신광물, 명명법 및 분류 위원회(CNMNC)가 탄생했다.
회원 학회.
IMA에 대표되는 학회는 다음과 같다:
국제지질과학연합(International Union of Geological Sciences, IUGS)은 지질학 분야에서 국제 협력을 위한 국제 비정부 기구이다. 2023년 기준으로 전 세계 100만 명 이상의 지구과학자들을 대표한다.
1961년에 설립된 IUGS는 1875년부터 4년마다 개최되어 온 국제지질학회(International Geological Congresses) 간의 협력을 유지하기 위해 설립되었다. 이 단체는 과학의 국제적인 조직을 위한 조정 기관으로 인정하는 이전의 국제과학연맹위원회 (ICSU)였던 국제과학위원회 (ISC)의 과학 연합 회원이다. 현재 121개국 (및 지역)의 지질학자들이 IUGS에 대표되어 있다. 이 단체의 위원회, 태스크 그룹, 공동 프로그램 및 제휴 기관을 통해 광범위한 과학 주제를 다룬다. IUGS는 지질학 문제, 특히 전 세계적으로 중요한 문제에 대한 연구를 촉진하고 장려하며, 지구 과학 분야에서 국제적 및 학제 간 협력을 지원하고 촉진한다. 연합의 사무국은 현재 중국 베이징의 중국지질과학원에 위치해 있다.
IUGS는 유네스코의 국제지구과학프로그램 (IGCP)의 공동 파트너이며, 세계지질공원 네트워크 (GGN)에도 참여한다. 런던지질학회는 IUGS 간행물의 제작 및 배포를 감독한다. 인도지질학회는 연합의 계간지인 에피소드를 제작 및 배포하며, 편집 지원도 제공한다. 관심 있는 사람들은 최신 에피소드를 무료로 다운로드할 수 있다. 다른 활동으로는 미래 세대 자원 (RFG), 젊은 기자들, 심원 디지털 지구 (DDE)가 있다.
IUGS는 다음 주제를 다루는 9개의 국제 위원회를 운영한다.
국제 지질학회.
국제지질과학연합은 4년마다 개최되는 국제지질학회 (IGC)의 주요 과학 후원자이다. 첫 학회는 1878년 프랑스에서 개최되었으며, 당시 소수의 지구과학자들이 새로운 발견을 공유하고 지구과학자들이 정기적으로 만날 수 있는 틀과 플랫폼을 만들었다. 이 행사는 각 학회마다 규모가 커지고 있다.
브리즈번은 2012년 8월에 제34차 학회를 개최했고, 케이프타운은 2016년에 제35차 학회를 개최했다. 델리는 방글라데시, 인도, 네팔, 파키스탄, 스리랑카의 공동 노력으로 2020년 3월에 제36차 학회를 개최할 예정이었다. 그러나 코로나19로 인해 학회는 두 번 연기되었고 2021년에 온라인으로 진행되었다. 제37차 학회는 2024년 8월 부산광역시에서 개최되었다. 캐나다는 2028년에 캘거리에서 제38차 IGC를 개최할 입찰을 따냈다.
IUGS 지질 유산지 목록.
설립 60주년을 기념하기 위해 2022년에 IUGS는 지구과학 발전에 중요한 전 세계 100개 지역 목록을 발표했다.
2024년, IUGS는 또 다른 100개의 지질 유산지 목록을 발표했다.
IUGS 과학 우수성 상:
삼성 갤럭시 A36 5G는 삼성전자가 갤럭시 A 시리즈의 일부로 개발 및 제조한 보급형 안드로이드 기반 스마트폰이다.
시그마 자이(Sigma Xi), 과학 연구 아너 소사이어티(The Scientific Research Honor Society, )는 과학자와 엔지니어를 위한 국제 비영리 아너 소사이어티이다. 시그마 자이는 1886년 코넬 대학교에서 한 교수와 대학원생들에 의해 설립되었으며, 가장 오래된 아너 소사이어티 중 하나이다. 시그마 자이의 회원은 초대받은 자에 한하며, 회원은 연구 업적이나 잠재력을 바탕으로 다른 사람을 추천한다. 이 학회는 1925년 미국 대학 아너 소사이어티 협회의 창립 회원이었으나, 1933년 탈퇴하고 한참 후에 아너 소사이어티 코커스를 결성하는 데 기여했다.
시그마 자이는 1886년 11월 뉴욕주 이타카에 있는 코넬 대학교 기계 공학 단과대학에서 설립되었다. 설립자로는 코넬 교수 헨리 셰일러 윌리엄스, 초급 교수 프랭크 반 블렉, 공학 대학원생 존 J. 버거, 윌리엄 A. 데이, 존 니커배커, 윌리엄 A. 모스크롭, 윌리엄 H. 라일리, 윌리엄 N. 샌더슨, 헨리 E. 스미스, 찰스 B. 윙이 있다. 이들의 목표는 파이 베타 카파에 필적하는 과학 학회를 만드는 것이었다. 학회의 주요 목표는 중요한 과학 연구를 인정하고 다양한 분야의 과학자들 간의 협력을 촉진하는 것이었다. 윌리엄스는 초대 회장이었다.
1887년 시그마 자이는 국가 조직이 되어 스티븐스 공과대학교, 럿거스 대학교, 렌슬리어 공과대학교, 유니언 칼리지에 지부를 설립했다. 1888년에는 안나 보츠포드 콤스톡과 수잔나 펠프스 게이지를 포함한 여성 회원들을 입회시키기 시작했다. 학회는 1893년 이타카에서 첫 번째 총회를 열어 새로운 헌법 초안을 작성했다. 1899년에는 미국 과학 진흥 협회와 공동으로 총회를 개최했다. 19세기 말, 시그마 자이는 8개 지부에 1,000명 이상의 회원으로 구성되었다.
20세기 초, 1906년 샌프란시스코 지진 이후 시그마 자이의 스탠퍼드 대학교와 캘리포니아 대학교 버클리 지부는 재건 및 공중 보건 이니셔티브에 참여했다. 제1차 세계 대전 동안, 전미연구평의회는 시그마 자이와 협력하여 연구 시설을 조직했다. 학회는 전쟁 후에 크게 확장되었고, 1930년에는 20,000명의 회원을 보유했다.
시그마 자이는 1925년 12월 30일 미국 대학 아너 소사이어티 협회(ACHS)를 공동 설립한 6개 아너 소사이어티 중 하나였다. 그 참여는 단명했으며, 10여 년 후인 1933년에 탈퇴하고 독립 학회로 다시 운영하기로 결정했다. ACHS에서 탈퇴한 이유는 "주로 연구에 전념하기로 결정했고, 더 이상 엄밀히 대학 조직으로 간주하지 않으며, 따라서 협회가 차지하는 분야의 다소 밖에 있었다고 판단했고, 이러한 이유로 협회에서 탈퇴할 수밖에 없었다"고 밝혔다.
시그마 자이는 1930년대 후반에 활동 및 연구 결과를 홍보하기 위한 저명 강사 프로그램을 시작했다. 1950년까지 학회 회원은 42,000명에 달했다. 1947년에는 다양한 환경에서 연구를 지원하기 위해 미국 과학 연구 학회(RESA)가 설립되었다. 회원 토마스 T. 홈은 1953년부터 1981년까지 학회의 전무 이사가 되어 시그마 자이를 급속한 성장과 사회 변화를 통해 이끌었다. 1963년 학회는 139개 지부와 175,000명의 회원을 보유했다.
시그마 자이와 RESA는 1974년 1월 1일 시그마 자이, 과학 연구 학회라는 이름으로 통합되었다. 1989년 시그마 자이는 과학의 중요성과 사회에서의 역할을 강조하는 새로운 사명 선언문을 개정했다. 이 학회는 과학적 업적을 인정하고 과학 기술 분야에서 국제 협력을 증진하는 데 계속 전념하고 있다.
시그마 자이는 파이 베타 카파, 파이 카파 파이, 시그마 자이, 오미크론 델타 카파와 함께 아너 소사이어티 코커스라고 불리는 미국에서 가장 오래되고 명망 높은 4개 아너 소사이어티의 느슨하게 조정된 로비 단체에 참여하고 있다. 시그마 자이는 연구 업적과 잠재력을 바탕으로 회원으로 선출된 약 60,000명의 회원을 보유하고 있다. 학회 본부는 리서치 트라이앵글 파크에 있다.
그리스 문자 는 학회의 모토인 또는 의 약어이며, "열정적인 연구의 동반자"로 번역된다. 시그마 자이 회장 티 L. 기도티는 다음과 같이 언급했다.
시그마 자이 배지는 그리스 문자 의 모노그램으로 구성된 시계줄 펜던트이다. 학회의 색상은 전청색과 하양이다. 회원들은 졸업 시 파란색과 흰색 아너 코드를 착용할 수 있다. 학회 출판물은 아메리칸 사이언티스트이다.
시그마 자이의 회원 자격은 초대받은 자에 한하며, 회원은 연구 업적이나 잠재력을 바탕으로 다른 사람을 추천한다. 학회 회원은 과학 분야에서 주목할 만한 연구에 기여한 교수진 및 직원, 과학 연구에 뛰어난 학부생, 응용 또는 순수 과학 분야에서 탁월함을 보여준 대학원생으로 구성된다.
시그마 자이는 잡지 아메리칸 사이언티스트 발행 외에도 유망한 젊은 연구자들에게 매년 보조금을 지원한다. 또한 연구 윤리학, 과학 및 공학 교육, 과학에 대한 대중의 이해, 국제 연구 협력 및 연구 기업의 전반적인 건전성을 지원하는 다양한 프로그램과 강연을 후원한다.
윌리엄 프록터 상.
윌리엄 프록터 과학 업적상은 시그마 자이에서 수여하는 상이다. 이 명예로운 상은 과학 연구에 탁월한 기여를 하고 다른 분야의 과학자들에게 이 연구의 중요성을 전달하는 능력을 입증한 과학자에게 주어진다.
이 상은 과학 연구 및 개발에 대한 강한 헌신을 보인 저명한 비즈니스 리더이자 자선가인 윌리엄 프록터를 기리기 위해 1950년에 제정되었다. 프록터는 프록터 앤드 갬블 회사의 상속인이자 회장으로 재직했다.
윌리엄 프록터 상 수상자들은 연구와 소통 모두에서 이룬 업적을 인정받으며, 이는 과학적 우수성과 학제 간 소통을 모두 증진하려는 시그마 자이의 이중적인 강조를 반영한다. 수상자는 표창과 함께 학회 연례 회의 또는 기타 적절한 행사에서 강연을 한다.
수년에 걸쳐 윌리엄 프록터 상은 다양한 분야의 많은 저명한 과학자들에게 수여되었으며, 이는 학제 간 연구를 존중하고 증진하려는 상의 헌신을 강조한다.
2023년 5월 4일 기준으로 550개 이상의 지부를 설립했으며, 미국에 350개 이상의 활동 중인 지부가 있고 다른 국가에 20개 이상의 지부가 있다.
노벨상 수상자 200명 이상이 시그마 자이 회원이었다. 여기에는 프랜시스 크릭, 제니퍼 다우드나, 알베르트 아인슈타인, 엔리코 페르미, 리처드 파인만, 존 구디너프, 라이너스 폴링, 제임스 왓슨 등이 포함된다.
TV 베이더(일본어:テレビベーダー)는 1980년에 출시된 1세대 가정용 게임기다.
고가의 프로세서를 사용했음에도 저렴하게 스페이스 인베이더를 구사하여 인기를 누렸으나, 닌텐도의 게임 &amp; 워치에게 매출량에서 밀렸다.
영웅석(, )은 전투에서 영웅의 명예로운 죽음을 기리는 기념물이다. 기원전 1천년기 후반부터 서기 18세기 사이에 세워진 영웅석은 인도 전역에서 발견된다. 이들은 종종 비문과 부조 패널, 프리즈, 조각된 돌 조각상 등 다양한 장식을 포함한다. 보통 돌 기념물 형태로 되어 있으며, 하단에 전투 이야기를 담은 비문이 있을 수 있다. 이러한 기념 영웅석 중 가장 초기의 것으로 가장 오래된 것은 인도 타밀나두주에서 발견되며, 2400년 이상 된 기원전 4세기의 것이다. 역사가 우핀더 싱에 따르면, 이러한 기념석이 가장 많이 밀집된 곳은 인도 카르나타카주이다. 약 2650개의 영웅석이 발견되었으며, 카르나타카에서 가장 초기의 것은 서기 5세기로 거슬러 올라간다. 기념석을 세우는 관습은 철기 시대(기원전 400년)로 거슬러 올라가지만, 대다수는 기원전 4세기부터 서기 13세기 사이에 세워졌다.
영웅석은 보통 세 개의 패널로 나뉘지만, 경우에 따라 사건에 따라 네 개 또는 다섯 개의 패널로 나뉘기도 했다. 상단 패널에는 시바 링가, 비슈누, 가자 락슈미 또는 자이나교 티르탕카라와 같은 신을 숭배하는 인물이 묘사되어 있고, 중간 패널에는 때때로 가마나 신전에 앉아 압사라(천상의 님프)에 의해 하늘로 올려지는 영웅이 묘사되어 있으며, 하단 패널에는 전투 장면이 표시되어 있다. 가장 큰 비라갈루 중 하나는 약 12피트 높이로, 베타게리, 카르나타카주에서 발견된다. 타밀나두주 고고학부에서는 공동체나 지역을 지키다 목숨을 바친 전사들을 기리기 위해 세워진 수백 개의 영웅석을 발견했다. 비문이 새겨진 영웅석은 영웅의 행위, 전투, 그리고 전투를 벌인 왕의 이름을 이야기한다. 이 돌들은 단독으로 또는 그룹으로 발견되며, 종종 마을 밖의 관개 저수지나 호수 근처에 있다. 9세기 팔라바 왕조 단티바르만 왕 시대의 영웅석 하나는 아름답게 차려입고 창을 든 채 질주하는 말을 탄 영웅을 묘사한다. 다른 하나는 우실람파티 탈루크의 파파파티에서 발견되었으며, 아마도 18세기의 것으로 추정된다. 이 돌은 영웅적으로 포즈를 취한 전사와 꽃을 든 그의 아내를 보여준다. 영웅석 제작은 2600년 전으로 거슬러 올라가는 상감 시대부터 시작되어 19세기경 나야카 시대와 후기 나야카 시대까지 계속되었다. 2014년 3월, 8세기 판디아 왕조 지역에서 바텔루투 문자로 된 타밀 비문이 새겨진 영웅석이 투투쿠디구의 벨라랑코타이에서 발견되었다. 또 다른 영웅석은 마을로 들어온 소를 잡아먹던 표범을 죽인 남편을 기리기 위해 한 여성이 설치한 것이다. 2017년에는 전투에 나서는 전사-여성들을 기리기 위해 세워진 희귀한 영웅석 두 점이 발견되었는데, 이는 13세기로 거슬러 올라간다.
영웅석은 항상 인물을 기리기 위해 만들어진 것은 아니었다. 아타쿠르 비문(아타쿠르라고도 철자가 쓰임)이 그러한 영웅석 중 하나이다. 이 비문은 서기 939년으로 거슬러 올라가며, 서부 강가 왕조의 부투가 2세 왕이 가장 아끼던 사냥개가 멧돼지와 싸우다 죽은 것을 기념하는 고전 칸나다어 시적 비문을 포함한다.
벵갈루루의 영웅석 구글 지도
2025년 6월 13일 저녁, 이란은 이스라엘이 그날 일찍 이란의 핵 시설과 고위 군 관계자를 공격한 것에 대한 보복으로 150개 이상의 탄도 미사일과 100개 이상의 드론을 발사하며 이스라엘에 대한 대규모 보복 공격을 감행했다. 목표물에는 군사 및 정보 기반 시설이 포함되었으나, 공격으로 인해 여성과 어린이를 포함한 민간인 사상자도 발생했다. 이란은 이 공격의 작전명을 진실한 약속 작전 III()으로 명명했다.
이번 공격은 이란과 이스라엘 간의 지속적인 긴장을 크게 고조시키며, 양국 관계를 직접적인 대치 상태로 몰아넣었다. 이번 공격은 유가 급등, 글로벌 해운 항로 혼란, 항공 교통 중단 등 광범위한 지역 및 국제적 파급 효과를 야기했다. 이 사건은 또한 중동에서의 더 광범위한 분쟁 가능성에 대한 우려가 커지면서 유엔이 자제를 거듭 촉구하는 등 광범위한 국제적 반응을 불러일으켰다.
1949년부터 1979년까지 이란과 이스라엘은 이란 혁명으로 전자의 서구 지향적 군주제가 전복될 때까지 긴밀한 관계를 유지했다. 혁명 이후 이란 이슬람 공화국은 반유대주의 수사를 벌이며 "이스라엘을 지도에서 지워버려라"와 같은 발언으로 이스라엘의 파괴를 요구해왔다. 이란은 이스라엘을 제국주의적 실체로 간주한다. 이란과 이스라엘 간의 오랜 긴장은 수십 년간 양국 간의 직접적인 군사적 대치보다는 시리아와 레바논 등지에서 비밀 작전과 대리 전쟁으로 특징지어진 더 광범위한 지역 분쟁의 일부이다. 양국은 이란의 핵 프로그램을 포함한 문제에 대해 근본적으로 상반된 입장을 가지고 있으며, 이란은 핵 프로그램을 자국의 권리로 보는 반면 이스라엘은 핵 프로그램이 자국의 존재에 실존적 위협을 가한다고 믿는다. 국제 원자력 기구 (IAEA)는 2025년 6월 이란이 핵확산금지 의무를 위반하고 있다고 밝혔다. 이란이 저항의 축이라고 부르는 시리아, 레바논, 가자 지구, 예멘에 이란 지원 세력과 민병대가 주둔하고 있다. 뿐만 아니라 이스라엘-팔레스타인 분쟁도 있다.
이 "그림자 전쟁"에는 시리아 내 이란 표적과 이란 연계 표적에 대한 이스라엘의 공습, 그리고 이란 고위 해외 인사 암살이 포함되었다. 그러나 2025년 6월 13일 이란에 대한 이스라엘의 공습은 전환점이 되어 이란의 보복 공격을 촉발하는 직접적인 계기가 되었다. 이 공격으로 이슬람 혁명 수비대 (IRGC) 사령관 호세인 살라미, 참모총장 모하마드 바게리, 부사령관 골람 알리 라시드, 최고 지도자 고문 알리 샴카니, 쿠드스군 사령관 이스마일 가아니를 포함한 여러 고위 IRGC 요원들이 사망한 것으로 알려졌다. 이란 보고서에는 페레이둔 압바시-다바니와 모하마드 메흐디 테흐란치를 포함한 6명의 핵 과학자 암살도 확인되었다.
공격 목표에는 나탄즈 핵시설이 포함되었는데, 이곳에는 60%까지 우라늄을 농축할 수 있는 첨단 원심분리기를 보유한 시험용 연료 농축 공장이 파괴된 것으로 알려졌다. 추가로 전기 인프라와 지원 건물에도 손상이 발생했다. 이스파한 핵기술/연구센터도 타격을 입어 우라늄 금속 생산 시설과 농축 우라늄 재변환 인프라가 손상되었다. 기타 목표에는 여러 지역에 걸쳐 있는 IRGC 군사 기지와 지휘 센터가 포함되었다.
약 200대의 이스라엘 전투기가 작전에 참여하여 이란 전역에 걸쳐 약 100개의 목표물을 공격했다. 이 공격은 여러 출처에서 "전례 없는" 것으로 묘사되었다.
테헤란과 군사 시설, 그리고 고위 관리들이 거주하는 주거 지역 근처에서 폭발음이 들렸다. 여러 민간인 주거지에서 화재가 보고되었다. 이스라엘 당국은 이번 공격을 증가하는 핵 위협을 무력화하기 위한 "예방적" 또는 "선제적" 조치로 묘사했지만, 이란은 이를 자국 주권에 대한 노골적인 위반이자 국가 안보에 대한 직접적인 공격으로 비난했다. 테헤란은 이번 작전을 "선전포고"로 규정하고, 국가적 신뢰와 영토 보전을 위해 직접적이고 공개적인 대응을 맹세했다.
이스라엘은 이전에 시리아에 있는 이란 요원들을 표적으로 삼았지만, 이란 본토에 대한 직접적인 공격은 상당한 확대를 의미했다. 미국 관리들은 이스라엘이 공격에 대한 책임이 있음을 확인했지만, 미국은 관련되어 있지 않으며 단순히 사전에 통보만 받았다고 밝혔다.
이란은 이 공격을 "진실한 약속 작전 3" ()으로 명명했는데, 이는 같은 이름의 일련의 작전의 연속이다: 원래의 "진실한 약속 작전"은 2006년 7월 헤즈볼라에 의해 수행되었고, 이 이름은 "진실한 약속 작전 2"라고 불리는 2024년 4월 이란의 이스라엘 공습에도 사용되었다.
6월 13일, 이스라엘의 공격에 이어 이란은 이스라엘에 대한 "강력한 보복"을 약속했다. 이란은 중동 주둔 이스라엘 및 미국 군대를 공격할 것이라고 말했다. 미국은 이후 이라크에 주둔한 일부 병력을 철수시키고, 역내 미군 가족 구성원의 대피를 승인했다. 이스라엘 방위군 (IDF) 여단장 에피 데프린에 따르면, 이란은 초기 보복으로 100대 이상의 샤헤드 드론을 이스라엘을 향해 발사했다. 요르단의 수도 암만에서 사이렌이 울렸다. 드론 일부는 요르단 영공에서 요르단 왕립 공군에 의해, 일부는 사우디아라비아와 시리아 상공에서 이스라엘 공군에 의해 요격되었다. 이후 여러 이스라엘 소식통은 이스라엘 민간인에게 피신 명령이 해제되었으며, 이는 대부분 또는 모든 드론이 파괴되었음을 시사한다고 밝혔다. 후티는 또한 예멘에서 예루살렘을 목표로 탄도 미사일을 발사했으며, 이 미사일은 요르단강 서안 지구 헤브론에 떨어져 팔레스타인인 5명이 부상당했다.
현지 시간으로 오후 9시경—이란이 이스라엘에 수십 발의 미사일을 발사하기 10분 전—이스라엘 시민들에게는 공격이 임박했다는 전화 경고가 발송되었다. IDF는 공격 중 100발 미만의 탄도 미사일이 발사된 것으로 추정했으나, 이란 국영 통신사인 IRNA는 수백 발의 미사일이 발사되었다고 보도했다. 시민들은 약 10시 10분경 피난처를 떠날 수 있도록 허가되었다. 이란은 자국의 반격을 "진실한 약속 작전 3"으로 명명하고, 군사 기지와 공군 기지를 포함한 수십 개의 목표물을 공격했다고 밝혔다. 텔아비브의 건물들을 포함한 이스라엘 중부 지역에서 여러 차례의 충격이 보고되었으며, 베긴 로드 근처 키리아 군사 본부에 대한 직접적인 타격으로 보이는 영상이 공개되었다. 요격된 미사일 파편으로 인해 이스라엘 북부에서도 피해가 발생했다. 마겐 다비드 아돔 (MDA)은 최소 63명의 이스라엘인이 부상당했으며—1명은 위독, 1명은 중상, 8명은 경상, 나머지는 경미한 부상—라고 보고했다. 위독한 상태였던 민간인 여성 1명은 나중에 사망했다. 부상자 중 7명은 경상을 입은 군인이었다. 이스라엘 소방 및 구조 서비스는 텔아비브에서 피격된 건물에서 2명을 구조했으며, IDF의 본토 사령부는 도시의 다른 건물에서 민간인 1명을 추가로 구조했다.
6월 14일 오전 1시경, 이란은 수십 발의 미사일로 구성된 또 다른 공격을 시작했으며, IDF 대변인에 따르면 대부분이 요격되었다. 이 공격으로 7명이 부상당했으며, 1명은 경미한 부상이었다. MDA 구급대원 2명은 파편이 집중치료실에 맞아 깨진 유리 조각으로 경미한 부상을 입었다.
이란은 북부 이스라엘에서 사이렌이 울린 첫 공격과 전국에 걸쳐 두 번째 공격 등 세 차례의 추가 공격을 시작했다. 이후 공격 중 리숀레지온의 한 건물이 미사일에 직접 피격되어 19명이 부상당했으며, 이 중 2명은 나중에 사망했다. 경상을 입은 3개월 된 아기가 잔해에서 구조되었다. IDF는 이후 6월 13일 밤부터 이란이 200발의 탄도 미사일을 발사했으며, 이 중 약 25%가 개방된 지역에 떨어졌다고 발표했다. IDF는 "소수"의 미사일이 방공망을 회피하여 텔아비브, 라마트간, 리숀레지온의 주거 지역을 강타하여 사상자가 발생했다고 주장했다.
밤에는 이란이 북부 이스라엘을 목표로 또 다른 미사일 공격을 감행하여 5명이 사망하고 최소 23명이 부상당했다. 본토 사령부는 오후 11시에 전화 경고를 발령했으며, 시민들은 11시 45분에 피난처를 떠날 수 있도록 허가되었다. 탄도 미사일이 탐라의 2층 주택을 강타하여 여성 1명이 사망하고 14명이 부상당했다. 여성과 두 딸을 포함한 한 가족의 네 명이 별도의 미사일 공격으로 사망했다. 하이파의 바잔 정유소 근처에서도 화재가 발생하여 파이프와 송전선이 손상되었다.
6월 15일 오전, 이란과 예멘의 후티는 동시에 탄도 미사일을 발사하여 바트얌과 레호보트의 건물, 키리앗 에크론의 쇼핑몰, 텔아비브에 충격을 가했다. 바트얌 공격으로 8세, 10세, 18세 어린이를 포함한 9명이 사망했고, 1명은 실종되었다. 츠비카 브로트 시장에 따르면 61개 건물이 피해를 입었다. MDA에 따르면 약 200명이 부상당했으며, 이 중 여러 명이 중상을 입었다. 바트얌에서 사망한 민간인 5명은 우크라이나인이었다.
레호보트에 있는 박사 후 과학 연구 센터인 바이츠만 과학 연구소가 이란에 의해 피격되었으며, 연구실이 있는 건물이 손상된 것으로 보고되었다. 이스라엘 국방부는 이스라엘 중부가 예멘에서 날아온 미사일에 공격받았다고 보고했으며, 이는 후티가 이란군과 협력하여 팔레스타인 2 탄도 미사일 여러 발을 사용했다고 밝히면서 확인되었다.
이란 미사일의 잔해도 요르단강 서안 지구의 두 곳에 떨어졌다. 오전 11시 20분경, 샤하브급 미사일로 인해 알비레에서 지붕 화재가 발생했으며, 마흐무드 압바스 팔레스타인 자치 정부 대통령의 집에서 몇 미터 떨어진 곳이었다. 약 90분 후, 이스라엘 중부 상공에서 요격된 미사일 파편이 사아르 외곽에 떨어져 세 명의 어린이가 깨진 유리로 부상당했다.
그날 늦게 이란은 이스라엘에 여러 발의 탄도 미사일로 구성된 공격을 감행했지만, 피해나 사상자는 보고되지 않았다.
저녁에는 이란이 이스라엘에 여러 차례 미사일 공격을 감행하여 하이파에서 7명, 키리앗 가트에서 1명이 부상당했으며, 화재와 재산 피해도 발생했다. 추가로 9명이 공황발작으로 치료를 받았다.
이란은 이스라엘에 미사일 공격을 감행하여 최소 4곳에 충격을 가하고 막대한 피해를 입혔다. 페타티크바의 한 건물이 피격되었으며, 텔아비브에서도 최소 두 차례의 추가 충격이 발생했다. 이스라엘 중부에서 3명이 사망하고 10세 소년을 포함한 최소 48명이 부상당했다. 하이파에서도 부상자가 보고되었다.
악시오스는 6월 13일 미 고위 관리를 인용하여 미국이 이스라엘의 이란 미사일 요격을 돕고 있다고 보도했다. 로이터 통신은 이란이 미국, 영국, 프랑스에게 이란의 이스라엘 공격을 저지하는 데 협력할 경우 역내 기지와 함선을 표적으로 삼을 것이라고 경고했다고 보도했다.
두 명의 이스라엘 관리들에 따르면, 이스라엘은 이란의 핵 프로그램을 파괴하기 위해 트럼프 행정부에 이란과의 전쟁에 동참할 것을 요청했다.
6월 14일, 채널 12는 마겐 다비드 아돔을 인용하여 이란의 탄도 미사일 공격으로 63명이 부상당했으며—1명은 위독, 1명은 중상, 8명은 중등도 부상, 나머지는 경미한 부상—1명이 사망했다고 보도했다. 텔아비브에서는 구조대가 무너진 건물에서 2명을 생존 상태로 구조했다. 그날 늦게 왈라 뉴스는 이스라엘인 3명이 사망하고 172명이 부상당했다고 보도했다. 요르단 민간인 3명이 부상당했다.
6월 14일, 이스라엘 북부 전역에서 이란 미사일로 인해 이스라엘인 5명이 사망한 것으로 보고되었다.
6월 15일, 이스라엘 민간인 9명이 사망하고 200명 가까이 부상당했으며, 중앙 바트얌의 미사일 공격 이후 1명이 실종된 것으로 보고되었다. 레호보트 공격으로 42명이 부상당했다.
텔아비브 중심부의 현대적인 주거 건물이 심각한 피해를 입었다. 여러 아파트에서 화재가 발생했으며, 건물에서 연기가 피어오르는 모습이 목격되었다. 인접한 건물은 창문이 깨지고 금속이 뒤틀려 외벽에 매달리는 등 심각한 외관 손상을 입었다. 라마트간에서는 여러 대의 차량이 불에 탄 채 발견되었고, 세 채의 주택이 눈에 띄게 손상되었다. 텔아비브의 이스라엘 국방부 단지는 이란 미사일의 충격으로 피해를 입었다.
시 당국에 따르면 라마트간에서는 9개 건물이 완전히 파괴되었고, 수백 개 건물이 다양한 수준의 피해를 입었다. 미사일 공격으로 약 100명의 주민이 집을 잃었다. 이스라엘군은 미사일 요격 노력으로 인한 파편으로 인해 소수의 건물이 손상되었다고 밝혔다.
이란에 대한 이스라엘의 공격 이후, 이스라엘은 최고 수준의 경계를 선포했으며, IDF는 추가 공격에 대비하여 민간인들에게 피난처에 머물 것을 촉구했다. 공공 모임이 금지되었고, 학교는 폐쇄되었으며, 이스라엘의 주요 공항 항공편은 예방 조치로 취소되었다.
이란은 미국, 영국, 프랑스가 이스라엘의 공격을 저지하는 데 협력할 경우 해당 지역의 미국, 영국, 프랑스 기지와 함선을 표적으로 삼겠다고 위협했다.
심야특종 우리 사는 세상은 1995년 4월 21일에서 1995년 7월 7일까지 방영했던 사회교양 프로그램이다.
쑨뎬잉(孫殿英, 1889년?~1948년)은 중국의 비적, 군인, 군벌로 민국 시대에 여러 세력들 사이에서 수많은 배신을 한 인물로 유명하다. 허난성 상추시 융청시에서 태어나 도박꾼, 마약 장사, 비적질을 일삼던 쑨뎬잉은 직예군벌 소속 장종창의 부하로서 활동하다가 장쭤린에게 복종하였고, 이후 국민당에 투항했는데 이 시기에 청동릉을 도굴한 사건을 일으켜 푸이가 만주국에 참가하도록 영향을 미쳤다. 중일전쟁 때 처음에는 중국 편에서 참전했으나 이후 왕정위 정권에 합류했다.
Lean은 증명 보조기이자 함수형 프로그래밍 언어이다. 귀납적 형식론을 포함하는 구성의 계산에 기반을 두고 있다. 깃허브에서 호스팅되는 오픈 소스 프로젝트이다. 개발은 현재 비영리 단체인 Lean Focused Research Organization (FRO)의 지원을 받고 있다.
Lean은 마이크로소프트 리서치에서, 현재는 아마존 웹 서비스에서 근무하는 레오나르도 데 모우라(Leonardo de Moura)에 의해 주로 개발되었으며, 개발 역사 동안 다른 공동 저자 및 협력자들의 상당한 기여가 있었다.
레오나르도 데 모우라가 2013년 마이크로소프트 리서치에서 출시했다. 나중에 Lean 1과 2로 알려진 언어의 초기 버전은 실험적이었으며, 나중에 폐기된 호모토피 유형 이론 기반의 기능들을 포함했다.
Lean 3 (2017년 1월 20일 첫 출시)은 Lean의 첫 번째로 안정된 버전이었다. 주로 C++로 구현되었으며 일부 기능은 Lean 자체로 작성되었다. 버전 3.4.2 이후 Lean 3은 공식적으로 지원이 종료되었고 Lean 4의 개발이 시작되었다. 이 중간 기간 동안 Lean 커뮤니티 구성원들은 비공식 버전을 3.51.1까지 개발하고 출시했다.
2021년, Lean 4가 출시되었는데, 이는 Lean 정리 증명기를 C 코드를 생성할 수 있도록 재구현한 것으로, 컴파일되어 효율적인 도메인 특정 자동화를 개발할 수 있게 되었다. Lean 4는 또한 매크로 시스템과 이전 버전보다 개선된 타입 클래스 합성 및 메모리 관리 절차를 포함한다. Lean 3과 비교하여 또 다른 이점은 프런트엔드와 코어 시스템의 다른 주요 부분을 수정하기 위해 C++ 코드를 건드릴 필요가 없다는 것이다. 이들은 이제 모두 Lean으로 구현되었고 최종 사용자가 필요에 따라 재정의할 수 있다.
Lean 4는 Lean 3과 하위 호환되지 않는다.
2023년, Lean FRO가 설립되었으며, 언어의 확장성과 유용성을 개선하고 증명 자동화를 구현하는 것을 목표로 한다.
공식 Lean 패키지에는 표준 라이브러리인 batteries가 포함되어 있으며, 이는 수학 연구와 더 일반적인 소프트웨어 개발 모두에 사용될 수 있는 일반적인 자료 구조를 구현한다.
2017년에는 연구 수준의 수학까지 가능한 한 많은 순수수학을 하나의 크고 응집력 있는 라이브러리로 디지털화하는 것을 목표로 Lean 라이브러리 mathlib를 개발하는 커뮤니티 유지 관리 프로젝트가 시작되었다. 2025년 5월 기준으로 mathlib는 Lean에서 210,000개 이상의 정리와 100,000개 이상의 정의를 형식화했다.
편집기 통합.
Lean은 다음들과 통합된다:
인터페이스는 클라이언트 확장 및 Language Server Protocol 서버를 통해 이루어진다.
Lean은 유니코드 기호를 기본적으로 지원하며, "\times"와 같이 "×"를 나타내는 LaTeX와 유사한 시퀀스를 사용하여 입력할 수 있다. Lean은 또한 자바스크립트로 컴파일되어 웹 브라우저에서 접근할 수 있으며 메타 프로그래밍에 대한 광범위한 지원을 제공한다.
예시 (Lean 4).
자연수는 귀납적 형식으로 정의될 수 있다. 이 정의는 페아노 공리계에 기반하며, 모든 자연수는 0이거나 다른 자연수의 다음수임을 명시한다.
inductive Nat : Type
자연수의 덧셈은 패턴 매칭을 사용하여 재귀적으로 정의될 수 있다.
def Nat.add : Nat → Nat → Nat
두 명제 와 (여기서 는 논리곱이고 formula_1는 실질적 조건문)에 대한 formula_2의 간단한 증명은 Lean에서 전술 모드를 사용하여 다음과 같다.
theorem and_swap (p q : Prop) : p ∧ q → q ∧ p := by
intro h -- assume p ∧ q with proof h, the goal is q ∧ p
apply And.intro -- the goal is split into two subgoals, one is q and the other is p
· exact h.right -- the first subgoal is exactly the right part of h : p ∧ q
· exact h.left -- the second subgoal is exactly the left part of h : p ∧ q
용어 모드에서 동일한 증명:
theorem and_swap (p q : Prop) : p ∧ q → q ∧ p :=
fun ⟨hp, hq⟩ =&gt; ⟨hq, hp⟩