このテーマのページ
📖 メインストーリー
理想→不可能三角→7主旋律→近年論文11本。まずここ。
開く →
🔭 7トピック統合
各領域の研究史・系譜・攻防マトリクス・未解決。
開く →
⇄ クロスチェーン35本
スワップ論文 deep-dive と4研究方向。
開く →
🔬 論文精読
主要論文の研究手順をインタラクティブに。
開く →
🧭 研究手法ガイド
論文×研究手法のクロス分析。
開く →
🗺️ 研究ロードマップ
未解決領域と研究の進め方のメタガイド。
開く →
🔍 形式検証
TLA+/Why3/Spin による機械検証の手法と成果。
開く →
❓ 未解決問題
PCN の open problem インタラクティブダッシュボード。
開く →
📅 研究通史
2015-2026 の PCN 研究タイムライン。
開く →
研究・深掘りへ