Shirahata Masaru
(白旗 優)
Modified on: 04/18
Presentations
4
Entries per page
-
合宿型セミナー「相互作用の幾何、トレース付きモノイダル圏と非明示的計算量」, Aug 27, 2009, 京都大学数理解析研究所
-
科学基礎論学会, Jun 14, 2009
-
Logic Colloquium 2001, Aug, 2001, European Association of Symbolic Logic
-
日本数学会春季大会, Mar, 2001