Kleene代数とその周辺

• Kleene代数とその周辺

飼育記の2005-05-26から2005-05-30にかけて書いたKleene代数の話題です。日記エントリーをかき集めて肉付けすればいいかと思っていましたが、そうもいかないようです。長くなりそうなので、partial状態でアップロード。