ここを読んでいるような方は飽きるぐらい聞いている話（もしくは釈迦に説法）かもしれませんが、一応の宣伝。http://itpro.nikkeibp.co.jp/article/COLUMN/20060912/247768/ 数理科学的バグ撲滅方法論のすすめ：第2回「単一代入」と「末尾再帰」