P vs NP経営|Glossary

Decrypt history, Encrypt future™

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 (原典歩行)

  1. 文献を主 R 型へ落とす。
  2. instantiates で framework を明示する。
  3. 人物は Lineage の carries。二次要約ではなく原典へ。
  4. 予想は Conjecture へ open_on。Glossary に埋め込まない。
  5. axiomaticity 同型があれば同一視し、偽の新規文書を増やさない(Failure A′)。
  6. 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