https://twitter.com/kinaba のログ (twilog の方が便利です。)
| #anarchyproof PEXP （通称：ぺっぺけぺー） ぜんぜん証明が終わらない。むむう…自然数怖い… | |
| 入門: 1 2 3 4 5 14 21 簡単: 7 9 10 12 17 22 むずい: 6 8 11 13 15 16 18 19 20 という印象。1-5が終わった後にSqrt 2にとりかかる人は相当マゾい… #anarchyproof | |
| Third-Order Idealized Algol って名前の格好良さが異常 | |
| Coqの入門記事を書く会 (1) http://d.hatena.ne.jp/hzkr/20100902#p1 |