tw.log

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

<<newer (latest) older>>

20111028 02:23 @john_229 Mountain View という街におります。サンフランシスコのすぐ南
20111028 13:33 @_uwanosora_ ツリー(単一継承)に対しては割とよく研究されていると思いますが、多重継承に対しては私もよく知らないので、なにか思いついたらぜひ教えて下さい!
20111028 15:49 アイコンで人を見分けてる人からは3日くらいは僕が発言してることを気づかれないのをいいことに適当な発言をするか
20111028 16:07 Trans-Pacific Theorem Proving and Provers Partnership TPTPPP http://staff.aist.go.jp/reynald.affeldt/tpp2011/ などに発展するとどうだろうか
20111028 16:14 http://www.cs.miami.edu/~tptp/ Thousands of Problems for Theorem Provers か。カッコイイ。
20111028 16:30 適当な発言をしようと思ってするのは難しいな

<<newer (latest) older>>

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