研究課題/領域番号 |
20K03146
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分09070:教育工学関連
|
研究機関 | 信州大学 |
研究代表者 |
小形 真平 信州大学, 学術研究院工学系, 准教授 (10589279)
|
研究分担者 |
香山 瑞恵 信州大学, 学術研究院工学系, 教授 (70233989)
岡野 浩三 信州大学, 学術研究院工学系, 教授 (70252632)
槇原 絵里奈 同志社大学, 理工学部, 助教 (90822875)
|
研究期間 (年度) |
2020-04-01 – 2023-03-31
|
キーワード | ソフトウェア工学教育 / モデリング / 教育支援 / ステートマシン図 / 誤り検出 / 静的解析 / 動的解析 / モデル検査 |
研究成果の概要 |
本研究は,状態遷移モデリングの学習で躓いている学習者を支援する手法の確立を目的とする.(1)学習者の躓きを自動検出するために,モデルの編集ログを分析する手法を実現した.そして,編集回数や編集時間,視線情報に基づき高精度に学習者の躓き箇所を特定できる見込みを示した.(2)モデルの誤りやモデルが満たさない要求を自動特定するために,状態遷移シミュレータやモデル検査により正答例・課題文と答案間の差異を解析する手法を実現した.本手法は(3)フィードバックの自動生成支援を含む.そして,本手法が誤りや満たさない要求を高精度で指摘できる見込みを示した.これらの成果は国内外の学会等で発表し,論文賞も受賞した.
|
自由記述の分野 |
ソフトウェア工学
|
研究成果の学術的意義や社会的意義 |
我が国の情報科目の必修化などに見られるように,社会問題を発見・解決するために情報技術は誰もが身につけるべき基礎技術となりつつある.ソフトウェアモデリングは,対象世界を抽象的かつ論理的に捉える技術の一つであり,社会的な問題を表現・整理できる技術になりうるが,未だ情報の専門領域にある技術であり,その技術を広めるには,教育人材や支援が不足している.本研究の成果は,状態遷移モデリングにおける基礎的な学習方法,これに基づく学習者の状態や答案の機械的な確認,その結果による教育支援に関する提案や知見である.これらは,学術的に例を見ず,また,将来的に教育コストを抑制する上で社会的な意義もあると期待される.
|