LLSprit

llspritいってきました。

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