hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
무지나 민속에서의 무지나
일본 속담에 “같은 구멍의 무지나(일본어: 同じ穴のムジナ)”라는 것이 있는데, “얼핏 보면 달라 보이지만 실은 한통속”이라는 뜻이다. 주로 나쁜 의미로 사용된다. 이것은 오소리와 너구리가 같은 땅굴을 공유하며 생활하는 습성에서 유래한 것으로 생각된다. 오소리나 너구리나 모두 사람 홀리는 못된 “무지나”라는 것이다.
아이누어에서는 에조너구리를 “모육(아이누어: モユㇰ→작은 사냥감)”이라고 부르며, 특히 얼굴이 검은 너구리를 “스케(아이누어: スケ→밥 짓는)모육”이라고 부른다. 전승에서 스케모육은 키문카무이(キムンカムイ, 산신, 즉 불곰을 말함)를 섬겨서 밥을 짓다가 그을음 때문에 얼굴이 검어진 것이라고 한다. 아이누 문화에는 “무지나”와 “타누키”의 구별이 없지만, 아이누 유카르 「모육 키문카무이」는 일반적으로 일본어로 「무지나와 곰」으로 번역된다. 「모육 키문카무이」는 키문카무이(곰)과 함께 살던 모육(무지나)이 아이누모시리(인간계)에 갔다가 분부를 어김으로써 카무이모시리(신계)로 돌아갈 수 없게 되어, 인간계에 눌러앉아 칩의 입구를 지키는 수호신, 병을 고치는 신이 되었다는 이야기다.
니시 케이코 (1977년)
니시 케이코(일본어: 西 慶子, 1977년 4월 16일 ~ )는 일본의 여배우이다. 오사카부 출신이다.
헤일리 래소
헤일리 에마 래소(영어: Hayley Emma Raso, 영어 발음: /ˈræsoʊ/, 1994년 9월 5일~)는 오스트레일리아의 축구 선수로, 포지션은 미드필더이다. 현재 스페인 리가 F의 레알 마드리드 페메니노와 오스트레일리아 여자 대표팀 소속으로 뛰고 있다.
헤일리 래소 구단 경력
2011년 캔버라 유나이티드에서 성인 선수 경력을 시작했으며 2011-12 W-리그에서 우승을 차지했다.
2013년 브리즈번 로어 FC로 이적해서 활동하였고, 2015년 미국 워싱턴 스피릿팀에 입단해 처음으로 해외 진출을 하였다.
헤일리 래소 국가대표팀 경력
2012년 6월에 처음으로 오스트레일리아 성인 대표팀에 소집되었다. 6월 24일 뉴질랜드와의 친선 경기를 통해 데뷔전을 치렀으며 1-1 무승부로 경기를 마쳤다.
2021년 8월에는 일본 도쿄에서 열린 2020년 하계 올림픽 축구 종목에 참가했으며 대표팀은 8강에 진출에 성공했다. 이후 8강에서 스웨덴에게 패했고 동메달 결정전에서 미국 대표팀에게 패했다.
2023년 7월에는 조국 오스트레일리아와 뉴질랜드가 공동으로 개최한 2023년 FIFA 여자 월드컵에 오스트레일리아 대표팀의 일원으로 참가했으며 조별 리그 첫 경기인 캐나다전에서 2골을 넣으며 4-0 승리에 기여했다. 또한 덴마크와의 16강전에서도 득점을 기록했다. 팀이 4강에 진출하는데 기여하였다.
정종복 (1964년)
정종복(丁鍾馥, 1964년 12월 3일 ~ )은 대한민국의 제12대 전북특별자치도의원이다.
한스 봉가르츠
한스 "하네스" 봉가르츠(독일어: Hans "Hannes" Bongartz, 1951년 10월 3일, 노르트라인-베스트팔렌 주 본 ~)는 독일의 전 축구 선수이자 감독이다.
한스 봉가르츠 클럽 경력
봉가르츠는 본 출신이다. 그는 바텐샤이트 09에서 축구를 시작해 중앙 미드필더로 거듭났고, 이후 1974년에 샬케 04에 입단했다. 그는 1978년에 카이저슬라우테른으로 이적해 1984년에 은퇴했다. 봉가르츠는 298번의 분데스리가 경기에 출전해 39골을 기록했다.
한스 봉가르츠 국가대표팀 경력
봉가르츠는 유고슬라비아에서 열린 유로 1976에 참가했다. 봉가르츠는 서독 국가대표팀 경기에 4번 출전했다.
한스 봉가르츠 감독 경력
봉가르츠는 묀헨글라트바흐와 카이저슬라우테른 감독을 역임했다. 2003-04 시즌 봉가르츠는 바텐샤이트 09의 감독을 역임했다. 그가 감독으로서 거둔 분데스리가 최고 성적은 1987년에 카이저슬라우테른 감독으로 거둔 리그 7위였다.
윤철남
윤철남(尹哲男, 1961년 10월 3일 ~ )은 대한민국의 제12대 경상북도의원이다.
니시 게이코
니시 게이코 또는 니시 케이코(일본어: にし けいこ)는 다음 사람을 가리킨다.
퍼스 글로리 FC (여자)
퍼스 글로리 FC (여자)(Perth Glory FC Women)는 A리그 위민에 소속된 오스트레일리아의 여자 프로축구단으로 웨스턴오스트레일리아주의 퍼스를 연고지로 한다.
김재준 (1963년)
김재준(金在俊, 1963년 10월 12일 ~ )는 대한민국의 제12대 경상북도의원이며, 출신은 경상북도 울진군이다.
니시 케이코 (1948년)
니시 케이코(일본어: 西 恵子, 1948년 12월 11일 ~ )는 일본의 전 여배우이다. 니가타현 나가오카시 출신이다.
베네라 1호
베네라 1호(러시아어: Венера-1, "금성 1호")는 베네라-1VA 2호라고도 하며 소련의 베네라 계획의 일환으로 행성 간 비행을 수행한 최초의 우주선이자 금성을 지나간 최초의 우주선이다. 서방에서는 스푸트니크 8호라고도 부른다. 1961년 2월 발사되어 같은 해 5월 19일 금성을 지나갔으나 비행 전에 탐사선과의 무선 교신이 끊겨 데이터를 수신하지 못했다.
베네라 1호 우주선
베네라 1호는 직경 1.05 미터의 원통형 몸체에 구 모양의 돔을 얹은 총 2.035 미터 높이의 643.5 킬로그램의 탐사선이다. 이것은 건조한 질소로 1.2 표준 기압 (120kPa)으로 가압되어, 내부 팬을 사용하여 균일한 열 분포를 유지했다. 원통형 몸체 양쪽에 방사형으로 장착된 두 개의 태양 전지판이 있어 은-아연 전지를 충전한다. 직경 2 미터의 포물선형 와이어 메쉬 안테나는 922.8 MHz(파장 32cm)의 주파수로 금성에서 지구로 데이터를 전송하도록 설계되었다. 2.4 미터 안테나 붐은 임무의 지구 근접 단계 동안 단파 신호를 전송하는 데 사용되었다. 태양 전지판에 장착된 반방향성 4중 극자 안테나는 원형 편파 데시미터 무선 대역에서 임무 기간 동안 지구와의 일상적인 원격 측정 및 원격 명령 접촉을 제공했다.
베네라 1호 우주선
탐사선에는 안테나 붐에 부착된 플럭스 게이트 자력계, 태양풍을 측정하기 위한 이온 트랩 2개, 미세 운석 검출기, 가이거 계수기 튜브, 우주 방사선을 측정하는 아이오딘화 나트륨 신틸레이터 검출기 등 과학 장비가 장착되었다. 태양 전지판 하나에 부착된 실험은 실험용 코팅의 온도를 측정했다. 적외선 및 자외선 복사계가 포함되었을 수 있다. 돔에는 중간 궤도 보정에 사용되는 KDU-414 엔진이 들어있었다. 온도 제어는 전동식 열 셔터로 이루어졌다.
대부분의 비행 동안 베네라 1호는 스핀이 안정화되었다. 이 우주선은 태양과 카노푸스 별에 고정되어 3축 안정화 모드로 들어가 중간 궤도 보정을 수행하도록 설계된 최초의 우주선이었다. 금성에 도달했다면 태양과 지구에 고정하여 3축 안정화 모드로 전환하고, 처음으로 포물선 안테나를 사용하여 데이터를 중계했을 것이다.
베네라 1호 발사
베네라 1호는 1961년 2월 금성에 탐사선을 발사하려는 두 번의 시도 중 두 번째로, 지구 궤도를 이탈하지 못한 자매 우주선인 베네라 1VA 1호 발사 직후 발사되었다. 소련 전문가들은 바이코누르 우주 기지에서 몰니야 운반 로켓을 이용해 베네라 1호를 발사했다. 발사는 1961년 2월 12일 00:34:36 GMT에 이루어졌다.
우주선은 로켓의 블록-L 상부단과 함께 처음에는 229×282 킬로미터의 지구 저궤도에 배치되었으며, 상부단이 점화된 후 금성을 향한 태양 주회 궤도에 배치되었다. 11D33 엔진은 세계 최초의 단계 연소 사이클 로켓 엔진이었으며, 액체 연료 로켓 엔진이 우주에서 시동을 걸 수 있는 얼라지 엔진을 최초로 사용했디.
베네라 1호 실패
세 차례의 원격 측정 세션이 성공적으로 진행되어 지구 근처, 지구 자기권계면, 그리고 2월 19일 1,900,000 km 거리에서 태양풍과 우주선 데이터를 수집했다. 루나 2호로 태양풍을 발견한 후, 베네라 1호는 이 플라스마가 행성 간 공간에도 존재한다는 사실을 최초로 확인했다. 7일 후, 다음 예정된 원격 측정 세션은 실패로 돌아갔다. 1961년 5월 19일, 베네라 1호는 금성에서 10만 킬로미터 떨어진 지점을 통과했다. 조드럴 뱅크 천문대의 영국 전파 망원경의 도움으로 6월에 베네라 1호의 약한 신호를 감지할 수 있었다. 소련 기술자들은 베네라 1호가 태양 방향 센서의 과열로 인해 실패했다고 믿었다.
페터 노글리
페터 노글리(독일어: Peter Nogly, 1947년 1월 14일, 슐레스비히-홀슈타인 주 트라베뮌데 ~)는 독일의 전직 축구 선수이자 감독이다.
페터 노글리 클럽 경력
그의 서독 1부 리그 출전 경기 횟수 320번이며, 모두 함부르크 유니폼을 입고 달성했다. 그는 북미 축구 리그의 에드먼턴 드릴러스와 탬퍼 베이 라우디스 무대를 누볐다. 그는 1981년과 1982년의 주요 선수 선수단의 1세대 선수이기도 했고, 1983년에서도 득점해 준우승에 일조했다. 노글리는 1983년 국내 축구 리그에서도 득점해 탬퍼 베이가 5-4로 이기는 데 힘을 보탰다.
페터 노글리 국가대표팀 경력
노글리는 1977년에 서독 국가대표팀 경기에 4번 출전했다. 그는 서독 국가대표팀의 유로 1976 명단에 이름을 올렸지만, 출전하지 않았다.
페터 노글리 수상
함부르크
탬퍼 베이 라우디스
서독
개인
하야시 히데요
하야시 히데요(일본어:  林 英世, 1963년 11월 17일~)는 일본의 여배우이다. 오사카부 기시와다시 출신이다.
김순택 (1963년)
김순택(金順鐸, 1963년 2월 5일 ~ )은 대한민국의 제12대 경상남도의원이다.
조인종
조인종(曺寅鍾, 1957년 1월 2일 ~ )은 대한민국의 제7대 경상남도 밀양시의원이자, 제12대 경상남도의원이다.
키시 테츠오 (성우)
키시 테츠오(일본어: 岸 哲生, 1969년 1월 22일 ~ )는 일본의 배우, 성우, 각본가이자 연출가이다. 도쿄도 출신이다.
양영수
양영수(梁榮秀, 1974년 9월 6일 ~ )은 대한민국의 제12대 제주특별자치도의원이다.
기시 데쓰오
기시 데쓰오 또는 키시 테츠오(일본어: きし てつお)는 다음 사람을 가리킨다.
포도르 졸탄
포도르 졸탄(헝가리어: Fodor Zoltán)은 다음 사람을 가리킨다.
메이블 닷지 루한
메이블 닷지 루한(영어: Mabel Evans Dodge Sterne Luhan, 1879년 2월 26일 ~ 1962년 8월 13일)은 미국의 칼럼니스트이자 예술 후원자이다.
매화나무지의
매화나무지의(일본어: 梅 (ウメ)の木 (キ)苔 (ゴケ))는 지의류의 일종이다. 회녹색의 엽상지의류로서, 나무껍질이나 바위애 착생한다. 전세계의 열대 및 온대 일부 지역에 널리 분포한다.
마르크 마센
마르크 오베르고르 마센(덴마크어: Mark Overgaard Madsen, 1984년 9월 23일~)은 덴마크의 레슬링 선수, 종합격투기 선수이다. 2016년 하계 올림픽 남자 그레로코만형 웰터급 종목에서 은메달을 획득했으며 세계 레슬링 선수권 대회에서 은메달 4개, 동메달 1개를 획득했다.
2013년에 종합격투기 선수 경력을 시작했으며 2019년부터 얼티밋 파이팅 챔피언십(UFC) 라이트급 선수로 활동하고 있다.
러시아 여자 핸드볼 국가대표팀
러시아 여자 핸드볼 국가대표팀(러시아어: Женская сборная России по гандболу)은 러시아를 대표하여 국제 경기에 참가하는 핸드볼 국가대표팀이며, 러시아 핸드볼 연맹이 운영하고 있다.
바이네케 고문서 도서관
바이네케 고문서 도서관(영어: Beinecke Rare Book & Manuscript Library)은 미국 뉴헤이븐의 예일 대학교에 있는 희귀 서적을 보관하고 있는 도서관 또는 아카이브이다. 희귀한 책을 보관하고 있는 도서관 중 세계에서 제일 크다. 바이네케 가문의 기부로 설립된 이 도서관은 대학으로부터 재정적으로 독립되어 있으며 대학 도서관과 예일(Yale Corporation)이 공동 관리하고 있다.
1963년에 완공되었으며, 미국의 건축회사 SOM의 건축가 고든 번샤프트가 설계했다. 2015년부터 2016년까지 HVAC 시스템 교체와 교육 및 전시 기능 확대를 위한 리모델링으로 인해 18개월 간 폐쇄되었었다.
바이네케 고문서 도서관 건축
바이네케 고문서 도서관은 국제 양식의 건축물이다. 유리로 둘러싸인 지상 6층의 도서 건축물은 건물 모서리에 있는 4개의 단일 기둥으로 지지되며 외관엔 창문이 없이 설계되었다. 건물 외부의 뼈대는 각 모퉁이 부두의 기반암까지 15m의 깊이로 매립된 철탑이 있는 강철 프레임으로 구조적으로 지지되며 외관은 반투명의 결이 있는 대리석과 화강암으로 이루어졌다. 버몬트주의 댄비 마을에서 채석된 대리석은 32mm(1.25in)의 두께로 가공되었으며 은은한 황금빛 호박색 빛으로 필터링 된 일광이 내부에 스며들 수 있도록 설계되었다.
KS인더스트리
주식회사 KS인더스트리(영어: KS Industry)는 대한민국의 조선기자재 기업이다.
KS인더스트리 역사 및 현황
경영위기에 있던 디엠씨(DMC)를 2019년 상상인이 인수하여 상상인인더스트리로 개명하였다가2024년 현재의 사명으로 변경하였다.
2025년 100억 원 유상증자 대상자를 변경하였다.
STS-131
STS-131(ISS assembly flight 19A)은 국제 우주 정거장(ISS)으로 향하는 NASA 우주 왕복선 임무였다. 디스커버리 우주왕복선은 2010년 4월 5일 오전 6시 21분에 LC-39A에서 발사되어 2010년 4월 20일 오전 9시 8분에 케네디 우주 센터 왕복선 착륙 시설의 33번 활주로에 착륙했다. 이 임무는 디스커버리 우주왕복선의 최장 비행을 기록했다.
주요 페이로드는 국제 우주 정거장을 위한 보급품과 장비를 탑재한 다목적 물류 모듈이었다. 이 임무는 또한 S1 트러스에 있는 스테이션 외부의 암모니아 탱크 어셈블리를 제거하고 교체했다. STS-131은 또한 여러 탑재 페이로드를 탑재했다. 이 임무는 STS-107 이후 가장 많은 페이로드를 가졌다. 7명의 승무원이 함께하는 마지막 셔틀임무이기도 하다.
디터 헤르초크
디터 헤르초크(독일어: Dieter Herzog, 1946년 7월 15일 ~ 2025년 11월 20일)는 독일의 전 국가대표 축구 선수이다.
디터 헤르초크 클럽 경력
헤르초크는 현역 시절 하부 리그의 함보른 07에서 성인 무대 신고식을 치르고, 1971년에 분데스리가 무대에 승격한 뒤셀도르프에 합류한 이래 레버쿠젠 시절까지 총 350번을 넘는 분데스리가 경기에 출전(69골 득점)했고, 그는 분데스리가에서 3위의 성적을 거둔 1972-73 시즌과 1973-74 시즌에 주축 선수로 활약했다. 1976년, 이 좌측 미드필더는 분데스리가에서 경쟁할 선수단을 조직하는데 한창이었던 레버쿠젠으로 이적했다. 실제로, 헤르초크의 영입으로 보강에 성공하여 헤르초크는 은퇴할 때까지 4시즌 동안 독일 1부 리그에서 계속 활약을 이어나갔다.
디터 헤르초크 국가대표팀 경력
1974년 월드컵을 앞두고 전성기를 구가하던 디터 헤르초크를 눈여겨 본 헬무트 쇤 감독은 서독 국가대표팀에 그를 차출했고, 헤르초크는 1974년에 서독 국가대표팀 경기를 5번 출전했다. 그는 2차 조별 리그에서 유고슬라비아전과 스웨덴전에 출전하여, 이 월드컵의 우승에 일조했다.
디터 헤르초크 은퇴 후
레버쿠젠의 후원사였던 바이어에 취직했던 디터 헤르초크는 전 소속 구단의 스카우터로 활동했다.
STS-51-A
STS-51-A(구 명칭: STS-19)는 NASA 우주왕복선 계획의 14번째 비행이자 디스커버리 우주왕복선의 두 번째 비행이었다. 이 임무는 1984년 11월 8일 케네디 우주 센터에서 발사되어 8일도 채 지나지 않은 1984년 11월 16일 착륙했다.
STS-51-A는 셔틀이 두 개의 통신 위성을 처음으로 배치하고 궤도에서 두 개의 다른 통신 위성을 회수한 것을 기록했다. 캐나다 아닉(Anik) D2 및 신콤 IV-1 위성은 모두 디스커버리호 승무원에 의해 성공적으로 배치되었다. 한편 팔라파 B2와 위스타 6는 올해 초 STS-41-B 임무 중에 배치되었지만 킥모터의 오작동으로 인해 부적절한 궤도에 배치되었다. 둘 다 STS-51-A 동안 안전하게 회수되어 지구로 반환되었다.
STS-51-C
STS-51-C(구 명칭: STS-10)는 NASA 우주왕복선 계획의 15번째 비행이자 우주 왕복선 디스커버리의 세 번째 비행이었다. 1985년 1월 24일에 발사되어 1985년 1월 27일 플로리다 케네디 우주 센터에 네 번째 셔틀 착륙을 했다. STS-51-C는 미국 국방부(DoD) 전용 페이로드를 배치한 최초의 셔틀 임무였다. 결과적으로 많은 임무 세부 사항이 기밀로 유지된다.
USS 포틀랜드
USS 포틀랜드(USS Portland)는 다음 뜻으로 쓰인다.
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-B
STS-51-B는 NASA 우주왕복선 계획의 17번째 비행이자 챌린저 우주왕복선의 7번째 비행이었다. 1985년 4월 29일 챌린저호의 발사는 발사 처리 실패로 인해 2분 18초 지연됐다. 챌린저호는 처음에 STS-51-E 임무를 수행하기 위해 패드에 출시되었다. TDRS-B 위성에서 타이밍 문제가 발생하자 셔틀이 롤백되었다. STS-51-E가 취소되었을 때 챌린저호는 STS-51-B 페이로드와 함께 다시 나타났다. 셔틀은 일주일간의 임무를 마치고 1985년 5월 6일에 성공적으로 착륙했다.
STS-51-G
STS-51-G는 NASA 우주왕복선 계획의 18번째 비행이자 디스커버리 우주왕복선의 5번째 비행이었다. 1985년 6월 17일 플로리다주 케네디 우주센터에서 7일간 발사돼 1985년 6월 24일 캘리포니아주 에드워드 공군기지에 착륙했다. 탑재체 전문가로는 사우디아라비아의 술탄 빈 살만 알 사우드(Sultan bin Salman Al Saud)가 탑승했다. 알 사우드는 우주로 비행한 최초의 아랍인, 최초의 무슬림, 최초의 왕실 구성원이 되었다. 이는 또한 우주 왕복선 이전 시대의 승무원 중 최소한 한 명의 우주비행사 없이 비행한 최초의 우주 왕복선 임무이기도 했다.
STS-51-F
STS-51-F 또는 스페이스랩 2(Spacelab 2)는 NASA 우주왕복선 계획의 19번째 비행이자 챌린저 우주왕복선의 8번째 비행이었다. 1985년 7월 29일 플로리다주 케네디 우주센터에서 발사돼 8일 뒤인 1985년 8월 6일 착륙했다.
STS-51-F의 기본 페이로드는 스페이스랩 2 실험실 모듈인 반면, 가장 널리 알려진 페이로드는 탄산 음료 디스펜서 평가였다. 이는 코카콜라와 펩시가 탄산 음료를 우주 비행사에게 제공하려고 시도한 실험이었다. 이 임무에는 헬륨 냉각 적외선망원경(IRT)도 비행했는데, 몇 가지 문제가 있었지만 적외선으로 은하계의 60%를 관찰했다.
발사 도중 챌린저호는 엔진 1 센터 SSME 엔진에서 여러 센서 오류를 경험하여 엔진이 정지되었고 셔틀은 "궤도 중단"(ATO) 비상 절차를 수행해야 했다. 발사 후 중단을 수행한 유일한 셔틀 임무이다. ATO의 결과로 임무는 약간 낮은 궤도 고도에서 수행되었다.
STS-51-I
STS-51-I는 NASA 우주왕복선 계획의 20번째 임무이자 디스커버리 우주왕복선의 6번째 비행이었다. 임무 동안 디스커버리호는 3개의 통신 위성을 궤도에 배치했다. 1985년 8월 27일 플로리다주 케네디 우주 센터에서 발사돼 1985년 9월 3일 캘리포니아주 에드워즈 공군기지에 착륙했다.
노르베르트 니크부어
노르베르트 니크부어(독일어: Norbert Nigbur, 1948년 5월 8일, 노르트라인-베스트팔렌 주 겔젠키르헨 ~)는 독일의 전직 프로 축구 선수로, 현역 시절 골키퍼로 활약했으며, 주로 샬케 04 소속이었다. 그는 서독 국가대표팀 경기에도 6번 출전했다.
노르베르트 니크부어 클럽 경력
니크부어는 연합 군정기 독일의 겔젠키르헨에서 출생했다. 그는 1966년에 겔젠키르헨 06에서 샬케 04로 이적하여 1966년부터 1983년까지 샬케와 헤르타 베를린 소속으로 456번의 분데스리가 경기에 출전했는데, 샬케 04 복귀 이후로는 1970-71 시즌에 분데스리가 승부 조작 스캔들에 연루된 뒤로 주전으로 재기했다. 그의 최고 성과는 1972년에 친정 샬케 04 소속으로 DFB-포칼을 우승한 것이다. 1980년, 샬케 04와의 계약이 만료된 후, 니크부어는 3부 리그 이하의 휠스, 로트-바이스 에센, 그리고 루텐베르크에서 활동했다.
노르베르트 니크부어 국가대표팀 경력
그는 서독 국가대표팀 경기에 6번 출전했고, 1974년 월드컵에서 서독 선수단의 일원이었다.
에코프로에이치엔
주식회사 에코프로HN(EcoPro HN)은 대한민국의 전구체 기업으로, 본사는 충청북도 청주시 청원구 오창읍 과학산업2로 587-40에 위치해 있다.
에코프로에이치엔 역사
2021년 5월 에코프로로부터 환경사업부문을 인적분할되어 설립되었다.
에코프로에이치엔 사업
양극재용 도가니와 양극재 도펀트 등 전지재료 등을 생산한다
각막반사
각막반사(corneal reflex)는 주변 자극으로 인해 발생할 수 있지만 각막 자극(예: 만지거나 이물질에 의해)으로 인해 발생하는 눈꺼풀의 비자발적 깜박임이다. 자극은 직접적이고 합의된 반응(반대 눈의 반응)을 모두 이끌어내야 한다. 반사는 0.1초의 빠른 속도로 일어난다. 이 반사의 목적은 이물질과 밝은 빛(후자는 광학 반사로 알려져 있음)으로부터 눈을 보호하는 것이다. 눈 깜박임 반사는 40~60dB 이상의 소리가 들릴 때도 발생한다.
반사는 다음에 의해 매개된다.
콘택트 렌즈 사용 시 이 반사 테스트의 감소나 폐지가 가능하다.
반면에, 광학 반사(optical reflex)는 더 느리며 뇌의 후두엽에 있는 시각 피질에 의해 매개된다. 9개월 미만의 유아에게는 반사가 없다.
각막 반사 검사는 특히 FOUR 점수와 같은 혼수상태를 평가할 때 일부 신경학적 검사의 일부이다. 삼차신경의 눈가지(V1)가 손상되면 해당 눈을 자극할 때 각막 반사가 나타나지 않는다. 한쪽 각막을 자극하면 일반적으로 합의된 반응이 나타나며 양쪽 눈꺼풀은 정상적으로 닫힌다.
큰가래
큰가래 또는 포타모게톤 나탄스(Potamogeton natans)는 남극 왕국 전체의 조용하거나 느리게 흐르는 담수 서식지에 서식하는 가래속의 수생 종이다.
큰가래 설명
같은 식물에서 떠다니는 잎과 물에 잠긴 잎을 모두 생산한다. 떠 다니는 잎은 난형에서 장타원형이며 거의 항상 밑 부분에 심장 모양이다. 그들은 짙은 녹색이고 가죽 같으며 불투명하며 반투명 세로맥이 있다. 길이는 5~10cm이고 끝이 뾰족하며 밑부분은 둥글다.
턱잎의 길이는 4~17cm이다.
물에 잠긴 풀과 같은 구조를 엽상체라고 하며, 실제로 변형된 잎자루이다.
줄기는 원통형이고 가지가 많지 않으며 높이 1~2m이다.
이 종과 다른 연못초의 주요 차이점은 긴 잎자루 꼭대기 바로 아래에 변색된 유연한 관절이 있다는 것이다.
꽃 스파이크는 조밀하고 원통형이다. 길이는 5~10cm이고 끝이 뾰족하며 밑부분은 둥글다. 5월부터 9월까지 꽃이 핀다.
열매는 길이 4~5mm이고 도란형이다.
연착륙
연착륙 또는 소프트 랜딩(soft landing)은 경착륙과 달리 차량이나 탑재체에 심각한 손상이나 파괴를 초래하지 않는 모든 유형의 항공기, 로켓 또는 착륙선의 착륙 유형이다. 연착륙 시 평균 수직 속도는 초당 약 2미터(6.6피트) 이하여야 한다.
연착륙은 다음과 같은 방법으로 달성할 수 있다.
헬무트 크레머스
헬무트 크레머스(독일어: Helmut Kremers, 1949년 3월 24일, 노르트라인-베스트팔렌 주 묀헨글라트바흐 ~)는 독일의 전직 프로 축구 선수로, 현역 시절 측면 수비수로 활약했다. 그의 쌍둥이 형제 에르빈 크레머스도 독일 축구 국가대표 선수였고, 두 쌍둥이는 주전으로 같이 활약했다. 헬무트와 에르빈 크레머스는 분데스리가 역사 최초로 동시에 출전한 쌍둥이 선수들이다.
헬무트 크레머스 클럽 경력
1967년에 분데스리가의 묀헨글라트바흐 선수가 된 크레머스는 1970년에 하부 리그의 키커스 오펜바흐에서 DFB-포칼 첫 우승을 달성했다. 1971년, 그는 그의 쌍둥이 형제 에르빈과 샬케 04에 우승했고, 이듬해에 또다시 DFB-포칼을 들어올렸다. 측면 미드필더였던 그의 쌍둥이 형제와 달리, 헬무트 크레머스는 측면 수비수였고, 샬케 04와의 계약이 끝난 그는 1980-81 시즌에 2. 분데스리가의 로트-바이스 에센과 북미 축구 리그의 캘거리 부머스에서 1981년 몸담았다. 크레머스는 총 273번의 분데스리가 경기에서 50골을 기록했다. 크레머스 쌍둥이 형제는 3번의 국가대표팀 경기에서 동시에 출전했다: 하노버에서 1973년 열린 오스트리아전(4-0), 겔젠키르헨에서 1973년 열린 프랑스전(2-1), 그리고 도르트문트에서 1974년 열린 헝가리전(5-0). 1974년, 그는 안방에서 열린 월드컵에서 서독 선수단 일원으로 참가했지만, 한 경기도 출전하지 못했다. 그러나, 그는 서독의 월드컵 우승에 따라 다른 선수들과 마찬가지로 1974년 9월 23일에 은월계잎상을 받았다. 1981년 가을, 그는 메이저 인도어 사커 리그의 멤피스 아메리칸스에서 1년을 활약했다. 1982-83 시즌, 그는 오버리가 바덴-뷔르템부르크에 속한 쿠펜하임의 선수 겸 감독으로 하인츠 슈티켈의 바통을 이어받았다.
헬무트 크레머스 국가대표팀 경력
크레머스는 자국을 대표로 8경기 출전했는데, 가장 최근에 출전한 경기는 1975년 3월 12일에 잉글랜드에 패한 친선경기였다. 그의 쌍둥이 형제 에르빈 크레머스(15경기 출전)보다 출전 횟수가 적지만, 크레머스는 1974년 월드컵을 우승한 선수단 일원이었다. 에르빈 크레머스는 징계로 인해 이 대회에 참가하지 못했다.
헬무트 크레머스 은퇴 후
크레머스는 1989년부터 1993년까지 샬케 04의 감독진에 3번 활약했는데, 1989년과 1994년 9월 12일부터는 감독 대행으로 12월 6일까지 가장 최근의 회장 임기를 지냈다. 이 임기는 회의에서 있었던 일로 회자되었다: "우리가 도르트문트를 상대할 때, 우리는 유니폼을 교체하지 않았습니다." 그의 임기 후, 게르하르트 레베르크 후임 회장은 간부 교체와 함께 구단 조례를 개정했다. 2011년 12월, 그는 뒤스부르크 회장으로 출마했지만, 낙선했다.
크레머스는 현재 1992년에 스부르크에서 창립한 유한회사 이사이다.
헬무트 크레머스 기타
크레머스는 도매상 견습 과정을 수료했다. 1974년 5월, 그는 "합리적인 자", "실용주의자", "라인란트의 긍정적이기 보다 한자의 차분함을 발산하는 자"로 "자연스러움과 절제된 교만함"의 인물로 평가되었다. 그는 쌍둥이 형제 에르빈과 함께, 1974년에 "크레머 형제"로서 꿈의 소녀라는 곡으로 일약 독일 인기곡으로 떠올랐다. 크레머스 쌍둥이는 현역 시절에 한배를 탔고, 같이 디스코텍을 경영했다. 현역 시절, 헬무트 크레머스는 구단을 이적할 때 이적료를 없애야 한다는 데 긍정적으로 생각했는데, 이는 "노예 밀거래"와 같다고 생각했기 때문이었다고 덧붙였다.
경착륙
경착륙 또는 하드 랜딩(hard landing)은 항공기나 우주선이 일반 착륙보다 더 큰 수직 속도와 힘으로 땅에 부딪힐 때 발생한다. 경착륙과 확정 착륙이라는 용어는 본질적으로 다르지만 종종 혼동된다. 경착륙은 의도된 것이 아니며 항공기가 경착륙한 경우 다음 비행 전에 손상 여부를 검사해야 한다. 대조적으로, 항공기 유형(예: 보잉 737) 및 환경 조건(예: 돌풍 또는 측풍 조건, 젖은 활주로 등)에 따라 항공기 매뉴얼에서 확실한 착륙을 의도하고 요구한다.
착륙은 항공기가 지상으로 돌아오는 비행의 마지막 단계이다. 착륙 시 평균 수직 속도는 초당 약 2미터(6.6피트/초)이다. 더 큰 수직 속도는 승무원에 의해 어려움으로 분류되어야 한다. 승무원의 판단은 경착륙을 결정하는 데 가장 신뢰할 수 있다. 기록된 가속도 값을 기반으로 한 결정은 어렵고 바람직하지 않으며, 부분적으로는 실제 수직 가속도가 기록되지 않기 때문이다.
경착륙
경착륙은 기상 조건, 기계적 문제, 항공기 중량 초과, 조종사의 결정 및 조종사의 실수로 인해 발생할 수 있다. 경착륙이라는 용어는 일반적으로 지형으로 통제되지 않은 하강(충돌)과 달리 조종사가 항공기에 대한 전체 또는 부분 통제권을 갖고 있음을 의미한다. 경착륙은 승객의 경미한 불편함부터 차량 손상, 구조적 결함, 부상 및 인명 손실까지 결과가 다양할 수 있다.
경착륙은 항공기에 광범위한 손상을 초래할 수 있다. 예를 들어, 2012년 6월 20일 전일본공수(All Nippon Airways)의 보잉 767기가 너무 강한 힘으로 착륙하여 항공기 표면에 큰 주름이 생겼다.
최종 접근이 안정되지 않으면 승무원은 중단하고 우회해야 한다. 이는 2015년 3월 14일 쿠알라룸푸르에서 출발한 말레이시아 항공 에어버스 A330이 멜버른 공항에 경착륙한 사건을 조사한 후 호주 교통안전국이 권고한 것이다.
경착륙
헬리콥터의 경우 로터가 손상되지 않고 자유롭게 회전할 때 기계적 손상이나 엔진 손상 또는 고장이 발생한 후에 경착륙이 발생할 수 있다. 로터 위의 공기 흐름이 로터를 계속 회전시키고 약간의 양력을 제공하는 자동 회전은 하강 중에 제한된 조종사 제어를 허용할 수 있다. 무동력 하강이므로 안전하게 실행하려면 상당한 조종사 기술과 경험이 필요하다.
로켓단과 같은 우주선의 경착륙은 대개 우주선의 파괴로 끝나며 의도적일 수도 있고 의도하지 않을 수도 있다. 고속 충격이 계획된 경우(충돌의 결과를 연구하는 것이 목적인 경우) 우주선을 임팩터라고 한다. 이것은 때때로 유머러스하게 "Lithobraking"이라고 불린다.
팰컨 9 풀 스러스트
팰컨 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번의 발사를 수행했다. 신뢰도에 대한 라플라스점 추정에 기초하여 이 로켓은 작동 중인 궤도 발사체 중 가장 신뢰할 수 있는 것이다.
팰컨 9 풀 스러스트
2015년 12월 22일, 팰컨 9 계열의 풀 스러스트 버전은 궤도 궤도에서 1단계를 성공적으로 수직 착륙시킨 최초의 발사체였다. 착륙은 2013년부터 2015년까지 실시된 기술 개발 프로그램을 따랐다. 착륙 다리와 같은 필수 기술 발전 중 일부는 팰컨 9 v1.1 버전에서 개척되었지만 해당 버전은 그대로 착륙하지 못했다. 2017년부터 이전에 비행한 1단계 부스터를 재사용하여 새로운 페이로드를 궤도에 발사했다. 이는 2018년과 2019년에 모든 팰컨 9 비행의 절반 이상이 부스터를 재사용하면서 빠르게 일상화되었다. 2020년에는 재사용된 부스터의 비율이 81%로 증가했다.
팰컨 9 풀 스러스트는 2016년 1월 마지막 임무를 수행한 이전 팰컨 9 v1.1 로켓에 비해 상당한 업그레이드이다. 업그레이드된 1단계 및 2단계 엔진, 더 큰 2단계 추진제 탱크, 추진제 밀도를 갖춘 차량은 정지 궤도까지 상당한 탑재량을 운반하고 복구를 위한 추진 착륙을 수행할 수 있다.
니도겐
니도겐(Nidogens)은 파라호소동물(parahoxozoans)의 기저판에 위치한 황산화 단량체 당단백질 계열이다. 한때 엔탁틴(entactin)으로 알려진 물질이다. 인간에서는 니도겐-1(NID1)과 니도겐-2(NID2)라는 두 가지 니도겐이 확인되었다. 놀랍게도 척추동물은 확인된 니도겐이 없어도 기저막을 안정화할 수 있다. 이와 대조적으로, 니도겐-1과 니도겐-2가 모두 결핍된 사람들은 일반적으로 심장과 폐에 존재하는 결함으로 인해 배아 발달 중에 조기에 사망한다. 니도겐은 후기 배아 발달, 특히 심장 및 폐 발달에서 기관 형성 과정에서 중요한 역할을 하는 것으로 나타났다. 진화론적 관점에서 볼 때, 니도겐은 척추동물과 무척추동물 전반에 걸쳐 고도로 보존되어 있으며 라미닌과 결합하는 능력을 유지한다.
선충에서 니도겐-1은 축삭 유도에 필요하지만 기저막 조합에는 필요하지 않다.
활주
활주(taxiing) 또는 지상활주는 예인기에 의해 항공기가 이동하는 견인 또는 푸시백과 달리 자체 힘으로 지상에서 항공기가 이동하는 것이다. 항공기는 일반적으로 바퀴로 이동하지만 이 용어에는 스키나 플로트(수상 여행용)가 있는 항공기도 포함된다.
비행기는 공항의 한 장소에서 다른 장소로 이동하기 위해 유도로를 사용한다. 예를 들어 격납고에서 활주로로 이동할 때이다. 이륙 전 활주로를 따라 가속 주행하거나 착륙 직후 감속 주행하는 경우에는 "활주"라는 용어를 사용하지 않는다. 이를 각각 테이크오프 롤(Takeoff Roll) 및 랜딩 롤아웃(Landing Rollout)이라고 한다.
활주 안전
활주를 할 때 항공기는 천천히 이동한다. 이를 통해 신속하게 정지할 수 있으며 실수로 포장된 표면을 끄더라도 대형 항공기의 바퀴가 손상될 위험이 없다. 활주 속도는 일반적으로 16~19노트(30~35km/h, 18~22mph)이다.
김규진 (1988년)
김규진(金奎珍, 1988년 10월 30일 ~ )은 대한민국의 시민활동가이며, 제9대 서울특별시 서대문구의원이다.
안병구 (1961년)
안병구(1961년 2월 12일~)는 대한민국의 정치인이다. 제11대 경상남도 밀양시장(2024. 4.~)이다. 2024년 4월 10일 2024년 대한민국 재보궐선거에서 당선되었다.
선샤인 (음악 그룹)
선샤인은 중국의 걸그룹이다. 2019년 EP [You Are Sunshine (Christmas Mix)]으로 데뷔했다.
클래스 기반 프로그래밍
클래스 기반 프로그래밍(class-based programming) 또는 더 일반적으로 클래스 지향(class-orientation)은 객체만을 통해 상속이 발생하는 대신 객체의 클래스 정의를 통해 상속이 발생하는 객체 지향 프로그래밍(OOP) 스타일이다(프로토타입 기반 프로그래밍 비교).
OOP의 가장 널리 사용되고 개발된 모델은 객체 기반 모델이 아닌 클래스 기반 모델이다. 이 모델에서 객체는 상태(예: 데이터), 동작(예: 프로시저 또는 방법) 및 ID(다른 모든 객체 중에서 고유한 존재)를 결합한 엔터티이다. 객체의 구조와 동작은 특정 유형의 모든 객체에 대한 정의 또는 청사진인 클래스에 의해 정의된다. 객체는 클래스를 기반으로 명시적으로 생성되어야 하며, 생성된 객체는 해당 클래스의 인스턴스로 간주된다. 객체는 메소드 포인터, 멤버 액세스 제어 및 클래스 계층 구조에서 클래스 인스턴스(즉, 클래스의 객체)를 찾는 암시적 데이터 멤버(런타임 상속 기능에 필수적)가 추가되어 구조와 유사하다.
클래스 기반 프로그래밍 캡슐화
캡슐화는 사용자가 클래스의 불변성을 깨뜨리는 것을 방지한다. 이는 사용자 코드에 영향을 주지 않고 인터페이스에 노출되지 않은 측면에 대해 객체 클래스의 구현을 변경할 수 있기 때문에 유용한다. 캡슐화의 정의는 보안 문제보다는 관련 정보의 그룹화 및 패키징(응집성)에 중점을 둔다.
임태훈 (1980년)
임태훈(任泰勳, 1980년 7월 6일 ~ )은 대한민국의 제9대 대구광역시 중구의원이다.
정보 은닉
정보 은닉(information hiding), 정보 감춤, 정보 은폐는 컴퓨터 과학 분야에서 컴퓨터 프로그램에서 변경될 가능성이 가장 높은 설계 결정을 분리하여 설계 결정이 변경될 경우 프로그램의 다른 부분이 광범위하게 수정되지 않도록 보호하는 원칙이다. 보호에는 구현(세부 사항은 변경될 수 있음)으로부터 프로그램의 나머지 부분을 보호하는 안정적인 인터페이스 제공이 포함된다. 다른 방식으로 작성된 정보 은닉은 프로그래밍 언어 기능(예: 개인 변수) 또는 명시적인 내보내기 정책을 사용하여 클라이언트가 클래스 또는 소프트웨어 구성 요소의 특정 측면에 액세스하지 못하도록 방지하는 기능이다.
정보 은닉 개요
'캡슐화'라는 용어는 종종 정보 은닉과 같은 의미로 사용된다. 하지만 둘 사이의 차이점에 모두가 동의하는 것은 아니다. 정보 은닉이 원칙이고 캡슐화가 기술이라고 생각할 수도 있다. 소프트웨어 모듈은 정보를 모듈이나 인터페이스를 제공하는 다른 구성으로 캡슐화하여 정보를 숨긴다.
정보 은닉의 일반적인 용도는 데이터의 물리적 저장 레이아웃을 숨겨 데이터가 변경될 경우 변경 사항이 전체 프로그램의 작은 하위 집합으로 제한되도록 하는 것이다. 예를 들어 부동소수점 스칼라 변수 3개 이상을 사용하는 프로그램에서 3차원 점(x, y, z)을 표현한다면, 그 표현은 크기가 3인 단일 배열 변수인 정보 은닉으로 설계된 모듈로 변경된다. 해당 변경으로부터 프로그램의 나머지 부분을 보호한다는 점에 주의가 필요하다.
객체 지향 프로그래밍에서 정보 은닉(유형 중첩을 통한)는 불확실한 구현(설계 결정)에 대한 코드의 종속성을 잘 정의된 인터페이스로 전환하여 소프트웨어 개발 위험을 줄인다. 인터페이스의 클라이언트는 인터페이스를 통해서만 작업을 수행하므로 구현이 변경되더라도 클라이언트는 변경할 필요가 없다.
전한익
전학익(全鶴翼, 1968년 12월 10일 ~ )은 대한민국의 제9대 대구광역시 수성구의원이다.
가상 상속
가상 상속(Virtual inheritance)은 기본 클래스 멤버 변수의 복사본 하나만 손자 파생 클래스에서 상속되도록 보장하는 C 기술이다. 가상 상속이 없으면 두 클래스 B와 C가 클래스 A에서 상속되고 클래스 D가 B와 C 모두에서 상속되는 경우 D에는 A 멤버 변수의 두 복사본(하나는 B를 통해, 다른 하나는 C를 통해)이 포함된다. 범위 확인을 사용하여 독립적으로 액세스할 수 있다.
대신, 클래스 B와 C가 클래스 A로부터 가상으로 상속된다면 클래스 D의 객체는 클래스 A의 멤버 변수 세트 하나만 포함하게 된다.
이 기능은 가상 기본을 파생 클래스와 이 클래스에서 파생된 모든 클래스에 대한 공통 하위 개체로 만들기 때문에 다중 상속에 가장 유용하다. 이는 파생 클래스(위 예의 D)의 관점에서 가상 기본 클래스(A)가 마치 직접 기본 클래스인 것처럼 작동하므로 사용할 조상 클래스에 대한 모호성을 명확하게 하여 다이아몬드 문제를 방지하는 데 사용할 수 있다. D는 기본(B 또는 C)을 통해 간접적으로 파생된 클래스가 아니다.
가상 상속
상속이 부분의 구성보다는 집합의 제한을 나타낼 때 사용된다. C에서는 계층 전체에서 공통으로 사용되는 기본 클래스를 virtual 키워드를 사용하여 virtual로 표시한다.
다음 클래스 계층 구조를 고려할 것.
잭슨 구조적 프로그래밍
잭슨 구조적 프로그래밍(Jackson structured programming, JSP) 또는 잭슨법은 영국의 소프트웨어 컨설턴트인 마이클 A. 잭슨(Michael A. Jackson)이 개발하고 1975년 저서인 "프로그램 설계 원리"(Principles of Program Design)에서 설명한 구조적 프로그래밍 방법이다. JSP의 기술은 프로그램이 입력으로 읽고 출력으로 생성해야 하는 파일의 데이터 구조를 분석한 다음 해당 데이터 구조를 기반으로 프로그램 설계를 생성하여 프로그램 제어 구조가 이러한 데이터 구조를 자연스럽고 직관적인 방식으로 처리하는 것이다.
JSP는 시퀀스, 반복, 선택(또는 대안)이라는 세 가지 기본 구조를 사용하여 데이터와 프로그램의 구조를 설명한다. 이러한 구조는 (사실상) 정규 표현식의 시각적 표현으로 다이어그램으로 표시된다.
빗자루병
빗자루병 또는 총생병(叢生病)은 나무 같은 목본식물의 원래 구조가 변형되는 병이다. 한 부분에서 여러 개의 가지나 잎이 모여 자라며 그 형태가 흡사 중세 시대의 마녀들이 쓰던 빗자루 같다 하여 서양에서는 '마녀의 빗자루' (witch's broom 또는 witches' broom)라 부르기도 한다. 대부분이 병원균에 감염되면서 발생한다.
빗자루병의 병징은 피토플라스마 또는 담자균이 일으키며, 카카오와 대추나무 및 멀구슬나무를 비롯한 여러 경제 수목에서 중요하게 작용한다.
빗자루병 원인
나무의 특정 모양이나 습성은 2차 분열조직의 생장을 조절하는 호르몬인 옥신의 산물 중 일부이다. 옥신은 부모 가지에서 뻗어 나오는 측아의 생장을 억제시키는데, 빗자루병에 걸리게 되면 순의 순차별 생장이 멈추게 되고 분열조직이 무분별하게 생장한다. 이는 생장 조절을 방해하는 식물 호르몬인 시토키닌이 일으키는 것이다. 이 병징은 피토플라스마 및 세균류가 만들어내는 것이기도 하다. 빗자루병의 생장은 보통 기주식물이 살아 있는 동안이라면 수 년 정도 갈 수 있다. 빗자루병의 나뭇가지를 정상 대목에 접목하면 괴상하게 생긴 나무로 뒤바뀌어버린다. 이는 공격성 유기체가 나뭇가지의 유전된 생장 패턴을 바꿔놓음을 보여준다.
빗자루병 생태적 역할
빗자루병은 새와 북부하늘다람쥐 등의 포유류에게 서식처를 제공해준다.
계약에 의한 설계
계약에 의한 설계(Design by contract, DbC), 계약 프로그래밍, 계약에 의한 프로그래밍은 소프트웨어 설계를 위한 접근 방식이다.
이는 소프트웨어 설계자가 소프트웨어 구성 요소에 대해 형식적이고 정확하며 검증 가능한 인터페이스 사양을 정의해야 한다고 규정하며 이는 전제 조건, 사후 조건 및 불변성을 사용하여 추상 자료형의 일반적인 정의를 확장한다. 이러한 사양은 비즈니스 계약의 조건 및 의무에 대한 개념적 비유에 따라 "계약"이라고 한다.
DbC 접근 방식에서는 서버 구성 요소에 대한 작업을 호출하는 모든 클라이언트 구성 요소가 해당 작업에 필요한 대로 지정된 전제 조건을 충족한다고 가정한다.
이 가정이 너무 위험한 것으로 간주되는 경우(다중 채널 또는 분산 컴퓨팅에서) 반대 접근 방식이 사용된다. 즉, 서버 구성 요소는 모든 관련 전제 조건이 참인지(클라이언트 구성 요소의 요청을 처리하기 전 또는 처리하는 동안) 테스트하고 응답한다. 그렇지 않은 경우 적절한 오류 메시지가 표시된다.
익명 함수
익명 함수(Anonymous function)는 컴퓨터 프로그래밍에서 식별자에 바인딩되지 않은 함수 정의이다. 익명 함수는 종종 고차 함수에 전달되거나 함수를 반환해야 하는 고차 함수의 결과를 구성하는 데 사용되는 인수이다. 함수가 한 번만 사용되거나 제한된 횟수로 사용되는 경우 익명 함수는 명명된 함수를 사용하는 것보다 구문적으로 더 가벼울 수 있다. 익명 함수는 함수형 프로그래밍 언어와 일급 함수를 사용하는 기타 언어에서 어디에나 존재하며, 리터럴이 다른 데이터 유형에 대해 수행하는 것과 동일한 역할을 함수 유형에 대해 수행한다.
익명 함수는 전자 컴퓨터 이전인 1936년에 모든 함수가 익명인 람다 미적분학을 발명한 알론조 처치의 작업에서 유래되었다. 여러 프로그래밍 언어에서는 익명 함수가 람다 키워드를 사용하여 도입되며 익명 함수를 종종 람다 또는 람다 추상화라고 한다. 익명 함수는 1958년 리스프 이후 프로그래밍 언어의 기능이었으며 점점 더 많은 현대 프로그래밍 언어가 익명 함수를 지원한다.
일급 함수
컴퓨터 과학에서 프로그래밍 언어는 함수를 일급 객체로 취급하는 경우 일급 함수(first-class function)를 갖는다고 한다. 이는 언어가 함수를 다른 함수에 대한 인수로 전달하고, 이를 다른 함수의 값으로 반환하고, 변수에 할당하거나 자료 구조에 저장하는 것을 지원한다는 것을 의미한다. 일부 프로그래밍 언어 이론가들은 익명 함수(함수 리터럴)에 대한 지원도 요구한다. 일급 함수를 사용하는 언어에서는 함수 이름에 특별한 상태가 없다. 이는 함수 유형의 일반 변수처럼 취급된다. 이 용어는 1960년대 중반 크리스토퍼 스트래치가 "일급 객체로서의 기능"이라는 맥락에서 만들어졌다.
일급 함수는 고차 함수의 사용이 표준 관행인 함수형 프로그래밍 스타일에 필수적이다. 고차 함수의 간단한 예는 함수와 목록을 인수로 사용하고 목록의 각 구성원에 함수를 적용하여 형성된 목록을 반환하는 map 함수이다. 언어가 맵을 지원하려면 함수를 인수로 전달하는 것을 지원해야 한다.
일급 함수
함수를 인수로 전달하거나 결과로 반환하는 데는 특정 구현상의 어려움이 있다. 특히 중첩 및 익명 함수에 도입된 비지역 변수가 있는 경우에는 더욱 그렇다. 역사적으로 이러한 문제는 "함수 인수"에서 유래한 이름인 funarg 문제라고 불렸다. 초기 명령형 언어에서는 함수를 결과 유형(예: 알골 60, 파스칼)으로 지원하지 않거나 중첩 함수 및 비지역 변수(예: C)를 생략하여 이러한 문제를 방지했다. 초기 함수형 언어 리스프는 동적 범위 지정의 접근 방식을 취했다. 여기서 비지역 변수는 함수가 정의된 위치 대신 함수가 실행되는 지점에서 해당 변수의 가장 가까운 정의를 참조한다. 어휘 범위가 지정된 일급 함수에 대한 적절한 지원이 스킴에 도입되었으며 함수에 대한 참조를 기본 함수 포인터 대신 클로저로 처리해야 하므로 쓰레기 수집이 필요하다.
의존형
의존형(dependent type) 또는 종속유형은 컴퓨터 과학 및 논리학에서 정의가 값에 따라 달라지는 유형이다. 이는 유형 이론과 유형 시스템이 겹치는 특징이다. 직관주의적 유형 이론에서는 의존형을 사용하여 "모두에게" 및 "존재합니다"와 같은 논리 수량자를 인코딩한다. Agda, ATS, Coq, F*, Epigram, Idris 및 Lean과 같은 함수형 프로그래밍 언어에서 의존형은 프로그래머가 가능한 구현 세트를 더욱 제한하는 유형을 할당할 수 있도록 하여 버그를 줄이는 데 도움이 된다.
의존형의 두 가지 일반적인 예는 종속 함수와 종속 쌍이다. 종속 함수의 반환 유형은 해당 인수 중 하나의 값(유형뿐만 아니라)에 따라 달라질 수 있다. 예를 들어 양의 정수 n을 사용하는 함수는 길이가 n인 배열을 반환할 수 있다. 여기서 배열 길이는 배열 유형의 일부이다. (이는 유형을 인수로 포함하는 다형성 (컴퓨터 과학) 및 제네릭 프로그래밍과는 다르다.) 종속 쌍은 첫 번째 값에 따라 유형이 달라지는 두 번째 값을 가질 수 있다. 배열 예제를 고수하면 종속 쌍을 사용하여 형식이 안전한 방식으로 배열과 길이를 쌍으로 연결할 수 있다.
의존형
의존형은 유형 시스템에 복잡성을 추가한다. 프로그램에서 의존형의 동등성을 결정하려면 계산이 필요할 수 있다. 의존형에 임의의 값이 허용되는 경우 유형 동등성을 결정하는 것은 두 임의의 프로그램이 동일한 결과를 생성하는지 여부를 결정하는 것을 포함할 수 있다. 따라서 유형 검사의 결정 가능성은 주어진 유형 이론의 동등 의미, 즉 유형 이론이 의도적인지 확장적인지 여부에 따라 달라질 수 있다.
김제선
김제선(金濟善, 1963년 11월 18일~)은 대한민국의 정치인이다. 제22대 대전광역시 중구청장(2024. 4.~)이다. 2024년 상반기 재보궐 선거에서 당선되었다.
제약 프로그래밍
제약 프로그래밍(Constraint programming, CP)은 인공지능, 컴퓨터 과학, 운용과학의 광범위한 기술을 활용하는 조합 문제를 해결하기 위한 패러다임이다. 제약 프로그래밍에서 사용자는 일련의 결정 변수에 대해 실행 가능한 솔루션에 대한 제약 조건을 선언적으로 명시한다. 제약 조건은 실행할 단계나 단계의 순서를 지정하지 않고 찾을 솔루션의 속성을 지정한다는 점에서 명령형 프로그래밍 언어의 일반적인 기본 형식과 다르다. 제약 조건 외에도 사용자는 이러한 제약 조건을 해결하기 위한 방법을 지정해야 한다. 이는 일반적으로 시간순 퇴각검색 및 제약 조건 전파와 같은 표준 방법을 사용하지만 문제별 분기 휴리스틱과 같은 사용자 정의 코드를 사용할 수도 있다.
제약 프로그래밍은 제약 조건을 논리 프로그램에 포함하는 제약 조건 논리 프로그래밍에 뿌리를 두고 있으며 제약 조건 논리 프로그래밍의 형태로 표현될 수 있다. 이러한 논리 프로그래밍 변형은 프롤로그 II에 도입된 특정 제약 클래스를 1987년에 확장한 재퍼(Jaffar)와 라세즈(Lassez)에 의해 탄생했다. 제약 논리 프로그래밍의 첫 번째 구현은 프롤로그 III, CLP(R) 및 CHIP이었다.
제약 프로그래밍
논리 프로그래밍 대신 제약 조건을 함수형 프로그래밍, 용어 재작성 및 명령형 언어와 혼합할 수 있다. 제약 조건을 기본적으로 지원하는 프로그래밍 언어로는 오즈(함수 프로그래밍) 및 칼레이드스코프(Kaleidscope, 명령형 프로그래밍)가 있다. 대부분의 제약 조건은 기존 명령형 언어에 대한 별도의 라이브러리인 제약 조건 해결 툴킷을 통해 명령형 언어로 구현된다.
서점원
서점원(徐点源, 1961년 11월 2일 ~ )은 대한민국의 제6·7·9대 인천광역시 남동구의원이다.