2008-08-20 今やりたいこと色々 dependent type programming(依存型) VM作る(狭義のVMWareとかのVMじゃなくて) HTMLとは何者か、その周辺を今のプログラミング言語界と照らし合わせて考える うみねこやりまくる ICPCの練習そろそろやる MONSTER全部読み終わったので、20世紀少年