• 한국언어정보학회지:언어와정보
• /
• 제9권2호
• /
• pp.85-105
• /
• 2005

This study aims at investigating the 'verb-second' phenomena indicated in complex sentences of medieval Spanish. Especially, when the complex sentence is composed of a preposed adverbial clause and its succeeding main clause, the subject inversion is noticeable in the latter. The fundamental motive of this type of inversion is due to the 'verb-second' structure, in which a topic appears in the first position and the verb immediately after the topic. So it can be said that the subject inversion is a prerequisite for a verb to be located in the second position when the adverbial clause functions as a topic to the main clause, as is often the case with Germanic languages like German, Dutch, etc.. On the contrary, modern Spanish complex sentences do not show this phenomenon, with a strong tendency to locate a grammatical subject in the preverbal position. Therefore, medieval Spanish might be typologically closer to Germanic languages than to modern Spanish. In order to argue for this assumption, the formal and functional criteria by which the preposed adverbial clause could be defined as a topic NP will be examined across the comparition with left-dislocation structure.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권1_2호
• /
• pp.164-172
• /
• 2003

웹 서비스에 대한 구현이 많이 늘고 있다. 웹 서비스는 각 프로그래밍 언어에서 XML를 이용해서 원격 호출을 한다. 이때 사용하는 대표적인 프로토콜이 SOAP으로써 본 논문에서는 nML 프로그래밍 환경에서 SOAP 클라이언트 구현을 제시한다. nML은 한국과학기술원 ROPAS에서 만든 SML과 OCaml의 한국형 함수형 언어이다. nML에서의 soaptype 타입으로 SOAP 값을 정의한다. SOAP은 XML Schema에 의해서 객체에 대한 인코딩이 정의된다. 즉 XML Schema가 SOAP 값의 유효성을 판단한다. 본 논문은 XML Schema의 엘리먼트와 타입에 대한 정의로써 element와 typeinfo 타입을 정의한다. 그리고 상호호환성 테스트를 통하여 안전하게 다른 언어와 대응됨을 보인다.

• 대한의용생체공학회:의공학회지
• /
• 제27권4호
• /
• pp.170-179
• /
• 2006

The purpose of this study was to investigate the spatiotemporal cortical activation pattern and functional connectivity during visual perception of words. 61 channel recordings of electroencephalogram were obtained from 15 subjects while they were judging the meaning of Korean, English, and Chinese words with concrete meanings. We examined event-related potentials (ERP) and applied independent component analysis (ICA) to find and separate simultaneously activated neural sources. Spectral analysis was also performed to investigate the gamma-band activity (GBA, 30-50 Hz) which is known to reflect feature binding. Five significant ERP components were identified and left hemispheric dominance was observed for most sites. Meaningful differences of amplitudes and latencies among languages were observed. It seemed that familiarity with each language and orthographic characteristics affected the characteristics of ERP components. ICA helped confirm several prominent sources corresponding to some ERP components. The results of spectral and time-frequency analyses showed distinct GBAs at prefrontal, frontal, and temporal sites. The GBAs at prefrontal and temporal sites were significantly correlated with the LPC amplitude and response time. The differences in spatiotemporal patterns of GBA among languages were not prominent compared to the inter-individual differences. The gamma-band coherence revealed short-range connectivity within frontal region and long-range connectivity between frontal, posterior, and temporal sites.

• 한국컴퓨터정보학회논문지
• /
• 제3권1호
• /
• pp.25-34
• /
• 1998

함수 언어에서 병렬성을 표현하는 주된 기법으로는 스트릭트니스 분석과annotation이 있다. 스트릭트니스 분석은 번역기가 병렬성 탐색을 수행하여 탐색된 정보를 목적 프로그램에 표현하는 기법이며, annotation은 프로그래머에게 병렬성 탐색을 맡겨서 원시프로그램에 표현하도록 하는 기법이다. 본 연구는 annotation에 관한 것으로 annotation 구문을 가지는 원시함수 언어와 이를 위한 번역기의 전반부를 설계하고 구현하는 것을 목적으로 한다. 번역기의 전반부는 원시함수언어 프로그램을 중간 언어인 확장 람다계산 프로그래프로 번역한다 번역기는 UNIX 환경에서 컴파일러 자동화 도구인 YACC, Lex를 사용하여 C로 구현한다. 본 논문에서는 번역기에 사용된 구현기법에 대해서 기술한다.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1262-1272
• /
• 1996

순수 함수언어는 참조적 투명성을 가지고 있으므로 모든 객체에 대한 직접적 인 갱신이 불가능하다. 배열과 같은 집단자료구조가 갱신되면, 참조적 투명성을 유지하기 위하여 원래의 배열과 갱신된 배열이 모두 유지되어야 한다. 따라서 모든 자료에 대한 참조적 투명성을 유지하면서 자료의 유지 비용을 줄일 수 있는 효과적 인 방법의 개발이 요구되고 있다. 본 논문에서는 이러한 문제를 해결하기 위한 함수형 배열을 제시하고, 검증하고자 하였다. 이와 같은 검증을 위해서, 제안된 방법을 컴비네이터 그래프 감축기 상에서 구현하였다. 제안된 방법에서 배열 연산에 대한 탐색시간을 줄 일 수 있었으며, 갱신 비용과 최근 버전에 대한 접근은 갱신된 자료를 실행시간에 재 구성하는 과정 없이 상수시간에 가능하였다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2005년도 춘계 종합학술대회 논문집
• /
• pp.464-469
• /
• 2005

일반적으로 게임 프로그램을 구현할 때 C언어와 같은 명령형 프로그래밍 언어가 주로 사용된다. 하지만 복잡하고 다양한 그림의 모습 및 동작을 표현하기에는 프로그래머의 많은 노력이 요구된다. 복잡한 게임 프로그램을 보다 간결하고 명확하게 표현하는 방법으로 순수 함수형 언어인 Haskell을 이용하는 방법을 시도한다. Haksell과 같은 순수 함수형 프로그래밍은 기술적인 우수성을 가지고 있으며, 현재 많은 분야에서 특화된 언어로 되고 있다. 본 논문에서는 동일한 게임을 Haskell과 C로 직접 구현함으로서, 게임 개발 측면에서 두 언어의 차이점과 장단점에 대해서 논의한다. 또한 향후 Haskell의 실용화 가능성에 대해서도 논의한다.

• 한국콘텐츠학회논문지
• /
• 제20권7호
• /
• pp.274-281
• /
• 2020

본 연구는 4-gram 연어분석으로 남북한 고등학교 영어교과서를 비교분석하고자 하는 것이 목적이다. N-gram 분석은 그동안 우리가 알고 있는 관습적인 관용어와는 달리 코퍼스를 구성하여 기계적인 방법으로 물리적으로 함께 공기하는 빈도가 높은 낱말군을 객관적인 방법으로 추출하여 분석하는 것이다. 본 연구의 목적은 AntConc의 N-gram 분석 도구로 4-gram 연어를 남북한 영어교과서 코퍼스에서 찾아서 비교 분석해 보는 것이다. 분석의 대상은 북한의 2013 교육개혁에 따른 북한 고등중학교 영어교과서와 남한의 2015교육과정에 따른 고등학교 영어교과서로 구성된 코퍼스에서 구어와 문어의 token과 type을 구분하여 분석 비교한다. 이를 분석대상으로 하여 코퍼스의 4-gram 연어를 문법범주와 기능범주로 나눈 준거를 통해서 분석하였다. 문법범주는 크게 명사구, 동사구, 전치사구, 부분절 그리고 기타로 나누어 범주화하고 기능범주는 지칭, 텍스트의 조직, 입장과 기타로 나누었다. 분석한 결과 4-gram 연어에 나타난 구어와 문어 모두 남한의 영어교과서가 북한의 영어교과서 보다 token과 type의 수가 상대적으로 많았다. 그리고 문법범주에는 남북한 모두 영어교과서에 동사구와 부분절 형태의 4-gram 연어가 가장 많았으며 기능범주에는 남북한 모두 영어교과서에 입장 기능과 관련된 4-gram 연어가 가장 많았다.

• 디지털콘텐츠학회 논문지
• /
• 제19권4호
• /
• pp.809-814
• /
• 2018

클라우드 컴퓨팅 기반 인프라가 확산됨에 따라, 서비스 프로바이더는 온-디맨드 방식의 서비스 배포가 가능해졌다. 최근 클라우드형 인프라의 자원 확장성 효율을 극대화하기 위해 마이크로 서비스 구조가 주목받고 있다. 모든 서비스 기능을 하나의 소프트웨어로 구현하는 대신 필요한 서비스를 효율적으로 설계된 Application Programming Interface (API)를 통해 연동함으로써 쉽고 자율적으로 구현할 수 있고, 기능의 요구사항에 맞는 프로그래밍 언어, 소프트웨어, 기능구조를 자유로이 정할 수 있다. 본 논문에서는 마이크로 서비스 구조를 기반으로 가상 인프라 매니저 서비스를 설계하고 제안된 구조가 부하에 따라 효율적으로 스케일링이 가능함을 실험을 통해 검증한다.

• 한국정보처리학회논문지
• /
• 제4권3호
• /
• pp.846-858
• /
• 1997

순수 함수형 프라그래밍 언어는 명확한 어의와 많은 특성에도 불구하고 상태의 표현이 어렵다는 문제점을 가지고 있다 이와 같은 문제로 인힝순수 함수형 언어에 상태를 표현 하기 위한 많은 연구가 진행되었으나 형시스템이나 감축규칙이 복잡하기 때문에 구현이 어렵다는 문제점이 발생된다. 따라서 효율적인 구현기 위해 감축규칙을 단순화시키고 상태를 효율적으로 관리할 수 있는 방안이 요구 된다. 본 논문에서는 순수 함수형 언어 의 성질을 침해함이 없이 상태를 표현할 수 있으며 감축규칙을 단순화 시킨 함수형 언어의 수행모델st-계산을 제안하고, 제안된 모델이 church-roser 정리를 만족함을 증명 하였다. 제안된 방법을 통해 구문구조의 표현력을 높일 수 있었으며, 감축규칙을 단순화 함으로써 구현이 용이할 것으로 기대된다.

• 한국산업보건학회지
• /
• 제19권2호
• /
• pp.156-169
• /
• 2009

In this study, the authors introduced DASH (Disabilities of the arm, shoulder, and hand), which had been developed for evaluating the functional impairment in the movement of upper extremities in regular daily activities, work ability and sports/performing arts ability. It is an ergonomic risk assessment tool used for industrial workers and also a disability measurement tool for upper extremity disorders arising from musculoskeletal disorders and symptom. This study intended to examine the applicability of DASH in occupational health field. Firstly, DASH development process and composition were reviewed through The DASH outcome measure user's manual and early articles. Secondly, reliability, validity, and responsiveness of the DASH in various languages at the application stage as well as its reliability and validity at the early stage of development were investigated. Thirdly, focusing on the application of DASH to clinical cases, workers with musculoskeletal symptoms, healthy workers, workers with other diseases, and general population were discussed besides workers with major musculoskeletal disorders. Lastly, DASH questionnaire was examined for its potential as a reference for assessing the functional impairment in the movement of upper extremities of workers with musculoskeletal symptoms in industrial workers in Korea.