このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

忘れそうなこと!マルコフ定理、テンプレート言語

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