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