tw.log

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

20090802 01:40	http://atnd.org/events/1228 勢いで参加登録してみた。しかしよく考えたら決定不能であることは知ってるけど証明を知らない問題がとっさに思いつかない
20090802 01:44	いや、そういえば僕はPCPの決定不能性の証明を知らない。これはいかん
20090802 01:48	@fkm ごめん今ちょっと深刻に時間がない＞＜

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