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

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

基本信息

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

项目摘要

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

今年，我们对以下项目进行了研究，以建立一种视觉支持方法，以直观地理解术语重写计算模型。 1。我们创建了一个支持TERSE的视觉理解支持环境，该环境可以通过视觉显示有关减少程序应具有的知识的数据的类型和结构来轻松获得有关程序的知识。使用功能语言Standerd ML实现了此编程环境，从而易于添加和扩展新功能。 2。重写计算模型中的计算，可以通过重写关系表示对程序行为的直观理解并促进程序错误检测。在这项研究中，我们提出了一种可视化方法，用于重写程序并实现了一个可视化工具。此外，为了以易于理解而不是原始数据的形式可视化重写计算，可以根据中间执行进行转换，可视化使用转换。 3。我们已经建立了基于其他基于代理的自我意识逻辑的Tablo方法的决策过程的视觉支持系统，并使用逻辑证明程序将视觉理解支持方法应用于其他计算模型作为重写计算模型，以及基于基于其他基于代理商的自我衡量逻辑的Tablo方法的视觉支持系统。这些研究在各种研究会议上介绍并交换了意见。