权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

項書換え計算モデルの視覚的理解支援に関する研究

术语重写计算模型的视觉理解支持研究

基本信息

批准号：
08780262
负责人：
河口信夫
金额：
$ 0.64万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1996
资助国家：
日本
起止时间：
1996 至无数据
项目状态：
已结题

项目摘要

本年度は,項書換え計算モデルの直観的理解のための視覚的支援手法の確立のために、以下の挙げる項目に関して研究を行なった。1.プログラムが前提として持つべき知識を減らすデータの型や構造に関する情報を視覚的に表示することにより、プログラムに関して知識を容易に得られる視覚的理解支援環境TERSEを構築した。このプログラミング環境は、関数型言語Standerd MLを用いて実現しているため、新たな機能の追加や拡張が容易に行なえる。2.プログラムの動作の直観的理解を可能し、プログラムの誤りの発見を容易にする書換え計算モデルにおける計算は、書換え関係によって表すことができる。本研究では、プログラムの書換え関係の視覚化手法を提案し、視覚化ツールを実現した。また、書換え計算を生のデータではなく、理解しやすい形式で視覚化するために、中間実行に基づいて書換えによる変換を用いた視覚化を可能にした。3.視覚的理解支援手法を他の計算モデルへ応用する論理の証明手続きを一種の書換え型計算モデルとして据え、他エージェント系自己認識論理のタブロ-法に基づく決定手続きの視覚的支援システムを構築した。これらの研究は、様々な研究集会で発表され、意見交換を行なった。

This year, the support method for understanding and viewing of the project book exchange and calculation of direct observation has been established, and the following projects have been completed and researched and carried out. 1. The premise of the program is to maintain the knowledge and reduce the structure and structure of the information and to see the expression of the information.ることにより、プログラムに关してknowledgeをeasy to getられるview the understanding support environment TERSEをbuildした.このプログラミングEnvironmentは、Kuannu type language Standerd MLを Useいて実appearsしているため、New functionsのAdditionalや拡张がEASYに行なえる. 2. It is possible to understand the action of the action, and it is easy to see the action of the action.する书changeえcalculateモデルにおけるcalculateは、书changeえrelationsによって tableすことができる. The purpose of this study is to propose a method of visualizing the relationship between the book and the book, and to propose a method of visualizing the relationship.また, book change えcalculation を生のデータではなく, understanding しやすいform でview覚化するために、中実行に记づいて书行えによる変change を与いた视覚化を是什么意思た. 3. Visual understanding support techniques: other calculations and calculations, proofs of theory and proofs, a book-for-book calculation method It is based on the fact that his own epistemological theory is based on his own epistemological theory - the method is based on the decision-making hand and the support of the visual inspection is established.これらの研究は, 様々な research meeting で発表され, exchange of opinions を行なった.