プログラムの動作を可視化する教育用プログラミング言語環境の提案
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,初中等向けの学校教育での利用を想定した教育用プログラミング言語環境を提案する.この言語環境は,正しい手順で処理しなければ正しい結果が得られないことを学ぶことを目的としており,実行の流れのアニメーション化や逆実行機能などにより,プログラムの流れの理解を助ける.また,教師の模範解答と生徒のプログラムを変数の変化に着目し比較することで,想定した動きにならない部分の発見を支援する.
- 2009-12-04
著者
-
横山 孝典
武蔵工業大学大学院工学研究科電気工学専攻
-
横山 孝典
東京都市大学知識工学部
-
横山 孝典
東京都市大学
-
横山 孝典
東京都市大学(旧武蔵工業大学)
-
安井 浩之
東京都市大学
-
佐藤 美奈
東京都市大学
-
横山 孝典
武蔵工業大学
関連論文
- 分散型組み込み制御システムのための分散リアルタイムOS (ディペンダブルコンピューティング)
- 分散型組み込み制御システムのための分散リアルタイムOS (コンピュータシステム)
- 4L-2 静的構造モデリングのためのアスペクト指向設計環境(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 1L-6 組み込みシステムのためのアスペクト指向に基づくコンフィギュレーション(組込みとネットワーク,学生セッション,アーキテクチャ)
- 1L-4 組み込みシステム向けのダイナミックリンク手法に関する研究(組込みとネットワーク,学生セッション,アーキテクチャ)
- モデルレベルでの織り込みを実現するアスペクト指向設計環境(学生セッション A_モデル指向(1))
- 組み込み制御ソフトウェアのアスペクト指向に基づく開発法(組み込みシステム)
- BattailのSOVAに対する精密化について(符号理論)
- 4A-3 パーソナルコンピュータの元気化によるライフサイクル延長について(省電力と高信頼技術,一般セッション,アーキテクチャ)
- 非定形UIMSの概念
- メタユーザインタフェースを有するユーザインタフェース構築支援システム
- 時間駆動処理とイベント駆動処理が共存する組み込み制御システムのための分散処理環境
- D-6-7 RMを基にしたリアルタイムスケジューリングアルゴリズムの分析(D-6.コンピュータシステムC,一般セッション)
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 組み込み制御ソフトウェア開発のためのSimulink・UMLモデル変換ツール
- オブジェクト指向組み込み制御システムのモデルベース開発法(分析・設計技法)
- Clock Gatingに基づいたGALS型システムにおける回路性能を考慮したインタフェースの構成法(計算機システム)
- 5N-2 応答時間を短縮した時間駆動分散処理ミドルウェア(組み込みシステム,学生セッション,アーキテクチャ)
- 3-219 大学情報系学科における組込みソフトウェア教育の実践と課題(オーガナイズドセッション「企業における技術者継続教育-日本を強くする組込みシステム教育のあり方-」,口頭発表論文)
- 組み込み制御ソフトウェア開発のための Simulink・UML モデル変換ツール
- 5L-1 フラッシュROM上で動作する組み込みOSの動的更新方法(組込みOS,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2T-2 排他的な処理を含むSTGに対するCSC Conflictの因果関係追加による解消手法について(論理・物理設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 1Q-1 組み込み制御ソフトウェア開発のためのSimulinkモデルからUMLモデルへの変換ツール(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 6L-5 仮想化技術を用いたセキュアクライアントの提案(仮想化技術(2),学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- プログラムの動作を可視化する教育用プログラミング言語環境の提案
- 産業システムのためのコンパイラに基づくオブジェクト指向リフレクティブアーキテクチャ
- データ分散化とオブジェクト再構築に基づく分散処理システムの高信頼化方式
- 高信頼オブジェクト指向分散処理環境
- 広域分散システム環境におけるノンストップ・バージョンアップ手法
- 広域分散システム環境の高信頼化に関する一手法
- 2T-1 束データ方式のデータパス回路に適した非同期式制御回路の一設計手法(論理・物理設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 5N-1 時分割スケジューリング機能を有する時間駆動アーキテクチャ向けリアルタイムOS(組み込みシステム,学生セッション,アーキテクチャ)
- 制約に基づくオブジェクト指向知識表現システム
- オブジェクト間の制約伝播による問題解決方式
- プログラムの動作を可視化する教育用プログラミング言語環境の提案 (技術と社会・倫理)
- 3L-2 GALS型システムにおける効率的なインタフェースの一構成法(論理・物理設計技術,学生セッション,アーキテクチャ)
- 2R-3 組み込みシステム向けエージェントフレームワーク(マルチエージェント(2),学生セッション,人工知能と認知科学)
- 1L-3 動的更新が可能な組み込みOSに関する研究(組込みとネットワーク,学生セッション,アーキテクチャ)
- 6K-2 SMTプロセッサにおける軸タスク分割を考慮したスケジューリングアルゴリズム(プロセッサと可視化,学生セッション,アーキテクチャ)
- 5U-9 アドホックネットワーク向け分散オブジェクトネーミングサービス(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 5U-8 無線LAN環境向け分散オブジェクト基盤(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- デ-06 プログラム知識が無くても内容を作ることができる教材(デモセッション,コンピュータと人間社会)
- 4Z-2 複数経路を利用し通信の品質を保つアドホックルーティングプロトコル(アドホックネットワーク,学生セッション,ネットワーク)
- 3V-4 リソースに制限のある組み込みシステムのためのエージェントフレームワーク(マルチエージェント(1),学生セッション,人工知能と認知科学)
- 3T-9 手持ちの材料だけを使って調理できる料理レシピをWebから検索するシステム(センサデータベースとコンテンツ,学生セッション,データベースとメディア)
- 2ZC-7 DHTを用いたWeb情報共有手法(P2P,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1V-6 組み込みシステム向けマルチエージェントフレームワーク(マルチエージェント(1),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 生産システムのオープンネットワーク (特集 IT革命と省エネ)
- 制約とマルチコンテクストに基づく並列協調問題解決
- 設計向き並列協調問題解決システムの提案
- 並列協調問題解決のための対象モデル表現方式
- 組込み制御システムのための時間駆動オブジェクト指向ソフトウェア開発法
- 自動車分散制御システムフレームワークの開発(2) : 機能と実装
- 自動車分散制御システムフレームワークの開発(1) : ねらいと特徴
- 5N-3 時間駆動ネットワークを導入した組み込み制御システム向け分散オブジェクト環境(組み込みシステム,学生セッション,アーキテクチャ)
- 組み込み制御システム向け時間駆動分散オブジェクト環境(OSとネットワーク,組込みシステム工学)
- 組込み制御システム向け時間駆動分散オブジェクト環境(組込みシステム開発環境)
- 組込み制御システム向け時間駆動分散オブジェクト環境(組込みシステム開発環境)
- 組込み制御システム向け時間駆動分散オブジェクト環境
- 組込み制御システム向け時間駆動分散オブジェクト環境
- 教材配信の場としてのblogの活用
- D-6-15 RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案(D-6.コンピュータシステムC(ソフトウェア),一般セッション)
- D-6-16 利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案(D-6.コンピュータシステムC(ソフトウェア),一般セッション)
- アスペクト指向プログラミングによる組込みOSのカスタマイズ手法の提案
- RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案
- 利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案
- 自動車ネットワークの進化を支える半導体 (特集 ネットワーク時代を支える半導体)
- 振る舞いモデル生成機能を持つSimulink・UMLモデル変換ツール
- 純音の定位に及ぼす妨害音の影響
- 組み込み制御システムのためのオブジェクト指向コード生成ツール(組込ソフトウェア開発手法)
- 自動車制御のための分散システム・フレームワーク
- 組込制御システムのためのオブジェクト指向開発
- 位置透過性のあるシステムコールを有する組込み制御システム向け分散リアルタイムOS
- RMに基づいたリアルタイムスケジューリングアルゴリズムの提案と可能性解析
- RMに基づいたリアルタイムスケジューリングアルゴリズムの提案と可能性解析(ソフトウェアシステム)
- 制約式の伝播によるオブジェクト指向計算モデル
- 位置透過性のあるシステムコールを有する組み込み制御システム向け分散リアルタイムOS
- SimulinkモデルとUMLモデルを用いた組み込み制御ソフトウェア開発のためのモデル変換環境
- RMに基づいたリアルタイムスケジューリングアルゴリズムの提案と可能性解析
- A-036 "若返り"を用いた世代別GCの改良(計算とプログラミング,A分野:モデル・アルゴリズム・プログラミング)
- C-022 アスペクト指向による時間駆動分散処理の実現(組込みシステム,C分野:ハードウェア・アーキテクチャ)
- C-021 組込み制御システム向け分散リアルタイムOSのコンフィギュレーション環境(組込みシステム,C分野:ハードウェア・アーキテクチャ)
- アスペクト指向による組込みOSスケジューラのカスタマイズ(スケジューリング・省電力,組込み技術とネットワークに関するワークショップETNET2013)
- アスペクト指向による組込みOSスケジューラのカスタマイズ(スケジューリング・省電力,組込み技術とネットワークに関するワークショップETNET2013)
- モデル変換と振る舞い検証を活用した組み込み制御ソフトウェア設計法(組込みシステム,組込み技術とネットワークに関するワークショップETNET2013)
- 分散共有メモリ機構を持つ組み込み制御システム向け分散リアルタイムOS(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)
- 分散共有メモリ機構を持つ組み込み制御システム向け分散リアルタイムOS(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)
- モデル変換と振る舞い検証を活用した組み込み制御ソフトウェア設計法(組込みシステム,組込み技術とネットワークに関するワークショップETNET2013)