論文の概要: 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スターを使って、同じシステムでステートフルなプロトコルを記述します。

関連論文リスト

• 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)

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

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