索引

全ページの一覧。各ページは種別ごとに並べ、一行で要約。 探しているページがあればここから見つける。 最終更新: 2026-05-21 | 総ページ数: 39

Raw Sources

• deepdive-top.md — 一般社団法人DEEP DIVE トップページ
• indesign-2x-dash.md — InDesignで組む2倍ダーシ（DTP組版の実践的知見）
• jlreq-unbreakable-sequences.md — W3C JLReq 分割禁止文字シーケンス
• unicode-dashes-chapter6.md — Unicode 17.0.0 Ch.6 ダッシュとハイフン
• deepdive-about.md — 一般社団法人DEEP DIVE Aboutページ
• retrial-law-reform-inada-ide-2026.md — 再審法改正討論（文藝春秋PLUS, 2026）
• umyamy.md — うみゃみー（にじさんじ同期ユニット）
• shirasa-ayane.md — 白砂あやね（にじさんじライバー）
• minamo-madoka.md — 水面まどか（にじさんじライバー）
• hermes-agent-readme.md — Hermes Agent README（Nous Research）
• hermes-agent-agents.md — Hermes Agent AGENTS.md（開発ガイド）
• new-towa-kiseki.md — 新斗和キセキ（YouTubeトランスクリプト）
• nijisanji-official-livers.md — にじさんじ公式ライバー一覧（wikiwiki.jp）
• true-mad-king.md — TRUE MAD KING データソース（ニコニコ動画API）
• makkai-projectivity-N-2604.01139.md — Makkai’s lost proof of projectivity of N (Forssell–Lumsdaine–Swan, 2026)

Entities

• deep-dive — 非営利民間インテリジェンス組織（OSINT・衛星画像分析）
• henrik-forssell — オスロ大学、Makkai証明再構成の共著者
• ide-tsuneo — 自民党議員、再審法改正推進
• inada-tomomi — 自民党議員・弁護士、再審法改正推進
• koizumi-yu — DEEP DIVE理事、ロシア専門家
• michael-makkai — McGill大学、自由トポスNの射影性の未発表証明の原著者
• ohara-bonji — DEEP DIVE代表理事、元海上自衛隊情報幹部
• peter-lumsdaine — ストックホルム大学、Makkai証明再構成の共著者
• andrew-swan — リュブリャナ大学、Makkai証明再構成の共著者
• aguilera-bagaria-lucke-cardinals — Aguilera・Bagaria・Lücke の新種の巨大基数（2025）、階層から逸脱
• hermes-agent — 個人用AIエージェントフレームワーク（Nous Research）
• nous-research — Hermes Agent の開発元（Nous Research）
• shirasa-ayane — にじさんじライバー（うみゃみー）
• towa-kiseki — にじさんじライバー
• umyamii — にじさんじ同期ユニット（白砂あやね・水面まどか）
• minamo-madoka — にじさんじライバー（うみゃみー）
• tekuchan — テクチャン（TRUE MAD KING、ニコニコ動画音MAD作者）

Concepts

• arithmetic-universe — リスト付きexact前トポス、内部トポス構成の基盤
• countable-choice-rule — 可算選択規則 RC_ω: Nの射影性の論理的帰結
• free-topos — トポス2-圏のbi-初始対象、外延的IHOLの構文的モデル
• freyd-gluing — トポスの終対象の射影性を示す標準的手法
• japanese-dash-characters — 日本語組版におけるダッシュ記号の種類と使い分け
• projectivity-of-N — 自由トポスの自然数対象Nの射影性（Makkaiの定理）
• ranked-topos — 型の階数を制限したトポス、有限階数近似による戦略
• retrial-law-reform-2026 — 日本の再審法改正議論（検察抗告禁止）
• closed-learning-loop — Hermes Agent の自己改善型学習ループ

References

• index — トップページ
• tag-list — タグ分類一覧