数式処理技術を活用した中学数学教育支援システム(数式処理と数学研究への応用)
スポンサーリンク
概要
著者
関連論文
- 業務アプリケーション開発へのUML Profile for EDOCの適用法の提案
- インタビューによる要求抽出作業を誘導するシステムの実現方法
- インタビューによるソフトウェア要求分析過程とWWW上に構築するその支援環境
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- 新しい要求仕様のあり方
- 77-04 簡単な数式処理言語FORMAL による部分分数展開プログラム
- 76-01 LISPのM式をS式に変換するSNOBOL4プログラム
- ユーザモデルを用いたオンラインヘルプのメッセージ生成
- 計算機言語文法書からの知識獲得
- 「顧客満足」時代の情報システムSFA
- 業務フロー図とオブジェクト指向分析・設計(パネル)
- ユーザの意思決定をフィードバックする意思決定支援システム
- 目的に沿った手続きの流れを考慮したインタフェースの研究
- 達成感を考慮した初心者ユーザを動機づけるヒューマンインタフェース
- 達成感を考慮した初心者ユーザを動機づけるヒューマンインタフェース
- ユーザの心理に重点を置いたインタフェースに関する研究
- モデルの適応によるオフィス情報システムの構築
- クラス階層を導入した論理プログラムミング言語のための否定
- 入出力例と説明文を生成するリスト処理プログラム理解支援システム
- 探究型学習による問題作成の教育的効果(8数学的な見方や考え方・学習指導法,中学校,第91回全国算数・数学教育研究(京都)大会第56回近畿算数・数学教育研究(京都)大会日本数学教育学会第91回総会)
- 入出力例から既存のプログラムを組み合わせてプログラムを合成する一手法
- 自動化を考慮したループ結合によるプログラム変換システムの作成
- Implementation of Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論)
- 探究型数学カリキュラムの設計と実践(2) : 中学生のトポロジー入門(第16分科会 基礎・自由研究,II 中学校部会,第92回全国算数・数学教育研究(新潟)大会 第59回北陸四県数学教育研究(新潟)大会 平成22年度新潟県高等学校教育研究会数学部会 日本数学教育学会第92回総会)
- 探究型数学カリキュラムの設計と実践(1)(第16分科会 基礎・自由研究,II 中学校部会,第92回全国算数・数学教育研究(新潟)大会 第59回北陸四県数学教育研究(新潟)大会 平成22年度新潟県高等学校教育研究会数学部会 日本数学教育学会第92回総会)
- 国際社会に適応したカリキュラムをICME 9の特別講演に学ぶ(特集ICME 9に参加して)
- 数式処理技術を活用した中学数学教育支援システム(数式処理と数学研究への応用)
- 8-1 EDUCATIONAL GAME : 計算能力向上のための一つの試み
- オブジェクト指向技術とその応用論文特集の発行にあたって : ソフトウェア工学とデータ工学の立場から
- 特集「エディタ」の編集にあたって
- インターネットを使った探求型学習の教育効果
- An Implementation of the Formula Manipulation Package in Common Lisp
- Abductiveモデルによる診断システムにおけるコストと危険度を考慮した質問生成法