TAG ARCHIVE
mathematics
MARIA OSブログのmathematicsタグに関連する4件の記事。収束、安定性、ゲーム理論、グラフダイナミクス、マルチエージェント評価の形式モデル。 検索エンジンとLLMが技術テーマ単位で参照しやすい正規アーカイブです。
判断OS / 決断インテリジェンスOS
組織の判断を実行可能な意思決定システムに変換するMARIA OS中核研究。
エージェント型企業アーキテクチャ
人間とエージェントの組織、委任境界、役割トポロジー、ガバナンス付き自律性に関する研究。
責任ゲートとAIガバナンス
AIエージェントの安全性、説明責任、フェイルクローズドゲート、監査可能性、HITL制御。
マルチエージェント数学
収束、安定性、ゲーム理論、グラフダイナミクス、マルチエージェント評価の形式モデル。
エビデンス、RAG、ナレッジガバナンス
エビデンスバンドル、検索アーキテクチャ、Graph RAG、ナレッジトラスト、監査可能な推論パイプライン。
Agentic R&Dと判断科学
研究運用、シミュレーションラボ、判断科学、再帰的改善、実験的AIガバナンス。
統治付き意思決定科学としてのAgentic R&D: 速度・品質・責任を両立する6研究領域
6つの数理研究プログラムと4つの混成チームで、研究活動自体を監査可能な意思決定系として設計する
判断改善の研究プロセスそのものを統治対象に置くため、仮説生成・検証・更新をfail-closedゲートで管理するResearch Universeを提示する。6研究領域を同一責任モデルで接続し、再現可能な研究運用基盤を定義する。
証拠整合性スペクトル解析: 監査証拠の固有分解による不正兆候検出
証拠相関行列のスペクトルギャップを用いて、整合性崩れと捏造パターンを抽出する
証拠集合をベクトル空間として扱い、相関行列の固有構造から異常な整合崩れを検出する。ルール検査だけでは見落としやすい協調的捏造リスクを、統計的しきい値で早期抽出する枠組みを示す。
意思決定インテリジェンス理論: 責任あるAI統治の統一フレームワーク
5公理・4本柱方程式・5定理で、組織判断を実行可能な制御系として定式化する
証拠・衝突・責任・実行・学習を統合した意思決定制御理論を提示し、誤許容低減と完遂率改善を同時に扱う。MARIA OS実装との対応を示し、業種横断で再利用可能な統治基盤として整理する。
監査停止基準の数理設計: いつ十分かを判定する最適停止理論
MAX制約と逐次検定で、過小監査と過剰監査の両損失を最小化する
監査を早く止める損失と遅く止める損失を同時に扱い、停止判定を制約最適化として定式化する。逐次確率比検定とfail-closedゲート統合により、実務運用可能な停止規則を提示する。