論文の概要: FLARE v2: A Recursive Framework for Program Comprehension Across Common Teaching Languages and Levels of Abstraction
- arxiv url: http://arxiv.org/abs/2512.09261v2
- Date: Mon, 15 Dec 2025 19:12:27 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-12-17 14:48:05.910207
- Title: FLARE v2: A Recursive Framework for Program Comprehension Across Common Teaching Languages and Levels of Abstraction
- Title（参考訳）: FLARE v2: 共通言語間のプログラム理解のための再帰的フレームワークと抽象化のレベル
- Authors: Justin Heath,
- Abstract要約: FLARE v2は、共通言語における抽象的なスケールでプログラムの意味を記述する方法の説明である。
FLARE v1の階層を1つのサイクルとして再構成する: 有界要素(受信、センチメント、エフェクト、共有)を識別し、2次元に沿った結合を分析する(Causal-TemporalおよびCommunicative)。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: Building on the classroom framework in Heath et al. (2025), this paper proposes FLARE v2 as a recursive, semiotically informed account of how program meaning can be described across abstraction scales in common teaching languages. It reframes FLARE v1's tiers as one cycle: identify bounded elements (Receives, Sends, Effects, Shares), analyse bindings along two dimensions (Causal-Temporal and Communicative), and treat the bound set as a new element at the next scale. Causal-Temporal binding has three subtypes - Sequential, Branch, and Event - to distinguish user-authored control flow from event-driven control whose dispatch is hidden in the runtime. A Compositional Ladder visualises the same compositional move from blocks and statements through segments and systems. FLARE v2 is scoped to imperative and event-driven environments typical of primary and lower-secondary curricula. Above the system layer, behaviour is increasingly shaped by interaction between code and operating context (scheduling, infrastructure, permissions, contracts, failures, platform policy). Here, the element-and-binding vocabulary remains a structural baseline, but continuity of explanation typically requires overlays that make environmental constraints explicit. Event binding and overlays serve a common pedagogical role - preserving coherent structural reasoning where key causal mechanisms are not fully visible in the authored artefact. OOP design reasoning, explicit concurrency models, distributed systems, and functional paradigms are treated as future extensions; implementation and evaluation are left for future work.
- Abstract（参考訳）: 本稿では,Heath et al (2025) の授業用フレームワーク上に構築された FLARE v2 について,プログラムの意味を共通教育言語における抽象的尺度間でどのように記述できるかを,再帰的に半論理的に記述する手法として提案する。
FLARE v1の階層を1つのサイクルとして再構成する: 有界要素(受信、センチメント、エフェクト、共有)を識別し、2次元に沿った結合を分析する(Causal-TemporalおよびCommunicative)。
Causal-Temporalバインディングには,Sequential, Branch, Eventという3つのサブタイプがある。
構成ラダーは、ブロックやステートメントからセグメントやシステムへの同じ構成移動を可視化する。
FLARE v2 は命令型およびイベント駆動型環境であり、一次および下二次のカリキュラムに典型的な。
システムレイヤの上には、コードと運用コンテキスト(スケジューリング、インフラストラクチャ、パーミッション、コントラクト、障害、プラットフォームポリシ)間のインタラクションによって、振る舞いがますます形作られています。
ここでは、要素と結合の語彙は依然として構造的ベースラインであるが、説明の連続性は通常、環境制約を明確にするオーバーレイを必要とする。
イベントバインディングとオーバーレイは共通の教育的役割を担っている。
OOPの設計推論、明示的な並行処理モデル、分散システム、機能パラダイムは将来の拡張として扱われます。
関連論文リスト
- Systematically Thinking about the Complexity of Code Structuring Exercises at Introductory Level [1.2207782754338876]
コード構造化タスクの複雑さを評価するためのフレームワークを紹介します。
学生は、既存の非構造化コードの中で意味のある抽象化を特定し、分離する必要がある。
このフレームワークは、DAで生徒のスキルを構築する教育タスクの開発を支援するように設計されている。
論文 参考訳（メタデータ） (2025-12-05T21:57:33Z) - CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension [55.29309306566238]
現在のLarge Language Models (LLM) は、長文文書を解釈する際に圧倒的な情報量に直面している。
この課題は、バニラLSMを自律的な読み出しエージェントに高めることができる凝集性メモリモジュールの必須性を高める。
我々はジャン・ピアジェの構成主義理論(Constructivist Theory)からインスピレーションを得て、エージェントメモリの3つの特性(構造化スキーマ、フレキシブルな同化、動的調節)を表現した。
論文 参考訳（メタデータ） (2025-10-07T02:16:30Z) - $I^2G$: Generating Instructional Illustrations via Text-Conditioned Diffusion [31.2362624526101]
手続き的テキストをコヒーレントな視覚的指示に分解する言語駆動型フレームワークを提案する。
提案手法は,学習内容の言語構造を目標文と逐次ステップにコヒーレンスすることでモデル化し,これらの言語要素を視覚的に生成する。
この研究は、教育、タスクガイダンス、マルチモーダル言語理解など、視覚コンテンツにおける手続き言語の基礎となる研究に寄与する。
論文 参考訳（メタデータ） (2025-05-22T09:10:09Z) - Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration [42.95840730800478]
本稿では,データの集合を解釈し,基礎となる特徴を抽象化し,それを自然言語で記述する,完全な説明可能なシステムを提案する。
このシステムは、2つの重要な段階に依存している: (i)データから出現する特性を識別し、それらを抽象概念に変換する、(ii)これらの概念を自然言語に変換する。
論文 参考訳（メタデータ） (2025-02-13T11:49:48Z) - Learning Planning Abstractions from Language [28.855381137615275]
本稿では,シーケンシャルな意思決定領域における状態と行動の抽象化を学習するためのフレームワークを提案する。
言語からの抽象化(PARL)を計画する我々のフレームワークは、言語アノテーションによる実演を利用して、象徴的で抽象的なアクション空間を自動的に発見する。
論文 参考訳（メタデータ） (2024-05-06T21:24:22Z) - VLLMs Provide Better Context for Emotion Understanding Through Common Sense Reasoning [66.23296689828152]
我々は、視覚・言語モデルの機能を活用し、文脈内感情分類を強化する。
まず、VLLMに対して、視覚的文脈に関連して、被験者の明らかな感情を自然言語で記述するように促す。
第二に、記述は視覚入力とともに、トランスフォーマーベースのアーキテクチャのトレーニングに使用される。
論文 参考訳（メタデータ） (2024-04-10T15:09:15Z) - ViStruct: Visual Structural Knowledge Extraction via Curriculum Guided
Code-Vision Representation [82.88378582161717]
最先端の視覚言語モデル(VLM)は、構造的知識抽出において限られた性能を持つ。
本稿では,視覚的構造的知識抽出のためのVLM学習フレームワークViStructを提案する。
論文 参考訳（メタデータ） (2023-11-22T09:23:34Z) - Embodied Concept Learner: Self-supervised Learning of Concepts and
Mapping through Instruction Following [101.55727845195969]
本研究では,対話型3D環境におけるEmbodied Learner Concept (ECL)を提案する。
ロボットエージェントは視覚概念をグラウンディングし、セマンティックマップを構築し、タスクを完了させるためにアクションを計画することができる。
ECLは完全に透明で、長期計画において段階的に解釈可能である。
論文 参考訳（メタデータ） (2023-04-07T17:59:34Z) - How could Neural Networks understand Programs? [67.4217527949013]
ソースコードにnlpプリトレーニング技術を直接適用するか、あるいはtheshelfによってモデルに機能を追加するかで、プログラムをより理解するためのモデルを構築するのは難しい。
本研究では,(1)操作セマンティクスの基本操作とよく一致する表現と(2)環境遷移の情報からなる情報から,モデルが学ぶべき新しいプログラムセマンティクス学習パラダイムを提案する。
論文 参考訳（メタデータ） (2021-05-10T12:21:42Z) - Bidirectional Graph Reasoning Network for Panoptic Segmentation [126.06251745669107]
本稿では,BGRNet(Bidirectional Graph Reasoning Network)を導入し,前景物と背景物間のモジュラー内およびモジュラー間関係について検討する。
BGRNetはまず、インスタンスとセマンティックセグメンテーションの両方でイメージ固有のグラフを構築し、提案レベルとクラスレベルで柔軟な推論を可能にする。
論文 参考訳（メタデータ） (2020-04-14T02:32:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。