後でちゃんと書くことを忘れないために。 DOTN三号とCatPict〈キャットピクト〉：方針 関係する絵

略号 フルスペル 意味 K kompakt (独) コンパクト（性質） Or Oriented 向き付き Nsi Nested-signed indexed 入れ子符号付きインデックスされた Cl Closed 閉（性質） Cpt Component pointed 成分付点 Bcpt Boundary component pointed 境界成分付点 略号を…

次の2つが長いが気合が入った論説だ。ストリング図／回路図を使いまくった量子っぽい理論。 Title: A process theoretic triptych John H. Selby Pages: 122p URL: http://www.cs.ox.ac.uk/people/bob.coecke/Selby_PhD.pdf ↑タイトルがいまいち分かりにくい…

雑多、順不同。文献はコッチを見よ。テンソル計算と、なんらかの双対性・随伴性があって、転置ができる計算系が必要だろう。転置により、ベクトル・コベクトル双対性が言えると、一様ベクトル〈uniform {vector | state}〉と破棄コベクトル〈discarding {cov…

相関と因果については、昨日出した次の論文： Title: Causal Inference by String Diagram Surgery (20 Nov 2018) Authors: Bart Jacobs, Aleks Kissinger, Fabio Zanasi Pages: 15p URL: https://arxiv.org/abs/1811.08338 上記論文にも軽く説明はあるが、…

DiscardingとLeakが導入されたのは、おそらく次が最初： Title: Leaks: quantum, classical, intermediate, and more (25 Jan 2017) John Selby, Bob Coecke Pages: 23p URL: https://arxiv.org/abs/1701.07404 より詳しくはセルビィの学位論文（一部）があ…