論文の概要: Towards an Ontology for the Foundations of Software Languages

• arxiv url: http://arxiv.org/abs/2605.17374v1
• Date: Sun, 17 May 2026 10:30:56 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-19 17:57:47.929677
• Title: Towards an Ontology for the Foundations of Software Languages
• Title（参考訳）: ソフトウェア言語の基礎のオントロジーに向けて
• Authors: Ralf Lämmel,
• Abstract要約: ソフトウェア言語の基礎 (Software Languages) は、コンピュータサイエンス教育における知識資源である。 GenAIを活用してエンジニアリング(発見、分類、リンク、完了、変換)を支援しました。
• 参考スコア（独自算出の注目度）: 0.34350435667061324
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The notion of software languages subsumes programming languages, modeling languages, and yet many other types of languages used in software engineering. The emerging ontology `Foundations of Software Languages' (FSL) organizes the foundations underlying software languages. We are concerned with language categories, language concepts, associated tools and methodological approaches, the formal systems or other formal entities underlying software languages, and the embedding of software languages into into software engineering activities. The primary objective of FSL is to serve as a knowledge resource in Computer Science education by connecting several subject areas in a principled manner. The first release of FSL (V1), as discussed in this paper, was built through a relatively standard methodology involving common steps for expectations, reuse, conceptualization, formalization, and validation. We leveraged GenAI to support ontology engineering (discovery, classification, linkage, completion, and transformation).
• Abstract（参考訳）: ソフトウェア言語の概念は、プログラミング言語、モデリング言語、そして、ソフトウェア工学で使われる他の多くの種類の言語を仮定する。 FSL(Foundations of Software Languages)は、ソフトウェア言語の基礎となる基盤を組織している。 私たちは、言語カテゴリ、言語概念、関連するツールと方法論のアプローチ、フォーマルなシステムや他のソフトウェア言語を支える形式的なエンティティ、ソフトウェア言語をソフトウェアエンジニアリング活動に組み込むことに関心を持っています。 FSLの主な目的は、複数の主題領域を原則的に接続することで、コンピュータサイエンス教育における知識資源として機能することである。 FSL (V1) の最初のリリースは、期待、再利用、概念化、形式化、検証のための共通ステップを含む比較的標準的な方法論によって構築された。 GenAIを活用して、オントロジーエンジニアリング(発見、分類、リンク、完了、変換)をサポートしました。

関連論文リスト

• Large Language Models in Software Documentation and Modeling: A Literature Review and Findings [0.0]
  我々は、ドキュメントやモデリングに関連するソフトウェア工学タスクにおいて、大規模言語モデルの使用に関する文献レビューを行う。 地域の4つの主要な会場からの記事を分析し、それらが解決したタスクごとに整理し、使用済みのプロンプト技術、メトリクス、人間に基づく評価へのアプローチ、および主要なデータセットの概要を提供する。
  論文  参考訳（メタデータ） (2026-02-04T16:21:50Z)
• Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages [21.18996339478024]
  SPEAC(emphsynthetic programming elicitation and compilation)を紹介する。 SPEACは、より頻繁に、意味的正しさを犠牲にすることなく、構文的に正しいプログラムを生成する。 UCLID5形式検証言語のケーススタディにおいて,SPEACの性能を実証的に評価した。
  論文  参考訳（メタデータ） (2024-06-05T22:16:19Z)
• CodeGRAG: Bridging the Gap between Natural Language and Programming Language via Graphical Retrieval Augmented Generation [58.84212778960507]
  CodeGRAGは、制御フローとそれらのデータフローに基づいて、コードブロックのグラフィカルなビューを構築し、プログラミングドメインの知識をよりよく解釈する。 CodeGRAGはLLMのコード生成能力を大幅に改善し、言語間コード生成のパフォーマンス向上も実現している。
  論文  参考訳（メタデータ） (2024-05-03T02:48:55Z)
• Tapping into the Natural Language System with Artificial Languages when Learning Programming [7.5520627446611925]
  本研究の目的は,言語学習機構の活性化による学習プログラムの強化を図り,その実現可能性を検討することである。 我々は,人工言語の学習をカリキュラムに簡単に組み込むことができることを観察した。 しかし,本研究の文脈では,学生がまず人工言語を学ぶと,プログラミング能力に有意な利益が得られなかった。
  論文  参考訳（メタデータ） (2024-01-12T07:08:55Z)
• Formal Aspects of Language Modeling [74.16212987886013]
  大規模言語モデルは最も一般的なNLP発明の1つとなっている。 これらのノートは、ETH Z "urich course on large language model" の理論的部分の伴奏である。
  論文  参考訳（メタデータ） (2023-11-07T20:21:42Z)
• Cross-Lingual Adaptation for Type Inference [29.234418962960905]
  弱い型付き言語間で深層学習に基づく型推論を行うための言語間適応フレームワークPLATOを提案する。 強く型付けされた言語からのデータを活用することで、PLATOは、バックボーンのクロスプログラミング言語モデルの難易度を改善する。
  論文  参考訳（メタデータ） (2021-07-01T00:20:24Z)
• Including Signed Languages in Natural Language Processing [48.62744923724317]
  署名された言語は、聴覚障害者や難聴者のコミュニケーションの主な手段です。 このポジショニングペーパーは、NLPコミュニティに対して、社会的および科学的影響の高い研究領域として署名された言語を含めるよう求めている。
  論文  参考訳（メタデータ） (2021-05-11T17:37:55Z)
• How could Neural Networks understand Programs? [67.4217527949013]
  ソースコードにnlpプリトレーニング技術を直接適用するか、あるいはtheshelfによってモデルに機能を追加するかで、プログラムをより理解するためのモデルを構築するのは難しい。 本研究では,(1)操作セマンティクスの基本操作とよく一致する表現と(2)環境遷移の情報からなる情報から,モデルが学ぶべき新しいプログラムセマンティクス学習パラダイムを提案する。
  論文  参考訳（メタデータ） (2021-05-10T12:21:42Z)
• Bridging Linguistic Typology and Multilingual Machine Translation with Multi-View Language Representations [83.27475281544868]
  特異ベクトル標準相関解析を用いて、各情報源からどのような情報が誘導されるかを調べる。 我々の表現は類型学を組み込み、言語関係と相関関係を強化する。 次に、多言語機械翻訳のための多視点言語ベクトル空間を利用して、競合する全体的な翻訳精度を実現する。
  論文  参考訳（メタデータ） (2020-04-30T16:25:39Z)

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

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