[B! åœè«–] tetrylã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

tetryl id:tetryl

åœè«–ã«é–¢ã™ã‚‹tetrylã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (23)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

Google Drive: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more
tetryl 2017/03/30
åœè«–
ãƒªãƒ³ã‚¯
Agda ã«ã‚ˆã‚‹åœè«–å…¥é–€
Menu Menu Agda ã§è¨¼æ˜Žã—ãªãŒã‚‰åœè«–ã‚’å¦ã¶ã¨ã„ã†äºˆå®šã§ã™ã€‚ã‚ã¾ã‚Šå…¥é–€ã§ã¯ãªã„ã‹ã‚‚ã€‚ Higher-Order Categorical Logic ã® 0ç« ã«ç›¸ç‰ã™ã‚‹å†…å®¹ã§ã™ã€‚ BitBucket category-exercise-in-agda source code Agda ã®å…¥é–€ã®è¦ç´„ Agda ã®å…¥é–€ Agda ã®é›†åˆã® Level Agda ã® record Agda ã®Reasoning Caategory module ã¨åœã®å…¥é–€ è‡ªç„¶å¤‰æ› IdentityFunctor ã¨ Hom Reasoning Monad ã®çµåˆå‰‡ Sets ã¨ Monoid ã‚’ä½¿ã£ãŸ Monad ã®ä¾‹ Kleisli åœã®æ§‹æˆ ã“ã“ã¾ã§ãŒ Monad ã‚’ç†è§£ã™ã‚‹ãŸã‚ã®éƒ¨åˆ†ã€‚ä»¥ä¸‹ã¯ã€Adjoint é–¢é€£ã§ã™ã€‚ Adjoint ã‹ã‚‰ã€€Monad ã‚’å°Žã Kleisli åœã«ã‚ˆã‚‹ Mona
tetryl 2017/02/17
åœè«–
ãƒªãƒ³ã‚¯
Basic Category Theory
This short introduction to category theory is for readers with relatively little mathematical background. At its heart is the concept of a universal property, important throughout mathematics. After a chapter introducing the basic definitions, separate chapters present three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties the
tetryl 2017/02/14
åœè«–

book
ãƒªãƒ³ã‚¯
Haskellã¨éšä¼´ - Qiita
éšä¼´ éšä¼´ã¨ã„ã†ã®ã¯2ã¤ã®é–¢æ‰‹ã®é–¢ä¿‚ã®ã“ã¨ã§ã™. $ F : \mathcal{C} \to \mathcal{D} $, $ G : \mathcal{D} \to \mathcal{C} $ãŒã‚ã£ãŸã¨ã, éšä¼´$F \dashv G$ ã¨ã¯, è‡ªç„¶åŒåž‹ $\hom(F\cdot,\cdot) \cong \hom(\cdot,G\cdot)$ ã®ã“ã¨ã§ã™(ãŸã ã—ã“ã®åŒåž‹ã¯homã®å·¦å³ã‚’åŒæ™‚ã«å›ºå®šã—ã¦, 2å¤‰æ•°å¼•æ•°ã¨ã—ã¦ã¿ã¦è€ƒãˆã¾ã™). æ–‡ç« ã§èªã‚€ã‚ˆã‚Šå›³å¼ã‚’è¦‹ãŸã»ã†ãŒæ—©ã„ã§ã™. ã‚³ãƒ¼ãƒ‰ã«ã™ã‚‹ã®ã‚‚ç°¡å˜ã§ã™. éšä¼´ã¯åœè«–ã§ã¯é‡è¦ãªæ¦‚å¿µã§ã™. ãã“ã§Haskellã§ã®éšä¼´ã«ã¤ã„ã¦è¦‹ã¦ã„ãã¾ã™. ä¾‹ (æ®‹å¿µãªã“ã¨ã«)Haskellã§ã®éšä¼´ã®ä¾‹ã¯ãã“ã¾ã§å¤šããªã„ã§ã™. ã¨ã„ã†ã®ã‚‚, Haskellã§ã‚ˆãè¦‹ã‚‹é–¢æ‰‹(Maybe, List, Either aãªã©)ã«ã¯éšä¼´ãŒå˜åœ¨ã—ãªã„ã“ã¨ãŒç°¡å˜ã«ç¤ºã›ã‚‹
tetryl 2017/02/08
haskell

åœè«–
ãƒªãƒ³ã‚¯
Home Page
tetryl 2016/07/29
åœè«–

book
ãƒªãƒ³ã‚¯
Haskellã§å¦ã¶åœè«–ãƒ»å…¥é–€ç·¨ã€€å†™åƒã‚’å¯¾è±¡ã« - bitterharvestâ€™s diary
ï¼‘ï¼Žåœã®å®šç¾© ä¸€èˆ¬çš„ã«ã€åœã¯æ¬¡ã®ã‚ˆã†ã«å®šç¾©ã•ã‚Œã¦ã„ã‚‹ã€‚åœã¯ï¼•ã¤ã®è¦ç´ ã¨äºŒã¤ã®æ¡ä»¶ã«ã‚ˆã‚Šæ§‹æˆã•ã‚Œã‚‹ã€‚ï¼•ã¤ã®è¦ç´ ã¯æ¬¡ã®ã‚ˆã†ã«ãªã£ã¦ã„ã‚‹ã€‚ (1) å¯¾è±¡ åœã¯å¯¾è±¡ã‚’æœ‰ã™ã‚‹ã€‚å¯¾è±¡ã¯ã€é€šå¸¸ã¯å¤§æ–‡å—ã‚’ç”¨ã„ã¦ã€$A,B,C,..$ã¨è¡¨ã™ï¼ˆå¯¾è±¡ã¯å¤šãã®å ´åˆä½•ã‹ã®é›†ã¾ã‚Šã§ã‚ã‚‹ã€‚ä¾‹ãˆã°ã€é›†åˆãªã©ãŒå¯¾è±¡ã«ãªã‚‹ã€‚ã—ã‹ã—ã€é›†åˆã®è¦ç´ ã¯ã“ã®å ´åˆå¯¾è±¡ã¨ã¯ã„ã‚ãªã„ï¼‰ã€‚ (2) å°„ åœã¯å¯¾è±¡ï¼ˆè¤‡æ•°ã®å ´åˆã‚‚å¯ï¼‰ã‹ã‚‰å¯¾è±¡ï¼ˆã“ã¡ã‚‰ã‚‚è¤‡æ•°ã®å ´åˆå¯ï¼‰ã¸ç§»ã™å°„ã‚’æœ‰ã™ã‚‹ã€‚å°„ã¯ã€é€šå¸¸å°æ–‡å—ã‚’ç”¨ã„ã¦ã€$f,g,h,..$ã¨è¡¨ã™ï¼ˆã“ã‚Œã¾ã§ç¿’ã£ã¦ããŸé–¢æ•°ã¯å°„ã¨ãªã‚‹ãŒã€å°„ã¨ãªã‚‹ã®ã¯é–¢æ•°ã ã‘ã§ã¯ãªã„ã€‚ã“ã‚Œã‹ã‚‰èª¬æ˜Žã™ã‚‹ãƒ¢ãƒŽã‚¤ãƒ‰ã®å ´åˆã¯ã“ã‚Œã¾ã§ã®é–¢æ•°ã¨ã¯ç•°ãªã‚‹ï¼‰ã€‚ (3) ãƒ‰ãƒ¡ã‚¤ãƒ³ã¨ã‚³ãƒ‰ãƒ¡ã‚¤ãƒ³ å°„ã®å‡ºç™ºï¼ˆå…¥åŠ›ï¼‰å´ã®å¯¾è±¡ã‚’ãƒ‰ãƒ¡ã‚¤ãƒ³ã¨ã„ã„ã€åˆ°ç€ï¼ˆå‡ºåŠ›ï¼‰å´ã®å¯¾è±¡ã‚’ã‚³ãƒ‰ãƒ¡ã‚¤ãƒ³ã¨ã„ã†ã€‚ (4) æ’ç‰å°„ å°„ã¯æ’ç‰å°„$id$ã‚’æœ‰ã™ã‚‹ã€‚æ’ç‰å°„ã¯è‡ªåˆ†ã‹ã‚‰è‡ªåˆ†
tetryl 2016/07/29
åœè«–

haskell
ãƒªãƒ³ã‚¯
Born in Tomakomai city - ä»Šæ—¥ã¯ã€Žç¬¬ï¼‘ï¼”å›žæ•°å¦ã‚«ãƒ•ã‚§ã€Œåœè«–ã€ã€ã®æ—¥ã§ã™
æ±å¤§é§’å ´ã«æ¥ã¦ã¾ã™ã®ã§ãƒ¡ãƒ¢ã‚’å–ã‚Šã¾ã™ã€‚ åœè«–ã¨ã¯ åœè«–ã®çˆ¶ S.Mac Lane arrowã¨diagramã§æ•°å¦çš„ä½“ç³»ã®å¤šãã®æ€§è³ªã‚’ å¯æ›å›³å¼ ä»Šæ—¥ã®ãƒ†ãƒ¼ãƒž: ä½ç›¸å¹¾ä½•å¦ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° åœè«–ã®åŸºç¤Ž / æ¾æ£®è‡³å®ã•ã‚“ åœãŒåˆã‚ã¦ã®äººå‘ã‘ ä»£æ•°çš„ä½ç›¸å¹¾ä½•å¦ã®æ–‡è„ˆã‹ã‚‰ç”Ÿã¾ã‚ŒãŸ è‡ªç„¶å¤‰æ›ã‚’è¡¨ç¾ã—ãŸã‹ã£ãŸ åœã®å®šç¾© $Ob(C)$, $Hom_c(,)$, $\circ$ $f : X \to Y$ $\circ : Hom_C(Y, Z) \times Hom_C(X, Y) \to Hom_C(X, Z)$ $1_X \in Hom_C(X, X)$ identity, $(h \circ g) \circ f = h \circ (f \circ g)$ composition $f: X \to Y$, $X$ domain, $Y$ codoma
tetryl 2016/07/08
åœè«–
ãƒªãƒ³ã‚¯
ç©ºé–“ã®ä»£æ•°çš„æ¨¡åž‹ã€€-åœã‚’è¡Œãæ¥ã—ã¦å¹¾ä½•å¦çš„å¯¾è±¡ã‚’ç†è§£ã™ã‚‹-ï½œç†å¦ã‚¯ã‚¨ã‚¹ãƒˆ ã‚ˆã†ã“ãã€æŽ¢æ±‚ã®ä¸–ç•Œã¸ã€‚ ä¿¡å·žå¤§å¦ ç†å¦éƒ¨
æ —æž— å‹å½¦ æ•°å¦ç§‘ è¬›åº§ï¼šå¹¾ä½•å¦åˆ†é‡Ž ç•¥æ´ï¼š 1986 å¹´ä¿¡å·žå¤§å¦ç†å¦éƒ¨æ•°å¦ç§‘å’æ¥ 1988 å¹´ä¿¡å·žå¤§å¦å¤§å¦é™¢ç†å¦ç ”ç©¶ç§‘ä¿®äº† 1991 å¹´äº¬éƒ½å¤§å¦å¤§å¦é™¢ç†å¦ç ”ç©¶ç§‘åšå£«å¾ŒæœŸèª²ç¨‹ä¿®äº†(ç†å¦åšå£«) 1991 å¹´ç¾¤é¦¬å·¥æ¥é«˜ç‰å°‚é–€å¦æ ¡è¬›å¸« 1995 å¹´å²¡å±±ç†ç§‘å¤§å¦ç†å¦éƒ¨è¬›å¸« 1999 å¹´å²¡å±±ç†ç§‘å¤§å¦ç†å¦éƒ¨åŠ©æ•™æŽˆ 2004 å¹´ä¿¡å·žå¤§å¦ç†å¦éƒ¨åŠ©æ•™æŽˆ 2005 å¹´ä¿¡å·žå¤§å¦ç†å¦éƒ¨æ•™æŽˆ ã‚ãƒ¼ãƒ¯ãƒ¼ãƒ‰ï¼šãƒˆãƒãƒã‚¸ãƒ¼ ãƒ›ãƒ¼ãƒ ãƒšãƒ¼ã‚¸ï¼šhttp://marine.shinshu-u.ac.jp/~kuri/home.html SOARãƒªãƒ³ã‚¯ï¼šSOARã‚’è¦‹ã‚‹ ç¾åœ¨ã®ç ”ç©¶ãƒ†ãƒ¼ãƒžï¼šç©ºé–“ã®ä»£æ•°çš„æ¨¡åž‹ é›†åˆã«è¿‘ã•ã€é ã•ã€ã‚ã‚‹ã„ã¯åºƒãŒã‚Šã€ç¹‹ãŒã‚Šã®æ¦‚å¿µã‚’å®šç¾©ã—ãŸã‚‚ã®ãŒã€Œä½ç›¸ç©ºé–“ã€(ä»¥ä¸‹ç©ºé–“) ã¨å‘¼ã°ã‚Œã‚‹å¹¾ä½•å¦çš„ãªå¯¾è±¡ã§ã€é›†åˆã«æ¼”ç®—ã‚’å®šç¾©ã—ãŸã‚‚ã®ãŒã€Œç¾¤ã€ã€Œç’°ã€ã¨å‘¼ã°ã‚Œã‚‹ä»£æ•°çš„ãªå¯¾è±¡ã§ã™ã€‚ç§ã¯ç©ºé–“ã‚’ä»£æ•°çš„ãªå¯¾è±¡ã§è¿‘ä¼¼ã—ã€ãã‚Œã‚’ç”¨ã„ã¦å…ƒã®ç©º
tetryl 2016/06/02
åœè«–
ãƒªãƒ³ã‚¯
From Lenses to Yoneda Embedding
From Lenses to YonedaÂ Embedding Posted by Bartosz Milewski under Category Theory, Functional Programming, Haskell, Lens, Programming [6] Comments Lenses are a fascinating subject. Edward Kmettâ€™s lens library is an indispensable tool in every Haskell programmerâ€™s toolbox. I set out to write this blog post with the goal of describing some new insights into their categorical interpretation, but then
tetryl 2016/02/18
monad

åœè«–
ãƒªãƒ³ã‚¯
ç¾Žå°‘å¥³ã¨å¦ã¶åœè«– - Just $ A sandbox
ã“ã“ã¾ã§æ›¸ã„ã¦é£½ãã¾ã—ãŸ. 1ç« åœã¨ãã®æ§‹é€ 1.1 åœã®å®šç¾©ã¨åƒæ™¯ã®è¬›ç¾© ã€Œ4æœˆã‹ã‚‰ã®ã‚¼ãƒŸã¯ã‚‚ã†æ±ºã‚ãŸï¼Ÿã€ ã€Œã†ã‚“. ã¨ã‚Šã‚ãˆãš,ã‚¯ãƒ©ã‚¹ã®åã¨ãƒ›ãƒ¢ãƒã‚¸ãƒ¼ä»£æ•°ã‚¼ãƒŸã‚’ã‚„ã‚ã†ã¨æ€ã£ã¦ã‚‹ã‚ˆ. æ˜¥ä¼‘ã¿ã®ã†ã¡ã«äºˆç¿’ã‚’é€²ã‚ãªã„ã¨ã€ ã€Œãµã…ã‚“,ãƒ›ãƒ¢ãƒã‚¸ãƒ¼ä»£æ•°ãã€ åƒæ™¯ã¯èªã‚“ã§ã„ãŸæœ¬ã‚’ãƒ‘ã‚¿ãƒ³ã¨é–‰ã˜ã¦, å‹¢ã„è‰¯ãç«‹ã¡ä¸ŠãŒã£ãŸã¨æ€ã£ãŸã‚‰å¤§ããä¼¸ã³ã‚’ã—ã¦, ã¤ã‹ã¤ã‹ã¨è¶³ã‚’å¼•ã£æŽ›ã‘ã‚‹ã‚ˆã†ã«ã—ã¦é»’æ¿ã®å‰ã¾ã§æ©ã, ãã®ã‚ã¨ç«‹ã¡æ¢ã¾ã£ã¦ã‹ã‚‰ãã‚‹ã‚Šã¨æŒ¯ã‚Šè¿”ã£ã¦ã“ã¡ã‚‰ã‚’è¦‹ãŸ. ã€Œhomologyã¯ã„ã„ã. è¤‡é›‘ãªç©ºé–“ã‹ã‚‰å˜ç´”ã ã‘ã©é‡è¦ãªæƒ…å ±ã‚’æŠœãå‡ºã›ã‚‹. è¤‡é›‘ã«çµ¡ã¿åˆã£ãŸç¶²ã®ä¸ã®, æœ¬å½“ã«å¤§åˆ‡ãªã‚‚ã®ã‚’æ‹¾ã„ä¸Šã’ã‚‹ã‚ˆã†ã«ã—ã¦æƒ…å ±ãŒå¾—ã‚‰ã‚Œã‚‹. homologyã¯ã¨ã¦ã‚‚ã„ã„ã‚ˆãã€ ã€Œåƒæ™¯ã¯ãƒ›ãƒ¢ãƒã‚¸ãƒ¼ä»£æ•°ã‚‚ã‚„ã£ã¦ã‚‹ã®ï¼Ÿã€ ã€Œå¿…è¦ãªæ™‚ã«æ‰±ã†ã ã‘ã. Abelian categoryã¯ãã‚“ãªã«è©³ã—ããªã„ã—ã€ ã€Œã‚ãƒ¼ã¹ã‚Šã‚ã‚“ã‹ã¦ã”ã‚Šãƒ¼
tetryl 2015/10/13
åœè«–
ãƒªãƒ³ã‚¯
åœè«–ã®ãƒ¢ãƒŠãƒ‰ã¨Haskellã®ãƒ¢ãƒŠãƒ‰
1. KSB:æ²³åŽŸç ”ç©¶å®¤ç™ºè¡¨ä¼š (æ²³åŽŸåº·é›„å…ˆç”Ÿé‚„æš¦è¨˜å¿µ) 2005å¹´7æœˆ29æ—¥ åœè«–ã®ãƒ¢ãƒŠãƒ‰ã¨Haskellã®ãƒ¢ãƒŠãƒ‰ ä¹å·žå¤§å¦ å¤§å¦é™¢æ•°ç†å¦ç ”ç©¶é™¢ æº å£ ä½³ å¯› 2. æ²³åŽŸå…ˆç”Ÿã¨ã®å‡ºä¼šã„ æ˜å’Œ54å¹´(1979å¹´)4æœˆ æºå£(å¤§å¦1å¹´ç”Ÿ) æ•™é¤Šéƒ¨ã§ã®æ•°å¦ç§‘å°‚é–€ç§‘ç›® ã€Œæƒ…å ±æ•°å¦åºè«–ã€ã‚’æ‹…å½“ã•ã‚Œã¦ã„ãŸï¼ (å—è¬›ã›ãšï¼ï¼) æ˜å’Œ57å¹´4æœˆ æ•°å¦è¬›ç©¶(å¤§å¦4å¹´ç”Ÿ) åœè«–ã®æƒ…å ±ç§‘å¦ã¸ã®å¿œç”¨ã«æƒ¹ã‹ã‚Œã‚‹ï¼ (ã‚¼ãƒŸç”Ÿã¯ï¼‘åã ã£ãŸï¼ï¼) 3. LAã‚·ãƒ³ãƒã‚¸ã‚¦ãƒ ä¼šå ±No.7 (1986å¹´7æœˆ) (è¬›åº§ç´¹ä»‹) ä¹å·žå¤§å¦ç†å¦éƒ¨æ•°å¦æ•™å®¤ æ•°ç†è§£æžå¦è¬›åº§ æ²³ã€€åŽŸã€€åº·ã€€é›„ (ä¸€éƒ¨ç•¥) ç§ãŒæ‰€å±žã™ã‚‹ã®ã¯, ä¹å·žå¤§å¦ãƒ»ç†å¦éƒ¨ãƒ»æ•°å¦æ•™å®¤ãƒ»æ•°ç†è§£æžå¦è¬›åº§ã§, åˆä»£è¬›åº§ æ‹…å½“æ•™æŽˆã¯å·¥è—¤é”äºŒå…ˆç”Ÿï¼ˆæ˜å’Œ56å¹´2æœˆï½žæ˜å’Œ58å¹´3æœˆ, ç¾åœ¨ä¹…ç•™ç±³å·¥æ¥å¤§å¦ æ•™æŽˆï¼‰ã§ã—ãŸãŒ, æ˜¨å¹´4æœˆã‹ã‚‰ã¯å¤§é˜ªå¤§å¦ã‚ˆã‚Šèµ´ä»»ã•ã‚ŒãŸç”°ä¸ä¿Šä¸€æ•™æŽˆãŒè¬›åº§ã‚’æ‹… å½“ã•
tetryl 2015/10/13
åœè«–
ãƒªãƒ³ã‚¯
IIJ Research Laboratory
ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®è¨ˆæ¸¬ã¨è§£æž ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®ä½¿ã‚ã‚Œæ–¹ã‚„ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®æŒ™å‹•ã‚’æŠŠæ¡ã™ã‚‹äº‹ã¯ã€ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã‚’é‹ç”¨ã—ã€ãã®æŠ€è¡“é–‹ç™ºã‚’è¡Œã† ãŸã‚ã«æ¬ ã‹ã›ã¾ã›ã‚“ã€‚ã—ã‹ã—ã€è¦³æ¸¬ã§å¾—ã‚‰ã‚Œã‚‹ãƒ‡ãƒ¼ã‚¿é‡ã¯è†¨å¤§ã§ã™ãŒãƒŽã‚¤ã‚ºãŒå¤šãã€ã¾ãŸã€è¦³æ¸¬ã§ãã‚‹ã®ã¯æ¥µã‚ã¦é™ã‚‰ã‚ŒãŸéƒ¨åˆ†ã§ã—ã‹ã‚ã‚Šã¾ã›ã‚“ã€‚ãã“ã§ã€è†¨å¤§ãªãƒ‡ãƒ¼ã‚¿ã‹ã‚‰æ„å‘³ã®ã‚ã‚‹æƒ…å ±ã‚’æŠ½å‡ºã—ãŸã‚Šã€éƒ¨åˆ†çš„ãªè¦³æ¸¬ã‹ã‚‰ã‚ˆã‚Šä¸€èˆ¬çš„ãªå‚¾å‘ã‚’æŽ¨æ¸¬ã™ã‚‹äº‹ãŒå¿…è¦ã¨ãªã‚Šã¾ã™ã€‚... ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆåŸºç›¤æŠ€è¡“ é€Ÿãã¦ã€å®‰å…¨ã§ã€ä¿¡é ¼æ€§ãŒé«˜ãã€ä½¿ã„ã‚„ã™ãã€ãªã©ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã‚µãƒ¼ãƒ“ã‚¹ã¸ã®è¦æ±‚ã¯ã¾ã™ã¾ã™é«˜ã¾ã£ã¦ã„ã¾ã™ã€‚ã“ã‚Œã‚‰ã®è¦æ±‚ã«å¿œãˆã‚‹ãŸã‚ã«ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã® åŸºç›¤æŠ€è¡“ã‚‚æ—¥ã€…é€²æ©ã—ã¦ã„ã¾ã™ã€‚ã„ã¾ã‚„ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã¯ã¤ãªãŒã‚‹ã ã‘ã®ã‚µãƒ¼ãƒ“ã‚¹ã§ã¯ãªãã€é«˜åº¦ã§è¤‡é›‘ãªæ©Ÿèƒ½ã‚’å‚™ãˆãŸç¤¾ä¼šåŸºç›¤ã¨ãªã‚Šã¾ã—ãŸã€‚IIJ æŠ€è¡“ç ”ç©¶æ‰€ã¯ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®åŸºç›¤ã¨ã—ã¦å®Ÿç¾ãŒæœŸå¾…ã•ã‚Œã‚‹æ©Ÿèƒ½ã‚’æä¾›ã™ã‚‹ãŸã‚ã«ã€ã•ã¾ã–ã¾ãªæŠ€è¡“èª²é¡Œã«å–ã‚Šçµ„ã‚“ã§
tetryl 2015/10/09
åœè«–
ãƒªãƒ³ã‚¯
IIJ Research Laboratory
ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®è¨ˆæ¸¬ã¨è§£æž ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®ä½¿ã‚ã‚Œæ–¹ã‚„ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®æŒ™å‹•ã‚’æŠŠæ¡ã™ã‚‹äº‹ã¯ã€ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã‚’é‹ç”¨ã—ã€ãã®æŠ€è¡“é–‹ç™ºã‚’è¡Œã† ãŸã‚ã«æ¬ ã‹ã›ã¾ã›ã‚“ã€‚ã—ã‹ã—ã€è¦³æ¸¬ã§å¾—ã‚‰ã‚Œã‚‹ãƒ‡ãƒ¼ã‚¿é‡ã¯è†¨å¤§ã§ã™ãŒãƒŽã‚¤ã‚ºãŒå¤šãã€ã¾ãŸã€è¦³æ¸¬ã§ãã‚‹ã®ã¯æ¥µã‚ã¦é™ã‚‰ã‚ŒãŸéƒ¨åˆ†ã§ã—ã‹ã‚ã‚Šã¾ã›ã‚“ã€‚ãã“ã§ã€è†¨å¤§ãªãƒ‡ãƒ¼ã‚¿ã‹ã‚‰æ„å‘³ã®ã‚ã‚‹æƒ…å ±ã‚’æŠ½å‡ºã—ãŸã‚Šã€éƒ¨åˆ†çš„ãªè¦³æ¸¬ã‹ã‚‰ã‚ˆã‚Šä¸€èˆ¬çš„ãªå‚¾å‘ã‚’æŽ¨æ¸¬ã™ã‚‹äº‹ãŒå¿…è¦ã¨ãªã‚Šã¾ã™ã€‚... ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆåŸºç›¤æŠ€è¡“ é€Ÿãã¦ã€å®‰å…¨ã§ã€ä¿¡é ¼æ€§ãŒé«˜ãã€ä½¿ã„ã‚„ã™ãã€ãªã©ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã‚µãƒ¼ãƒ“ã‚¹ã¸ã®è¦æ±‚ã¯ã¾ã™ã¾ã™é«˜ã¾ã£ã¦ã„ã¾ã™ã€‚ã“ã‚Œã‚‰ã®è¦æ±‚ã«å¿œãˆã‚‹ãŸã‚ã«ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã® åŸºç›¤æŠ€è¡“ã‚‚æ—¥ã€…é€²æ©ã—ã¦ã„ã¾ã™ã€‚ã„ã¾ã‚„ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã¯ã¤ãªãŒã‚‹ã ã‘ã®ã‚µãƒ¼ãƒ“ã‚¹ã§ã¯ãªãã€é«˜åº¦ã§è¤‡é›‘ãªæ©Ÿèƒ½ã‚’å‚™ãˆãŸç¤¾ä¼šåŸºç›¤ã¨ãªã‚Šã¾ã—ãŸã€‚IIJ æŠ€è¡“ç ”ç©¶æ‰€ã¯ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®åŸºç›¤ã¨ã—ã¦å®Ÿç¾ãŒæœŸå¾…ã•ã‚Œã‚‹æ©Ÿèƒ½ã‚’æä¾›ã™ã‚‹ãŸã‚ã«ã€ã•ã¾ã–ã¾ãªæŠ€è¡“èª²é¡Œã«å–ã‚Šçµ„ã‚“ã§
tetryl 2015/10/09
åœè«–
ãƒªãƒ³ã‚¯
Why Category Theory Matters Â· rs.io
Wed, Apr 30, 2014 I hope most mathematicians continue to fear and despise category theory, so I can continue to maintain a certain advantage over them. â€”John Baez The above is a graph of the number of times the phrase â€œcategory theoryâ€ has been used in books, from about 1950 through the present. It speaks for itself. But why? Whatâ€™s the big deal? Why does category theory matter? Iâ€™m about a quarte
tetryl 2015/10/07
åœè«–
ãƒªãƒ³ã‚¯
Category Theory and Software Engineering
tetryl 2015/10/07
åœè«–
ãƒªãƒ³ã‚¯
Is Mac Lane still the best place to learn category theory?
For a student embarking on a study of algebraic topology, requiring a knowledge of basic category theory, with a long-term view toward higher/stable/derived category theory, ... Is Mac Lane still the best place to start? Or has the day arrived when it is possible to directly learn ($\infty$,n)-categories, without first learning ordinary category theory? (So the next generation will be, so to speak
tetryl 2015/05/07
åœè«–

book
ãƒªãƒ³ã‚¯
åœè«–ã®åŸºç¤Ž
åœè«–ã®æ•™ç§‘æ›¸ã¨ã—ã¦ã€ä¸€ã¤ã®å®šç•ªã¨å‘¼ã°ã‚Œã‚‹æœ¬ãŒMacLaneã®Categories for the Working Mathematicianï¼ˆé‚¦è¨³ï¼šåœè«–ã®åŸºç¤Žï¼‰ã ã€‚ã“ã®æœ¬ã¯è‡ªåˆ†è‡ªèº«ã«ã¨ã£ã¦ã‚‚å¤§å¦ã«å…¥ã£ã¦ã‹ã‚‰æœ€åˆã«èªã¿ãµã‘ã‚Šã€èªã¿åˆ‡ã£ãŸæœ¬ã¨ã—ã¦ã¨ã¦ã‚‚è¦ªã—ã¿æ·±ã„æœ¬ã§ã‚ã‚‹ã€‚ã—ã‹ã—ã€å…ˆæ—¥ä¹…ã—ã¶ã‚Šã«æ‰‹ã«å–ã£ã¦çœºã‚ãªãŠã—ã¦ã¿ã‚‹ã¨ã€å°‘ã—ç‰©è¶³ã‚Šãªã„ã¨æ„Ÿã˜ã‚‹ã¨ã“ã‚ã‚„è‰¯ããªã„ã¨æ„Ÿã˜ã‚‹ã¨ã“ã‚ã‚‚å¤šãã‚ã‚‹ã€‚ãã“ã§ã€Œåœè«–ã®åŸºç¤Žï¼ˆä»¥ä¸‹CWMï¼‰ã€ã«ã¤ã„ã¦ä»Šã®ç«‹å ´ã‹ã‚‰æ€ã†æ‰€ã‚’ãƒ¬ãƒ“ãƒ¥ãƒ¼ã—ã¦ã¿ã‚ˆã†ã¨æ€ã†ã€‚ â—MacLaneã®ã‚¹ã‚¿ã‚¤ãƒ« ã¾ãšã€CWMã«é™ã‚‰ãšMacLaneã®æ›¸ãæœ¬ï¼ˆä¾‹ãˆã°Homologyï¼‰ã¯ç‰¹å¾´ãŒã‚ã‚‹ã€‚ãã‚Œã¯ã€Œå…·ä½“ã‹ã‚‰æŠ½è±¡ã¸ã€ã¨ã„ã†æµã‚Œã‚’æ˜Žç¢ºã«æ„è˜ã—ã¦ã„ã‚‹ç‚¹ã ã€‚ä¾‹ãˆã°ã€éšä¼´é–¢æ‰‹ã®èª¬æ˜Žã‚’ã™ã‚‹ã¨ã™ã‚‹ã€‚ã™ã‚‹ã¨ã€ä¸€èˆ¬çš„ãªè©±ã‚’ã™ã‚‹å‰ã«è‡ªç”±ãƒ™ã‚¯ãƒˆãƒ«ç©ºé–“ã¨å¿˜å´é–¢æ‰‹ã®è©±ã‚’ã™ã‚‹ã€‚è‡ªç”±ã‚°ãƒ©ãƒ•ã®è©±ã‚’ã™ã‚‹ã€‚ãã‚Œã‚‰ã®æ§‹é€ ã‚’æ„è˜ã—ãªãŒã‚‰ã€å…±é€š
tetryl 2015/05/07
åœè«–
ãƒªãƒ³ã‚¯
åœè«–å‹‰å¼·ä¼š @ ãƒ¯ãƒ¼ã‚¯ã‚¹ã‚¢ãƒ—ãƒªã‚±ãƒ¼ã‚·ãƒ§ãƒ³ã‚º
Seminar of category theory
tetryl 2013/05/31
åœè«–
ãƒªãƒ³ã‚¯
Halobet ðŸŽ€ Situs Slot Online Terpercaya Gacor 2024
Decrease quantity for Halobet ðŸŽ€ Situs Slot Online Terpercaya Gacor 2024 Increase quantity for Halobet ðŸŽ€ Situs Slot Online Terpercaya Gacor 2024 Fasilitas Lengkap untuk Pem ain Baru Bagi para pem ain baru, Halobet menyediakan fasilitas lengkap untuk memastikan Anda merasa nyaman dan terhibur selama bermain di situs kami. Dari berbagai pilihan permainan slot hingga layanan pelanggan yang responsif,
tetryl 2013/05/17
åœè«–
ãƒªãƒ³ã‚¯
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) ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰
tetryl 2013/05/02
åœè«–

PL
ãƒªãƒ³ã‚¯
1 2 æ¬¡ã®ãƒšãƒ¼ã‚¸