論文の概要: Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces

• arxiv url: http://arxiv.org/abs/2108.05402v1
• Date: Wed, 11 Aug 2021 18:39:47 GMT
• ステータス: 処理完了
• システム内更新日: 2021-08-13 14:27:05.304702
• Title: Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces
• Title（参考訳）: コンポジションマシン:シーケンシャルなプログラム空間の出現のためのソフトウェアモデルプログラミング
• Authors: Damian Arellanes
• Abstract要約: 本稿では,そのようなモデルの定義と実行を可能にする,合成機械と呼ばれる抽象機械を提案する。 一般的な抽象機械とは異なり、提案手法は個々のプログラムを計算せず、一度に複数のプログラムが出現することを可能にする。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We are entering a new era in which software systems are becoming more and more complex and larger. So, the composition of such systems is becoming infeasible by manual means. To address this challenge, self-organising software models represent a promising direction since they allow the (bottom-up) emergence of complex computational structures from simple rules. In this paper, we propose an abstract machine, called the composition machine, which allows the definition and the execution of such models. Unlike typical abstract machines, our proposal does not compute individual programs but enables the emergence of multiple programs at once. We particularly present the machine's semantics and provide examples to demonstrate its operation with well-known rules from the realm of Boolean logic and elementary cellular automata.
• Abstract（参考訳）: 私たちは、ソフトウェアシステムがますます複雑で大きくなっている新しい時代に入りつつある。 そのため、このようなシステムの構成は手作業で不可能になっている。 この課題に対処するため、自己組織化ソフトウェアモデルは、単純なルールから複雑な計算構造の(ボットアップ)台頭を可能にするため、有望な方向性を示す。 本稿では,そのようなモデルの定義と実行を可能にする,合成機械と呼ばれる抽象機械を提案する。 従来の抽象機械とは異なり,提案手法では個々のプログラムを計算せず,複数のプログラムを同時に生成できる。 特に,機械のセマンティクスを提示し,ブール論理と基本セルオートマトンという分野からよく知られた規則を用いてその動作を実演する例を示す。

関連論文リスト

• ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis [54.18659323181771]
  プログラム合成において望ましいいくつかの異なる構成一般化形式を特徴付ける。 本稿では,ExeDecを提案する。ExeDecは,実行サブゴールを予測し,各ステップでプログラム実行によって段階的に通知される問題を解くための,新しい分解ベースの戦略である。
  論文  参考訳（メタデータ） (2023-07-26T01:07:52Z)
• Learning-Based Automatic Synthesis of Software Code and Configuration [0.951828574518325]
  大規模な自動ソフトウェア生成と構成は非常に複雑で難しい作業です。 まず,入力出力仕様で自動的にソフトウェアを合成することを提案する。 2つ目の課題として,異なる入力ファイルから大規模ソフトウェアの構成を合成することを提案する。
  論文  参考訳（メタデータ） (2023-05-25T01:41:30Z)
• Modelling Concurrency Bugs Using Machine Learning [0.0]
  このプロジェクトは、一般的な機械学習アプローチと最近の機械学習アプローチを比較することを目的としている。 我々は、実生活(同時)プログラムをシミュレートする範囲で生成する合成データセットを定義する。 各種機械学習モデルモデルの基本的な限界に関する仮説を定式化する。
  論文  参考訳（メタデータ） (2023-05-08T17:30:24Z)
• The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
  量子コンピュータは、古典的コンピュータが決して起こらない重要な問題を効率的に解決することを約束する。 完全に自動化された量子ソフトウェアスタックを開発する必要がある。 この研究は、今日のツールの"内部"の外観を提供し、量子回路のシミュレーション、コンパイル、検証などにおいてこれらの手段がどのように利用されるかを示す。
  論文  参考訳（メタデータ） (2023-01-10T19:00:00Z)
• A Conversational Paradigm for Program Synthesis [110.94409515865867]
  本稿では,大規模言語モデルを用いた対話型プログラム合成手法を提案する。 私たちは、自然言語とプログラミング言語のデータに基づいて、CodeGenと呼ばれる大規模な言語モデルのファミリーを訓練します。 本研究は,会話能力の出現と,提案した会話プログラム合成パラダイムの有効性を示すものである。
  論文  参考訳（メタデータ） (2022-03-25T06:55:15Z)
• Procedures as Programs: Hierarchical Control of Situated Agents through Natural Language [81.73820295186727]
  エージェント命令と制御のための階層的な手続き的知識を表現する強力な手法である,プログラムとしての手続きの形式化を提案する。 NL命令に対するIQAおよびALFREDデータセット上で、このフレームワークをインスタンス化する。
  論文  参考訳（メタデータ） (2021-09-16T20:36:21Z)
• Launchpad: A Programming Model for Distributed Machine Learning Research [12.618286123360233]
  分散システムの定義と起動のプロセスを簡単にするプログラミングモデルであるLaunchpadを紹介します。 提案するフレームワーク,設計哲学,実装について述べるとともに,このアプローチによって設計が大幅に単純化された共通学習アルゴリズムの例を多数紹介する。
  論文  参考訳（メタデータ） (2021-06-07T17:02:10Z)
• Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints [5.254093731341154]
  実際のロボット上でgologプログラムを実行するには、通常、ロボットプラットフォームのハードウェアやソフトウェアの詳細を考慮する追加ステップが必要になる。 本稿では,状況計算の様相変種に基づく制約の定式化について述べる。 有限領域上のプログラムでは、制約を満たしつつ元のプログラムの効果を保ちながらコントローラを合成する問題をMTL合成に還元できることを示した。
  論文  参考訳（メタデータ） (2021-02-19T10:07:29Z)
• Representing Partial Programs with Blended Abstract Semantics [62.20775388513027]
  プログラム合成エンジンにおける部分的なプログラム表現手法について紹介する。 モジュラーニューラルネットワークとして実装された近似実行モデルを学ぶ。 これらのハイブリッドニューロシンボリック表現は、実行誘導型シンセサイザーがより強力な言語構成を使うことができることを示す。
  論文  参考訳（メタデータ） (2020-12-23T20:40:18Z)
• Process Discovery for Structured Program Synthesis [70.29027202357385]
  プロセスマイニングにおける中核的なタスクは、イベントログデータから正確なプロセスモデルを学ぶことを目的としたプロセス発見である。 本稿では,ターゲットプロセスモデルとして(ブロック-)構造化プログラムを直接使用することを提案する。 我々は,このような構造化プログラムプロセスモデルの発見に対して,新たなボトムアップ・アグリメティブ・アプローチを開発する。
  論文  参考訳（メタデータ） (2020-08-13T10:33:10Z)
• Program Synthesis with Pragmatic Communication [28.24612900419843]
  本研究では,プログラム合成タスクを合理的なコミュニケーションとしてモデル化した新しい帰納的バイアスを導入する。 ユーザスタディでは、エンドユーザの参加者が、非実用的なプログラムシンセサイザーよりも、より効果的に、実践的なプログラムシンセサイザーと通信することを発見した。
  論文  参考訳（メタデータ） (2020-07-09T20:55:44Z)

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

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