https://arxiv.org/pdf/1603.03039.pdf からの引用とコメント。コメントは引用の後。引用に関係しないコメントもある。 1 Introduction to Tensor Network NotationTensor network notation (TNN) can be considered a generalisation of Einstein summation…

半グラフは開放辺を持つ無向グラフである。半グラフに対するアンカリングとは： Aアンカリング： 各頂点に接続する辺の集合に全順序を入れる。Aは All ports から。 Bアンカリング： 各頂点に接続する辺の集合を二分割して、2つのパートにそれぞれ全順序を入…

http://www.tac.mta.ca/tac/volumes/28/1/28-01.pdf を見てたら、 律子を coherent isomorphisms と呼んでいた。これは coherence isomorphisms と同義だ。 参照 → 一貫性の用語 - (新) 檜山正幸のキマイラ飼育記 メモ編また、sort を圏の種別の意味で使って…

大枠は次のようになっている。ServerアイテムのリストがServers。 <FileZilla3> <Servers> <Server> ... </Server> ... <Servers> </FileZilla3> めぼしい項目は： Host ホストのドメイン名かIPアドレス（V4でよい） Port FTPなら通常 21 User ユーザー名 Pass パスワード、平文 Account ？ 使ってないようだ。要素はある…

＊＊＊＊ この記事は書きかけ、今後、追加・修正・変更をして本編記事にする予定。本編に移したらこのエントリーは削除します。 ＊＊＊＊含意演算と論理順序の違いをどう書き分けるか？ この問題は、もう何年も、いやっ、何十年も困っています。関連する話題…

https://www.irit.fr/~Ralph.Matthes/CAMCAD09/Papers/dixon-kissinger-camcad.pdf https://www.cs.ox.ac.uk/files/4551/cqm-notes.pdf https://ncatlab.org/nlab/show/hypergraph+category https://arxiv.org/pdf/2305.08768.pdf 本編 「スパイダー」

https://www.youtube.com/watch?v=Ro1WF90_RKg期間限定無料公開「プリデスティネーション」、そのうち消えるのだろう。 なんとなく見始めた。前半はボーッと見てただけ。後半で「オオ」となった。登場人物が一人というのがネタバレ。時系列順に整理してみる…

https://hackmd.io/@m-hiyama/SJrIysNqq