hotchpotch/wikipedia-multilingual-ir-related-paragraph-pairs huggingface dataset:
STS-122

ISS 프로그램에서는 이 임무를 ISS-1E라고도 불렀다. STS-122의 주요 목적은 유럽 우주국(ESA)이 건설한 유럽 콜럼버스 과학 실험실을 정거장에 전달하는 것이었다. 또한 엑스페디션 16 비행 엔지니어 다니엘 M. 타니를 지구로 돌려보냈다. 타니는 엑스페디션 16에서 ESA를 대표하는 프랑스 비행 엔지니어인 레오폴드 에이하르트로 교체되었다. 아틀란티스 착륙 후, 궤도선은 허블 우주 망원경의 최종 정비 임무인 STS-125를 위해 준비되었다.

STS-122의 원래 발사 목표 날짜는 2007년 12월 6일이었으나 엔진 차단 센서(ECO) 판독 오류로 인해 발사가 2007년 12월 9일로 연기되었다. 두 번째 발사 시도에서 센서가 다시 실패했고, 발사가 중단되었다. 2007년 12월 18일 탱크 테스트에서 외부 탱크와 셔틀 사이의 커넥터에 있는 것으로 추정되는 원인이 밝혀졌다. 2008년 2월 7일 세 번째 시도에서 커넥터가 교체되었고 셔틀이 발사되었다.
이지명 (고려)
Section: 약력

1127년(인종 5, 1세): 태어남.

1144년(인종 22, 18세): 과거에 급제함.

황주서기(黃州書記), 충주판관(忠州判官)을 지내면서 백성을 잘 다스림.

1170년(의종 24, 44세): 무신정변이 일어나 문신들이 살육당했으나 앞서 충주에서의 치적에 감명한 지역 사람들이 그를 지켜 살아남을 수 있있음.

1184년(명종 14, 58세): 한림학사승지(翰林學士承旨)로 임명받음.

1185년(명종 15, 59세): 서북면병마사(西北面兵馬使)로서 거란실 오백 묶음을 금나라에 바침.

1190년(명종 20, 64세): 음력 5월, 지공거로서 과거를 주관함. 음력 12월, 태자소부(太子少傅)로 임명받음.
오금란
Section: 경력

2022.07 ~ 2024.03 제9대 서울특별시 노원구의회 전반기 보건복지위원회 위원

2022.07 ~ 2024.03 제9대 서울특별시 노원구의회 전반기 예산결산특별위원회 부위원장

노원구 성장부모회 회장

한국과학기술연구원(KIST) 고분자연구부 위촉연구원

파란동그라미사회적협동조합 이사장

2022.07 ~ 2024.03 제9대 서울특별시 노원구의회 의원

2022.07 ~ 2024.03 제9대 서울특별시 노원구의회 전반기 운영위원회 위원장
트랜스포머 ONE
Section: 줄거리

오리온은 매트릭스의 힘으로 옵티머스 프라임으로 부활하여 메가트론을 물리치고 하이 가드를 추방한다. 매트릭스는 광부들에게 변신 능력을 돌려주고 에너지 흐름을 되살린다. 옵티머스는 새로운 지도자가 되어 자신의 추종자들을 오토봇이라고 명명하고 퀸테슨에게 경고 메시지를 보낸다. 한편, 메가트론은 하이 가드를 디셉티콘으로 재편성하고, 옵티머스의 리더십에 대항하는 반란을 시작한다.

오리온은 남은 하이 가드와 함께 아이아콘으로 돌아와 동료들을 구출하고, 광부들을 선동하여 반란을 일으킨다. 엘리타는 센티넬의 배신을 폭로한다. D-16은 센티넬을 제압하지만, 그를 처형하려는 과정에서 오리온을 실수로 쏜다. 오리온은 죽고, D-16은 센티넬을 죽인 후 메가트로너스의 변신 기어를 차지하고 스스로를 메가트론이라고 칭하며 하이 가드와 함께 폭동을 일으킨다.
알에이비

B 앞서 언급한 Beyond의 개념,"빛을 비추며 경계를 넘어서는 예술"을 전한다는 의미로 작용한다.

Ray B를 알에이비로 읽는 방식은 발음에 한국적인 요소를 넣어 부드럽고 친근하게 만든 것이다.

알에이비는 Ray B의 개별 글자를 영어 발음 그대로 읽는 것이 아니라, 그 글자들을 한국식으로 자연스럽게 연결하여 만들어진 독특한 표기 방식이다.

이렇게 함으로써 영어적인 느낌을 지키면서도 한국어 발음에 익숙하게 들리도록 했다고 한다.
시쿠 니아카테
Section: 구단 경력

2021년 8월 12일, 그는 메스에 1시즌 임대되어 이적하였다.

2022년 6월 28일, 니아카테는 포르투갈의 브라가로 임대 이적했다. 브라가는 임대가 끝날 때 180만 유로에 권리를 살 수 있는 옵션을 가지고 있었고, 만약 그가 시즌 공식 경기의 절반에 출전한다면 그 옵션은 구매 의무가 될 것이다. 2023년 6월 7일, 브라가는 니아카테가 5년 계약을 맺으면서 조항의 발동을 발표했다.

2017년 7월 31일, 니아카테는 리그 2의 발랑시엔에서 프로 데뷔 전을 치렀고, 1-0으로 패한 님 올랭피크와의 경기에서 18세의 나이로 경기에 출전했다.

2018년 여름 이적시장 마지막 날인 2018년 8월 31일, 니아카테는 5년 계약으로 리그 1의 갱강에 입단했다. 그는 시즌 남은 기간 동안 발랑시엔으로 다시 임대되었다.
트리니티반도
Section: 역사

이 가운데 오늘날 쓰이는 '트리니티반도' (Trinity Peninsular)라는 지명은, 1820년 첫 발견 당시 브랜스필드가 영국의 옛 도선업체인 트리니티 하우스 사 (Trinity House Corporation)의 공로를 생각하여 '트리니티 랜드' (Trinity Land)라 이름붙인 것에서 유래한 것으로 알려져 있다. 그러나 브랜스필드가 정말로 그런 의향에 따라 붙였는가는 확인되지 않고 있으며 남극사학자들 사이에서는 해석이 엇갈린다.

1820년 1월 30일 영국 해군 사령관 에드워드 브랜스필드 (Edward Bransfield)가 인근에 새로 발견된 사우스셰틀랜드 제도의 해도를 작성하는 과정에서 처음 발견하였다. 트리니티반도가 처음 세상에 알려질 당시 트리니티랜드 (Trinity Land), 팔머랜드 (Palmer Land), 랜드오브루이스필립 (Land of Louis Philippe) 등 다양한 지명이 붙었는데 이들 모두 역사적 유래가 깊다.
프라임헤드

프라임헤드(영어: Prime Head, 프라임곶)은 남극 반도 최북단 트리니티반도의 북쪽 끝에 자리한 곶이다. 눈으로 뒤덮인 무주지로, 가장 가까운 기지는 남동쪽으로 약 20km 떨어진 호프베이의 에스페란사 기지이다.

1837년~1840년 프랑스의 쥘 뒤몽 뒤르빌 대위가 이끄는 프랑스 남극 탐험대가 처음 발견하고 이 인근의 곶에 '시프레이 곶' (Cap Siffrey)라는 이름을 붙였다. 영국 남극 지명위원회 (UK-APC)는 당시 시프레이곶으로 명명된 곳이 실제 프라임헤드에서 2km 떨어진 지점으로 확인하고 있다.
극지 탐험
Section: 역사

북극점에 처음 도달한 인물이 누구인가에 대해서는 두 가지 설이 존재하는데 모두 논란의 여지가 남아 있다. 첫째로 1908년 2월 21일 미국의 프레데릭 쿡이 이누이트 현지인인 아웰라, 에투키슈크와 함께 북극점에 도달했다고 밝혔으나, 널리 받아들여진 설은 아니다. 둘째로 1909년 3월 6일 미국의 로버트 피어리가 북극점에 도달했다는 설이다. 로버트 피어리는 자국인인 매슈 헨슨과 이누이트 현지인 남성 오타, 시글루, 에깅와이, 오퀘아와 함께 역사상 최초로 북극점에 도달한 인물로 여겨진다.

기원전 600년~300년경 고대 그리스의 철학자들은 인류가 사는 지구가 북극과 남극의 극지대를 지닌 구형 지구라는 이론을 내세웠다. 서기 150년경 그리스의 프톨레마이오스는 <지리학>을 통해 테라 아우스트랄리스 인코그니타 (Terra Australis Incognita), 즉 미지의 남방 대륙이 존재한다는 가설을 내세웠다. 이후 수 세기 동안 인류는 극지방 일대의 혹독한 기상 여건으로 제대로 된 탐험에 나서지 못하였으나, 19세기부터 여러 탐험가들의 도전으로 탐험의 활로가 열리기 시작하였다.
칼 반 베흐텐
Section: 갤러리

1947년, 프란치스코 몬시온

1948년, 트루먼 커포티

1948년 9월 13일, 노먼 메일러

1948년 11월 14일, 고어 비달

1948년 12월 27일, 말론 브란도

1949년 3월 12일, 윌리엄 그랜트 스틸

1942년 4월 11일, 조지 조리치(George Zoritch)

1944년 12월 10일, 잔 카를로 메노티

1947년 6월 4일, 버질 톰슨

1947년 11월 9일, 피에르 발망과 루스 포드
칼 반 베흐텐
Section: 생애

반 베흐텐은 할렘에서 열린 오페라와 카바레에 자주 참석하기도 했다. 그는 할렘의 유흥과 문화에 대한 백인들의 관심을 높이는데 일조하기도 했으며 랭스턴 휴스와 넬라 라르센과 같은 저명한 작가들이 초기 작품의 출판사를 찾을 수 있도록 돕기도 했다. 1927년 6월 28일, 그의 형 랄프 반 베흐텐(Ralph Van Vechten)이 사망하고 뒤이어 1928년, 형수인 패니(Fannie)가 사망하자 반 베흐텐은 신탁 기금에 투자한 100만 달러를 상속받았다.

반 베흐텐은 할렘 르네상스에서 중요한 역할을 했으며 아프리카계 미국인 민권 운동에도 많은 기여를 했다. 그러나 그의 초기 산문에서 흑인은 자신의 섹슈얼리티를 자유롭게 탐구할 수 있어야 하고 가수는 재즈, 흑인영가, 블루스 등 흑인의 타고난 재능을 따라야 한다는 등 흑인에 대한 편견이 담긴 표현을 하여 많은 논란이 일기도 했다.
칼 반 베흐텐
Section: 작품 보관

미국 의회도서관은 1966년 Saul Mauriber(1915년 5월 21일 ~ 2003년 2월 12일)로부터 획득한 약 1,400장의 사진 컬렉션을 보유하고 있으며 스미스소니언 미술관과 피스크 대학교에도 반 베흐텐의 컬렉션이 소장되어 있다. 또한 뉴욕 박물관에는 반 베흐텐의 사진 2,174점이 소장되어 있으며 브랜다이스 대학교의 기록 보관소 및 특별 컬렉션 부서에는 1,689점의 칼 반 베흐텐 초상화를 소장하고 있다.

필라델피아 미술관은 미국에서 가장 큰 반 베흐텐의 작품 컬렉션을 보유하고 있다. 1949년 반 베흐텐은 자신의 사진 60점을 미술관에 선물했으며 반 베흐텐이 사망한 이후 1965년, 베흐텐의 연인이었던 마크 러츠는 자신의 개인 소장품 중 반 베흐텐의 사진 12,000여 점을 미술관에 기증했다.
김영희 (1962년)
Section: 경력

오산시 소비자정책 심의위원

2014.07 ~ 2018.06 제7대 경기도 오산시의회 의원

2014.07 ~ 2016.07 제7대 경기도 오산시의회 전반기 예산결산특별위원회 위원

성균관 어린이집 원장

전원유치원 원장

오산시 수영연맹 이사

오산시 평화통일자문위원

오산시 중앙도서관 운영위원

오산시 문화원 이사

오산시 환경운동연합 자문위원

오산시 여성발전 심의위원
김왕규
Section: 경력

2020.01 ~ 2020.04 강원도청 올림픽발전과장

2020.04 ~ 2020.12 강원도청 중국통상과장

2021.01 ~ 2021.06 강원도청 평화지역발전본부장

2021.07 ~ 2021.10 제16대 강릉시 부시장

2021.11.01 국민의힘 입당

강원테크노파크 정책기획단장

2022  제39대 강원도지사직 인수위원

2024.03.11 국민의힘 탈당

2024.04 ~ 2024.06 제11대 강원특별자치도의회 의원
제3항일전쟁전구
Section: 역사

1938년, 제4전구가 제3전구로 합병되었다.

1939년, 푸젠과 제1전구의 작전전구인 안후이 남부가 제3전구의 작전구로 더해졌다. 제4전구가 또다시 합병되었다.

상하이 전투가 끝난 뒤, 장제스는 부사령인 구주퉁을 사령으로 임명하였다.

12월 3일에 장제스는 펑위샹을 해임하였고, 그는 국민당을 떠났다. 당장에 항일전쟁 제3전구 사령 직책을 맡을 사람이 없어 당장에 장제스가 지휘를 맡았다.

1938년의 작전지구는 장쑤, 저장이었다. 24개 보병사단, 6개 보병여단을 거느렸다.
서브리나 요네스큐
Section: 경력

2023년 시즌에는 3점슛 128개와 성공률 44.8%를 기록하며 역대 단일시즌 최다기록을 세웠고 NBA 정규리그 2연패를 달성한 시절의 커리의 성공률보다 높았다.

2023년 스테판 커리와 3점슛 대결을 펼쳐서 26대 29로 3점차로 패했다.

오리건 대학교 재학 시절 그녀가 입학 전 11년동안 NCAA 토너먼트 진출에 실패하였지만 그녀가 입학 후에 2017년과 2018년 8강, 2019년엔 4강에 진출시켰다.

2020년 WNBA 드래프트 1라운드 1순위로 뉴욕 리버티에 입단하였다.
가지사슬 아미노산 아미노기전이효소
Section: 생리학적 역할

가지사슬 아미노산 아미노기전이효소는 식물에서도 역할을 하지만 포유류의 가지사슬 아미노산 아미노기전이효소만큼 광범위하게 연구되지는 않았다. 멜론(Cucumis melo)에서 가지사슬 아미노산 아미노기전이효소는 멜론에 독특한 향과 풍미를 부여하는 휘발성 방향족 화합물을 생성하는 역할을 하는 것으로 밝혀졌다. 토마토(Solanum lycopersicum)에서 가지사슬 아미노산 아미노기전이효소는 전자전달계에서 전자 공여체 역할을 하는 가지사슬 아미노산을 합성하는 역할을 한다. 전반적으로 식물의 가지사슬 아미노산 아미노기전이효소는 이화작용 및 동화작용을 조절하는 기능을 가지고 있다.

세균에서 가지사슬 아미노산 아미노기전이효소는 α-케토산과 가지사슬 아미노산을 생성하는 두 가지 반응을 모두 수행한다. 생장에 적합한 아미노산의 비율이 부족한 배지에서 생장하는 세균은 증식하기 위해 가지사슬 아미노산을 합성할 수 있어야 한다. 사람의 구강에 서식하고 충치의 원인이 되는 그람양성세균인 충치균(Streptococcus mutans)에서 아미노산 생합성/분해는 해당과정을 조절하고 세포 내부의 pH를 유지하는 것으로 밝혀졌다. 이는 세균이 탄수화물의 분해로 인한 사람 구강의 산성 조건에서 생존할 수 있게 해준다.
가지사슬 아미노산 아미노기전이효소
Section: 동질형

세포질 가지사슬 아미노산 아미노기전이효소(BCATc)는 두 가지 동질형 중 덜 일반적이며 신경계 전체에 걸쳐 거의 독점적으로 포유류 세포의 세포질에서 발견된다. 세포질 가지사슬 아미노산 아미노기전이효소는 성인 조직의 소수에서만 발현되지만, 배아 발생 과정에서 높은 수준으로 발현된다. 세포질의 동질형은 미토콘드리아의 동질형보다 대사 회전율이 약 2~5배 더 높다. 세포질 가지사슬 아미노산 아미노기전이효소는 미토콘드리아 가지사슬 아미노산 아미노기전이효소보다 더 안정적인 것으로 밝혀졌으며, 2개의 이황화 결합을 암시하는 증거가 있다. 세포질의 동질효소는 하나의 싸이올기를 적정할 때 활성의 손실이 없음을 보여준다. 사람의 세포질 가지사슬 아미노산 아미노기전이효소(hBCATc)는 사람의 미토콘드리아 가지사슬 아미노산 아미노기전이효소(hBCATm)보다 더 낮은 산화환원 전위(약 30mV)를 보여준다. 사람의 세포질 가지사슬 아미노산 아미노기전이효소는 BCAT1 유전자에 의해 암호화된다.

미토콘드리아 가지사슬 아미노산 아미노기전이효소는 모든 조직에 존재하는 두 가지 동질형 중 보다 일반적이다. 이자의 선조 조직은 신체에서 가장 높은 수준의 미토콘드리아 가지사슬 아미노산 아미노기전이효소를 운반하는 것으로 밝혀졌다. 또한, 정상적인 미토콘드리아 가지사슬 아미노산 아미노기전이효소에 대한 두 가지 상동체가 발견되었다. 하나의 상동체는 태반 조직에서 발견되고, 다른 하나는 갑상샘 호르몬 핵 수용체를 공동 억제한다. 미토콘드리아 가지사슬 아미노산 아미노기전이효소는 세포의 산화환원 환경에 더 민감하며 환경이 환원되더라도 니켈 이온에 의해 저해될 수 있다. 미토콘드리아 가지사슬 아미노산 아미노기전이효소는 이황화 결합을 형성하지 않는 것으로 밝혀졌으며, 미토콘드리아 가지사슬 아미노산 아미노기전이효소의 동질효소의 경우 2개의 설프하이드릴기(–SH)를 5,5'-다이싸이오비스(2-나이트로벤조산)으로 적정하면 효소의 활성이 완전히 제거된다. 사람에서 미토콘드리아 가지사슬 아미노산 아미노기전이효소는 BCAT2 유전자에 의해 암호화된다.
가지사슬 아미노산 아미노기전이효소
Section: 이상적인 조건

pH: 약 7.5

온도: 약 35-40 °C (6 °C에서 보관하면 효소가 약 1주일 동안 안정적으로 유지된다)

카보닐, 설프하이드릴, Cu2+ 또는 Co2+ 시약/화합물 없음

이본(Yvon), 참벨론(Chambellon) 등에 의한 락토코쿠스 락티스의 가지사슬 아미노산 아미노기전이효소에 대한 연구에서 다음과 같이 세균의 동질효소에 대한 이상적인 조건을 발견했다.
이정우 (충청남도의원)
Section: 경력

청양대학교 대외협력처 근문

청양군 4-H후원회 회장

청양중·고등학교 청양지역동창회 부회장

국민중심당 청년중앙위원회 부위원장

2006.07 ~ 2010.06 제8대 충청남도의회 의원

2006.07 ~ 2008.07 제8대 충청남도의회 전반기 농수산경제위원회 위원

2006.07 ~ 2008.07 제8대 충청남도의회 전반기 예산결산특별위원회 위원

2008.07 ~ 2010.06 제8대 충청남도의회 후반기 교육사회위원회 위원
무지나
Section: 민속에서의 무지나

일본 민속에서 “무지나”는 “키츠네” 및 “타누키”와 더불어 사람으로 둔갑할 수 있는 요괴로 묘사되는 경우가 많다. 문헌상에서는 『일본서기』 스이코 35년(서기 627년)에 “봄 2월, 무츠국에 무지나 나타나다. 사람이 되어 노래하다”라는 기사가 있어서, 7세기부터 이미 무지나가 사람으로 둔갑한다는 관념이 있었음을 알 수 있다. 시모사 지방(오늘날의 치바현~이바라키현)에는 “카부키리 동자승(かぶきり小僧 (こぞう))”이라고 하여, 무지나가 묘하게 짧은 옷을 입은 동자승으로 둔갑해서, 인기척 없는 밤길이나 산길에 출몰해 “물 마셔라, 차 마셔라”라고 말을 걸어온다는 전설이 있다. 레프카디오 헌의 『일본 괴담집』에는 달걀귀신 놋페라보 이야기가 수록되어 있는데, 그 이야기가 「무지나」라는 제목으로 수록되어 있는 바, 무지나가 달걀귀신으로 둔갑한 것이라고 동일시되었음을 알 수 있다. 그러나 이런 이야기들은 전후시대 이후로는 보이지 않게 되었다.

무지나는 몸집이 개 정도인데, 앞다리가 뒷다리보다 짧고, 털색은 갈색인데 오래 묵으면 등에 희고 검은 털이 십자로 나고 사람으로 둔갑할 수 있게 된다. 지역에 따라 다소 다르지만 사람의 3배 속력으로 달릴 수 있다거나, 암수간에 사이가 좋다거나 하는 이야기들이 있다. 무지나는 크게 세 가지 방법으로 사람을 홀리는데, 첫번째는 논밭이나 길을 깊은 강으로 착각하게 하는 것이고, 두번째는 말똥을 만쥬로, 퇴비구덩이를 욕조로 착각하게 하는 것이며, 세번째는 방향감각을 없애는 것이다. 이런 귀여운 장난에 그치지 않고 사람을 여럿 죽이는 흉악한 무지나도 있으며, 일부 지역에서는 그것을 큰무지나(おおむじな)라고 부르기도 했다.
무지나

이 동물들이 구분되어 인식되는 오늘날에는 이렇게 쓰이지 않지만, 과거에는 구분 없이 모두 무지나라고 했기에 혼란이 있다. 이 혼란은 지방에 따라 “마미(マミ)” 같은 지방명도 섞여 있는 등, 굉장히 복잡한 양상을 가지고 있다.

무지나(ムジナ)는 일본어에서 오소리(アナグマ), 너구리(タヌキ), 백비심(ハクビシン) 등, 백갈색 모색에 눈가만 검은 털인 짐승을 통틀어 가리키는 향명이다. 한자로는 貉(오랑캐 맥/담비 락) 또는 狢(오소리 학)라고 쓴다.
헤일리 래소
Section: 국가대표팀 경력

2023년 7월에는 조국 오스트레일리아와 뉴질랜드가 공동으로 개최한 2023년 FIFA 여자 월드컵에 오스트레일리아 대표팀의 일원으로 참가했으며 조별 리그 첫 경기인 캐나다전에서 2골을 넣으며 4-0 승리에 기여했다. 또한 덴마크와의 16강전에서도 득점을 기록했다. 팀이 4강에 진출하는데 기여하였다.

2012년 6월에 처음으로 오스트레일리아 성인 대표팀에 소집되었다. 6월 24일 뉴질랜드와의 친선 경기를 통해 데뷔전을 치렀으며 1-1 무승부로 경기를 마쳤다.

2021년 8월에는 일본 도쿄에서 열린 2020년 하계 올림픽 축구 종목에 참가했으며 대표팀은 8강에 진출에 성공했다. 이후 8강에서 스웨덴에게 패했고 동메달 결정전에서 미국 대표팀에게 패했다.
정종복 (1964년)
Section: 경력

정동영 국회의원 지역특보

제17대 대통령 선거 정동영 후보 비서실 정무2팀장

전주의제21추진협의회 기획·홍보 부위원장

롯데마그넷전주입점밤대추진협의회 사무총장

시민행동21 감사

새천년민주당 전주시 덕진구 지구당 청년부장

전북씨름협회 이사

전북사랑연합 사무총장

(사)전북노인복지연구원 이사

2024.04 ~ 제12대 전북특별자치도의회 의원

2024.04 ~ 2024.07 제12대 전북특별자치도의회 전반기 행정자치위원회 위원
윤철남
Section: 경력

서울특별시 공무원

㈜태평양화학

㈜한일생명보험

㈜남해화학 사장 비서

지방분권운동 영양군본부 준비위원장

국민의힘 영양군당원협의회 부위원장

2024.04 ~ 제12대 경상북도의회 의원

2024.04 ~ 2024.07 제12대 경상북도의회 전반기 행정보건복지위원회 위원

2024.07 ~ 제12대 경상북도의회 후반기 의회운영위원회 위원

2024.07 ~ 제12대 경상북도의회 후반기 문화환경위원회 위원
김재준 (1963년)
Section: 학력과 경력

경상북도청 산림자원과장

제31대 울진군 부군수

2024.04 ~ 제12대 경상북도의회 의원

2024.04 ~ 2024.07 제12대 경상북도의회 전반기 농수산위원회 위원

2024.04.18 국민의힘 입당

죽변중학교 졸업

울진고등학교 졸업

경상국립대 졸업

대구대학교 행정대학원 졸업

경상북도청 새마을과, 박정희대통령 기념사업회 근무

정부대전청사 산림청 기획과 사무관

경상북도청 경북산림환경연구원장
베네라 1호
Section: 발사

우주선은 로켓의 블록-L 상부단과 함께 처음에는 229×282 킬로미터의 지구 저궤도에 배치되었으며, 상부단이 점화된 후 금성을 향한 태양 주회 궤도에 배치되었다. 11D33 엔진은 세계 최초의 단계 연소 사이클 로켓 엔진이었으며, 액체 연료 로켓 엔진이 우주에서 시동을 걸 수 있는 얼라지 엔진을 최초로 사용했디.

베네라 1호는 1961년 2월 금성에 탐사선을 발사하려는 두 번의 시도 중 두 번째로, 지구 궤도를 이탈하지 못한 자매 우주선인 베네라 1VA 1호 발사 직후 발사되었다. 소련 전문가들은 바이코누르 우주 기지에서 몰니야 운반 로켓을 이용해 베네라 1호를 발사했다. 발사는 1961년 2월 12일 00:34:36 GMT에 이루어졌다.
베네라 1호
Section: 우주선

탐사선에는 안테나 붐에 부착된 플럭스 게이트 자력계, 태양풍을 측정하기 위한 이온 트랩 2개, 미세 운석 검출기, 가이거 계수기 튜브, 우주 방사선을 측정하는 아이오딘화 나트륨 신틸레이터 검출기 등 과학 장비가 장착되었다. 태양 전지판 하나에 부착된 실험은 실험용 코팅의 온도를 측정했다. 적외선 및 자외선 복사계가 포함되었을 수 있다. 돔에는 중간 궤도 보정에 사용되는 KDU-414 엔진이 들어있었다. 온도 제어는 전동식 열 셔터로 이루어졌다.

대부분의 비행 동안 베네라 1호는 스핀이 안정화되었다. 이 우주선은 태양과 카노푸스 별에 고정되어 3축 안정화 모드로 들어가 중간 궤도 보정을 수행하도록 설계된 최초의 우주선이었다. 금성에 도달했다면 태양과 지구에 고정하여 3축 안정화 모드로 전환하고, 처음으로 포물선 안테나를 사용하여 데이터를 중계했을 것이다.
페터 노글리
Section: 수상

함부르크

분데스리가: 1978–79

DFB-포칼
우승: 1975–76
준우승: 1973–74

유러피언 컵위너스컵: 1976–77

유러피언컵 준우승: 1979–80

탬퍼 베이 라우디스

실내 축구, 북미 축구 리그: 1982–83

서독

유럽 선수권 대회 준우승: 1976

개인

NASL 전군 1군: 1981, 1982

북미 축구 리그 올해의 선수단 1군: 1981, 1982
김순택 (1963년)
Section: 경력

2024.04 ~ 제12대 경상남도의회 의원

2024.04 ~ 2024.07 제12대 경상남도의회 전반기 문화복지위원회 위원

2024.07 ~ 제12대 경상남도의회 후반기 문화복지위원회 위원

김문수 국회의원 보좌관

경기도자원봉사센터 센터장

한국자원봉사협의회 상임대표

작은자리 회관 상근 간사(제정구 의원 설립)

새누리당 경기도당 시흥시 을 당원협의회 위원장

한국다문화센터 경기지부장
조인종
Section: 경력

2014.07 ~ 2016.07 제7대 경상남도 밀양시의회 전반기 예산결산특별위원회 위원

2016.07 ~ 2018.06 제7대 경상남도 밀양시의회 후반기 산업건설위원회 위원

2016.07 ~ 2018.06 제7대 경상남도 밀양시의회 후반기 예산결산특별위원회 위원

한국낙농육우협회 밀양시 지부장

밀양시 축산연합회 회장

밀양시 농업정책 심의위원회 위원

2014.07 ~ 2018.06 제7대 경상남도 밀양시의회 의원

2014.07 ~ 2016.07 제7대 경상남도 밀양시의회 전반기 산업건설위원회 위원장
양영수
Section: 경력

의료공공성강화 제주도민운동본부 집행위원장

진보당 제주특별자치도당 택배도선료 인하 운동본부 공동본부장

행복동행봉사단 공동대표

아라동 새마을지도자협의회 회원

아라동 연합청년회 회원

제주영리병원철회 집행위원장

제주대학병원 근무

민주노총 제주본부 부본부장

사회복지법인 제주원 감사

시민정치연대 제주가치 운영위원

아라동 주민자치위원

제주4・3희생자 유족청년회 운영위원
STS-131

주요 페이로드는 국제 우주 정거장을 위한 보급품과 장비를 탑재한 다목적 물류 모듈이었다. 이 임무는 또한 S1 트러스에 있는 스테이션 외부의 암모니아 탱크 어셈블리를 제거하고 교체했다. STS-131은 또한 여러 탑재 페이로드를 탑재했다. 이 임무는 STS-107 이후 가장 많은 페이로드를 가졌다. 7명의 승무원이 함께하는 마지막 셔틀임무이기도 하다.

STS-131(ISS assembly flight 19A)은 국제 우주 정거장(ISS)으로 향하는 NASA 우주 왕복선 임무였다. 디스커버리 우주왕복선은 2010년 4월 5일 오전 6시 21분에 LC-39A에서 발사되어 2010년 4월 20일 오전 9시 8분에 케네디 우주 센터 왕복선 착륙 시설의 33번 활주로에 착륙했다. 이 임무는 디스커버리 우주왕복선의 최장 비행을 기록했다.
STS-51-D

STS-51-D는 NASA의 우주왕복선 계획의 16번째 비행이자 디스커버리 우주왕복선의 네 번째 비행이었다. 1985년 4월 12일 플로리다 주 케네디 우주 센터(KSC)에서 STS-51-D의 발사는 보트가 제한된 고체 로켓 부스터(SRB) 복구 구역으로 이탈한 후 55분 지연되었다. STS-51-D는 확장된 세 번째 셔틀 임무였다.

1985년 4월 19일, 일주일 간의 비행 끝에 디스커버리호는 KSC에 다섯 번째 셔틀 착륙을 실시했다. 셔틀은 착륙 중에 브레이크가 심하게 손상되었고 타이어가 파열되었다. 이로 인해 이후의 모든 셔틀 착륙은 앞바퀴 조종 장치의 개발 및 구현으로 KSC에서의 착륙이 더 실현 가능해질 때까지 캘리포니아 주 에드워즈 공군기지에서 수행되어야 했다.
STS-51-F

STS-51-F의 기본 페이로드는 스페이스랩 2 실험실 모듈인 반면, 가장 널리 알려진 페이로드는 탄산 음료 디스펜서 평가였다. 이는 코카콜라와 펩시가 탄산 음료를 우주 비행사에게 제공하려고 시도한 실험이었다. 이 임무에는 헬륨 냉각 적외선망원경(IRT)도 비행했는데, 몇 가지 문제가 있었지만 적외선으로 은하계의 60%를 관찰했다.

STS-51-F 또는 스페이스랩 2(Spacelab 2)는 NASA 우주왕복선 계획의 19번째 비행이자 챌린저 우주왕복선의 8번째 비행이었다. 1985년 7월 29일 플로리다주 케네디 우주센터에서 발사돼 8일 뒤인 1985년 8월 6일 착륙했다.
각막반사

중심(핵)은 뇌줄기의 뇌교에 위치한다.

콘택트 렌즈 사용 시 이 반사 테스트의 감소나 폐지가 가능하다.

반면에, 광학 반사(optical reflex)는 더 느리며 뇌의 후두엽에 있는 시각 피질에 의해 매개된다. 9개월 미만의 유아에게는 반사가 없다.

반사는 다음에 의해 매개된다.

삼차신경(CN V) 안구분지(V1)의 비선상분지(Nasociliary Branch)는 각막(구심성 섬유)의 자극만을 감지한다.

운동 반응(원심성 섬유)을 시작하는 얼굴신경(CN VII)의 측두 및 광대뼈 분지.
큰가래
Section: 설명

같은 식물에서 떠다니는 잎과 물에 잠긴 잎을 모두 생산한다. 떠 다니는 잎은 난형에서 장타원형이며 거의 항상 밑 부분에 심장 모양이다. 그들은 짙은 녹색이고 가죽 같으며 불투명하며 반투명 세로맥이 있다. 길이는 5~10cm이고 끝이 뾰족하며 밑부분은 둥글다.

턱잎의 길이는 4~17cm이다.

물에 잠긴 풀과 같은 구조를 엽상체라고 하며, 실제로 변형된 잎자루이다.

줄기는 원통형이고 가지가 많지 않으며 높이 1~2m이다.

이 종과 다른 연못초의 주요 차이점은 긴 잎자루 꼭대기 바로 아래에 변색된 유연한 관절이 있다는 것이다.
연착륙

수평 착륙, 대부분의 항공기와 우주 왕복선과 같은 일부 우주선은 낙하산과 함께 이 방향으로 착륙한다.

코로나 정찰위성과 마찬가지로 공중에 갇힌 후 다른 형태로 착륙하는 경우.

리소브레이킹(lithobraking)이라고 불리는 신체 표면의 충격으로 착지 속도를 감소시킨다.

연착륙은 다음과 같은 방법으로 달성할 수 있다.

낙하산—종종 물 속으로 들어가는 경우가 있다.

종종 VTVL이라고 하는 역추진 로켓을 사용한 수직 로켓 동력(VTOL이라고 하는 수직 착륙은 일반적으로 로켓이 아닌 수평 자세로 항공기 착륙을 위한 것임)
경착륙

최종 접근이 안정되지 않으면 승무원은 중단하고 우회해야 한다. 이는 2015년 3월 14일 쿠알라룸푸르에서 출발한 말레이시아 항공 에어버스 A330이 멜버른 공항에 경착륙한 사건을 조사한 후 호주 교통안전국이 권고한 것이다.

경착륙은 항공기에 광범위한 손상을 초래할 수 있다. 예를 들어, 2012년 6월 20일 전일본공수(All Nippon Airways)의 보잉 767기가 너무 강한 힘으로 착륙하여 항공기 표면에 큰 주름이 생겼다.
팰컨 9 풀 스러스트

2015년 12월 22일, 팰컨 9 계열의 풀 스러스트 버전은 궤도 궤도에서 1단계를 성공적으로 수직 착륙시킨 최초의 발사체였다. 착륙은 2013년부터 2015년까지 실시된 기술 개발 프로그램을 따랐다. 착륙 다리와 같은 필수 기술 발전 중 일부는 팰컨 9 v1.1 버전에서 개척되었지만 해당 버전은 그대로 착륙하지 못했다. 2017년부터 이전에 비행한 1단계 부스터를 재사용하여 새로운 페이로드를 궤도에 발사했다. 이는 2018년과 2019년에 모든 팰컨 9 비행의 절반 이상이 부스터를 재사용하면서 빠르게 일상화되었다. 2020년에는 재사용된 부스터의 비율이 81%로 증가했다.

팰컨 9 풀 스러스트(Falcon 9 Full Thrust) 또는 팰컨 9 v1.2(Falcon 9 v1.2, 변형 Block 1~Block 5 포함)는 스페이스X에서 설계 및 제조한 부분적으로 재사용 가능한 중형 리프트 발사체이다. 2014~2015년에 처음 설계되었으며 2015년 12월 첫 발사 작업을 시작했다. 2024년 4월 11일 기준 팰컨 9 풀 스러스트는 실패 없이 302번의 발사를 수행했다. 신뢰도에 대한 라플라스점 추정에 기초하여 이 로켓은 작동 중인 궤도 발사체 중 가장 신뢰할 수 있는 것이다.
활주

활주(taxiing) 또는 지상활주는 예인기에 의해 항공기가 이동하는 견인 또는 푸시백과 달리 자체 힘으로 지상에서 항공기가 이동하는 것이다. 항공기는 일반적으로 바퀴로 이동하지만 이 용어에는 스키나 플로트(수상 여행용)가 있는 항공기도 포함된다.

비행기는 공항의 한 장소에서 다른 장소로 이동하기 위해 유도로를 사용한다. 예를 들어 격납고에서 활주로로 이동할 때이다. 이륙 전 활주로를 따라 가속 주행하거나 착륙 직후 감속 주행하는 경우에는 "활주"라는 용어를 사용하지 않는다. 이를 각각 테이크오프 롤(Takeoff Roll) 및 랜딩 롤아웃(Landing Rollout)이라고 한다.
안병구 (1961년)
Section: 경력

1995. 3.~1995. 9. 대구지방검찰청 검사

1995. 10. 변호사안병구법률사무소

한국수자원공사 상임감사

국가물관리위원회 자문

특임장관 정책자문위원회 위원

경상남도 중·고등학교 진로멘토단

밀양초등학교 총동창회 회장

삼랑진, 남밀양 농협 사외이사

밀양시배드민턴협회 회장

밀양시인사위원회 위원

밀양시계약심의위원회 위원장

밀양문화원 이사

국민의힘 경남도당 법률특보
정보 은닉
Section: 개요

정보 은닉의 일반적인 용도는 데이터의 물리적 저장 레이아웃을 숨겨 데이터가 변경될 경우 변경 사항이 전체 프로그램의 작은 하위 집합으로 제한되도록 하는 것이다. 예를 들어 부동소수점 스칼라 변수 3개 이상을 사용하는 프로그램에서 3차원 점(x, y, z)을 표현한다면, 그 표현은 크기가 3인 단일 배열 변수인 정보 은닉으로 설계된 모듈로 변경된다. 해당 변경으로부터 프로그램의 나머지 부분을 보호한다는 점에 주의가 필요하다.

객체 지향 프로그래밍에서 정보 은닉(유형 중첩을 통한)는 불확실한 구현(설계 결정)에 대한 코드의 종속성을 잘 정의된 인터페이스로 전환하여 소프트웨어 개발 위험을 줄인다. 인터페이스의 클라이언트는 인터페이스를 통해서만 작업을 수행하므로 구현이 변경되더라도 클라이언트는 변경할 필요가 없다.
계약에 의한 설계

DbC 접근 방식에서는 서버 구성 요소에 대한 작업을 호출하는 모든 클라이언트 구성 요소가 해당 작업에 필요한 대로 지정된 전제 조건을 충족한다고 가정한다.

이 가정이 너무 위험한 것으로 간주되는 경우(다중 채널 또는 분산 컴퓨팅에서) 반대 접근 방식이 사용된다. 즉, 서버 구성 요소는 모든 관련 전제 조건이 참인지(클라이언트 구성 요소의 요청을 처리하기 전 또는 처리하는 동안) 테스트하고 응답한다. 그렇지 않은 경우 적절한 오류 메시지가 표시된다.

계약에 의한 설계(Design by contract, DbC), 계약 프로그래밍, 계약에 의한 프로그래밍은 소프트웨어 설계를 위한 접근 방식이다.

이는 소프트웨어 설계자가 소프트웨어 구성 요소에 대해 형식적이고 정확하며 검증 가능한 인터페이스 사양을 정의해야 한다고 규정하며 이는 전제 조건, 사후 조건 및 불변성을 사용하여 추상 자료형의 일반적인 정의를 확장한다. 이러한 사양은 비즈니스 계약의 조건 및 의무에 대한 개념적 비유에 따라 "계약"이라고 한다.
일급 함수

컴퓨터 과학에서 프로그래밍 언어는 함수를 일급 객체로 취급하는 경우 일급 함수(first-class function)를 갖는다고 한다. 이는 언어가 함수를 다른 함수에 대한 인수로 전달하고, 이를 다른 함수의 값으로 반환하고, 변수에 할당하거나 자료 구조에 저장하는 것을 지원한다는 것을 의미한다. 일부 프로그래밍 언어 이론가들은 익명 함수(함수 리터럴)에 대한 지원도 요구한다. 일급 함수를 사용하는 언어에서는 함수 이름에 특별한 상태가 없다. 이는 함수 유형의 일반 변수처럼 취급된다. 이 용어는 1960년대 중반 크리스토퍼 스트래치가 "일급 객체로서의 기능"이라는 맥락에서 만들어졌다.

함수를 인수로 전달하거나 결과로 반환하는 데는 특정 구현상의 어려움이 있다. 특히 중첩 및 익명 함수에 도입된 비지역 변수가 있는 경우에는 더욱 그렇다. 역사적으로 이러한 문제는 "함수 인수"에서 유래한 이름인 funarg 문제라고 불렸다. 초기 명령형 언어에서는 함수를 결과 유형(예: 알골 60, 파스칼)으로 지원하지 않거나 중첩 함수 및 비지역 변수(예: C)를 생략하여 이러한 문제를 방지했다. 초기 함수형 언어 리스프는 동적 범위 지정의 접근 방식을 취했다. 여기서 비지역 변수는 함수가 정의된 위치 대신 함수가 실행되는 지점에서 해당 변수의 가장 가까운 정의를 참조한다. 어휘 범위가 지정된 일급 함수에 대한 적절한 지원이 스킴에 도입되었으며 함수에 대한 참조를 기본 함수 포인터 대신 클로저로 처리해야 하므로 쓰레기 수집이 필요하다.
의존형

의존형의 두 가지 일반적인 예는 종속 함수와 종속 쌍이다. 종속 함수의 반환 유형은 해당 인수 중 하나의 값(유형뿐만 아니라)에 따라 달라질 수 있다. 예를 들어 양의 정수 n을 사용하는 함수는 길이가 n인 배열을 반환할 수 있다. 여기서 배열 길이는 배열 유형의 일부이다. (이는 유형을 인수로 포함하는 다형성 (컴퓨터 과학) 및 제네릭 프로그래밍과는 다르다.) 종속 쌍은 첫 번째 값에 따라 유형이 달라지는 두 번째 값을 가질 수 있다. 배열 예제를 고수하면 종속 쌍을 사용하여 형식이 안전한 방식으로 배열과 길이를 쌍으로 연결할 수 있다.

의존형(dependent type) 또는 종속유형은 컴퓨터 과학 및 논리학에서 정의가 값에 따라 달라지는 유형이다. 이는 유형 이론과 유형 시스템이 겹치는 특징이다. 직관주의적 유형 이론에서는 의존형을 사용하여 "모두에게" 및 "존재합니다"와 같은 논리 수량자를 인코딩한다. Agda, ATS, Coq, F*, Epigram, Idris 및 Lean과 같은 함수형 프로그래밍 언어에서 의존형은 프로그래머가 가능한 구현 세트를 더욱 제한하는 유형을 할당할 수 있도록 하여 버그를 줄이는 데 도움이 된다.
김제선
Section: 경력

(재)충남연구원 이사

재단법인 희망제작소 소장

한국혁신가네트워크 공동대표

경기도 평생교육진흥원 원장

세종특별자치시교육감 비서실장

2024년 4월 11일~: 제22대 대전광역시 중구청장(민선 8기, 더불어민주당, 초선)

대전참여자치연대 사무처장

대전참여자치연대 정책위원장

대전참여자치연대 집행위원장

지방분권국민운동 공동집행위원장

(사)풀뿌리사람들 상임이사

대전광역시 사회적자본지원센터 센터장
제약 프로그래밍

논리 프로그래밍 대신 제약 조건을 함수형 프로그래밍, 용어 재작성 및 명령형 언어와 혼합할 수 있다. 제약 조건을 기본적으로 지원하는 프로그래밍 언어로는 오즈(함수 프로그래밍) 및 칼레이드스코프(Kaleidscope, 명령형 프로그래밍)가 있다. 대부분의 제약 조건은 기존 명령형 언어에 대한 별도의 라이브러리인 제약 조건 해결 툴킷을 통해 명령형 언어로 구현된다.

제약 프로그래밍은 제약 조건을 논리 프로그램에 포함하는 제약 조건 논리 프로그래밍에 뿌리를 두고 있으며 제약 조건 논리 프로그래밍의 형태로 표현될 수 있다. 이러한 논리 프로그래밍 변형은 프롤로그 II에 도입된 특정 제약 클래스를 1987년에 확장한 재퍼(Jaffar)와 라세즈(Lassez)에 의해 탄생했다. 제약 논리 프로그래밍의 첫 번째 구현은 프롤로그 III, CLP(R) 및 CHIP이었다.
서점원
Section: 경력

2024.04 ~ 2024.07 제9대 인천광역시 남동구의회 전반기 사회도시위원회 위원

2024.07 ~ 제9대 인천광역시 남동구의회 후반기 의회운영위원회 위원장

2024.07 ~ 제9대 인천광역시 남동구의회 후반기 사회도시위원회 위원

더불어민주당 인천광역시당 남동구 갑 지역위원회 부위원장

2024.04 ~ 제9대 인천광역시 남동구의회 의원

2024.04 ~ 2024.07 제9대 인천광역시 남동구의회 전반기 의회운영위원회 위원
극장판 울려라! 유포니엄: 앙상블 콘테스트
Section: 줄거리

새로운 부장이 된 오마에 쿠미코가 인솔하는 키타우지 고교 취주악부는, 문화제에서의 연주를 무사히 마치고, 12월에 행해지는 앙상블 콘테스트를 향해 움직이기 시작하고 있었다. 앙상블 콘테스트란 3명 이상 8명 이하의 소수 편성에 의한 연주를 겨루는 대회로, 쿠미코들은 부의 대표가 되는 멤버를 정할 필요가 있었다. 부원 전원이 관여해 주었으면 하는 타키의 소원과, 코사크 레이나, 부부장이 된 츠카모토 슈이치의 의견도 들어준 다음, 쿠미코는 연주회 형식의 오디션을 열어, 투표를 '부내 투표', '일반 투표'의로 2개로 나누어, 결과가 나뉘었을 경우는 '부내 투표'의 결과를 우선하는 것으로 결정한다.

카나데를 비롯한 부원들은 속속 팀이 결정되어 가는 한편, 쿠미코에게는 전혀 목소리가 들리지 않았다. 드디어 레이나에게 권유받았지만, 괴로운 감정을 안고 있었다. 쿠미코가 들어간다고 결정되고 나서는 속속 다른 멤버도 결정되어, 최종적으로 레이나, 쿠미코, 슈이치, 하즈키에 더해, 2학년 퍼커션 담당 이노우에 준나와 카마야 츠바메, 2학년 호른 담당 모리모토 미치요, 1학년 트럼펫 담당  코히나타 유메의 8명이서, 팔중주를 하게 된다. 연습이 시작된 지 얼마 지나지 않아, 쿠미코는 자신이 권유받는 것이 늦었던 이유를 레나에게 묻자, 권유한다면 코미코로 결정했다, 거절당하면 무서웠다고 밝혀진다. 쿠미코는 기분을 고치지만, 내년에 만약 자신보다 잘하는 사람이 들어오면, 자신은 레이나가 선택해 줄 수 있을까 하고 조금 불안해진다.
극장판 울려라! 유포니엄: 앙상블 콘테스트
Section: 캐스트

토야마 나오 -  카사키 노조미 목소리 역

아마미야 소라 - 히사이시 카나데 목소리 역

나나세 아야카 - 스즈키 미레이 목소리 역

쿠노 미사키 - 스즈키 사츠키 목소리 역

스기우라 시오리 - 켄자키 리리카 목소리 역

이시야 하루키 - 츠카모토 슈이치 목소리 역

오오하시 아야카 - 카마야 츠마베 목소리 역

후지무라 코노미 - 나카가와 나즈키 목소리 역

야마오카 유리 - 요시카와 유코 목소리 역
극장판 울려라! 유포니엄: 앙상블 콘테스트

2019년 개봉한 영화 《극장판 울려라! 유포니엄 ~맹세의 피날레~》에서 이어지는 이야기로, 새로운 부장이 된 주인공 오아미 쿠미코가 앙상블 콘테스트를 위해 분투하는 모습이 그려진다. 전작과 함께 '쿠미코 2학년 편'이라고 호칭되고 있다. 원래는 OVA 작품으로 기획되었던 작품이며, 개봉 시에는 상영 극장에서 '극장 선행 한정판 Blu-ray'의 판매도 이루어졌다.

본작은 교토 애니메이션 방화 사건 발생 후, 첫 시리즈 신작이다. 이 사건에서는 캐릭터 디자인·총작화 감독인 이케다 쇼코와 악기 설정·악기 작화 감독인 타카하시 히로유키 등 본 시리즈의 주요 스태프도 희생되었만, 2명 모두 계속해서 스태프로 크레딧되고 있다.
의미론 (컴퓨터 과학)

의미론 또는 시맨틱스(semantics)는 프로그래밍 언어 이론에서 프로그래밍 언어의 의미에 대한 엄격한 수학적 연구이다. 의미론은 프로그래밍 언어 구문의 유효한 문자열에 컴퓨테이션적 의미를 할당한다. 이는 수학적 증명의 의미론과 밀접하게 관련되어 있으며 종종 교차된다.

의미론은 특정 언어로 프로그램을 실행할 때 컴퓨터가 따르는 프로세스를 설명한다. 이는 프로그램의 입력과 출력 간의 관계를 설명하거나 프로그램이 특정 플랫폼에서 어떻게 실행되는지 설명하여 계산 모델을 생성함으로써 수행될 수 있다.
형식 검증

공식 검증은 암호화 프로토콜, 조합 회로, 내부 메모리가 있는 디지털 회로, 프로그래밍 언어의 소스 코드로 표현된 소프트웨어와 같은 시스템의 정확성을 입증하는 데 도움이 될 수 있다. 검증된 소프트웨어 시스템의 대표적인 예로는 CompCert 검증 C 컴파일러와 seL4 높은 보증 운영 체제 커널이 있다.

이러한 시스템의 검증은 시스템의 수학적 모델에 대한 공식적인 증거가 존재하는지 확인함으로써 수행된다. 시스템을 모델링하는 데 사용되는 수학적 개체의 예로는 유한 상태 기계, 레이블이 있는 전환 시스템, 혼 절, 페트리 넷, 벡터 추가 시스템, 시간 제한 오토마타, 하이브리드 오토마타, 프로세스 대수, 프로그래밍 언어의 형식 의미(예: 연산 의미론, 표시 의미론, 공리적 의미론 및 호어 논리) 등이 있다.
최옥술
Section: 경력

2018.07 ~ 2020.07 제8대 대전광역시 유성구의회 전반기 사회도시위원회 위원

2018.07 ~ 2020.07 제8대 대전광역시 유성구의회 전반기 의회운영위원회 위원장

2020.07 ~ 2022.06 제8대 대전광역시 유성구의회 후반기 사회도시위원회 위원

2020.07 ~ 2022.06 제8대 대전광역시 유성구의회 후반기 예산결산특별위원회 위원

조승래 국회의원 특별보좌관

2024.04 ~ 제9대 대전광역시 유성구의회 의원

2024.04 ~ 2024.07 제9대 대전광역시 유성구의회 전반기 행정자치위원회 위원
이종문 (1969년)
Section: 경력

부천시 공공의료원 설립 및 운영 조례안 청구인 대표자

진보당 부천시지역위원회 공동위원장

(사)나눔과 섬김 이사

윤석열 반대 부천시 국회의 공동대표

2024.04 ~ 제9대 경기도 부천시의회 의원

2024.04 ~ 2024.07 제9대 경기도 부천시의회 전반기 재정문화위원회 위원

2024.07 ~ 제9대 경기도 부천시의회 후반기 의회운영위원회 위원

2024.07 ~ 제9대 경기도 부천시의회 후반기 행정복지위원회 위원
언더테일 라스트 브레스
Section: 전개

그렇게 샌즈는 인간이 지금까지 했던 행동을 알게 되고, 샌즈는 이 일을 마지막 숨결을 다해 막기로 한다. 페이즈 1은 원작 샌즈보다 난이도가 더 높으며, 중반부에서는 원작과 다르게 주황색 뼈도 날린다. 또한 도중에 자비를 베풀지 않고 마지막 공격을 한 뒤에 자비를 베푼다. 이 상태로 공격을 하면 반투명한 가스터의 손이 나타나지만 샌즈는 데미지를 입는다.

페이즈 2에서는 공격을 맞았으나 샌즈의 체력은 여전히 0.000001이 남아 있었다. 전투를 할때 공격을 피하지 않고 뼈다귀로 막는 모습을 보여주며, 해당 페이즈부터 화면이 거꾸로 뒤집히거나 90° 회전하는 등 매우 어려워진다. 하지만 마지막 공격에서 결국 지치게 되고 인간이 공격하는 순간 또 다시 가스터의 손이 나타난다. 하지만 이번에는 아예 데미지가 들어가지 않는다. 공격을 해도 아무 효과도 없다.
박주현 (1971년)
Section: 경력

2024.04 ~ 2024.07 제9대 강원특별자치도 동해시의회 전반기 예산결산특별위원회 위원

2024.07 ~ 제9대 강원특별자치도 동해시의회 후반기 윤리특별위원회 위원장

2024.07 ~ 제9대 강원특별자치도 동해시의회 후반기 예산결산특별위원회 위원

더불어민주당 강원도당 대변인

호민관대학 자치분권 강사(강원도 지방분권 전문강사)

더불어민주당 탈당

2023.08.14 국민의힘 입당

2024.04 ~ 제9대 강원특별자치도 동해시의회 의원
안재창
Section: 생애와 활동

1925년, 정안회사를 주식회사로 변경, 새 건물을 건축하였고 재산은 30만달러에 이르는 큰 자본을 모았다. 남궁염의 권유로 워싱턴 DC에 있는 구미위원부에서 대한민국 시민이라는 신분증을 발급받았다. 그리고 이승만을 지지하는 동지회에 가입했다.

1929년, 재미한인 단체인 동지회의 디트로이트 지회를 조직하였다. 그러나 그가 운영하던 정안회사는 경제대공황으로 큰 타격을 받게되었고, 찹수이 도매업에서 소매업으로 집중하여 명맥을 이어나갔다.
모경종
Section: 의정 활동

2024년 6월~: 제22대 국회 전반기 행정안전위원회 위원

2024년 8월~2025년 7월: 제22대 국회 전반기 국회운영위원회 위원

2025년 3월~: 제22대 국회 연금개혁 특별위원회 위원

2024년부터 5월부터 10월까지 더불어민주당 원내부대표를 맡았으며, 10월부터 전국청년위원장을 맡고 있다. 2024년 11월 더불어민주당 이재명 대표 국민소통특보단 청년특보로 임명되었다.
울산광역시의 지질
Section: 광산과 지하자원

제3기 정자 역암층 하부의 암회색 셰일 사이에는 2 내지 3매의 갈탄 내지 탄질셰일층이 협재된다. 이 갈탄은 효문동 북방 300 m 계곡 등지에서 관찰된다. 폭 2 m의 지층 내에 탄질물과 암회색 셰일이 교호하며 반복된다.

울산광역시 북구 산하동 화암마을 부근에 벤토나이트 광상이 발달한다. 일대의 지질은 제3기 당사리 안산암과 당사 안산암질응회암으로 구성되며 이들 화산재가 변질되어 벤토나이트 점토광물을 형성한 것으로 추정된다.
울산광역시의 지질
Section: 단층

울산광역시 서생면 대송리를 지나는 국도 제31호선 도로변의 풍화된 도로 절개면(N 35°21'55.4", E 129°21'11.5")에는 약 73 m 폭을 갖는 단층대에 18개 이상의 단층이 발달한다. 딘층의 주향은 북북동 및 남-북 방향이 우세하며 경사는 70~89°의 고각이다. 운동 감각은 대체로 우수향 주향이동을 보인다. ESR 연대는 포화된 것으로 추정된다.

울산광역시 서생면 용리의 산사면 절개지(N 35°21'12.3", E 129°18'18.5")에는 폭 40 m의 단층대에 11개 이상의 단층이 발달한다. 단층의 주향은 북북동, 북북서 방향이 우세하며 경사는 75~88°의 고각이다. ESR 연대는 포화된 것으로 추정된다.
울산광역시의 지질
Section: 경상 누층군 유천층군

주산안산암질암은 유천층군의 안산암으로 두서면 복안리, 미호리, 내와리, 고현산(1034.1 m) 주변과 신불산(1159.3 m) 일대, 상북면 소호리, 이천리, 삼남면 가천리, 방기리, 삼동면 보은리, 조일리, 금곡리, 작동리, 대복리 지역에 분포한다. 주산안산암질암은 암갈색, 암록색, 암록회색 및 녹회색의 함각역질안산반암, 안산반암, 안산암 및 응회암 등으로 구성되며 부분적으로 석영안산암질암상을 보이는 안산암류도 있다. 응회질암류는 담홍색 내지 적갈색의 각역질집괴암으로 상북면 이천리 서단부에 협재된다. 본 암석은 대구층과는 양산 단층으로 접하고 있으나 삼동면에서 대구층을 직접 관입하며 삼남면 보은리 일대에서는 층상으로 관입하여 퇴적암류와 유사한 암상구조를 보여준다. 함양울산고속도로의 신불산터널이 주산안산암질암 내를 통과한다.

치술령 화산암(Chisulryoung Volcanic Formation, CVF)은 울산광역시 서부 치술령 지역에 분포하는 화산암 지층으로 500 m 두께의 규산화산쇄설암류로 구성되고 지역적으로 퇴적암이 협재된다. 칼륨-아르곤 연대 측정 결과 척과리 화강섬록암(87.9±6.3 Ma) 관입 이전에 분출한 것과 가대리 화강암(63.9±1.8 Ma) 이전에 분출한 화산암으로 구성된 것으로 밝혀졌다. 따라서 첫번째 화산작용은 백악기 후기 상파뉴절(Campainan) 이전에, 두번째 화산작용은 마스트리흐트절 또는 팔레오세 이전에 발생하였다. 치술령 화산암층은 응회암 등 화산암과 역암, 사암, 이암, 실트스톤 등 비해양 퇴적층이 혼합되어 있어 박기화(1990)는 이를 7개 층원으로 구분하였다.