WEKO3
アイテム
視覚的項書換え環境のSMLによる実現
http://hdl.handle.net/2237/15367
http://hdl.handle.net/2237/15367b1a8cbd1-c6df-45f0-84bb-55eecdb31214
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
JSSST_11.pdf (247.5 kB)
|
|
| アイテムタイプ | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2011-08-25 | |||||
| タイトル | ||||||
| タイトル | 視覚的項書換え環境のSMLによる実現 | |||||
| 言語 | ja | |||||
| その他のタイトル | ||||||
| その他のタイトル | Implementation of Visual Term Rewriting Environment with Standard ML | |||||
| 著者 |
河口, 信夫
× 河口, 信夫× 坂部, 俊樹× 稲垣, 康善× KAWAGUCHI, Nobuo× SAKABE, Toshiki× INAGAKI, Yasuyoshi |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 権利情報 | ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します．本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです．ご利用に当たっては「著作権法」に従うことをお願いいたします． 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. | |||||
| 言語 | ja | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 項の構造の解析,書換え系列の解析､項書換え系の変換など,項やその計算に対する操作を視覚的に支援することを目的とする環境を,最近注目されている関数型言語StandardMLを用いて実現した.本稿ではインタラクティブなシステムの実現が難しいとされている関数型言語を用い,実験的な視覚的システムが効率的に,かつ実用的なレベルで実現できることを示す.ユーザーインタフェースを実現するために,SMLを並列化したConcurrentMLと,eXeneライプラリを用いた. | |||||
| 言語 | ja | |||||
| 出版者 | ||||||
| 出版者 | 日本ソフトウェア科学会 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
| タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 書誌情報 |
ja : 日本ソフトウェア科学会大会論文集 巻 11, p. 285-288, 発行日 1994-10-31 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/15367 | |||||
| 識別子タイプ | HDL | |||||
