2017SE092土岐 英暢プログラミング学習における部分実行を用いた理解支援方法の提案―繰り返し文を対象として― 2019SE032眞弓 遥紀添字変数の制約条件の導出によるバッファオーバーランの理解支援 2019SE034宮川 頌之佑添字変数の制約条件の導出によるバッファオーバーランの理解支援