論文の概要: Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations

• arxiv url: http://arxiv.org/abs/2508.00534v1
• Date: Fri, 01 Aug 2025 11:19:40 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-08-04 18:08:53.849149
• Title: Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
• Title（参考訳）: プログラミングパラダイムの統一フレームワークを目指して:分類形式と方法論の基礎の体系的レビュー
• Authors: Mikel Vandeloise,
• Abstract要約: この体系的な文献レビューは、プログラミングパラダイムの正式な基礎をマッピングする。 既存の概念的な粒度の欠如、統一された形式的基盤、ハイブリッド言語との闘いが判明した。 文献は、分類から有望な形式的、再構築的な枠組みへの大きな知的シフトを反映していると結論付けている。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: The rise of multi-paradigm languages challenges traditional classification methods, leading to practical software engineering issues like interoperability defects. This systematic literature review (SLR) maps the formal foundations of programming paradigms. Our objective is twofold: (1) to assess the state of the art of classification formalisms and their limitations, and (2) to identify the conceptual primitives and mathematical frameworks for a more powerful, reconstructive approach. Based on a synthesis of 74 primary studies, we find that existing taxonomies lack conceptual granularity, a unified formal basis, and struggle with hybrid languages. In response, our analysis reveals a strong convergence toward a compositional reconstruction of paradigms. This approach identifies a minimal set of orthogonal, atomic primitives and leverages mathematical frameworks, predominantly Type theory, Category theory and Unifying Theories of Programming (UTP), to formally guarantee their compositional properties. We conclude that the literature reflects a significant intellectual shift away from classification towards these promising formal, reconstructive frameworks. This review provides a map of this evolution and proposes a research agenda for their unification.
• Abstract（参考訳）: マルチパラダイム言語の台頭は、従来の分類手法に挑戦し、相互運用性の欠陥のような実践的なソフトウェア工学の問題に繋がる。 この体系的文献レビュー(SLR)はプログラミングパラダイムの正式な基礎をマッピングする。 本研究の目的は,(1) 分類形式学の現状と限界,(2) 概念的プリミティブと数学的枠組みを,より強力で再構成的なアプローチで識別することである。 74の一次研究の合成から,既存の分類学には概念的な粒度の欠如,統一的な形式的基盤,ハイブリッド言語との闘いが欠如していることが判明した。 これに対し,本分析では,パラダイムの構成的再構築に向けての強い収束性を明らかにした。 このアプローチは、直交的、原子的プリミティブの最小限の集合を特定し、それらの構成的性質を正式に保証するために、主にタイプ理論、カテゴリー理論、プログラミングの統一理論(UTP)を利用する。 文献は、分類からこれら有望な形式的、再構築的な枠組みへの大きな知的シフトを反映していると結論付けている。 このレビューは、この進化の地図を提供し、それらの統合のための研究課題を提案する。

関連論文リスト

• Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria [1.2064681974642195]
  我々は、現象、説明空間、推論と生成マップ、原理ベースからなる構造体として推論システムをモデル化する。 我々は,コヒーレンス,健全性,完全性を含む基本的な内部基準と,矛盾,不完全性,非収束性といった典型的な障害モードのカタログを調査する。 この研究の目的は、特に内部の失敗、適応、断片化が発生する可能性のある状況において、推論システムを表現し比較するための基礎構造を確立することである。
  論文  参考訳（メタデータ） (2025-08-03T14:04:15Z)
• Large Language Models as Quasi-crystals: Coherence Without Repetition in Generative Text [0.0]
  エッセイは大規模言語モデル(LLM)と準結晶の類似性を提案し、局所的な制約によって生成される周期的反復を伴わないグローバルコヒーレンスを示すシステムである。 準結晶の歴史に基づいて、生成言語における代替的なコヒーレンスモード、すなわち反復や象徴的意図を伴わない制約に基づく組織を強調している。 このエッセイは、既存のメソッドを拒絶するのではなく、意味論よりも構造に根ざした解釈の新たな軸を提案することによって、大きな言語モデルに関する現在の議論を再考することを目的としている。
  論文  参考訳（メタデータ） (2025-04-16T11:27:47Z)
• The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
  トークン化は、NLPパイプラインにおける重要なステップである。 NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。 本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
  論文  参考訳（メタデータ） (2024-07-16T11:12:28Z)
• Fundamental Components of Deep Learning: A category-theoretic approach [0.0]
  この論文は、カテゴリ理論の言語に基づく、ディープラーニングのための新しい数学的基礎を発展させている。 我々はまた、既存の多くのアプローチを体系化し、多くの既存の構成と概念を同じ傘の下に置きます。
  論文  参考訳（メタデータ） (2024-03-13T01:29:40Z)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。 応用例としては、メタ理論的性質の形式的解析と検証がある。
  論文  参考訳（メタデータ） (2023-12-08T09:32:26Z)
• Ontology Revision based on Pre-trained Language Models [32.92146634065263]
  オントロジーの改訂は、新しいオントロジーを既存のオントロジーにシームレスに組み込むことを目的としている。 不整合は不整合を引き起こし、矛盾するオントロジーを推論する主要な要因であり、無意味な答えが得られる。 この問題に対処するため,様々なオントロジー修正手法が提案されている。 本稿では,事前学習モデルの改訂方法について検討する。
  論文  参考訳（メタデータ） (2023-10-27T00:52:01Z)
• A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
  本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。 対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
  論文  参考訳（メタデータ） (2021-10-18T10:45:59Z)
• The General Theory of General Intelligence: A Pragmatic Patternist Perspective [0.0]
  レビューでは、基礎となる哲学、インテリジェンスの概念の形式化、およびAGIシステムのためのハイレベルアーキテクチャを取り上げている。 人間に似た認知アーキテクチャの特質は、これらの一般的な原則の表象として提示される。 OpenCog Hyperonのようなフレームワークにおける高度なAGIの実践的な実装の教訓を簡潔に検討する。
  論文  参考訳（メタデータ） (2021-03-28T10:11:25Z)
• Formalising Concepts as Grounded Abstractions [68.24080871981869]
  このレポートは、表現学習が生データから概念を誘導する方法を示しています。 このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
  論文  参考訳（メタデータ） (2021-01-13T15:22:01Z)
• Recent advances in deep learning theory [104.01582662336256]
  本稿では,近年のディープラーニング理論の進歩をレビューし,整理する。 文献は,(1)深層学習の一般化可能性を分析する複雑性とキャパシティに基づくアプローチ,(2)勾配降下とその変種をモデル化するための微分方程式とその力学系,(3)動的システムの軌道を駆動する損失景観の幾何学的構造,(5)ネットワークアーキテクチャにおけるいくつかの特別な構造の理論的基礎,の6つのグループに分類される。
  論文  参考訳（メタデータ） (2020-12-20T14:16:41Z)
• Concept Learners for Few-Shot Learning [76.08585517480807]
  本研究では,人間の解釈可能な概念次元に沿って学習することで,一般化能力を向上させるメタ学習手法であるCOMETを提案する。 我々は,細粒度画像分類,文書分類,セルタイプアノテーションなど,さまざまな領域からの少数ショットタスクによるモデルの評価を行った。
  論文  参考訳（メタデータ） (2020-07-14T22:04:17Z)

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

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