tw.log

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

20150330 11:35	RT @ranha: ポジショントークなんかで，何やら簡単な話がはじまる -> 色々と問題がある => そこで我々の〜（ただし，=> の所で蓋然性や自然さが霧消する）みたいなのを見るたびに，最初っから超展開ではじめて節約された時間で証明の説明をしろというの，ありまくる．

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