tw.log

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

20150203 01:18	@qnighy 恒真性というと∀っぽいのでco-っぽいけど証明可能性というと∃っぽいので逆な感じ、というのが根にあるんだと思うんですけど、それを個々の論理体系の比較で考えたことなかったです。なんか自分の感覚では対照的というよりは線形論理が一方的におかしい(褒め言葉 #釣られた
20150203 13:12	C(ryさんが冬眠から目覚めかけている

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