2012-05-29から1日間の記事一覧
昨日の記事「テスト付きクリーネ代数とその使い方」において、デクスター・コゥゼン(Dexter Kozen)のテスト付きクリーネ代数(Kleene Algebra with Test; KAT)は幾分使いにくい所があると書きました。それで、圏論的に書きなおそうと試してみました。やっ…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
昨日の記事「テスト付きクリーネ代数とその使い方」において、デクスター・コゥゼン(Dexter Kozen)のテスト付きクリーネ代数(Kleene Algebra with Test; KAT)は幾分使いにくい所があると書きました。それで、圏論的に書きなおそうと試してみました。やっ…