2007-08-05 llspritいってきました。 LLSprit Coqが面白そうだった。どうやって全ての組み合わせを試すの？とか。 会場で買った本 Amazon.co.jp： Hacking: 美しき策謀 ―脆弱性攻撃の理論と実際: Jon Erickson,村上 雅章: 本 Amazon.co.jp： Make: Technology on Your Time Volume 01: オライリー・ジャパン: 本 Amazon.co.jp： Make: Technology on Your Time Volume 02: オライリー・ジャパン: 本
