| 講演名 | 2022-03-09 初級者を対象としたプログラミング試験のためのシステムについて 田辺 良則(鶴見大), 萩谷 昌己(東大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 著者らは，Presburger算術に基づいたプログラミング言語を用いて，プログラミング初級者に対する試験における自動採点の方式を提案している．本論文では，この方式による採点システムの実現について述べる．自動採点を実現するための制約に起因する，初級者が躓きやすい構文上の難しさを緩和するために，ビジュアルプログラミング環境を導入する．この環境で解答者が作成したプログラムから生成されたソースコードの正しさを，記号実行をもとにしたアルゴリズムによって判定するものである．フィードバック方式など，試験の形態についても議論を行う． |
| 抄録(英) | The authors have proposed an automatic scoring method in programming examinations for beginners using a programming language based on Presburger arithmetic. In this paper, we describe a system based on this method. We introduce a visual programming environment to alleviate the syntactic difficulties for beginners due to constraints of achieving automatic scoring. The correctness of the source code generated from the program created by the examinees in this environment is judged by an algorithm based on symbol execution. We also discuss the details of the testing method, such as the feedback method. |
| キーワード(和) | プログラミング / 自動採点 / 試験 / ビジュアルプログラミング / Presburger算術 |
| キーワード(英) | programming / automatic scoring / examination / visual programming / Presburger arithmetic |
| 資料番号 | KBSE2021-42 |
| 発行日 | 2022-03-02 (KBSE) |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2022/3/9(から2日開催) |
| 開催地（和） | オンライン開催(Zoom) |
| 開催地（英） | Online |
| テーマ（和） | 一般，学生 |
| テーマ（英） | General, Student |
| 委員長氏名（和） | 中川 博之(阪大) |
| 委員長氏名（英） | Hiroyuki Nakagawa(Osaka Univ.) |
| 副委員長氏名（和） | 猿渡 卓也(NTTデータ) |
| 副委員長氏名（英） | Takuya Saruwatari(NTT Data) |
| 幹事氏名（和） | 小形 真平(信州大) / 槇原 絵里奈(同志社大) |
| 幹事氏名（英） | Shinpei Ogata(Shinsｈu Univ) / Erina Nakihara(Doshisha Univ,) |
| 幹事補佐氏名（和） | 小島 英春(阪大) / 柏 祐太郎(九大) |
| 幹事補佐氏名（英） | Hideharu Kojima(Osaka Univ.) / Yutaro Kashiwa(Kyushu Univ,) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 初級者を対象としたプログラミング試験のためのシステムについて |
| サブタイトル（和） | |
| タイトル（英） | On a test system for programming test for beginners |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プログラミング / programming |
| キーワード(2)（和/英） | 自動採点 / automatic scoring |
| キーワード(3)（和/英） | 試験 / examination |
| キーワード(4)（和/英） | ビジュアルプログラミング / visual programming |
| キーワード(5)（和/英） | Presburger算術 / Presburger arithmetic |
| 第 1 著者 氏名（和/英） | 田辺 良則 / Yoshinori Tanabe |
| 第 1 著者 所属（和/英） | 鶴見大学(略称：鶴見大) Tsurumi University(略称：Tsurumi Univ.) |
| 第 2 著者 氏名（和/英） | 萩谷 昌己 / Masami Hagiya |
| 第 2 著者 所属（和/英） | 東京大学(略称：東大) University of Tokyo(略称：Univ. of Tokyo) |
| 発表年月日 | 2022-03-09 |
| 資料番号 | KBSE2021-42 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | KBSE-424 |
| ページ範囲 | pp.7-11(KBSE), |
| ページ数 | 5 |
| 発行日 | 2022-03-02 (KBSE) |