| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2022-03-09 13:00 初級者を対象としたプログラミング試験のためのシステムについて ○田辺良則（鶴見大）・萩谷昌己（東大）  KBSE2021-42 |
|
| 抄録 | （和） | 著者らは，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 / / / | |
| 文献情報 | 信学技報, vol. 121, no. 424, KBSE2021-42, pp. 7-11, 2022年3月. | |
| 資料番号 | KBSE2021-42 | |
| 発行日 | 2022-03-02 (KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | KBSE2021-42 |
|
| 研究会情報 | |
| 研究会 | KBSE |
| 開催期間 | 2022-03-09 - 2022-03-10 |
| 開催地（和） | オンライン開催 (Zoom) |
| 開催地（英） | Online (Zoom) |
| テーマ（和） | 一般，学生 |
| テーマ（英） | General, Student |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2022-03-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | 初級者を対象としたプログラミング試験のためのシステムについて |
| サブタイトル（和） | |
| タイトル（英） | On a test system for programming test for beginners |
| サブタイトル（英） | |
| キーワード(1)（和/英） | プログラミング / programming |
| キーワード(2)（和/英） | 自動採点 / automatic scoring |
| キーワード(3)（和/英） | 試験 / examination |
| キーワード(4)（和/英） | ビジュアルプログラミング / visual programming |
| キーワード(5)（和/英） | Presburger算術 / Presburger arithmetic |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 田辺 良則 / Yoshinori Tanabe / タナベ ヨシノリ |
| 第1著者 所属（和/英） | 鶴見大学 (略称： 鶴見大) Tsurumi University (略称： Tsurumi Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 萩谷 昌己 / Masami Hagiya / ハギヤ マサミ |
| 第2著者 所属（和/英） | 東京大学 (略称： 東大) University of Tokyo (略称： Univ. of Tokyo) |
| 講演者 | 第1著者 |
| 発表日時 | 2022-03-09 13:00:00 |
| 発表時間 | 30分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2021-42 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | no.424 |
| ページ範囲 | pp.7-11 |
| ページ数 | 5 |
| 発行日 | 2022-03-02 (KBSE) |
[研究会発表申込システムのトップページに戻る]