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

ご連絡は上記 X アカウントに DM にてお願いします。

[参照用 記事]

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

クリーネ代数への批判と賞賛: プログラムのモデル色々

僕は、クリーネ代数に批判的なことを言ったりしています。例えば、古く(2005年)は「実はKleene代数は好きじゃない」、最近(2014年)では「クリーニ代数と圏論」とか。批判の対象にするということは、それに興味を持っているということです。興味がないも…