余代数Stream、代数List
図形言語における同型?
指標Σから生成される自由圏C
「Nippon no Kamisama no Myouna Kisochisiki」「CPU自作入門」
指標の図示
指標、オートマトン、正規表現
指標、オートマトン、正規表現 (2)
コボルティズム
コボルティズム (2)
コボルティズム (3)
コボルティズム (4)
associativity
pentagon axiom
pentagon axiom (2)
