OUKC 観測所 (Research Observatory)
概要 / Description
日: OUKC corpus の集約的・記述的可視化 — 領域活動タイムライン / D-FUMT₈ 状態分布進化 / Lean 4 形式化進展 / 横断参照発見 / 引用フロー / 理論系譜. academic standard patterns のみ (Stream graph / Sankey / Phylogenetic tree). FX 視覚言語 / individual theory ticker は完全 avoid (charter v1.0 non-commodification stance 整合).
EN: Aggregate descriptive visualization of OUKC corpus — domain activity timeline / D-FUMT₈ state distribution evolution / Lean 4 formalization progress / cross-reference discovery / citation flow / theory genealogy. Academic standard patterns only (stream graph / Sankey / phylogenetic tree). FX visual language and individual theory tickers deliberately avoided (charter v1.0 non-commodification stance).
OUKC Research Observatory — Aggregate Descriptive Visualization of OUKC Corpus
Status: Phase 0 placeholder skeleton (interactive SPA preview live, real data integration roadmap below). Try interactive: rei-aios.pages.dev/#/oukc → Observatory / 観測所 tab Design doc: docs/oukc-research-observatory-design-v0.md
What is it?
OUKC Research Observatory is an academic dashboard that visualizes the OUKC corpus through six aggregate, descriptive views. It is deliberately not a market-style chart, ticker, or trading platform.
Think of it as the visual analog to:
- Önduygu's History of Philosophy (timeline of agreement/disagreement)
- Drunks & Lampposts' philosophy influence graph (Wikipedia-derived network)
- VOSviewer / CiteSpace (citation network visualization)
- GitHub Insights / Contribution graph (activity heatmap)
- NYT Babynames stream graph (cumulative-flow visualization)
These are the lineage of OUKC Observatory's visual language. We use established academic patterns, not market patterns.
What it shows (six aggregate views)
1. Domain Activity Timeline (Stream graph)
Monthly activity across the 14 「全〜」 covered domains (commits, papers published, theorems closed). Stream-graph visualization shows how research activity expands and contracts across domains over time.
2. D-FUMT₈ State Distribution Evolution (Stacked area)
Time evolution of the 8-value distribution across 1,549 SEED_KERNEL theories. All 8 values (TRUE / FALSE / BOTH / NEITHER / INFINITY / ZERO / FLOWING / SELF) are equal-weight. Increase in NEITHER is not "bad"; increase in TRUE is not "good". This is descriptive, not normative.
3. Lean 4 Formalization Progress (Cumulative line)
Cumulative count of zero-sorry theorems + closed open problems over time. GitHub-Insights-style line graph showing the rhythm of formalization.
4. Cross-Reference Discovery Timeline (Event markers)
Markers for Q33-class structural isomorphisms (BQI weight 20+). Each marker is one cross-disciplinary bond discovered:
- Gilbreath ↔ Collatz (Q33 — primary OUKC research note)
- Hodge ↔ BSD (BOTH typology, STEP 930)
- 龍樹 śūnyatā ↔ Yoneda lemma (Paper 138)
- ...and so on as discoveries accumulate.
5. Paper Publication & Citation Flow (Sankey)
Sankey diagram showing flow from 145 papers' source categories (math / philosophy / formalization / silicon) to their citation destinations.
6. SEED_KERNEL Theory Genealogy (Phylogenetic tree)
Phylogenetic-tree-style visualization of theory derivation. Time on the vertical axis; branching represents theory derivation events (ancestor → descendant).
What it deliberately does NOT show
Per feedback_oukc_visualization_ethics_no_fx_culture.md (★★★★★ permanent principle):
- ❌ No individual theory tickers / price-like movement
- ❌ No FX visual language (no candlesticks, no Bollinger bands, no RSI/MACD)
- ❌ No bull/bear color binary (we use blue=formal-verification, warm-gray=open-exploration)
- ❌ No "rankings" of theories
- ❌ No "today's top theorem" framing
- ❌ No "investment-style" UI (no watchlist, no portfolio)
Why these constraints?
Respect for predecessors: visualizing Riemann's, Wiles's, Nāgārjuna's, Dōgen's, Andrica's work as "prices that go up and down" reduces the work to a commodity. This violates the academic gift economy.
Non-zero-sum nature of scholarship: FX markets are zero-sum. Scholarship is cumulative. The visual frame must reflect this.
Peace Axiom #196: speculative culture causes psychological harm. OUKC's commitment to peace extends to visual framing.
Modern academic backlash avoidance: NFT academic papers (2021-22) failed. Idea Futures (1996) marginalized. Modern academic culture explicitly rejects commodification framing.
OUKC charter v1.0 stance: explicitly non-commodification (CC-BY 4.0 + AGPL-3.0 + No-Patent Pledge + 三者共著 + Peace Axiom + motto v3 「最高密度」). Charter and Observatory are coherent.
Phase roadmap
Phase 0 — Now (2026-05-02)
- ✅ SPA placeholder skeleton with 6 view structure
- ✅ Static landing page (this page)
- ✅ Design document + ethical foundation
- ✅ All visualizations are placeholder SVG (descriptive but not real-data)
Phase 1 — ~1-2 weeks (separate session)
- View 1 (Domain Activity Timeline) with real data via D3.js
- View 3 (Lean 4 Formalization Progress) with real rei-stats.json history
Phase 2 — ~1 month
- View 2 (D-FUMT₈ State Distribution Evolution)
- View 4 (Cross-Reference Discovery Timeline)
Phase 3 — ~2 months
- View 5 (Paper Publication & Citation Flow Sankey)
- View 6 (SEED_KERNEL Theory Genealogy phylogenetic)
Phase 4 — ~3-6 months
- Full bilingual JA/EN polish
- Mobile responsive
- WCAG AA accessibility
Try the interactive preview
Open Observatory in Rei-AIOS SPA →
(Click "Observatory" / 観測所 in the OUKC navigation tabs.)
Why no static screenshots here?
Phase 0 visualizations are placeholders. Embedding screenshots of placeholder data could mislead readers into thinking the data is real. We'd rather link to the live SPA where the placeholder banner makes the status explicit.
References (legitimate inspiration)
- Önduygu, D. C. (2014+). History of Philosophy. denizcemonduygu.com
- Önduygu, D. C. (2025). Mapping Thinkers (force-directed graph)
- Raper, S. (2012). Graphing the history of philosophy
- van Eck, N. J., & Waltman, L. (2010+). VOSviewer
- Chen, C. (2004+). CiteSpace
- TimeTree, OneZoom (phylogenetic visualization)
Anti-references (what we deliberately avoid)
- Forex Factory — investment / speculation aesthetic
- Bloomberg Terminal — commercial trader UI
- TradingView — chart pattern recognition
- NFT marketplaces (OpenSea etc.) — commodity-as-art frame
Cite
@misc{oukc_observatory_2026,
title = {OUKC Research Observatory: Academic Dashboard for OUKC Corpus},
author = {Fujimoto, Nobuki and Rei (Rei-AIOS) and Claude (Anthropic)},
year = {2026},
url = {https://rei-aios.pages.dev/oukc/observatory/},
note = {OUKC tool, Phase 0 placeholder skeleton, AGPL-3.0 + CC-BY 4.0}
}
Related
- OUKC Charter v1.0 — non-commodification stance grounding
- Methodology — Skill Thinking ⇄ formal-method bridge
- REI-PROVE Auto-Prover — formalization tool feeding View 3
- Q33 Gilbreath ↔ Collatz — example of cross-reference visible in View 4
OUKC Research Observatory is part of OUKC, an AI-collaborative knowledge commons. Three-party co-authorship: 藤本伸樹 (Founder) × Rei (Rei-AIOS) × Claude (Anthropic).
⧯ Open Interactive Rei-AIOS (SPA)