tw.log

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

20091005 13:07	interfaceにin契約書けない言語仕様だと、契約の継承 http://www.dsource.org/projects/dmd/changeset/197 って入れても使う機会あるんかな…。
20091005 18:39	決定不能の会の予習の予習として http://logic.pdmi.ras.ru/Hilbert10/history/history.html を読んでる。わかりやすくて面白い

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