| No | 49247 |
|---|---|
| 標題（和） | 形式的仕様記述言語LOTOSの教育支援システムの設計 |
| 標題（英） | The Design of Education Support System for Specification Language LOTOS |
| 研究会名（和） | 交換システム; 情報ネットワ-ク; 通信方式 |
| 研究会名（英） | Switching Systems Engineering; Information Networks; Communication Systems |
| 開催年月日 | 1993-09-30 |
| 終了年月日 | 1993-10-01 |
| 会議種別コード | 2 |
| 共催団体名（和） | |
| 資料番号 | SSE93-82 // IN93-89 // CS93-105 |
| 抄録（和） | 通信システムの仕様記述言語の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. |
| 収録資料名（和） | 電子情報通信学会技術研究報告 |
| 収録資料の巻号 | Vol.93 No.256,257,258,259,260,261 |
| ページ開始 | 111 |
| ページ終了 | 116 |
| キーワード（和） | 演習支援 |
| キーワード（英） | Similarity |
| 本文の言語 | JPN |
| 著者（和） | 白鳥則郎 |
| 著者（ヨミ） | シラトリノリオ |
| 著者（英） | Shiratori Norio |
| 所属機関（和） | 東北大学 |
| 所属機関（英） | Tohoku University |
| 著者（和） | 王家よう |
| 著者（ヨミ） | オウカヨウ |
| 著者（英） | Ou Kayou |
| 所属機関（和） | 東北大学 |
| 所属機関（英） | Tohoku University |
| 著者（和） | 朴美娘 |
| 著者（ヨミ） | バクミラン |
| 著者（英） | Park MiRang |
| 所属機関（和） | 東北大学 |
| 所属機関（英） | Tohoku University |