• The Transactions of the Korea Information Processing Society
• /
• v.7 no.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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.5 no.1
• /
• pp.192-201
• /
• 2001

It has been a long standing problem in research of pure functional programming to program side-effect, input/output, exception handling, nondeterminism, and etc, preserving declarative property and lazy-evaluation of pure functional languages. Being introduced in 1989, Monadic approach has been suggested as a solution to this problem. In this paper, we introduce the principle of functional monadic programming and its various application techniques using the Pure functional language Haskell.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.9
• /
• pp.2807-2814
• /
• 2000

In this paper, we suggest a visual language supporting collaboration with functional attributes. The visual language is a set of visual sentences that consist of object icons and operators. The object icon is a user who participates in collaboration. And, the operator means interactive relations between users according to a point of collaborative time. The functional attributes that support various computing orders provide flexibility of interactive relations on collaboration. Also, using representation both synchronous and asynchronous relations in collaboration, the visual language supports efficiently collaboration than conventional visual languages. And, functional attributes of visual sentences are analyzed using $\lambda$ expressions.

• Speech Sciences
• /
• v.8 no.3
• /
• pp.31-41
• /
• 2001

This paper aims to provide preliminary evidence that (at least part of) phonetic phenomena are not simply automatic or arbitrary, but are explained by the functional guidelines, ease of articulation and maintenance of contrasts. The first study shows that languages with more high vowels (e.g., French) allow larger consonantal deviation from its target than languages with less high vowels (e.g., English). This is interpreted as achieving the economy of articulation to a certain extent in order to avoid otherwise extreme articulatory movement to be made in CV syllables due to strict demand on maintaining vocalic contrasts. The second study shows that Russian plain bilabial consonant allows less amount of undershoot due to the neighboring vowels than does English bilabial consonant. This is probably due to the stricter demand on maintaining the consonantal contrasts, plain vs. palatalized, existing only in Russian.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2007.11a
• /
• pp.67-75
• /
• 2007

This paper presents the architectural aspects of the phrase analyzer that attempts to recognize phrases and identify the functional roles in the sentences in formal Japanese documents. Since the object of interest is a phrase, the current system, designed in an object-oriented architecture, contains the Phrase class, and makes use of the linguistic generalization about languages with Case markers that a phrase, whether a noun phrase, a verb phrase, a postposition (or preposition) phrase or a clause phrase, can be separated into the content and the function components. Without a dictionary, and drawing on the orthographic information on the words to parse, it also contains a class that identifies the types of characters, a class representing grammar, and a class playing the role of a controller. The system has a simple and intuitive structure, externally and internally, and therefore is easy to modify and extend.

• ETRI Journal
• /
• v.10 no.3
• /
• pp.140-156
• /
• 1988

This paper presents methodological and theoretical principles for constructing a machine thanslation system between Korean and Japanese. We focus our discussion on the real time computing problem of the machine translation system. This problem is characterized in the time and space complexity during the machine translation. The NARA system has the real time computing algorithm which is based on a mathematical model integrating the linguistic competence and the linguistic performance of both languages, with consequence that the system NARA has also the functional characteristic : the two-way translation mechanism.

• Annual Conference on Human and Language Technology
• /
• 1990.11a
• /
• 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.

• English Language & Literature Teaching
• /
• v.17 no.2
• /
• pp.39-58
• /
• 2011

This study highlights some very important future directions for the revision of language forms in the 2007 Korean English Curriculum, expected to be made public in the summer of 2011. A critical review of the 2007 National English Curriculum shows that language forms exemplified in that curriculum are not well-chosen or well-sequenced from the viewpoint of grammar selection and gradation, and that no mention of structural labels or grammatical terminologies makes it hard for teachers to recognize their formal properties. To fulfill the original purpose that languages should be listed in the curriculum so that functional-notional syllabuses can be complemented by form-focused instruction, the study presents partial inventories of grammatical items with well-chosen and well-sequenced examples. Minimal descriptions are given to these inventories that are based on general notions or well-known grammatical notions. Occasional suggestions are also made for which language forms should be taught in which schools.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.658-666
• /
• 2004

Separable systems are defined in term rewriting systems, respecting the notion of separability in the λ-calculus. In this research, we generalize separable systems of term rewriting systems, which was studied in restrictive systems such as constructive systems. We also associate separability with index-transitivity and with forward branching Separability is identified with forward branching, and strong sequentiality with index-transitivity satisfies separability. These are such good properties that enable us to describe the procedure of pattern-matching as an index tree, which is a sort of automata, and to transform separable systems into a constructor system with a simple pattern. Separable systems, in particular, can be translated into the λ-calculus. This research can serve a theoretical basis which allows functional languages to be explained by the λ-calculus, since functional languages such as ML and Haskell belong to a subclass of separable systems.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.12 no.5
• /
• pp.590-600
• /
• 2009

In the simulation of underwater vehicles such as a submarine or a torpedo, various type of simulations like an engineering level simulation for predicting the performance precisely and an engagement level simulation for examining the effectiveness of a certain tactic is required. For this reason, a tactics manager which can change the behavior of a simulation model according to external tactics is needed. In this study the tactics manager supporting a script language and engine which can represent various tactics and can help users define external input tactics for the tactic manager easily is suggested. Python and Lua which are representative among script languages have been compared and analyzed from the viewpoint of a tactic manage, and the tactic manger using the script engines of those script languages was implemented. To demonstrate the effectiveness of the tactic manager, a target motion analysis simulation of the warfare between a submarine and a surface ship.