情報処理学会 第80回全国大会講演要旨

近年、プログラミング学習を支援するシステムとして、オンライン・ジャッジ・システムが利用されている。オンライン・ジャッジ・システムでは、プログラムへの入力とそれに対する正しい出力の対をテストケースの形で用意し、解答プログラムの正解・不正解を判断している。したがって、問題の意図とかけ離れた解答プログラムであっても、出力結果が正しければ正解と判断されてしまうという問題がある。本発表では、解答プログラムを LLVM を用いて中間コードに変換し、問題の意図に合致した解答プログラムであるか否かを分析する手法について提案する。