データの番地指定が配列計算の数学へ発展した歴史
The Mathematical Evolution of Addressing: From Yushchenko's Address Programming Language to A Mathematics of Arrays How Addressing Evolved into a Mathematical Theory of Indexing, Array Computation, and Machine Realization
この論文をやさしく読む
ひとことで言うと
メモリの場所を指定する操作が、配列の計算を整理しハードウェアへ対応させる数学へ発展した過程をたどる論考です。
何に役立つ？
配列処理の言語設計、数学的な式変形、機械上の実行がどうつながるかを歴史と理論の両面から理解する材料になります。
この研究の面白いところ
配列の演算よりも添字付けを基本に据え、式の簡約からハードウェアでの実現までを結び付けます。歴史の推論、数学の恒等式、性能の検証状態を区別する方針を示しています。
どこまで分かった？
要旨は歴史的な解釈と理論の整理を述べており、具体的な性能向上の測定値を示していません。一次資料の扱いや各主張の検証状態については、著者が採る方針として紹介しています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本稿は、計算機の歴史における中心的な発展の一つが、アドレス指定の数学的な進化であると論じる。Kateryna YushchenkoのAddress Programming Language（1958年）からLenore MullinのA Mathematics of Arrays（1988年）に至る30年間で、アドレス指定はデータの所在を特定する機械レベルの仕組みから、添字付け、簡約、機械上での実現に関する形式理論へと発展した。その過程には、Kenneth Iversonによる配列の代数と、Philip Abramsによる配列の形状をアーキテクチャ上の資源として捉える認識があった。 Mullinの理論は、関数ψによる添字付けそのものを基本操作として位置付ける。そこから配列演算を合成し、表示的正規形へ簡約し、操作的正規形へ変換し、次元リフティングを通じてハードウェア上に実現する。歴史的な主張は一次資料を根拠とし、推論は推論として明示する。数学的な主張は恒等式として述べ、性能に関する主張には、検証済み、理論的に確立済み、または暫定的という区別を付ける。こうして、プログラミング言語、配列の数学、計算機アーキテクチャを一つの説明の中で結び付ける。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
This article argues that a central development in the history of computing is the mathematical evolution of addressing. During the three decades separating Kateryna Yushchenko's Address Programming Language (1958) from Lenore Mullin's A Mathematics of Arrays (1988), addressing evolved from a machine-level mechanism for locating data into a formal theory of indexing, reduction, and machine realization, passing through Kenneth Iverson's algebra of arrays and Philip Abrams' recognition of shape as an architectural resource. Mullin's theory establishes indexing itself, via the function {\psi}, as the primitive from which array operations compose, reduce to a Denotational Normal Form, transform into an Operational Normal Form, and realize on hardware through dimension lifting. Historical claims are sourced against primary material, with inferences flagged as such; mathematical claims are stated as identities; performance claims are marked validated, theoretically established, or provisional. The result links programming languages, array mathematics, and computer architecture in one account.
arXiv ID: 2609.23854 ／ 要約の誤りについて