• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (A)
• /
• pp.99-100
• /
• 2007

• 전기의세계
• /
• 제24권1호
• /
• pp.70-74
• /
• 1975

A model computer is designed and using this model computer it is demonstrated that computable functions are equivalent to recursive functions. It is also shown that iteratively defined computable functions can be transformed to recursively defined computable functions and that recursive programming is possible in principle, when iterative programming is possible.

• 한국수학교육학회:학술대회논문집
• /
• 한국수학교육학회 2008년도 제40회 전국수학교육연구대회 프로시딩
• /
• pp.11-15
• /
• 2008

다각형에서 가장 기본이 되는 삼각형과 사각형의 종이를 접을 때 마다 다양한 규칙성들이 발견될 수 있다. 따라서 본 연구에서는 이런 종이접기를 통한 패턴 탐구를 통해 문제를 형식화거나 일반화 하는 능력과 수학적으로 사고하는 능력 즉, 귀납적 추론력을 길러주고자 함에 목적을 두고 있다.

• 한국학교수학회논문집
• /
• 제9권4호
• /
• pp.459-479
• /
• 2006

본 연구는 탐구형 기하소프트웨어의 활용이 중학교 기하영역에서 추론능력의 평가에 어떻게 적용될 수 있을지, 그리고 어떤 영향을 끼칠 수 있을지에 관한 것이다. 이를 위하여 작도, 귀납적 추론, 연역적 추론이 통합되는 형태로 문항을 구성하여 5명의 학생을 대상으로 사례 연구를 실시하였고 그 결과를 학생의 작도능력, 귀납적 추론 능력, 정당화의 유형이라는 세 관점에서 분석하였다. 연구 결과 소프트웨어를 활용한 평가문항은 학생의 추론능력을 분명히 드러나게 할 수 있음을 알 수 있었다. 또한 교사는 소프트웨어의 활용을 통해 귀납추론 평가문항을 폭넓고 용이하게 만들 수 있음을 확인하였다.

• 한국공간구조학회논문집
• /
• 제7권6호
• /
• pp.75-82
• /
• 2007

본 연구에서는 국내 초고층 건물 사례들을 바탕으로 사례 데이터베이스를 구축하여 구조시스템 대안 생성 및 선정 업무를 효율적으로 처리 할 수 있는 설계지원시스템을 개발하였으며, 사례 데이터베이스의 정보를 이용한 사례기반추론기법을 제안하였다. 국내 47개 초고층 건물에 대한 사례 데이터베이스의 설계정보를 분석하여 초기설계 단계에서 구조시스템 선정을 위한 귀납적 조회 모듈 및 유사사례선정을 위한 최근린 조회기법도 제시하였다.

• 한국인터넷방송통신학회논문지
• /
• 제17권1호
• /
• pp.261-268
• /
• 2017

모바일 스마트 플랫폼 중심의 ICT 기술의 발전은 협력적 소비에 기반을 둔 공유경제 플랫폼을 출현시키고 있다. 본 연구에서는 2008년부터 2016년 현재까지 상용화된 공유 경제 플랫폼에 있어서 성공과 실패에 영향을 미치는 요인이 무엇인지 분석하고 공유 경제 플랫폼이 활성화 되기 위하여 필요한 정책적 요인이 무엇인지 제시하고자 한다. 이를 위하여 성공한 공유경제 플랫폼 사례와 실패한 사례에 대한 분석을 진행하고, 성공과 실패에 영향을 미치는 주요 변수를 도출한 후 이를 기반으로 ID 3 알고리즘 기반의 귀납적 분석을 실시하고자 한다. 이를 통하여 공유 경제 플랫폼의 성공과 실패에 있어서의 규칙들을 도출하여, 공유경제 플랫폼의 상업적 성공을 위하여 필요한 정책적 요인이 무엇인지 제시하고자 한다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2002년도 추계정기학술대회
• /
• pp.321-327
• /
• 2002

본 논문은 기존의 귀납적 결정 트리 방식에서의 문제점 개선을 통한 사용자 관심 프로파일 구축을 목적으로 한다. 특히 사용자 관심 프로파일의 정확도 향상을 위한 속성 선택에 대한 연구에 초점을 맞추고 있다. 사용자의 관심, 비관심 문서를 대상으로 사용자 관심 키워드를 생성하고 이를 바탕으로 초기 문서들을 재표현한다. 재표현된 문서를 입력 집합으로 하여 기계학습을 진행한다. 본 논문의 의사 결정 트리 생성 알고리즘은 입력 집합을 클래스별로 가장 잘 나누는 속성을 선택하여 노드를 구성하는 면에서는 기존의 알고리즘과 같다. 그러나 기존의 의사 결정 트리 알고리즘에서는 hill-climbing.방식을 사용함으로써 사용자의 관심을 나타내는 중요한 단어가 사용자 관심 프로파일에서 숨겨질 경우가 발생한다. 이를 최소화하기 위해 특징 추출을 통해 선택된 속성을 그대로 학습의 입력 데이터로 사용하는 것이 아니라 입력데이터를 가장 잘 나누는 속성과 그 다음 속성을 대상으로 disjunctive 연산을 통해 새로운 속성을 생성하여 이것을 속성 집합에 포함시키고 이를 학습의 입력 데이터로 이용한다. 이와 같이 disjunctive operator를 이용하여 새로운 속성을 의사 결정 트리 형성 시 이용하면 사용자의 중요한 관심을 포함하는 의미 있는(semantic) 사용자 관심 프로파일 구축이 가능해지고, 사용자 관심 프로파일을 기반으로 사용자가 관심 있는 문서를 제공할 수 있는 개인화 서비스를 제공한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 추계학술대회
• /
• pp.328-331
• /
• 2013

디지털 생태계가 기존의 데스크톱위주에서 모바일위주로 변모됨에 따라 모바일 플랫폼 상에서의 주된 사용자의 인터페이스를 담당하며 모바일 디바이스를 관장하는 다양한 운영시스템이 출현하고 있다. 본 연구에서는 1996년 최초로 출현한 모바일 운영시스템인 Palm OS을 시작으로 주요 모바일 운영 시스템의 성공과 실패에 영향을 미치는 주요 요인들이 무엇인지 제시하고자 한다. 이를 위하여 성공한 사례와 실패한 사례에 대한 분석을 실시하고, 성공과 실패에 영향을 미치는 주요 변수를 도출한 후 이를 기반으로 ID 3 알고리즘 기반의 귀납적 분석을 실시하고자 한다. 이를 통하여 모바일 운영 시스템의 성공과 실패에 있어서의 주요 규칙들을 도출하여, 모바일 운영 시스템이 상업적으로 성공하는데 필요한 전략적 시사점을 제시하고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제28권2호
• /
• pp.1-7
• /
• 2023

본 논문에서는 MIPS 아키택처 기반 펌웨어의 정적분석 환경을 구축하기 위한 방법으로, $gp 레지스터와 페이지 입상도를 활용한 베이스 주소 후보군 선정 방식을 제안한다. 해당 연구는 기존 연구의 귀납적 추론을 통한 베이스 주소 후보군 선정 방식의 단점인 베이스 주소 탐색 시간 단축을 위한 방법으로 기존 베이스 주소 후보군 선정방식 내 $gp 레지스터를 탐색의 기준점을 바탕으로 페이지 단위의 탐색을 수행하는 방법을 제시한다. 이후, 제시된 방법을 바탕으로 베이스 주소탐색 도구를 구현 및 정적분석 환경구축을 통해 대상 도구의 타당성을 증명하고자 한다. 본 논문에서 제시된 방법은 기존 귀납적 추론을 통한 후보군 선정 방안보다 속도 면에서 더 우수함을 나타낸다.

• 한국과학교육학회지
• /
• 제23권3호
• /
• pp.215-228
• /
• 2003

이 연구는 과학철학에서 논의되어온 과학의 선언적 지식의 생성 과정을 보다 체계적으로 분석하고 정리하여 하나의 구조화된 과학적 지식의 생성 모형을 제시하고자 하였다. 이를 위해, 이 연구는 선언적 과학 지식의 생성 과정을 과학철학적 관점들을 중심으로 다양한 문헌들을 분석하고, 이러한 분석 결과를 바탕으로 과학적 지식의 생성 모형을 체계적으로 구조화하였다. 이를 통해 고안된 모형은 귀납적 과정, 귀추적 과정, 연역적 과정 등으로 구분되는 지식 생성 과정을 포함한다. 또, 각각의 과정은 다시 여러 단계의 하위 과정으로 구성되어 있음을 보여준다. 이 모형에 의하면, 먼저 귀납적 과정은 관찰과 규칙성 발견 과정으로 구분되며, 다시 관찰은 단순관찰과 조작관찰로 나뉘고, 규칙성발견은 공통점발견, 분류, 위계 발견 등으로 세분된다. 그리고 귀추적 과정은 의문 생성과 가설생성 과정으로 구분되며, 여기에서 가설생성과정은 다시 의문상황 표상, 경험상황 동정, 원인적설명자동정, 가설적설명자 동정 등의 과정으로 나뉘어 진다. 마지막으로 연역적 과정은 방법 기준의 고안 과정은 다시 가설의 검증방법 고안과 가설의 평가기준 고안으로, 가설평가 과정은 결과수집 과정과 가설평가 및 결론 진출 과정으로 세분된다.