항목
-
코로나바이러스감염증-19 신종코로나바이러스감염증, COVID-19감염증-19 치료제의 효과를 2배 이상 무력화하고 증증 질환과 사망률을 증가시키는 것으로 발표되었다. 이 변이형은 후에 '엡실론 변이'로 명명되었다. 람다 변이(Lambda variant) 2020년 12월 페루에서 처음 보고된 이래, 2021년 4월에는 인접 국가인 아르헨티나, 브라질, 칠레, 에콰도르, 콜롬비아 등 남아메리카 전역...
- 분류 :
- 호흡기 증후군
- 공식명칭 :
- 코로나바이러스감염증-19(COVID-19)
- 발생 부위 :
- 폐, 심장, 신장
- 증상 :
- 고열, 근육통, 마른기침, 인후통, 호흡곤란
- 진료과 :
- 감염내과, 호흡기내과
- 관련 질환 :
- 중증급성호흡기증후군(SARS), 중동호흡기증후군(MERS), 급성 폐렴
-
유형 람다 계산 typed λ-calculus유형 (σ→τ)의 λ식이다. 부동점 연산자(λ정의 가능함수 참고)는 유형 λ계산에서는 λ식이 되지 않기 때문에 임의귀납적 함수를 표현할 수는 없다. 실제로, 유형 람다 계산의 변환(λ식의 변환 참고)은 유한회로 정지한다. 유형 람다 계산은 마틴 레프의 유형 이론 등 직관논리와 깊은 관계가 있다. 〈참조어〉 형이론
- 분야 :
- 소프트웨어 기초
-
람다-계산계 λ-계산계, lambda calculus함수의 정의, 추출, 작용, 대입, 평가 등의 작용을 조사하는 조작적 연구의 분야로서 1930년대 처치 등이 함수의 추출과 대상에의 함수의 작용을 형식화한 체계. λ-계산계를 생각하여 이 체계에서 정의되는 함수 전체가 귀납적 함수의 클래스와 일치하는 것을 나타냈다. λ-기입법은 그 중에서 이용되었던 표기법이며...
- 분야 :
- 소프트웨어 기초
-
람다 식 lambda expression람다, 매개변수, 수행될 내용. 일반적으로 함수가 그 함수에 대한 이름을 갖는데 반해 람다 식에서는 함수 이름이 존재하지 않기 때문에 람다는 함수를 나타내는 지정어로 사용되는데 방정식의 논리(equational logic)로 표현될 때에는 λ기호를 사용하며 LISP와 같은 프로그래밍 언어에서는 Lambda를 사용한다. 매개...
- 분야 :
- 프로그래밍
-
람다 교환 -交換, lambda switchingDWDM)과 같은 기술과 연계하여 하나의 광 경로가 하나의 가상 회선(virtual circuit) 기능을 한다. ‘파장 라우터’혹은 ‘광 교차 접속(OXC)’이라 부르는 람다 라우터는 망 접합 부분에서 한 광섬유 다발로부터 하나의 광 파장을 꺼내 다른 경로의 광 다발에 재결합시키는 일을 한다. 람다는 파장을 나타내는 그리스...
-
람다그리드 LambdaGrid람다(Lambda)가 컴퓨터 자원 간에 종단간 접속(lightpath)을 실현하는 그리드(Grid). 람다는 광섬유상에서 WDM(Wavelength Division Multiplex)에 의하여 만들어진 다수의 파장(현재는 2.5Gbps 또는 10Gbps) 자체를 말한다. 그래서 람다는 종래의 통신 용량을 대폭 향상시킨 큰 용량을 제공할 수 있는 단위를 의미하기도...
-
박테리오파아지 람다 bacteriophage λ대장균에 감염하는 Styloviridae과에 속하는 용원성 박테리아파아지. 머리는 직경 약 55nm인 정20면체이고 2개의 주된 단백질(gpE, gpD)과 여러 개의 소수 단백질(gpB, gpC, gpFII)로 구성되어 있다. 관상의 꼬리는 길고 비수축성이다. 머리는 ‘목’ 또는 ‘연결자’ 부위와 연결되고 하나의 섬유(흡수기관)가 부착된...
-
람다-기법 λ-기법, lambda notation처치가 λ-계산계를 구성하면서 이용한 기법. 함수표현을 엄밀하게 취급할 목적으로 통상 “f(x)”라고 쓰는 표현이 나타나는 2개의 의미, 즉 함수 f의 x에 대한 값과 함수 f 자신과를 구별하고 후자를 “λx.f(x)”와 같이 표현한다. 〈참조어〉 람다-계산계
- 분야 :
- 소프트웨어 기초
-
람다 계산 λ 계산, lambda calculus1930년에 논리학자 Alronzo Church에 의해 전개된 수학적 형식론으로 속박변수(bound variable)들을 위한 값들의 대입을 수학적 개념으로 다룬 방식. λ산법이라고도 한다.
- 분야 :
- 프로그래밍, 수학
-
람다-정의 가능성 λ-정의 가능성, lambda definability계산 가능성에 대한 정의 방법의 하나. 처치가 도입한 개념으로 λ-계산계에서 식의 변환을 개입하여 정의한다. 귀납적 함수나 튜링 기계에 의한 계산가능성과 같은 개념인 것이 알려져 있다.
- 분야 :
- 소프트웨어 기초
