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

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

基本信息

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

项目摘要

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

今年，我们进行了以下项目的研究，以建立直观理解术语重写计算模型的视觉支持方法。 1. 减少程序应具备的知识量作为先决条件我们构建了TERSE，这是一个可视化理解支持环境，可让您通过直观地显示有关数据类型和结构的信息来轻松获取有关程序的知识。该编程环境是使用函数式语言Standard ML实现的，因此可以轻松添加和扩展新功能。 2.重写计算模型中的计算可以通过重写关系来表达，可以直观地了解程序操作，便于发现程序错误。在本研究中，我们提出了一种与程序重写相关的可视化方法，并实现了可视化工具。此外，为了以易于理解的格式而不是原始数据可视化重写计算，我们使用基于中间执行的重写转换来实现可视化。 3.将视觉理解支持方法应用于其他计算模型我们建立了一种逻辑证明程序作为一种重写的计算模型，并基于其他智能体的自我识别逻辑Tablo方法构建了决策程序的视觉支持系统。。这些研究在各种研究会议上进行了展示并交换了意见。