2009-4-12(日)(13:00-18:00) 東京都 (びぎねっと トレーニングルーム)テキスト: P. Selinger, "A survey of graphical languages for monoidal categories" p10, Graphical Language から (http://www.mscs.dal.ca/~selinger/papers/graphical.pdf) 交通ア…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。