ã¯ã¦ãªãƒ–ãƒã‚° | 無料ブãƒã‚°ã‚’作æˆã—よã†
å¤ä¼‘ã¿ä½•é£Ÿã¹ã¦ã‚‹ï¼Ÿé ‘張らãªã„ç·¨ 「ã†ã‰ã‰ï¼ä½•ã§ã¿ã‚“ãªä¸€æ—¥ä¸ãŠè…¹ç©ºã„ã¦ã‚‹ã‚“ã ーï¼ã€å†·è”µåº«ã‚’é–‹ãå ãˆã‚‹å¤ä¼‘ã¿ã€‚æ¯ã•ã‚“ã®å«ã³ã‚’èžãã€2ダースã®åµãŒä¸€æ–‰ã«ã“ã¡ã‚‰ã‚’見ã¦æ…°ã‚るよã†ãªé¡”ã‚’ã—ãŸã€‚分ã‹ã£ã¦ã‚‹ã‚よã€å ãˆãŸã£ã¦ã”飯ã¯å‡ºã¦ã“ãªã„ã‚ã‚ˆï¼ ä½œã‚‹â†’é£Ÿã¹ã‚‹â†’片付ã‘る→作るã®ç„¡é™ãƒ«ãƒ¼ãƒ— ãã“ã«ã€é€è¿Žã¨â€¦
2013å¹´æ–‡åŒ–ç¥ - ç˜æ ¡ãƒ‘ã‚½ã‚³ãƒ³ç ”ç©¶éƒ¨
2013å¹´æ–‡åŒ–ç¥ ç¬¬67回ç˜æ ¡æ–‡åŒ–ç¥ã¯ã€ 2013å¹´5月2æ—¥(木) 〠5月3æ—¥(金・ç¥) ã®ä¸¡æ—¥é–‹å‚¬ã§ã™ã€‚ 今年もç˜æ ¡ãƒ‘ã‚½ã‚³ãƒ³ç ”ç©¶éƒ¨ã®å±•ç¤ºã«ãœã²ãŠè¶Šã—ãã ã•ã„。 部誌 2013年部誌ページ数:315 サイズ:29.0MB 目次 木ã®ã¯ãªã—(PDF) マクãƒã®ãŠã¯ãªã—(PDF) 競技プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨åˆç‰æ•´æ•°è«–入門(PDF) DNSãƒã‚¤ã‚¾ãƒ‹ãƒ³ã‚°(PDF) Java Zero-Day(PDF) 難èªãƒ•ã‚©ãƒ³ãƒˆ(PDF) 符å·ç†è«–ã«ã¤ã„ã¦(PDF) Unity3Dを実用ã™ã‚‹(PDF) ã±ãã“ã‚“ã®ãªã‹ã‚’ã®ãžã„ã¦ã¿ã‚ˆã†(PDF) åœè«–ã«ã‚ˆã‚‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨è«–ç†(PDF) ダウンãƒãƒ¼ãƒ‰
スピヴァックã®åœè«–教科書 Category theory for scientists - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
関手データモデルã®ãƒ‡ã‚¤ãƒ´ã‚£ãƒƒãƒ‰ãƒ»ã‚¹ãƒ”ヴァックãŒã€åœè«–ã®æ•™ç§‘書を書ã„ãŸã‚ˆã†ã§ã™ã€‚商æ¥å‡ºç‰ˆã§ã¯ãªãã¦ã€Web上ã«PDFãŒå…¬é–‹ã•ã‚Œã¦ã„ã¾ã™ã€‚スピヴァックã®å¤§å¦ã§ã®è¬›ç¾©ã®ãƒ†ã‚ストã¨ã—ã¦æ›¸ã‹ã‚ŒãŸã‚ˆã†ã§ã™ã€‚ Title: Category theory for scientists Author: David I. Spivak Submitted: 27 Feb 2013 URL: http://arxiv.org/abs/1302.6946 This book attempts to show that category theory can be applied throughout the sciences as a framework for modeling observed phenomena and for communicating results. In order to targ
è¡æ’ƒçš„ãªãƒ‡ãƒ¼ã‚¿ãƒ™ãƒ¼ã‚¹ç†è«–・関手的データモデル 入門 - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
デイヴィッド・スピヴァックã«ã‚ˆã‚‹è¡æ’ƒçš„ãªãƒ‡ãƒ¼ã‚¿ãƒ™ãƒ¼ã‚¹ç†è«–ã§ã‚る関手的データモデル。ã©ã†ã—ãŸã‚‰ã†ã¾ã説明ã§ãã‚‹ã‹ï¼Ÿ ã¨è‰²ã€…ã¨æ‚©ã‚“ã§ã—ã¾ã„ã¾ã™ãŒã€ã¾ãƒ¼ã€æ›¸ã‘ã‚‹ã¨ã“ã‚ã‹ã‚‰æ›¸ã始ã‚ã¦ã—ã¾ã„ã¾ã—ょã†ã€‚ ã•ãƒ¼ã€ã„らã£ã—ゃã„ã€ã„らã£ã—ゃã„。関手的データモデルã®ä¸–ç•Œã¸ã‚ˆã†ã“ã。åœè«–ã®è¨€è‘‰ã¯å‡ºã¦ãã¾ã™ãŒã€åœè«–ã®äºˆå‚™çŸ¥è˜ã¯ã»ã¼ã‚¼ãƒã§OKã§ã™ã‚ˆã€‚ [追記 date="翌日"]å–り急ãŽå‹¢ã„ã§æ›¸ãã¾ã—ãŸã®ã§ã€ä¸æ³¨æ„ã¨æ—©ã¨ã¡ã‚ŠãŒæ··ã˜ã£ã¦ã„ã¾ã—ãŸã€‚追記ã¨å–り消ã—ç·šã®å½¢ã§è¨‚æ£ã¨æ³¨è¨˜ã‚’足ã—ã¾ã—ãŸã€‚å—å¥ãƒ¬ãƒ™ãƒ«ã®è¡¨ç¾ã®å¤‰æ›´ã¯ç›´æŽ¥ç·¨é›†ã—ã¦ã„ã¾ã™ã€‚ ã‚ã¨ãã‚Œã¨ã€åœè«–ã®åŸºæœ¬ç”¨èªžã‚’知りãŸã„ã¨ãã¯ã‚³ãƒãƒ©ã€â€¦ ã£ã¦ã€â€¦â€¦ã€ã‚´ãƒ¡ãƒ³ï¼[/追記] 内容： ã¯ã˜ã‚㫠本ã®è³¼å…¥ã®ã‚µãƒ³ãƒ—ル スã‚ーマã®ã‚°ãƒ©ãƒ•è¡¨ç¾ ã‚ーã¨ã‹è¨ˆç®—カラムã¨ã‹ åœã¨ã—ã¦ã®ã‚¹ã‚ーマ 関手ã¨ã—ã¦ã®ãƒ‡ãƒ¼ã‚¿ãƒ™ãƒ¼ã‚¹çŠ¶æ…‹ テーブルã®å¤‰åŒ– 自然変æ›ã¨ã—ã¦ã®ãƒ‡ãƒ¼ã‚¿æ“作 データベースã«åœè«–ãŒä½¿
)
CPL (åœè«–プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž) - Wikipedia
CPL (æ£å¼å称：Categorical Programming Language) ã¯åœè«–ã«åŸºã¥ã„ãŸãƒ‡ãƒ¼ã‚¿åž‹ã®å®šç¾©ã¨è¨ˆç®—モデルをæŒã¤é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã‚ã‚Šã€1987å¹´ã€è©é‡Žé”也ã«ã‚ˆã£ã¦ç™ºæ¡ˆã•ã‚ŒãŸã€‚åœè«–ã®è¨ˆç®—機科å¦ã«å¯¾ã™ã‚‹å¿œç”¨ã®é»Žæ˜ŽæœŸã«ç”Ÿã¾ã‚ŒãŸè¨€èªžã§ã‚る。 元々定義ã•ã‚Œã¦ã„るデータ型ãŒå˜åœ¨ã›ãšã€ä½•ã‚‰ã‹ã®é–¢æ‰‹ã®å§‹åŒä»£æ•°ã‚ã‚‹ã„ã¯çµ‚åŒä»£æ•°ã¨ã—ã¦ãƒ‡ãƒ¼ã‚¿åž‹ã‚’定義ã™ã‚‹ã€‚プãƒã‚°ãƒ©ãƒ ã‚ã‚‹ã„ã¯é–¢æ•°[è¦æ›–昧ã•å›žé¿]ã¯å°„ã¨ã—ã¦ã€ãƒã‚¤ãƒ³ãƒˆãƒ•ãƒªãƒ¼ã®å½¢å¼ã§è¨˜è¿°ã™ã‚‹ã€‚関数ã®è¡¨ã—æ–¹ã¨ã—ã¦ã¯å°„ã¨ã—ã¦è¡¨ã™ã‚‚ã®ã¨å†ªå¯¾è±¡ã¨ã—ã¦è¡¨ã™ã‚‚ã®ã®äºŒé€šã‚ŠãŒã‚る。元々定義ã•ã‚Œã¦ã„る関数ã¯æ’ç‰é–¢æ•°ã®ã¿ã§ã‚ã‚Šã€å…ƒã€…定義ã•ã‚Œã¦ã„ã‚‹åˆ¶å¾¡æ§‹é€ ã¯é–¢æ•°åˆæˆã®ã¿ã§ã‚る。æ¡ä»¶åˆ†å²ã‚„帰ç´æ³•ãªã©ã¯ãƒ‡ãƒ¼ã‚¿åž‹ã®å®šç¾©ã«ä»˜éšã—ã¦å®šç¾©ã•ã‚Œã‚‹ã€‚
ã¯ã˜ã‚ã¦ã®åœè«– ãã®ç¬¬1æ©ï¼šã—ã‚Šã¨ã‚Šã®åœ - 檜山æ£å¹¸ã®ã‚マイラ飼育記
全体目次： 第1æ©ï¼šã—ã‚Šã¨ã‚Šã®åœ （ã“ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ï¼‰ 第2æ©ï¼šè¡Œåˆ—ã®åœ 第3æ©ï¼šæ¥µç«¯ãªåœé” 第4æ©ï¼šéƒ¨åˆ†åœ 第5æ©ï¼šå¤‰æ›ã‚ューã®åœ 第6æ©ï¼šæœ‰é™å¤‰æ›ã‚ューã¨åŠåœ 第7æ©ï¼šã‚¢ãƒŸãƒ€ã®åœ 第8æ©ï¼šé †åºé›†åˆã®åŸ‹ã‚è¾¼ã¿è¡¨ç¾ 第9æ©ï¼šåŸºæœ¬ã«æˆ»ã£ã¦ã€åœè«–感覚を養ã†ãƒãƒŠã‚·ã¨ã‹ 付録ï¼ç•ªå¤–ãªã©ï¼š ä¸é–“付録A：絵をæã„ã¦ã¿ãŸ 番外：åŒæœŸï¼éžåŒæœŸã®çµåˆ ä¸é–“付録B：アミダã¨ãƒ–レイド 番外：米田ã®è£œé¡Œã«å‘ã‘ã¦ã®ã‚ªã‚·ãƒ£ãƒ™ãƒª 一部ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®èƒŒæ™¯ã¨ã—ã¦ã€åœè«–（カテゴリー論）ãŒä½¿ã‚ã‚ŒãŸã‚Šã™ã‚‹ã›ã„ã‹ã€ä»¥å‰ã«æ¯”ã¹ã‚Œã°å¤šå°‘ã¯åœè«–ã«èˆˆå‘³ã‚’æŒã¤äººãŒå¢—ãˆãŸã‚ˆã†ãªæ°—ãŒã—ãªãã‚‚ãªã„よã†ãªã€‚ã§ã‚‚ã€å®‰ç›´ãªå…¥é–€çš„文書ã¯ã‚ã¾ã‚Šè¦‹ã‹ã‘ãªã„ã§ã™ã。もã¡ã‚ã‚“ã€ã‚·ãƒƒã‚«ãƒªã—ãŸæ•™ç§‘書や論説ã¯ã‚ã‚‹ã‚“ã§ã™ãŒã€ã©ã†ã‚‚シッカリã—éŽãŽã¦ã„るよã†ãªã€‚例ãˆã°ã€åœã®ä¾‹ã¨ã—ã¦ã€Œã‚³ãƒ³ãƒ‘クト・ãƒã‚¦ã‚¹ãƒ‰ãƒ«ãƒ•ç©ºé–“ã¨é€£ç¶šå†™åƒã®åœã€ã¨ã‹è¨€ã‚ã‚Œã¦ã‚‚ãã‡ï¼ˆã“ã®ä¾‹ã¯ã„ã„例ãªã‚“ã§ã™
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
åœè«–ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° / Category Theory and Programming
{{#tags}}- {{label}}
{{/tags}}