2024-03-29T11:40:25Z
https://nagoya.repo.nii.ac.jp/oai
oai:nagoya.repo.nii.ac.jp:00013468
2023-01-16T04:00:40Z
320:502:670
視覚的項書換え環境のSMLによる実現
Implementation of Visual Term Rewriting Environment with Standard ML
河口, 信夫
坂部, 俊樹
稲垣, 康善
KAWAGUCHI, Nobuo
SAKABE, Toshiki
INAGAKI, Yasuyoshi
open access
ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します.本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです.ご利用に当たっては「著作権法」に従うことをお願いいたします. Notice for the use of this material: The copyright of this material is retained by the Japan Society for Software Science and Technology (JSSST). This material is published on this web site with the agreement of the JSSST. Please be complied with Copyright Law of Japan if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof.
項の構造の解析,書換え系列の解析、項書換え系の変換など,項やその計算に対する操作を視覚的に支援することを目的とする環境を,最近注目されている関数型言語StandardMLを用いて実現した.本稿ではインタラクティブなシステムの実現が難しいとされている関数型言語を用い,実験的な視覚的システムが効率的に,かつ実用的なレベルで実現できることを示す.ユーザーインタフェースを実現するために,SMLを並列化したConcurrentMLと,eXeneライプラリを用いた.
日本ソフトウェア科学会
1994-10-31
jpn
journal article
VoR
http://hdl.handle.net/2237/15367
https://nagoya.repo.nii.ac.jp/records/13468
日本ソフトウェア科学会大会論文集
11
285
288
https://nagoya.repo.nii.ac.jp/record/13468/files/JSSST_11.pdf
application/pdf
247.5 kB
2018-02-20