このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

[参照用 記事]

2023-09-09から1日間の記事一覧

回路代数とグラフ置換モナド

「絵図的手法: 中間整理」を書いた後で、つまり昨日、ダンクソ/ハラーチェバ/ロバーツォンの次の論文を見つけてザッと眺めてみました。 [DHR20] Title: Circuit algebras are wheeled props Authors: Zsuzsanna Dancso, Iva Halacheva, Marcy Robertson S…