2005-06-07 型変数 先生が \tau \neq \beta \vee \beta \in FV(\phi)とかメールに書いててちょっと面白かった。この業界の人は、メールでもtex書くのね、と。は、「τは型変数ではない」という意味だったらしい。