5-8 三角形の合同証明システムの開発とCAIへの応用
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人日本数学教育学会の論文
- 1986-08-01
著者
-
秦 正人
神戸大学
-
西田 収
神戸大学
-
村上 温夫
神戸大学
-
前田 純子
神戸大
-
中沢 真由美
神戸大
-
福沢 美佐子
神戸大
-
直井 千加子
神戸大
-
西田 収
シャープ(株)情報家電開発本部
-
村上 温夫
神戸大学名誉教授
関連論文
- 三角形の合同証明システムのICAIへの応用
- 5-8 三角形の合同証明システムの開発とCAIへの応用
- コンピュ-タの発展と数学教育-上-
- コンピュ-タの発展と数学教育-下-
- 日英機械翻訳システムTWINTRANの言語知識と翻訳品質の評価
- Text-Wide Grammarに基づくテキスト解析
- A^*法に従うアジェンダ制御による構文解析
- TWINTRAIN : integration of syntax, semantics and context analysis
- 遅延評価機構によるAND-ORグラフ上での優先度計算
- Semantic Processing on Parse Trees Represented in a Chart
- タイプ2ファジィ集合の一部を扱えるFuzzy Prolog
- 最大マッチング定理に対する中学生の反応 : 課題学習の教材開発の一試み
- インターネット時代の数学教育 : 遠隔教育,特にICME8/TG4での実験を中心として
- Some Properties of Set-Valued Operators defined by Solution Families of Volterra Integral Equations
- System Evaluation of the Design of Student Cafeteria