2020-05-01ãã1ã¶æéã®è¨äºä¸è¦§
ãã2,3æ¥ããªã³ã©ã¤ã³ä¸ã§Markdownææ¸ã®ç·¨éã管çãè¡ãããµã¼ãã¹ã触ã£ã¦ã¿ã¾ããã StackEdit https://stackedit.io/ HackMD https://hackmd.io/ Kibela https://kibe.la/ ãã®3ã¤å ¨ã¦ã«ããã¦ããã£ã¹ãã¬ã¤æ°å¼ã¯è¡ãã¨ã«ã»ã³ã¿ãªã³ã°ããã¾ãï¼Hackâ¦
æ¨æ¥ã®è¨äºããªã³ã©ã¤ã³Markdownã¨ãã£ã¿ï¼ãã¥ã¼ã¯ã¼ãã§ããªã³ã©ã¤ã³Markdownã¨ãã£ã¿StackEditãç´¹ä»ãã¾ããããStackEditã®æ°å¼æ©è½ï¼KaTeXï¼ãã¤ãã¤ãã§ã¡ãã£ã¨å°ãã¾ãããé¡ä¼¼ã®ãªã³ã©ã¤ã³ãã¼ã«ã§ããHackMDã試ãã¦ã¿ã¾ãã HackMD https://hackâ¦
Wikiæ§æã¯ãä¸ææã¯ç¾¤éå²æ ã¨ããããæ¹è¨ã溢ãã¦ãã¾ããããããä»ã§ã¯ãMarkdownãæ¨æºã®å°ä½ãç²å¾ããããã§ã*1ãMarkdownã®æ¡å¼µãæ¹è¨ã¯ããã¾ãããä¸æ ¸ã®æ§æã¯å®å®ãã¦ãã¾ããåããMarkdownæ§æã§æ¸ããã¨ã¯å¤ãã§ãã⻠追è¨ãããã¾ãã ãªâ¦
ãªã³ã©ã¤ã³ã»ãã³ãã«ã®ãã³ãã«ã®é¨åã«ä½ãå ¥ãããããã¯ãé©ããªããªã£ããä¾ãã°ããªã³ã©ã¤ã³çµå©å¼(â)ããããããªãã Congrats! (βç) https://congrats.crazy.co.jp/ åãé©ãããªã³ã©ã¤ã³ã»ãã³ãã«ã¯ãï¼æ°åã³ããã¦ã£ã«ã¹ç¦ã®ï¼æ¯è¼çã«æ©ã段â¦
æ¨æ¥ã¨ä¸æ¨æ¥è©±é¡ã«ããã«ã«ã¿ã³å¾®åè¨ç®ç³»ãCartan calculusãã§ãããããã¯ã¨ã¦ãè¯ãã§ãããç¥å度ã¨äººæ°ã¯ãã¾ããªãããããã¾ã¨ã¾ã£ãè³æããªãã®ã§ãããå¤æ§ä½ä¸ã®å¾®åè¨ç®ãæ´çããæ çµã¿ã¨ãã¦ããã便å©ã§ãã3ã¤ã®ãªãã¬ã¼ã¿ d, L, i ã«é¢ãâ¦
ãå¾®åã¤ã³ãã©ã¨ã¯ã«ã«ã¿ã³å¾®åè¨ç®ç³»ãã®ç¶ãã§ããã«ã«ã¿ã³å¾®åè¨ç®ç³»ãæºããã¹ãçå¼ã¯ãhttps://planetmath.org/cartancalculus ã«å¾ãã¨ãã¦ããããã®çå¼ãè¼ããåå°ãã¾ã ããããªãã¾ãããã©ã®ç¨åº¦æ½è±¡çã«ãã¹ããï¼ ã©ã®ãããªä¸é¨æ§é ãè¦æ±â¦
ãã·ã¥ãã¬ã¼ï¼ã¢ã¤ã¬ã³ãã«ã¯é¢æã®è©± // å¾®åã¤ã³ãã©ã¨ã·ã¥ãã¬ã¼ï¼ã¢ã¤ã¬ã³ãã«ã¯é¢æãã«æ¬¡ã®ããã«æ¸ãã¾ããã å¤æ§ä½ä¸ã§å¾®åè¨ç®ãããã¨ãã«å¿ è¦ãªæ¼ç®ãæä½ãã«ã¯ä½ãããã§ããããã並ã¹ã¦ã¿ã¾ãã é¢æ°ã®åå¾®å ãã¯ãã«å ´ã®ãªã¼å¾®å å¾®åå½¢â¦
10å¹´åã«ãããã¿ãããããPredrag Cvitanovicãã®ãã¼ããã©ãã¯ã話é¡ã«ãããã¨ãããã¾ãã ãã¼ããã©ã㯠-- 群è«çãªãã¡ã¤ã³ãã³å³ ããã¿ããããæ¬ã¯ããã®ã¨ãã«ãã©ãªã¨çºããã ãã§ããã®å¾è¦è¿ããã¨ã¯ããã¾ããã§ããããããã¾ãã¾ãã¼ãâ¦
ãªãã«ä»ãLOVEï¼JOYãï¼ ã¨æã£ããã2010å¹´ã«ä½æãããMMDçããã¡æ¥é¦ LOVEï¼JOYããå·¥è¤ãªãç¾ï¼@moa_blue46ï¼ããã¨ããæ¹ãåç¾ãããããã§ããå¿ å®ãªåç¾ã¯äººéã§ã¯ã©ããã£ã¦ãç¡çã§ãããåç¾åº¦ã¯ããªãé«ãã§ããã 2020/05/11 https://twitterâ¦
ä¸é£ã®è©±é¡ãå°ãã¿ã«åãå»ãã§æ稿ãã¦ãã¾ããã³ã³ã«æ¸ãããããªäºæ ã§ãããçå¼çé¢æã¤ã³ã¹ãã£ãã¥ã¼ã·ã§ã³ï¼æ¦è¦ï¼ãã§è¿°ã¹ãããã«ãçå¼çé¢æã¤ã³ã¹ãã£ãã¥ã¼ã·ã§ã³ã§ã¯ãææ¨Î£ã«å¯¾ããã¢ãã«å*1 Model[Σ] ããé¢æå*2ã¨ãã¦å ·ä½çã«æ§æããâ¦
ã¡ãã£ã¨ã ãGraphVizã§çµµï¼æåã°ã©ãï¼ãæãããã¨æã£ãã®ã§ããããªã³ã©ã¤ã³ä¸ã®ãµã¼ãã¹ãæ¢ãã¦ã¿ãããããã¾ããã https://dreampuf.github.io/GraphvizOnline/ ä¸è¨ã®URLã«ã¢ã¯ã»ã¹ãã¨ããµã³ãã«ã®ã°ã©ãã表示ããï¼ä¸ã®ç»é¢ã·ã§ããï¼ããã©ã¦â¦
æ¨æ¥ã®è¨äºãä»»æã®åãçå¼ã«ãã2-åã¨ã¿ãªããã®åé ã§ããåã2-åã¨ã¿ãªããåæ©ãæ¸ããã®ã§ãããããã¯ãã´ã°ã¨ã³ï¼ãã¼ã¹ãã«ãJoseph Goguen and Rod Burstallãã®ã¤ã³ã¹ãã£ãã¥ã¼ã·ã§ã³ãinstitutionããå°ãå ·ä½çã«èããããã£ã¦ãã¨ã§ãããâ¦
話ããããã¨ã¯ã¿ã¤ãã«ã®ã¨ããã®å°ãã¿ãªãã§ãããç°¡åã«åæ©ã説æãã¦ããã¾ããã´ã°ã¨ã³ï¼ãã¼ã¹ãã«ãJoseph Goguen and Rod Burstallãã®ã¤ã³ã¹ãã£ãã¥ã¼ã·ã§ã³ãinstitutionãã¯ãè«çãããã°ã©ã ã®æ§æè«ã¨æå³è«ãã¢ãã«è«ãã®æ½è±¡çæ çµã¿ãæâ¦
å¤åºããªãçæ´»ã ã¨ãæéã空éãã¡ãªããªããªããªã£ã¦ãææ¥ã®æè¦ãå¸èã«ãªãã¾ããä»ã¾ã§ãæ¥æã«ããã°è¨äºãæ稿ãããã¨ã¯ã»ã¨ãã©ãªãã£ããã©ãä»ã¯ã¦ã£ã¼ã¯ãã¼ã¨ã®å·®ããªããã§ãæ¥æã®è¨äºã§ããé åºéåããããåã¨ã¿ãªããå ´åã®åè«çéä¼´â¦
æ¨æ¥ã®è¨äºãæµãã¨ãã¯ãã«å ´ãã¸ã®è¿½è¨ã§ããä»æ¥ã®æ¥ä»ã§å¥è¨äºã«ãã¾ããä»æ¥ãåã¯å æ°ãã¨ãããã¨ã§ããå¤æ§ä½Mä¸ã®ï¼å¤§åçãªï¼ãã¯ãã«å ´ XâÎM(TM) ã«å¯¾ãã¦ãXãé度ãã¯ãã«å ´ã¨ãããããªé·æçãªæµã Ï:MÃRâM ã®åå¨ã¯ä¸è¬çã«ã¯ä¿è¨¼ããã¾ããâ¦
æªå±±ã®çå確èªï¼å®å¦æ å ±ç¨ã®å°ãã¿ãæ¸ãã¾ãï¼5æ¥éããã ã空ãã¾ããããåã¯å æ°ã§ãï¼ãå¤æ§ä½ä¸ã®æµããflow | ããã¼ãã«ã¤ãã¦ã¯ããæµãã¨ãªã¼å¾®å // 大åçãªæ²ç·ï¼éåï¼ã¨æµããã¨ãã®ç´å¾ã®ç¯ãå±æçãªæµããã§èª¬æãã¦ãã¾ãããã®2ã¤ã®ç¯â¦
ããæ°å¹´ããªã¼ãã¼ãã¼ãï¼è¨èã»è¨å·ã®å¤ç¾©ç使ç¨ï¼ã®åé¡ã«ã²ã©ãæ©ã¾ããã¦ãã¾ããåã²ã¨ãã®åé¡ã¨ããããã¯ãã³ãã¥ãã±ã¼ã·ã§ã³ã®é害ã¨ãªãã®ã§å°ã£ã¦ããã®ã§ããè¨èã»è¨å·ããªã¼ãã¼ãã¼ããã¦ãã¾ãã¨ããªã¼ãã¼ãã¼ã解決ï¼ææ§æ§ããªããã¦â¦