ã”ã‚ã‚“ãªã•ã„…一部ã®ãƒ„イートãŒå–å¾—ã§ãã¾ã›ã‚“ã§ã—ãŸç·¨ã€‚ ã“ã®ãƒã‚°ã¯ åœè«–åœã«ä½ã‚€mathinkæ°ã«ã‚ˆã‚‹ ã±ã¶ã‚Šã¸ã®åœè«–カウンセラーを記録ã—ãŸã‚‚ã®ã§ã™ã€‚
åœè«–åœã«ä½ã‚€mathink先生ã¨åœè«–線上ã®ã±ã¶ã‚Š
ã”ã‚ã‚“ãªã•ã„…一部ã®ãƒ„イートãŒå–å¾—ã§ãã¾ã›ã‚“ã§ã—ãŸç·¨ã€‚ ã“ã®ãƒã‚°ã¯ åœè«–åœã«ä½ã‚€mathinkæ°ã«ã‚ˆã‚‹ ã±ã¶ã‚Šã¸ã®åœè«–カウンセラーを記録ã—ãŸã‚‚ã®ã§ã™ã€‚
åœè«–入門ã¨ã—ã¦ã®ãƒ›ãƒ¢ãƒã‚¸ãƒ¼ - å†å¸°ã®å復blog
åœè«–ã¸ã®å…¥é–€ã®ä»•æ–¹ ホモãƒã‚¸ãƒ¼ コホモãƒã‚¸ãƒ¼ 関数ã®ã¤ãªãŒã‚Šã«ãã•ã¨(コ)ホモãƒã‚¸ãƒ¼ 完全系列ã¨åœè«–的視点 目次 åœè«–ã¸ã®å…¥é–€ã®ä»•æ–¹ ホモãƒã‚¸ãƒ¼ 付記:ホモトピーã¨ãƒ›ãƒ¢ãƒã‚¸ãƒ¼ã®é•ã„ コホモãƒã‚¸ãƒ¼ 関数ã®ã¤ãªãŒã‚Šã«ãã•ã¨(コ)ホモãƒã‚¸ãƒ¼ 完全系列ã¨åœè«–的視点 制約ã¨ã—ã¦ã®å®Œå…¨ç³»åˆ— 付記:åŠ ç¾¤ã®ãƒ›ãƒ¢ãƒã‚¸ãƒ¼ã¨Tor åœè«–ã¸ã®å…¥é–€ã®ä»•æ–¹ åœè«–ã‚’å¦ã¶ãã£ã‹ã‘ã¨ã—ã¦ã¯ã€ã ã„ãŸã„ 計算機科å¦ã€è«–ç†å¦ã‹ã‚‰ ホモãƒã‚¸ãƒ¼ã€ä»£æ•°å¹¾ä½•ã‹ã‚‰ ã®äºŒã¤ãŒã‚ã£ã¦ã€ä¸€è¦‹ã™ã‚‹ã¨è¨ˆç®—機科å¦ã€ãƒã‚¸ãƒƒã‚¯ã®æ–¹ã‹ã‚‰å…¥ã£ãŸæ–¹ãŒ(æ•°å¦ã®å‰æ知è˜ã‚’ã‚ã¾ã‚Šå¿…è¦ã¨ã—ãªã„ã“ã¨ã‚‚ã‚ã£ã¦)易ã—ã„よã†ã«è¦‹ãˆã‚‹ã€‚ ã§ã‚‚ç¾å®Ÿã«ã¯å¾€ã€…ã«ã—ã¦ã€ã‚ã–ã‚ã–åœè«–ã¨ã„ã†æ¦‚念を導入ã™ã‚‹å‹•æ©Ÿã‚„メリットãŒè¦‹ãˆã¦ã“ãªã„ã¾ã¾è‰²ã€…ãªè¨€è‘‰ã®èª¬æ˜ŽãŒã²ãŸã™ã‚‰ç¶šã„ã¦æŒ«æŠ˜ã™ã‚‹ã“ã¨ã«ãªã‚‹ã€‚é«˜æ ¡ã‚ãŸã‚Šã§ã€Œä¸‰è§’関数ã¨ã‹å¯¾æ•°ã¨ã‹ä½•ã®æ„味ãŒã‚ã‚‹ã‚“ã ã€ã€Œã“ã‚“ãªã“ã¨ä½•ã®å½¹ã«ç«‹ã¤ã‚“ã ã€ã¨ã‹è¨€ã„ãŸããªã‚‹ã®ã¨
モニャドセミナー第一回(ヒヤマセミナー) - hiroki_f’s diary
昨日行ã£ã¦ãã¾ã—ãŸã€‚ 2009-04-24 - 檜山æ£å¹¸ã®ã‚マイラ飼育記 ã¿ã‚“ãªã§ã—ã‚Šã¨ã‚Šã‚’ã—ãŸã‚Šã€"ã‚ã‚"ã¨"ã‚â€ã£ã¦ä½•ãŒé•ã†ã®ï¼Ÿã¿ãŸã„ãªè©±ã‚’ã—ãŸã‚Šã€‚ é¢ç™½ã‹ã£ãŸã§ã™ã€‚ å‚考 モニャドセミナーã«ã¯å‚åŠ ã—ãªã‹ã£ãŸã‚“ã ã‘ã© - bonotakeã®æ—¥è¨˜ モニャドセミナーã«ã¯å‚åŠ ã—ãªã‹ã£ãŸã‚“ã ã‘㩠続ã - bonotakeã®æ—¥è¨˜ Diary?::2009-04-24 åœè«–ã£ã¦ã‚·ãƒ³ãƒ—ルã™ãŽã¦ã€æœ€åˆå‹‰å¼·ã—始ã‚ãŸæ™‚ã¯ä½™è¨ˆãªã“ã¨ã‚’考ãˆã¦ã—ã¾ã†ã‚“ã§ã™ã‚ˆã。 ã“ã‚Œã¯ä½•ï¼Ÿã¨èžã„ã¦ã‚‚ã€ãれを考ãˆã‚‹ã“ã¨ã«æ„味ã¯ãªã„ã¿ãŸã„ã«è¨€ã‚れるã¨ã€ ？？ ã¨ãªã‚‹ã‚“ã§ã™ã€‚ å…¬ç†ã¯3ã¤ã—ã‹ãªã„ã®ã§ã€ãã‚Œã«ä¸€ã¤ä¸€ã¤æˆ»ã£ã¦ã¿ã‚Œã°åˆ†ã‹ã‚Šã‚„ã™ã‹ã£ãŸã®ã§ã¯ãªã„ã‹ã¨æ€ã„ã¾ã™ã€‚ ãŠãŠã–ã£ã±ã«è¨€ãˆã°ã€ åœè«–ã¯ã€çµåˆå¾‹ãŒæˆã‚Šç«‹ã¡ã€æ’ç‰å°„ãŒå˜åœ¨ã™ã‚‹ã‚‚ã®ã ã‘ãŒè€ƒå¯Ÿã®å¯¾è±¡ãªã®ã§ã¯ãªã„ã§ã—ょã†ã‹ï¼Ÿ(対象ã«ã¤ã„ã¦ã¯çœã„ã¦æ›¸ã„ã¦ã‚‹) 1　åˆæˆ: fï½¥g 2　
åœè«– | 　TETRA’s MATH
Xã«ãƒã‚¹ãƒˆã—ãŸè¥¿éƒ·ç”²çŸ¢äººã€Žåœè«–ã®åœ°å¹³ç·šã€ï¼ˆ2022年）ã®2回目感想å·æŸ³ã‚’ã¾ã¨ã‚ã¾ã—ãŸã€‚ ＊　　　　　＊　　　　　＊ ã¯ã˜ã‚ã« p.3ã®è£œæ³¨ã€è‡ªèº«ã®ãƒªãƒ•ãƒ¬ã‚¤ãƒ³ 第1ç« ã€€è¨ˆç®—å¹¾ç§‘å¦ã‹ã‚‰ã®åœè«– ï¼ˆé•·è°·å· çœŸäººï¼‰ éžå¯æ›ã¨ä¸å¤‰é€†å…ƒèŒ¶å…¥ã®ç·’（※茶入ã®ç·’ã®è©±ã¯å‡ºã¦ãã¾ã›ã‚“） 第2ç« ã€€åœè«–ã¨ï¼ˆå°‘ã—普通ã§ãªã„ï¼‰è¨ˆç®—æ©Ÿç§‘å¦ ï¼ˆä¸‰å¥½ åšä¹‹ï¼‰ リフレクションやã£ã¦ããŸã“ã¨ã—ãŸã„ã“㨠第3ç« ã€€é¡žä½“è«–ã¨ä»£æ•°çš„言語ç†è«–ã¯è¨€èªžçš„ã«ã©ã†ã¤ãªãŒã‚‹ã®ã‹ï¼Ÿ （浦本 æ¦é›„） 自然ã¨ã¯ã„ã‹ãªã‚‹ã“ã¨ã‹çŸ³ã«é¢¨ 第4ç« ã€€èªçŸ¥ç§‘å¦è€…ã¨èªžã‚‹åœè«– ï¼ˆæ± ç”° 俊介ï¼å¸ƒå±± 美慕ï¼é«˜æ©‹ é”二ï¼é«˜æ©‹ 康介ï¼æ—¥é«˜ 昇平） ※日高ã•ã‚“ã®ã€Œé«˜ã€ã¯ã¯ã—ã”ã ㋠見ãˆã‚‹ï¼ˆã¬ï¼‰ã‚‚ã®å¯æ›å›³å¼ã¯è¦æ³¨æ„ 第5ç« ã€€ã€ˆæ™®é的構æˆã€‰ã¨ã—ã¦ã®èªçŸ¥ （Steven Phillips　訳：冨永 星） ãƒãƒ£ãƒƒãƒˆãƒ³ã®åカミソリã¨5æ³å…㨠第6ç« ã€€æ„è˜ã®åœè«–çš„ç†è§£ （土谷 å°šå—£ï¼å±±ç”° 真希
ã¯ã˜ã‚ã¦ã®åœè«– ãã®ç¬¬1æ©ï¼šã—ã‚Šã¨ã‚Šã®åœ - 檜山æ£å¹¸ã®ã‚マイラ飼育記
全体目次： 第1æ©ï¼šã—ã‚Šã¨ã‚Šã®åœ （ã“ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ï¼‰ 第2æ©ï¼šè¡Œåˆ—ã®åœ 第3æ©ï¼šæ¥µç«¯ãªåœé” 第4æ©ï¼šéƒ¨åˆ†åœ 第5æ©ï¼šå¤‰æ›ã‚ューã®åœ 第6æ©ï¼šæœ‰é™å¤‰æ›ã‚ューã¨åŠåœ 第7æ©ï¼šã‚¢ãƒŸãƒ€ã®åœ 第8æ©ï¼šé †åºé›†åˆã®åŸ‹ã‚è¾¼ã¿è¡¨ç¾ 第9æ©ï¼šåŸºæœ¬ã«æˆ»ã£ã¦ã€åœè«–感覚を養ã†ãƒãƒŠã‚·ã¨ã‹ 付録ï¼ç•ªå¤–ãªã©ï¼š ä¸é–“付録A：絵をæã„ã¦ã¿ãŸ 番外：åŒæœŸï¼éžåŒæœŸã®çµåˆ ä¸é–“付録B：アミダã¨ãƒ–レイド 番外：米田ã®è£œé¡Œã«å‘ã‘ã¦ã®ã‚ªã‚·ãƒ£ãƒ™ãƒª 一部ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®èƒŒæ™¯ã¨ã—ã¦ã€åœè«–（カテゴリー論）ãŒä½¿ã‚ã‚ŒãŸã‚Šã™ã‚‹ã›ã„ã‹ã€ä»¥å‰ã«æ¯”ã¹ã‚Œã°å¤šå°‘ã¯åœè«–ã«èˆˆå‘³ã‚’æŒã¤äººãŒå¢—ãˆãŸã‚ˆã†ãªæ°—ãŒã—ãªãã‚‚ãªã„よã†ãªã€‚ã§ã‚‚ã€å®‰ç›´ãªå…¥é–€çš„文書ã¯ã‚ã¾ã‚Šè¦‹ã‹ã‘ãªã„ã§ã™ã。もã¡ã‚ã‚“ã€ã‚·ãƒƒã‚«ãƒªã—ãŸæ•™ç§‘書や論説ã¯ã‚ã‚‹ã‚“ã§ã™ãŒã€ã©ã†ã‚‚シッカリã—éŽãŽã¦ã„るよã†ãªã€‚例ãˆã°ã€åœã®ä¾‹ã¨ã—ã¦ã€Œã‚³ãƒ³ãƒ‘クト・ãƒã‚¦ã‚¹ãƒ‰ãƒ«ãƒ•ç©ºé–“ã¨é€£ç¶šå†™åƒã®åœã€ã¨ã‹è¨€ã‚ã‚Œã¦ã‚‚ãã‡ï¼ˆã“ã®ä¾‹ã¯ã„ã„例ãªã‚“ã§ã™
åœè«–デザインパターン
è¦æ±‚開発アライアンスã®ã‚»ãƒƒã‚·ãƒ§ãƒ³ã€ŽObject-Functional Analysis and Design: 次世代モデリングパラダイムã¸ã®é“標ã€ã§ä½¿ç”¨ã™ã‚‹ã‚¹ãƒ©ã‚¤ãƒ‰ã«ã¤ã„ã¦èƒŒæ™¯èª¬æ˜Žã‚’è¡Œã£ã¦ãã¾ã—ãŸã€‚ 関数型言語ã®æŠ€è¡“マップオブジェクト・モデリングã®ãƒœãƒˆãƒ«ãƒãƒƒã‚¯ä»£æ•°çš„æ§‹é€ ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³ä»Šå›žã¯èƒŒæ™¯èª¬æ˜Žç¬¬4å¼¾ã§ã€ã€Œåœè«–デザインパターンã€ã¨ã—ã¦ç”¨æ„ã—ãŸä»¥ä¸‹ã®å›³ã‚’説明ã—ã¾ã™ã€‚ 関数型言語ã®æŠ€è¡“マップã§èª¬æ˜Žã—ãŸã‚ˆã†ã«ã€åž‹ã‚¯ãƒ©ã‚¹ã®å°Žå…¥ã«ã‚ˆã£ã¦ä»£æ•°çš„æ§‹é€ ã‚„åœè«–ã®ç†è«–をプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ç›´æŽ¥åˆ©ç”¨ã§ãるよã†ã«ãªã‚Šã¾ã—ãŸã€‚ ä»£æ•°æ§‹é€ çš„ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³ã¯ã€åŸºæœ¬ä¸ã®åŸºæœ¬æ¦‚念ã§ã‚ã‚‹ã®ã§ã€ãƒ¢ãƒŽã‚¤ãƒ‰ä»¥å¤–ã®ãƒ‘ターンもã„ãšã‚Œåºƒã使ã‚れるよã†ã«ãªã‚‹ã“ã¨ãŒäºˆæƒ³ã•ã‚Œã¾ã™ãŒã€ä»Šã®æ‰€åºƒã使ã‚ã‚Œã¦ã„ã‚‹ã®ã¯åœè«–デザインパターンã®æ–¹ã§ã™ã€‚ 代表的ãªåœè«–デザインパターンã¯ä»¥ä¸‹ã®ã‚‚ã®ã§ã™ã€‚ åœ(category)対象ã¨å°„(対象間ã®æ§‹é€ ã‚’ä¿
Understanding F-Algebras
Understanding F-Algebras Posted by Bartosz Milewski under Category Theory, Functional Programming, Haskell, Programming [19] Comments What is algebra? Naively speaking algebra gives us the ability to perform calculations with numbers and symbols. Abstract algebra treats symbols as elements of a vector space: they can be multiplied by scalars and added to each other. But what makes algebras stand a
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}