分散する機能利用を支援するJavaを用いた対話環境
スポンサーリンク
概要
- 論文の詳細を見る
現在, Web上で型推論と証明探索システムを公開している。本システムは, インターネット上での機能提供として, サーバが提供する機能をWebブラウザで誰でも利用できることを目的に開発した。このシステムで, Lispで作られたGUIをもたないツールに対して, アダプタを介することでJavaを利用してGUIとネットワーク利用環境を提供する。しかし, このシステムは定型的な問い合わせしか実現できていない。より対話的なシステムの提供を目的として, 利用者が自由にネットワークで提供される機能を組み合わせて対話的に利用できるGUI環境をJavaを利用して試作した。
- 1997-09-24
著者
関連論文
- 久留米高専のインターネットと久留米地区学術系NOCについて
- 証明探索と反例生成を同時に行なうアルゴリズムについて
- クリプケモデル生成とJavaアプレットとしての実現
- Web データベースにおける入力フォーム情報の自動抽出
- 証明とモデルを生成するインターネットプルーバー
- ウェブデータウエアハウスと協働する業務報告書オーサリングシステム
- 協調作業におけるエージエシト間の相互作用のモデル化
- 初等幾何推論の多面的表示方式
- ZKネットワーク雑記帳
- 具体的な図を用いる初等幾何推論システム
- $\lambda_C$計算と$\lambda_P$計算との対応(計算理論とその応用)
- WWW上の幾何推論システム (「ネットワ-クとAI」小特集セッション)
- 分散する機能利用を支援するJavaを用いた対話環境
- リートネットワークによる併合法の実現
- CAI用パソコンLANにおけるファイル転送の性能評価
- 学生の教育履歴とプログラミング教育
- 初心者の冒すプログラム間違いの分析
- 複雑な知識モデルを利用した人間の学習プロセスシミュレーションの検討
- クロス集計による文献ファセット検索システムの提案
- ストリーミングビデオを用いた講義データベースシステム
- 二つの観点に基く検索結果の分析方法Double Rankについて(検索,第1回テキストマイニング・シンポジウム)
- 制約付きブートストラッピング法による特徴語抽出について(検索,第1回テキストマイニング・シンポジウム)
- 観光ブログからの地名抽出と曖昧性解消
- クロス集計による文献ファセット検索システムの提案 (情報処理学会第104回情報基礎とアクセス技術研究会(IFAT)発表論文)
- Crowdsourcing Systemを用いた略語の推定手法の提案 (言語理解とコミュニケーション)
- Crowdsourcing Systemを用いた略語の推定手法の提案 (音声)
- 日韓オノマトペの抽出とその感性評価利用
- 少数例による学習における属性選択の効果について