自動定理証明を応用した数学コースウェアの開発
スポンサーリンク
概要
- 論文の詳細を見る
We illustrated idea of mechanical theorem proving and outline of the CAI courseware under planing, which uses method of mechanical theorem proving. Mechanical theorem proving is applicable to theorem proving, answer questioning and problem solving system. By using the method it will be possible to construct the CAI courseware on mathematics which helps student to learn theorem proving problem at secondary school lebel. The CAI courseware gives student theorem proving problems, accepts the answer, diagnoses it whether there are logical contradictions and leaps and gives student knowledge of result for the problems.
- 東海大学の論文
著者
-
奥田 富蔵
東海大学教育研究所
-
井上 靖
東海大学電子計算センター
-
郷 信義
東海大学電子計算センター
-
郷 信義
東海大学電子計算センター情報処理研究教育施設
-
奥田 富蔵
東海大学電子計算センター情報処理研究教育施設
関連論文
- 化学構造式インタフェースの開発
- 電子テキスト&ノートによる学習システム : テキストの文を利用したノート作成について
- 電子テキスト&ノートによる学習システム(3) : 化学構造式インタフェースについて
- 電子テキスト&ノートによる学習システム(2) : その入力インタフェースについて
- 電子テキスト&ノートによる学習システム : ノートの作成、診断機能について
- 文章理解支援のための予備的検討
- 知的ドリルC-interestとその数式入力インタフェース
- 知識埋め込みテキストの構想について
- メタ知識の教授を目的とする Go-Tutor の局面認識
- 問題解決におけるメタ知識獲得過程の分析
- Mastermindにおけるプレーヤーの解決方略--発話プロトコルによる解決過程の分析
- 問題解決における言語的作動記憶容量の制約と外的資源の利用
- 問題解決過程の分析を目的とした詰碁システム
- Mastermindを課題とする問題解決過程の分析 : プレープロトコル収集システムの設計
- 問題解決における言語的作動記憶容量と解決方略
- 定性推論による動的系の説明生成機能の実現
- 作動記憶上への継時的な記憶負荷の増加が問題解決に及ぼす影響
- 問題解決ITSのためのMaster-Mindとその基本問題空間及び解決方略
- 数当てゲームITSのためのプレー知識の構造について
- ワーキングメモリへの記憶負荷が問題解決に及ぼす影響
- 看護教育用CAIの開発 -シミュレーションによる看護問題解決能力の育成-
- Mastermind プレヤーの実時間モデル
- 大規模ワークステーションクラスタ上での性能評価プログラム設計に関するネットワーク評価
- 授業アンケートの特性解析
- メタ知識の教授を目的とする Go-Tutor の局面認識
- 公務員模試処理と合否結果追跡調査のためのシステム
- Webを利用したリアルタイム授業評価システムの講義科目における運用
- 囲碁指導システムGo-Tutorの開発
- 知的ドリルC-interestの開発
- 知的ドリルC-interestの開発--その解答診断法と数式入力インタフェース (〔教育システム情報学会〕言語・知識処理応用研究部会 第82回研究会)
- 医・看護教育用知的CAIのための定性的患者モデルの開発(1)
- e-ラーニングと誤り同定について (新しいデバイスと教育システム/一般)
- 数式の変換誤り同定について (モバイル・ユビキタス学習環境/一般)
- 差分による数式変換の誤り同定法
- 数式の変換誤り同定について
- Go-Tutorの局面認識とCognitive Tools : 問題解決学習支援システムのためのCognitive Tools(教育実践システムと学習評価/一般)
- 統合学習環境Gokuuの構成と機能について
- Go-Tutorの局面認識とCognitive Tools--問題解決学習支援システムのためのCognitive Tools (教育実践システムと学習評価)
- GO-TutorのCognitive Toolsについて (インターネット新技術による学習環境)
- 問題解決学習支援システムのためのCognitive Tools
- Hichart プログラム図式の生成手法
- Hichartプログラム図式の生成手法
- 木構造図式の美的描画について(計算アルゴリズムと計算量の基礎理論)
- 大学における情報管理 : 学生情報について
- コンピューターを利用した大学の管理、運営組織の設計について
- 自動定理証明を応用した数学コースウェアの開発
- 知的CAIの現状と課題
- 定性的モデルからの説明生成について
- 医・看護教育用知的CAIのための定性的患者モデルの開発(2)
- 医・看護教育用知的CAIのための定性的患者モデルの開発(3)
- 数当てゲームのコーチングITSについて : 数え上げ法と演繹的推論およびその領域知識
- 集合演算システムCantorの開発とその教育利用