コンピュ-タの発展と数学教育-下-
スポンサーリンク
概要
著者
関連論文
- 三角形の合同証明システムの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
- インターネット時代の数学教育 : 遠隔教育,特にICME8/TG4での実験を中心として