プログラミング学習において学習者が作成したプログラムが教育者の意図に合致しているかをチェックするプルーフリーダを試作した．プログラミング学習では，学習者は課題の実行結果例などを参考にプログラムの動作確認をし，同じ出力が得られたら課題を終了していることが多い．しかし，学習者が作成したプログラムは教育者が意図した「きれいに書かれたプログラム」とは限らない．「きれいに書かれたプログラム」の判断基準は課題毎に異なるが，本研究ではこれを整理し，教育者が作成した模範解答プログラムと学習者のプログラムを比較して，教育意図に合っていない「汚く書かれたプログラム」を発見して指摘するプルーフリーダを試作した．