• Journal for History of Mathematics
• /
• v.16 no.2
• /
• pp.11-22
• /
• 2003

In this paper, we investigate the types and roles of ancient mathematical proof by exploring Gu-Jang-Sal-Sul. Gu-Jang-Sal-Sul is a ancient Chinese mathematics book. Types of proof contained in Gu-Jang-Sal-Sul are enactive proof and intuitive proof and the role of proof is explanation. And we suggest social background of proof in Gu-Jang-Sal-Sul topographically, culturally, and logically.

• Journal of the Korean Graphic Arts Communication Society
• /
• v.29 no.1
• /
• pp.1-21
• /
• 2011

Because of high demand of color quality of the prints, proof prints are more important for end-user to predict and correct the final prints directly as an intermediate. Thus, proof prints can be used as a reference to take minimum ${\Delta}E^*ab$between the originals and finals in the field. The advantage of proof prints is to predict and correct color easily through the RIP(Raster Image Processor) without printing plates and plate making steps. While, it is thought that the proof systems are almost equivalent to the press in the past, present proof systems are more simple to take proof prints more easily due to the automation and digitalization. This paper addresses a method to perform an accurate profiling according to proof paper types and find optimal proof papers which meet proofing requirement. Although proof papers are matched with ISO 12647-7, we were trying to reduce ${\Delta}E^*ab$, In addition to the above, through the Gamut Mapping and Iteration, We were trying to find optimal proofing conditions.

• Education of Primary School Mathematics
• /
• v.7 no.2
• /
• pp.85-99
• /
• 2003

In this paper, firstly examined various proofs types that cover informal empirical justifications by Balacheff, Miyazaki, and Harel ＆ Sowder and Tall. Using these theoretical frameworks, justification activities by 5th graders were analyzed and several conclusions were drawn as follow: 1) Children in 5th grade could justify using various proofs types and method ranged from external proofs schemes by Harel & Sowder to thought experiment by Balacheff This implies that children in elementary school can justify various mathematical statements of ideas for themselves. To improve children's proving abilities, rich experience for justifying should be provided. 2) Activities that make conjectures from cases then justify should be given to students in order to develop a sense of necessity of formal proof. 3) Children have to understand the meaning and usage of mathematical symbol to advance to formal deductive proofs. 4) New theoretical framework is needed to be established to provide a framework for research on elementary school children's justification activities. Research on proof mainly focused on the type of proof in terms of reasoning and activities involved. But proof types are also influenced by the tasks given. In elementary school, tasks that require physical activities or examples are provided. To develop students'various proof types, tasks that require various justification methods should be provided. 5) Children's justification type were influenced not only by development level but also by the concept they had. 6) Justification activities provide useful situation that assess students'mathematical understanding. 7) Teachers understanding toward role of proof(verification, explanation, communication, discovery, systematization) should be the starting point of proof activities.

• Journal of Korea Technical Association of The Pulp and Paper Industry
• /
• v.35 no.2
• /
• pp.26-32
• /
• 2003

For the purpose of manufacturing water-resistant corrugated board boxes for agricultural products in the cold chain system, the effects of fiber types, wet strength agents and a moisture-proof chemical on the properties of the base papers were investigated first. PAE(polyamide amine epichlorohydrin) showed better performance than MF(melamine formalde-hyde) over broad stock pH ranges, which was prefered as wet strength agent for the paper grade. When short fibers(AOCC, KOCC) were mixed with long fiber(UKP) in certain ratios, some physical properties of the paper made with mixed fibers were similar to those of the paper made with UKP only. Paper containing AOCC showed the biggest increase in water resistance when PAE was added to the stock. Synergistic effects in moisture-proof and some mechanical properties of paper were appeared when PAR was added internally, together with the coating of a moisture proof chemical on the sheets.

• Education of Primary School Mathematics
• /
• v.4 no.1
• /
• pp.63-73
• /
• 2000

The purpose of this paper is to address He possibility of the teaching of 'proof' in elementary mathematics, on the assumption that proof in school mathematics should be used in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof. 'Proof' has not been taught in elementary mathematics, traditionally. Most students have had little exposure to the ideas of proof before the geometry. However, 'Proof' cannot simply be taught in a single unit. Rather, proof must be a consistent part of students' mathematical experience in all grades. Or educators and mathematicians need to rethink the nature of mathematical proof and give appropriate consideration to the different types of proof related to the cognitive development of a notion of proof.

• Proceedings of the KIEE Conference
• /
• 1994.07a
• /
• pp.110-113
• /
• 1994

In the hazardous areas where explosive substances in the form of gases, vapor or mists exist, electrical apparatus and installations must be of explosion-proof construction to prevent or limit the danger of the ignition of potentially explosive atmosphere. In Korea, six types of protection have been specified in the government regulations at present: flameproof enclosure, pressurization, oil immersion, increased safety, intrinsic safety, and special types. If electrical apparatus are made of explosion-proof construction in a way other than five above-mentioned types, and their performance is tested and approved by the reponsible authorities, they may be categorized as special type apparatus. In this paper, we introduced a special type of explosion-proof electrical apparatus, called non-incendive type, and presented its constructional requirements. We also investigated evaluation methods of non-incendive type apparatus to assure the explosion-proof performance, and proposed a new classification method of hazardous areas using probabilistic concept.

• Journal of the Korean Society of Safety
• /
• v.28 no.2
• /
• pp.31-36
• /
• 2013

For lighting of dark and hazardous workplace such as compartment of ships under construction, workers should use hand lamps of explosion-proof type. However, the heavy weight of such lamps has prevented most impatient workers from using such types of lamps extensively. In this paper, we developed a light weight hand lamp of intrinsic safety type which reduced the weight a lot while maintaining or improving the lighting and explosion-proof function. We made a prototype which consisted of lamp fixture and high frequency power supply. Testing results show that the hand lamp meets well all the explosion-proof testing requirements of the Korea Occupational Safety and Health Agency. And more, we surveyed the explosion protection technology of a light weight hand lamp, and suggested the advantage/disadvantage to apply lighting of hand lamp about economical aspect.

• Journal of the Korean School Mathematics Society
• /
• v.11 no.1
• /
• pp.55-68
• /
• 2008

In this paper, we investigated difficulties that middle school students face in the teaming process of proof, and then inquired how does learning of proof using GSP ease students' difficulties. Throughout the inspection, we identified that students have difficulties in understanding process of premise and conclusion, use of notation, process of reasoning. And we identified, throughout learning process of proof using GSP, students can be feedbacked for their guess or reasoning, generalize the special case to general properties and have attitude checking ideas needed in proof by themselves.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 1997.11a
• /
• pp.135-142
• /
• 1997

For lighting of dark and hazardous workplaces such as compartments of ships under construction, workers should use hand lamps of explosion-proof type. However, the heavy weight of such lamps has prevented most impatient workers from using such types of lamps extensively. In this paper, ire developed a light weight hand lamp of intrinsic safety type which reduced the weight a lot while maintaining or improving the lighting and explosion-proof function. We made a Prototype which consisted of lamp fixture and low/high frequency power supply. Testing results show that the hand lamp meets well all the explosion-proof testing requirements of the Korea Industrial Safety Corporation.

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.