2007-08-05から1日間の記事一覧

最近

バイトとか、研究室とか、ボランティアとかでぜんぜん自分のプログラミングができていなかった。 自分ではもっと上手に時間を使いたいと思うのだけど、ぜんぜんできる気配がない。自分には思いついたことを後先考えずに実行する能力が足りていないみたいだ。…

llspritいってきました。

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