• Journal of Elementary Mathematics Education in Korea
• /
• v.12 no.1
• /
• pp.79-100
• /
• 2008

Freudenthal has advocated the reinvention method. In that method, the pupils start with a meaningful context, not ready-made concepts, and invent informative method through which he could arrive at the formative concepts progressively. In many face the reinvention method is contrary to the traditional method. In traditional method, which was named as 'concretization method' by Freudenthal, the pupils start with ready-made concepts, and applicate this concepts to various instances through which he could arrive at the understanding progressively. Through analysis, it turns out that Korea's seventh elementary mathematics textbook is based on concretization method. In this thesis, first of all, I will reconstruct probability unit of seventh elementary textbook according to Freudenthal's reinvention method. Next, I will perform teaching experiment which is ruled by new lesson design. Lastly, I analysed the effects of teaching experiment. Through this study, I obtained the following results and suggestions. First, the reinvention method is effective on the teaching of probability concept and algorithm. Second, in comparison with current textbook strand, my strand which made probability concept go ahead and combinatorics concept let behind is not deficiency. Third, tree diagram is effective matrix which contribute to formalization of combinatorics calculation. Lastly, except for fraction, diverse representation of probability, for example percentage or informal ratio expression must be introduced in teaching process.

• Journal of Preventive Medicine and Public Health
• /
• v.34 no.4
• /
• pp.399-407
• /
• 2001

Objectives : To investigate the current status of hospital-based health promotion programs in Korea and to elucidate the factors which affect to the process of implementation. Methods : We conducted a mail survey of all 875 hospitals in Korea from March to May 2001. In reference to 12 specific kinds of health promotion programs, hospital CEOs were asked whether their hospital have such programs, whether they are fully staffed and whether the program is paid for by the patients. Contextual factors(location, hospital type, number of beds, length of operation, public/private status, economic level of the community, the level of competition) and organizational factors (the extent of market, compatibility with vision, formalization), strategic types of the CEOs (defender/analyser/prospector) were also surveyed. The relationships between each variable and the implementation of health promotion services, activation of services, and the target groups(patient/community resident) were analyzed by univariate analysis and the independent effects of these variables were examined with multiple logistic regression. Results : 100 of 125 hospitals responding (84.8%) had mere than one health promotion program. However, they showed fluctuations in the adoption rate of each programs, meaning that comprehensive health promotion services were not provided. Many programs were not fully staffed and few hospitals had paid programs. In factors affecting health promotion service implementation, private hospitals showed a higher rate in implementation than public hospitals. In contrast, when the competition among nearby hospitals was intense, the level of implementation of service lowered. In the strategic type of the CEOs, the prospectors were shown to have instituted more health promotion programs in their hospitals and the analysers had a greater tendency to have programs for community residents than the defenders. Conclusion . Considering the above results, contextual factors may contribute greatly to the introduction of health promotion services in Korean hospital, although the CEO's personal preference and organizational factors play a larger role in the activation of services. Additionally, the CEO's personal preference may be the major influencing factor in the introduction of programs for community residents.

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.43-86
• /
• 2019

If 1st order ZFC is consistent(has a model($M_1$)) it has a transitive denumerable model($M_2$). This leads to a paradoxical situation called 'Skolem paradox'. This can be easily resolved by Skolem's typical resolution. but In the process, we must accept the model theoretic relativity for the concept of set. This relativity can generate a situation where the meaning of the set concept, for example, is given differently depending on the two models. The problem is next. because the sentence '¬denu(PN)' which indicate that PN is not denumerable is equally true in two models, A indistinguishability problem that the concept <¬denu> is not formally indistinguishable in ZFC arise. First, I will give a detail analysis of what the nature of this problem is. And I will provide three ways of responding to this problem from the standpoint of supporting ZFC. First, I will argue that <¬denu> concept, which can be relative to the different models, can be 'almost' distinguished in ZFC by using the formalization of model theory in ZFC. Second, I will show that <¬denu> can change its meaning intrinsically or naturally, by its contextual dependency from the semantic considerations about quantifier that plays a key role in the relativity of <¬denu>. Thus, I will show the model-relative meaning change of <¬denu> concept is a natural phenomenon external to the language, not a matter of responsible for ZFC.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• Education of Primary School Mathematics
• /
• v.24 no.4
• /
• pp.247-264
• /
• 2021

The area of a trapezoid is an important concept to develop mathematical thinking and competency, but many students tend to understand the formula for the area of a trapezoid instrumentally. A clue to solving these problems could be found in Dienes' theory of learning mathematics and Watson and Mason' concept of example spaces. The purpose of this study is to obtain implications for the teaching and learning of the area of the trapezoid. This study analyzed the example spaces constructed by students in learning the area of a trapezoid based on Dienes' theory of learning mathematics. As a result of the analysis, the example spaces for each stage of math learning constructed by the students were a trapezoidal variation example spaces in the play stage, a common representation example spaces in the comparison-representation stage, and a trapezoidal area formula example spaces in the symbolization-formalization stage. The type, generation, extent, and relevance of examples constituting example spaces were analyzed, and the structure of the example spaces was presented as a map. This study also analyzed general examples, special examples, conventional examples of example spaces, and discussed how to utilize examples and example spaces in teaching and learning the area of a trapezoid. Through this study, it was found that it is appropriate to apply Dienes' theory of learning mathematics to learning the are of a trapezoid, and this study can be a model for learning the area of the trapezoid.

• Composites Research
• /
• v.37 no.3
• /
• pp.170-178
• /
• 2024

This study proposes a hybrid composite where a thin copper film (Cu film) is embedded in carbon fiber reinforced plastic (CFRP), and quantum annealing is applied to derive the combination of Cu film placement that maximizes the through-thickness thermal conductivity. The correlation between each ply of CFRP and the Cu film is analyzed through finite element analysis, and based on the results, a combination optimization problem is formulated. A formalization process is conducted to embed the defined problem into quantum annealing, resulting in the formulation of objective functions and constraints regarding the quantity of Cu films that can be inserted into each ply of CFRP. The formulated equations are programmed using Ocean SDK (Software Development Kit) and Leap to be embedded into D-Wave quantum annealer. Through the quantum annealing process, the optimal arrangement of Cu films that satisfies the maximum through-thickness thermal conductivity is determined. The resulting arrangements exhibit simpler patterns as the quantity of insertable Cu films decreases, while more intricate arrangements are observed as the quantity increases. The optimal combinations generated according to the quantity of Cu film placement illustrate the inherent thermal conductivity pathways in the thickness direction, indicating that the transverse placement freedom of the Cu film can significantly affect the results of through-thickness thermal conductivity.

• Asia pacific journal of information systems
• /
• v.20 no.2
• /
• pp.125-155
• /
• 2010

Ontologies have been adopted in various business and scientific communities as a key component of the Semantic Web. Despite the increasing importance of ontologies, ontology developers still perceive construction tasks as a challenge. A clearly defined and well-structured methodology can reduce the time required to develop an ontology and increase the probability of success of a project. However, no reliable knowledge-engineering methodology for ontology development currently exists; every methodology has been tailored toward the development of a particular ontology. In this study, we developed a Graduation Screen Ontology (GSO). The graduation screen domain was chosen for the several reasons. First, the graduation screen process is a complicated task requiring a complex reasoning process. Second, GSO may be reused for other universities because the graduation screen process is similar for most universities. Finally, GSO can be built within a given period because the size of the selected domain is reasonable. No standard ontology development methodology exists; thus, one of the existing ontology development methodologies had to be chosen. The most important considerations for selecting the ontology development methodology of GSO included whether it can be applied to a new domain; whether it covers a broader set of development tasks; and whether it gives sufficient explanation of each development task. We evaluated various ontology development methodologies based on the evaluation framework proposed by G$\acute{o}$mez-P$\acute{e}$rez et al. We concluded that METHONTOLOGY was the most applicable to the building of GSO for this study. METHONTOLOGY was derived from the experience of developing Chemical Ontology at the Polytechnic University of Madrid by Fern$\acute{a}$ndez-L$\acute{o}$pez et al. and is regarded as the most mature ontology development methodology. METHONTOLOGY describes a very detailed approach for building an ontology under a centralized development environment at the conceptual level. This methodology consists of three broad processes, with each process containing specific sub-processes: management (scheduling, control, and quality assurance); development (specification, conceptualization, formalization, implementation, and maintenance); and support process (knowledge acquisition, evaluation, documentation, configuration management, and integration). An ontology development language and ontology development tool for GSO construction also had to be selected. We adopted OWL-DL as the ontology development language. OWL was selected because of its computational quality of consistency in checking and classification, which is crucial in developing coherent and useful ontological models for very complex domains. In addition, Protege-OWL was chosen for an ontology development tool because it is supported by METHONTOLOGY and is widely used because of its platform-independent characteristics. Based on the GSO development experience of the researchers, some issues relating to the METHONTOLOGY, OWL-DL, and Prot$\acute{e}$g$\acute{e}$-OWL were identified. We focused on presenting drawbacks of METHONTOLOGY and discussing how each weakness could be addressed. First, METHONTOLOGY insists that domain experts who do not have ontology construction experience can easily build ontologies. However, it is still difficult for these domain experts to develop a sophisticated ontology, especially if they have insufficient background knowledge related to the ontology. Second, METHONTOLOGY does not include a development stage called the "feasibility study." This pre-development stage helps developers ensure not only that a planned ontology is necessary and sufficiently valuable to begin an ontology building project, but also to determine whether the project will be successful. Third, METHONTOLOGY excludes an explanation on the use and integration of existing ontologies. If an additional stage for considering reuse is introduced, developers might share benefits of reuse. Fourth, METHONTOLOGY fails to address the importance of collaboration. This methodology needs to explain the allocation of specific tasks to different developer groups, and how to combine these tasks once specific given jobs are completed. Fifth, METHONTOLOGY fails to suggest the methods and techniques applied in the conceptualization stage sufficiently. Introducing methods of concept extraction from multiple informal sources or methods of identifying relations may enhance the quality of ontologies. Sixth, METHONTOLOGY does not provide an evaluation process to confirm whether WebODE perfectly transforms a conceptual ontology into a formal ontology. It also does not guarantee whether the outcomes of the conceptualization stage are completely reflected in the implementation stage. Seventh, METHONTOLOGY needs to add criteria for user evaluation of the actual use of the constructed ontology under user environments. Eighth, although METHONTOLOGY allows continual knowledge acquisition while working on the ontology development process, consistent updates can be difficult for developers. Ninth, METHONTOLOGY demands that developers complete various documents during the conceptualization stage; thus, it can be considered a heavy methodology. Adopting an agile methodology will result in reinforcing active communication among developers and reducing the burden of documentation completion. Finally, this study concludes with contributions and practical implications. No previous research has addressed issues related to METHONTOLOGY from empirical experiences; this study is an initial attempt. In addition, several lessons learned from the development experience are discussed. This study also affords some insights for ontology methodology researchers who want to design a more advanced ontology development methodology.

• (The) Research of the performance art and culture
• /
• no.40
• /
• pp.193-222
• /
• 2020

In this study, the development of traditional contents is to be enabled to succeed the values of the heritage on the song sang during dry-field farming of Bongpyeong Memil-dorikkaejil-sori. In addition, the identity on the heritage of songs sang during farming were diagnosed, and their value in context with the history and the value as the community for succession are emphasized as the value of cultural asset to expand the discussion up to the level of traditional cultural industry works. In the Bongpyeong Memil-dorikkaejil-sori, the intrinsic artistic value, the excellence of value as the educational experience, factor for overcoming the extinction of farming songs, and the promotion direction of the storytelling on buckwheat were provided. This is breaking from the formalization and being old-fashioned on the Bongpyeong Memil-dorikkaejil-sori to focus on the symbolization of the agricultural heritage in the modern context, habituating and spreading the gene of slash-and-burn field (hwajeon or budaeki). In terms of methodology on awareness, historicity or creativity, alternative method on the folk songs in labor was provided by having critical mind on the Bongpyeong Memil-dorikkaejil-sori and buckwheat songs. By reviewing the field contextualization of designating the intangible cultural asset, suggestions were made on activating the succession, and even the method of symbolic registration on the heritage of buckwheat farming was mentioned. Heritage on agricultural culture that can represent Pyeongchang and Gangwon must be discovered to be made into a brand. In addition, the uniqueness in the Madang 'Song Madaengi Traditional Music' must be found to apply as the brand on the point in which the people around the world can have consensus for utilization. As the farming song, rediscovery of the Bongpyeong Memil-dorikkaejil-sori is required to create the sustainable status as the multi-purpose cultural contents and provide the network of professionals for activating the folk songs to enable the opportunity of qualitative substantiality and spread instead of quantitative growth. In addition, festivals for each region, especially the festival for Pyeongchang area must be utilized centrally on the development of farming songs to organize the storytelling actively.

• Journal of the Korean Society for Library and Information Science
• /
• v.25
• /
• pp.343-388
• /
• 1993

The ability of any organization to innovate itself in a rapid change of environment means the existence of the organization. Innovative activity is achieved in different ways according to the objectives of organization. the characteristics of external environmental factors. and various attributes in organization. In the present study. all the existing approaches to the innovative nature of organization were synthetically compared to each other and evaluated: then. for a more rational approach. a research model was built and suggested by establishing the inclusive variables of the innovative nature of library organization and categorizing the types of such nature. Additionally. an empirical. analytical study on such a model was done. That is. paying regard to the fact that innovation has basically a close relation with the circumstantial factors of organization. synthetic, circumstantial relations were clarified. considering the external environmental factors and internal characteristics of organization. In the study. the innovation of library organization was seen in two parts i.e .. the feasible degree of technical innovation and the feasible degree of administrative innovation. Regarding the types of innovative implementation. according to the feasible degree of innovation, four types such as a stationary type. technic-oriented type, organization-oriented type. and technical-socio systematic type were classified. There were nine independent variables-i.e., the scale of organization. available resources of the organization, formalization, differentiation, specialization. decentralization, recognizant degree of the technical attribute. degree of response to the change of technical environment, and professional activities. There were three subordinate variables - i.e., technical innovation, administrative innovation. and the performance of organization. Through establishment of such variables, the factors which might influence the innovation of library organization were understood, and with the types of the innovative implementation of library organization being classified according to the feasible degree of innovation. the characteristics of library organization were reviewed in the light of each type. Also. the performance of library organization according to the types of the innovative implementation of library organization was analyzed. and the relations between the types of innovative implementation according to circumstantial variables and the performance of library organization were clarified. In order to clarify the adequacy of the research model in the methodology of empirical study, data were collected from 72 university libraries and 38 special libraries. and for a hypothetical test of the research model. an analysis of correlations, a stepwise regression analysis. and One Way ANOVA were utilized. The following are the major results or findings from the study 1) It appeared there is a trend that the bigger the scale of organization and available resources are, the more active the professional activity of the managerial class is, and the higher the recognizant degree of technical environment (recognizant degree of technical attributes and the degree of response t9 the change of technical environment) is, the higher the feasible degree of innovation becomes. 2) It appeared that among the variables influencing the feasible degree of technical innovation, the order from the variable influencing most was first, the recognizant degree of technical innovation: second, the available resources of organization: and third, professional activity. Regarding the variables influencing the feasible degree of administrative innovation from the most influential variable, it appeared they were the available resources of organization, the differentiation of organization. and the degree of response to the change of technical environment. 3) It appeared that the higher the educational level of the managerial class is, the more active the professional activity becomes. It seemed there is a trend that the group of library managers whose experience as a librarian was at the middle level(three years to six years of experience) was more active in research activity than the group of library managers whose experience as a librarian was at a higher level(more than ten years). Also, it appeared there is a trend that the lower the age of library managers is, the higher the recognizant degree of technical attributes becomes. and the group of library managers whose experience as a librarian was at the middle level (three years to six years of experience) recognized more affirmatively the technical aspect than the group of library managers whose experience as a librarian was at a higher level(more than 10 years). Also, it appeared that, when the activity of the professional association and research activity are active, the recognizant degree of technology becomes higher, and as a result. it influences the innovative nature of organization(the feasible degree of technical innovation and the feasible degree of administrative innovation). 4) As a result of the comparison and analysis of the characteristics of library organization according to the types of innovative implementation of library organization. it was indicated there is a trend that the larger the available resources of library organization, the higher the organic nature of organization such as differentiation. decentralization, etc., and the higher the level of the operation of system development, the more the type of the innovative implementation of library organization becomes the technical-socio systematic type which is higher both in the practical degrees of technical innovation and administrative innovation. 5) As a result of the comparison and analysis of the relations between the types of innovative implementation and the performance of organization, it appeared that the order from the highest performance of organization is the technical-socio systematic type, then the technic-oriented type, the organization­oriented type, and finally the stationary type which is lowest in such performance. That is, it demonstrated that, since the performance of library organization is highest in the library of the technical-socio systematic type while it is lowest in the library whose practical degrees in both technical innovation and administrative innovation are low, the performance of library organization differs significantly according to the types of innovative implementation of library organization. The present study has extracted the factors influencing innovation, classified systematically the types of innovative implementation, and inferred the synthetical, circumstantial correlations between the types and the performance of organization, and empirically inspected those factors. However, due to the present study's restrictive matters and the limit of the research design, results from the study should be more prudently interpreted. Also, the present study, as an investigative study of the types of innovative implementation, with few preceding studies, requires more complete hypothetical inference based on the results of the present study. In other words, if more systematical studies are given to understanding the relations, it will devote the suggestion and demonstration of a more useful theory.