今日の時点では、僕の「Kleene代数とその周辺」がgoogle:Kleene代数でトップに来ます。注1を見ると笑えるかも。
しかし、これは書きかけなんだよなー、Kozenのテキストも参考にして続きを書くことにしよう。いつできるかな?
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
今日の時点では、僕の「Kleene代数とその周辺」がgoogle:Kleene代数でトップに来ます。注1を見ると笑えるかも。
しかし、これは書きかけなんだよなー、Kozenのテキストも参考にして続きを書くことにしよう。いつできるかな?