2006-09-08 忘れそうなこと!マルコフ定理、テンプレート言語 雑記 ブレイドのマルコフの定理は、ステファネスクの酵素公理や長谷川の一様性原理と関係あると思う。 昔、僕は、再帰方程式系のx=x、{x=x', x'=x} の扱いに困っていたが、マルコフの定理と関係するだろう。 テンプレート言語=テンプレートインスタンスの集合は、べき級数で表現できる。これは、クリーネ/フォック構成にもなっている。二進木のクレイジー計算とかとも関係する。 無音記号が時の刻みだと思った件。