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（参考訳）: 本稿では,構文指向型エディターの一般化について述べる。構文指向型エディターは,抽象構文によって与えられる任意の言語に対して,特別な構文指向型エディターをインスタンス化することができる。エディタ計算は、不完全なプログラムを許容しながら、構文上のエラーがないことを保証する。一般化されたエディタ計算は、単純な型付きラムダ計算に符号化され、ペア、ブール、パターンマッチング、固定点で拡張される

関連論文リスト

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)
Backpropagation through Back Substitution with a Backslash [3.88516704975551]
バックプロパゲーションの線形代数定式化を提案する。一般化された「バックスラッシュ」やガウス的除去を用いて勾配を計算することができる。
論文参考訳（メタデータ） (2023-02-23T23:51:44Z)
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)

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