2013-03-01ãã1ã¶æéã®è¨äºä¸è¦§
ã¹ãã´ã¡ãã¯ã®é¢æãã¼ã¿ã¢ãã«ã§ã¯ãåã®è¡¨ç¤ºãéè¦ãªå½¹å²ãæããã¾ãããªã«ãã¹ãã´ã¡ãã¯çè«ã«ãããããåä¸è¬ã«ããã¦è¡¨ç¤ºã¯éè¦ã§ããç¹ã«æé表示ï¼finite presentationï¼ã¯ãæã 人éãæã§åãæ¸ãä¸ãå¯ä¸ã®æ¹æ³ã¨è¨ã£ã¦ããã§ããããããã§ãâ¦
[è¿½è¨ date="2024-04-18"]ï¼11年以ä¸ã®æãçµã¦ï¼ç¨èªæ³ã¯ã ãã¶å¤ãã£ã¦ãã¾ãã ãã®è¨äº 10å¹´å¾ åã®è¡¨ç¤ºã®å Prs å½¢ç¶ã®åãã¾ãã¯ææ¨ã®å åã®è¡¨ç¤ºï¼Prs ã®å¯¾è±¡ï¼ 1-ã³ã³ãã¥ã¼ã¿ãã ãã¯ããªã³ï¼Schï¼ ï¼ ã¢ã³ãã¨ã³ãåï¼Setï¼ ã¿ã¼ã²ããå ãã¢ã³â¦
é·ç·ï¼ããã¨ããããèªåã®ç®çãåãã¨ããè¦ããã¨ããï¼ãç¶è¦ªï¼ããªããªã¼ãã£ã¦ãããç¡çã ãããé·ç·ï¼ããã£ã¨åã«ãã¼ãç®ã®ç«¯ã£ããå è¡ãã¦ãã¦ãé¡ã§è¦ãã®ããç¶è¦ªï¼ãã§ãç®çãåããã¦ã¿ããã¨ãé·ç·ï¼ããããå è¡ãã¦ãã¨ãããããè¦ãâ¦
Alloyæ¬ï¼ãæ½è±¡ã«ããã½ããã¦ã§ã¢è¨è¨ããåºçãããç´å¾ããã°ããåã¯Alloyã§éãã§ã¾ãããããæ½è±¡ã«ããã½ããã¦ã§ã¢è¨è¨ãã¨Alloyã第ä¸å°è±¡å ±åããããããããã¤ãAlloyé¢ä¿ã®è¨äºãæ¸ãã¦ãã¾ããã§ãã2,3é±éã§ãã¡ãã£ã¨é£½ããããªã¼ãã¨ããµâ¦
åã¯å¯¾è±¡ã¨å°ã®éã¾ããªã®ã§ãé ç¹ã¨è¾ºï¼ç¢å°ï¼ã®éã¾ãã§ããæåã°ã©ãã§å³ç¤ºã§ãã¾ããä¾ãã°ã次ã®å³ã¯ããåã表ãã¦ãããã¨ã«ãªãã¾ããæ£ç¢ºã«è¨ãã°ããã®æåã°ã©ãã¯åãã®ãã®ã§ã¯ãªãã¦ãåã®çæç³»ã§ããå®éã®åãä½ãã«ã¯ãã°ã©ãã®åé ç¹Xã«â¦
ã³ã¡ã³ãæ¬ http://d.hatena.ne.jp/m-hiyama/20130318/1363563919#c1363614093 ã«ã¦ãemoyanããæ°ãï¼ >ä½æ¼ç®ã¯ ...inc: HiddenÃIntegerâHideen ã¯è¨±ãããªãã®ã§ãã許ãããªãã¨ããã®ã¯ã©ãããæå³ã§ã§ããããï¼inc: HiddenÃIntegerâHideen ã¨ããã¨â¦
2009å¹´ã«æ¸ããã¨ã³ããªã¼ãç解ããã¾ãããã¢ãï¼èª¤è§£ãã¾ããã¢ããããã¨å¯¾å¦ãã§ã次ã®ããã«æ¸ãã¾ããã å¿ããç¨èªã¨ãè¨å·ã®ä½¿ãæ¹ã«é¢ãã¦ãæ¯éã¨ãæ¶ãã¦ããã¦æ¬²ãããã¼ã¯ã¼ãã¯æ¬¡ã®ãããªãã®ã§ãããã ãã©ãã© -- éå£ãå人ã«ãã£ã¦ãç¨â¦
次ã®å³ã§ä½¿ã£ã¦ããâè²âã«æ³¨ç®ãã¦ãã ãããæ°´è²ã®ãã¼ãã¨ãã³ã¯ã®ãã¼ããããã¾ãããã®è²ã®éãã説æããæ çµã¿ãä½ãããã¨æãã¾ããå å®¹ï¼ ã¹ãã´ã¡ãã¯çè«ã®å¾©ç¿ ç¸å¯¾ã¹ãã¼ã ç¸å¯¾ã¤ã³ã¹ã¿ã³ã¹ ç¹å®ã¤ã³ã¹ã¿ã³ã¹ä¸ã®ç¸å¯¾ã¤ã³ã¹ã¿ã³ã¹ã®å ã¹ãã¼â¦
å æ¥ã代æ°ã¨ä½ä»£æ°ãã¯ã©ã¹ã¨ä½ã¯ã©ã¹ãã¨ããã¨ã³ããªã¼ãæ¸ãã¾ãããããã¯ããã¾ãæ£ç¢ºãã¯æ°ã«ããªãããã¯ãªããã§ããããã¯ãªããã§ãã£ã¦ããé°å²æ°ãæããã¤ããã«ã¯ãããªãã®æå³ãããã¨æã£ã¦ãã¾ããããå°ãè£è¶³ãããæ°ã¯ããã®ã§ãããâ¦
ãã©ãã©ããäºæ¥ã§ã ãã¶å²ãã¾ãããããã¼ããããããã°ããã®ããã ãæ¼é£ãã©ããããï¼ æéããããã¦ãæ··ãã§ããã¨ãå¤ãã®ã§ãç®é»å·ããé¢ããå ´æã§æ¢ããããªãããªã
ããã£ãæ¡ãå²ãåºããã®ããæ¡ã®å£ç¯ã«ãªãã¨ãä¸ç®é»å¨è¾ºã¯ä¸æçã«è¦³å å°ã«ãªã£ã¦ãã¾ã£ã¦ã¨ã©ã¤äººåºã«ãªãã¾ããå»å¹´ã¾ã§ã¯ãæ·±å¤ã¾ã§ãããããã家ããé§ ã¾ã§è¡ãã®ãä¸è¦å´ãå¼ã£è¶ããã®ã§ããè±è¦ã®å½±é¿ã¯ä»¥åããå°ãªããªãã¾ãããããã§ããæ¼â¦
ã代æ°ãã¨ããè¨èã¯æ§ã ãªæå³ã§ç¨ãããã¾ããããã§ã¯ãä½ä»£æ°ã¨ãã¢ã«ãã¦èªãããã¢ã¬ã®ãã¨ã§ããã¨è¨ã£ã¦ãä½ã ãããåãããã§ããããã以ä¸ã§èª¬æãã¾ãã代æ°ã»ä½ä»£æ°ã®å®ç¾©ã«ã¯åè«ã使ãã®ãæ®éã§ãããããã§ã¯åè«ãªãã§ããã¾ããã¯ã©ã¹â¦
MongoDBã¯ãããç¥ããã¦ããããã«ãã¸ã§ã¤ã³ããã©ã³ã¶ã¯ã·ã§ã³ããµãã¼ããã¦ã¾ãããããã¯ç¢ºãã«ä¸ä¾¿ãªãã¨ãããã¾ãããæ¬ ç¹ã»å¼±ç¹ã¨ããããã¯ãæåãããã®ããã«è¨è¨ããã¦ãããã®ã§ãã²ã¨ã¤ã®è¨è¨å¤æã§ããããã©ã¼ãã³ã¹ãã¹ã±ã¼ã©ããªãã£ãâ¦
å ã»ã©ã®è¨äºãJavaScriptã§ã¦ã¼ã¶ã¼å®ç¾©ã®äºé æ¼ç®åãã®åæ©ã«ãªã£ããã¨ã説æãã¾ããJavaScriptã®ãªãã¸ã§ã¯ããããã·ã¥ãããï¼é£æ³é åãè¾æ¸ï¼ã¨ã¿ãªãã¦ããã®ããã ã«äºé æ¼ç®ãèãã¾ããçµå±ãObjectã®ã¡ã½ããã«ãã¾ãããã以ä¸ã®connectã¨meâ¦
⦠ãªãã¦ãã¨ã¯åºæ¥ã¾ãããããã§ããäºé æ¼ç®åã«è¦ããããããã«ã¸ã¿ãã¿ãã¦ã¿ã¾ããããã¾ãã¯ä¾é¡ã /** éåã®å ±éé¨å */ function intersectionOfSets(a1, a2) { // éè¤ã¯é¤å¤ãããªã return a1.filter(function(item) {return (a2.indexOf(itemâ¦
è¨ç®ç§å¦ã§ä½¿ãåè«ã¯ãã ãããã¯åä¸ç´ã»ã©åã«ã¯åºæ¥ã¦ãããã®ã§ããä¾ãã°éä¼´é¢æï¼ http://en.wikipedia.org/wiki/Adjoint_functors#History ã«ããã¨1950年代ã§ããï¼The idea of an adjoint functor was formulated by Daniel Kan in 1958. ï¼ãç±³â¦
ãä¸è¬é¢æã¢ãã«ï¼ã¤ã³ã¹ã¿ã³ã¹ã®ä½ã¿ããªã³ã°ã¨è²¼ãåãããã®ç¶ãããä¸è¬é¢æã¢ãã«ãã¨ããã¿ã¤ãã«ã®è¨äºã¯ãã¹ãã´ã¡ãã¯çè«ããèªä½ã®è§£èª¬ãããªãã¦ãã¹ãã´ã¡ãã¯ã«è§¦çºããã¦åãèãããã¨ã®ã¡ã¢ã§ããé¢æã¢ãã«ã§ã¯ãã¹ãã¼ããåãªã®ã§ãã¹â¦
ãã¹ãã¼ãã¨ã¤ã³ã¹ã¿ã³ã¹ -- ä¸è¬é¢æã¢ãã«ãã«æ¸ããâã¹ãã´ã¡ãã¯ã®å¦æ¹ç®âã«å¾ãã¨ãèããã¹ãã¼ãã®å ¨ä½ã§ããâåã®åâSchã¨ã¢ã³ãã¨ã³ãåCã決ããã¨ãã°ãã¿ã³ãã£ã¼ã¯æ§æã«ããåã®ãã¡ã¤ãã¬ã¼ã·ã§ã³ â«(sâSch | [s, C]) â Sch ãã§ããã®ã§ããâ¦
DITAï¼Darwin Information Typing Architectureï¼ã¨ããæè¡ãããã¾ãã¦ããã®ä¸é¨ã¨ãã¦ãæ å ±è¨è¿°åä½ï¼DITAã§ã¯ããããã¯ãã¨å¼ãã§ãã¾ãï¼ã®ããã ã®ãªã³ã¯ãèªåçã«è¨å®ã»ç¶æããã¡ã«ããºã ãå«ã¾ãã¦ãã¾ããDITAããå°ãä¸è¬æ§ãããèªåãªã³ãâ¦
ã¹ãã´ã¡ãã¯ã®é¢æãã¼ã¿ã¢ãã«ã¯ãå®ã«ç¤ºåã«å¯ãã§ãã¾ããã¹ãã´ã¡ãã¯ã®ã¢ã¤ãã£ã¢ã¯ããã¼ã¿ã¢ãã«ã«éãããã½ããã¦ã§ã¢ã·ã¹ãã ã®ãã¾ãã¾ãªå´é¢ã®ã¢ãã«åã«ä½¿ãããã§ããé¢æãã¼ã¿ã¢ãã«ã®è¦ç¹ãç°¡ç¥ã«ã¾ã¨ãããªãï¼ ï¼ãã¼ã¿ãã¼ã¹ï¼ã¹ãã¼ãâ¦
æ¨æ¥ç´¹ä»ãããã¤ã´ã£ããã»ã¹ãã´ã¡ãã¯ã®åè«æç§æ¸ "Category theory for scientists" ã«é¢é£ããæ å ±ãããå°ããarXivçPDF http://arxiv.org/pdf/1302.6946v1.pdf ã®10ãã¼ã¸ã"1.4 Category theory references" ã«ãããªãã¨ãæ¸ãã¦ããã¾ããã ç¾â¦
åè«ã§ã¹ãã³ã¨ããæ¦å¿µãããã¾ãã2ã¤ã®å° f:XâAãg:XâB ãä¸ç·ã«èãããã®ã§ããå ¨ä½ã®å½¢ç¶ãæãã¨ï¼ X ã» ï¼ï¼¼ ï¼ ï¼¼ ã» ã» A Bã¾ã¼ããããªæãã§ãããããã§ãXã¯ããã¨ãã¦ãf, A, g, B ãä½ã¨å¼ã¶ãï¼ è±èªã ã¨legã¨footã®åºå¥ãããã®ã§ã left â¦
é¢æãã¼ã¿ã¢ãã«ã®ãã¤ã´ã£ããã»ã¹ãã´ã¡ãã¯ããåè«ã®æç§æ¸ãæ¸ããããã§ããåæ¥åºçã§ã¯ãªãã¦ãWebä¸ã«PDFãå ¬éããã¦ãã¾ããã¹ãã´ã¡ãã¯ã®å¤§å¦ã§ã®è¬ç¾©ã®ããã¹ãã¨ãã¦æ¸ãããããã§ãã Title: Category theory for scientists Author: Daviâ¦
ããã¤ãã®äºæ ãããã¾ãã(ãã®1) é¢æãã¼ã¿ã¢ãã«ï¼ ã¹ãã´ã¡ãã¯ã®é¢æãã¼ã¿ã¢ãã«ã«ã¯è²ã ã¨åºæ¿ãåãã¾ãããã¹ãã´ã¡ãã¯çè«ãå®éã«ä½¿ã£ã¦ã¿ããã§ããããé¢ä¿ãã¼ã¿ãã¼ã¹ã®ã»ããã¹ãã´ã¡ãã¯çè«ãé©ç¨ããããã§ãããããåã¯ãã¨ãã¨XMLâ¦
2年以ä¸ãåã«ããCatyã®JSONã¹ãã¬ã¼ã¸ã¨ã¯ã¨ãªè¨èªãã¨ããè¨äºã§Catyã®åãåããè¨èªã¨MongoDBã®åãåããè¨èªãæ¯è¼ãããã¨ãããã¾ãããã¾ãæè¿ãMongoDBã触ã£ãããã¦ãã¾ããMongoDBã®åãåããè¨èªãæ´çããããã«ãåãåããå¼ãã©ã ãå¼â¦
Windowsã§gccãbashã使ããããã«ããMinGW/MSYSã§ã¯ããã¨ãã¨ããWindowsããã°ã©ã ãæ®éã«å®è¡ã§ãã¾ãã $ which notepad /c/Windows/System32/notepad.exe$ notepad & [1] 2500$ã¨ããããªæãããããã $ chcp bash: chcp: command not found$ whicâ¦