オントロジーに基づく数学教育支援システムの提案(教育実践システムと学習評価/一般)
スポンサーリンク
概要
- 論文の詳細を見る
本研究では, 初等中等教育における算数・数学科の学習順序および系統性をオントロジー化して, 学習する児童・生徒を支援するシステムを構築することを目的とする. オントロジーを作るための学習RDFデータが必要となるが, 学習のRDF Tripleを項目-学習-陳述(例えば"三角関数"-"先修内容"-"リソース")の形で提案し, それに基づいて系統性を可視化する. また, リソースの教材となる教科書をXMLドキュメント化するためにメタデータの定義から始める. それに基づいた(数学)教材のDTDを将来可能な形で提案する. さらに, その活用方法についてもユーザ・インターフェースを提案する. この学習支援システムは, マニュアルなどの形式の一般化, 形式化として考えることも可能である.
- 2006-01-21
著者
-
夜久 竹夫
日本大学文理学部応用数学科
-
杉田 公生
東海大学
-
杉田 公生
東海大学理学部数学科
-
夜久 竹夫
日本大学文理学部
-
夜久 竹夫
東京電機大学理工学部情報科学科(日本大学文理学部数学科)
-
後藤 隆友
東海大学理学部
-
杉田 公生
東海大学理学部
関連論文
- 直方体分割の24次格子グラフ表現とその応用 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 24分格子グラフによる直方体分割の描画
- 24分格子グラフによる直方体分割の描画
- ユーザ思考を考慮したブックマークの視覚化 (先端メディアの教育利用と教材データの格納・再利用/一般
- 4L-4 組み込みソフト向けHichart開発環境における動作仕様検査(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 研究情報推移グラフによる情報の個人管理・共有手法(コンテンツ技術,データ工学論文)
- ブロック線図文法(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
- D-3-2 順位グラフ文法によるプログラム仕様書の定式化
- あるクラスの文脈依存グラフ文法とその性質 (計算モデルとアルゴリズム)
- D-1-4 埋め込み過程が隣接ノードにより制御される文脈依存グラフ文法
- あるクラスの文脈依存グラフ文法とその構文解析
- シグナルフローグラフのためのグラフ文法
- 木構造図描画支援システム
- 学術論文関係情報のグラフ描画問題に基づく視覚化手法(教育工学)
- Syntactic Characterization of Two-Dimensional Grid Graphs by a Context-Sensitive Graph Grammar(New Trends in Theory of Computation and Algorithm)
- グラフ文法による図と表の処理の定式化
- 形式的文書操作のための表形式用XMLビューア
- Application of Attribute edNCE Graph Grammars to Syntactic Editing of Tabular Forms (New Developments of Theory of Computation and Algorithms)
- D-3-9 edNCEグラフ文法によるカルノー図型の表の作成
- D-3-8 属性edNCEグラフ文法による表のXML表現
- D-3-7 A Syntax Directed Environment for Tabular Form Processing
- 属性edNCEグラフ文法による表の構文的編集
- NCEグラフ文法による図表の構文的処理
- 表形式のプログラム仕様書のためのグラフ文法
- 3B-7 Octgridに基づく表編集アルゴリズム(アルゴリズムとその応用,一般セッション,ソフトウェア科学・工学)
- 2B-2 最急降下モデルによる日本全域尾根線つき3次元地形図の作成(数理モデル化と問題解決,一般セッション,ソフトウェア科学・工学)
- D-12-32 Octgridに基づく効率的な3D地形図生成法(D-12.パターン認識・メディア理解A(パターンメディアの認識・理解・生成),一般セッション)
- 表の格子グラフモデルと編集アルゴリズム
- 多層型矩形分割に対する16分格子グラフ表現 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- D-3-3 組み込みソフトウェア向けHichart処理系の開発(D-3. ソフトウェアサイエンス,一般セッション)
- D-1-4 Octgridに対する属性グラフ文法による矩形数え上げ(D-1. コンピュテーション,一般セッション)
- A-6-13 24-ary Grid Graph Representation for the Rectangular Solid Dissections
- K-019 3D偏光立体視システムを利用した地理情報教材(K分野:教育工学・福祉工学・マルチメディア応用)
- A-003 8分格子モデルを用いた地形的特徴の認識システム(A分野:モデル・アルゴリズム・プログラミング)
- D-12-12 H7CODEに基づくVRML地形図エディタの開発(D-12.パターン認識・メディア理解,一般講演)
- D-1-3 Octgridに対するパーザの開発(D-1.コンピュテーション,一般講演)
- D-1-2 スライス構造の表に対するグラフ文法(D-1.コンピュテーション,一般講演)
- 3D立体表示による地理・地学教育支援教材の応用可能性(教育におけるセキュリティ/一般)
- 6H-1 初期官報バックナンバー閲覧システムの開発(情報システムのインタフェース,一般セッション,コンピュータと人間社会)
- 表編集のアルゴリズム (計算機科学基礎理論の新展開)
- J-047 多重解像度3D地形図の8分グラフ表現(J分野:グラフィクス・画像)
- 地形の特徴抽出モデルと3次元地形図への応用(セッション6)
- 属性グラフ文法によるビジネス文書の定式化(セッション3)
- グラフ文法によるビジネス文書の定式化の試み
- 木構造図式の描画問題
- 境界付きNLCグラフ文法の性質(計算および計算量理論とその周辺)
- ある種の非サイクル的有向グラフに対する極大パス被覆問題の並列計算量
- ある種の非サイクル的有向グラフの極大パス被覆を与える線形時間アルゴリズム
- 有向グラフに対する極大パスカバー問題の計算量(計算量理論とその周辺)
- Complexity of Path Covering Problems in Acyclic Alternate Graphs II(Algorithms : Mathematical Foundations and Applications)
- COMPLEXITY OF PATH COVERING PROBLEMS IN ACYCLIC ALTERNATE GRAPHS(Mathematical Foundations of Computer Science and Their Applications)
- RECURSIVE ENUMERABILITY IN SET THEORY (Algorithms and Theory of Computing)
- ある種のグラフの極大マッチングを与える線形時間アルゴリズム (情報科学の数学的基礎理論と応用)
- フローグラフの分枝数について (組合せ構造とグラフ理論)
- 不確定セルオートマタによる不確定並列写像の逆写像と単射性について (オートマトン理論と数理言語の研究)
- 不確定セルオートマタに対する並列写像の全射性について (情報科学の数学的理論)
- 図形型プログラム言語のグラフ文法による定義
- VRMLによる3D地形図を利用した地理・地学のためのWBTコンテンツ(教育実践システムと学習評価/一般)
- オントロジーに基づく数学教育支援システムの提案(教育実践システムと学習評価/一般)
- D-3-9 Hichart エディタにおける属性評価による開発支援機能
- D-3-4 ソフトウェア仕様書の XML によるデータベース化
- 表インターフェースのための属性付きグラフとアルゴリズム
- D-3-1 属性edNCEグラフ文法に基づくHichartエディタ
- 属性順位グラフ文法によるプログラム図の構文解析
- 構文指向図式エディタの属性グラフ文法による形式化
- 属性グラフ文法に基づく視覚的プログラミング環境の開発 : C 対応 Hichart統合システム
- 制約プログラミングによる木の描画
- Hichart構文エディタにおける部分プログラム図単位の編集機能
- DXL対応Hichartの属性グラフ文法による定式化とトランスレータの実現
- 制約プログラミングによる木の美的描画
- Pascal対応Hichartの属性グラフ文法の拡張とオートフローチャータ
- 属性グラフ文法に基づくHichartからPascalへのトランスレータ
- 属性グラフ文法に基づいたHichartエディタ
- 属性グラフ文法に基づいたHichartエディタ
- 属性グラフ文法に基づいたHichartエディタ
- 図形による仕様記述の方法とその支援システム
- Hiform仕様記述に基づくプログラム・データベース
- 属性文法を用いたPascal-Hichartトランスレータ
- プログラム図式を用いたプログラム開発教育環境
- オントロジーに基づく数学教育支援システムの提案 (教育実践システムと学習評価)
- プログラム図に対する描画を考慮したNCE属性グラム文法
- プログラム図によるプログラム言語教育のマルチメディア環境
- D-12-3 Octgridに基づく3D地形図の自動生成(D-12.パターン認識・メディア理解,一般セッション)
- 最急上昇法による尾根抽出 (計算機科学とアルゴリズムの数理的基礎とその応用)
- Hichart プログラム図式の生成手法
- Hichartプログラム図式の生成手法
- ユーザ思考を考慮したブックマークの可視化 (テーマ:先端メディアの教育利用と教材データの格納・再利用)
- プログラミング教育のための視覚的ソフトウェア開発環境
- 8次格子モデルによる表の行/列操作 (アルゴリズムと計算理論の新展開)
- 8次格子グラフによる2次元画像の解像度低減化
- 8次格子グラフによる2次元画像の解像度低減化
- 不均一型矩形分割で表現される画像内の図形の移動に伴う矩形数変化
- 16次格子モデルによる不均一型多層矩形分割の層の操作 (理論計算機科学の新展開)
- A-031 平面図形の8次格子表現(問題解決手法,A分野:モデル・アルゴリズム・プログラミング)
- A-009 16次格子モデルによる不均一型矩形分割の層の挿入操作(数理モデル(1),A分野:モデル・アルゴリズム・プログラミング)
- A-018 最急上昇モデルによる日本・韓国全域尾根つき3次元地形図の作成(プログラミングと数理モデル,A分野:モデル・アルゴリズム・プログラミング)
- 活動に則した研究情報蓄積手法のためのグラフ文法