문서 검색

람다 대수(lambda calculus)는 함수 정의, 함수 적용, 변수 치환을 통해 계산을 수행하는 형식 체계이다. 1930년대 알론조 처치가 수학기초론 연구의 일환으로 고안하였으며, 모든 계산 가능한 함수를 표현할 수 있는 튜링 완전성을 가진다. 현대 컴퓨터 과학에서 함수형 프로그래밍 언어의 이론적 토대가 되며, 논리학과 언어학 등 다양한 분야에서 응용된다.

천식 발작은 기도의 급격한 수축, 염증 악화, 과도한 점액 분비로 인해 숨길이 좁아지는 위급 상태를 말한다. 주요 증상으로는 심한 호흡 곤란, 쌕쌕거리는 숨소리(천명), 가슴 답답함 등이 있다. 발작이 발생하면 환자를 안심시키고 편안한 자세를 취하게 한 뒤, 상비된 속효성 기관지 확장제를 사용하는 것이 핵심이다. 적절한 응급 처치는 환자의 생명을 보호하는 데 결정적인 역할을 한다.

재귀(Recursion)는 어떤 것을 정의할 때 자기 자신을 참조하는 행위를 뜻한다. 프로그래밍에서 재귀 함수는 함수가 실행 과정에서 자기 자신을 다시 호출하는 형태로 구현된다. 이는 복잡한 문제를 간단한 단위 동작과 그 동작을 반복하는 하위 문제로 단순화할 수 있을 때 유용하다. 앨런 튜링과 알론조 처치의 연구 등 초기 컴퓨터 과학의 기초 형성 시기부터 핵심적인 개념으로 다루어졌다.

함수형 프로그래밍은 1930년대 알론조 처치가 개발한 형식 체계인 람다 대수에 근간을 둔다. 1958년 존 매카시가 최초의 함수형 프로그래밍 언어인 LISP를 개발한 이후, 학계와 산업계에서 꾸준히 발전하였다. 초기에는 주로 학술적 연구에 활용되었으나, 최근 AI, 빅데이터, 클라우드 컴퓨팅의 확산으로 인해 방대한 데이터를 병렬적이고 안정적으로 처리할 필요성이 커지면서 다시 주목받고 있다.…

정지 문제의 판정 불가능성은 1936년 앨런 튜링에 의해 처음으로 증명되었다. 비슷한 시기인 1936년 4월, 알론조 처치 또한 람다 셈법을 이용하여 판정 불가능한 문제가 존재함을 독립적으로 증명하였다. 튜링의 증명은 같은 해 5월에 출판되었으며, 현대적인 컴퓨터의 모델인 튜링 기계 개념을 도입하여 문제를 정형화했다는 점에서 큰 의의를 갖는다. '정지(Halting)'라는 용어는 튜링이 직…

하얀 코끼리(White Elephant)는 외관은 훌륭하나 유지 및 관리에 막대한 비용이 들어 경제적 가치가 없거나 처치 곤란한 자산 또는 물건을 비유하는 말이다. 고대 태국에서 국왕이 마음에 들지 않는 신하에게 흰 코끼리를 하사하여 경제적 파산을 유도했다는 설화에서 유래했다. 현대에는 주로 올림픽이나 월드컵 등 대규모 국제 행사 이후 활용 방안을 찾지 못해 적자를 내는 대형 시설물을 지칭…

웰링턴 공항(Wellington Airport)은 뉴질랜드의 수도 웰링턴에 위치한 국제공항이다. 시내 중심에서 남동쪽으로 약 5.5km 떨어진 롱고타이(Rongotai) 지역에 자리 잡고 있으며, 오클랜드 공항과 크라이스트처치 공항에 이어 뉴질랜드에서 세 번째로 분주한 공항이다. 에어 뉴질랜드와 사운즈 에어의 허브 공항 역할을 수행하며, 뉴질랜드 북섬과 남섬을 잇는 항공 교통의 핵심 거점이…

열사병은 과도한 고온 환경에 노출되거나 더운 환경에서 작업 또는 운동을 할 때 신체의 열 발산이 원활히 이루어지지 않아 발생하는 고체온 상태를 말한다. 심부체온이 40℃ 이상으로 상승하며 중추신경계의 기능 이상을 동반하는 것이 특징이다. 이는 여러 장기를 손상시킬 수 있는 응급 상황으로, 즉각적인 처치가 이루어지지 않을 경우 사망률이 매우 높다.

제임스 데이비드 밴스(James David Vance, 1984년 8월 2일 ~ )는 미국의 정치인, 작가, 변호사로 제50대 부통령이다. 공화당 소속으로 오하이오주 연방 상원의원을 지냈으며, 2024년 대통령 선거에서 도널드 트럼프의 러닝메이트로 당선되어 2025년 취임하였다. 유년 시절의 빈곤과 극복 과정을 담은 회고록 《힐빌리의 노래》를 통해 대중적 인지도를 얻었으며, 국가보수주의적…

동지중해 안보는 지중해 동부 해역의 주요 항로와 에너지 수송로를 보호하고, 인접국 및 강대국 간의 군사적 균형을 유지하는 체계를 의미한다. 수에즈 운하와 연결되는 지정학적 특성상 유럽의 경제적 요충지로 평가받으며, 냉전기부터 해군력을 바탕으로 한 세력 경쟁이 지속되어 왔다. 최근에는 해저 에너지 자원 개발과 배타적 경제수역(EEZ) 획정을 둘러싼 터키, 그리스, 사이프러스 등 연안국 간의…

유니세프(UNICEF)는 1946년 12월 11일 설립된 국제연합(UN) 산하 기구이다. 정식 명칭은 유엔아동기금(United Nations Children's Fund)이며, 전 세계 어린이의 권리 보호와 복지 증진을 목적으로 한다. 제2차 세계대전 직후 전쟁 피해 아동을 돕기 위한 긴급 구호 기구로 출발했으나, 1953년 상설 기구가 된 이후 개발도상국 아동의 보건, 영양, 교육 등으로…

미국 의원 제명은 미국 연방 헌법 제1조 제5항 제2절에 따라 상원과 하원이 각각 소속 의원을 퇴출하는 행위이다. 이는 의회가 의원에게 내릴 수 있는 가장 무거운 징계 조치로, 재적 의원 3분의 2 이상의 찬성을 필요로 한다. 주로 심각한 법적·윤리적 위반이나 국가에 대한 반역 행위가 발생했을 때 의회의 무결성을 보호하기 위해 시행된다.