論文324 の記録のページです。住所（YOI）は https://www.yamagishiyuuki.com/yoi/324 で、論文の本文は下の PDF にあります。ファイルは自分で用意した置き場所（https://yamagishi.sakuraweb.com）に置き、日付の証拠（.ots）を添えています。Zenodo でも公開しています（DOI：10.5281/zenodo.22209395）。
本文はサイトの記事でも読めます：【論文324】万能の探索が無いことは、問題をどう数えるかの帰結である
日付の証拠（OpenTimestamps）：日本語版の .ots・英語版の .ots・SHA256SUMS
予備の置き場所（ミラー。中身は上と同じです）：PDF 日本語・PDF English・SHA256SUMS
住所：https://www.yamagishiyuuki.com/yoi/324・DOI 10.5281/zenodo.22209395・CC BY 4.0・プレプリント（査読を経ていません）・ORCID 0009-0006-8587-3450
引用するとき
山岸勇輝 (2026). 万能の探索が無いことは、問題をどう数えるかの帰結である [論文324]. YOI: https://www.yamagishiyuuki.com/yoi/324 ・ DOI: 10.5281/zenodo.22209395
Yamagishi, Y. (2026). That No Search Is Universal Follows from How the Problems Are Counted [Paper 324]. YOI: https://www.yamagishiyuuki.com/yoi/324; DOI: 10.5281/zenodo.22209395
@misc{yamagishi2026yoi324,
author = {Yamagishi, Yuuki},
title = {That No Search Is Universal Follows from How the Problems Are Counted},
year = {2026},
howpublished = {YOI: https://www.yamagishiyuuki.com/yoi/324},
doi = {10.5281/zenodo.22209395},
note = {Preprint, edition 1}
}
指紋（SHA-256）と確かめ方
0d09549f2732776a50ec2a77399a3c254e9b0420b5239a62e47aaaa5d7928538 yamagishi_yoi324_v1_jp.pdf8d831048b9bcf971a2256e3c4cd04c95a09bbc252899aed5afc6c279d196556b yamagishi_yoi324_v1_en.pdfPDF と .ots を同じ場所に保存し、opentimestamps.org に .ots、続けて PDF を落とすと、記録された日時が表示されます。PDF が 1 バイトでも変わっていれば通りません。
日付の証拠（OpenTimestamps）
2026年10月1日に、2 本の PDF の指紋（SHA-256）をまとめて OpenTimestamps に送り、ビットコインのブロック 969397・969398・969440 に記録されました（2026年10月01日 14:20（日本時間））。この .ots があれば、PDF がその時点で存在したことを、このサイトや運営者を信用しなくても、誰でも確かめられます。
書誌
| 題名 | 万能の探索が無いことは、問題をどう数えるかの帰結である |
|---|---|
| Title | That No Search Is Universal Follows from How the Problems Are Counted |
| 著者 | 山岸 勇輝 (Yuuki YAMAGISHI)・ORCID 0009-0006-8587-3450 |
| 所属 | 山岸複雑性トーラス研究所 (Yamagishi Complexity Torus Lab, Japan) |
| 版 | 第1版（2026年8月） |
| 言語 | 日本語・英語 |
| 種別 | プレプリント（査読を経ていません） |
| ライセンス | CC BY 4.0（出典を示せば、複製・再配布・改変ができます） |
| YOI | https://www.yamagishiyuuki.com/yoi/324 |
| DOI（Zenodo） | 10.5281/zenodo.22209395 |
要旨
ノーフリーランチ定理は「すべての問題で平均すれば、どの探索も同じ」と言う。本稿が問うのは、その平均は何の上で取られているのかである。答は、ほとんど構造を含まない集合の上である。新しい数学定理も新しい法則も主張しない。
第一に、構造を使う探索は、構造があれば速い。$N=16384$ で$\mathbf{186.18}$ 倍（第2節）。
第二に、その速さは対数で、乱択は線型である。$17\to44$ 対 $32\to8192$（第2節）。
第三に、これが本稿の芯である。同じ探索が、構造の無い関数では乱択に負ける。$\mathbf{0.9645}$ 倍（第3節）。
第四に、平均される集合の中で、構造は $\mathbf{10^{-113.79}}$ しかない（第4節）。
第五に、定理は正しく、そして測度の話である（第4節）。
第六に、分離子は「何を最大にするか」ではなく「何の上で平均するか」である（第5節）。
Abstract
The no-free-lunch theorem says that averaged over all problems, every search performs alike.This paper asks what that average is taken over、the answer is a set that contains almost no structure.No new mathematical theorem and no new law is claimed.
First, a search that uses structure is fast where structure exists.$\mathbf{186.18}$ times at $N=16384$ (Section 2).
Second, that speed is logarithmic and random search is linear.$17\to44$ against $32\to8192$ (Section 2).
Third, this is the core of the paper.The same search loses to random on structureless functions、$\mathbf{0.9645}$ (Section 3).
Fourth, structure is only $\mathbf{10^{-113.79}}$ of the averaged set (Section 4).
Fifth, the theorem is correct, and it is a statement about a measure (Section 4).
Sixth, the separator is not what is maximised but what is averaged over (Section 5).
版の記録
ここの PDF（倉庫の v1）は第1版（2026年8月）の原稿から作りました。ファイルは版ごとに分けて置いています（/yoi/324/v1/ の下）。中身を直すときは、このファイルを書き換えず、新しい版を足します（住所 https://www.yamagishiyuuki.com/yoi/324 はいつも最新の版を指します）。Zenodo の記録とは、Zenodo に上げる前の改訂のぶんだけ違うことがあります。