<学術雑誌論文>
分散する機能利用を支援するJavaを用いた対話環境

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
関連DOI
関連URI
関連HDL
概要 現在, Web上で型推論と証明探索システムを公開している。本システムは, インターネット上での機能提供として, サーバが提供する機能をWebブラウザで誰でも利用できることを目的に開発した。このシステムで, Lispで作られたGUIをもたないツールに対して, アダプタを介することでJavaを利用してGUIとネットワーク利用環境を提供する。しかし, このシステムは定型的な問い合わせしか実現できていない...。より対話的なシステムの提供を目的として, 利用者が自由にネットワークで提供される機能を組み合わせて対話的に利用できるGUI環境をJavaを利用して試作した。続きを見る

本文ファイル

pdf hirokawa_198 pdf 286 KB 197  

詳細

レコードID
査読有無
関連URI
NCID
注記
登録日 2013.12.09
更新日 2023.07.28

この資料を見た人はこんな資料も見ています