2005-04-26から1日間の記事一覧
「正規(regular)」とは何なんだ? 3 補足、実例など : 再帰テンプレート、ミュー項、それによる表現力の増強(代数系の拡大に対応する)などの実例を挙げる。例には、極端に単純化したXML風データ Tiny Toy XML を用いる。 なんとか予定が守れました。
> なんか、書きかけの記事がたまってきたなー。(昨日) 2005-04-12から言っているindexed categoriesの解説 「『正規(regular)』とは何なんだ」その3 types as indexed-categories解釈 他にもいくつか。あれもこれもと思っても、人手は一人だけだからなー…