• Cross-Cultural Studies
• /
• v.38
• /
• pp.351-384
• /
• 2015

This paper is concerned with the effectiveness of songs in the acquisition of formulaic sequences in the college EFL classroom. The existing research mentions the use of songs in terms of the power of their melodies (Fonseca-Mora, 2000), linguistic features in song lyrics (Abbott, 2002), and the emotional basis of memory (LI & Brand, 2009). Learners' opinions about the use of songs has been ignored, however. In this paper, seven subjects with English ability ranging from advanced (one) intermediate-high (three), intermediate-middle (two), and intermediate-low (one) studied five different pop songs. The results showed that they did not agree with the existing research findings. Rather, they were negative about using songs in the classroom. Their complaints were the burden of using too many hours to memorize lyrics, few language expressions to learn, and too much emphasis on expressions about love and feelings. Students at all levels expressed similar negativity about the use of songs. When their complaints were discussed during interviews, however, their attitude changed from negative to positive. The case study in this paper was on a small-scale but it is suggested that through further research the use of songs could be activated in the EFL classroom. Considering college language learners disregard most existing EFL materials, it appears to be worthwhile to continue further with this kind of research.

• Electronics and Telecommunications Trends
• /
• v.30 no.4
• /
• pp.54-58
• /
• 2015

수리 논리 기반의 프로그램 증명방법은 매우 유용한 프로그램 분석방법이지만, 수리 논리식에 대한 증명을 사람이 직접 수행하는 것은 매우 힘들고 고된 작업이다. 본고에서는 이러한 수리 논리 기반의 프로그램 증명을 자동화하기 위하여 개발된 중간 증명 언어(Intermediate Verification Language)에 대하여 살펴보고자 한다.

• Journal of Korea Multimedia Society
• /
• v.8 no.9
• /
• pp.1282-1291
• /
• 2005

This paper presents the EVM(Embedded Virtual Machine) which enables the execution of dynamic applications loaded in the embedded systems such as Mobile Devices(mobile phone, PDA), Set-Top Box, and Digital TV using downloading techniques. To accomplish this goal, we defined a SIL-(Standard Intermediate Language) code, and implemented a Bytecode-to-SIL translator which enables the execution of programs written in java language in the EVM platform without JVM, and a MSIL--to-SIL- translator which enables for programs written in .NET language to be executed in the EVM platform without .NET platform. Also, we developed a EFF(Executable File Format) builder as an assembler which translates SIL codes into an executable file, *.evm, and implemented the EVM which reads the *.evm file and executes it. The virtual machine for embedded systems developed in this paper is the software technologies that enable the execution of applications or contents without changes to when the platforms change. In fact, the virtual machine suggested here is not only usable as a standard model for existing virtual machines but also aid in more efficient execution of applications loaded in the embedded systems such as Mobile Devices, Digital TV, and Set-Top Box.

• 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.

• Asia Pacific Journal of Corpus Research
• /
• v.4 no.2
• /
• pp.1-39
• /
• 2023

Recent research in usage-based Second Language Acquisition has provided new insights into second language (L2) learners' development of formulaic language (Wulff, 2019). The current study examines the use of phrase-frames, which are recurring sequences of words including one or more variable slots (e.g., it is * that), in written and oral production data from Asian learners of English across four proficiency levels (beginner, low-intermediate, high-intermediate, advanced) and native English speakers. The variability, predictability, and discourse functions of the most frequent 4-word phrase-frames from the written essay and spoken dialogue sub-corpora of the International Corpus Network of Asian Learners of English (ICNALE) were analyzed and then compared across groups and modes. The results revealed that while learners' phrase-frames in writing became more variable and unpredictable as proficiency increased, no clear developmental patterns were found in speaking, although all groups used more fixed and predictable phrase-frames than the reference group. Further, no developmental trajectories in the functions of the most frequent phrase-frames were found in both modes. Additionally, lower-level learners and the reference group used more variable phrase-frames in speaking, whereas advanced-level learners showed more variability in writing. This study contributes to a better understanding of the development of L2 phraseological competence.

• Journal of Information Processing Systems
• /
• v.18 no.2
• /
• pp.282-291
• /
• 2022

This research applies a pre-trained bidirectional encoder representations from transformers (BERT) handwriting recognition model to predict foreign Korean-language learners' writing scores. A corpus of 586 answers to midterm and final exams written by foreign learners at the Intermediate 1 level was acquired and used for pre-training, resulting in consistent performance, even with small datasets. The test data were pre-processed and fine-tuned, and the results were calculated in the form of a score prediction. The difference between the prediction and actual score was then calculated. An accuracy of 95.8% was demonstrated, indicating that the prediction results were strong overall; hence, the tool is suitable for the automatic scoring of Korean written test answers, including grammatical errors, written by foreigners. These results are particularly meaningful in that the data included written language text produced by foreign learners, not native speakers.

• Journal of Korea Multimedia Society
• /
• v.9 no.9
• /
• pp.1247-1256
• /
• 2006

VM(Virtual Machine) can be considered as a software processor which interprets the abstract machine code. Also, it is considered as a conceptional computer that consists of logical system configuration. But, the execution speed of VM system is much slower than that of a real processor system. So, it is very important to optimize the code for virtual machine to enhance the execution time. In this paper, we designed and implemented the optimizer for the virtual(or abstract) machine code(VMC) which is actually SIL(Standard Intermediate Language) that is an intermediate code of EVM(Embedded Virtual Machine). The optimizer uses the pattern matching optimization techniques reflecting the characteristics of the VMC as well as adopting the existing optimization methodology. Also, we tried a benchmark test for the VMC optimizer and obtained reasonable results.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.4
• /
• pp.466-476
• /
• 1986

This paper proposes a system that translates the machine independent intermediate micro-programming language(IML) into microcode, using the register allocation algorithm, the microinstruction format and the field information for the target machine emulation on a microprogrammable host machine. The IML, which is for PDP-8 emulation on a microprogrammable hypothsetical 16 bit host machine, is microcoded by the proposed system, and the validity of the algorithm in the proposed system is verified by executing a test program of the target machine on the emulator.

• English Language & Literature Teaching
• /
• v.13 no.4
• /
• pp.59-85
• /
• 2007

This study examined patterns of engaging in "reading in connection to writing" (hereafter reading-writing practices) in the context of two ESL college composition classrooms. The purpose of this study was to explore whether the L2 proficiency level could be a key construct in explaining similarities and differences in reading-writing practices which students engaged in during the composing process. Multiple sources of data collected over the semester included interview protocols, written products, and observational notes. The results showed that the three proficiency groups under examination differed widely in the ways reading was connected to writing and in the types of intermediate texts produced during the composing process. The students in the high proficiency group produced more intermediate texts through an engagement in reading-writing practices connected to each other. On the contrary, the students in lower proficiency groups engaged in a limited range of reading-writing practices without support of intermediate texts. This study provides insight into the different ways ESL college students coordinate reading and writing while composing essays.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.32B no.6
• /
• pp.821-827
• /
• 1995

This paper presents a process control language for constructing multiloop control system. which include advanced control algorithms. In order to make controller, this language uses function blocks that do specific operations. Then, the total control algorithm is a set of function blocks, of which each block is represented as a function code. The function code is a line of simple ASCII codes denoting function, input, output, parameters. It is possible to use variables as input/output port of any block. Compared with other language using function block concept, the proposed one enables to use advanced control algorithms undefinitely, such as fuzzy, neural network, predictive controller, etc., because vector and matrix variables as input/output can be used freely in this language. To raise flexibility, we put an intermediate level, which is C-language code, between function code and target-dependent operation code.