• 대한수학교육학회지:수학교육학연구
• /
• 제8권2호
• /
• pp.439-452
• /
• 1998

In this Study, I concerned the learning-teaching of the use of letters in algebra. Our Study can be summarized as follows; First, I tried to establish the theoretical Foundation necessary for the learning-teaching of the use of letters in literal expressions. Second, I made a course of study that leads to the understanding of the meaning and the use f literals in algebraic expressions. Third, Based on this course of study, I held classes on First-grade students in middle school and I carried on an investigation their understanding of the meaning and the use of literals in algebraic expressions. Finally, I made an analysis of findings in this investigation and identified student's a better understanding of the meaning and the use of literals in algebraic expressions.

• 한국컴퓨터산업학회논문지
• /
• 제7권4호
• /
• pp.293-298
• /
• 2006

본 논문에서는 부울 분해식을 산출하기 위한 방법을 제시한다. SIS 1.2에서 사용되는 코커널 큐브 행렬은 코커널/커널들로부터 만들어지며, 이 행렬은 단지 대수 분해식만을 산출한다. 제안한 방법은 2개의 항에서 공통인수를 추출하고, 이들로부터 분해식 산출 행렬을 만들고 이로부터 부울 분해식을 산출하는 방법을 제안한다.

• 한국통신학회논문지
• /
• 제19권3호
• /
• pp.418-424
• /
• 1994

GF(q2) 위의 Hermitian 함수체와 마찬가지로, q+1을 나누는 정수 s에 대해 y + y=x 로 정의되는 부분체들도 Hasse-Weil 한계식에 의해 허용되는 최대수의 1차 점들을 가지므로 최상이 된다. 본 논문에 서는 Hermitian 함수체의 이러한 부분체들로부터 생성되는 기하 Goppa 부호(혹은 대수기하부호)룰 연구한다. n을 부호장, m을 이들 부호의 차원과 최소거리를 결정하는 패러미터라 할때, n보다 작은 임의의 m에 대해 차원과 최소거리가 명확하면서도 완전하게 주어진다.

• 한국정보처리학회논문지
• /
• 제2권4호
• /
• pp.443-452
• /
• 1995

객체 지향 데이타베이스 시스템은 복잡한 데이타 관리 기능에 대한 응용을 제공하 는 효과적인 해결책으로써 제안되어왔다. 질의 처리와 같은 문제점에 대한 연구와 이 러한 요구를 입증하는 것은 형식적인 객체지향 질의 모델이 없어서 진척되지 못하고 있다. 본 논문은 집단화 상속성에 기반한 질의 모델을 정의하며, 질의의 대수 표현에 서 재작성 규칙을 보존하는 동등성에 적용할 수 있는 의미적 재작성 규칙을 개발한다. 이질의 모델을 의미적으로 분석하여 논리적으로 최적화하고, 질의의 대수식들은 등가 보존 재작성 규칙에 의하여 최적화될 수 있다.

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

본 논문에서는 스칼라 언어의 함수형 프로그래밍 기능의 타당성에 대해서 검토한다. 주된 관심사는 스칼라가 어느 정도까지 람다 식, 고차 함수, 제너릭 타입, 대수적 타입, 모나드 등 함수형 프로그래밍의 주요 특성을 표현할 수 있는 가에 있다. 이 목적을 위하여 명령형 프로그래밍 언어의 인터프리터를 구현한다. 동일한 함수형 프로그래밍 기법을 적용하여 인터프리터를 하스켈과 스칼라로 구현한 다음, 이 두 버전의 구현을 비교 분석한다. 명령형 프로그래밍 언어의 추상 구문트리는 스칼라의 제너릭스를 갖는 대수적 타입과 enum 클래스로서 표현되고, 명령형 프로그래밍의 상태 변환은 상태 모나드를 이용하여 구현된다. 또한 스칼라의 새로운 기능인 extension과 given도 사용된다.

• 한국산학기술학회논문지
• /
• 제10권11호
• /
• pp.3227-3233
• /
• 2009

본 논문에서는 나눗셈 행렬을 이용하여 부울 대입식을 산출하는 논리합성 방법을 제안한다. 최적화하고자하는 2개의 논리식들로부터 대수 나눗셈에 의한 행렬을 만들고 부울 공리와 리터럴 추가를 통해 부울 나눗셈 행렬로 확장을 한다. 부울 나눗셈 행렬에 리터럴을 추가하여 확장된 부울 나눗셈 행렬을 만들고, 원소들을 커버링하여 부울대입식을 산출한다. 실험결과 여러 벤치마크 회로에 대하여 제안한 방법이 기존 합성도구보다 리터럴 개수를 줄일 수 있음을 보였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권3호
• /
• pp.543-562
• /
• 2010

본 연구는 미지수가 2개인 연립 부등식을 해결하는 과정에서 발생하는 오류에 대해 분석하고 오류에 따른 교수-방법을 제공하는데 그 목적이 있다. 먼저, 미지수가 2개인 연립 부등식을 소개하고, 연구자가 지도하고 있는 한 학생이 제안한 풀이를 보여준다. 미지수가 2개인 연립 부등식의 문제를 해결하는 과정에서 학생은 오류를 범하고 있는데, 본 연구에서는 이러한 오류에 대해 해석기하적 접근(xy-평면에서의 오류진단, ab-평면에서의 오류진단), 대수적 접근, 공리적 접근의 방법으로 오류를 진단하고 적절한 지도방법을 모색하고자 한다. 학생이 문제를 해결하는 과정에서 범한 오류는 미지수가 2개인 연립일차부등식의 내용을 학습하기 전에 배우게 되는 내용 중 '8-가 단계'에서 학습하는 미지수가 2개인 연립 일차방정식의 내용이 미지수가 2개인 연립일차부동식의 내용과 유사한 점이 많기 때문에 미지수가 2개인 연립일차부동식과 관련된 문제를 해결하는 과정에서 미지수가 2개인 연립일차방정식을 학습하면서 익힌 풀이 방법이 같은 방법으로 적용될 것이라는 오개념과 미지수가 2개인 연립일차부등식과 관련된 불충분한 내용의 교육과정 때문에 발생한 것이다. 학생이 범한 오류에 대해 학생의 문제 풀이 과정을 해석기하적, 대수적 접근을 통해 면밀히 분석한 결과 학생이 범한 오류는 미지수가 2개인 연립일차부등식을 해결하는 과정에서 2개의 변수들 사이의 상호관련성을 간과하여 발생한 결과임을 알 수 있다. 따라서 본 연구는 오류를 범하기 쉬운 마지수가 2개인 연립일차부등식과 관련된 문제를 해결하는 과정에서 2개의 변수 사이의 관련성에 대해 해석기하적 접근, 대수적 접근, 공리적 접근을 통하여 2개의 변수들 사이의 상호관련성에 대해 학생들에게 주지시켜야 하고 아울러 미지수가 2개인 연립일차부등식을 다룰 경우 대수적 기법이 변수들 사이의 관련성으로 인하여 조심스러워야 하므로 해석기하적으로 좌표평면을 도입하여 문제에 접근해야함을 강조한다.

• 정보보호학회논문지
• /
• 제31권3호
• /
• pp.533-544
• /
• 2021

양자적 특성을 활용한 Shor 알고리즘은 인수분해 및 이산대수 문제를 효율적으로 풀 수 있다. 이로 인해 RSA, 타원곡선(ECC: Elliptic Curve Cryptography) 등 인수분해와 이산대수 문제의 어려움에 기반하고 있는 기존 공개키 암호 시스템이 위협받고 있다. 이에 미국 국립표준기술연구소(NIST)에서는 양자 컴퓨터의 강력한 연산 능력에도 안전한 새로운 공개키 암호 체계의 표준인 양자 내성 암호(PQC: Post Quantum Cryptography)를 선정하는 공모를 진행하고 있다. 양자 내성 암호 후보군 중 다변수 이차식 기반 서명 기법은 짧은 서명 길이와 빠른 서명 및 검증으로 인해 사물인터넷(IoT) 등 제한된 자원을 갖는 기기에 적합하다. 이에 본 논문에서는 다변수 이차식 기반 서명 중 유일하게 3 라운드까지 최종 선정된 Rainbow에 대한 클래식 공격 기법과 양자적 특성을 이용한 공격 기법들을 분석하고, 현재 3라운드에 제시된 레인보우 파라미터에 대한 공격 복잡도를 계산하여 양자 내성 암호표준화 후보 알고리즘인 레인보우 서명기법이 제공하는 보안 강도를 분석한다.

• 대한수학교육학회지:학교수학
• /
• 제12권1호
• /
• pp.27-43
• /
• 2010

본 연구에서는 우리나라 중학교 1학년 수학 교과서에서 많이 사용하는 용어인 식, 방정식, 항등식의 의미에 관해 논의한다. 이를 위해 식, 방정식, 항등식과 그 각각에 해당하는 영어 용어 expression, equation, identity의 의미를 우리나라 교과서와 미국 교과서에서 찾을 수 있는 용례에 기초하여 분석한다. 특히 우리나라와 미국 교과서에서 방정식(equation)과 항등식(identity) 사이에 어떤 관계가 있는지 알아본다. 우리나라 교과서에서는 이 용어들의 정의에서 다소 명확하지 않은 부분이 있다. 또한, 이 용어들의 정의와 그들에 해당하는 영어 용어의 정의 사이에 차이가 있다. 이러한 불명확성과 차이는 방정식, 항등식의 교수 학습에 혼란을 가져올 수 있다. 이러한 혼란을 방지하기 위해서 교육과정 차원에서 이들 용어의 개념을 점검할 필요가 있으며, 교사용 지도서 등을 통해 교사들이 식, 방정식, 항등식과 이들에 해당하는 영어 용어의 정의 특성과 그 구분 방법을 충분히 습득할 수 있게 하여야 한다.

• 한국통신학회논문지
• /
• 제7권1호
• /
• pp.25-28
• /
• 1982

본 논문에서는 조합논리회로의 기호적 신뢰도 계정식을 구하는 한 방법을 제시하였다. 한 회로의 모든 입력이(0,1) 값을 갖는 확율변수로 나타내어지고 출력이 부울 적의합(sum of product)식으로 표시되어 지면 출력확률의 계정은 sharp 산법이라고 명명되는 부울 대수 산법에 의하여 기호적으로 계정된다.