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

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

拡張ダイクストラ法の参考になったこと

Caty 形式言語理論 DFD

妄想をたどるために使った概念や事実や定理：

  1. ブラーグマンクライン＆ウッド（Bruggemann-Klein - Wood）の1-非曖昧性（出発点）
  2. マクノートン／山田／グラシュコフの方法
  3. Hovlandアルゴリズム（ライバルとして）
  4. ホイヘンスの原理
  5. ダイクストラ法
  6. ファインマン／クリーネの総和公式
  7. 加法的トレースの概念（セリンガー）
  8. 長谷川の一様性原理
  9. 強・弱の双模倣、模倣の概念
  10. 結び目のマルコフの定理とその絡み目（タングル）版
  11. マルコフ・トレース
  12. マスロフ脱量子化
  13. コボルディズム圏
  14. 太鼓の形を聞き分ける話

ところで、長谷川真人さんの次の2つはいい読み物だ。