m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 僕は、クリーネ代数に批判的なことを言ったりしています。例えば、古く（2005年）は「実はKleene代数は好きじゃない」、最近（2014年）では「クリーニ代数と圏論」とか。批判の対象にするということは、それに興味を持っているということです。興味がないものは批判さえしません。僕はもちろん、クリーネ代数に興味を持ち続けています。でも、「これじゃ足りない」感があるのです。その感じを記します。不足を補う方針にも言及します。過去の記事への参照をたくさん入れますが、それにより、僕がこの話題の周辺を長年ウロウロしていることが分かるでしょう。内容： プログラムの代数としてのクリーネ代数 クリーネ代数では表せな… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20151019%2F1445219899" title="クリーネ代数への批判と賞賛： プログラムのモデル色々 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%5Cotimes Hatena Blog https://hatena.blog 2015-10-19 10:58:19 rich https://m-hiyama.hatenablog.com/entry/20151019/1445219899 1.0 100%