このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

不動点をめぐる代数構造たち

2005-05-09エントリ「『Kleene代数』のプレッシャー(汗)」で、

Kleene代数に関して、Web上で日本語によるまともな情報がないってことだろうか?

なんて書いたけど、そんなことはないですね。お手軽ではないけど良い情報があります。

木下佳樹さん「不動点をめぐる代数構造たち」(http://unit.aist.go.jp/it/japanese/ps02-005.pdf)なんて、素晴らしい。D. Kozenの"Typed Kleene Algebra"を読んだことはあるのだけど、なんか違和感があった。これでスッキリしました。