「正規（regular）」とは何なんだ？ 3 補足、実例など : 再帰テンプレート、ミュー項、それによる表現力の増強（代数系の拡大に対応する）などの実例を挙げる。例には、極端に単純化したXML風データ Tiny Toy XML を用いる。 なんとか予定が守れました。

> なんか、書きかけの記事がたまってきたなー。（昨日） 2005-04-12から言っているindexed categoriesの解説 「『正規（regular）』とは何なんだ」その3 types as indexed-categories解釈 他にもいくつか。あれもこれもと思っても、人手は一人だけだからなー…