論文の概要: Experiential Learning of Runtime Monitoring Using Pachinko
- arxiv url: http://arxiv.org/abs/2608.16898v1
- Date: Wed, 08 Jul 2026 16:06:49 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-28 05:09:55.244702
- Title: Experiential Learning of Runtime Monitoring Using Pachinko
- Title（参考訳）: パチンコを用いた実行時モニタリングの経験的学習
- Abstract要約: 学生はモニタ用のRTLola仕様を作成し、これらのモニターをCにコンパイルし、センサーとアクチュエータ制御ロジックと共にデプロイする。
パチンコのゲームイベントはリアルタイムで記録され、音、アニメーション、運動行動のトリガーに使用される。
- 参考スコア（独自算出の注目度）: 0.7748670137746999
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present documentation of a classroom assignment that teaches runtime monitoring through a creative embedded systems build: an interactive Pachinko game. The assignment centers on a dual-core ESP32 workflow in which students write RTLola specifications for monitors, compile these monitors to C, and deploy them alongside sensor and actuator control logic. Pachinko game events are logged in real time and used to trigger sound, animation, and motor behavior according to formal temporal logic specifications. This work showcases how formal methods can be taught in a hands-on, project-based setting for learners in a creative and classroom-scale setting. We also discuss portability: the assignment template, hardware stack, code base, and assessment approach are designed and documented to be replicated in other embedded systems, creative computing, or makerspace-style courses. This assignment was given to the students of Creative Embedded Systems (COMS3930) at Barnard College.
- Abstract（参考訳）: 本稿では,インタラクティブなパチンコゲームである,創造的な組み込みシステム構築を通じて実行時の監視を教える教室の課題について述べる。
学生がモニタ用のRTLola仕様を作成し、これらのモニタをCにコンパイルし、センサーとアクチュエータ制御ロジックと共にデプロイする、デュアルコアのESP32ワークフローを中心に配置されている。
パチンコのゲームイベントはリアルタイムでログされ、正式な時間論理仕様に従って音、アニメーション、運動の振る舞いをトリガーするために使用される。
本研究は,創造的かつ教室規模の学習者を対象に,実践的なプロジェクトベース環境でフォーマルな方法を教える方法を紹介する。
代入テンプレート、ハードウェアスタック、コードベース、アセスメントアプローチは、他の組み込みシステム、クリエイティブコンピューティング、メーカースペーススタイルのコースで複製できるように設計され、文書化されています。
この課題はバーナード大学のCreative Embedded Systems (COMS3930) の学生に与えられた。
関連論文リスト
- From Idea to Classroom in Days: Using "Vibe Coding" to Create a Programming Process Visualizer from IDE Activity Logs [0.0]
本稿では,AIを用いたビブ符号化を用いて構築したThonnyログビジュアライザの迅速な開発と教室展開について報告する。
我々は、Thonnyが生成したログファイルを解析し、学生のプログラミングプロセスの解釈可能なビューを生成するウェブアプリケーションを開発した。
論文 参考訳（メタデータ） (2026-05-26T14:52:12Z) - The Model Is Not the Product: A Dual-Pillar Architecture for Local-First Psychological Coaching [51.56484100374058]
本報告では,iOS アプリケーションである Psych LM について紹介する。
Psych LMは、動作およびライフコーチングアプリケーション用に設計された、目的に構築された、ローカルファーストのランタイム内で、ローカル、オンデバイス言語モデルを実行する。
論文 参考訳（メタデータ） (2026-05-23T05:49:11Z) - Hands-on PDC in Undergraduate Computing Education [0.0]
本稿ではフロリダ大学のHiPerGatorスーパーコンピュータと直接連携する実践的な課題について述べる。
学生は、バッチスケジューリング、コアアロケーション、パフォーマンスチューニングをナビゲートする。
論文 参考訳（メタデータ） (2026-04-28T16:20:37Z) - GUIDE: GenAI Units In Digital Design Education [19.547572574820503]
GenAI Units In Digital Design Education (GUIDE) はオープンなコースウェアリポジトリであり、ランナブルなGoogle Colabラボやその他の教材がある。
本稿では,スライド,ショートビデオ,ランナブルラボ,関連論文などからなる標準化された教育単位に基づく,リポジトリのアーキテクチャと教育手法について述べる。
論文 参考訳（メタデータ） (2026-03-18T02:43:47Z) - Playsemble: Learning Low-Level Programming Through Interactive Games [6.174988590679205]
Playsembleはゲーム化された学習システムで、アセンブリ命令をインタラクティブなゲームライクなタスクに変換する。
この結果から,Playsembleは活発な実験,持続的エンゲージメント,深い概念的理解を促進することが示唆された。
論文 参考訳（メタデータ） (2026-02-09T06:31:44Z) - In-Video Instructions: Visual Signals as Generative Control [79.44662698914401]
フレーム内に埋め込まれた視覚信号を命令として解釈することにより、制御可能な画像・映像生成に機能を利用することができるかを検討する。
In-Video Instructionは、オーバーレイテキスト、矢印、軌跡などの要素を通じて、視覚領域に直接ユーザーガイダンスをエンコードする。
Veo 3.1、Kling 2.5、Wan 2.2を含む最先端の3つのジェネレータの実験では、ビデオモデルがそのような視覚的に埋め込まれた命令を確実に解釈し実行できることが示されている。
論文 参考訳（メタデータ） (2025-11-24T18:38:45Z) - Code2Video: A Code-centric Paradigm for Educational Video Generation [60.03043132859077]
我々は,Pythonコードによる教育ビデオを生成するための,コード中心のエージェントフレームワークであるCode2Videoを提案する。
i)講義内容を時間的コヒーレントなフローに構造化するPlanner,(ii)構造化命令を実行可能なPythonコードに変換するCoder,そして(iii)視覚言語モデル(VLM)を視覚的アンカープロンプトで活用し,空間的レイアウトを洗練し,明確性を確保するCryticという3つの協調エージェントから構成される。
我々の結果は、Code2Videoが拡張性があり、解釈可能で、制御可能なアプローチである可能性を示し、直接コードよりも40%改善されている。
論文 参考訳（メタデータ） (2025-10-01T17:56:48Z) - DISCO: Embodied Navigation and Interaction via Differentiable Scene Semantics and Dual-level Control [53.80518003412016]
人間の命令によって多様なタスクに熟練した汎用的なインテリジェントホームアシストエージェントを構築することは、AI研究の長期的青写真である。
本研究では,具体的エージェントに対する原始的移動操作,すなわち指示された動詞と名詞のペアに基づいて,ナビゲートと対話の仕方について検討する。
本研究では、文脈化されたシーンモデリングと効率的な制御における非自明な進歩を特徴とするdisCOを提案する。
論文 参考訳（メタデータ） (2024-07-20T05:39:28Z) - WIP: A Unit Testing Framework for Self-Guided Personalized Online Robotics Learning [3.613641107321095]
本稿では,授業ワークフローに統合しながら,単体テストのためのシステムを構築することに焦点を当てる。
フレームワークのパーソナライズされた学生中心のアプローチに合わせて、この方法は学生がプログラミング作業を簡単に修正し、デバッグできるようにする。
単体テストを含むコースワークフローは、学習環境を強化し、学生が自己指導型でロボットをプログラムする方法を学習できるように、よりインタラクティブにする。
論文 参考訳（メタデータ） (2024-05-18T00:56:46Z) - Follow Anything: Open-set detection, tracking, and following in
real-time [89.83421771766682]
我々は,物体をリアルタイムで検出,追跡,追跡するロボットシステムを提案する。
私たちのアプローチは、何でも従う"(FAn)と呼ばれ、オープンな語彙とマルチモーダルモデルです。
FAnは軽量(6～8GB)グラフィックカードでラップトップにデプロイでき、毎秒6～20フレームのスループットを実現する。
論文 参考訳（メタデータ） (2023-08-10T17:57:06Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。