書きかけ

> なんか、書きかけの記事がたまってきたなー。（昨日）

1. 2005-04-12から言っているindexed categoriesの解説
2. 「『正規（regular）』とは何なんだ」その3
3. types as indexed-categories解釈

他にもいくつか。

あれもこれもと思っても、人手は一人だけだからなー、しょうがない。と、開き直ることにします。

できれば今日中に、「『正規（regular）』とは何なんだ 3」か「types as indexed-categories解釈」のどちらかはアップロードしたい。