論文の概要: Container Morphisms for Composable Interactive Systems

• arxiv url: http://arxiv.org/abs/2407.16713v1
• Date: Mon, 22 Jul 2024 23:42:43 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-07-25 17:52:45.638313
• Title: Container Morphisms for Composable Interactive Systems
• Title（参考訳）: 構成可能な対話システムのためのコンテナ形態
• Authors: André Videla,
• Abstract要約: 私は依存型を使ってリクエスト/レスポンスが一致することを保証し、このアイデアがコンテナのより広いコンテキストとそれらの射にどのように適合するかを示しています。 コンテナのカテゴリとそのモノノイド製品を使って、関数型プログラミングを模倣するコンテナ上のモナドを定義し、Kleeneスターを使って、同じシステムでステートフルなプロトコルを記述します。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This paper provides a mathematical framework for client-server communication that results in a modular and type-safe architecture. It is informed and motivated by the software engineering practice of developing server backends with a database layer and a frontend, all of which communicate with a notion of request/response. I make use of dependent types to ensure the request/response relation matches and show how this idea fits in the broader context of containers and their morphisms. Using the category of containers and their monoidal products, I define monads on containers that mimic their functional programming counterparts, and using the Kleene star, I describe stateful protocols in the same system.
• Abstract（参考訳）: 本稿では,モジュール型およびタイプセーフ型アーキテクチャを実現するクライアントサーバ通信のための数学的フレームワークを提供する。 データベース層とフロントエンドを備えたサーババックエンドを開発するという、ソフトウェアエンジニアリングのプラクティスによって、これらすべてが要求/応答の概念と通信する、という情報と動機付けを受けています。 私は、リクエスト/レスポンスの関係が一致することを保証するために依存型を使用し、このアイデアがコンテナのより広いコンテキストとそれらの射にどのように適合するかを示しています。 コンテナのカテゴリとそのモノノイド製品を使って、関数型プログラミングを模倣するコンテナ上のモナドを定義し、Kleeneスターを使って、同じシステムでステートフルなプロトコルを記述します。

関連論文リスト

• Insight: Interpretable Semantic Hierarchies in Vision-Language Encoders [52.94006363830628]
  言語対応の視覚基盤モデルは、下流の様々なタスクで強く機能する。 近年の研究では、これらの表現を人間の解釈可能な概念に分解するが、空間的接地が乏しく、画像分類に限られている。 入力画像に人間が解釈可能で空間的に接地した、きめ細かい概念を提供する言語対応概念基盤モデルであるInsightを提案する。
  論文  参考訳（メタデータ） (2026-01-20T09:57:26Z)
• ABC-Bench: Benchmarking Agentic Backend Coding in Real-World Development [72.4729759618632]
  本稿では,現実的かつ実行可能なワークフロー内でエージェントバックエンドコーディングを評価するベンチマークであるABC-Benchを紹介する。 オープンソースリポジトリから8つの言語と19のフレームワークにまたがる224の実践的なタスクをキュレートしました。 我々の評価は、最先端モデルでさえ、これらの総合的なタスクに対して信頼性の高いパフォーマンスを提供するのに苦労していることを示している。
  論文  参考訳（メタデータ） (2026-01-16T08:23:52Z)
• Monadic Context Engineering [59.95390010097654]
  本稿では,エージェント設計の正式な基盤を提供するために,モナディックコンテキストエンジニアリング(MCE)を紹介する。 我々は、モナドがロバストなコンポジションをどのように実現し、Applicativesが並列実行に原則化された構造を提供し、また、モナドトランスフォーマーがこれらの機能の体系的なコンポジションをどのように可能にしているかを実証する。 この階層化されたアプローチにより、開発者は、単純で独立した検証可能なコンポーネントから、複雑でレジリエントで効率的なAIエージェントを構築することができる。
  論文  参考訳（メタデータ） (2025-12-27T01:52:06Z)
• CoFiRec: Coarse-to-Fine Tokenization for Generative Recommendation [55.783414010717074]
  CoFiRecは、アイテム情報をセマンティックレベルに分解する新しい生成レコメンデーションフレームワークである。 我々は、CoFiRecが既存の手法より優れており、ジェネレーティブレコメンデーションの新しい視点を提供することを示す。
  論文  参考訳（メタデータ） (2025-11-27T18:59:35Z)
• OmniFed: A Modular Framework for Configurable Federated Learning from Edge to HPC [4.221579336040247]
  OmniFedは、コンフィギュレーション、オーケストレーション、通信、トレーニングロジックに関する関心事を分離し、明確に分離するように設計されたモジュラーフレームワークです。 そのアーキテクチャは、コンフィギュレーション駆動のプロトタイピングとコードレベルのオーバライド、すなわち必要なカスタマイズをサポートする。 また、異なるトポロジ、単一のデプロイメント内での混合通信プロトコル、一般的なトレーニングアルゴリズムもサポートしています。
  論文  参考訳（メタデータ） (2025-09-23T03:40:22Z)
• Universal Item Tokenization for Transferable Generative Recommendation [89.42584009980676]
  本稿では、転送可能な生成レコメンデーションのためのユニバーサルアイテムトークン化手法であるUTGRecを提案する。 木構造コードブックを考案することにより、コンテンツ表現をアイテムトークン化のための対応するコードに識別する。 生のコンテンツ再構成には、アイテムテキストとイメージを離散表現から再構成するために、デュアルライトウェイトデコーダを用いる。 協調的知識統合においては,共起的アイテムが類似していると仮定し,共起的アライメントと再構築を通じて協調的信号を統合する。
  論文  参考訳（メタデータ） (2025-04-06T08:07:49Z)
• The Compressor-Retriever Architecture for Language Model OS [20.56093501980724]
  オペレーティングシステム(OS)のコアコンポーネントとして言語モデルを用いるという概念について検討する。 このようなLM OSを実現する上で重要な課題は、寿命の長いコンテキストを管理し、セッション間のステートフルネスを確保することだ。 本稿では,生涯のコンテキスト管理のために設計されたモデル非依存アーキテクチャであるコンプレッサー・レトリバーを紹介する。
  論文  参考訳（メタデータ） (2024-09-02T23:28:15Z)
• Transformer Architecture for NetsDB [0.0]
  我々はNetsDBで機能するディープラーニングモデルのためのトランスフォーマーのエンドツーエンド実装を作成します。 分散処理、デプロイメント、効率的な推論のために、当社のモデルから重みをロードします。
  論文  参考訳（メタデータ） (2024-05-08T04:38:36Z)
• MMGRec: Multimodal Generative Recommendation with Transformer Model [81.61896141495144]
  MMGRecは、マルチモーダルレコメンデーションに生成パラダイムを導入することを目指している。 まず,階層的な量子化手法であるGraph CF-RQVAEを考案し,各項目にRec-IDを割り当てる。 次に、Transformerベースのレコメンデータをトレーニングし、過去のインタラクションシーケンスに基づいて、ユーザが推奨するアイテムのRec-IDを生成する。
  論文  参考訳（メタデータ） (2024-04-25T12:11:27Z)
• Cr\`eme de la Crem: Composable Representable Executable Machines (Architectural Pearl) [0.0]
  ソフトウェアアーキテクチャをステートマシンの構成として構築する方法を説明する。 定義上、我々のアプローチはモジュラーであり、独立したサブコンポーネントを構成することでより大きなシステムを構築することができる。 私たちはCremライブラリを導入し、コンポジションと表現可能な具体的ステートマシンの実装を提供します。
  論文  参考訳（メタデータ） (2023-07-18T09:17:13Z)
• Neural Constraint Satisfaction: Hierarchical Abstraction for Combinatorial Generalization in Object Rearrangement [75.9289887536165]
  基礎となるエンティティを明らかにするための階層的抽象化手法を提案する。 本研究では,エージェントのモデルにおける実体の状態の介入と,環境中の物体に作用する状態の対応関係を学習する方法を示す。 この対応を利用して、オブジェクトの異なる数や構成に一般化する制御法を開発する。
  論文  参考訳（メタデータ） (2023-03-20T18:19:36Z)
• Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests [63.37657467996478]
  記事では、クラスの概念が、狭義の「対象」だけでなく、ユースケースやユーザストーリーといったシナリオを記述するのに十分な一般性を示している。 単一のフレームワークを持つことは、両方のアプローチの利点を享受する要件への道を開く。
  論文  参考訳（メタデータ） (2022-09-06T02:47:20Z)
• Functionals in the Clouds: An abstract architecture of serverless Cloud-Native Apps [0.0]
  クラウドネイティブアプリケーション CNApp(分散システム)は、通信プロトコルを介して対話する独立したコンポーネント(マイクロサービス)の集合体である。 これにより、動的に再構成可能な非巡回有向グラフとしてCNAppの抽象アーキテクチャが提示される。
  論文  参考訳（メタデータ） (2021-05-21T15:28:49Z)
• Coordination Among Neural Modules Through a Shared Global Workspace [78.08062292790109]
  認知科学において、機能的に特殊なコンポーネントが情報を共有するグローバルなワークスペースアーキテクチャが提案されている。 キャパシティ制限は、特殊化と構成性を奨励する合理的な基礎を持つことを示す。
  論文  参考訳（メタデータ） (2021-03-01T18:43:48Z)
• Visual Concept Reasoning Networks [93.99840807973546]
  分割変換マージ戦略は、視覚認識タスクのための畳み込みニューラルネットワークのアーキテクチャ制約として広く使用されている。 我々は、この戦略を利用して、高レベルの視覚概念間の推論を可能にするために、Visual Concept Reasoning Networks (VCRNet) と組み合わせることを提案する。 提案するモデルであるVCRNetは、パラメータ数を1%以下にすることで、一貫して性能を向上する。
  論文  参考訳（メタデータ） (2020-08-26T20:02:40Z)
• Towards an ontology of HTTP interactions [0.0]
  HTTPは、すべてのWeb開発の中心に残っています。 RDF語彙の提案は存在する。 再利用可能なものにするために、適応と拡張を提案します。
  論文  参考訳（メタデータ） (2020-07-20T08:38:36Z)
• Object Files and Schemata: Factorizing Declarative and Procedural Knowledge in Dynamical Systems [135.10772866688404]
  モノリシックな隠蔽状態を持つブラックボックスモデルは、手続き的知識を一貫して均一に適用できないことが多い。 宣言的および手続き的知識を分解するアーキテクチャを通じてこの問題に対処する。
  論文  参考訳（メタデータ） (2020-06-29T17:45:03Z)

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

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