• The Transactions of the Korea Information Processing Society
• /
• v.3 no.3
• /
• pp.478-492
• /
• 1996

For parallel implementations of functional programs without concurrent primitives, the λ-calculus encodings have been introduced. A functional program may be trans for med into a process network using process calculiby the λ-calculus encoding and there sult of a program can be obtained by a deal of communication actions in it's process network. But the λ-calculus encodings cause too many communication actions even in constant expressions. This paper shows the encoding for a combinator program without concurrency primitives which can combine the graph reduction and the process-net reduction using computable processes,'chores'. A 'chore' may have graph reduction functions for primitive operations of constants for which local graph reduction may be possible, and be encoded from a 'G-reducible' subexpression which is obtained by an annotation and trans for mati-on for a combinator program, assuring that it does not include any combinator application. Also, we show that a process network with chores raises less commu-nication actions than one without chores.

• Journal of Information Management
• /
• v.33 no.2
• /
• pp.67-94
• /
• 2002

With the development of modern society, we are all living in a world where information is shared through mass media and environment. Just as there was an identifier for the approach of information in the past analog environment, there is a demand for the continuous development and research of an original identifier for each and every digital contents of the changing digital environment. In order to present the need for standardization of effective construction concerning digital contents, this study examines the identifiers system structure of ISBN and ISSN of the analog environment and URL, URN, URC, which are under the URI system of the digital environment. After analyzing the problems of different URL identifiers construction in each university library's OPAC system, this study presents a standard device of effective identifiers patterns.

• The Journal of the Korea Contents Association
• /
• v.22 no.10
• /
• pp.74-82
• /
• 2022

The purpose of this paper is to provide a multi-modular account of double accusative constructions in Korean in the framework of Autolexical Grammar. The grammar views syntactic, semantic, and morphological structures of sentences as modules which are generated simultaneously and independently. Unlike syntactocentric theories, this paper analyzes semantic characteristics of double accusatives through function-argument (F/A) structure along with roles structure (RS) and information structure (IS). In F/A structure of double accusatives, the first accusative becomes an argument of a predicate, unlike the possessive, which is an argument of a relational noun. Furthermore, the first accusative of double accusatives takes the role of patient in RS, which allows it to become the subject of a passive sentence. On the other hand, the second accusative, which is originally the possessee, becomes a focal area in IS. Therefore, the purpose of double accusatives is twofold: one is to turn the possessor into an independent argument of a predicate which takes patient role, and the other is to turn the possessee into a focus. Such semantic characteristics of double accusatives can be expressed by means of multi-dimensional structures of F/A structure, RS, and IS of Autolexical Grammar, which allows an integrated account of the phenomenon.

• (The) Research of the performance art and culture
• /
• no.39
• /
• pp.835-861
• /
• 2019

Ulsan was selected as an industrial and industrial city, a leading city of Korean economic development in the 1960s, and it was rapidly changed social environment with the influx of many labor population. This change has had a great impact on the traditional customs of the region, and the traditional intangible culture has disappeared or disappeared, which requires urgent protection of intangible cultures compared to other regions. This study suggests the current situation to restore the agricultural music made up of the three-time customs recorded in the 1930s in Ulsan Dali area. The research method is literature research and field research. First, the literature analyzes the farming music in connection with the farming work performed in the Ulsan Dali area in 1936, and secondly, The field survey was based on the current situation of restoring farm music at the Nam-gu Cultural Center in Ulsan. The results of the research were observed in the Ulsan area, which has disappeared rapidly. In addition, it revealed the status of being handed down from 'Kim Dal-oh', a traditional farmer who worked at Ulsan Cultural Center, to 'Kim Se-ju', who is trying to restore the farm music.

• Korean Journal of English Language and Linguistics
• /
• v.2 no.2
• /
• pp.207-226
• /
• 2002

In this paper we provide an alternative explanation for there construction, by assuming that the expletive there (EXPL) has independently uninterpretable Case feature as well as u[person], not as being pied-pipied with $\varphi$-feature. If EXPL has only u[person], we could analyse incorrectly some there constructions, including an embedded infinitive clause: by Chomsky (1998, 1999) in the construction, EXPL is ‘frozen’ and cannot participate in the computation of higher. As a result, we could predict incorrectly that the derivation is crashed. But if EXPL has two uninterpretable features, u[person] and u[Case], we could predict correctly that the derivation is converged: the u[person] of EXPL is deleted under Matching/Agree with $T_{def}$; still, the undeleted u[Case] of EXPL is activating; so EXPL can be raised to [SPEC, T] to satisfy the EPP-feature of matrix T.

• Korean Linguistics
• /
• v.48
• /
• pp.193-221
• /
• 2010

The goal of this paper is to reanalyze the structure of 'eumcikha(음직하)' in Korean. We have several important previous works for it. This paper argued against previous works and pointed outd their problems. At first, this paper regarded the construction of 'eumcikha' as one of the modality dependent noun constructions. In this paper I proposed some possibilities of new structure of 'eumcikha'. 1) The structure of 'eumcikha' is not regarded as the 'embedded sentence+upper sentence' construction. 2) It is not also considered as the 'main verb+auxiliary verb' construction. 3) It is not recognized as a morphological one unit, although they have lots of in common. In this paper, I proposed that the construction of 'eumcikha' has both syntactic property and morphological property. Owing to these properties, it is so difficult to determine the structure of it.

• Proceeding of Spring/Autumn Annual Conference of KHA
• /
• 2000.11b
• /
• pp.97-102
• /
• 2000

The final purpose of this study is to develop the synthetic and logical analytical tool for analyzing spatial organization of housing. For this purpose, this study made the starting-point by proposing some alternatives to improve one of the quantitative analytical tools of spatial organizations, Space Syntax. These propositions were intended to consider human behavior as well as physical structure in analyzing spatial organization. The propositions were as follow; 1) Classify the private outdoor space in detail, 2) Consider that the spatial organization which visitors cognize can differ from which residents do, and 3) Use distinctive spatial depth according to the states of connection.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.6
• /
• pp.1557-1564
• /
• 1997

We propose an extension to Prolog called the count term for controlling Prolog execution. The purpose is to allow the programmers as well as the users to have greater flexibility in controlling the execution behavior of Prolog programs and for limiting the number of answers or proofs retrieved when Prolog is used as a database query language. Both syntax and operational semantics of the count term are defined. An implementation strategy based on WAM (Warren Abstract Machine) by modifying instructions related to backtracking behavior has been suggested.

• Speech Sciences
• /
• v.11 no.2
• /
• pp.119-136
• /
• 2004

Ellipsis is the figure of speech characterized by the deliberate omission of words that are obviously understood, but that must be supplied to make a construction grammatically or semantically complete. The purpose of this study is to examine how ellipsis affects its adjacent elements acoustically and phonologically in English VP-ellipsis, sluicing and gapping. In the experiment, the realizations by English native speakers are set as the criteria for the observing point and are compared to Korean speakers' realizations. For the results, while English native speakers utilized various acoustic information such as word duration and pitch range and phonological information such as pith accent realization in order to intend the cues for decoding the missing constituent, Korean English learners relied on only duration information and could not use various information effectively.

• Korean Institute of Interior Design Journal
• /
• v.19 no.4
• /
• pp.74-81
• /
• 2010

This study analyzed characteristics of visual circulation in the modern museum architecture while carrying out space syntax and visibility graph analysis side by side in order to solve problems of visitors' movement having been suggested as the point at issue at modern museum architecture that has become big scaled and layering so as to satisfy various social demands. Also, the result of this analysis is same as followings. First, visitors become to watch the exhibition with clear position that can make themselves in right allocation, and thus visual and perceptual confusions were shown as relatively low in case physical position and visual one were matched at major space of atrium type or mediation space. Second, it was appeared a lot at the museum having exhibition space of room type in case the physical position and visual one were not matched. Visual circulation in the exhibition space of room type has a merit of forming the circulation where free selection is possible. However, it have raised concerns that visual passageway of visitors could be in a stalemate or crash at the opening part, not at the exhibition hall. Third, though analysis of space syntax had a merit of analyzing total modern museum architectures having became compounded and big scaled, but it was dropped in reliability from the visual circulation's analysis that was decided by flows of space and time. In contrary, visibility graph analysis was shown as having a merit to analyzing the flows rather than that of total structure, and also appeared as being able to supplement the disadvantage of space syntax in methodology. Upon the above analysis, a lot of architectural elements such as allocation of exhibition hall, location of door and window etc. were appeared as affecting influences to forming visual circulation of visitors, not to mention of allocations of major space, mediation space, and exhibition one. Through this study, various possibilities of quantitative analysis on the visual circulation in the museum architectures can be confirmed. However, this study expects that in-depth subsequent researches objecting to various museums could be realized afterwards because there are still limitations in its analysis.