要旨
同根かどうかは基準で判定できる、と論文300 は示した。本稿が示すのは、その五つの基準が互いに同根ではないことである。$10$ 組のうち $\mathbf{9}$ 組が、少なくとも一つの試験例で食い違う。新しい定理も法則も主張しない。
第一に、五基準を六つの試験例に当て、$5\times5$ の一致表を作った（第2節）。
第二に、対角線はすべて $\mathbf{6}$ で、表は対称である（第2節）。
第三に、これが本稿の芯である。$10$ 組のうち $\mathbf{9}$ 組が食い違い、完全に一致するのは $1$ 組だけである（第3節）。
第四に、最も食い違うのは「変数を動かす」と「次元」で、$\mathbf{6}$ 件中 $\mathbf{3}$ 件である（第3節）。
第五に、次元の基準は $\mathbf{6}$ 件中 $\mathbf{5}$ 件で「同根」と答え、最も鈍い（第3節）。
第六に、分離子は「どの変換の下で恒等性を問うか」である（第4節）。
キーワード：同根と別根、判定基準、一致表、基準の自己適用、構造的解釈。
射程（何を示さないか）
新しい定理も法則も主張しない。論文300 の五基準はすでに立っている。本稿はそれを互いに当てるだけである。五つを一つに畳めるとは主張しない。表を作って食い違いを数えるだけである。300 と同じ禁欲を守る。判定は読んで決めた。六つの試験例に対する五基準の答えは、機械が出したのではなく、私が読んで置いた（§3-B 規約5）。表そのものが反証の対象である。六つで尽くしたとは言わない。試験例を増やせば食い違う組の数は変わりうる。増える方向にしか動かないことだけが確かである。既刊を誤りと呼ばない。どの基準も、その基準の内側では正しく働いている。既刊との関係：論文300 は観察 6.3–6.4 で「五つの基準が同根かを問うには基準が要る」と入れ子を指摘して止めた。本稿はそれを実行する。論文405 は同根の証拠が全単射であることを示した。全単射は「対応」の基準の最も強い形である。論文479 は $1/e$ の七つを $3+3+1$ に分けた。その六つの分け方が本稿の試験例になる。論文411 は射影変換で複比だけが残ることを示した。「どの変換で不変か」という問いの、体系内で最も純粋な例である。加えたのは、五基準を互いに当てたこと、$5\times5$ の一致表を作ったこと、食い違う組を $9$ と数えたこと、最も食い違う組と最も鈍い基準を名指したこと、分離子を「どの変換で恒等性を問うか」に置いたことである。
1. 記法と問い
設定：論文300 は、二つの量が同根かどうかを判定する五つの基準を立てた。
| 記号 | 基準 | 出所 |
|---|---|---|
| $C_{1}$ | 変数を動かしても一致が保たれるか | 論文31 |
| $C_{2}$ | 恒等性を保つ対応が書けるか | 論文56 |
| $C_{3}$ | 同じ道筋を通っているか | 論文279 |
| $C_{4}$ | 量の持ち物（次元）が同じか | 論文116 |
| $C_{5}$ | 写像の個数が同じか | 論文153 |
各基準は、与えられた二つの量に対して「同根」か「別根」を返す。基準どうしが同根かを問うには、基準を判定対象にすればよい。同じ試験例に当てて、答えがどれだけ揃うかを数える。
観察 1.1 論文300 はこの入れ子を指摘して、そこで止めた。「五つの基準が同根かを問うには、基準が要る」。無限に遡る恐れがある。
観察 1.2 だが一段だけなら、遡らずに実行できる。五つを互いに当て、一致した回数を数える。その数え上げに、さらに基準は要らない。
問い：五つは、どれだけ揃うのか。
2. 六つの試験例に当てる
計算 2.1：論文479 が扱った $1/e$ の七つから、六つの対を試験例として取り出す。各基準の答えを $1=$ 同根、$0=$ 別根として置く。
| 試験例 | $C_{1}$ | $C_{2}$ | $C_{3}$ | $C_{4}$ | $C_{5}$ |
|---|---|---|---|---|---|
| 秘書の $k^{*}/n$ と $P$（有限 $n$） | $0$ | $1$ | $1$ | $1$ | $1$ |
| 秘書の $k^{*}/n$ と $P$（極限） | $1$ | $1$ | $1$ | $1$ | $1$ |
| 撹乱順列と $(1-1/n)^{n}$ | $1$ | $1$ | $1$ | $1$ | $1$ |
| 停留条件の組とポアソン極限の組 | $0$ | $0$ | $0$ | $1$ | $0$ |
| 論文178 のバンプと他の六つ | $0$ | $0$ | $0$ | $1$ | $0$ |
| $x^{x}$ の最小点と最小値 | $0$ | $0$ | $1$ | $0$ | $0$ |
観察 2.2 この表は、機械が出したものではない。私が六つを読んで置いた。だから表そのものが反証の対象である。別の読み方をすれば数は変わる。
計算 2.3：二つの基準が、六件のうち何件で同じ答えを返すかを数える。
| $C_{1}$ | $C_{2}$ | $C_{3}$ | $C_{4}$ | $C_{5}$ | |
|---|---|---|---|---|---|
| $C_{1}$ 変数を動かす | $\mathbf{6}$ | $5$ | $4$ | $\mathbf{3}$ | $5$ |
| $C_{2}$ 対応 | $5$ | $\mathbf{6}$ | $5$ | $4$ | $\mathbf{6}$ |
| $C_{3}$ 道筋 | $4$ | $5$ | $\mathbf{6}$ | $\mathbf{3}$ | $5$ |
| $C_{4}$ 次元 | $\mathbf{3}$ | $4$ | $\mathbf{3}$ | $\mathbf{6}$ | $4$ |
| $C_{5}$ 写像の個数 | $5$ | $\mathbf{6}$ | $5$ | $4$ | $\mathbf{6}$ |
観察 2.4 対角線はすべて $6$ である。どの基準も自分自身とは全件一致する。当然だが、表が正しく作られていることの確認になる。
観察 2.5 表は対称である。$C_{i}$ と $C_{j}$ の一致数は、順序に依らない。一致は関係であって、向きを持たない。
3. 十組のうち九組が食い違う
計算 3.1：一致が $6$ に満たない組を数える。
| 組 | 食い違う件数 |
|---|---|
| $C_{1}$ 対 $C_{4}$ | $\mathbf{3}$ |
| $C_{3}$ 対 $C_{4}$ | $\mathbf{3}$ |
| $C_{1}$ 対 $C_{3}$ | $2$ |
| $C_{2}$ 対 $C_{4}$ | $2$ |
| $C_{4}$ 対 $C_{5}$ | $2$ |
| $C_{1}$ 対 $C_{2}$ | $1$ |
| $C_{1}$ 対 $C_{5}$ | $1$ |
| $C_{2}$ 対 $C_{3}$ | $1$ |
| $C_{3}$ 対 $C_{5}$ | $1$ |
| $C_{2}$ 対 $C_{5}$ | $\mathbf{0}$ |
観察 3.2 $10$ 組のうち $\mathbf{9}$ 組が食い違う。完全に一致するのは $C_{2}$ と $C_{5}$ の一組だけ、五つは、互いに同根ではない。
観察 3.3 最も食い違うのは「変数を動かす」と「次元」である。$6$ 件中 $3$ 件、半分で答えが割れる。同じ問いに、二つの基準が正反対を返す。
観察 3.4 「道筋」と「次元」も同じ $3$ 件で割れる。どちらも次元の基準が相手、次元だけが、他と食い違いやすい。
観察 3.5 次元の基準は $6$ 件中 $5$ 件で「同根」と答える。五つの基準の中で最も多い。最も鈍い。無次元の量どうしを比べているかぎり、次元は何も分けない。
観察 3.6 一方 $C_{2}$（対応）と $C_{5}$（写像の個数）は全件で一致した。$6$ 件すべて、恒等性を保つ対応が書けることと、写像の個数が合うことは、この六件では区別できない。
観察 3.7 論文405 が言ったのはそのことである。同根の証拠は全単射である。全単射があれば対応も個数も同時に満たされる。二つの基準は、強い形では重なる。
観察 3.8 ただし六件で一致したことは、二つが同根である証拠にならない。論文300 の第一基準そのものである。試験例を増やせば分かれるかもしれない。数値の一致では足りない。
4. 分離子
分離子：どの変換の下で恒等性を問うか。
観察 4.1 五つの基準は、どれも「何かを動かして、変わらないものを見る」という形をしている。変数を動かす、対応で写す、道筋をたどる、単位を変える、写像を数える。動かす対象が違うだけである。
観察 4.2 だから食い違いは、動かす群の選び方の違いに還元できる。$C_{1}$ はパラメータの群、$C_{4}$ は単位の群、群が違えば、不変なものも違う。
観察 4.3 これは幾何を群で分類する見方と同じ形である。「何が不変か」で幾何が決まるように、「どの群で恒等性を問うか」で同根が決まる。同根は絶対的な関係ではなく、群に相対的な関係である。
観察 4.4 論文411 がその最も純粋な例である。射影変換の群の下では、長さも比も保たれず、複比だけが残る。群を広げるほど、残る不変量は少なくなる。
観察 4.5 だから「同根か」と問うときは、どの群かを添える。論文479 の秘書問題の二つは、有限 $n$ の族の上では別根、極限の一点では同根だった。どちらも正しい。問いが違う。
観察 4.6 五つが一つに畳めるとは、本稿は主張しない。表を作って食い違いを数えただけである。論文300 が止まった場所から、一歩だけ進んだ。
観察 4.7 正直に言えば、試験例の判定は私が読んで置いた。機械が出したのではない。別の読み方をすれば $9$ という数は変わる。ただし試験例を増やせば、食い違う組は減らない。一度でも割れれば、その組は食い違う組に入るからである。
5. 点呼と結び
- 五基準を六件に当てた（計算 2.1）：判定は読んで置いた。
- 対角線はすべて $6$（観察 2.4）：表の確認。
- 表は対称（観察 2.5）：一致は向きを持たない。
- $10$ 組中 $9$ 組が食い違う（計算 3.1）：本稿の芯。
- 最悪は $C_{1}$ 対 $C_{4}$ の $3$ 件（観察 3.3）：半分で割れる。
- $C_{3}$ 対 $C_{4}$ も $3$ 件（観察 3.4）：次元が食い違いやすい。
- 次元は $5/6$ で「同根」（観察 3.5）：最も鈍い。
- $C_{2}$ と $C_{5}$ は全件一致（観察 3.6）：ただし同根の証拠ではない。
- 分離子はどの群で問うか（観察 4.3）：同根は群に相対的。
- 五つが畳めるとは主張しない（観察 4.6）：300 と同じ禁欲。
結び：同根かどうかは基準で判定できる、と論文300 は示した。そして観察 6.3–6.4 で「五つの基準が同根かを問うには基準が要る」という入れ子を指摘し、無限に遡る恐れがあるとしてそこで止めた。だが一段だけなら遡らずに実行できる。五つを互いに当て、一致した回数を数えればよい。その数え上げに、さらに基準は要らない。表は作れる。論文479 が扱った $1/e$ の七つから六つの対を試験例として取り出し、五基準の答えを $1=$ 同根、$0=$ 別根として置いた。この表は機械が出したものではなく、私が六つを読んで置いた。だから表そのものが反証の対象である。二つの基準が六件のうち何件で同じ答えを返すかを数えると、対角線はすべて $\mathbf{6}$ で、表は対称になる。どの基準も自分自身とは全件一致し、一致は関係であって向きを持たない。そして十組のうち九組が食い違う。完全に一致するのは $C_{2}$（対応）と $C_{5}$（写像の個数）の一組だけである。五つは、互いに同根ではない。最も食い違うのは「変数を動かす」と「次元」で、$\mathbf{6}$ 件中 $\mathbf{3}$ 件、半分で答えが割れる。同じ問いに、二つの基準が正反対を返す。「道筋」と「次元」も同じ $3$ 件で割れており、どちらも相手が次元の基準である。次元だけが、他と食い違いやすい。次元の基準は $6$ 件中 $\mathbf{5}$ 件で「同根」と答え、五つの中で最も鈍い。無次元の量どうしを比べているかぎり、次元は何も分けない。一方 $C_{2}$ と $C_{5}$ は全件で一致した。論文405 が言ったのはそのことで、全単射があれば対応も個数も同時に満たされる。二つの基準は、強い形では重なる。ただし六件で一致したことは、二つが同根である証拠にならない。論文300 の第一基準そのものであり、試験例を増やせば分かれるかもしれない。分けているものは一つ、どの変換の下で恒等性を問うか。五つの基準はどれも「何かを動かして、変わらないものを見る」という形をしている。変数を動かす、対応で写す、道筋をたどる、単位を変える、写像を数える。動かす対象が違うだけである。だから食い違いは、動かす群の選び方の違いに還元できる。$C_{1}$ はパラメータの群、$C_{4}$ は単位の群で、群が違えば不変なものも違う。これは幾何を群で分類する見方と同じ形である。「何が不変か」で幾何が決まるように、「どの群で恒等性を問うか」で同根が決まる。同根は絶対的な関係ではなく、群に相対的な関係である。論文411 がその最も純粋な例で、射影変換の群の下では長さも比も保たれず、複比だけが残る。群を広げるほど、残る不変量は少なくなる。だから「同根か」と問うときは、どの群かを添える。論文479 の秘書問題の二つは、有限 $n$ の族の上では別根、極限の一点では同根だった。どちらも正しく、問いが違う。五つが一つに畳めるとは、本稿は主張しない。表を作って食い違いを数えただけで、論文300 が止まった場所から一歩だけ進んだ。正直に言えば、試験例の判定は私が読んで置いたもので、機械が出したのではない。別の読み方をすれば $9$ という数は変わる。ただし試験例を増やせば、食い違う組は減らない。一度でも割れれば、その組は食い違う組に入るからである。
参考文献
- Klein, F. (1872). Vergleichende Betrachtungen über neuere geometrische Forschungen. Deichert.
- Tarski, A. (1936). Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica.
- Mac Lane, S. (1971). Categories for the Working Mathematician. Springer.
- 山岸勇輝 (2026). 『次元を持たない $\pi$』[論文31]. Zenodo. 10.5281/zenodo.22090430
- 山岸勇輝 (2026). 『$4\pi$ パッチの構造的考察』[論文56]. Zenodo. 10.5281/zenodo.21597500
- 山岸勇輝 (2026). 『$c$ の冪は、何を数えているか』[論文116]. Zenodo. 10.5281/zenodo.22003794
- 山岸勇輝 (2026). 『何を忘れたかは、写像を数えれば分かる』[論文153]. Zenodo. 10.5281/zenodo.22084355
- 山岸勇輝 (2026). 『デルタは関数ではなく、写像である』[論文178]. Zenodo. 10.5281/zenodo.22098261
- 山岸勇輝 (2026). 『鎖の指数を変えたのは「自分を避ける」ことだけであり、四次元より上ではその代価が消える』[論文279]. Zenodo. 10.5281/zenodo.22170222
- 山岸勇輝 (2026). 『三百本目の点呼、同根か別根かは、判定できる』[論文300]. Zenodo. 10.5281/zenodo.22171914
- 山岸勇輝 (2026). 『数値の一致が同根の証拠になるのは、全単射があるときだけである』[論文405]. Zenodo. 10.5281/zenodo.22699433
- 山岸勇輝 (2026). 『何も保たない変換にも、保たれる量がある』[論文411]. Zenodo. 10.5281/zenodo.22699656
- 山岸勇輝 (2026). 『体系に七つある同じ数は、二組と一つに分かれる』[論文479]. Zenodo. 10.5281/zenodo.22733844
作成にあたって：本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI（大規模言語モデル）の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
書誌
山岸勇輝（2026）「判定の基準そのものを、判定にかける」［論文480］. Zenodo.
DOI: 10.5281/zenodo.22733871
日付の証拠（OpenTimestamps）：日本語版の .ots・英語版の .ots・SHA256SUMS
予備の置き場所（ミラー。中身は上と同じです）：PDF 日本語・PDF English・SHA256SUMS
住所：https://www.yamagishiyuuki.com/yoi/480・DOI 10.5281/zenodo.22733871・CC BY 4.0・プレプリント（査読を経ていません）・ORCID 0009-0006-8587-3450
引用するとき
山岸勇輝 (2026). 判定の基準そのものを、判定にかける [論文480]. YOI: https://www.yamagishiyuuki.com/yoi/480 ・ DOI: 10.5281/zenodo.22733871
Yamagishi, Y. (2026). Putting the Criteria Themselves to the Test [Paper 480]. YOI: https://www.yamagishiyuuki.com/yoi/480; DOI: 10.5281/zenodo.22733871
@misc{yamagishi2026yoi480,
author = {Yamagishi, Yuuki},
title = {Putting the Criteria Themselves to the Test},
year = {2026},
howpublished = {YOI: https://www.yamagishiyuuki.com/yoi/480},
doi = {10.5281/zenodo.22733871},
note = {Preprint, edition 1}
}
指紋（SHA-256）と確かめ方
ae18ee93270d04d7b039157179f25ff292bfb41230d44ad4c4f504910171b18f yamagishi_yoi480_v1_jp.pdf962cb21f16d03eaa9c0f6598d77355349f8fc8b8eff898d5bac520268dbbbcf4 yamagishi_yoi480_v1_en.pdfPDF と .ots を同じ場所に保存し、opentimestamps.org に .ots、続けて PDF を落とすと、記録された日時が表示されます。PDF が 1 バイトでも変わっていれば通りません。