論文の概要: Jeopardy: An Invertible Functional Programming Language

• arxiv url: http://arxiv.org/abs/2209.02422v1
• Date: Tue, 6 Sep 2022 11:38:42 GMT
• ステータス: 処理完了
• システム内更新日: 2022-09-07 14:33:20.411936
• Title: Jeopardy: An Invertible Functional Programming Language
• Title（参考訳）: Jeopardy: 可逆関数型プログラミング言語
• Authors: Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
• Abstract要約: 本稿では,プログラムの可逆性を保証する関数型プログラミング言語であるJeopardyを紹介する。 特にJeopardyでは,非可逆性 – あるいは非決定性! – 操作の限定的な使用を可能にしている。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: An algorithm describes a sequence of steps that transform a problem into its solution. Furthermore, when the inverted sequence is well-defined, we say that the algorithm is invertible. While invertible algorithms can be described in general-purpose languages, no guarantees are generally made by such languages as regards invertibility, so ensuring invertibility requires additional (and often non-trivial) proof. On the other hand, while reversible programming languages guarantee that their programs are invertible by restricting the permissible operations to those which are locally invertible, writing programs in the reversible style can be cumbersome, and may differ significantly from conventional implementations even when the implemented algorithm is, in fact, invertible. In this paper we introduce Jeopardy, a functional programming language that guarantees program invertibility without imposing local reversibility. In particular, Jeopardy allows the limited use of uninvertible -- and even nondeterministic! -- operations, provided that they are used in a way that can be statically determined to be invertible. However, guaranteeing invertibility is not obvious. Thus, we furthermore outline three approaches that can give a partial static guarantee.
• Abstract（参考訳）: アルゴリズムは、問題をその解に変換する一連のステップを記述する。 さらに、逆列が well-defined であるとき、そのアルゴリズムは可逆であると言う。 可逆アルゴリズムは汎用言語で記述できるが、可逆性に関する保証は一般には行われないため、可逆性を保証するには追加の(しばしば非自明な)証明が必要である。 一方、可逆プログラミング言語は、可逆操作を局所的に可逆な操作に制限することでプログラムが可逆であることを保証しているが、可逆的なプログラムの記述は困難であり、実装されたアルゴリズムが実際に可逆である場合でも、従来の実装とは大きく異なる可能性がある。 本稿では,プログラムの可逆性を保証する関数型プログラミング言語であるJeopardyを紹介する。 特に、jeopardyは、静的に可逆であると判断できる方法で使用される限り、非可逆(および非決定論的)な操作を限定的に使用することを可能にする。 しかし、可逆性を保証することは明らかではない。 そこで我々はさらに,部分的な静的保証を与える3つのアプローチを概説する。

関連論文リスト

• Algorithmic Capabilities of Random Transformers [49.73113518329544]
  埋め込み層のみを最適化したランダムトランスフォーマーによって、どのような関数が学習できるかを検討する。 これらのランダムなトランスフォーマーは、幅広い意味のあるアルゴリズムタスクを実行することができる。 以上の結果から,これらのモデルが訓練される前にも,アルゴリズム能力がトランスフォーマに存在することが示唆された。
  論文  参考訳（メタデータ） (2024-10-06T06:04:23Z)
• Correcting Subverted Random Oracles [55.4766447972367]
  簡単な構成は、少数の入力で元のものと矛盾する「反転」ランダムオラクルを、ランダム関数から微分不可能な対象に変換することができることを証明している。 この結果から, 暗号プリミティブの設計者は, 通常のクリプトグラフィ設定で, ランダムなオラクルを信頼できるブラックボックスとして使用することができる。
  論文  参考訳（メタデータ） (2024-04-15T04:01:50Z)
• Quantum Advantage in Reversing Unknown Unitary Evolutions [9.259390080722206]
  我々は、任意の未知のユニタリ変換を普遍的に逆転する決定論的かつ正確なアプローチである量子ユニタリ逆アルゴリズム(QURA)を導入する。 QURAは正確なユニタリ・インバージョンを保証するが、古典的なインバージョンは、有限個のユニタリ・コールを使用して正確なインバージョンを達成できない。
  論文  参考訳（メタデータ） (2024-03-07T17:59:11Z)
• When can you trust feature selection? -- I: A condition-based analysis of LASSO and generalised hardness of approximation [49.1574468325115]
  近似入力を読み取る際に、LASSOのミニミサの正しいサポートセットを(確率$>1/2$で)決定できないことを示す。 不適切な入力の場合、アルゴリズムは永遠に動作するので、間違った答えを出すことはない。 無限条件数を持つ点を含む開集合上で定義される任意のアルゴリズムに対して、アルゴリズムが永久に実行されるか、間違った解を生成するような入力が存在する。
  論文  参考訳（メタデータ） (2023-12-18T18:29:01Z)
• CRIL: A Concurrent Reversible Intermediate Language [0.0]
  本稿では,高レベル並列言語を他の低レベル並列言語に翻訳するための構成の可逆中間言語を提案し,可逆性を維持する。 機能的可逆言語としてMogensen が用いた RIL の拡張として CRIL を提案し,P-V 演算に基づくマルチスレッドプロセス呼び出しと同期プリミティブを組み込んだ。
  論文  参考訳（メタデータ） (2023-09-13T20:52:54Z)
• Tail recursion transformation for invertible functions [0.0]
  我々は、(グローバルな)可逆性への緩和(局所的な)可逆性は、状況を大幅に改善すると主張している。 鍵となる洞察は、可逆性を保存するプログラム変換によって導入された関数は、変換の対象となる関数がそれらを呼ぶ文脈においてのみ可逆である必要があるということである。
  論文  参考訳（メタデータ） (2023-02-20T15:54:19Z)
• Reversible computation and the causal structure of space-time [0.0]
  量子力学の法則は反線形反ユニタリゲートの実装を禁止している。 特に、反線形のアンチ・ユニタリ・ゲートの構築が基本的な因果的プリミティブの違反につながることが示される。
  論文  参考訳（メタデータ） (2022-11-11T10:24:10Z)
• Discovering Non-monotonic Autoregressive Orderings with Variational Inference [67.27561153666211]
  我々は、訓練データから高品質な生成順序を純粋に検出する、教師なし並列化可能な学習装置を開発した。 エンコーダを非因果的注意を持つトランスフォーマーとして実装し、1つのフォワードパスで置換を出力する。 言語モデリングタスクにおける経験的結果から,我々の手法は文脈認識であり,一定の順序と競合する,あるいはより優れた順序を見つけることができる。
  論文  参考訳（メタデータ） (2021-10-27T16:08:09Z)
• Provable Benefits of Actor-Critic Methods for Offline Reinforcement Learning [85.50033812217254]
  アクター批判法はオフラインの強化学習に広く用いられているが、理論的にはそれほどよく理解されていない。 ペシミズムの原理を自然に取り入れた新しいオフラインアクター批判アルゴリズムを提案する。
  論文  参考訳（メタデータ） (2021-08-19T17:27:29Z)
• Consistency of a Recurrent Language Model With Respect to Incomplete Decoding [67.54760086239514]
  逐次言語モデルから無限長のシーケンスを受信する問題について検討する。 不整合に対処する2つの対策として、トップkと核サンプリングの一貫性のある変種と、自己終端の繰り返し言語モデルを提案する。
  論文  参考訳（メタデータ） (2020-02-06T19:56:15Z)

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

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