• 한국정보통신학회논문지
• /
• 제5권1호
• /
• pp.192-201
• /
• 2001

순수 함수형 언어의 선언적 특성과 지인 계산의 특성을- 유지하면서 side-effect, 입출력, 예외처리, 비절정성 등을 프로그래밍 하는 것은 순수 함수형 프로그래밍 연구의 오랜 숙제였다. 1989년에 개발된 모나드 프로그래밍 기법은 이 문제를 해결할 수 있는 가능성을 제시하고 있다. 본 고에서는 함수형 모나드 프로그래밍의 기본원리와 순수 함수형 언어 Haskell을 이용한 여러 응용 프로그래밍 기법에 대해서 소개한다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.358-369
• /
• 2002

This paper presents a unified account of three kinds of constructions in which more than one NP can show up with the same case in simple sentences in Japanese and Korean: double subject, double nominative object and double accusative constructions. Noting that the second NPs in these constructions are functional or relational, this paper proposes to assign them the category and type different from the first NPs. We show the derivations of these three constructions in a parallel manner, and explain the asymmetries in extractability between possessor and possessed NPs in relativization.

• 대한전자공학회논문지
• /
• 제27권12호
• /
• pp.1906-1915
• /
• 1990

A synthesis system generating sequential circuits from a high-level hardware descdription language CHDL, modelling language for Thor functional/behavioral simulator, is developed. In this paper, we describe the semantic analysis process, state minimization and state assignment algorithms. proposed assignment algorithm generates optimal state vectors using constraint matrix and similarity graph. Expremental results for MCNC benchmarks, standard test circuits, show that the system inplementing the proposed algorithms can be a viable tool for designing large finite state machines.

• 한국영어학회지:영어학
• /
• 제1권3호
• /
• pp.477-496
• /
• 2001

Arguing against Burzio's (1986) and Levin and Rappaport Hovav's (1995) proposal that verbs that occur in the there-construction are unaccusative ones, Takami and Kuno (2000) point out counter-examples to their proposal and put forth a functional characterization of the class. This paper proposes that the class of there-construction verbs can be characterized in terms of the concept of unaccusativity, where verbs can be determined to be unaccusative depending on their contexts. More specifically, it proposes that only such verbs can be there-construction verbs as are unaccusative in a restrictive approach to argument structure as in Hale and Keyser (1993a).

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1990년도 제2회 한글 및 한국어정보처리 학술대회
• /
• pp.164-171
• /
• 1990

A commutative productive category is proposed to the current CCG for the syntactic analysis of free word order languages like Korean. The introduction of this sort of category is quite natural for categorial lexicon and functional operations. We present the theorical basis of productive category and examine the linguistic availability through typical syntactic structures of Korean.

• 한국컴퓨터정보학회논문지
• /
• 제11권2호
• /
• pp.7-13
• /
• 2006

시멘틱 웹의 대두로 인해 웹 상에서 데이터를 접근 할 수 있는 방법도 다양화 되었다. 이에 현재 진행되고 있는 웹 온톨로지 뿐만 아니라 기존에 구축된 지식베이스 시스템에 접근하여 데이터를 핸들링 할 수 있는 모델이 필요하다. 웹 온톨로지를 표현하기 위한 언어로 RDF(Resource Description Framework), DAML-OIL, OWL(Web Ontology Language)등이 사용되고 있다. 본 논문은 웹 온톨로지와 기존의 구축된 지식 베이스의 데이터를 접근, 표현 및 처리할 수 있는 온톨로지 객체 모델의 생성과 그 방법에 관한 것이다. 웹 온톨로지에 대한 접근 방법으로 각각의 언어에 맞는 파서(Parser)를 이용하여 메모리 상에 모델을 생성하여 접근하게 되어 있는 기존의 방법과는 다르게 본 논문에서는 웹 온톨로지를 표현하기 위한 모델을 계층별로 구별하여 프레임 기반의 상위 온톨로지(frame-based ontology layer), 다른 도메인에서도 사용이 가능한 공통된 어휘(vocabulary)를 표현한 핵심 온톨로지(generic ontology layer)와 각각의 온톨로지 언어에 의존적인 어휘를 표현한 기능 온톨로지(functional ontology layer)로 구성한다. 이는 표현의 중복을 없애고 재 사용성을 높이기 위한 모델을 제공함으로써, 외부 어플리케이션(온톨로지 추론, 온톨로지 병합, 온톨로지 저작 도구 등)에서의 온톨로지에 대한 쉬운 지식 표현과 접근 및 핸들링을 제공할 수 있다.

• 한국정보처리학회논문지
• /
• 제2권5호
• /
• pp.733-745
• /
• 1995

본 연구는 함수언어의 번역기 개발을 목적으로 한다. 이를 위하여 지연어의를 갖 는 원시함수 언어를 정의하고 그것의 번역기를 설계, 구현, 평가한다. 함수프로그램의 실행모형은 G-기계를 기반으로 한 컴비네이터 그래프축소이다. 번역기는 전체 4단계로 구성되며 원시프로그램을 C를 사용한 목적프로그램으로 번역한다. 번역기의 첫 번째 단계에서는 원시프로그램을 확장람다계산 그래프로 번역하고, 두 번째 단계에서 수 퍼컴비네이터그래프로 변환하고, 세 번째 단계에서 G-기계어 프로그램으로 번역하고, 마지막 단계에서 G-기계어 프로그램을 C로 번역한다. 생성된 목적 프로그램은 C 컴파 일러에 의해서 실행 프로그램은 번역한다. 번역기 구현은 UNIX환경에서 컴파일러 자동 화 도구인 YACC, Lex를 이용하여 구문분석기, 어휘분석기를 구현하고, 그 외의 루틴은 C로 구현한다. 본 논문에서는 번역기에 사용된 구현기법과 수행결과를 기술한다.

• 대한의용생체공학회:의공학회지
• /
• 제29권4호
• /
• pp.272-277
• /
• 2008

Functional MRI technique was used in this study for examining the language switching mechanisms between the first language (L1) and the second language (L2). Language switching mechanism is regarded as a complex task that involves an interaction between L1 and L2. The aim of study is to find out the brain activation patterns during the phonological process of reading real English words and English words written in Korean characters in a bilingual person. Korean-English bilingual subjects were examined while they covertly read four types of words native Korean words, Korean words of a foreign origin, English words written in Korean characters, and English words. The fMRI results reveal that the left hemispheric language-related regions at the brain, such as the left inferior frontal, superior temporal, and parietal cortices, have a greater response to the presentation of English words written in Korean characters than for the other types of words, in addition, a slight difference was observed in the occipital-temporal lobe. These results suggest that a change in the brain circuitry underlying the relational processes of language switching is mainly associated with general executive processing system in the left prefrontal cortex rather than with a similarity-based processing system in the occipital-temporal lobes.

• 한국융합학회논문지
• /
• 제12권11호
• /
• pp.1-18
• /
• 2021

내용어 기반 빈도 분석은 의도적 기만이나 반어적 표현에 분명한 한계가 있지만, 많이 사용되는 한국어 분석 프로그램인 KLIWC는 기능어 분석을, KrKwic는 동시출현빈도를 시각화하는 방법으로 발전했다. 하지만 개발된 지 십수 년이 지나 여러 문제점으로 개선이 필요한 상황이다. 그래서 KLIWC와 KrKwic를 분석하여 새 심리학적 언어분석 프로그램을 개발하고자 하였다. 첫째로 두 프로그램의 특징을 분석하였다. 특히, 기능어 분석기능 제고를 위해서 KLIWC와 한국어 형태소 분석기의 형태소 분류를 비교하였고, 심리적 분석의 강화를 위해 심리사전의 구조와 체계를 분석하였다. 분석 결과 한나눔 품사 분석기가 가장 세분화되었지만, 인칭대명사에서는 KLIWC가, 어미와 어말어미에서는 KKMA의 품사 분류가 더 세분화되어 있어, 기능어 분석 강화를 위해 여러 품사 분석기의 통합적 사용을 제안하였다. 둘째로 이 프로그램들로 텍스트를 분석한 연구들의 연구동향을 분석하였다. 분석 결과 두 프로그램이 복합학 분야 등 다양한 학술분야에서 사용되고 있었다. 특히 논문과 보고서의 분석에는 KrKwic가 많이 사용되었고, 글쓴이의 생각, 정서, 성격 비교 연구에는 KLIWC가 많이 사용되었다. 이 결과를 바탕으로 새로운 심리학적 언어분석 프로그램의 필요성과 개발 방향에 대해 제언하였다.

• 한국정보처리학회논문지
• /
• 제7권3호
• /
• pp.962-970
• /
• 2000

Multithreading is attractive in that it can tolerate memory latency and synchronization by effectively overlapping communication with computation. While several compiler techniques have been developed to produce multithreaded codes from functional languages programs, there still remains a lot of works to implement loops effectively. Executing lops in a style of multithreading usually causes some overheads, which can reduce severely the effect of multirheading. This paper suggests several methods in terms of architectures or compilers which can optimize loop execution by multithreading. We then simulate and analyze them for the matrix multiplication program.