2009-07-01ãã1ã¶æéã®è¨äºä¸è¦§
åèï¼http://d.hatena.ne.jp/m-hiyama/20090722/1248223229 ææ³ã¨ããããã®æ¥è¨ã®è©±ãå¤å°åºã¦ããã®ã§ããã«é¢ããè£è¶³ã¨ããã¨ããããç°¡åã«ã¡ã¢ãã¨ãã¾ãã詳細ã¯å¾ã§æ¸ãâ¦ããã åã®å®ç¾© å¾©ç¿ å ´ãæ··ä¹±ãããããªãã£ãã®ã§æ¢ãã¦çªã£è¾¼ã¾ãªãã£ãâ¦
mixiã®æ¥è¨ã«æ¸ããã®ããä¸é¨æ¹è¨ã転è¼ãå¤å°çªã£è¾¼ãã ãã¨ã¯èªã£ã¦ã¾ãããéè¦ãªãã¿ãã¬ã¯ãªããã¯ãã - ã¡ã¤ã³ã·ããªãªçµäºãã¾ãããã§ããªãã¤ã¼ããDQ5以éãã¯ãªã¢å¾ã®ããè¾¼ã¿è¦ç´ ãå¢ãã¦ãã£ãæã®ãããã®ã·ãªã¼ãºã§ãããä»åã¯ããè¾¼ã¿ã®â¦
DQ9ã§ãã ã¯ã¨ã¹ããæåï¼ ã¡ã¿ã«ãã©ãããªã©ã§ãã¡ã¿ã«ãã©ã¶ã¼ãºã ããå¹ççã«ç©ããããã¨ããæ¹ã«ãå§ãã®æ¹æ³ãå ´æã¯ãµã³ããã¦åã®æ´çªB1Fã åºæ¬æ¦ç¥ã¯ãæµã湧ãã¹ããããè¦æ¥µãã¦ãã¡ã¿ã«ãã©ã¶ã¼ãºã湧ãã®ãå¾ ã¤ãç¾ããªããã°ãã£ããåºã¦â¦
2009-7-12(æ¥)(14:00-18:00) æ±äº¬é½ (ç§èå ææ)ããã¹ãï¼ P. Selinger, "A survey of graphical languages for monoidal categories" 5. Traced categories ä»è¿ï¼ãã (http://www.mscs.dal.ca/~selinger/papers/graphical.pdf) 交éã¢ã¯ã»ã¹ï¼ é½å¶æ°â¦