https://twitter.com/kinaba のログ (twilog の方が便利です。)
| IF について色々読んでる。http://en.wikipedia.org/wiki/Independence-friendly_logic の文献の一番上にある Feferman の批判が一番おもしろかった。量化子がその性質として一階か二階か云々 | |
| 量化子をつける順番によって依存関係が生じる。それこそがcompositionalityにつながっていて、逆に非依存性を表現しようとする方が難しい。 | |
| branching-quantifier っぽい型システムって何か意味あるもの考えられてるのかな | |
| "folklore result" って日本語で言うとどう訳せばいいだろう |