数学的プログラミング環境

スポンサーリンク

概要

論文の詳細を見る
コンピュータを使って、数学の問題などを考えていくとき、ユーザ・インタフェースと実際の問題との関連性が希薄になってしまうという問題点がある。また、プログラミングを行う際にも、同様の理由から、操作の系統的な理解が難しいという問題がある。このような点を、数学的な考えを取り入れたグラフィカル・ユーザ・インタフェースによって解決することがこの研究の目的である。こひの問題を考察するために、本稿では、証明支援システムを考えてみた。このシステムでは、証明の中にあらわれるような推論に直接対応する操作体系を持つことを目指している。このような操作をユーザが定義することによって、ユーザの考えた新しい概念を容易に理解できるようになるということを示すことが、このシステムの目標である。
一般社団法人情報処理学会の論文
1992-09-28

著者

関連論文

もっと見る

スポンサーリンク