「後ろ向き推論」支援による三角形合同証明問題のための学習システム
スポンサーリンク
概要
- 論文の詳細を見る
人工知能を構築する手法の 1 つに 「後ろ向き推論」 がある.これは,ある命題や定理が与えられたとき,その命題の結論に着目して,それが成り立つための前提条件を明らかにする過程を繰り返すことによって命題や定理を証明しようとするものである.人間が三角形合同証明問題の学習時に行う推論方法としても重要であることが報告されており,学校教育においてもこの推論方法を活用できるようにすることが目指されている.本研究では,学習者が三角形合同証明問題を解く過程において,後ろ向き推論によって思考することを支援するシステムを開発し,その学習効果を測定することを目的とする.提案システムの学習効果を検証するため,公立中学校第 2 学年の生徒 36 人を被験者とした評価実験を行った.実験では,事前テストの成績によって実験参加者を A 群と B 群の 2 つのグループに分け,A 群は本システムを利用して,B 群は後ろ向き推論の支援機能を持たないシステムを利用して学習した.学習後,事後テストとアンケートを行った.仮説検定の結果,両群の事後テストの成績は,両群の事後テスト成績の上位層間において A 群の方が有意に良い成績を修めていることが分かった.一方で,後ろ向き推論の発現率には,両群間で有意な差はなく,同程度の発現であると認められた.
- 2014-03-07
著者
関連論文
- 5M-4 パンケーキグラフにおける節点対間の互いに素な耐クラスタ故障経路選択アルゴリズム(アルゴリズム,学生セッション,ソフトウェア科学・工学)
- 異なる方式に基づく英単語学習用システムの開発と評価
- 5M-5 焦げたパンケーキグラフにおける耐故障経路選択アルゴリズム(アルゴリズム,学生セッション,ソフトウェア科学・工学)
- D-1-3 焦げたパンケーキグラフの改善(D-1. コンピュテーション,一般セッション)
- (n,k)-パンケーキグラフとその特性(アルゴリズム理論)
- 17パンケーキグラフの直径計算(パラレルコンピューティングの応用)
- 自律協調型語彙学習環境における携帯電話による教材投稿システム (教育・学習支援におけるSNSの利活用/一般)
- PCクラスタを用いた16パンケーキグラフの直径計算
- パンケーキグラフの直径を求める耐障害性のある並列計算システム(セッション3)
- D-15-4 抽象語に関連する画像検索システムの提案(D-15.教育工学,一般セッション)
- 2ZB-5 プログラミングにおけるポインタ操作を通した関数学習機能(プログラミング教育・ロボット・動画・仮想空間を用いた教育,学生セッション,コンピュータと人間社会)
- 故障をもつ焦げたパンケーキグラフにおけるハミルトニアン経路と閉路
- 音高と音価に着目した読譜学習システムの設計と実現
- D-15-7 数学における二次関数のグラフ学習支援システムの設計と試作(D-15.教育工学,一般セッション)
- D-15-15 動画教材を用いた語彙学習システム(D-15. 教育工学,一般セッション)
- D-1-7 アミノ酸配列における近似パタン検索アルゴリズムに関する研究(D-1. コンピュテーション,一般セッション)
- 計算機アーキテクチャ教育支援システムの開発と協調学習への適用(教育システムにおけるプラットホームとコンテンツ開発論文)
- 計算機アーキテクチャ教育用ビジュアルシミュレータの組み込みメイル機能(情報教育,情報教育〜理念・理論・実践〜)
- パンケーキグラフにおける半素な耐クラスタ故障経路選択(分散システム)
- D-15-24 iPodを用いた単語学習システムの開発と評価(D-15.教育工学,一般講演)
- D-15-23 単語学習用コンテンツの生成支援システム(D-15.教育工学,一般講演)
- D-1-7 n-パンケーキグラフP_nにおけるk組の互いに素な経路問題(D-1.コンピュテーション,一般講演)
- D-1-6 塩基配列の局所的な類似文字列検索アルゴリズム(D-1.コンピュテーション,一般講演)
- 携帯用音楽端末を用いた単語学習システムの開発と評価(教育におけるセキュリティ/一般)
- ノイマン型コンピュータ教材を用いた計算機アーキテクチャ教育支援環境
- A_013 (n,k)-パンケーキグラフにおけるハミルトン閉路(A分野:モデル・アルゴリズム・プログラミング)
- 不完全なパンケーキグラフと経路問題(ネットワーク,SWoPP2006)
- D-15-4 読譜学習システムの実現(D-15.教育工学,一般講演)
- D-1-2 (n,k)パンケーキグラフとその性質(D-1.コンピュテーション,一般講演)
- 数学の文章題を解くための作図支援システムの開発
- N-018 プログラミングにおけるポインタ操作学習のための支援システム(N分野:教育・人文科学)
- C-032 耐故障関数型言語処理系の実現(C分野:アーキテクチャ・ハードウェア)
- A-032 焦げたパンケーキグラフにおけるコンテナ問題(A分野:モデル・アルゴリズム・プログラミング)
- 焦げたパンケーキグラフの内素な経路問題(高信頼システム, SWOPP武雄2005(2005年並列/分散/協調処理に関する「武雄」サマー・ワークショップ))
- パンケーキグラフの直径計算
- バブルソートグラフにおける素な経路選択アルゴリズム(アルゴリズム理論)
- バブルソートグラフにおける耐故障経路選択アルゴリズム(2004年並列/分散/協調処理に関する「青森」サマーワークショップ(SWoPP青森2004))
- トランスポジショングラフにおける素な経路
- n ≥ 14パンケーキグラフの直径計算
- 教育用計算機システムシミュレータED21の設計と評価
- バブルソートグラフにおける節点間の内素な経路問題(2003年並列/分散/協調処理に関する「松江」サマーワークショップ(SWoPP松江2003))(DC-1高信頼化手法)
- MMX命令を利用したビット並列化塩素配列照合アルゴリズム
- 学習用メタデータを含む電子教科書のためのWebブラウザの試作(Collaborationとagent技術/一般)
- D-10-17 SIMD型拡張命令を利用した並列3値論理シミュレーション
- ネットワーク対戦型ゲームに基づく教育システムの開発(Collaborationとagent技術/一般)
- トリバレントケイリーグラフにおける最小フィードバック頂点集合
- ローテータグラフにおける耐故障マルチキャスト経路選択問題
- ローテータグラフにおける耐故障マルチキャスト経路選択問題
- 焦げたパンケーキグラフにおける節点から節点集合への互いに素な経路問題
- 教育用論理回路シミュレータの試作
- パンケーキグラフにおける節点から節点集合への互いに素な経路問題
- パンケーキグラフにおける頂点間の内素な経路の構成算法
- ハイパキューブ相互結合網のための耐故障マルチキャスト経路選択算法
- D-10-16 ハイパーキューブのための耐故障マルチキャスト算法
- ローテータグラフにおける頂点から頂点集合への互いに素な経路問題
- D-10-3 ローテータグラフにおける節点から集合への互いに素な経路問題
- D-6-7 HaskellコンパイラGHCの出力オブジェクトの改良
- 移動体環境における誤り回復方式の提案
- 階層型ハイパーキューブ網の耐故障ルーティングアルゴリズム
- 階層型ハイパキューブ相互結合網におけるルーティングアルゴリズム
- 4L-5 STG機械における閉包の新しい表現方法
- 4L-4 Marlowの更新回避解析の改善の実装と評価
- D-10-5 相互結合網における新しいデッドロック回復機構
- D-15-1 二次関数のグラフ作画支援システム(D-15.教育工学,一般セッション)
- 部分列反転グラフにおける内素な経路(情報・システム基礎)
- D-15-13 二言語間チャットシステムにおける誤訳認知支援(D-15.教育工学,一般セッション)
- Scaffoldingを利用した確率学習支援システムの開発とその利用
- 関連画像提示による日英自動翻訳チャットシステムにおける誤訳認知
- 関連画像提示による日英自動翻訳チャットシステムにおける誤訳認知
- 関連画像提示による日英自動翻訳チャットシステムにおける誤訳認知
- 関連画像提示による日英自動翻訳チャットシステムにおける誤訳認知
- Arduinoを用いた会話支援システムの試作
- Arduinoを用いた会話支援システムの試作
- Arduinoを用いた会話支援システムの試作
- Arduinoを用いた会話支援システムの試作
- 児童・生徒に関する気づきの収集・共有・活用支援システムの開発
- 「後ろ向き推論」支援による三角形合同証明問題のための学習システム
- 作問学習支援システムを利用する学習者の学習内容理解度の推定(特別な教育的ニーズへの対応と人にやさしい教育/一般)