tw.log
https://twitter.com/kinaba
のログ (
twilog
の方が便利です。)
<<newer
(latest)
older>>
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
ふつうのメロンソーダの味と香りと色だなー。アイスクリーム浮かべたい
<<newer
(latest)
older>>
presented by
k.inaba
(kiki .a.t. kmonos.net) under