• Language and Information
• /
• v.9 no.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.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.164-172
• /
• 2003

Web service implementations are now rapidly growing. Web services are easily achieved by XML messaging for most programming languages. Applications usually utilize web services through APIs tied to a specific implementation of SOAP. nML is a dialect of SML and OCaml made in ROPAS. The soaptype type in nML is defined for the value of SOAP encoding. SOAP encoding specification defines rules for serialization of a graph of typed objects using XML Schema. XML Schema validates XML SOAP value. The soaptype type is encoded to XML and decoded from XML. It is necessary to guarantee safe encoding and decoding. So, the definitions for element and type definition in XML Schema are specified by element type and typeinfo type, which include the part of the definitions of XML Schema specification.

• Journal of Biomedical Engineering Research
• /
• v.27 no.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.

• Journal of the Korea Society of Computer and Information
• /
• v.3 no.1
• /
• pp.25-34
• /
• 1998

There are two major method for expressing parallelim in functional languages. The one is the strictness analysis and the other the annotation. The strictness analysis is a method that a compiler detects parallelism and expresses the detected information in the object program. The annotation is a method that a programmer detects parallelism and expresses in the source program. This study is on the annotation and is aimed at construction of a translator for a functional language which has an annotation syntax. The translator translates a source program to enriched lambda-calculus graphs. The translator is implemented in C using compiler development tools such as YACC and Lex, under UNIX environments. In this paper we present the design and implementation techniques for developing the front-end of the translator.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1262-1272
• /
• 1996

Pure functional languages have the referential transparency feature sothat all objects cannot be updated destuctively. Once an aggregated data structure such as array is updated, both the original and newly updated array must be preserved to maintain reverential transparency. Thus, it is required to develop an efficient mechanism with which can reduce the maintenance cost while maintaining referential transparency for whole data. This study is to suggest a functional array to solve the problem, and them test it. For that, the proposed mechanism was implemented on a combinator graph reduction machine. The result shows that proposed mechanism reduces traversal time for array operations. Also, updating all versions and accessing the recent version are achieved in constant time without reconstruction of updated data in execution time.

• Proceedings of the Korea Contents Association Conference
• /
• 2005.05a
• /
• pp.464-469
• /
• 2005

The imperative programming language like C language is Generally used when we develop the game program. But there is the need of much effort and time on low-level-details in order to express the game program that has complicated and varied motion. I will try to take measures to use the pure functional language, Haskell as the method of simplifying complex game program. The pure functional programming language like Haskell has excellence of technology and it has become specific in many domains. In this paper I'll discuss the difference between The two languages and merits and demerits in the game development aspect. Also discuss the possibility of putting Haskell to practical use in the future.

• The Journal of the Korea Contents Association
• /
• v.20 no.7
• /
• pp.274-281
• /
• 2020

N-gram analysis casts a new look at the n-word cluster in use different from the previously known idioms. It analyzes a corpus of English textbooks for frequently occurring n consecutive words mechanically using a concordance software, which is different from the previously known idioms. The current paper aims at extracting and comparing 4-gram words clusters between South Korean high school English textbooks and its North Korean counterpart. The classification criteria includes number of tokens and types between the two across oral and written languages in the textbooks. The criteria also use the grammatical categories and functional categories to classify and compare the 4-gram words clusters. The grammatical categories include noun phrases, verb phrases, prepositional phrases, partial clauses and others. The functional categories include deictic function, text organizers, stance and others. The findings are: South Korean high school English textbook contains more tokens and types in both oral and written languages. Verb phrase and partial clause 4-grams are grammatically most frequently encountered categories across both South and North Korean high school English textbooks. Stance is most dominant functional category in both South and North Korean English textbooks.

• Journal of Digital Contents Society
• /
• v.19 no.4
• /
• pp.809-814
• /
• 2018

With the proliferation of cloud computing infrastructures, service providers are able to deploy services in on-demand manner. Recently, microservice architecture has been attracting attention in order to maximize the efficiency of resource expansion in cloud infrastructure. Instead of implementing all of the service functions in a single software, service providers can easily and autonomously implement the necessary services by interconnecting the necessary services through an efficiently designed application programming interface (API). Moreover service developer can freely choice programming languages and define software, and functional structures to meet their functional requirements. In this paper, we propose virtual infrastructure manager service based on microservice architecture and evaluates its performance in scalability perspective.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.846-858
• /
• 1997

Despite elaegant semantics and a lot of features, pure functional programming languages do not provide an affcient way of represnting states.Many researches have been done to resolve the problem, however, another problem arises that it is hard to implement becaese of the complex type system and redujction rule.Therefore, the scheme which simplifies the reduction rule and maintains states effciently is needed to have the implemen-taiton dffetive.This paper proposes st-calculus, the excution model of a functinal language with states and proves that the proposed model satistiies the church-Rosser theorem.It has simple reduction rules and the ability of rerpresenting states without, and the difficulties with implementation may be reduced by simplifving the reduction rules.

• Journal of Korean Society of Occupational and Environmental Hygiene
• /
• v.19 no.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.