Fugu-MT 論文翻訳(概要): A generalised editor calculus (Short Paper)

論文の概要: A generalised editor calculus (Short Paper)

arxiv url: http://arxiv.org/abs/2505.18778v1
Date: Sat, 24 May 2025 16:30:44 GMT
ステータス: 翻訳完了
システム内更新日: 2025-05-27 16:58:42.656408
Title: A generalised editor calculus (Short Paper)
Title（参考訳）: 一般化された編集者計算法(短文)
Authors: Benjamin Bennetzen, Peter Buus Steffensen, Hans Hüttel, Nikolaj Rossander Kristensen, Andreas Tor Mortensen,
Abstract要約: 本稿では、構文指向のエディタ計算を一般化し、任意の言語に対して特別な構文指向のエディタをインスタンス化することができる。エディタ計算は、不完全なプログラムを許容しながら、構文上のエラーがないことを保証します。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In this paper, we present a generalization of a syntax-directed editor calculus, which can be used to instantiate a specialized syntax-directed editor for any language, given by some abstract syntax. The editor calculus guarantees the absence of syntactical errors while allowing incomplete programs. The generalized editor calculus is then encoded into a simply typed lambda calculus, extended with pairs, booleans, pattern matching and fixed points
Abstract（参考訳）: 本稿では,構文指向型エディターの一般化について述べる。構文指向型エディターは,抽象構文によって与えられる任意の言語に対して,特別な構文指向型エディターをインスタンス化することができる。エディタ計算は、不完全なプログラムを許容しながら、構文上のエラーがないことを保証する。一般化されたエディタ計算は、単純な型付きラムダ計算に符号化され、ペア、ブール、パターンマッチング、固定点で拡張される

関連論文リスト

Neuro-Symbolic Query Compiler [57.78201019000895]
本稿では,このギャップを埋めるために,言語文法規則とコンパイラ設計に触発されたニューラルシンボリックなフレームワークQCompilerを提案する。理論上は、複雑なクエリを形式化するのに最小でも十分なバックス・ナウアー形式(BNF)の文法を$G[q]$で設計する。葉のサブクエリの原子性は、より正確な文書検索と応答生成を保証し、複雑なクエリに対処するRAGシステムの能力を大幅に改善する。
論文参考訳（メタデータ） (2025-05-17T09:36:03Z)
Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair [30.530037104130233]
APR(Automatic Program repair)は、バグを検出するときにプログラムを修正するための提案を提供する、素晴らしいアイデアです。 Bugfixは、標準的な表記法、ツール、インターフェース、バグや修正のデータベースなど、このようなフレームワークを提供するための取り組みである。
論文参考訳（メタデータ） (2025-02-21T17:17:04Z)
Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars [11.279507894576213]
本稿では,構文的に正しくないコードの早期拒絶を可能にするインクリメンタルな合成に寄与する。文脈自由文法の左右商を許容するために、Earey解析アルゴリズムを拡張した。
論文参考訳（メタデータ） (2024-02-28T02:12:47Z)
Compositional Program Generation for Few-Shot Systematic Generalization [59.57656559816271]
コンポジションプログラムジェネレータ(CPG)と呼ばれるニューロシンボリックアーキテクチャに関する研究 CPGには3つの重要な特徴がある: 文法規則の形で、テキストモジュラリティ、テキストコンポジション、テキストタストラクションである。 SCAN と COGS のベンチマークでは,SCAN の14例と COGS の22例を使用して,完全な一般化を実現している。
論文参考訳（メタデータ） (2023-09-28T14:33:20Z)
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis [54.18659323181771]
プログラム合成において望ましいいくつかの異なる構成一般化形式を特徴付ける。本稿では,ExeDecを提案する。ExeDecは,実行サブゴールを予測し,各ステップでプログラム実行によって段階的に通知される問題を解くための,新しい分解ベースの戦略である。
論文参考訳（メタデータ） (2023-07-26T01:07:52Z)
HOTGP -- Higher-Order Typed Genetic Programming [0.0]
HOTGPは純粋、型付き、機能プログラムを合成する新しい遺伝的アルゴリズムである。この文法はHaskellの標準ベースライブラリに基づいている。
論文参考訳（メタデータ） (2023-04-06T16:23:34Z)
Backpropagation through Back Substitution with a Backslash [3.88516704975551]
バックプロパゲーションの線形代数定式化を提案する。一般化された「バックスラッシュ」やガウス的除去を用いて勾配を計算することができる。
論文参考訳（メタデータ） (2023-02-23T23:51:44Z)
Structural Analysis of Branch-and-Cut and the Learnability of Gomory Mixed Integer Cuts [88.94020638263467]
ブランチ・アンド・カット(ブランチ・アンド・カット)として知られる分岐・アンド・バウンドアルゴリズムにおける切断平面の組み入れは、現代の整数計画解法のバックボーンを形成する。入力整数プログラムに付加される切断平面を定義するパラメータの変化により、アルゴリズムの各ステップがどのように影響を受けるかをピン留めする、分岐切断の新たな構造解析を行う。この分析の主な応用は、機械学習を用いてブランチ・アンド・カット時にどの切断面を適用するかを決定するためのサンプルの複雑性保証を導出することである。
論文参考訳（メタデータ） (2022-04-15T03:32:40Z)
Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
合成一般化のための代数的組換え学習のためのエンドツーエンドニューラルモデルLeARを提案する。主要な洞察は、意味解析タスクを潜在構文代数学と意味代数学の間の準同型としてモデル化することである。 2つの現実的・包括的構成一般化の実験は、我々のモデルの有効性を実証している。
論文参考訳（メタデータ） (2021-07-14T07:23:46Z)
SYNFIX: Automatically Fixing Syntax Errors using Compiler Diagnostics [0.0]
生徒は、構文エラーに対処する際の自動修正提案によって助けられ、インストラクターの時間を節約できる。最新技術を大幅に向上させる機械学習ベースのツールであるSYNFIXを紹介します。私たちはSYNFIXを無償のVisual Studio Codeのオープンソースバージョンに作りました。すべてのソースコードとモデルを自由に利用できるようにしています。
論文参考訳（メタデータ） (2021-04-29T21:57:44Z)
Learning Structural Edits via Incremental Tree Transformations [102.64394890816178]
構造化データのインクリメンタルな編集(すなわち「構造的編集」)のための汎用モデルを提案する。我々の編集者は、反復的にツリー編集(例えば、サブツリーの削除や追加)を生成し、部分的に編集されたデータに適用することを学びます。提案したエディタを2つのソースコード編集データセットで評価した結果,提案する編集エンコーダでは,従来よりも精度が向上していることがわかった。
論文参考訳（メタデータ） (2021-01-28T16:11:32Z)
Hierarchical Poset Decoding for Compositional Generalization in Language [52.13611501363484]
出力が部分的に順序付けられた集合(命題)である構造化予測タスクとして人間の言語理解を形式化する。現在のエンコーダ・デコーダアーキテクチャは意味論のポーズ構造を適切に考慮していない。本稿では,言語における合成一般化のための新しい階層型ポーズデコーディングパラダイムを提案する。
論文参考訳（メタデータ） (2020-10-15T14:34:26Z)
Program Synthesis with Pragmatic Communication [28.24612900419843]
本研究では,プログラム合成タスクを合理的なコミュニケーションとしてモデル化した新しい帰納的バイアスを導入する。ユーザスタディでは、エンドユーザの参加者が、非実用的なプログラムシンセサイザーよりも、より効果的に、実践的なプログラムシンセサイザーと通信することを発見した。
論文参考訳（メタデータ） (2020-07-09T20:55:44Z)

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