m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「零の概念とmax-plus半環の紹介」において： max-plus半環やmin-plus半環の計算技術は、トロピカル代数（tropical algebra、より一般にはエキゾチック代数）と呼ばれたりします。[...snip...] 例えば、プログラム意味論に計量的な要素を入れるとき、トロピカル代数が使えそうです。 実際にトロピカル代数を使ってプログラムの実行時間を計って*1みます。 「零の概念とmax-plus半環の紹介」で導入した概念は断りなしに使います。内容はまだ生煮えなところがあります。内容： プログラムのモノイドとプログラムの半環 プログラムの実行時間 実行時間の計測値となる半環 も… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20141110%2F1415574862" 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=%5Codot Hatena Blog https://hatena.blog 2014-11-10 08:14:22 rich https://m-hiyama.hatenablog.com/entry/20141110/1415574862 1.0 100%