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

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

コンパクト論理の計算を試してみた所感

トレース／コンパクト閉圏 論理 雑感

次のものは、なんか入り口は同じようだ。

  1. 古典テンソル計算
  2. 複線形代数
  3. 結び目理論
  4. ラムダ計算
  5. シーケント計算
  6. プログラムの制御構造

どれも結局、コンパクト閉圏、コンパクト論理、0次元または1次元のTQFTになる。