<journal article>
A Interactive Environment for Network Disributed Functions Using Java
Creator | |
---|---|
Language | |
Publisher | |
Date | |
Source Title | |
Vol | |
Issue | |
First Page | |
Last Page | |
Publication Type | |
Access Rights | |
Related DOI | |
Related URI | |
Related HDL | |
Abstract | 現在, Web上で型推論と証明探索システムを公開している。本システムは, インターネット上での機能提供として, サーバが提供する機能をWebブラウザで誰でも利用できることを目的に開発した。このシステムで, Lispで作られたGUIをもたないツールに対して, アダプタを介することでJavaを利用してGUIとネットワーク利用環境を提供する。しかし, このシステムは定型的な問い合わせしか実現できていない...。より対話的なシステムの提供を目的として, 利用者が自由にネットワークで提供される機能を組み合わせて対話的に利用できるGUI環境をJavaを利用して試作した。show more |
Hide fulltext details.
File | FileType | Size | Views | Description |
---|---|---|---|---|
hirokawa_198 | 286 KB | 231 |
Details
Record ID | |
---|---|
Peer-Reviewed | |
Related URI | |
NCID | |
Notes | |
Created Date | 2013.12.09 |
Modified Date | 2023.07.28 |