• Digital Contents
• /
• no.5 s.144
• /
• pp.68-69
• /
• 2005

습자가 원하는 학습자원을 컴퓨터가 스스로 찾아내서 학습자에게 전달해주고, 더 나아가 새로운 지식까지 추론해서 제공해 줄 수는 없을까? 의미의 웹이라 불리고 있는 시멘틱 웹(Semantic Web)은 의미적으로 연결돼 있는 학습 정보를 컴퓨터가 의미를 이해해서 학습자가 원하는, 학습자 수준에 맞는 정보를 제공해주고 더 나아가 지식까지도 추론해서 학습자에게 가장 적합한 형태로 전달해 줄 수 있는 강력한 메커니즘으로 부각되고 있다. 이에 필자는 살이 있는 e러닝이 되기 위해서는 시멘틱 웹과의 통합이 필요하다고 생각해 2회에 걸쳐 시멘틱 웹과, 시멘틱 웹을 e러닝에 어떻게 적용할 것인지에 대해 진단해 보고자 한다.

• School Mathematics
• /
• v.18 no.4
• /
• pp.749-771
• /
• 2016

The purpose of this study is to analyze mathematical tasks of Korea and the USA textbooks focused on conditions for parallelograms. In this study, structures of task, types of proof and reasoning, and levels of cognitive demand are investigated. The conclusion is as follows: First, with respect to structures of task, structures presented in the USA textbooks are more diverse. Second, with respect to types of proof and reasoning, Korea and the USA prefer IC task and DA task. And task types presented in the USA textbooks are more diverse. Third, with respect to levels of cognitive demand, in both Korea and the USA textbooks, PNC task and PWC task account most. And compared to the USA, Korea prefer algorithms. In addition, we find out implications for reconstruction of Korea textbook. It is as follows: First, with respect to structures of task and types of proof and reasoning, the diversity of composition needs to be raised. Second, with respect to levels of cognitive demand, the concentration in PNC task needs to be declined. And levels of cognitive demand on types of tasks need to be reconsidered. Third, with respect to tasks' topic and material, internal and external connectivities of mathematics need to be strengthened.

• Journal of KIISE
• /
• v.41 no.9
• /
• pp.674-685
• /
• 2014

The Knowledge service system needs to infer a new knowledge from indicated knowledge to provide its effective service. Most of the Knowledge service system is expressed in terms of ontology. The volume of knowledge information in a real world is getting massive, so effective technique for massive data of ontology is drawing attention. This paper is to provide the method to infer massive data-ontology to the extent of RDFS, based on cloud computing environment, and evaluate its capability. RDFS inference suggested in this paper is focused on both the method applying MapReduce based on RDFS meta table, and the method of single use of cloud computing memory without using MapReduce under distributed file computing environment. Therefore, this paper explains basically the inference system structure of each technique, the meta table set-up according to RDFS inference rule, and the algorithm of inference strategy. In order to evaluate suggested method in this paper, we perform experiment with LUBM set which is formal data to evaluate ontology inference and search speed. In case LUBM6000, the RDFS inference technique based on meta table had required 13.75 minutes(inferring 1,042 triples per second) to conduct total inference, whereas the method applying the cloud computing memory had needed 7.24 minutes(inferring 1,979 triples per second) showing its speed twice faster.

• Education of Primary School Mathematics
• /
• v.22 no.4
• /
• pp.205-221
• /
• 2019

The study aimed at investigating preservice elementary school teachers' statistical reasoning when they posed survey questions as they engaged in statistical problem solving, and analyzing how their statistical reasoning affect the subsequent stages. 24 groups of sophomore students(80 students) from two education universities conducted statistical problem solving and completed statistical report, and 22 of them were analyzed. As a result, 9 statistical reasoning were shown when preservice teachers posed survey questions. Among them, question clarification oriented reasoning and variability based reasoning were not exclusively focused upon in the previous research. In order to investigate how statistical reasoning in posing survey questions affected subsequent stages, we examined difficulties and issues that preservice teachers had when they engaged in analyses and conclusion stage described in their report. Consequently, preservice teachers' difficulties were related to population relevant reasoning, category level reasoning, standardization reasoning, alignment to question reasoning, and question clarification oriented reasoning. While previous studies did not focus on question posing stage, this study claimed the necessity of emphasizing various statistical reasoning in question posing and importance of teaching and learning method of appropriate statistical reasoning in question posing.

• Review of KIISC
• /
• v.28 no.2
• /
• pp.61-77
• /
• 2018

차분 프라이버시는 통계 데이터베이스 상에서 수행되는 질의 결과에 의한 개인정보 추론을 방지하기 위한 수학적 모델로써 2006년 Dwork에 의해 처음 소개된 이후로 통계 데이터에 대한 프라이버 보호의 표준으로 자리잡고 있다. 차분 프라이버시는 데이터의 삽입/삭제 또는 변형에 의한 질의 결과의 변화량을 일정 수준 이하로 유지함으로써 정보 노출을 제한하는 개념이다. 이를 구현하기 위해 메커니즘 상의 연구(라플라스 메커니즘, 익스퍼넨셜 메커니즘)와 다양한 데이터 분석 환경(히스토그램, 회귀 분석, 의사 결정 트리, 연관 관계 추론, 클러스터링, 딥러닝 등)에 차분 프라이버시를 적용하는 연구들이 수행되어 왔다. 본 논문에서는 처음 Dwork에 의해 제안되었을 때의 차분 프라이버시 개념에 대한 이해부터 오늘날 애플 및 구글에서 차분 프라이버시가 적용되고 있는 수준에 대한 연구들의 진행 상황과 앞으로의 연구 주제에 대해 소개한다.

• 한국HCI학회:학술대회논문집
• /
• 2007.02b
• /
• pp.375-380
• /
• 2007

맥락 정보와 맥락 인식 시스템에 대한 연구는 지난 10 여 년 동안 유비쿼터스 컴퓨팅 분야에서 중요한 이슈로 다루어졌다. 대부분의 맥락 인식 시스템은 위치 정보와 같이 단일 형태의 맥락 정보를 위해서 설계되었거나 연구실 수준의 크기로 제한되었다. 그러나 많은 종류의 센서와 actuator 를 포함하고 다수의 관리 도메인으로 확장 가능한 스케일이 큰 시스템에 대한 개발 및 평가는 여전히 미흡한 수준이다. 특히, 맥락 퓨전과 추론 구조를 가지는 Large-scale 의 맥락 인식 시스템에 대한 평가 방법이 필요한 실정이다. 본 논문에서는 휴리스틱 평가를 이용한 Large-scale 맥락 인식 시스템의 평가 방법에 대하여 제안한다. 그리고 우리는 동적인 맥락 인식 시스템을 지원하고 맥락 퓨전 및 추론을 위한 메커니즘을 포함하는 기본 구조에 대해서 자세히 설명한다. 맥락 인식 시스템 평가를 위해서 제안된 접근법은 사용자 인터페이스 도메인에서 잘 알려진 전문가에 의한 평가 방법으로 Large-scale 맥락 인식 시스템에 적합하도록 특별히 선택된 heuristics 집합을 이용하는 휴리스틱 평가(Heuristic Evaluation)이다.

• Journal of The Korean Association For Science Education
• /
• v.19 no.1
• /
• pp.117-127
• /
• 1999

The present study investigated Korean and the US college students' scientific reasoning skills involving hypothesis-testing skills and tested the hypothesis that hypothesis-testing skills are more advanced ones than other scientific reasoning skills investigated in this study. Seven hundred and seventy-four(774) Korean and five hundred and sixty-eight(568) the US students were sampled in university level. The Test of Scientific Reasoning was used as a scientific reasoning test. The test is consisted of two conservational reasoning, two proportional reasoning, one pendulum, two probability reasoning, two controlling variable, one correlational reasoning, and two hypothesis-testing reasoning tasks. Korean students showed a significant higher score in proportional and probability reasoning tasks than the US students. However, the Korean showed a significant lower score in conservation and correlation reasoning tasks than their American counterparts. Further, Korean and the US college students showed a notably poor performance in hypothesis-testing skills comparing with other scientific reasoning skills, which supported the hypothesis that hypothesis-testing skills are more advanced ones than other scientific reasoning skills. In addition, the Korean showed a severe deficiency in candle-burning task which required the skill that students have to design a scientific test-procedure to test theoretical hypotheses. This study also discussed on the educational implications of the results of the present study.

• Journal of Korean Elementary Science Education
• /
• v.42 no.1
• /
• pp.64-81
• /
• 2023

In this study, we analyzed pre-service teachers' levels of pedagogical reasoning while watching video clips of elementary school students' discussions of their conceptions of solution and dissolution. 81 pre-service teachers participated in the study. It was found that many pre-service teachers had scientific conceptions, and pre-service teachers who had non-scientific conceptions showed misconceptions similar to those of elementary school students. In both conceptions, pre-service teachers partially or comprehensively interpreted the students' misconceptions with reference to the evidence. However, the rates of pre-service teachers who misinterpreted or simply restated the students' utterances were quite high. Many pre-service teachers suggested only one factor related to levels of reasoning about causes of misconceptions, and most suggested factors were related to the student factor. The level of reasoning about instructional decisions differed according to dissolution and solution conceptions. Actions linked to students' thinking were more closely related to students' specific thinking than to their generic thinking, and among these, student-centered action was seen. From the above results, we sought ways of improving pre-service teachers' pedagogical reasoning.

• Journal of the Korean School Mathematics Society
• /
• v.11 no.3
• /
• pp.513-541
• /
• 2008

The purposes of the study were to investigate whether the use of the Geometer's Sketchpad(GSP) is more effective than the use of traditional tools such as ruler and protractor to enhance eighth- grade students' understanding of quadrilaterals and geometric reasoning ability and to examine how the use of the software affects on the development of students' understanding and reasoning ability. According to the results of the posttest, there was a significant difference in student achievement between students using GSP and students using ruler and protractor. Students using GSP significantly outperformed students using ruler and protractor on the posttest. Student interview data showed that the use of the GSP was more effective in developing students' geometric reasoning ability. Students using GSP achieved higher degrees of acquisition for van Hiele level 2 and 3 than students using ruler and protractor. Dynamic visual representations and hands-on experiences provided in GSP learning environment helped students approach quadrilateral concepts more conceptually and realize their pre-existing conceptual errors and re-conceptualize their mathematical ideas.

• Journal of Korea Fair Competition Federation
• /
• no.113
• /
• pp.15-31
• /
• 2005

최근 미국의 법원은 담합을 입증하려는 시도를 주로 경제적 증거에 입각하여 분석하는 추세를 보여 왔다. 하지만 담합의 존재를 입증하는데 있어서 경제분석의 역할에도 많은 이견이 날카롭게 표출되었다. 담합의 존재에 관한 경제적 증거를 분석하는 데에 있어 유일한 합리적 근거는 최신과점이론(Modern oligopoly theory)이다. 그런데 증인으로 나선 많은 경제학자들과 법원이 최신과점이론에 자신들의 분석을 뚜렷이 기초하지 않았기 때문에, 판례법의 현 상태가 불만족스럽다고 주장하는 것이 본 논문의 핵심적 내용이다. 셔먼법 제1조는 ''계약, 결합, 공모(contract, combination, or conspiracy)에 의해 초래되는 거래(즉 경쟁)의 불합리한 제한을 규제''하는데, 이러한 계약 결합, 공모의''용어들은 합의라는 하나의 개념으로 통합하여 이해''할 수 있다. 제 1조는 다수의 당사자가 ''단일한 목적, 공통된 의도와 의견의 일치, 혹은 의사의 합치(Meeting of minds)'', 즉 ''공통된 계획에 대한 의식적 참가(consious commitment to a common scheme)''를 합의한 모든 협약을 규제한다. 셔먼법 제 1조 위반을 입증하기 위해서는 일치된 행동이 합의 하에서 일어났음을 입증해야 한다. 미국 법원은 합의를 추론할 수 있는 증거력 있는 정황증거(admissible circumstantial evidence)의 원칙을 확립하였다. 독점가격에 가까운 수준의 과점가격 설정은 ''조정되었다(coordinated)''라고 칭해지는데, 이는 ''구두 합의''와 ''암묵적 합의''의 두 가지 형태로 나뉜다. 한편, 일회게임 과점 모형과 반복게임 모형은 과점이론의 핵심을 이룬다. 과점에 대한 Chamberlin의 견해는 본래 게임과 Stigler의 모형은 그와 같은 생각의 오류를 가르쳤다. 그러나 판례법은, Petroleum products antitrust litigation사건과 reserve supply사건에서 볼 수 있듯이 종종 그러한 교훈을 망각했다. 최신과정이론과 판례를 종합해 보면, 합의의 존재에 관해 경제학자가 이끌어내는 추론과 법원이 이끌어내는 추론을 포괄하는 다음의 네 가지 일반적 원칙이 도출된다. 1. 합의가 추론되기 위해서는 상호의존성을 넘는 무언가가 먼저 제시되어야 한다. 2. 합의의 존재는 일회게임 과점 모형에서의 비협조적 내쉬균형과 일치하는 행동으로부터는 추론될 수 없다. 3. 합의의 존재는, 비록 무한반복 과점게임에서의 비협조적 내쉬균형(혹은 Chamberlin-Fellner식의 과점)과 일치하더라도, 일회게임 과점 모형에서의 비협조적 내쉬균형과 일치하지 않는 행동으로부터 추론될 수 있다. 4. 증거는 구두합의의 존재를 뒷받침해야만 한다. 이러한 원칙에서 얻을 수 있는 가장 중요한 교훈은, 합의가 존재하지 않을 경우 과점상황으로부터는 독점가격이 예상될 수 없다는 사실을 법원이 인식하는 것만으로도 합의의 추론에서 범하기 쉬운 가장 큰 오류를 회피할 수 있다는 것이다.