PASCAL プログラム教授システムにおける誤り同定法
スポンサーリンク
概要
- 論文の詳細を見る
本論文ではプログラム言語PASCALを教授する知的CAIシステムにおけるプログラムの誤り同定法について述べる.すなわち,プログラムの記述問題に対して学習者の解答の正解,不正解を判断し,かつ不正解時には学習者の誤りを指示する方法を議論する.従来,知的CAIにおけるプログラムの診断機能は予想される様々な誤りに対する知識を用いて,誤りの原因を目標探索し,問題解決の手法を適用してきたが,多くの経験的知識を必要とし,教師が適時教材を追加することは一般に困難であった.本稿では,出題問題に対する模範解答をその解答のメタ知識として用いて効率的に対処できる方法を提案する.この方法では,新しい出題問題の追加も容易であり,一つの模範解答のみを用意すればよい.学習者の解答は,システムにあらかじめ保有されている模範解答と静的にプログラム構造を比較・照合されることにより,誤りが同定される.プログラムには様々な記述形式が可能であり,二つのプログラムが一見異なっていても誤りであるとは限らない.すなわち,制御構造,データ構造,演算式,文の並びなどに自由度があるためである.我々の方法では,変換規則を用いてプログラムを標準形式に変換し,さらに構文解析により中間コード系列に翻訳した後,ブロック単位の照合操作を段階的に実行することにより,誤り位置を同定する.
- 一般社団法人情報処理学会の論文
- 1993-03-15
著者
-
渡邉 豊英
名古屋大学情報科学研究科社会システム情報学専攻
-
杉江 昇
名古屋大学
-
田中 淳志
名古屋大学工学部情報工学科
-
渡邉 豊英
名古屋大学大学院情報科学研究科
-
杉江 昇
名古屋大学工学部情報工学科
-
藤居 藤樹
名古屋大学工学部情報工学科
-
渡邉 豊英
名古屋大学大学院 情報科学研究科
関連論文
- 言語グリッドを用いたプレゼンテーションスライドの日英翻訳の試み(言語グリッド)
- Knowledge discovery over continuous time-series data streams (データ工学)
- シナリオに基づいたプレゼンテーション空間の表出化 (教育工学)
- 配列データを共有したループ文の並列実行のための漸進処理手法
- LDAP-ICカード認証連携による移動ユーザプロファイル設定と共有端末への適用(情報セキュリティ応用)
- Sambaを利用した移動ユーザプロファイルの構築とICカード認証連携(セッションA-1:認証技術(1))
- 紙類包装手順の設計(一般セッション,センシングのための認識・理解)
- 運転者支援のための死角領域推定手法(テーマ,First Person Visionのための認識・理解)
- MAP-MRFモデリングを用いたHMMに基づく交通監視映像の分類手法(一般セッション)
- 到達可能領域を用いた車両の挙動予測
- 折り紙のシルエットを用いた折り操作推定手法の提案(テーマセッション,映像ハンドリング技術とその応用)
- 協調学習活動のための注目インタフェース(協調学習・CSCL/一般)
- K-004 学習者の視点に基づく協調学習履歴の構造化(K分野:教育工学・福祉工学・マルチメディア応用)
- LK-001 協調学習における没入型円卓場インタフェース(教育工学・福祉工学・マルチメディア応用)
- ユビキタス学習環境における端末適応型教材提示(協調学習・CSCL/一般)
- 注目意識を反映した円卓場協調インタフェース(協調学習・CSCL/一般)
- 個別学習支援のためのアノテーションを利用した協調学習履歴活用(e-Learningにおける教授戦略と教材管理・活用の新技術/一般)
- 協調学習経験に基づいた他者の問題理解の推定(e-Learningにおける教授戦略と教材管理・活用の新技術/一般)
- 協調学習におけるベイジアンネットワークを用いた他者の理解モデルの構築(マルチメディア教材と教育・学習システム/一般)
- 補助図形を用いた数学問題解法支援システムの実装と評価(マルチメディア教材と教育・学習システム/一般)
- ノウハウ共有のための教材構築手法(マルチメディア教材と教育・学習システム/一般)
- 数学問題における解の自動生成(マルチメディア教材と教育・学習システム/一般)
- グループに対する包括的指導を実現する協調学習支援機構(e-Learningにおける学習支援とコンテンツ開発/一般)
- D-15-9 教師間の知識共有を促進する階層型教材データベース(D-15. 教育工学)
- 連続的時系列データストリームからの知識発見(ストリームマイニング,センサデータ処理,ストリームデータベース,及び一般)
- Sambaを利用した移動ユーザプロファイルの構築とICカード認証連携(セッションA-1:認証技術(1))
- ICカードによる共有端末認証システムの構築(セッション3)
- 分散メモリ型並列計算機上での仮想共有メモリの実装について
- シナリオに基づいたプレゼンテーション空間の表出化(コミュニティにおける教育・学習支援システム/一般)
- 運転者支援のための死角領域推定手法(テーマ,First Person Visionのための認識・理解)
- 運転者支援のための死角領域推定手法(テーマ,First Person Visionのための認識・理解)
- D-3-13 計算機クラスタ環境における並列化コンパイラ・ツールキットの評価(D-3. ソフトウェアサイエンス)
- D-3-12 並列化コンパイラ・ツールキットにおけるプログラム並列化処理の実装(D-3. ソフトウェアサイエンス)
- A-4 依存グラフの変形による並列化処理の整合性(並列処理,A.アルゴリズム・基礎)
- D-3-6 並列コンパイラ・ツールキットにおけるプログラム並列化処理支援
- 投入順序決定ドメインシェルの開発-バンパー塗装ラインへの応用
- 3U-10 制約指向パラダイムによるAT油圧回路ロジック検証システム
- 折り紙のシルエットを用いた折り操作推定手法の提案(テーマセッション,映像ハンドリング技術とその応用)
- 折り紙のシルエットを用いた折り操作推定手法の提案(テーマセッション,映像ハンドリング技術とその応用)
- 文と単語の相互依存性に注目した図表説明文の抽出(コミュニティにおける教育・学習支援システム/一般)
- 1H-1 協調学習におけるスポットライトを用いた議論誘発インタフェース(グループウェアー般,一般セッション,インタフェース,情報処理学会創立50周年記念)
- 多種帳票文書の構造認識
- 帳票文書の構造認識のための書式構造知識の自動獲得
- ルールベースの適用による日本語新聞紙紙面の構造認識
- 知識ベースに基づいた図書目録カードの理解
- 構造記述を用いた書誌項目域の自動分割
- 書誌情報のファイル格納に関する効率評価
- A-011 ストリームデータ発掘手法に基づく記事イベントが株価変動における影響推測(A分野:モデル・アルゴリズム・プログラミング,一般論文)
- 計算機クラスタ環境における並列タスクの同期処理の検討
- 配列データを共有する並列タスクの実行効率向上のためのアクセス・パターン解析
- 漸進的並列処理のための配列アクセス・パターン解析手法
- ワークステーション・クラスタ環境で粗粒度・細粒度並列処理を実現する並列化コンパイラ
- 部品合成によるプレゼンテーション・スライドの作成
- ユーザの意図を反映したシナリオに基づいたプレゼンテーション・スライド構成支援
- 音声説明のための書き言葉から話し言葉の生成
- EXPRESS : スライドにおける箇条書き表現の生成
- EXPRESS : 論文の構造からプレゼンテーションの構造への変換
- プレゼンテーションスライド生成システムEXPRESS : 概要
- RC-007 タスク割当てアルゴリズムにおける消費電力削減のためのDVS適用タスク選択機構(ハードウェア・アーキテクチャ,査読付き論文)
- 幾何学的位置関係に基づく地図検索
- モーフィングによる交差点鳥瞰映像の生成および事故現場検証への応用(一般セッション,センシングのための認識・理解)
- モーフィングによる交差点鳥瞰映像の生成および事故現場検証への応用(一般セッション,センシングのための認識・理解)
- モーフィングによる交差点鳥瞰映像の生成および事故現場検証への応用(一般セッション,センシングのための認識・理解)
- 知識べースに基づいた相互関連タスクの実行制御機構
- 知識に基づく相互関連タスクの協調制御機構
- 相互関連タスクの実時間処理のための連携的実行制御機構
- オブジェクト指向パラダイムに基づく並行タスクの構成法
- D-4-4 動画像データベースにおける確率モデルに基づく類似検索
- ビデオ・データベースにおけるトップダウン処理に基づく効率的な類似シーン検索に関する考察
- オブジェクト指向パラダイムによる間取り : 図面事例ベースの表現法
- プロセッサ数が制限された環境下でのタスク複製に基づいたスケジューリング・アルゴリズム
- 近傍平均値の増大に着目した時系列データ可逆圧縮
- M-007 グループの生存性を考慮したアドホックネットワークにおける一筆書きプロトコル(M分野:ユビキタス・モバイルコンピューティング)
- LM-006 車両移動経路のオンライン取得通信制御手法(ユビキタス・モバイルコンピューティング)
- LM-001 道路情報取得のための位置指定通信プロトコル(ユビキタス・モバイルコンピューティング)
- O-003 包含概念を用いた拡張R-treeによる被災地管理(O分野:情報システム)
- A-17-7 車両位置予測に基づいた経路探索による車車間通信(A-17. ITS)
- D-3-11 並列化コンパイラの開発を支援する並列化コンパイラ・ツールキットの構成(D-3. ソフトウェアサイエンス)
- ループ文アクセス・パターン解析における畳込み演算
- D-3-5 並列化コンパイラ・ツールキットによる環境に適したタスクの生成手法
- D-8-7 制約充足問題として捉えた工程計画の2段探索システム
- 3次元仮想折り紙の表示法(一般セッション(1), 産業応用とパターン認識・メディア理解)
- 3次元仮想折り紙の表示法(一般セッション(1), 産業応用とパターン認識・メディア理解)
- 3次元仮想折り紙の表示法
- D-12-86 折り紙図解の折り手順を認識するための線分抽出(D-12.パターン認識・メディア理解A)
- D-12-85 折り紙設計のためのスケルトンの対称構造検出(D-12.パターン認識・メディア理解A)
- イラストレーションからのスケルトンを用いた折り紙模型の実現
- イラストレーションからのスケルトンを用いた折り紙模型の実現
- プログラミング教授を目的としたLisp CAIシステムにおけるプログラム診断法
- マルチ・プロセッサ環境におけるDVSを用いた消費電力量削減アルゴリズムの構築
- 視認性に基づいた包含関係による監視位置決定(実世界DB,夏のデータベースワークショップDBWS 2006)
- 視認性に基づいた包含関係による監視位置決定(実世界)
- 視認性に基づいた包含関係による監視位置決定
- 状態単位のHMM合成を用いた車両走行音の認識(パターン認識・理解のための高度センシング技術)
- 車載ステレオカメラを用いた道路交通状況の把握(パターン認識・理解のための高度センシング技術)
- 状態単位のHMM合成を用いた車両走行音の認識(パターン認識・理解のための高度センシング技術)
- 車載ステレオカメラを用いた道路交通状況の把握(パターン認識・理解のための高度センシング技術)
- LISP教授における誤りパターンを用いた誤り検出
- 柔軟な指導案の変更を支援する教材モデル
- 算術演算教授における誤り履歴をもちいた診断手法