Fugu-MT 論文翻訳(概要): A Reversible Semantics for Janus

論文の概要: A Reversible Semantics for Janus

arxiv url: http://arxiv.org/abs/2602.16913v1
Date: Wed, 18 Feb 2026 21:59:04 GMT
ステータス: 翻訳完了
システム内更新日: 2026-02-20 15:21:28.420772
Title: A Reversible Semantics for Janus
Title（参考訳）: ジャヌスの可逆意味論
Authors: Ivan Lanese, Germán Vidal,
Abstract要約: 本論では, 従来と同等でありながら, 実際に可逆性を持つ新規な小ステップ意味論を提案する。ハイレベルなプログラミング言語の"プログラムカウンタ"に基づいたセマンティクスを定義するという、役に立たない課題が伴う。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: Janus is a paradigmatic example of reversible programming language. Indeed, Janus programs can be executed backwards as well as forwards. However, its small-step semantics (useful, e.g., for debugging or as a basis for extensions with concurrency primitives) is not reversible, since it loses information while computing forwards. E.g., it does not satisfy the Loop Lemma, stating that any reduction has an inverse, a main property of reversibility in process calculi, where small-step semantics is commonly used. We present here a novel small-step semantics which is actually reversible, while remaining equivalent to the previous one. It involves the non-trivial challenge of defining a semantics based on a "program counter" for a high-level programming language.
Abstract（参考訳）: Janusは可逆プログラミング言語のパラダイム的な例である。実際、Janusプログラムは後方でも前方でも実行できる。しかし、その小さなステップのセマンティクス(例えばデバッグや並列プリミティブによる拡張の基盤として使われる)は、コンピューティングの進行中に情報を失うため、可逆的ではない。例えば、ループ補題を満足せず、任意の還元は逆数であり、プロセス計算における可逆性の主な性質であり、小さなステップのセマンティクスが一般的に用いられる。ここでは、実際に可逆的な新しい小さなステップ意味論を提示するが、それ以前の意味論と等価なままである。これは、ハイレベルなプログラミング言語の"プログラムカウンタ"に基づいた意味論を定義するという非自明な挑戦を含む。

関連論文リスト

Proto-Quipper with Reversing and Control [3.2748715105533024]
ダガー対称モノイド圏 R を用いて可逆かつ制御可能な回路のセマンティクスを定式化する。すべての回路が可逆かつ/または制御可能であるわけではないので、可逆性と制御性を追跡するためにモダリティを持つ型システムを用いる。
論文参考訳（メタデータ） (2024-10-29T17:22:01Z)
(Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
論文参考訳（メタデータ） (2024-10-22T00:41:47Z)
Invariant Relations: A Bridge from Programs to Equations [1.3342735568824553]
任意のレベルにネストしたループを持つプログラムを含む,C型プログラムの関数を導出する手法を提案する。ループの意味を捉えるために、不変関係の概念を用いる。
論文参考訳（メタデータ） (2023-10-07T04:11:23Z)
Jeopardy: An Invertible Functional Programming Language [0.0]
本稿では,プログラムの可逆性を保証する関数型プログラミング言語であるJeopardyを紹介する。特にJeopardyでは,非可逆性 – あるいは非決定性! – 操作の限定的な使用を可能にしている。
論文参考訳（メタデータ） (2022-09-06T11:38:42Z)
Bayesian Recurrent Units and the Forward-Backward Algorithm [91.39701446828144]
ベイズの定理を用いることで、ユニットワイド・リカレンスとフォワード・バックワードアルゴリズムに類似した後方再帰を導出する。その結果得られたベイジアン再帰ユニットは、ディープラーニングフレームワーク内で再帰ニューラルネットワークとして統合することができる。音声認識の実験は、最先端の繰り返しアーキテクチャの最後に派生したユニットを追加することで、訓練可能なパラメータの点で非常に低コストで性能を向上させることを示唆している。
論文参考訳（メタデータ） (2022-07-21T14:00:52Z)
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming [4.297070083645049]
我々は、与えられたプログラムの実際の後部が下界と上界(音性)の間に挟まれていることを証明する。本稿では,リターン値だけでなく,プログラム実行の重みにも自動的に間隔境界を推定する重み対応区間型システムを提案する。文献からの例による評価では, 境界は有用であり, 後部推論法による誤った出力の認識にも有効であることが示された。
論文参考訳（メタデータ） (2022-04-06T17:28:28Z)
Searching for More Efficient Dynamic Programs [61.79535031840558]
本稿では,プログラム変換の集合,変換プログラムの効率を評価するための単純な指標,およびこの指標を改善するための探索手順について述べる。実際に、自動検索は初期プログラムの大幅な改善を見出すことができることを示す。
論文参考訳（メタデータ） (2021-09-14T20:52:55Z)
Anti-aliasing Semantic Reconstruction for Few-Shot Semantic Segmentation [66.85202434812942]
セグメンテーションを意味的再構成問題として再検討する。基本クラスの特徴を,新しいクラス再構築のためのクラスレベルのセマンティック空間にまたがる一連の基底ベクトルに変換する。提案手法はアンチエイリアス・セマンティック・リストラクション (ASR) と呼ばれ, 数発の学習問題に対して, 体系的かつ解釈可能な解法を提供する。
論文参考訳（メタデータ） (2021-06-01T02:17:36Z)
Representing Partial Programs with Blended Abstract Semantics [62.20775388513027]
プログラム合成エンジンにおける部分的なプログラム表現手法について紹介する。モジュラーニューラルネットワークとして実装された近似実行モデルを学ぶ。これらのハイブリッドニューロシンボリック表現は、実行誘導型シンセサイザーがより強力な言語構成を使うことができることを示す。
論文参考訳（メタデータ） (2020-12-23T20:40:18Z)
Back to the Future: Unsupervised Backprop-based Decoding for Counterfactual and Abductive Commonsense Reasoning [79.48769764508006]
ジェネレーティブ言語モデル(LM)は、過去の文脈のみを条件にするか、狭い範囲のテキスト入力を実行するよう訓練することができる。我々は過去と将来の両方の文脈を柔軟に組み込むことができる新しい教師なし復号アルゴリズムであるDeLoreanを提案する。提案手法は, 帰納的テキスト生成と反事実的ストーリーリビジョンの2つの非単調推論タスクに適用可能であることを示す。
論文参考訳（メタデータ） (2020-10-12T17:58:43Z)
Differentiate Everything with a Reversible Embeded Domain-Specific Language [0.0]
逆モード自動微分(Reverse-mode Automatic differentiation, AD)は、バックプロパゲーションのための中間計算状態をトレースするには空間オーバーヘッドが多すぎるという問題に悩まされる。本稿では、逆計算を用いて、可逆プログラミングeを設計、実装することで、状態のトレースを行うことを提案する。暗黙のスタック操作がないため、プログラムは既存のコンパイラ機能と互換性がある。
論文参考訳（メタデータ） (2020-03-10T10:16:51Z)

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