https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @salmonsnare ( ﾟ 皿ﾟ)やあ | |
| @mr_konn 一言で言うと Definition proof_irrelevance := forall (A:Prop) (a1 a2:A), a1 = a2. 証明は、型が同じなら、どう証明したかの詳細とは無関係に全て等しい | |
| r111111 まであと１週間（推定値）…ごごごご http://build.chromium.org/p/chromium/console | |
| @xyx_is その論文はおもしろいですオススメ | |
| 「そういえば○○は△△な人たちが好きそうだから流行ればいいのに」というテンプレを流行らせることで、皆様がちょっと気になってるテクニカルタームを収集して楽しみたい | |
| @finalfusion 僕意識高くないですし…（僕の中の認識では意識高い≒圏論圏論言ってる） |