ＴＡの採点

普段からもっとソースコードを大切にしてほしいと訴えているにもかかわらず、自分が採点するという大量のソースコードをチェックしなければならない立場に立つと、これほどほどかったるいものはない。
プログラムの意味的な部分に形式的検証をかけて自動で採点する、とか大量のテストパターンを駆使して入出力のブラックボックステストを行うとかすれば良いんだろうけど、それができないから悩みの種がひとつふたつと増えていく。
入力方法好き勝手、出力方法好き勝手、こんなソースコードの採点を毎週１００以上もやらなきゃいけないかと思うと…