tw.log

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

20161119 21:26	forall x. x＞やる気
20161119 21:29	@kinaba よく考えたらこれではやる気というものが存在すると仮定するとやる気＞やる気となって矛盾するし、やる気というものが存在しないことが示された（適当）

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