Software foundation 
Benjamin C. Pierce
の最初を読みました。

http://www.cis.upenn.edu/~bcpierce/sf/

http://proofcafe.org/sf/

参加者は9人
さいかわさんは4時半に会合のため退席