2012-05-28から1日間の記事一覧
テスト付きクリーネ代数（Kleene Algebra with Test; KAT）は、非決定性プログラムの分析のために、デクスター・コゥゼン（Dexter Kozen）により導入された代数構造です。このダイアリーで以前、テスト付きクリーネ代数について書いた記憶があるので日記内検…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
［参照用 記事］
