• Journal of The Korean Association For Science Education
• /
• 제22권5호
• /
• pp.1082-1102
• /
• 2002

Most of comparative studies in science teacher education so far have been conducted in terms of teacher education policy, pre- and in-service training system and curriculum, and certificate system. While such superficial information can be readily obtainable, it does not necessarily enable us to make access to reality of science teachers' professional development in respective countries, because practice in professional development among science teachers is deeply embedded into respective socio-cultural environment or climate. In order to get information on reality in science teachers' professional development, alternative approaches of research should be developed. This paper aims at pursuing an alternative way to approach reality of Japanese science teachers' professional development. An email survey of free description method with 29 in-service science teachers with a variety of years of experience in Ibaraki Prefecture, Japan, revealed that Japanese science teachers have developed their expertise through very close daily-based communication with their peer science teachers. At least, within their consciousness, neither formal in-service training programs, nor pre-service training programs have had much stronger effects on their professional development than such non-formal, daily-based, deep, apprenticeship-typed or in some sense, family-typed communication. The results suggest that in order to conduct meaningful comparative studies, we should take much more attention to how to make access to reality of science teachers' professional development.

• Korean Journal of Computational Design and Engineering
• /
• 제18권5호
• /
• pp.309-320
• /
• 2013

Augmented reality (AR) is considered to be an excellent user interface to a 3D information space embedded within physical reality. For this reason, it has been applied to various applications such as design, medical service, interaction, and collaboration. However, there is no formal way of analyzing the research trend and evolution of augmented reality. This paper identifies the research trend and change in augmented reality (AR) via co-citation analysis. The co-citation analysis provides how the AR research has evolved, who are main contributors, and which papers suggest essential and influencing impact. To systematically analyze the cocitation, we have retrieved 1,145 papers from the Web of Science and applied a scientomertric analysis using CiteSpace. Based on the co-citation analysis of authors and documents, it is possible to analyze the evolution of augmented reality, key authors and papers, and breakthroughs. We have also compared the proposed approach with survey papers written by experts so that the result of the co-citation analysis can compromise the qualitative result done by experts, and thus it can provide a different view and insight for visualizing the research on augmented reality.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• 제12권1호
• /
• pp.405-412
• /
• 2011

This paper analyzes the requirements of an ideal augmented-reality contents authoring tool that can allow non-programmers as content creators to author contents easily and quickly. To satisfy the requirements, we employ the approach using formal and visual specification techniques. In this paper, we also introduce an integrated augmented-reality framework for the ideal authoring tool, and demonstrate the effectiveness of our research results by illustrating an example content.

• Journal of Educational Research in Mathematics
• /
• 제8권1호
• /
• pp.313-326
• /
• 1998

The purpose of this study is to verify the meaning of preformal proof and its didactical significance in mathematics education. A preformal proof plays a more important role in mathematics education, because nowadays in mathematics a proof is considered as an important fact from a sociological point of view. A preformal proof was classified into four categories: a) action proof, b) geometric-intuitive proof, c) reality oriented proof, d) proof by generalization from paradiam. An educational significance of a preformal proof are followings: a) A proof is not identified with a formal proof. b) A proof is not only considered from a symbolic level, but also from enactive and iconic level. c) A preformal proof generates a formal proof and convinces pupils of a formal proof d) A preformal proof is psychologically natural. e) A preformal proof changes a conception of what is a proof. Therefore a preformal proof is expected to teach in school mathematics from the elementary school to the secondary school.

• The Mathematical Education
• /
• 제43권4호
• /
• pp.381-390
• /
• 2004

In this study, we conceptualized the ‘preformal proof’, which is a transitive level of proof from the experimental and inductive justification to the formalized mathematical proof. We investigated concrete features of the preformal proof in the historico-genetic and the didactical situations. The preformal proof can get the generality of the contents of proof, which makes a distinction from the experimental proof. And we can draw a distinction between the preformal and formal proof, in point that the preformal proof heads for the reality-oriented objects and does not use the formal language.

• The Journal of the Korea Contents Association
• /
• 제18권1호
• /
• pp.305-313
• /
• 2018

Public open data is a database or electronic file produced by a public agency or government. The government is opening public data through the open data portals and individual agency websites. However, it is a reality that there is a limit to search and utilize desired public data from the perspective of data users. In particular, it takes a great deal of effort and time to understand the characteristics of data sets and to combine different data sets. This study suggests the possibility of interlinking between data sets by analyzing the common relationship of item names held by public data. The data sets are collected from the open data portal, and item names included in the data sets are extracted. The extracted item names consist of formal context and formal concept through formal concept analysis. The format concept has a list of data sets and a set of item name as extent and intent, respectively, and analyzes the common items of intent end to determine the possibility of data connection. The results derived from the formal concept analysis can be effectively applied to the semantic connection of the public data, and can be applied to data standard and quality improvement for public data release.

• Journal of the Korean Institute of Landscape Architecture
• /
• 제28권5호
• /
• pp.15-25
• /
• 2000

The purpose of this paper is to examine the visual evaluation structure about the formal changes of streetscape by the different moving speed in two alternative control plans for the building height and the setback regulation. The virtual reality system is applied to the experimental tool. Eighty-two experimental models are made in consideration of the height and the setback of the building regulation cased by Midou-suji street in Osaka City, Japan. and ten typical models are selected by pre-experiment. Since the changes of the landscape structure consists of the height and the setback of the building, four the evaluation items are set: grade of continuity, order, openness, preference. As there are eighty-two landscape models which are too many to be applied in this experiment, ten role models are drawn out and used in this experiment. The mean difference test, discriminant analysis, and multiple linear regression methods had been used for the statistical analysis methods. The results of this study are as follows; 1) It is found out the fact of the difference evaluation structure amount experiments models. 2) From the sketch analysis and interview, it is found out difference cognition structure by the moving speed and alternatives. 3) From the discriminant and regression analysis, it is found out that the evaluation value about continuity becomes low by the moving speed change from walking speed to driving speed. We suggest that continuous experiment should be made with a variety of groups and models, and general and universal results should also be come out of the experiments above.

• Journal of the Korea Safety Management & Science
• /
• 제23권3호
• /
• pp.35-45
• /
• 2021

Activities to prevent industrial accidents can be divided into management of disaster risk factors of production facilities, disaster prevention systems and procedures, and human factors management. Human factor management is the last and most effective means to minimize disaster incidence and loss costs. The key strategy for this is safety and health education. However, formal or fictitious education is still being carried out in the industrial field. In addition, it is true that the application of practical use is insufficient due to the simple theoretical education based on knowledge transfer. In order to change the safety consciousness of employers and workers, we think that the paradigm of education should be changed from the traditional text and video-oriented lecture education method to experience-oriented education. The purpose of this study is to measure and analyze the effectiveness of safety education through education contents using VR(Virtual Reality) and AR(Augmented Reality) technology in keeping with the changing times of the 4th Industrial Revolution, And to suggest the direction of future safety and health education and content development trend.

• Journal of English Language & Literature
• /
• 제54권1호
• /
• pp.3-29
• /
• 2008

Ian Watt, author of The Rise of the Novel, maintained that the novel originated in modern England, came from prose discourses such as the news, political essays and journalistic writing which propagated the Enlightenment, and the novels represent formal realism. The main point of this paper is to examine Watt's theory of the rise of the novel on the basis of the criticism of antinomy of the Enlightenment and "the public sphere" in Habermas' terms. At first, I will criticize formal realism, which is not a new literary species, but a formally renovated realistic form that represented capitalism and protestantism. And, then, I will show that formal realism is a kind of antinomy because it turned away from the voices and reality of the low-class and women though the novel concentrated on common people, not the aristocrats. Secondly, I will inquire into the antinomy of the Enlightenment in the aspects of reason, freedom, individualism and women. In my view, as soon as the high-middle class acquired their political rights, these values were no more encouraged and the result revealed antinomy of the Enlightenment more explicitly. Thirdly, I'd argue that "the public sphere" had positive meanings to everyone when the bourgeosie were fighting against the Absolutism and the aristocracy. I'll also insist that the high-middle class and the intellectuals were in "the public sphere" in which Habermas argues that rationality and equality were thought to have been realized, while the low-middle class and most women were de-enlightened and disciplined by reading the novel privately. In conclusion, formal realism is not the rise of the novel, but the opening of the novel peculiar to bourgeosie parliamentarism from the middle-eighteenth century to the middle-twentieth century.

• Journal of Information Technology Services
• /
• 제7권3호
• /
• pp.271-286
• /
• 2008

The core of the semantic web is ontology, which supports interoperability among semantic web applications and enables developer to reuse and share domain knowledge. It used a variety of fields such as Information Retrieval, E-commerce, Software Engineering, Artificial Intelligence and Bio-informatics. However, the reality is that various errors might be included in conceptual hierarchy when developing ontologies. Therefore, methodologies and supporting tools are essential to help the developer construct suitable ontologies for the given purposes and to detect and analyze errors in order to verify the inconsistency in the ontologies. In this paper we propose a new approach for ontology error detection based on the Concept Lattices of Formal Concept Analysis. By using the tool that we developed in this research, we can extract core elements from the source code of Ontology and then detect some structural errors based on the concept lattices. The results of this research can be helpful for ontology engineers to support error detection and construction of "well-defined" and "good" ontologies.