[논문 리뷰] Poly-infix operators and operator families

J.A. Bergstra, Alban Ponse|arXiv (Cornell University)|2015. 05. 05.

Advanced Topics in Algebra참고 문헌 11인용 수 3

한 줄 요약

이 논문은 암시적 결합법칙에 의존하는 표준 중위 표기법의 공식적 대안으로 다중-중위 연산자와 연산자 가족을 도입한다. 반복된 괄호 없이 사용된 중위 연산자(예: 2+2+2)는 이중 연산자의 중첩이 아니라 단일 n-항 연산자로 간주되어야 한다고 제안한다. 이 접근법은 이러한 표현을 위한 전용 등식 논리 체계를 제공함으로써 괄호 규칙에 의존하지 않으며, 산술 교육과 대수적 추론을 위한 문법적이고 의미론적으로 일관된 기초를 마련한다.

ABSTRACT

Poly-infix operators and operator families are introduced as an alternative for working modulo associativity and the corresponding bracket deletion convention. Poly-infix operators represent the basic intuition of repetitively connecting an ordered sequence of entities with the same connecting primitive.

연구 동기 및 목표

• 괄호 없이 반복된 중위 연산자(예: 2+2+2)를 중첩된 이항 연산이 아니라 첫 번째 n-항 연산자로 간주할 수 있는 공식적 기초를 제공한다.
• 2+2+2+2와 같은 표현에서 관례적으로 결합법칙에 의해 해석되지만 명시적인 문법적 다루움이 없는 초등 산술 교육에서의 모호함을 해결한다.
• 다중 피연산자 표현을 기본적으로 다루는 표현 중심의 산술 관점(값 중심의 해석과는 다를 바 있음)을 지원한다.
• 괄호 규칙에 의존하지 않고 반복 연산에 대한 더 일관되고 교육적으로 타당한 등식 논리 체계를 제공한다.
• 특수 교육 및 보완 교육을 위한 새로운 산술 능력 기준 수준을 개발하는 데 기여하기 위해 직관적인 산술 실천을 공식화한다.

제안 방법

• 핵심 연산자 Ψ로 정의된 다중-중위 연산자 가족을 도입하며, n ≥ 2에 대해 Sⁿ → S인 n-항 연산자 Ψₙ을 정의한다.
• 좌우 결합을 형식화하기 위해 두 개의 공리—(AttL n+1) 및 (AttR n+1)—를 정의하여, 모든 괄호 표기법이 기본 형태에서 유도될 수 있음을 보장한다.
• 다중-중위 표기법을 사용: x₁ Ψ x₂ … xₙ₊₁ 는 Ψₙ₊₁(x₁, ..., xₙ₊₁)을 나타내며, 전체 시퀀스를 단일 연산자 인스턴스로 간주한다.
• 공리로부터 결합법칙이 유도되며, 임의의 시퀀스의 괄호 표기법이 공리를 사용하여 유도될 수 있음을 입증한다.
• 예비 산술적(예: 병렬/순차 조합) 및 내부 산술적(예: 덧셈, 곱셈) 핵심 연산자 커널에 프레임워크를 적용한다.
• 2+2+2+2와 같은 표현에 대해 전용 등식 논리 체계를 제안하여, 이들을 중첩된 이항 연산이 아니라 단일 오차 연산으로 간주한다.

실험 결과

연구 질문

• RQ1 괄호 없이 반복된 중위 연산(예: 2+2+2)을 중첩된 이항 연산이 아니라 단일 n-항 연산자로 공식적으로 다룰 수 있는 방법은 무엇인가?
• RQ2 모든 가능한 괄호 표기법을 다중-중위 표현에서 도출하면서도 문법적·의미론적 일관성을 유지하기 위해 필요한 공리 체계는 무엇인가?
• RQ3 반복된 중위 연산을 다중-중위 연산자로 간주함으로써 초등 산술 교육에서 명확성과 일관성이 어떻게 향상되는가?
• RQ4 다중-중위 접근법은 표현 중심과 값 중심의 산술 관점 간의 명확한 구분을 어떻게 지원하는가?
• RQ5 이 프레임워크는 특수 교육에서 새로운 산술 능력 기준 수준을 설계하는 데 어떤 영향을 미치는가?

주요 결과

• 다중-중위 연산자 가족 형식은 2+2+2+2+2와 같은 표현을 단일 오차 연산자로 간주할 수 있게 하여 암시적 괄호나 결합법칙 가정이 필요 없도록 한다.
• 공리 (AttL n+1) 및 (AttR n+1)는 다중-중위 표현의 모든 가능한 괄호 표기법을 도출하는 데 충분하며, 외부 규칙에 의존하지 않고도 완전한 결합법칙을 보장한다.
• 프레임워크는 다중-중위 구조에 기반한 전용 증명 규칙을 사용하여 2+2+2+2+2 = 2+2+4+2와 같은 항등식의 직접적인 등식 증명을 가능하게 한다.
• 이 방법은 네덜란드 초등 교육에서 관찰되는 반복 덧셈 교육 방식과 같은 교육 실천에 대한 문법적 기초를 제공한다.
• 이 방법은 표현 중심의 산술 관점을 일관되게 지원하여 분수나 합의 표현 기반과 값 기반의 해석을 혼합할 때 발생하는 모순을 줄인다.
• 이 프레임워크는 [12]에서 제안한 새로운 산술 능력 기준 수준과 일치하며, 보완 및 특수 교육 교육과정에 대한 공식적 기초를 제공한다.