• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.800-807
• /
• 2008

We introduce some well-known approaches to formalization and automatization of the meta-theory of a programming language with binders. They represent the trends in POPLmark Challenge. We demonstrate some characteristics of each approach by showing how to formalize some basic notations and concepts of Lambda-calculus using the proof assistant Coq.

• Korean Journal of English Language and Linguistics
• /
• v.4 no.1
• /
• pp.83-102
• /
• 2004

The purpose of this paper is to find out some major characteristics of intermediate-advanced Korean learners' English by corpus- linguistically analyzing their essays in comparison with native speakers'. We construct a corpus of CBT TOEFL essays by Korean learners, NNS1 (94076 words in 402 texts), and its sub-corpus, NNS2 (14291 words in 45 texts), and then a corpus of model essays written or meticulously edited by native speakers, NS (14833 words in 35 texts). We compare NNS1 and NNS2 with NS, and with some other corpora, in terms of high-frequency words, and show that Korean learners' writings have more features of informal writing than those of formal writing, which is in accord with the reports in Granger (1998) that EFL writings by European advanced learners are characterized by informality.

• Journal of applied mathematics & informatics
• /
• v.6 no.3
• /
• pp.783-798
• /
• 1999

Nondeterministic finite Rabin-Scott's automata without initial and final states (2 $\omega$-FA) are considered. In this paper they are used to define so called sets of obstruction used also in various alge-braic systems and to consider similar problems for the formal languages theory. Thus we define sets of obstructions of languages(or, rather, 2$\omega$-languages) of such automata. We obtain that each 2$\omega$-language defined by 2 $\omega$-FA has the set of obstruction being a regular language. And vice versa for each regular language L(containing no proper subword of its another word) there exists a 2$\omega$ -FA having L as the set of obstructions.

• Asia pacific journal of information systems
• /
• v.12 no.2
• /
• pp.99-118
• /
• 2002

In this paper, we propose a visual relational database query language, VRQL, by modifying and extending the recently proposed $VOQL^*$. Like $VOQL^*$, VRQL, based on ven Diagram and graph, naturally reflects the structure of schemas in queries and has recursive formal semantics. However, VRQL has relationally complete expressiveness, while $VOQL^*$ is only a conjunctive query language. In the logical definition part of VRQL, which is the relational version of $VOQL^*$, most features of $VOQL^*$ are retained, and the semantics of queries are based on the tuple relational calculus. In the procedural definition part of VRQL, by introducing the concept of VRQL view and set operations, the expressiveness of VRQL is increased to the level equivalent to that of the relational algebra. Due to the introduction of VRQL views, existing queries or temporary queries used in the process of creating queries can be represented with views, so that complex queries may be represented more conveniently. Set operations, used with VRQL views, enable us to represent various queries, beyond the expressiveness of conjunctive query languages.

• Korean Journal of English Language and Linguistics
• /
• v.2 no.4
• /
• pp.575-587
• /
• 2002

In this paper we discuss the contrastive nature of formalism and functionalism in linguistics. Though the mainstreams of linguistic analysis have been focused on the form and function, they have been challenged from each other's strong points. On the one hand, the formal description has been studied in the tradition of generative grammar. On the other hand, the functional nature has played a crucial role in the framework of language use. It seems undesirable to argue that there is one-sided bias toward any type of linguistic approach. I try to present a balanced view of these two contrastive approaches. We also argue that there should be a cooperative work in developing the mutual growth of linguistic theory.

• Journal of English Language & Literature
• /
• v.56 no.6
• /
• pp.1163-1190
• /
• 2010

Korean EFL learners' stylistic sensitivity was examined through the two types of letter writing, professional and personal. The base of comparison with the English native speakers' stylistic sensitivity was the linguistic style markers that were statistically found by Biber's (1988) multi-dimensional model of variation of English language. The main finding was that Korean university students were sensitive to stylistic difference in the correct direction, though their linguistic repertoire was limited to the easy and simple linguistic features. Also, the learners were skewed in the involved style in both types of the letters unlike the native speakers and it was interpreted as due to the general developmental direction from informal to formal linguistic style. Learners were also skewed in the explicit style in both types of letters unlike the native speakers and it was interpreted as due to the learners' heavy reliance on one particular linguistic feature. As a whole, the learners' stylistic sensitivity heavily relied on the small number of linguistic features that they have already acquired, which happen to be simple and basic linguistic features.

• English Language & Literature Teaching
• /
• no.3
• /
• pp.95-122
• /
• 1997

The purpose of this research was to investigate the effects of content and formal schema on reading comprehension. Five hundred fiftynine subjects from high school were assigned to one of the following levels and treatment conditions : (1) Higher level & Schema Activation, (2) Higher level & Non-schema Activation, (3) Lower level & Schema Activation, and (4) Lower level & Non-schema Activation. To evaluate the effects of schema activation. two experiments were conducted : one was related to the content schema and the other to the formal schema. To evaluate the effects of content schema, three different types of tests were conducted : (1) cloze test, (2) guessing the meanings of nonsense words, and (3) immediate recall test. To evaluate the effects of formal schema instruction, four kinds of tests were conducted : (1) sorting the sentences according to the importance, (2) identifying the signal words, (3) immediate recall test, and (4) identifying the specific information. For content schema condition, results indicated that the subjects given the titles or pictures before reading in "Content Schema Activation" treatment had better grades than those of the other treatment in all types of tests. regardless of their levels. Schema activation helped the subjects to increase the cognitive predictability of missing words and to participate in the tasks more actively with risk-taking. And it was also shown that good readers tend to process the words meaningfully, while poor readers tend to process the words phonetically or morphologically. Formal schema activation through teaching the text organization also had a significant influence on three types of tests: sorting the sentences according to the importance, identifying the signal words, and immediate recall test, but not on identifying the specific information. The implications from this study can be briefly noted as follows : (l) In teaching reading, the student's background knowledge should be activated as a pre-reading activity. (2) In reading, it is more important to emphasize the student's schema than the features of the text. (3) Various educational interventions should be introduced, especially for the lower level students. (4) Teaching text structures can be a powerful method for the top-down processing strategy.

• Journal of Intelligence and Information Systems
• /
• v.11 no.1
• /
• pp.123-151
• /
• 2005

In the world of Web pages, there are oceans of documents in natural language texts and tables. To extract rules from Web pages and maintain consistency between them, we have developed the framework of XRML(extensible Rule Markup Language). XRML allows the identification of rules on Web pages and generates the identified rules automatically. For this purpose, we have designed the Rule Identification Markup Language (RIML) that is similar to the formal Rule Structure Markup Language (RSML), both as pares of XRML. RIML is designed to identify rules not only from texts, but also from tables on Web pages, and to transform to the formal rules in RSは syntax automatically. While designing RIML, we considered the features of sharing variables and values, omitted terms, and synonyms. Using these features, rules can be identified or changed once, automatically generating their corresponding RSML rules. We have conducted an experiment to evaluate the effect of the RIML approach with real world Web pages of Amazon.com, BamesandNoble.com, and Powells.com We found that $97.7\%$ of the rules can be detected on the Web pages, and the completeness of generated rule components is $88.5\%$. This is good proof that XRML can facilitate the extraction and maintenance of rules from Web pages while building expert systems in the Semantic Web environment.

• Journal of KIISE:Databases
• /
• v.27 no.2
• /
• pp.151-164
• /
• 2000

The Visual Object Query Language (VOQL) recently proposed for object databases has been successful in visualizing path expressions and set-related conditions, and providing formal semantics. However, VOQL has several problems. Due to unrealistic assumptions, only set-related conditions can be represented in VOQL. Due to the lack of explicit language construct for the notion of variables, queries are often awkard and less intuitive. In this paper, we propose VOQL*, which extends VOQL to remove these drawbacks. We introduce the notion of visual variables and refine the syntax and semantics of VOQL based on visual variables. We carefully design the language constructs of VOQL* to reflect the syntax of OOPC, so that the constructs such as visual variables, visual elements, VOQL* simple terms, VOQL* structured terms, VOQL* basic formulas, VOQL* formulas, and VOQL* query expressions are hierarchically and inductively constructed as those of OOPC. Most important, we formally define the semantics of each language construct of VOQL* by induction using OOPC. Because of the well-defined syntax and semantics, queries in VOQL* are clear, concise, and intuitive. We also provide an effective procedure to translate queries in VOQL* into those in OOPC. We believe that VOQL* is the first visual query language with the well-defined syntax reflecting the syntactic structure of logic and semantics formally defined by induction.

• Child Studies in Asia-Pacific Contexts
• /
• v.2 no.2
• /
• pp.133-144
• /
• 2012

Research has shown that mothers' attitudes towards early English language and literacy learning are important for children's English language development. Some researchers have indicated that in Taiwan most parents have a positive attitude towards English instruction and are motivated to teach English at home to their preschoolers. There is, however, little current data available to explain the motivations behind such parents' decisions to teach English to their child in the home before the commencement of formal schooling. We conducted a thematic analysis of the written survey responses of 263 Taiwanese mothers who explained why they taught their preschool children English at home. The findings indicate that English is highly valued for children's school readiness, future career opportunities, and because of its status as a global language. The mothers' motivations for teaching English include the desire to cultivate the child's interest, a belief in 'the earlier the better" for second language learning, and a belief in the need to review and practice English. These findings have the potential to inform educational policies and implementation strategies, as they can reveal whether mothers' motivations align with national priorities for English language education.