http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 변석우 (검색결과 77 건)
- 무료
- 기관 내 무료
- 유료
-
-
-
변석우,Byun, Sug-Woo 한국정보과학회 2008 정보과학회논문지 : 시스템 및 이론 Vol.35 No.3
대부분의 함수형 프로그래밍 언어에서는 '위에서 아래쪽, 왼쪽에서 오른쪽 방향으로' 패턴 매칭(pattern matching)을 한다는 전략에 따라, 모호한(ambiguous) 특성을 갖는 룰의 정의를 허용하고 있다. 이 방법은 함수형 프로그래머에게 디폴트 룰을 정의할 수 있게 하는 직관적인 편리함을 제공하지만, 한편으로 모호한 룰 때문에 함수형 언어의 의미는 불명확해 질 수 있다. 좀 더 구체적으로, 함수형 언어가 갖는 대표적인 특성인 등식 추론(equational reasoning) 원리의 적용을 불가능하게 할 수 있으며, 함수형 언어를 람다 계산법으로 변환하는 데 있어서도 정형적인 방법이 아닌 임시방편적인(ad hoc) 방법에 의존할 수밖에 없게 한다. 본 연구에서는 지연(lazy) 함수형 언어의 패턴 매칭의 의미를 순수 선언적 특성을 갖는 항 개서 시스템(Term Rewriting Systems)의 분리성(separability) 이론과 연관시키고, 분리성 이론에 따라 지연 함수형 언어가 람다 계산법으로 변환될 수 있음을 보인다. Most functional programming languages allows programmers to write ambiguous rules, under the strategy that pattern-matching will be performed in a direction of 'from top to bottom' way. While providing programmers with convenience and intuitive understanding of defining default rules, such ambiguous rules may make the semantics of functional languages unclear. More specifically, it may fail to apply the equational reasoning, one of most significant advantage of functional programming, and may cause to obscure finding a formal way of translating functional languages into the ${\lambda}$-calculus; as a result, we only get an ad hoc translation. In this paper, we associate with separability of term rewriting systems, holding purely-declarative property, pattern-matching semantics of lazy functional languages. Separability can serve a formalism for translating lazy functional languages into the ${\lambda}$-calculus.
-
변석우,신동하,Byeon, Seok-U,Sin, Dong-Ha 한국전자통신연구원 1996 전자통신동향분석 Vol.11 No.3
Girard에 의해서 1987년에 처음 소개된 선형 논리(linear logic)는 컴퓨터 사이언스에 큰 관심을 불러 일으키며 빠르게 발전하고 있다. 선형 논리는 상태 및 자원을 논리적 수준에서 다루고 있는 특징이 있다. 본 고에서는 선형 논리의 의미, 동기 및 특성을 소개하며, Gentzen의 시퀀트 계산법과 Prawitz의 자연 연역법 사이의 연관성 및 여러 증명 사이의 '같음'에 대한 개념을 컷제거 정리 측면에서 논의하고, 이러한 개념에 의하여 선형 논리의 증명이 증명망으로서 표현될 수 있음을 보인다.
-
변석우 한국정보기술학회 2014 한국정보기술학회논문지 Vol. No.
We discuss the implementation of operational and denotational semantics as an interpreter, using a pure-functional language Haskell. We show the implementation of semantics by Haskell can be made in a concise and direct coding. We also deal with a method that the state transition of operational semantics is programmed by applying state monad. Understanding state monad, as one of core monads, could help to understand IO, Parser, and other monads which have similar structure to the state monad. The purpose of this research is to help to understand clearly monadic programming and semantics of programming languages, which are abstract and theoretic, through the implementation of monadic interpreters. We believe various implementations and their comparison could be an effective way to achieve this purpose. 본 연구에서는 명령형 언어의 동작 의미론과 명시적 의미론을 순수 함수형 언어 Haskell을 이용하여 인터프리터로 구현하는 과정을 논의한다. Haskell을 이용함으로써 의미론의 구현을 간결하고 직접적으로 코딩할 수 있음을 보인다. 또한 동작 의미론의 상태 변환을 상태 모나드 기법을 적용하여 구현되는 기법을 다룬다. 상태 모나드는 핵심적 모나드로서, 상태 모나드를 이해하는 것은 유사한 구조를 가지고 있는 입출력 모나드나 파서 모나드 등의 다른 모나드를 이해하는 데 도움을 줄 수 있다. 본 연구의 목적은 추상적이고 이론적인 프로그래밍 언어의 의미론을 모나드로 구현함으로써 이 두 분야의 이해도와 접근성을 용이하게 하는 데 있다. 다양한 구현 방법과 이들의 비교는 이 목적 달성을 위한 효과적 방법이라고 보여진다.
-
변석우 한국정보과학회 2008 정보과학회논문지 : 시스템 및 이론 Vol. No.
Most functional programming languages allows programmers to write ambiguous rules, under the strategy that pattern-matching will be performed in a direction of ‘from top to bottom’ way. While providing programmers with convenience and intuitive understanding of defining default rules, such ambiguous rules may make the semantics of functional languages unclear. More specifically, it may fail to apply the equational reasoning, one of most significant advantage of functional programming, and may cause to obscure finding a formal way of translating functional languages into the λ-calculus; as a result, we only get an ad hoc translation. In this paper, we associate with separability of term rewriting systems, holding purely-declarative property, pattern-matching semantics of lazy functional languages. Separability can serve a formalism for translating lazy functional languages into the λ-calculus. 대부분의 함수형 프로그래밍 언어에서는 ‘위에서 아래쪽, 왼쪽에서 오른쪽 방향으로’ 패턴 매칭(pattern matching)을 한다는 전략에 따라, 모호한(ambiguous) 특성을 갖는 룰의 정의를 허용하고 있다. 이 방법은 함수형 프로그래머에게 디폴트 룰을 정의할 수 있게 하는 직관적인 편리함을 제공하지만, 한편으로 모호한 룰 때문에 함수형 언어의 의미는 불명확해 질 수 있다. 좀 더 구체적으로, 함수형 언어가 갖는 대표적인 특성인 등식 추론(equational reasoning) 원리의 적용을 불가능하게 할 수 있으며, 함수형 언어를 람다 계산법으로 변환하는 데 있어서도 정형적인 방법이 아닌 임시방편적인(ad hoc) 방법에 의존할 수 밖에 없게 한다. 본 연구에서는 지연(lazy) 함수형 언어의 패턴 매칭의 의미를 순수 선언적 특성을 갖는 항 개서 시스템(Term Rewriting Systems)의 분리성(separability) 이론과 연관시키고, 분리성 이론에 따라 지연 함수형 언어가 람다 계산법으로 변환될 수 있음을 보인다.
-
-
-
-
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
