Z言語を対象とした対話型診断システム(4)
スポンサーリンク
概要
- 論文の詳細を見る
一般に仕様書の解釈の相違が原因となっているバグの発見は非常に難しく、高いコストを要する。この問題に対応するために様々な形式的仕様記述言語が開発されている。Z言語(Z)はその一例である。Zによるコスト削減は評価できるが、習得は容易でない。本研究はZを習得しようとしているユーザを支援するためにZで記述された仕様書(Z仕様書)の診断・記述およびユーザの状態の診断を行うシステムを構築することを目的とする。具体的にはユーザの作成したZ仕様書の表記の間違いや矛盾を指摘し、ユーザからの質問に解答し、ユーザがZ仕様書の続きを作成するのに困難な場合は解答例を提示する。更に、Z仕様書の診断結果からユーザの状態を推論し、適切なアドバイスを行う。
- 社団法人電子情報通信学会の論文
- 1996-03-11
著者
-
岡本 敏雄
電気通信大学eラーニング推進センター
-
吉田 玉緒
神奈川県立産業技術短期大学校
-
松田 昇
電気通信大学
-
吉田 玉緒
電気通信大学大学院情報システム学研究科
-
岡本 敏雄
電気通信大学 大学院情報システム学研究科
関連論文
- ソーシャルブックマークを活用した知識構造の推定と学習支援 (eラーニング環境のデザインとHRD(Human Resource Development)/一般)
- 自律エージェント群による情報の協調フィルタリング : 協調フィルタリングのコンセプトとその実現法
- 表象手段のシナジー効果を誘発するe-Learningコンテンツ構成に関する研究 (eラーニング環境のデザインと実践運用)
- 教育工学研究会の果たすべき役割(教育工学研究の歴史と未来-40周年記念研究会-)
- 概念学習における類推エンジンの適用と指導法について
- 非単調推論による学習者の理解構造のモデル化の一方法
- 電子掲示板の多重ロジスティック潜在変数モデルを用いたキーワード分析(e-Learningの基盤技術/一般)
- 学習者間相互作用の促進を目的とした参加型学習支援システム (eラーニング環境のデザインと実践運用)
- 好意的発言影響度を取り入れた議論支援システムの開発
- 学習履歴情報を用いた学習メンタリングシステムの開発(エデュテイメント/一般)
- KOMIチャートを用いたケアプラン策定過程におけるノウハウ情報の共有システムの開発 : 概念ベースにおける観点の変更と文書間の距離尺度の関係について( 遠隔教育/一般)
- 教授知識の動的管理機構を備えた英会話学習支援システムの開発 : 学習者/グループモデルの構成手法について
- e-learning システムにおける統合的評価機構 : 学習履歴情報に基づいた学習過程のダイジェスト化
- KOMIチャートを用いたケアプラン策定過程におけるノウハウ情報の共有システムの開発 : 概念ベースを用いた読み取り文書の分類(認知と学習・教育用インタフェース/一般)
- e-learning の統合的評価機構におけるデータマイニング : 学習履歴情報に基づいた学習過程のダイジェスト化
- 教材構造解析結果に基づくWeb 教材のメタデータの半自動付与とその活用法
- 好意的発言影響モデルに基づく議論支援システムの開発
- 文章解析機能を備えたカザフ語学習の e-Learning コンテンツの開発
- コンピテンシーモデルを反映させた学習オブジェクトの系列化手法
- インターネット遠隔講義配信のシステム・内容・運用に関する総合的検討(e-ラーニング/e-エデュケーション/一般)
- 知能メディア指向のe-Learningシステムの実現に向けて : 学習履歴情報の知識化に基づく統合的評価機構(招待講演(1))
- 学習履歴情報に基づいた学習過程のダイジェスト化(e-Learningにおける先進的研究開発 : 知的システムなど/一般)
- 好意的発言影響度を取り入れた議論支援システムの開発(e-Learningにおける先進的研究開発 : 知的システムなど/一般)
- eラーニング環境での学習オブジェクトの適応的系列化手法に関する研究(教育工学)
- 協調活動における議論支援戦略
- CSCL環境での合意形成過程及び参加者の関与度の同定
- 協調学習支援のためのNegotiation Processのモデル化に関する研究
- Negotiation Processモデルを用いた協調学習における議論支援の効果
- 協調学習における議論支援のためのNegotiation Process Model
- Negotiation Process Modelを用いた知的議論支援に関する研究
- 議論への参加者の自己関与状態のモデル化に関する研究
- 分散環境下でのグループ学習における協調過程に関する研究
- 分散協調学習支援システムのためのNegotiationモデルの検討
- 分散環境におけるグループ学習支援のための汎用フレームワークの研究
- 協調学習におけるNegotiation Processのモデル化に関する研究
- 分散協調学習環境における学習者間のコミュニケーションの検討
- 分散協調型作業/学習環境における知的議論支援
- 協調学習支援システムのための学習者の自己関与モデルの研究
- ユーザの役割を考慮した知的議論支援システムの構築
- 知的グループ学習支援システムのための対話モデルの研究
- 分散協調環境における学習・議論支援モデルの研究
- L6038 コンピュータネットワーク上での分散協調型学習支援環境について (2)
- L6037 コンピュータネットワーク上での分散協調型学習支援環境について (I)
- "ノイズ"除去機能を有するVOD型WBT教材オーサリングシステムの開発 : アノテーション情報を用いた質的な映像圧縮手法
- "ノイズ"除去機能を有する WBT オーサリングシステムの開発
- Adaptive discussion system for ubiquitous learners (新しいデバイスと教育システム/一般)
- 動画を取り入れた文脈構成 (教育実践を指向した学習支援システム/一般)
- 協調学習支援システムを用いたグループ学習における理解度変化の分析 (大学の情報教育/一般)
- コンテンツの環知識集合可視化による学習支援システムの開発(協調学習・CSCL/一般)
- 社会的分散活動における知識創造プロセスと人工媒介物に関する考察 : オブジェクト指向ペトリネットモデルを用いて(協調学習・CSCL/一般)
- 学習者間の相互作用活性化を目指したゲーム型学習環境の開発(ユビキタス学習環境/一般)
- 協調学習とe-Learning(協調学習とAI)
- ピアアセスメントにおける評価者特性を考慮した項目反応理論(教育システムにおけるプラットホームとコンテンツ開発論文)
- 知識共有を目的としたドキュメント操作のための協調プラットホーム(教育システムにおけるプラットホームとコンテンツ開発論文)
- ゲーム型学習環境における学習者間の協調・競争的制御について (ゲーム・シミュレーション,エンタテイメントと教育/一般)
- 空間概念を形成させるための学習診断システム
- 学習管理システムWebClass-RAPSODYの先進機能(新しいインターネット技術の教育環境への利用/一般)
- エージェントを用いたe-Learningコース情報の知識共有システムの構築(新しいインターネット技術の教育環境への利用/一般)
- Noviceを対象としたコンピュータトラブル相談システム(先進的なe-Learning技術/一般)
- 専門重視の相互作用型eラーニング実践(先進的なe-Learning技術/一般)
- D-15-11 ネットワーク環境における遠隔自己学習支援システムの開発 : RapsodyIIの構成
- 分散協調学習基盤と学習運営システムの開発
- 分散協調環境でのコーディネータのモデル
- ネットワーク環境における分散協調型知的グループ学習支援システムの構築
- ネットワーク環境における分散協調型知的グループ学習支援システムの構築(2) : 幾何論証学習支援システムの構成とグループ学習での利用について
- 協調分散環境における学習支援システムの研究・開発(3)
- ネットワーク環境における分散協調型知的マルチメディアCAIの研究
- 協調分散学習環境における学習支援システムの研究・開発(2) : マルチ・チュータエージェントによる教育支援について
- 分散協調環境でのコーディネータのモデル
- 教育工学の現状と今後の展開
- 大学におけるeラーニング実践の知識マネージメント(情報教育と学習支援システム/一般)
- 高校普通教教「情報」におけるコースワーク評価の試み : 大学生の例を中心として
- TMSによる問題解決の説明知識の抽出と意識化
- 協調作業と個人作業を融合するオブジェクト指向ネットワーク作業環境
- 幾何定理証明における図情報に基づく推論
- 問題解決の教授を指向した解法プロセスのモデル化 : 幾何論証における図情報に基づく問題解決モデル
- 仕様記述言語Zの学習に関する診断および習得支援システム
- 知的教授システムにおける問題解決過程の定式化
- 知的教授システムにおける問題解決過程の定式化
- ITSにおける診断知識の極小化と学習者モデル診断
- 協調作業基盤機構を用いた作業支援環境
- 発話意図推定法を用いた議論支援システムの構築
- 領域知識の極小的解釈による学習者モデルの診断手法について
- 知的教授システムを指向した問題解決過程の定式化
- 授業設計のための診断支援システムの研究・開発
- インターネット環境におけるグループ学習支援システムの構築
- ネットワーク作業環境における知的グループウェアシステムの基盤機構(2)
- 議論支援システムの対話過程における発話意図の推定
- 直接操作可能なグラフィック・インタフェースを有する幾何論証知的CAIシステム
- ITSを指向した問題解決プロセスのモデル化 : 並列プロダクション・システムによる定式化
- ネットワーク作業環境における知的グループウェアシステムの基盤機構
- 議論支援システムにおける発話意図の推定
- 統合的な学習情報管理のための e-Learning システム : RAPSODY-δ
- e-Leamingのための統合的学習情報管理システム : RAPSODY-δの開発(e-Learningコンテンツの編集と再利用/一般)
- 協調学習支援環境 iDAP
- 分散討議型ハイパーメディアシステムと相互作用に基づく認知的態度変容について
- 授業設計支援システムにおける教授命題知識の構築に関する研究
- CSCLに基づく授業設計支援システムの研究・開発
- World-Wide Webを用いたグループ学習指向CAIシステムの構築
- 大学院専門科目での e-Learning 実践