http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
신홍철(Shin Hong-Choll),금교은(Kum Kyo-Eun) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅳ
본 논문은 λμ-해석을, 회로를 이용한 카테고리적 언어로 재구성하여 λμ^*-해석이라 부르고 있다. 이때의 회로는 함수적인 흐름의 내적상태를 수반하여, 이것은 회로 카테고리에 의하여 논리식을 계산하는 데 매우 핵심적인 역할을 한다. 우리는 λμ*-해석을 실용적인 면으로서의 형할당 시스템으로 간주하고 있다. 최근의 논리식 계산은 항을 축약하는 데 매우 고도의 데이터 구조와 알고리즘을 요구하고 있다. 이에 형할당 λμ*-해석에 대한 카테고리는 매우 유용하며 이는 변수를 지닌 언어를 변수없는 언어로 컴파일하는 또 하나의 방법이다. 또한 본 논문은 λμ*-해석으로 !-분배카테고리의 Γ(ILL*)를 모델링하였는데, 이 모델은 카테고리적 모델일 뿐 아니라 회로 카테고리 Circ(ILL*)로써 표현 가능하다.