ãƒã‚¨ã‚ºã€ã‚¢ãƒ–ラムスã‚ーã€ã‚¸ãƒ©ãƒ¼ãƒ«ç‰ãŒæãビッグピクãƒãƒ£ãƒ¼ï¼šåˆ†é‡Žã‚’貫ãä¸æ€è°ãªå…±é€šæ€§ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)※ åä¾›ã®è©±ã°ã‹ã‚Šã˜ã‚ƒã‚¢ãƒ¬(?)ã ã‹ã‚‰ã€ã€Œã‚«ãƒªãƒ¼ï¼ãƒãƒ¯ãƒ¼ãƒ‰ï¼ˆCurry-Howard）対応をã†ã‚“ã¨ä¸€èˆ¬åŒ–ã™ã‚‹ã¨ã©ã†ãªã‚‹ã‹ã€ã¿ãŸã„ãªãƒã‚¿ã§ã€‚ 以å‰ç´¹ä»‹ã—ãŸã“ã¨ãŒã‚ã‚‹ãƒã‚¨ã‚ºï¼†ã‚¹ãƒ†ã‚¤ã®ãƒã‚¼ãƒƒã‚¿ã‚¹ãƒˆãƒ¼ãƒ³è«–æ–‡ãŒarXivã«å…¥ã£ã¦ã„ã¾ã—ãŸã€‚ é¡Œå: Physics, Topology, Logic and Computation: A Rosetta Stone 著者: John C. Baez, Mike Stay URL: http://arxiv.org/abs/0903.0340 ページ数: 73 ã“ã®è«–æ–‡ã®æœ€å¾Œã®ã»ã†ã«ã‚る「The Rosetta Stone テーブルã€ã®larger versionã¯æ¬¡ã®ã‚ˆã†ãªã‚‚ã®ã§ã™ã€‚ ç”»åƒã ã¨ã‚³ãƒ”ーã«ä¸ä¾¿ã§ã™ã‹ã‚‰ãƒ†ã‚ストã«ã—ãŸã‚‚ã®ï¼š Category Theory Physics Topology Logic Computation object Hil
{{#tags}}- {{label}}
{{/tags}}