2005-04-13 「プログラム仕様記述論」 プログラミング 読みかけ。 プログラムの証明について、証明図を書く方法が説明されていて、難しくはないのに、なかなかめんどう。 「証明できる」ということが、どうも喜びに結びつかない感じ。