ã¯ã˜ã‚ã¦ã®åœè«– ãã®ç¬¬4æ©ï¼šéƒ¨åˆ†åœ - 檜山æ£å¹¸ã®ã‚マイラ飼育記「第4æ©ã€ã¨æ›¸ã„ãŸã‹ã‚‰ã¨è¨€ã£ã¦ç¶šãã‹ã©ã†ã‹ã¯ã‚ã‹ã‚‰ãªã„ -- ã¨ã„ã†ã‚»ãƒªãƒ•ã¯ã‚‚ã†ã‚„ã‚よã†ã€‚ã¯ã˜ã‚ã®ä½•æ©ã‹ã¯é€²ã‚“ã ã‹ã‚‰ã€ã‚‚ã†ã€ã„ã¤ä¸æ–ã—ã¦ã‚‚ã„ã„ã‹ã‚‰ãªã€‚ ã§ã€ç¬¬4æ©ã®ãƒã‚¿ãªã‚“ã§ã™ãŒã€ã‚‚ã£ã¨ã‚‚ã£ã¨å®Ÿä¾‹ã‚’出ã™ã‹ã€ä¸€èˆ¬çš„ãªè°è«–ã‚’ã™ã‚‹ã‹æ‚©ã¿ã¾ã—ãŸï¼ˆå°‘ã—ã ã‘）。çµå±€ã€ä»Šã¾ã§ã®ä¾‹ã‹ã‚‰æ–°ã—ã„例を作り出ã—ã¦ã¿ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚与ãˆã‚‰ã‚ŒãŸåœã‹ã‚‰æ–°ã—ã„åœã‚’作り出ã™æ‰‹ç¶šãを（åœè«–的）構æˆï¼ˆconstruction）ã¨ã„ã†ã®ã§ã™ãŒã€æ§‹æˆã¯éžå¸¸ã«é‡è¦ã§ã™ã€‚例ãˆã°ã€ç´”関数ã®åœã‹ã‚‰çŠ¶æ…‹æ©Ÿæ¢°ã®åœã‚’作り出ã™Circ構æˆã€ãƒ¢ãƒŠãƒ‰ã‚’使ã£ã¦å°„ã®æ¦‚念を拡張ã™ã‚‹Kleisli構æˆ*1ã€ã‚ˆã„性質ã®å°„ã®å¯¾ã‚’é¸ã³å‡ºã™EP（埋ã‚è¾¼ã¿ï¼å°„影）構æˆã€2ã¤ã®åœC, Dã‹ã‚‰é–¢æ‰‹åœDCã®æ§‹æˆã€éžæ±ºå®šæ€§ï¼ˆã®ä¸€ç¨®ï¼‰ã‚’å°Žå…¥ã™ã‚‹ãƒ™ã‚構æˆã€ãƒˆãƒ¬ãƒ¼ã‚¹ä»˜ãモノイドåœã‹ã‚‰ã‚³ãƒ³ãƒ‘クト閉åœã‚’作るInt構æˆï¼ˆGoI構æˆã¨ã‚‚呼ã¶ï¼‰ãªã©ãŒã€æ–°ã—ã„åœã‚’大é‡ç”Ÿç”£ã™ã‚‹è£½é€ 機械ã¨ã—ã¦æ´»
ã¯ã˜ã‚ã¦ã®åœè«– ãã®ç¬¬3æ©ï¼šæ¥µç«¯ãªåœé” - 檜山æ£å¹¸ã®ã‚マイラ飼育記
ã¯ã˜ã‚ã¦ã®åœè«– ãã®ç¬¬1æ©ï¼šã—ã‚Šã¨ã‚Šã®åœ - 檜山æ£å¹¸ã®ã‚マイラ飼育記
ã¯ã˜ã‚ã¦ã®åœè«– ãã®ç¬¬2æ©ï¼šè¡Œåˆ—ã®åœ - 檜山æ£å¹¸ã®ã‚マイラ飼育記
Amazon.co.jpï¼šç´ æ•°ã®éŸ³æ¥½æ–°æ½®ã‚¯ãƒ¬ã‚¹ãƒˆãƒ»ãƒ–ックス: 本
åœè«– - Wikipedia
{{#tags}}- {{label}}
{{/tags}}