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

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

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

参照用 記事

2018-10-19から1日間の記事一覧

クリーネ代数: 不等式的定義と等式的定義

「クリーネ代数 再論」で、クリーネ代数の定義を(いまさらに)述べたのですが、不等式と等式に関してちょっと微妙なところがあります。最小な前不動点は不動点になるクリーネ代数もコンウェイ半環も、最小不動点を扱う代数系だと言えます。最小不動点と最小…