YOI 537：「a=b」が発見であるとき、加わっているのは減る仕事である

論文537 の記録のページです。住所（YOI）は https://www.yamagishiyuuki.com/yoi/537 で、論文の本文は下の PDF にあります。ファイルは自分で用意した置き場所（https://yamagishi.sakuraweb.com）に置き、日付の証拠（.ots）を添えています。Zenodo でも公開しています（DOI：10.5281/zenodo.23014125）。

本文はサイトの記事でも読めます：【論文537】「a=b」が発見であるとき、加わっているのは減る仕事である

@misc{yamagishi2026yoi537,
  author = {Yamagishi, Yuuki},
  title = {When ``a=b'' Is a Discovery, What It Adds Is Work Removed},
  year = {2026},
  howpublished = {YOI: https://www.yamagishiyuuki.com/yoi/537},
  doi = {10.5281/zenodo.23014125},
  note = {Preprint, edition 1}
}

日付の証拠（OpenTimestamps）

2026年10月1日に、2 本の PDF の指紋（SHA-256）をまとめて OpenTimestamps に送り、ビットコインのブロック 969428・969440・969461 に記録されました（2026年10月01日 17:42（日本時間））。この .ots があれば、PDF がその時点で存在したことを、このサイトや運営者を信用しなくても、誰でも確かめられます。

書誌

要旨

「$a=a$」は自明で、「$a=b$」は発見でありうる。本稿が示すのは、その違いが認識の問題にとどまらず、減る仕事として数で測れることである。新しい定理も法則も主張しない。

第一に、同じ数に二つの道がある。長さ $24$ の釣り合った括弧列は、数え上げでも閉じた式でも $\mathbf{208012}$ 本になる（第2節）。

第二に、これが本稿の芯である。道の長さが違う。数え上げは $\mathbf{1033411}$ 手、閉じた式は $\mathbf{36}$ 手で、$\mathbf{28705.9}$ 倍違う（第2節）。

第三に、差は $n$ とともに開く。$n=4$ で $\mathbf{5.3}$ 倍、$n=8$ で $\mathbf{288.2}$ 倍、$n=12$ で $\mathbf{28705.9}$ 倍である（第2節）。

第四に、「$a=a$」ではこの比が動かない。同じ側を二度たどれば $\mathbf{64}$ 手が $\mathbf{64}$ 手のままで、閉じた式に移れば $\mathbf{12}$ 手になる（第3節）。

第五に、減るのは指数と一次の差である。$n=16$ では返る数が $\mathbf{35357670}$ に達するのに、閉じた式の手数は $\mathbf{48}$ 手にとどまる（第3節）。

第六に、分離子は、両辺が別の手続きかどうかである。同じ手続きを二度書いても等号は情報を持たない（第4節）。

キーワード：等号、フレーゲの意義と意味、カタラン数、発見、閉じた式

Abstract

“$a=a$” is trivial and “$a=b$” can be a discovery.What this paper shows is that the difference is not only epistemic but measurable, as work removed.No new theorem or law is claimed.

First, one number, two roads、balanced bracket strings of length $24$ number $\mathbf{208012}$ whether enumerated or computed in closed form (Section 2).

Second, and this is the core.The roads differ in length、$\mathbf{1033411}$ steps against $\mathbf{36}$, a factor of $\mathbf{28705.9}$ (Section 2).

Third, the gap widens with $n$、$\mathbf{5.3}$ at $n=4$, $\mathbf{288.2}$ at $n=8$, $\mathbf{28705.9}$ at $n=12$ (Section 2).

Fourth, for “$a=a$” the ratio does not move、traversing one road twice leaves $\mathbf{64}$ steps at $\mathbf{64}$, while moving to the closed form gives $\mathbf{12}$ (Section 3).

Fifth, what is removed is the gap between exponential and linear、at $n=16$ the answer reaches $\mathbf{35357670}$ while the closed form still takes $\mathbf{48}$ steps (Section 3).

Sixth, the separator is whether the two sides are different procedures、writing one procedure twice carries no information (Section 4).

Keywords: equals sign, Frege's sense and reference, Catalan numbers, discovery, closed form

版の記録

ここの PDF（倉庫の v1）は第1版（2026年9月）の原稿から作りました。ファイルは版ごとに分けて置いています（/yoi/537/v1/ の下）。中身を直すときは、このファイルを書き換えず、新しい版を足します（住所 https://www.yamagishiyuuki.com/yoi/537 はいつも最新の版を指します）。Zenodo の記録とは、Zenodo に上げる前の改訂のぶんだけ違うことがあります。

YOI の一覧へ