プログラミング・セミナー_プログラム検証論やぶにらみ