Fugu-MT 論文翻訳(概要): Building Mathematical Software -- Lessons from the Development of GAP

論文の概要: Building Mathematical Software -- Lessons from the Development of GAP

arxiv url: http://arxiv.org/abs/2610.36300v1
Date: Mon, 26 Oct 2026 21:26:12 GMT
ステータス: 翻訳完了
システム内更新日: 2026-10-29 04:15:49.20097
Title: Building Mathematical Software -- Lessons from the Development of GAP
Title（参考訳）: 数学ソフトウェアの構築 - GAPの開発から学ぶ-
Abstract要約: 本稿では,計算機代数システムGAPの具体的文脈におけるこれらの側面について考察する。また、数学ソフトウェアの開発プロセスにAIシステムが与える潜在的影響についても研究している。
参考スコア（独自算出の注目度）: 51.56484100374058
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: Mathematical software has particular needs that are not all covered by the existing literature on software engineering or algorithm design. This paper looks at some of these aspects, in the concrete context of the computer algebra system GAP. It also studies the potential impact AI systems could have on the development process for mathematical software.
Abstract（参考訳）: 数学的なソフトウェアには、ソフトウェア工学やアルゴリズム設計に関する既存の文献で全てカバーされていない特別なニーズがある。本稿では,計算機代数システムGAPの具体的文脈におけるこれらの側面について考察する。また、数学ソフトウェアの開発プロセスにAIシステムが与える潜在的影響についても研究している。

関連論文リスト

Project For Advancement of Software Usability in Materials Science [0.0815557531820863]
ISSPはPASUMS(Project for Advancement of Software Usability in Materials Science)というソフトウェア開発プロジェクトを実施している。 ab initio計算、効果的なモデル解決器、機械学習のためのソフトウェアなど、様々なオープンソースソフトウェアプログラムが開発・開発されている。
論文参考訳（メタデータ） (2025-05-23T21:35:38Z)
A quantitative framework for evaluating architectural patterns in ML systems [49.1574468325115]
本研究では,MLシステムにおけるアーキテクチャパターンの定量的評価のための枠組みを提案する。コスト効率のよいCPUベースの推論のためのスケーラビリティとパフォーマンスメトリクスに注目します。
論文参考訳（メタデータ） (2025-01-20T15:30:09Z)
Estimating the Energy Footprint of Software Systems: a Primer [56.200335252600354]
ソフトウェアシステムのエネルギーフットプリントの定量化は、最も基本的な活動の1つです。この文書は、この分野で研究を始めたい研究者の出発点となることを目的としている。
論文参考訳（メタデータ） (2024-07-16T11:21:30Z)
A Systematic Literature Review on the Use of Machine Learning in Software Engineering [0.0]
本研究は,ソフトウェア工学プロセスに機械学習技術を適用する際の技術の現状を探るため,その目的と研究課題に従って実施された。レビューでは、ソフトウェア品質保証、ソフトウェア保守、ソフトウェア理解、ソフトウェアドキュメントなど、MLが適用されたソフトウェアエンジニアリングにおける重要な領域を特定している。
論文参考訳（メタデータ） (2024-06-19T23:04:27Z)
A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
我々は過去10年間の数学的推論とディープラーニングの交差点における重要なタスク、データセット、方法についてレビューする。大規模ニューラルネットワークモデルの最近の進歩は、新しいベンチマークと、数学的推論にディープラーニングを使用する機会を開放している。
論文参考訳（メタデータ） (2022-12-20T18:46:16Z)
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science [0.0]
この巻には、SCSS 2021のシンボリック計算に関する第9回国際シンポジウムで発表された論文が含まれている。 SCSSの目的は、ソフトウェア科学における記号計算の理論的および実践的な側面の研究を、現代の人工知能技術と組み合わせて促進することである。
論文参考訳（メタデータ） (2021-09-06T14:22:11Z)
Machine Learning Model Development from a Software Engineering Perspective: A Systematic Literature Review [0.0]
データサイエンティストは、しばしば、業界やアカデミーの様々な問題を解決するために機械学習モデルを開発した。本稿では,ソフトウェア工学の観点からMLモデルの開発において生じる課題と実践について考察する。
論文参考訳（メタデータ） (2021-02-15T14:25:13Z)
Machine Learning for Software Engineering: A Systematic Mapping [73.30245214374027]
ソフトウェア開発業界は、現代のソフトウェアシステムを高度にインテリジェントで自己学習システムに移行するために、機械学習を急速に採用している。ソフトウェアエンジニアリングライフサイクルの段階にわたって機械学習の採用について、現状を探求する包括的な研究は存在しない。本研究は,機械学習によるソフトウェア工学(MLSE)分類を,ソフトウェア工学ライフサイクルのさまざまな段階に適用性に応じて,最先端の機械学習技術に分類するものである。
論文参考訳（メタデータ） (2020-05-27T11:56:56Z)

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