http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
공창국(Chang-Kug Kong),유재우(Chae-Woo Yoo),송후봉(Hoo-Bong Song) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.2
최근 처리 속도를 개선할 수 있는 여러 가지 최적화 기술의 발전과, 병렬 처리 시스템으로의 응용이 용이함으로 인하여 함수 언어에 대한 관심이 고조되어 가고 있다. Miranda™는 함수 언어의 교육과 단기간의 소프트웨어 프로토타입에 널리 이용되고 있는 언어로 기존의 imperative 언어의 대안이 되는 현대적인 언어의 특성을 대부분 갖춘 언어이다. 아직은 폭넓은 응용 분야에 적용하기는 어려우나, 함수 언어에 대한 실제적인 연구와 구현이 필요하게 되었다. Miranda/S를 설계 및 구현함에 있어, lambda calculus, lambda lifting, combinator logic 등과 같은 새로운 차원의 구현 기법이 요구되어 먼저 이에 대한 연구가 선행되었으며 이를 바탕으로 파서 설계도구를 이용하여 Miranda/S를 구현하였으며 4 3BSD UNIX 시스템에 설치 운영하였다.
고희진(Hee-Jin Koh),공창국(Chang-Kug Kong),유재우(Chae-Woo Yoo),송후봉(Hoo-Bong Song) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.1
지금까지 함수언어의 수행시간에 대한 개선은 주로 하드웨어적인 측면에서 이루어져 왔다. 본 논문에서는 다중 추출규칙(multi-abstraction rule)과 S^m_n, K^m_n, I^m_(n,1), B^m_n, C^m_n등과 같은 multi-combinator를 제안함으로서, 추출과정에서 추출되는 combinatory code의 길이를 줄이고 함수언어의 수행시간을 개선하였다. 본 논문에서는 제안하고 있는 다중추출규칙은 매우 적은 길이의 combinatory code를 만들어내며, SK multi-combinator는 기존 supercombinator에서만 가능한 multiple reduction을 수행할 수 있다.