tw.log

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

<<newer (latest) older>>

20090418 08:31 おきたー。@ikegami__ さんの発表が面白そうなことになっている
20090418 08:39 @Gedluv おはようございますー
20090418 08:46 List<int n> だけじゃなくて List<int n, Axiom> Axiom というか Environment まで持ち回る形にすれば長さ保証付き quicksort を C++ や D の型レベル計算でチェックできる気がするなーということを思いついたがめんどい
20090418 09:03 今晩SRMあるのか。久しぶりだ
20090418 11:29 @soutaro 了解でし
20090418 11:55 @shelarcy @bonotake 把握
20090418 12:20 【型レベルプログラミングの会:ustream】 http://www.ustream.tv/channel/typelevel
20090418 23:19 二次会おわた

<<newer (latest) older>>

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