書誌事項
- タイトル別名
-
- A Interactive Environment for Network Disributed Functions Using Java
この論文をさがす
抄録
現在, Web上で型推論と証明探索システムを公開している。本システムは, インターネット上での機能提供として, サーバが提供する機能をWebブラウザで誰でも利用できることを目的に開発した。このシステムで, Lispで作られたGUIをもたないツールに対して, アダプタを介することでJavaを利用してGUIとネットワーク利用環境を提供する。しかし, このシステムは定型的な問い合わせしか実現できていない。より対話的なシステムの提供を目的として, 利用者が自由にネットワークで提供される機能を組み合わせて対話的に利用できるGUI環境をJavaを利用して試作した。
利用は著作権の範囲内に限られます
収録刊行物
-
- 全国大会講演論文集
-
全国大会講演論文集 55 (3), 757-758, 1997-09-24
Information Processing Society of Japan (IPSJ)
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050017057729308160
-
- NII論文ID
- 110002896735
-
- NII書誌ID
- AN00349328
-
- HANDLE
- 2324/1376273
-
- Web Site
- http://id.nii.ac.jp/1001/00132920/
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- CiNii Articles