ビジュアルプログラミングによるプログラミング試験について

• Item type: SIG Technical Reports(1)
• 公開日: 2023-02-04
• タイトル: ビジュアルプログラミングによるプログラミング試験について
• タイトル / 言語: en
• タイトル: On programming examination by visual programming
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 鶴見大学
• 著者所属: 東京大学
• 著者所属(英): en
• 著者所属(英): Tsurumi University
• 著者所属(英): en
• 著者所属(英): University of Tokyo
• 著者名: 田辺, 良則; 萩谷, 昌己
• 著者名(英): Yoshinori, Tanabe; Masami, Hagiya
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: プログラミング能力を測る試験を実施するシステムについて報告する．受験者はブロック部品を組み合わせて，問題の解答となるプログラムを作成・提出し，システムは自動採点を行う．出題者はブロック部品を定義することが可能で，望む粒度の部品を受験者に使用させることができる．自動採点には 2 つの方式があり，あらかじめ用意された入力に対して正しい出力が生成されるかどうかを判定する従来の方式の他，著者らが提案している Presburger 算術に基づいたプログラミング言語への変換を通して，記号実行によって正しさを検証する方式が選択できる．後者では，原理的に，不正解の提出を誤って正解と判定することはおこらない．本発表では，自動採点方式の比較や，コードを書かせる方式との比較などの議論を行う．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We report on a system that conducts examinations to measure programming ability. Examinees submit programs by combining block parts to answer questions, and the system automatically scores the programs. The question author defines the block parts to have an appropriate granularity for the examination. There are two automatic scoring methods: the traditional method of determining whether pre-prepared inputs produce the correct output and the authors' proposed method of symbolic execution through a programming language based on Presburger arithmetic. In the latter, in principle, incorrect submissions will not be misjudged as correct. We discuss the features of the two automatic scoring methods and compare the block parts method with the method of writing code.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096193
• 書誌情報: 研究報告コンピュータと教育（CE）; 巻 2023-CE-168, 号 21, p. 1-7, 発行日 2023-02-04
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8930
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会