プログラムの実行時間を計る事と半環の代数 - 檜山正幸のキマイラ飼育記 (はてなBlog)「零の概念とmax-plus半環の紹介」において： max-plus半環やmin-plus半環の計算技術は、トロピカル代数（tropical algebra、より一般にはエキゾチック代数）と呼ばれたりします。[...snip...] 例えば、プログラム意味論に計量的な要素を入れるとき、トロピカル代数が使えそうです。 実際にトロピカル代数を使ってプログラムの実行時間を計って*1みます。 「零の概念とmax-plus半環の紹介」で導入した概念は断りなしに使います。内容はまだ生煮えなところがあります。 内容： プログラムのモノイドとプログラムの半環 プログラムの実行時間 実行時間の計測値となる半環 もっと精密に実行時間を記録するには まだ精密さが足りないと思うなら プログラムのモノイドとプログラムの半環 p, q などはプログラムを表すとします。プログラムの全体をMとします。当然に、その「プログ
