| 講演名 | 1993/10/1 形式的仕様記述言語LOTOSの教育支援システムの設計 朴 美娘, 王 家庸, 白鳥 則郎, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 通信システムの仕様記述言語の1つであるLOTOSの演習支援を行う教育支援システムについて述べる。本教育支援システムは、通信ネットワークや仕様記述言語の学習に関する支援とその仕様記述言語LOTOSの演習に関する支援から構成されている。特に、本教育支援システムでは学習者の理解状態を評価する方法として、演習問題に対する学習者の解答と正解がどの程度似ているかを表す手段として類似度の概念を導入する。そして学習者の解答の誤り箇所の検出と指摘を行い、正解に基づく修正のための助言機能を持っている。本稿では、これらのうち特に類似度を用いた演習支援について述べる。 |
| 抄録(英) | In this research,we present the design of an education support system that supports exercises problems of a specification language LOTOS on the communication system.This system consists of: (I)a support part for learning of specification language and information communication network,and(2)a support part for exercises problems of the LOTOS.In particular,in this education support system,we introduce the concept of similarity as a method to estimate how much the learner could understand.And it performs an error detect of learner solutions and give the learner advice to make correction based on the answer from the system. |
| キーワード(和) | 通信システム / 仕様記述言語 / LOTOS / 教育支援システム / 類似度 / 演習 支援 |
| キーワード(英) | Communication Systems / Formal description technique / LOTOS / Education support system / Similarity |
| 資料番号 | SSE93-82,IN93-89,CS93-105 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SSE |
|---|---|
| 開催期間 | 1993/10/1(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Switching Systems Engineering (SSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 形式的仕様記述言語LOTOSの教育支援システムの設計 |
| サブタイトル（和） | |
| タイトル（英） | The Design of Education Support System for Specification Language LOTOS |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 通信システム / Communication Systems |
| キーワード(2)（和/英） | 仕様記述言語 / Formal description technique |
| キーワード(3)（和/英） | LOTOS / LOTOS |
| キーワード(4)（和/英） | 教育支援システム / Education support system |
| キーワード(5)（和/英） | 類似度 / Similarity |
| キーワード(6)（和/英） | 演習 支援 |
| 第 1 著者 氏名（和/英） | 朴 美娘 / MiRang Park |
| 第 1 著者 所属（和/英） | 東北大学 Tohoku University |
| 第 2 著者 氏名（和/英） | 王 家庸 / Kayou Ou |
| 第 2 著者 所属（和/英） | 東北大学 Tohoku University |
| 第 3 著者 氏名（和/英） | 白鳥 則郎 / Norio Shiratori |
| 第 3 著者 所属（和/英） | 東北大学 Tohoku University |
| 発表年月日 | 1993/10/1 |
| 資料番号 | SSE93-82,IN93-89,CS93-105 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 257 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |