2010-01-01ã‹ã‚‰1ãƒ¶æœˆé–“ã®è¨˜äº‹ä¸€è¦§

2010-01-17

åœè«–å‹‰å¼·ä¼š ä¸€æ—¦çµ‚äº†ã®ãŠçŸ¥ã‚‰ã›

åœè«–

ä»Šæ—¥ã¯åœè«–å‹‰å¼·ä¼šã§ã—ãŸã€‚Kirbyå¤‰å½¢ï¼ˆKirbyè¨ˆç®—ã€Kirby calculusï¼‰ã®ãŠè©±ã€‚ 2æ™‚é–“ã«é™å®šã—ãŸ*1åˆ†ã€ä¹…ã€…ã«æ¿ƒç¸®ãªæ™‚é–“ãŒéŽã”ã›ãŸã®ã§ã¯ãªã„ã§ã—ã‚‡ã†ã‹ã€‚ ã•ã¦ã€‚ã‚¿ã‚¤ãƒˆãƒ«ã®é€šã‚Šã€ä»Šæ—¥ã‚’æŒã¡ã¾ã—ã¦åœè«–å‹‰å¼·ä¼šã¯ä¸€æ—¦ä¼‘æ¯ã™ã‚‹ã“ã¨ã¨ãªã‚Šã¾ã—ãŸã€‚ ã“ã‚Œã¾ã§5å¹´ä»¥ä¸Šã€â€¦

2010-01-09

å‘ŠçŸ¥ï¼šåœè«–å‹‰å¼·ä¼š

åœè«–

2010-01-17(æ—¥)(14:30-20:00) ç¥žå¥ˆå·çœŒ(æ…¶å¿œå¤§å¦ãƒ»çŸ¢ä¸Šã‚ãƒ£ãƒ³ãƒ‘ã‚¹ 25-501) ãƒ†ã‚ã‚¹ãƒˆï¼š P. Selinger, "A survey of graphical languages for monoidal categories" 6 Products, coproducts, and biproducts ã‚ˆã‚Š (http://www.mscs.dal.ca/~selinger/papers/grâ€¦