まったく何もやる気がしなかったので、今日は一日ぐぅたら生活。燃え尽き症候群か（違 つか明日は面接なのだった。待ち時間には課題が出来るといいんだが。

なんか最近プログラムの記事ばっかなので、今日は趣向を変えると見せかけてまたプログラムの記事。Church 数の前者関数は、ペアを使って let pred n = fst (n (fun (x,y) -> (y,y+1)) (0,0))みたいにすると割と簡単に作れるものの、かなり複雑になる。機械的…