• Title/Summary/Keyword: Meta language

Search Result 221, Processing Time 0.028 seconds

A Meta-Analysis on the Effects of Educational Programming Language on High-level Thinking

  • Kim, Dong-Man;Lee, Tae-Wuk
    • Journal of the Korea Society of Computer and Information
    • /
    • v.23 no.6
    • /
    • pp.81-89
    • /
    • 2018
  • In this paper, we propose to investigate the existing EPL education related studies and to collect the total effect size for the improvement of high-level thinking through meta-analysis and to confirm the effect size according to various variables. So, we have objectively identified and generalized the practical effects of EPL education on the various elements of high-level thinking and high-level thinking. The results of the meta-analysis showed that 1) EPL is a teaching-learning tool that greatly improves students' high-level thinking. 2) Education based EPL has greatly contributed to the enhancement of creative thinking and logical thinking among high-level thinking. 3) Kodu, App Inventor, Scratch, and Dolittle was confirmed that the effect on the improvement of high-level thinking was great.

Named entity recognition using transfer learning and small human- and meta-pseudo-labeled datasets

  • Kyoungman Bae;Joon-Ho Lim
    • ETRI Journal
    • /
    • v.46 no.1
    • /
    • pp.59-70
    • /
    • 2024
  • We introduce a high-performance named entity recognition (NER) model for written and spoken language. To overcome challenges related to labeled data scarcity and domain shifts, we use transfer learning to leverage our previously developed KorBERT as the base model. We also adopt a meta-pseudo-label method using a teacher/student framework with labeled and unlabeled data. Our model presents two modifications. First, the student model is updated with an average loss from both human- and pseudo-labeled data. Second, the influence of noisy pseudo-labeled data is mitigated by considering feedback scores and updating the teacher model only when below a threshold (0.0005). We achieve the target NER performance in the spoken language domain and improve that in the written language domain by proposing a straightforward rollback method that reverts to the best model based on scarce human-labeled data. Further improvement is achieved by adjusting the label vector weights in the named entity dictionary.

A Meta-study of Extensive English Reading Researches

  • Kim, Jeong-Ryeol
    • English Language & Literature Teaching
    • /
    • v.18 no.2
    • /
    • pp.85-106
    • /
    • 2012
  • This paper examines the role of extensive reading in foreign language learning classrooms. The effects of extensive reading are shown both positive and negative as in Krashen (1999) and Spada (1997), particularly researches done in classroom setting. Extensive reading is hard to implement in foreign language classrooms due to the stringent school curricula despite its benefits in cognitive and affective domain of learners. This study searched 21 papers from research database on extensive reading researches in a classroom setting and synthesized 55 cognitive effects and 11 affective effects from these papers under investigation in a manner of quantifying their means and standard deviations to derive generalizations. Research synthesis in this manner has secured its own status of scientific investigation by providing secondary researchers with replicable methods that produce verifiable findings. The syntheses of researches show that extensive reading is effective in both literacy skills and other language skills such as listening and writing. It also shows positive effects across different age groups, but the effect sizes are different in that elementary and adults gained more positive effects than middle and high school students.

  • PDF

Analysis of geometric proof texts in school mathematics (학교수학에서 기하 증명 텍스트의 분석 - 기능문법과 수사학을 중심으로 -)

  • 김선희;이종희
    • Journal of Educational Research in Mathematics
    • /
    • v.13 no.1
    • /
    • pp.13-28
    • /
    • 2003
  • Practice of proof is considered in, the view of language and meta-mathematics, recognizing the role of proof that is the means of communication and development of mathematical understanding. Linguistic components in proof texts are symbol, verbal language and visual text, and contain the implicit knowledge in the meta-mathematics view. This study investigates the functions of linguistic elements according to Halliday's functional grammar and the rhetoric skills in proof texts in math textbook, teacher's note, and student's written text. We need to inquire into the aspects of language for mathematics learning process and the understanding and use of students' language.

  • PDF

Effects of Strategy Instruction in English Language Teaching: A Meta-analysis (영어교과에서의 전략 지도(Strategy Instruction)의 효과: 메타분석)

  • Lee, Je-Young
    • The Journal of the Korea Contents Association
    • /
    • v.18 no.10
    • /
    • pp.298-305
    • /
    • 2018
  • The objective of this present study was to investigate the overall effects of strategy instruction on Korean students' English language learning. In order to do so, 55 individual experimental results in 46 journal articles were collected, and a meta-analysis was carried out to them. This study also analyzed the results of studies on strategy instruction according to various variables such as school types, treatment periods, and types of dependent variable. The mean effect size of strategy instruction in English language teaching is .536, which means the medium effects in general. No statistically significant differences were found among various moderators and dependent variables. Based on these results, suggestions for further research are discussed.

Formalization of the Meta-Theory of a Programming Language with Binders (프로그래밍 언어 메타이론의 정형화 및 변수 묶기)

  • Lee, Gye-Sik
    • 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.

Modeling of XPDL Meta-Model for Workflow Process Definition Interchange (워크플로우 프로세스 정의 교환을 위한 XPDL 메타모델의 모델링)

  • Kim, Jin-Sung;Yoo, Chun-Sik;Kim, Yong-Sung
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.6
    • /
    • pp.486-501
    • /
    • 2005
  • XPDL is a XML-based language for process definition exchange that is proposed by WfMC. This paper propose a model which model XPDL document structure (Schema) using UML in order to define and to exchange workflow process, and make business flow understanding ease for inter-business cooperation. So, we define mapping rules in which map XPDL documents into UML class diagram and UML activity diagram. By these mapping rules, elements composing XPDL process meta-model are mapped into UML class diagram, and process activities are mapped into UML activity diagram. Also, we apply proposed mapping technique to model a workflow of (')Credit card state check system.(')

"Married Chastity": The Language of Paradox in Shakespeare's "The Phoenix and the Turtle" ("결혼한 순결"-「불사조와 산비둘기」와 역설의 언어)

  • Park, WooSoo
    • Journal of English Language & Literature
    • /
    • v.59 no.4
    • /
    • pp.527-544
    • /
    • 2013
  • William Shakespeare's dirge, "The Phoenix and the Turtle," is still a crux in the Shakespearean canon and interpretation. The poem is still believed a dark allegory dealing with some arcane and obscure courtly matters and politics. However, we cannot recover its allegorical significance. This interpretive situation enforces us to read the poem as a self-conscious artwork in terms of its paradoxical language and meta-poetic metaphors. Paradox, as a subspecies of metaphor, challenges categorical and judgmental absolutes, and produces a sense of wonder in reconciling the logically contradictory opposites. In this poem the urn containing the ashes of the phoenix and the turtle is the icon of the mysterious unity of art, born of the wonderful marriage of male and female. Shakespeare's poem demonstrates in itself the magical power of poetic language in transforming an elegy into an epithalamion. The union of the phoenix and the turtle defies the singularity of their respective entity, and at the same time it retains their distinctive particularity of the two-ness. This neo-Platonic mystery of the "married chastity" is a paradox which confounds reason and verifies the poetic truth of imaginative intellect. The marriage of Christian perichoresis is crystallized in the artwork of the urn, which is admired at by posterity, though the marriage was issueless, due to its passing virtue. "The Phoenix and the Turtle" depicts the metaphor-making process and its effect, the poem.

A Study on Availability Agent from UML Products (I) (UML 산출물로부터의 Agent 사용가능성에 관한 연구 (1))

  • Han, Hyun-Gaun;Yun, Young-Woo
    • Journal of the Korea Computer Industry Society
    • /
    • v.5 no.9
    • /
    • pp.1055-1062
    • /
    • 2004
  • Unified Modeling Language (UML) is a standard language for specifying, visualizing, constructing, and documenting the artifacts of software systems. On the other hand, XML, which is a meta-language, provides meta-data types for representing and string objects. It make software development easy because it can represent various information and share information about the software analysis and design between developers, In this paper, we apply BitWiz, one of automated software generation systems, to a bid application and analyse this in UML point of view. Also, we briefly introduce an XML documentation from UML products and a verification method of XML documents from UML products.

  • PDF

A Method of Automatic Code Generation for UML Sequence Diagrams Based on Message Patterns (메시지 패턴에 기반한 UML 시퀀스 다이어그램의 자동 코드 생성 방법)

  • Kim, Yun-Ho
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.24 no.7
    • /
    • pp.857-865
    • /
    • 2020
  • This paper presents a method for code generation of UML sequence diagrams based on message patterns. In the sequence diagrams, it is shown that messages are some types of forms typically. This paper classifies according to type as three patterns, and construct meta-information for code generation analysing structural infomation for each patterns. The meta-message of structural information (MetaMessage) is stored in the MetaMessage datastore and the meta-method information from the MetaMessage is stored in the MetaMethod datastore. And then, the structural information of MetaClass and MetaObject is constructed in each datastore too. For each pattern, this paper presents a method for code generation based on the meta information of message patterns and the syntax of target progamming language. Also, branching and looping that has been seldom handled integratedly in the previous works are handled as same as the basic patterns by classifying the branching pattern and the looping pattern for code generation integratedly.