研究プログラム
RESEARCH PROGRAMS
Research Programは、個別の記事や一度の実験ではなく、明確な問い、期間、節目、必要な証拠、公開成果を持つ長期研究の単位です。
現在の主要プログラム
Riemann Hypothesis Program
有限構造、正値性、解析接続、臨界線上の剛性を接続し、主張と計算証拠を監査可能にする長期数学研究。
Quantum Computing Program
量子情報、Phase-Structure Computation、量子着想計算、代替推論基盤、検証、物理実装の接点を研究します。従来のGPU中心推論への依存を低減し得る計算モデルを探索しますが、代替可能性や性能を断定しません。
Intelligence Architecture Program
記憶、複数エージェント、証拠、監査、人間責任を備えたAI運用構造を研究します。
Observer & Selection Program
観測者、意図、選択、表現の関係を、理論・計算・試作の各層で検討します。
Civilization Systems Program
META OSの原則を組織、都市、行政、教育、医療、インフラ、集合的意思決定へ適用する研究です。Civilization OSはMETA OSより上位の製品ではなく、適用スケールを社会・制度へ拡張する構想です。
Programの公開項目
- Research QuestionとClaim Boundary
- 既存研究との関係
- Milestoneと現在の状態
- 必要な証拠・反証条件
- Publication、Software、Data、Artifact
- 限界、批判、改訂履歴
プログラムの存在は、成果や証明の完成を意味しません。進捗と未解決点を同じ重要度で公開します。
Programを設ける理由
長期研究は、日々のニュースや単発の論文だけでは方向を失います。Programは、問い、仮説、方法、Milestone、予算、成果物、検証条件を一つの単位へまとめ、数年にわたる変更を追跡する仕組みです。成果が出ない期間も、何を試し、何が否定され、次に何が必要かを残します。
共通フォーマット
- Research Question：何を明らかにしたいか
- Current Model：現在採用する説明と前提
- Approach：理論、計算、実験、試作の方法
- Status：探索、形式化、計算、外部検証等の現在地
- Outputs：論文、データ、ソフトウェア、特許、Artifact
- Open Problems：未解決点と反証条件
- Next Milestones：次に確認可能な到達点
横断的な接続
Intelligence Architectureで生まれた監査方法が数学研究のProvenanceへ使われ、Observer & Selectionの理論がAI意思決定へ問いを返すように、Programsは相互に接続します。ただし、分野間の類似をそのまま科学的同一性とみなさず、移植できる構造とできない部分を明示します。
レビューと終了
Programは継続すること自体を成功としません。一定期間ごとに、問いの重要性、証拠、費用、倫理、安全性、代替経路を見直します。統合、休止、終了した場合も理由と成果をArchiveし、後から検証できるようにします。
参加と支援
外部協力は、Program単位で課題、期間、成果物、知財、公開範囲を定義します。資金提供だけでなく、データ、計算資源、実験設備、レビュー、共同執筆、社会実装の協力を想定します。
各Programの違い
RH Programは数学的主張と証明経路、Quantum Computing Programは理論から物理実装までの検証鎖、Intelligence Architecture Programは持続的な知能運用、Observer & Selection Programは観測と選択の共通構造、Civilization Systems Programは制度とインフラの長期フィードバックを中心に扱います。共通方法を使いながら、必要な証拠の種類は同一ではありません。
成果の評価
Publication数だけでなく、問いの明確化、反例の発見、再現可能なArtifact、利用可能なPrototype、外部レビュー、社会実装で明らかになった制約を成果に含めます。否定的な結果も、探索範囲と方法が明確であれば研究資産として保存します。
ロードマップの更新
各Programページには、直近のMilestone、完了日、次回レビュー、依存する外部条件を表示します。予定が遅延・変更された場合は日付を消して見せず、理由と新しい前提を記録します。長期構想と現在実行可能な作業を同じ時間軸で表示しません。
Program間の資源配分
計算資源、人員、資金、公開作業は有限です。SRIは、重要性、検証可能性、社会的影響、独自性、安全性、外部協力の有無を考慮して優先度を見直します。派手なテーマだけが継続的に資源を得ないよう、基盤MethodとProvenanceにも配分します。