論文の概要: Why a computer program is a functional whole
- arxiv url: http://arxiv.org/abs/2008.07273v1
- Date: Tue, 21 Jul 2020 10:47:58 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-08 05:34:14.614114
- Title: Why a computer program is a functional whole
- Title(参考訳): コンピュータプログラムが機能的な全体である理由
- Authors: C. Maria Keet
- Abstract要約: プログラムは機能全体であり、メレオロジー、モジュラリティ、ユニタリ、関数からの議論を活用、組み合わせている、と我々は主張する。
ソフトウェアアーチファクトの粒度に寄与し、訴訟事件で業界を補助し、統一関係の概念が運用可能であることを実証する。
- 参考スコア(独自算出の注目度): 1.5736899098702972
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Sharing, downloading, and reusing software is common-place, some of which is
carried out legally with open source software. When it is not legal, it is
unclear just how many copyright infringements and trade secret violations have
taken place: does an infringement count for the artefact as a whole or perhaps
for each file of the program? To answer this question, it must first be
established whether a program should be considered as an integral whole, a
collection, or a mere set of distinct files, and why. We argue that a program
is a functional whole, availing of, and combining, arguments from mereology,
granularity, modularity, unity, and function to substantiate the claim. The
argumentation and answer contributes to the ontology of software artefacts, may
assist industry in litigation cases, and demonstrates that the notion of
unifying relation is operationalisable. Indirectly, it provides support for
continued modular design of artefacts following established engineering
practices.
- Abstract(参考訳): ソフトウェアの共有、ダウンロード、再利用は一般的な場所であり、一部はオープンソースソフトウェアで合法的に行われている。
違法でない場合、著作権侵害や商取引秘密侵害がいくつ発生したかは明らかでない。
この疑問に答えるには、まず、プログラムが統合された全体、コレクション、あるいは単に異なるファイルの集合と見なされるべきかどうか、なぜあるか、を立証する必要がある。
プログラムは機能的全体であり、メレオロジー、粒度、モジュラリティ、ユニタリ、関数からの議論を活用、組み合わせて、主張を裏付けるものであると我々は主張する。
この議論と回答は、ソフトウェアアーティファクトのオントロジーに寄与し、訴訟事例における業界を支援し、統一関係の概念が運用可能であることを実証する。
間接的には、確立したエンジニアリングプラクティスに従って、アーティファクトの継続的なモジュール化設計をサポートする。
関連論文リスト
- Inferring Non-Failure Conditions for Declarative Programs [0.0]
計算中の意図しない失敗は苦痛ですが、ソフトウェア開発では頻繁です。
意図しない引数で部分的に定義された操作を呼び出すような失敗のプログラミングは、ソフトウェアが正しいという仮定のため、しばしばキャッチされない。
本稿では,そのような仮定を検証するためのアプローチを提案する。
論文 参考訳(メタデータ) (2024-02-20T12:25:36Z) - ReGAL: Refactoring Programs to Discover Generalizable Abstractions [59.05769810380928]
Generalizable Abstraction Learning (ReGAL)は、再利用可能な関数のライブラリをコード化して学習する手法である。
ReGALによって発見された共有関数ライブラリは、プログラムが様々な領域で容易に予測できることを示している。
CodeLlama-13Bでは、ReGALはLOGOで11.5%、日付理解で26.1%、TextCraftで8.1%という絶対精度が向上し、3つのドメインのうち2つでGPT-3.5を上回った。
論文 参考訳(メタデータ) (2024-01-29T18:45:30Z) - What's Left? Concept Grounding with Logic-Enhanced Foundation Models [76.74146485832125]
本稿では,ドメインに依存しない一階述語論理型プログラムを用いて,ドメイン間の概念を基礎と推論するために学習する統一フレームワークを提案する。
LEFTは,2次元画像,3次元シーン,人間の動き,ロボット操作という4つの領域で,柔軟に概念を学習する。
論文 参考訳(メタデータ) (2023-10-24T17:50:20Z) - Better Context Makes Better Code Language Models: A Case Study on
Function Call Argument Completion [15.068025336990287]
既存のコード補完モデルでは、完了タスクに良い結果が得られないことを示します。
与えられた関数呼び出しに関する情報をプログラムアナライザに問い合わせ、推論およびトレーニング中に異なるコード補完モデルに対してアナライザ結果を提供する方法を検討する。
実験の結果,関数の実装と関数の使用量へのアクセスは,引数補完性能を大幅に向上させることがわかった。
論文 参考訳(メタデータ) (2023-06-01T06:25:58Z) - Fact-Checking Complex Claims with Program-Guided Reasoning [99.7212240712869]
Program-Guided Fact-Checking (ProgramFC)は、複雑なクレームを単純なサブタスクに分解する新しいファクトチェックモデルである。
まず,大規模言語モデルの文脈内学習能力を活用して推論プログラムを生成する。
我々は,各サブタスクを対応するサブタスクハンドラに委譲することでプログラムを実行する。
論文 参考訳(メタデータ) (2023-05-22T06:11:15Z) - Foundation Models and Fair Use [96.04664748698103]
米国や他の国では、著作権のあるコンテンツは、公正な使用原理のために責任を負わずに基礎モデルを構築するために使われることがある。
本研究では,著作権コンテンツに基づく基礎モデルの開発と展開の潜在的なリスクについて調査する。
基礎モデルが公正な使用と一致し続けるのに役立つ技術的緩和について論じる。
論文 参考訳(メタデータ) (2023-03-28T03:58:40Z) - Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。
使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文 参考訳(メタデータ) (2023-01-05T18:18:46Z) - End-of-Life of Software How is it Defined and Managed? [1.370633147306388]
古いソフトウェアを捨てて、急速に変化するニーズと要求を満たす新しいソフトウェアを取得するのは、より迅速かつ安価になってきている。
本稿では,ソフトウェアにおけるエンド・オブ・ライフのシステム工学的概念について考察する。
廃止を試みて放棄されたソフトウェアの例を先送りし、放棄されたソフトウェアアーティファクトの反感を探求する。
論文 参考訳(メタデータ) (2022-04-08T01:15:02Z) - Monolith to Microservices: Representing Application Software through
Heterogeneous GNN [11.381828510219897]
マイクロサービスアーキテクチャは、複数の小さな疎結合な機能サービスを通じてアプリケーションを構築することを提唱するにつれて、ますます使われています。
このアプローチは、クラウドベースのアプリケーションにとって、プログラミングアーキテクチャを自然な選択肢としています。
しかし、既に記述されているモノリスコードの機能モジュールの自動分離の課題は、移行タスクを遅くする。
我々は、この従来のアプリケーション問題を異種グラフベースのクラスタリングタスクに推論する。
私たちのソリューションは、異種グラフニューラルネットワークを活用して、このような多様なソフトウェアエンティティの表現を学習する最初の方法です。
論文 参考訳(メタデータ) (2021-12-01T15:27:45Z) - Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳(メタデータ) (2020-09-29T08:41:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。