P vs NP経営|Glossary
Glossary (記号トポロジー × 原典トポロジー)
Not a word list. Dual regeneration of the ideology. English canonical; Japanese supplementary. Mirror: axiomaticity.com (Archives of Axiom).
単語羅列ではない。思想の再生成仕様。英語正本・日本語補足。
Regen_symbol = (V, E_sym, Walk) # how symbols connect Regen_reference = (R, E_ref, Cite) # how primaries span the ideology Ideology ≈ Walk(V) ∘ Cite(R)
Ontology: Glossary · Reference · Conjecture · Lineage. Repo: D-glossary.md.
0. What this page is (このページの位置)
Glossary は用語集ではなく、何を読めば思想が再生成されるかの位相仕様書である。記号の繋がり(S0–S6)と、原典の型と辺(R\*)を同時に定義する。
1. Atlas (記号コンパス)
Axiom → Proposition → 0|1 → Clause → Conflict → Plane → Move → Outside → Halt → Satisfied → Irreducible → Re-run →(spiral_return)→ Axiom
2. Symbol strata S0–S6
| 層 | English | 日本語 | 例 |
|---|---|---|---|
| S0 | Atomic symbol | 原子記号 | 0|1, literal |
| S1 | Local constraint | 局所制約 | Clause, Conflict |
| S2 | Board geometry | 盤面幾何 | Plane, 3COL |
| S3 | Search path | 探索経路 | Move, BMC, CDCL |
| S4 | Boundary / oracle | 境界・外側 | Outside, Halt |
| S5 | Irreducible occupancy | 既約占有 | Witness, Namespace |
| S6 | Spiral identity | 螺旋同一 | spiral_return, ROIC |
3. Reference node types R* (思想を張る原典型)
Each bibliographic item carries at least one R-type. Mapped from axiomaticity archive routes.
| Type | English | axiomaticity | Role in ideology |
|---|---|---|---|
| R-axiom | Axiom / Postulate | /axiom |
外側入力の開始記号 |
| R-theorem | Theorem | /theorem |
再実行可能な確定 |
| R-proof | Proof | /proof |
検証可能ステップ列 |
| R-conjecture | Conjecture | /conjecture |
大域の未充足/充足制約 |
| R-hypothesis | Hypothesis | /hypothesis |
暫定 oracle |
| R-framework | Framework | /framework |
盤面幾何そのもの |
| R-genealogy | Genealogy | /genealogy |
演算者間の経路 |
| R-person | Person / Journey | /person /lineage |
前提語彙の担い手 |
| R-terminology | Terminology | /terminology |
V へのラベル供給 |
| R-generalization | Generalization | /generalization |
盤面の拡大 |
| R-duality | Duality | /duality |
双対短縮 |
| R-document | Bibliographic item | TANAAKK Reference | 上記を担う物理文書 |
axiomaticity scale (approx.): proof 1126 · theorem 1120 · person 1025 · journey 997 · lineage 153 · framework 35 · genealogy 27. TANAAKK starts thinner (Reference≈172 + Lineage corpora) but shares types.
4. Reference edges (思想の張り方)
| type | Meaning | Effect |
|---|---|---|
axiomatizes |
document → axiom | 開始点固定 |
proves |
proof → theorem | 確定の再実行 |
cites |
document → document | 書誌歩行 |
instantiates |
document → framework | 盤面の明示 |
open_on |
document → conjecture | 未解決へ接続 |
genealogical_to |
person → person | Lineage測地線 |
carries |
person → document | 誰が演算したか |
terminologizes |
terminology → V | 記号層へ射影 |
generalizes / dual_to |
node ↔ node | 拡大/短縮 |
occupies |
person/document → namespace | Ontopologics |
5. Projection (live への射影)
| Live | Holds | axiomaticity analogue |
|---|---|---|
| Glossary | S* + R* definitions | /terminology + /ontology |
| Reference | R-document map | theorem/proof/framework biblio |
| Conjecture | R-conjecture geodesics | /conjecture |
| Lineage | R-person + Abel/Fields/Turing/IAS | /person /lineage /genealogy |
学際分野名(Computational Complexity Theory 等)は R-document の色(bundle)であり、R 型そのものではない。
6. Cite rules (原典歩行)
- 文献を主 R 型へ落とす。
instantiatesで framework を明示する。- 人物は Lineage の
carries。二次要約ではなく原典へ。 - 予想は Conjecture へ
open_on。Glossary に埋め込まない。 - axiomaticity 同型があれば同一視し、偽の新規文書を増やさない(Failure A′)。
- Cite 閉路だけで終わらず、必ず
terminologizesで V へ射影する。
含意: R を読まずに V だけ暗記しても思想は再生しない。逆に書誌を積んでも Walk が無ければ Regenerable ではない。
7. Frequency table (頻度表|シード索引)
Occurrence counts are a seed index only. They do not replace Glossary (V, E, Walk).
出現数はシード索引にすぎない。Glossary の代替ではない。
Source: v1.0.114 body (pre-Glossary). Full tables: F-frequency.md.
Atlas keys
| English | 日本語 | n |
|---|---|---|
| Axiom | 公理 | 55 |
| Proposition | 命題 | 38 |
| Plane | 平面 | 35 |
| Clause | 節 | 32 |
| Halt | 停止 | 26 |
| Satisfied | 充足 | 18 |
| Irreducible | 既約 | 18 |
| Conflict | Conflict | 11 |
| Move | 移動 | 10 |
| Outside | 外側 | 4 |
| Re-run | 再実行 | 1 |
| 0|1 | 0|1 | 0 |
Tech Latin (top)
| # | term | n |
|---|---|---|
| 1 | sat | 71 |
| 2 | np | 54 |
| 3 | np-complete | 45 |
| 4 | randomness | 32 |
| 5 | pcp | 21 |
| 6 | satisficing | 21 |
| 7 | p-complete | 20 |
| 8 | cdcl | 20 |
| 9 | dna | 19 |
| 10 | bmc | 17 |
| 11 | zkp | 17 |
| 12 | axiom | 14 |
| 13 | bpp | 13 |
| 14 | rp | 13 |
| 15 | roic | 11 |
Curated Japanese (top)
| # | term | n |
|---|---|---|
| 1 | 計算 | 137 |
| 2 | 決定 | 134 |
| 3 | 証明 | 91 |
| 4 | 経営 | 88 |
| 5 | 検証 | 86 |
| 6 | ステップ | 75 |
| 7 | 素数 | 65 |
| 8 | チューリングマシン | 60 |
| 9 | ブランド | 60 |
| 10 | 記号 | 59 |
| 11 | 探索 | 57 |
| 12 | 事業 | 52 |
| 13 | 離散 | 48 |
| 14 | 情報 | 42 |
| 15 | 整数 | 42 |

