• 대한수학교육학회지:학교수학
• /
• 제4권4호
• /
• pp.555-563
• /
• 2002

The purpose of this paper is to try formulating a working definition of connection of informal and formal mathematical knowledge. Many researchers have suggested that informal mathematical knowledge should be connected with school mathematics in the process of learning and teaching it. It is because informal mathematical knowledge might play a important role as a cognitive anchor for understanding school mathematics. To implement the connection of them we need to know what the connection means. In this paper, the connection between informal and formal mathematical knowledge refers to the making of relationship between common attributions involved with the two knowledge. To make it clear, it is discussed that informal knowledge consists of two properties of procedures and conceptions as well as formal mathematical knowledge does. Then, it is possible to make a connection of them. Now it is time to make contribution of our efforts to develop appropriate models to connect informal and formal mathematical knowledge.

• Journal of Information Processing Systems
• /
• 제11권2호
• /
• pp.184-204
• /
• 2015

Fuzzy Formal Concept Analysis (FCA) is a mathematical tool for the effective representation of imprecise and vague knowledge. However, with a large number of formal concepts from a fuzzy context, the task of knowledge representation becomes complex. Hence, knowledge reduction is an important issue in FCA with a fuzzy setting. The purpose of this current study is to address this issue by proposing a method that computes the corresponding crisp order for the fuzzy relation in a given fuzzy formal context. The obtained formal context using the proposed method provides a fewer number of concepts when compared to original fuzzy context. The resultant lattice structure is a reduced form of its corresponding fuzzy concept lattice and preserves the specialized and generalized concepts, as well as stability. This study also shows a step-by-step demonstration of the proposed method and its application.

• 한국초등수학교육학회지
• /
• 제10권2호
• /
• pp.221-242
• /
• 2006

자연수의 나눗셈에 관해 초등학생이 가진 비형식적 지식을 조사하고 그 결과를 학교에서 지도하는 형식적 지식과 연계하여 의미 있는 시사점을 찾고자 하였다. 이러한 목적을 달성하기 위해 자연수의 나눗셈과 관련하여 형식적 지식을 배우지 않은 학생이 가진 비형식적 지식은 무엇이고, 문제를 해결하는 과정에서 형식적 지식을 학습한 학생과 형식적 지식을 학습하지 쟈은 학생의 사고 전략의 차이를 분석하였다. 이를 위해 1, 2, 3학년 학생을 대상으로 질적 연구를 하여 다음과 같은 결론을 얻었다. 첫째, 자연수의 나눗셈에 관한 초등학생의 비형식적 지식은 구체물에 의한 전략에서부터 사칙연산에 이르기까지 다양하다. 둘째, 형식적 지식을 학습한 학생은 형식적 지식에 문제 해결방법이 한정되어 있어 다양한 전략을 사용하지 못한다. 셋째, 나눗셈 지도가 전혀 이루어지지 않은 1, 2학년 학생이 스스로 비형식적 지식을 사용하여 문제를 해결할 수 있다는 것은 알고리즘의 습득이 문제 해결의 전제조건이 아니라는 것을 보여 준다. 넷째, 수학적 지식을 가르칠 때. 비형식적 지식과 연계하여 형식적 지식을 가르칠 필요가 있다. 다섯째, 수학과의 연산 영역에서도 알고리즘에 치중한 지도가 아닌, 다양한 전략의 지도가 필요하다.

• 정보관리학회지
• /
• 제16권4호
• /
• pp.53-74
• /
• 1999

본 논문에서는 효율적인 암묵적 지식을 표현하기위한 도구로써 개념매핑기법에 대해 기술을 하고 있다. 개념매핑기법은 비형식적인 것에서부터 형식적인기법까지 다양하다. 형식적개념매핑은 사용이 용이하지만 컴퓨터 처리능력이 없다. 반면에 비형식적 개념매핑은 추론능력은 있으나 사용이 어렵다는 단점이 있다. 따라서 미래의 지식매핑시스템은 형식적ㆍ비형식적 개념기법의 장점을 모두 고려해야 할 것으로 보인다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제32권3호
• /
• pp.297-314
• /
• 2018

본 연구는 교사지식 중에서 예비교사의 학생에 대한 지식을 Shulman-Fischbein 개념틀을 이용하여 해석함으로써 우리의 교사교육의 현실에 시사점을 제공하고자 하였다. Shulman-Fischbein 개념틀은 수학의 알고리즘적 SMK, 수학의 형식적 SMK, 수학의 직관적 SMK, 수학의 알고리즘적 PCK, 수학의 형식적 PCK, 그리고 수학의 직관적 PCK의 여섯 가지 요소로 구성되어 있다. 이를 위해 일련의 평면도형 영역의 문제를 다루고 학생의 오개념을 포함한 지필과제를 5명의 예비교사에게 제시하고 그들이 제출한 답변을 분석하였다. 분석 결과 예비교사들은 상당히 강한 SMK를 지니고 있음을 보여주었고, 수학의 형식적 측면을 강조하는 경향을 보였다. 또한 학생들의 오개념 분석 시 학생들의 수준을 깊게 고려하지 않았고, 오개념을 고치기 위한 교수학적 방법을 제안할 때에 구체적이지 못하고 피상적인 답변만을 제시하는 특징을 보여주었다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제47권1호
• /
• pp.91-106
• /
• 2008

Interviews with 24 pupils in grade 1-2 were used to investigate awareness of the relation between situation and computation in simple quotitive and partitive division problems as informally experienced. Then it was suggested how to connect children's informal knowledge and formal knowledge of division. Most subjects counted cubes or made drawing, and related these methods to the situation described in the problems. In result, quotitive division was experienced as a dealing situation, where the number of items represented by the divisor was repeatedly taken from the whole number. And estimate-adjust was the most frequently displayed way of experiencing partitive division. Therefore, partitive division with its two measurement variables can be related to a measurement model. And children should be taught column algorithms for division with estimated-adjust which pupils used for partitive division problems.

• Industrial Engineering and Management Systems
• /
• 제9권1호
• /
• pp.1-9
• /
• 2010

Increasing product variety based on product family and product platform provides a company with a competitive advantage over its competitors. As products become more complex, short-life cycled and customized, the design efforts require more knowledge-intensive, collaborative and coordinating efforts for information sharing. By sharing knowledge, information, component and process across different families of products, the product realization process will be more efficient, cost-effective and quick-responsive. Formal Concept Analysis (FCA) is used for analyzing data and forming semantic structures that are formal abstractions of concepts of human thoughts. A Web Ontology Language (OWL) is designed for applications that need to process the content of information instead of simply presenting information to humans. OWL also captures the evolution of different components of the product family. The purpose of this paper is to develop product variety modeling to increase the usefulness of common platform. In constructing and analyzing product ontology, FCA is adopted for conceptual knowledge processing. For the selected product family, product variety Ontology is constructed and implemented using prot$\'{e}$g$\'{e}$-2000.

• East Asian mathematical journal
• /
• 제25권3호
• /
• pp.247-262
• /
• 2009

Permutation and combination are the part of mathematics which can be introduced the pliability and diversity of thought. In prior studies of permutation and combination, there treated difficulties of learning, strategy of problem solving, and errors that students might come up with. This paper provides the method so that meaningful teaching and learning might occur through the systematic approach of permutation and combination. But there were little prior studies treated counting numbers that basic of mathematics' action. Therefore this paper tries to help the understanding of permutation and combination with the process of changing from informal knowledge to formal knowledge.

• Asian Journal of Innovation and Policy
• /
• 제4권2호
• /
• pp.242-262
• /
• 2015

The relationship between geographical proximity and academics' formal and informal knowledge-transfer activities in the network is analyzed with a mixed research method. With social network analysis as a basis, we have explored the networks between academics and firms in the 16 regions of South Korea. The result shows Seoul and Gyunggi are identified as central nodes, meaning that the academics in other regions tend to collaborate with firms in these regions. An econometric analysis is performed to confirm the localization of knowledge-transfer activities. The intensity of formal channels measured by the number of academic papers is negatively, but significantly associated with the geographical proximity. However, we have not found any significant relationship between the formality of the channels and geographical proximity. Possibly, the regional innovation systems in South Korea are neither big enough nor strong enough to show a localization effect.

• 지식경영연구
• /
• 제11권3호
• /
• pp.31-45
• /
• 2010

IT outsourcing studies have centered on the separate effect of formal contract and relational trust on IT outsourcing performance. In addition, previous studies ignored the importance of the relational capability that combine the formal contract and partnership can be able to deliver IT outsourcing effects. In this paper, we propose an IT governance commitment as a mediated role between relational capability and IT outsourcing performance. We collected data from 143 client companies of IT outsourcing and analyzed it using the PLS method. Our findings are revealed as following: At first, relational capability significantly and directly influence IT governance commitment as well as indirectly through formal contract and partnership. Secondly, IT governance commitment mediate between relational capability and IT outsourcing effect, and in turn affect IT outsourcing performance. The results and implications are further discussed.