[論文レビュー] Poly-infix operators and operator families

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

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 に対して n 項演算子 Ψₙ: Sⁿ → S を定義する。
• 左結合性と右結合性を形式化する2つの公理—(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 といった式が単一の五項演算子として扱われ、暗黙の括弧付けや結合則の仮定が不要になる。
• 公理 (AttL n+1) および (AttR n+1) は、多項中置式のすべての括弧の付け方を導出可能にし、外部の規則に依存せずに完全な結合性を保証する。
• この枠組みにより、2+2+2+2+2 = 2+2+4+2 といった恒等式の直接的な等式的証明が、多項中置構造に基づく専用の証明規則を用いて可能になる。
• このアプローチは、括弧を明示的に使わないで繰り返し加法を教えるオランダの初等教育実践の文脈において、文法的基盤を提供する。
• この方法は、表現中心の算数観を一貫して支援し、分数や和の式について、表現に基づく解釈と値に基づく解釈を混在させることに起因する矛盾を軽減する。
• この枠組みは、[12] で提唱された算数的熟達度の新しい基準レベルの提案と整合しており、補習教育および特別教育のカリキュラムにおける形式的基盤を提供する。