論文の概要: A Programming Paradigm for Spatiotemporal Composability

• arxiv url: http://arxiv.org/abs/2608.25512v1
• Date: Wed, 26 Aug 2026 08:22:19 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-27 14:15:15.669687
• Title: A Programming Paradigm for Spatiotemporal Composability
• Title（参考訳）: 時空間構成性のためのプログラミングパラダイム
• Abstract要約: 問題の2つの次元:時間的構成可能性と空間的構成可能性。 我々は、すべてのコンテキストがランタイムが保持する逆を持つ可逆効果を形式化する。 リアクティブなコエフェクトを形式化し、すべてのコンテキスト変更をコンポーネントのコエフェクト仕様に対して分類する。
• 参考スコア（独自算出の注目度）: 8.828854708630976
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Modern software -- from plugin systems to self-evolving agent harnesses -- increasingly requires dynamic composition, yet its formal foundations remain underdeveloped. We identify two orthogonal dimensions of the problem: temporal composability, the ability to completely revert a component's side effects upon removal, and spatial composability, the ability to declare and reactively manage inter-component dependencies. We address the two dimensions by lifting classical effect and coeffect concepts to runtime mechanisms. In particular, we formalize revertible effects, in which every context transformation carries an inverse that the runtime holds, establishing temporal composability local to one component. We formalize reactive coeffects, in which every context change is classified against a component's coeffect specification to drive its activation and deactivation, establishing spatial composability local to one component. We then unify the effect context and the coeffect context into a single context type and mediate every effect and coeffect through it, yielding a discipline we call the context paradigm; the mediation induces an observational equivalence up to which the effects of distinct components interleave without disturbing one another. Combining these mechanisms into the notion of a component, we give a calculus of dynamic composition whose metatheory carries spatiotemporal composability from a single component to a whole system of interleaved components. We implement these ideas in Cordis, a meta-framework of spatiotemporal composability that provides a core library with effect tracking and coeffect resolution, as well as a declarative component loader with configuration reconciliation and hot module replacement.
• Abstract（参考訳）: プラグインシステムから自己進化するエージェントハーネスまで、現代のソフトウェアは徐々に動的構成を必要としているが、正式な基盤は未開発のままである。 この問題の直交次元として,時間的コンポーザビリティ,コンポーネントの側効果を完全に逆転させる機能,空間的コンポーザビリティ,コンポーネント間の依存関係を宣言し,リアクティブに管理する機能,の2つがあげられる。 我々は、古典的な効果と効果の概念をランタイムメカニズムに持ち上げることによって、この2つの次元に対処する。 特に、各コンテキスト変換がランタイムが保持する逆数を持ち、時間的可逆性を1つのコンポーネントに局所的に確立する可逆効果を形式化する。 反応コエフェクト(reactive coeffects)を定式化し、各コンテキストの変化をコンポーネントのコエフェクト仕様(coeffect specification)に対して分類し、そのアクティベーションとデアクティベーションを駆動し、一つのコンポーネントに局所的な空間構成性を確立する。 次に、影響コンテキストと影響コンテキストを単一のコンテキストタイプに統一し、それを通してすべての効果と影響を仲介し、文脈パラダイムと呼ばれる規律を生み出す。 これらのメカニズムをコンポーネントの概念に組み合わせることで、メタセトリーが1つのコンポーネントからインターリーブされたコンポーネント全体への時空間構成性を伝達する動的構成の計算を与える。 我々はこれらのアイデアをCordisで実装する。これは時空間構成性(spatiotemporal composability)のメタフレームワークで、エフェクトトラッキングとコエフェクト解決を備えたコアライブラリと、構成調整とホットモジュール置換を備えた宣言的コンポーネントローダを提供する。

関連論文リスト

• Structure over Depth: A Single-Block Spatio-Temporal Transformer for Multi-Entity Reasoning [0.0]
  マルチエンティティの時間データは、エンティティ、時間、およびそれらの相互作用間の依存関係をキャプチャする必要がある。 トランスフォーマーベースのアプローチはよく分解されるが、しばしばこれら不均一な依存関係を暗黙的に学ぶために深いレイヤスタックに依存している。 本稿では,3つ全てを1つのステージ内で明示的にモデル化する構造化時間自己アテンション変換器ブロックを提案する。 我々は,ビデオに基づくグループ活動認識,骨格に基づくヒューマンインタラクション分析,ウェアラブルセンサによる活動認識のアプローチを評価する。
  論文  参考訳（メタデータ） (2026-07-25T07:02:07Z)
• MultiAct: Text-to-Motion Generation from Composite Text via Tailored Attention Guidance [54.131431576597514]
  MultiActは、合成テキスト-モーション合成のための未ペアの推論時間フレームワークである。 提案手法は,未表現のプロンプト成分に付随するクロスアテンションスコアを適応的に増幅することにより,意味的崩壊に対処する。
  論文  参考訳（メタデータ） (2026-05-29T07:14:48Z)
• Beyond Spatial Compression: Interface-Centric Generative States for Open-World 3D Structure [55.17771962316751]
  現在の3Dトークンは、表現を空間圧縮として扱うが、コンポーネントの所有権とアタッチメントの妥当性は暗黙的に残す。 我々は、トークン化がパッシブ圧縮コードではなく操作状態を構成する、インターフェイス中心の生成状態という別の視点を定式化する。 我々は、この定式化を、C2LT-3D(Component-Conditioned Canonical Local Tokens)でインスタンス化し、表現を標準局所幾何学、パーティション条件付きコンテキスト、およびリレーショナルシーム変数に分解する。
  論文  参考訳（メタデータ） (2026-05-11T12:09:28Z)
• PAct: Part-Decomposed Single-View Articulated Object Generation [45.04652409374895]
  アーティキュレートされたオブジェクトは、AI、ロボティクス、VR/ARなど、インタラクティブな3Dアプリケーションの中心である。 明示的な部分認識条件下で部分幾何学, 構成, 調音を合成する, 調音オブジェクト生成のための部分中心生成フレームワークを提案する。 我々の表現は、オブジェクトを可動部品の集合としてモデル化し、それぞれ、部品のアイデンティティと調音の手がかりを付加した潜在トークンで符号化する。
  論文  参考訳（メタデータ） (2026-02-16T17:45:44Z)
• Structures generated in a multiagent system performing information fusion in peer-to-peer resource-constrained networks [0.0]
  ホロン生成はマルチエージェント・システム・モデルに基づいて総合的に研究される。 本稿では,資源に制約がある場合,ホロニック構造がどのように生成されるかを示す。
  論文  参考訳（メタデータ） (2025-10-23T12:07:32Z)
• Componentization: Decomposing Monolithic LLM Responses into Manipulable Semantic Units [0.0]
  大規模言語モデル(LLM)はしばしば、部分で編集が難しいモノリシックなテキストを生成する。 モデル出力をモジュール化して独立に編集可能なユニットに分解するアプローチであるコンポーネント化を提案する。
  論文  参考訳（メタデータ） (2025-09-10T00:15:33Z)
• Interaction Transformer for Human Reaction Generation [61.22481606720487]
  本稿では,時間的,空間的両方の注意を持つトランスフォーマーネットワークからなる対話型トランスフォーマー(InterFormer)を提案する。 我々の手法は一般的であり、より複雑で長期的な相互作用を生成するのに利用できる。
  論文  参考訳（メタデータ） (2022-07-04T19:30:41Z)
• Spatio-Temporal Representation Factorization for Video-based Person Re-Identification [55.01276167336187]
  本稿では、re-IDのための時空間表現分解モジュール(STRF)を提案する。 STRFはフレキシブルな新しい計算ユニットであり、re-IDのための既存のほとんどの3D畳み込みニューラルネットワークアーキテクチャと併用することができる。 実験により、STRFは様々なベースラインアーキテクチャの性能を向上し、新しい最先端の成果を示す。
  論文  参考訳（メタデータ） (2021-07-25T19:29:37Z)
• Coordination Among Neural Modules Through a Shared Global Workspace [78.08062292790109]
  認知科学において、機能的に特殊なコンポーネントが情報を共有するグローバルなワークスペースアーキテクチャが提案されている。 キャパシティ制限は、特殊化と構成性を奨励する合理的な基礎を持つことを示す。
  論文  参考訳（メタデータ） (2021-03-01T18:43:48Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。