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

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

2007-03-07から1日間の記事一覧

テンパリー／リーブ圏とその周辺

からみ系

アブラムスキーの"Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics"（http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/tambook.pdf）をチラチラと眺めて思ったことを記す。The TLTLは固有名詞で、the Temp…

離散物理としてのペトリネット by アブラムスキー

雑感 論理 プログラム意味論

アブラムスキーの示唆は面白い。The n-Category Cafe'（http://golem.ph.utexas.edu/category/）の記事 http://golem.ph.utexas.edu/category/2007/03/computer_science_and_physics.html に、次の参照があった。 What are the fundamental structures of co…