相互作用の幾何、トレース付きモノイダル圏と非明示的計算量
Your browser does not support iframes.
Your browser does not support iframes.
合宿セミナー報告書 [ pdf ]