Kleene代数やKleene圏に関する情報は「算譜科学研究速報」（http://unit.aist.go.jp/cvs/techrep.html）にたくさんある。

グロッサランダム（Glossarandom） : 「グロッサランダム」は、glossary + random に由来する造語by檜山。一貫性、体系性などには拘泥も頓着もせず、言葉の定義や注釈をランダムに書き連ねる。 「ただゴチャゴチャ、ベタベタと書いていくだけの方法」を採用…

僕の日記カテゴリー（分類用タグ）は、あまり多くありません（これでも最近増えてきたのだけど）。もともと、分類が苦手だし、嫌いだし、分類の意義を評価してないところがあるんですね。本気で分類しはじめると潔癖になって消耗して、それでも不満を感じる…