tw.log

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

20150316 23:12	"Extensional axiom of choice という公理があるらしい" http://lkozima.hatenablog.com/entry/2015/03/14/020319 リンクされてる2年前の記事も含めておもしろかった。

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