<学術雑誌論文>
分散する機能利用を支援するJavaを用いた対話環境
作成者 | |
---|---|
本文言語 | |
出版者 | |
発行日 | |
収録物名 | |
巻 | |
号 | |
開始ページ | |
終了ページ | |
出版タイプ | |
アクセス権 | |
関連DOI | |
関連URI | |
関連HDL | |
概要 | 現在, Web上で型推論と証明探索システムを公開している。本システムは, インターネット上での機能提供として, サーバが提供する機能をWebブラウザで誰でも利用できることを目的に開発した。このシステムで, Lispで作られたGUIをもたないツールに対して, アダプタを介することでJavaを利用してGUIとネットワーク利用環境を提供する。しかし, このシステムは定型的な問い合わせしか実現できていない...。より対話的なシステムの提供を目的として, 利用者が自由にネットワークで提供される機能を組み合わせて対話的に利用できるGUI環境をJavaを利用して試作した。続きを見る |
本文ファイル
ファイル | ファイルタイプ | サイズ | 閲覧回数 | 説明 |
---|---|---|---|---|
hirokawa_198 | 286 KB | 218 |
詳細
レコードID | |
---|---|
査読有無 | |
関連URI | |
NCID | |
注記 | |
登録日 | 2013.12.09 |
更新日 | 2023.07.28 |