Step wise refinementとStepwise comparisonを用いたProlog programの理解支援に関する研究(<特集>メタ認知を促進・支援する学習システム/一般)
スポンサーリンク
概要
- 論文の詳細を見る
プログラムを書く際にはプログラム言語特有の文法や各種パラメタの持つ意味を理解する必要がある。さらに優れたプログラムを読むことによる典型的なプログラムの記述法を知る必要もある。プログラムについての知識を獲得させる方法として静的な方法を用いた場合には処理の流れが分かりにくくなるという欠点が見られる。本稿ではPrologプログラムを書くために必要な知識の獲得支援方法として、前方及び後方へのステップワイズ操作が可能な環境であるAnimation Treeを提案し、これを用いてプログラムの問題解決過程を木構造により表示する方法がどのような効果を持つか、また同じ構造をもつ2つのプログラムを比較する方法からどのような知識が発見できるかについて検討した。
- 社団法人電子情報通信学会の論文
- 2002-05-10
著者
-
中村 学
広島市立大学情報科学部:(現)広島国際学院大学情報学部
-
大槻 説乎
広島市立大学情報科学部
-
出口 芳之
広島市立大学情報科学部
-
大槻 説乎
広島市立大学院 情報科学研究科
-
中村 学
広島市立大学院 情報科学研究科
-
大槻 説乎
広島市立大学 情報科学部 知能情報工学科
-
中村 学
広島市立大学
-
大槻 説乎
広島市立大学 情報科学部
関連論文
- 小学校中・高学年を対象としたタイピング技術習得支援システム(実践段階のeラーニング)
- 簡易視点変更機能を用いた空間図形学習のためのVR型学習支援システム(先進的学習システム/一般)
- VR技術を利用した操作系訓練支援システム : 基本システムの設計と評価(先進的学習システム/一般)
- 理解支援手法の複合化による効果的な理解支援に関する研究(基礎技術)(先進的教育・学習支援システム構築のための基礎理論論文)
- PI支援を指向したJava3D感性工学システム (第6回〔日本感性工学会〕大会特集)
- 反力デバイスを用いた初等力学の学習支援システムとその評価 (新しいデバイスを用いた学習・教育支援環境/一般)
- 初等力学教育システムにおける反力デバイスの導入とその効果(e-Learning教育システムの成果と目指すべきもの/一般)
- 小学生のためのキーボード入門支援システム( 遠隔教育/一般)
- 支援手法の複合化による効果的な理解支援に関する研究( 遠隔教育/一般)
- オントロジー指向の検索について(認知と学習・教育用インタフェース/一般)
- 小学生のためのキーボード入門支援システムにおける誤り原因同定と学習者モデルに関する研究
- 数式英語における構文木を利用した誤り同定
- Step wise refinementとStepwise comparisonを用いたProlog programの理解支援に関する研究(メタ認知を促進・支援する学習システム/一般)
- 理解支援手法の複合化によるメタ認知の獲得支援に関する研究(メタ認知を促進・支援する学習システム/一般)
- Stepwise refinementとStepwise comparisonを用いたProlog programの理解支援に関する研究 (テーマ:「メタ認知を促進・支援する学習システム」および一般)
- 理解支援手法の複合化によるメタ認知の獲得支援に関する研究 (テーマ:「メタ認知を促進・支援する学習システム」および一般)
- グループ学習における討論構造の可視化と意見の把握支援 (テーマ:「一般」および「情報の可視化と知識マネジメント」)
- 数式英語における構文木を利用した誤り同定法
- バーチャルスクールにおける電気回路教育システム
- バーチャルスクールのための力学マイクロワールドと質問・応答
- ネットワークサーバ管理支援ツールに関する研究
- ネットワークサーバ管理支援ツールに関する研究
- 電気回路の知的マイクロワールドに関する研究(次世代教育(学習)支援システム論文特集)
- 電気回路マイクロワールドの知的支援に関する研究
- 電気回路の知的マイクロワールドに関する研究
- D-8-11 トラブルシューティングを用いたマイクロワールド型電気回路教育システム
- ソフトウェア科学会第4回大会
- 成熟したメディア社会からなにを学ぶか
- バーチャルスクールのための討論支援ツール
- 英文と数式の構造に着目した数式英語の誤り同定法
- 英文と数式の構造に着目した数式英語の誤り同定法
- 知的学習環境の構成論(次世代教育(学習)支援システム論文特集)
- マイクロワールドによる学習支援
- マルチエージェントを用いたグループ学習支援と討論構造外化について
- 数式の読みの英文表記を学習するための知的教育システム
- グループ討論における疑似学習者の交渉方式に関する研究
- グループ学習における討論外化のための教材知識とモデルの表現
- D-15-2 グループ学習における討論外化のための可視化インタフェースについて
- 遠隔講義のためのマルチメディア教材提示システム(マルチメディア通信と分散処理)
- 仮説実験授業型グループ学習支援システム
- 数式・英語変換学習を支援するシステム
- 仮説に基づくグループ学習支援システムの研究
- 仮説実験授業型グル-プ学習支援システム
- 物理系における因果関係の理解を支援するための対話方法
- 算数の文章題を対象としたネットワーク型知的教育支援環境
- 算数文章題の理解を支援する知的教育システム
- 英文読解支援システムと速読支援機能の教育的効果
- 英文テキストの内容理解確認テストにおける教師の意図と問題の自動生成 (知的教育システム研究会(第17回)テ-マ:教育とコミニュケ-ション,招待講演)
- 協調学習場のためのマルチメディア環境
- データベースからの発見的学習のための分散協調支援環境
- 英語の技術論文の読解支援システムに関する研究
- 英語の物語の意味的分割に関する研究
- 成熟した情報社会の展望と新しい規範に向けて (第5回社会と情報に関するシンポジウム)
- データベースからの発見的学習を支援するシステムに関する研究
- 力学系の因果モデルに基づく説明生成
- 教授と理解、発見と創造の相互作用 : 新しい教育支援に向けて
- 実験環境における発見的学習の支援 ( 特集 : 「コンピュータによる学習支援」)
- グループ学習支援システムにおける知的エージェントに関する研究
- グループ学習支援システムにおける知的エージェントに関する研究
- 知的英語学習支援システムHELENのオーサリング環境
- CAIにおける知識獲得と概念形成
- EBLを利用した学習者モデルの構築
- 物理の学習環境における因果関係モデルと運動方程式の自動生成およびそのモデルを用いた学習支援
- 英語教育システムにおける意味理解を用いた段落分割
- 新しい教育情報システムの展望
- インタラクティブな学習環境とマルチメディア
- マルチメディア教育システムにおける部品とその統合 : 英語学習支援環境HELENによる事例
- 会長就任にあたって
- 英語学習支援における誤り原因同定の研究
- 発見的学習とその支援環境 (「ALT '92」)
- 知的 CAI の技術課題と今後の動向
- 英語の学習を支援する知的CAI
- 分数計算を指導する知的CAI : 分数の基礎概念と加減算の多重階層世界
- 分数計算を指導する知的CAI : 指導方略とその展開について
- パネル討論会 : 知的CAI の実現 : 開発経験者のノウハウを中心に理論から実現まで : 「教育における知的方法」シンポジウム報告
- 知的CAIにおける対話制御
- 知的 CAI のパラダイムと実現環境 (知的 CAI 最近の動向)
- 小特集「知的 CAI 最近の動向」の編集にあたって
- 知的CAIの最近の動向
- 摂動法による学習者モデル形成と教授知識について
- 高度個別教育における知識情報処理 : ITSの機能とふるまい
- 知的CAIにおける誤答原因の同定と適応指導について
- 知的CAIにおける知識構造と環境の認識について
- 自然言語対話のモデルとCAIへの応用
- 英文, 日本語文, 図形, 画像から成るディスプレイ表示用画面編集のためのシステムDSEについて
- BOOKEによる教材の作成・管理・運用
- 情報検索と質問応答による教育情報のシステム化について
- グラフィックディスプレイによる画素の作成と画面編集の一手法
- CAIテキスト記述用言語の設計と製作
- 電子計算機教育のための教科書について : 商業高校用教科書の紹介
- マルチエージェントを用いた討論構造外化と支援に関する研究
- 個人適応型反例生成手法に関する研究
- 教育システムにおける反例生成について
- 教育システムにおける反例生成について
- XML (eXtensible Markup Language)
- D-15-53 遠隔授業支援のためのカメラの自動制御システム
- 知的学習環境の構成論
- PI支援を指向したJava3D感性工学システム (第6回〔日本感性工学会〕大会特集)