tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

20101005 21:06	#Coq Extractionしたときに消す物= A∨B、消さない物= {A}+{B}。
20101005 21:14	ハッシュタグ… http://twitter.com/naoya_t/statuses/26439597076
20101005 21:32	急用ができたのでコンビニ行ってきた。 http://twitpic.com/2uuy3f
20101005 21:36	ふつうのメロンソーダの味と香りと色だなー。アイスクリーム浮かべたい

presented by k.inaba (kiki .a.t. kmonos.net) under