P vs NP経営｜Lineage
Lineage （演算者系譜｜前提語彙ライブラリ）
Intent: a premise vocabulary library. If one studies these primary corpora, one can at least reproduce computational capacity equivalent to the author — by re-running the same symbol/step/constraint/halt machinery, not by copying slogans.
意図: 前提単語集ライブラリ。これらの原典を学習していけば、少なくとも著者と同等の演算能力を再現できる、という前提。結論の暗記ではなく、記号→ステップ→制約→停止の機械を内在化する。
Glossary = (V, E, Walk) # how symbols connect Reference = bibliographic map # which papers exist Conjecture = problem geodesic # which questions persist Lineage = operator nodes # who already ran the machine
Ontology: Glossary · Reference · Conjecture · Lineage. Repo: E-lineage.md.
Four seed libraries （種子ライブラリ）
| Corpus | n | Role in topology | Live |
|---|---|---|---|
| Abel Prize Laureates （アーベル賞 2003–2026） |
26 | Geometry–algebra–number theory depth; S2/S5 dense | Open |
| Fields Medalists （フィールズ賞 1936–2022） |
64 | Board-geometry & proof geodesic; S2/S5 | Open |
| ACM A.M. Turing Award （チューリング賞 1966–2025） |
81 | Algorithms, complexity, systems search; S3/S1 | Open |
| IAS Faculty Emeriti （IAS終身教授アーカイブ） |
58 | Institutional carrier of foundations & topology; S4/S2 | Open |
Counts are per corpus. People overlap across prizes and IAS; treat as channels, not a disjoint union.
Learning protocol （最小学習手順）
- Pick a Lineage node (person).
- Open their key paper / seminal work (primary), not a secondary summary.
- Reduce claims to CNF-like constraints: what is 0/1, what is forbidden, what halts.
- Attach extracted symbols into Glossary
(V, E, Walk). - Do not invent new primes (Failure A).
Separation rule （分離規則）
- Lineage = whose primary work is the training set for author-equivalent computation.
- Does not define edge types (Glossary), full bibliography (Reference), or conjecture lists (Conjecture).
- Business ≡ halting TM: Lineage is the historical set of machines (people + papers) that already demonstrated high-grade symbolic computation. Studying them derandomizes “genius” into re-runnable steps.