形式的仕様記述言語LOTOSの教育支援システムの設計
スポンサーリンク
概要
- 論文の詳細を見る
通信システムの仕様記述言語の1つであるLOTOSの演習支援を行う教育支援システムについて述べる。本教育支援システムは、通信ネットワークや仕様記述言語の学習に関する支援とその仕様記述言語LOTOSの演習に関する支援から構成されている。特に、本教育支援システムでは学習者の理解状態を評価する方法として、演習問題に対する学習者の解答と正解がどの程度似ているかを表す手段として類似度の概念を導入する。そして学習者の解答の誤り箇所の検出と指摘を行い、正解に基づく修正のための助言機能を持っている。本稿では、これらのうち特に類似度を用いた演習支援について述べる。
- 社団法人電子情報通信学会の論文
- 1993-10-01
著者
-
白鳥 則郎
東北大学情報科学研究科
-
朴 美娘
(株)高度移動通信セキュリティ技術研究所(AMSL)
-
白鳥 則郎
東北大学
-
朴 美姫
三菱電機(株)情報技術総合研究所
-
朴 美娘
東北大学
-
王 家庸
東北大学
-
朴 美娘
三菱電機
-
Park Mirang
Mitsubishi Electric Corporation
-
Park Mirang
Information Technology R&d Center Mitsubishi Electric Corporation
-
朴 美娘
神奈川工科大学
関連論文
- 学会の次の50年 : プロ棋士から学ぶ(情報処理学会が日本将棋連盟に「コンピュータ将棋」で挑戦状,トピックス,50周年記念特集号)
- 1.情報処理技術と学会の未来(情報処理技術の未来地図,50周年記念特集号)
- 公開鍵分散管理を目的としたオーバーレイネットワーク適応型構成法の設計(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- 統合型ネットワーク性能評価技術に関する研究(セッション管理,P2P通信,オーバーレイネットワーク,性能解析・評価,信頼性及び一般)
- ネットワークモビリティ環境における監視トラフィックの流量制御方式(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- モバイルネットワークにおける監視トラフィックの流量制御方式(モバイル/放送融合アプリケーション,モバイルコンテンツ,モバイル映像配信,一般)
- モバイルネットワークにおける監視トラフィックの流量制御方式(学生特別セッション,モバイル/放送融合アプリケーション,モバイルコンテンツ,モバイル映像配信,一般)
- グループ暗号通信の鍵供託方式に関する一考察
- ベイズ学習アルゴリズムのスパムフィルタとウイルスフィルタへの適用の最適化(侵入検出・検知,情報システムを支えるコンピュータセキュリティ技術の再考)
- 共生コンピューティングに基づく利用者にやさしい見守り支援システムの提案(ユビキタスネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- データセントリックセンサネットワークにおけるルーティング方式の検討(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- センサネットワークにおける位置情報を用いないルーティング方式の検討(セッション6:アドホックネットワーク・センサーネットワーク)
- 特集「マルチメディアコミュニケーションシステム」の編集にあたって
- 「マルチメディアコミュニケーションシステム」の編集にあたって
- 未来社会とIT(情報技術の新時代に向けて)
- A Decentralized Coordinator for Committee Coordination Problem
- 形式的仕様記述言語LOTOSの教育支援システムの設計
- 50周年と新たな旅たち : 会長就任にあたって
- ネットワークモビリティ環境におけるモバイルデバイス監視技術の開発(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- 共生型協働作業支援のための開放型三次元ディジタル空間構成法(情報社会のデザイン:Inter Societyと実世界アプリケーション)
- オブジェクトのインタラクションに基づく3次元仮想協調作業環境のためのアプリケーション間連携方式の提案(ヘルスケアとコミュニケーション支援,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- 通信・放送機構 ギガビットネットワーク研究開発プロジェクト直轄研究の紹介 : アプリケーション研究を中心として
- ホームエジェントヘバッファリング機能の追加によりモバリルIPのマクロモビリティパフォーマンス向上に関する研究(セッションA-3)(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信及び一般)
- 新たな50年へ向けて-心に木を植える-
- 移動ネットワークにおける効率的な管理情報の収集制御方式
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- 動的ネットワーキングにおけるメディア配送機能の設計
- ネットワークモビリティ環境における管理情報の効率的な収集手法(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- ネットワークモビリティ環境における管理情報の効率的な収集手法(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- ネットワークにおける侵入検知モデルの提案
- ネットワークにおける侵入検知モデルの提案
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- センサネットワークにおける位置情報を用いないルーティング方式の検討(セッション6:アドホックネットワーク・センサーネットワーク)
- アドホックネットワークにおける階層型複数経路構築手法の評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- アドホックネットワークにおける階層型複数経路構築手法の評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- B-7-118 ストレス耐性ワイヤレスサービスにおける基地局選択法 (2) : 実証システムの構成
- B-7-117 ストレス耐性ワイヤレスサービスにおける基地局選択法 (1) : マルチエージェントに基づく端末間協調
- ネットワークモビリティ環境におけるモバイルデバイス監視技術の開発(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- MobileIPv6ネットワーク管理における移動端末情報の監視手法(無線ネットワーク,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- イントラネット閉域通信グループの構築に適した安全な鍵配送方式とその運用管理方式
- K-042 3D作業空間のためのモデル集約によるスケーラブルな知覚品質制御法(教育工学・福祉工学・マルチメディア応用,一般論文)
- ホームエジェントヘバッファリング機能の追加によりモバリルIPのマクロモビリティパフォーマンス向上に関する研究(セッションA-3)(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信及び一般)
- ホームエジェントヘバッファリング機能の追加によりモバリルIPのマクロモビリティパフォーマンス向上に関する研究(セッションA-3)(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信及び一般)
- 動的マーキングを用いた効率的なネットワーク攻撃追跡手法の提案
- GUI-based統合型ネットワーク性能評価手法に関する検討(オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- BS-7-5 高速シミュレーション手法に関する検討(BS-7.ネットワーク性能評価技術の新展開,シンポジウムセッション)
- マルチリングネットワークにおける効率的な光パス設定方式に関する検討(フォトニックネットワーク/制御,光制御(波長変換・スイッチング等),光波/量子通信,GMPLS,一般)
- データセントリックセンサネットワークにおけるルーティング方式の検討(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- ワイヤレスネットワークシステムにおけるシームレスユーザ認証方法に関する考察(セキュア・ワイヤレスネットワーク,マルチメディア,分散,協調とモバイル(DICOMO2005))
- アドホックネットワークにおける階層型複数経路構築手法の検討
- ダイナミックグループ暗号信号のための鍵更新システムの提案と評価(情報セキュリティ応用)
- サービス不能攻撃の経路追跡手法の効率化に関する検討(ネットワークセキュリティ)
- インタワーキングマルチメディアサービス制御方式
- オブジェクト指向に基づいたマルチメディア・アプリケーションの呼モデルの検討
- 高度INに基づいたマルチメディアサービス制御方式
- 相互接続試験系列生成システム : TESGEN
- An Efficient Method for Private Network Management Using IP Address Translation
- Realization Method of Flexible Private Network System
- Proposal of a Key Sharing Method for Secure Communication Systems
- 4S-8 通信グループ分散管理手法の一検討
- セキュアマルチキャスト鍵配布方式に関する検討
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- L-013 モバイルIPネットワークにおけるフロー挙動に基づくトラフィック分類手法(ネットワーク・セキュリティ,一般論文)
- 6D-2 エージェント間協調によるレストランガイドシステムに関する一考察(人工知能一般(2),一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- Wide-area Group Communication Protocols : International Experiment
- マルチメディア会議システムにおけるメディア同期制御機能の実装と評価
- MobileIPv6ネットワーク管理におけるMobileIPv6-MIBの応用(モバイル・アドホックネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- フロー解析に基づくネットワーク障害箇所推定手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- フロー解析に基づくネットワーク障害箇所推定手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- フロー解析に基づくネットワーク障害箇所推定手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- Extension of Synthesis Algorithm of Recursive Processes to $\mu$-calculus
- 次世代ネットワークの監視技術に関する研究
- センサネットワークにおける回帰分析を用いたノード位置推定手法の提案(ネットワーク,通信技術の未来を拓く学生論文)
- データセントリックセンサネットワークにおける地理的位置情報を必要としないルーティング方式の提案と評価
- RDB 処理の分散コンポーネント構築支援方式
- RDB 処理の分散コンポーネント構築支援方式
- 次世代ネットワークの監視技術に関する研究
- VisuMotion : コミュニケーションのための情報の内容の構造化方式の一考察
- Reliable Total Dominant Pruning : MANETのための部分的ユニキャスト : 再送による高信頼フラッディング方式(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- Reliable Total Dominant Pruning : MANETのための部分的ユニキャスト : 再送による高信頼フラッディング方式(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- Reliable Total Dominant Pruning : MANETのための部分的ユニキャスト : 再送による高信頼フラッディング方式(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- RDB処理の3階層コンポーネント構築の一方式
- 同期データーの伝送遅滞時間特性を改善する改良型Timed Token Protocolの提案と評価
- やわらかいシステムの適応性に関する一考察
- 02 JGNを用いたTAO直轄研究(JGN発足時のTAOリサーチセンター)(ジャパンギガビットネットワーク)
- 分散エージェントとマルチメディアコミュニケーション
- 通信システムとその仕様記述の学習支援システムの構成について
- ネットワークトラフィッタの監視について(インターネットの測定・性能評価技術,及び一般)
- Graphical Interface for Representation of LTS
- 通信プロトコルの機構に関する一考察
- A New Light-Path Setup Scheme for Dynamic Traffic in Ring-based Optical Networks
- 隣接端末数に基づく経路構築手法の提案
- 隣接端末数に基づく経路構築手法の提案
- ゾーンに基づく複数経路構築手法の評価
- ゾーンに基づく複数経路構築手法の評価
- P2PストリーミングにおけるNAT越えを考慮した配信木構築手法の検討