{"created":"2023-07-25T10:25:49.063173+00:00","id":4274,"links":{},"metadata":{"_buckets":{"deposit":"c587552b-bd4e-48c3-a4d5-b023a6fa3b29"},"_deposit":{"created_by":4,"id":"4274","owners":[4],"pid":{"revision_id":0,"type":"depid","value":"4274"},"status":"published"},"_oai":{"id":"oai:naist.repo.nii.ac.jp:00004274","sets":["34:35"]},"author_link":["9500","120","66"],"item_7_biblio_info_9":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2021-02-22","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"25","bibliographicPageEnd":"8","bibliographicPageStart":"1","bibliographicVolumeNumber":"2021-SE-207","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）","bibliographic_titleLang":"ja"}]}]},"item_7_description_7":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"プログラミング演習において，学生から提出されたプログラムを確認し内容に応じたフィードバックを返すことは教育上重要であるが，全ての提出を確認することは講師や TA にとって負担の大きい作業であり，効率化する方法が求められる．本研究では，プログラミング初学者を対象としたプログラミング演習において提出されたプログラムを，その計算手順の同一性によって自動分類する手法を提案する．提出されたプログラムから，類似した記述や間違いを含むものを自動でまとめることにより，グループとなった学生に同じフィードバックメッセージを送ることを可能とし，全てのプログラムを確認するコストの削減を目指す．具体的な方法としては，学生の提出したプログラム群に対して記号実行を適用し，実行パスごとのプログラムの出力値の計算式と出力条件を抽出し，それらの集合の同一性によってプログラムを同値類に分類する．授業で実際に作成されたプログラム群に対して，講師が手動で分類した結果を正解データとして，提案手法の有効性を評価した．","subitem_description_language":"ja","subitem_description_type":"Abstract"}]},"item_7_publisher_10":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"item_7_rights_11":{"attribute_name":"出版者URL","attribute_value_mlt":[{"subitem_rights":"http://id.nii.ac.jp/1001/00209580/"}]},"item_7_rights_18":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright (c) 2021 by the Information Processing Society of Japan ここに掲載した著作物の利用に関する注意 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 Notice for the use of this material The copyright of this materialis retained by the Information Processing Society of Japan (IPSJ).This material is published on this web site with the agreementof the author (s) and the IPSJ. Please be complied with CopyrightLaw of Japan and the Code of Ethics of the IPSJ if any users wishto reproduce, make derivative work, distribute or make availableto the public any part or whole thereof.  All Rights Reserved, Copyright (C) Information Processing Society ofJapan.  Comments are welcome. Mail to address editj＠ipsj.or.jp,please.","subitem_rights_language":"ja"}]},"item_7_source_id_12":{"attribute_name":"EISSN/PISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8825","subitem_source_identifier_type":"ISSN"}]},"item_7_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"西, 陽太","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"9500","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"石尾, 隆","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"66","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"60452413","nameIdentifierScheme":"e-Rad","nameIdentifierURI":"https://kaken.nii.ac.jp/ja/search/?qm=60452413"}]},{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"http://www.isni.org/isni/"}],"affiliationNames":[{"affiliationName":"","affiliationNameLang":"ja"}]}],"creatorNames":[{"creatorName":"松本, 健一","creatorNameLang":"ja"},{"creatorName":"マツモト, ケンイチ","creatorNameLang":"ja-Kana"}],"familyNames":[{"familyName":"松本","familyNameLang":"ja"},{"familyName":"マツモト","familyNameLang":"ja-Kana"}],"givenNames":[{"givenName":"健一","givenNameLang":"ja"},{"givenName":"ケンイチ","givenNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"120","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"70219492","nameIdentifierScheme":"e-Rad","nameIdentifierURI":"https://kaken.nii.ac.jp/ja/search/?qm=70219492"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2023-03-02"}],"displaytype":"detail","filename":"IPSJ-SE21207025.pdf","filesize":[{"value":"939.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"fulltext","objectType":"fulltext","url":"https://naist.repo.nii.ac.jp/record/4274/files/IPSJ-SE21207025.pdf"},"version_id":"caed1059-90ab-4bd7-ad41-87032e6b5292"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"プログラム自動生成と教育支援","subitem_subject_language":"ja","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"プログラミング入門科目における提出プログラムのセマンティクスを考慮した自動分類手法","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"プログラミング入門科目における提出プログラムのセマンティクスを考慮した自動分類手法","subitem_title_language":"ja"}]},"item_type_id":"7","owner":"4","path":["35"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2021-04-16"},"publish_date":"2021-04-16","publish_status":"0","recid":"4274","relation_version_is_last":true,"title":["プログラミング入門科目における提出プログラムのセマンティクスを考慮した自動分類手法"],"weko_creator_id":"4","weko_shared_id":-1},"updated":"2024-01-16T04:40:09.243727+00:00"}