mathfit00.dvi
��������� � ������������������������ ��!"�����#$�%�'&(��)�+* ,.-0/21�34-05�687:9 ;=<?>A@4BDCFEG>:@IHKJ?LM@ON4PRQ4LOSI@8TRLUVEG<?W�<?QAN XY@Z�@\[ C�])^F_K`a_KNIbdc _F_�e.fgTRLUVEG<?W�<?QAN4h(i4<%TR<kjli4<kmlnpo Q\q8r?@ s0t udvxwKydzA{}|x~d��{}�0� `?�G�do�QK�4o m�)��_�_F_ �����?�?���\���F�G� Q�LOQxj�mlCKq8�8JkjlLOCFQ�jlC�JkCdo�nOW�<?�8m2o LpJ�r�>I<?JkLO�4Jao jlLOC�Q)LOr�>8ml<?r�<kQKjl<?q�SKLpo <k]8o
余代数を知りãŸã„ãªã‚‰ã€ã“ã‚Œã - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
先日「代数ã¨ä½™ä»£æ•°ã€ã‚¯ãƒ©ã‚¹ã¨ä½™ã‚¯ãƒ©ã‚¹ã€ã¨ã„ã†ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã‚’書ãã¾ã—ãŸã€‚ã“ã‚Œã¯ã€ã‚ã¾ã‚Šæ£ç¢ºã•ã¯æ°—ã«ã—ãªã„「ãŠã¯ãªã—ã€ã§ã™ã€‚「ãŠã¯ãªã—ã€ã§ã‚ã£ã¦ã‚‚ã€é›°å›²æ°—ã‚„æ„Ÿã˜ã‚’ã¤ã‹ã‚€ã«ã¯ãã‚Œãªã‚Šã®æ„味ãŒã‚ã‚‹ã¨æ€ã£ã¦ã„ã¾ã™ã€‚ã‚‚ã†å°‘ã—補足をã™ã‚‹æ°—ã¯ã‚ã‚‹ã®ã§ã™ãŒã€æ£ç¢ºã§ä½“系的ãªè¨˜è¿°ã¯ã€èƒ½åŠ›ãƒ»æ°—力・体力ã®ç‚¹ã§åƒ•ã®æ‰‹ã«ã¯ä½™ã‚Šã¾ã™ã€‚代数ã¨ä½™ä»£æ•°ã«é–¢ã™ã‚‹ï¼ˆä½™ä»£æ•°ãŒä¸å¿ƒã®ï¼‰è‰¯ã„教科書や資料ã¯ãŸãã•ã‚“ã‚ã‚Šã¾ã™ã®ã§ã€ãŠã™ã™ã‚ã§ãる解説を挙ã’ã¦ãŠãã¾ã™ã€‚ Title: Exercises in Coalgebraic Specification Author: Bart Jacobs URL: http://www.cs.ru.nl/~bart/PAPERS/mathfit00.pdf 43ページã€Exercises ã¨ç•¥ç§° Title: Universal coalgebra: a theory of systems Autho
プãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ä½™ä»£æ•°
  プãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ä½™ä»£æ•° 山崎利治 ½ 今日ã®è©±é¡Œ 代数ã¨ä½™ä»£æ•°ã¯ã¨ã‚‚ã«é›†åˆã¨é–¢æ•°ã®çµ„ã¨ã—ã¦å®šç¾©ã•ã‚Œã‚‹Âº ç°¡å˜ã«è¨€ ãˆã° ¸ ãれらã¯ã¤ãŽã§ã‚るº 代数    ´ µ 余代数   ´ µ ã“ã“㧠㯠集åˆÂ¸ 㯠集åˆä¸Šã®æ§‹æˆåã‚ã‚‹ã„ã¯åˆ†è§£å¸ 㯠関数 ã§ã‚るº プãƒã‚°ãƒ©ãƒžã«ãªã˜ã¿ã® 抽象データ型ã¯ä»£æ•° 状態系ã¯ä½™ä»£æ•° ã§ã‚るº ã¾ãŸÂ¸ 自己å‚照を伴ã†ç„¡é™ã®è¦ç´ ã‚’ã‚‚ã¤ãƒ‡ãƒ¼ã‚¿åž‹ã‚„オブ ジェクト 指å‘ã®ã‚ªãƒ–ジェクト も余代数ã¨ã¿ãªã•ã‚Œã‚‹Âº 今日ã®è©±é¡Œã¯ ã“ã®ä½™ä»£æ•°ã§ã‚るº ¾ 今日ã®è©±é¡Œ 余代数ã«é–¢é€£ã™ã‚‹ã„ãã¤ã‹ã®æ¦‚念ãŒã‚り¸ ã“ã®èª¬æ˜ŽãŒç›®çš„ã§ã‚るº 代数 æ§‹é€ æ„味 å®šç¾©ãƒ»è¨¼æ˜ŽåŽŸç† å§‹ä»£æ•° åˆåŒé–¢ä¿‚ 帰ç´æ³• 余代数 終余代数 åŒæ¨¡å€£é–¢ä¿‚ 余帰ç´æ³• ¿ 話ã®äºˆå®š à Ãà ÃÃà ÃÃŽ 余代数ã®ä¾‹ グラフ ¸ åœÂ¸ 関手 余代数 åŒæ¨¡å€£é–¢ä¿‚ã¨ä½™å¸°ç´æ³• à 余代数ã®
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://www.cs.ru.nl/B.Jacobs/CLG/JacobsCoalgebraIntro.pdf
Universal coalgebra: a theory of systems
{{#tags}}- {{label}}
{{/tags}}