| 講演名 | 2021-03-06 試験問題の自動採点が行えるプログラミング言語の検討 田辺 良則(鶴見大), 萩谷 昌己(東大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 多人数が受験する試験でプログラミングの問題を出題する時，自動採点が行えると便利である．入力とその正解を多数用意して，提出されたプログラムがこれらの入力に対して正解を出力するか調べる方法では，正しくないプログラムを正しいと誤判定する可能性がある．本研究では，Presburger算術の充足可能性判定を利用して，答案のプログラムの正しさを自動的に判定できるようなプログラミング言語を提案する．実際に作成したいくつかの試験問題について，解答の自動採点が可能であることを確認した． |
| 抄録(英) | Automatic scoring is a desirable feature when conductingprogramming examinations that many people take. By preparing a large number of inputs and corresponding outputsand checking whether the submitted program generates expectedresults, incorrect programs can be mistakenly judged as correct. In this study, we propose a programming language and a method thatcan automatically judge the correctness of the answer program byusing the satisfiability judgment of Presburger arithmetic. It wasconfirmed that an implementation of the method effectively gradesthe answers. |
| キーワード(和) | プログラミング / 自動採点 / 試験 / プログラミング言語 / SMTソルバ / Presburger算術 |
| キーワード(英) | programming / automatic scoring / examination / programming language / SMT solver / Presburger arithmetic |
| 資料番号 | KBSE2020-42 |
| 発行日 | 2021-02-26 (KBSE) |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2021/3/5(から2日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | 一般，学生 |
| テーマ（英） | |
| 委員長氏名（和） | 中川 博之(阪大) |
| 委員長氏名（英） | Hiroyuki Nakagawa(Osaka Univ.) |
| 副委員長氏名（和） | 猿渡 卓也(NTTデータ) |
| 副委員長氏名（英） | Takuya Saruwatari(NTT Data) |
| 幹事氏名（和） | 菊地 奈穂美(OKI) / 金子 朋子(NII) |
| 幹事氏名（英） | Nahomi Kikuchi(OKI) / Tomoko Kaneko(NII) |
| 幹事補佐氏名（和） | 小形 真平(信州大) / 槇原 絵里奈(同志社大) |
| 幹事補佐氏名（英） | Shinpei Ogata(Shinshu Univ.) / Erina Nakihara(Doshisha Univ,) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 試験問題の自動採点が行えるプログラミング言語の検討 |
| サブタイトル（和） | |
| タイトル（英） | Examining programming languages that enable automatic scoring |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プログラミング / programming |
| キーワード(2)（和/英） | 自動採点 / automatic scoring |
| キーワード(3)（和/英） | 試験 / examination |
| キーワード(4)（和/英） | プログラミング言語 / programming language |
| キーワード(5)（和/英） | SMTソルバ / SMT solver |
| キーワード(6)（和/英） | Presburger算術 / Presburger arithmetic |
| 第 1 著者 氏名（和/英） | 田辺 良則 / Yoshinori Tanabe |
| 第 1 著者 所属（和/英） | 鶴見大学(略称：鶴見大) Tsurumi University(略称：Tsurumi Univ.) |
| 第 2 著者 氏名（和/英） | 萩谷 昌己 / Masami Hagiya |
| 第 2 著者 所属（和/英） | 東京大学(略称：東大) University of Tokyo(略称：Univ. of Tokyo) |
| 発表年月日 | 2021-03-06 |
| 資料番号 | KBSE2020-42 |
| 巻番号（vol） | vol.120 |
| 号番号（no） | KBSE-423 |
| ページ範囲 | pp.48-53(KBSE), |
| ページ数 | 6 |
| 発行日 | 2021-02-26 (KBSE) |