Solid applications of category theory in TCS?
I've been learning a few bits of category theory. It certainly is a different way of looking at things. (Very rough summary for those who haven't seen it: category theory gives ways of expressing all kinds of mathematical behavior solely in terms of functional relationships between objects. For example, things like the Cartesian product of two sets are defined completely in terms of how other func
IIJ Research Laboratory
ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®è¨ˆæ¸¬ã¨è§£æž インターãƒãƒƒãƒˆã®ä½¿ã‚れ方やãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®æŒ™å‹•ã‚’把æ¡ã™ã‚‹äº‹ã¯ã€ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã‚’é‹ç”¨ã—ã€ãã®æŠ€è¡“開発を行ㆠãŸã‚ã«æ¬ ã‹ã›ã¾ã›ã‚“。ã—ã‹ã—ã€è¦³æ¸¬ã§å¾—られるデータé‡ã¯è†¨å¤§ã§ã™ãŒãƒŽã‚¤ã‚ºãŒå¤šãã€ã¾ãŸã€è¦³æ¸¬ã§ãã‚‹ã®ã¯æ¥µã‚ã¦é™ã‚‰ã‚ŒãŸéƒ¨åˆ†ã§ã—ã‹ã‚ã‚Šã¾ã›ã‚“。ãã“ã§ã€è†¨å¤§ãªãƒ‡ãƒ¼ã‚¿ã‹ã‚‰æ„味ã®ã‚ã‚‹æƒ…å ±ã‚’æŠ½å‡ºã—ãŸã‚Šã€éƒ¨åˆ†çš„ãªè¦³æ¸¬ã‹ã‚‰ã‚ˆã‚Šä¸€èˆ¬çš„ãªå‚¾å‘を推測ã™ã‚‹äº‹ãŒå¿…è¦ã¨ãªã‚Šã¾ã™ã€‚... インターãƒãƒƒãƒˆåŸºç›¤æŠ€è¡“ 速ãã¦ã€å®‰å…¨ã§ã€ä¿¡é ¼æ€§ãŒé«˜ãã€ä½¿ã„ã‚„ã™ãã€ãªã©ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã‚µãƒ¼ãƒ“スã¸ã®è¦æ±‚ã¯ã¾ã™ã¾ã™é«˜ã¾ã£ã¦ã„ã¾ã™ã€‚ã“れらã®è¦æ±‚ã«å¿œãˆã‚‹ãŸã‚ã«ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã® 基盤技術も日々進æ©ã—ã¦ã„ã¾ã™ã€‚ã„ã¾ã‚„インターãƒãƒƒãƒˆã¯ã¤ãªãŒã‚‹ã ã‘ã®ã‚µãƒ¼ãƒ“スã§ã¯ãªãã€é«˜åº¦ã§è¤‡é›‘ãªæ©Ÿèƒ½ã‚’å‚™ãˆãŸç¤¾ä¼šåŸºç›¤ã¨ãªã‚Šã¾ã—ãŸã€‚IIJæŠ€è¡“ç ”ç©¶æ‰€ã¯ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®åŸºç›¤ã¨ã—ã¦å®Ÿç¾ãŒæœŸå¾…ã•ã‚Œã‚‹æ©Ÿèƒ½ã‚’æä¾›ã™ã‚‹ãŸã‚ã«ã€ã•ã¾ã–ã¾ãªæŠ€è¡“課題ã«å–り組んã§
Category theory for scientists (Old version)
There are many books designed to introduce category theory to either a mathematical audience or a computer science audience. In this book, our audience is the broader scientific community. We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results. In order to target the scientific audience, this book is example-ba
E. Kmettã•ã‚“ã«åœè«–å¦ç¿’ã®æ•™æã‚’èžã„ã¦ã¿ãŸ - taketoncheir.log
先週末ã€ekmett勉強会ãªã‚‹ä¼šãŒé–‹ã‹ã‚Œã¾ã—ãŸã€‚ （発起人ã®@tanakhã•ã‚“ã€ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ï¼ï¼‰ ekmett勉強会 (partake) ekmettã¨ã¯ã€Haskellã‚„Scalaã«ã¦é‡è¦ãªlibrary群をã€ã‚ã‚Šãˆãªã„スピードã§ä½œã‚Šä¸Šã’ã¦ã„ãEdward Kmmetã•ã‚“ã®ã“ã¨ã§ã™ã€‚ ekmett (github) 勉強会ã«ã¯ekmettã•ã‚“ãŒãƒ“デオãƒãƒ£ãƒƒãƒˆã§å‚åŠ ã•ã‚Œã¦ã„ã¦ã€ä¼šã®æœ€å¾Œã¯è³ªå•å¤§ä¼šã¨ãªã‚Šã¾ã—ãŸã€‚ ãã®ä¸ã§ã€ç§ãŒ 「Kmettã•ã‚“ã®æŠ½è±¡åŠ›ã®æºæ³‰ã¯ã©ã“ã«ã‚ã‚‹ã®ã‹ï¼Ÿã€ ã¨å°‹ããŸã¨ã“ã‚（@nushioã•ã‚“ã€é€šè¨³ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ï¼ï¼‰ 「（æ„訳ã™ã‚‹ã¨ï¼‰åœè«–〠ã¨ã®ãŠç”ãˆã§ã—ãŸã€‚ @taketon_ Exactly. =) Category theory is just a great source of generalized tools that people have b
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Introduction to Categorical Programming - ヒビルテ(2009-09-20)
{{#tags}}- {{label}}
{{/tags}}