æªèð æè¡æ¸å ¸15 ã03 @mishiki ã¢ã¡ãªã«ã§ã¯ãå©çã®ããã«ä½ãããæ ç»ã¯è¡¨ç¾ã®èªç±ã®ä¿è·å¯¾è±¡ã§ã¯ãªããã¨ããèãæ¹ã50年代ãããã¾ã§ãããæé«è£ã«æã¡è¾¼ã¾ãã¦ãã¾ããæ°èãéèªã¯ããã¸ãã¹ã§ãããªãã表ç¾ã®èªç±ã謳æãã¦ããã¨ããã®ã«ãã§ãããå«å²ãã¨ããçºæ³ã¯ãå²ãã¨æ代ãè¶ ãã¦æ®éçãªæãããã¾ããã 2012-03-29 22:12:24 æªèð æè¡æ¸å ¸15 ã03 @mishiki åãããããããã«å¼·å¼ã«å®ä¾ãåºãã¾ããããããã£ãºãã¼ãããããã¼ã¨ãããã£ã©ã¯ã¿ã¼ã®äºæ¬¡åµä½ã¯çµ¶å¯¾ã«ç¦æ¢ï¼ãã¨å®£è¨ãã¦ããããã¯ãç¡æé§è»ã¯10ä¸åï¼ãã¿ãããªé¨åããããç¾å°å¥³åãããããã¼ãæããã¨ã¾ã§ç¦æ¢ãããã¯ã§ãã¾ãããããã¾ã§ç¦ããåã¯ãèä½æ¨©æ³ã«ã¯ãªããã§ããã 2012-03-30 01:33:17
UNIX風ç°å¢ãWindows OSä¸ã§ä½¿ç¨ãã¦ããæ代 é»ææããã³ã³ãã¥ã¼ã¿ã¼ã使ã£ã¦ããæ¹ã«ã¨ã£ã¦ããã¼ãã¼ãããã³ãã³ãåãå ¥åãã¦å®è¡ããã¹ã¿ã¤ã«ã¯ãããèªç¶ãªãã®ã§ãããGUIï¼ã°ã©ãã£ã«ã«ã¦ã¼ã¶ã¼ã¤ã³ã¿ã¼ãã§ã¼ã¹ï¼ã主æµã«ãªã£ã¦ããããã³ãã³ãã©ã¤ã³ã«ããæä½ã¯ä¾ç¶ã¨æ®ãããæã ã使ç¨ããWindows 7ã«ããã³ãã³ãããã³ãããWindows PowerShellã¨ãã£ãCUIï¼ãã£ã©ã¯ã¿ã¼ã¦ã¼ã¶ã¼ã¤ã³ã¿ã¼ãã§ã¼ã¹ï¼ãç¨æããã¦ãããã¨ãããããã®éè¦æ§ãç解ã§ãããã¨ã§ãããã ããããã³ãã³ãããã³ããã§å®ç¾ããã³ãã³ãã©ã¤ã³ã¤ã³ã¿ã¼ããªã¿ã¼ã¯ãWindowsã主æµã«ãªãåã®OSã§ããMS-DOSãåºç¤ã«ãã¦ããããã®MS-DOSãQDOSã¨ãã16ãããOSãå ã«ãã¦ãã¾ããããããCUIãæ¡ç¨ããOSã®æºæµã¯ã1970年代ãã大å¦ãç 究æãªã©ã«æ®åããUNIXã«ã
λ. ä¸åç¹æ¼ç®åã¯ãã£ã¼ãæ°ã§ã®ç¡é大? @mametterãã ããChurch numerals ã§ç¡é大ãèããã¨ããããY ã³ã³ããã¼ã¿ã¨åãã«ãªãã®ã ããããã¨æ¸ãã¦ããã®ã§ãèãã¦ã¿ãã æ®éã®èªç¶æ°ã®å㯠Nat = μX. X+1 ã§ãéåã®ä¸çã§èããã¨ããã«ã¯ç¡é大ã¯å«ã¾ããªãä¸æ¹ããã®å対㮠CoNat = νX. X+1 ã¯éåã®ä¸çã§èããã¨èªç¶æ°ã®éåã«ç¡é大âãä»å ãã¦ãã£ããããªéåã«ãªãã®ã§ãããã使ã£ã¦èãã¦ããã°è¯ãã®ã§ã¯ãªããã¨ããã®ãæåã«èããã ãã ããã£ã¼ãæ°ã®å âX. (XâX)âXâX ã¯Natã®ãã£ã¼ãã¨ã³ã³ã¼ãã£ã³ã° âX. (X+1âX)âX ãå¤å½¢ãããã®ã§ãã£ã¦ãCoNatã®ãã£ã¼ãã¨ã³ã³ã¼ãã£ã³ã° âY. YÃ(YâY+1) = âX. (âY.YÃ(YâY+1)âX)âX ã¨ã¯éãããã®ã¾ã¾ã§ã¯ãã¾ããããªãã®ã§ãçµå±N
http://hibari.2ch.net/test/read.cgi/news4vip/1313157915/ 1 ï¼VIPãéãã¾ãï¼2011/08/12(é) 23:05:15.24 ID:ZQ68bmL90 建è¨çãªã¹ã¬ 4 ï¼VIPãéãã¾ãï¼2011/08/12(é) 23:09:21.16 ID:QOa3MKsl0 ã§ããããã£ã¦æ ¹æ¬çãªè§£æ±ºã«ãªã£ã¦ãªãã§ãããï¼ 11 ï¼VIPãéãã¾ãï¼2011/08/12(é) 23:11:53.69 ID:ZQ68bmL90 >>4 æ ¹æ¬çã«çµµãä¸éãããã£ã¦ãã ï½ããããã©çµµããã¡ã£ã¦å ´åã®æ¹ãå¤ãããããªãã 5 ï¼VIPãéãã¾ãï¼2011/08/12(é) 23:09:49.15 ID:e5B3j1AN0 ã¨ã«ããç·ãå¤ããã ç¶ããèªã
2012å¹´04æ04æ¥16:00 ã«ãã´ãªLightweight Languages coffeescript - ãæ·¹ããããã®æä½éæåçãªç°å¢ ç§ã®ãããªä½è²ä¼ç³»ããã°ã©ãã¼ã¯ãå®éã«åããã¦ã¿ãªãã¨ããããªãã®ã§ããã®å ´ã§åãããç°å¢ãä½ã£ã¦ã¿ã¾ããã Demo çµè«ããè¨ãã¨ããã®ç¨åº¦ã§ãã¿ã¾ããCoffeeScript -> JavaScript ã ãã§ã¯ãªããéå¤æãã§ãã¾ãã CoffeeScript: ((s) -> while s isnt undefined try s = eval(prompt(s)) catch e s = e ) "JS:" JavaScript: (function(s){while(s!==undefined)try{s=eval(prompt(s))}catch(e){s=e}})('JS:') DHTML Source åºæ¬çã« Js2
æ©ããã®ã§ããã4æãæ°ãã年度ãè¿ãã¦ãæ°ç¤¾ä¼äººãæ°å ¥çãªã©ãæ°ããçæ´»ã¸ã¨èº«ã転ãããã¨ã«ãªãæ¹ãå¤ãã®ã§ã¯ãªãã ãããã æ°ããç°å¢ã«å ¥ãã¨ããã¦ãã¦æ £ããã¾ã§ã«æéãè¦ãããã®ã§ãããããã®è¦å ã®ä¸ã¤ã«æèã®ææ¡ã«æéãæããã¨ãããã¨ãæããããã話ãã¦ããè¨èãã®ãã®ã¯ç解ã§ãã¦ããæ¬å½ã®æå³ã§ç解ã§ããããã«ãªãã«ã¯ããã®çµç¹ä½ã®æåãå«ããèæ¯ããã¡ãã¨ç解ããã¦ããå¿ è¦ãããã®ã ãã»ãã®äºç´°ãªãã¨ã§ããããç°æåéã§è§£éã大ããç°ãªãã¨ãããã¨ã¯èµ·ãããããã®ã§ããã ãããªä¸ãæ¬æ¸ã®èè ã®ç°æåä½é¨ã®ã¦ãã¼ã¯ãã¯ã群ãæãã¦ããããã©ã¸ã«ã®å ä½æ°ããããã³ã®äººã ã¨30年以ä¸ã«ããã£ã¦ã¨ãã«æ®ãããå½¼ããã©ã®ããã«ä¸çãè¦ã¦ãã©ã®ããã«ç解ãã¦ããã®ãã観å¯ãç¶ããã®ã ãå½åã®ç®çã¯ããªã¹ãæã®ä¼é師ã¨ãã¦ãå¸ææ´»åãè¡ããã¨ãããããããã§ã®çæ´»ã¯èè ã®éå½ã大ããå¤ã
ï¼æã®èªçç³ ãã¤ã¤ã¢ã³ã ä¸çä¸ç¡¬ãç©è³ªã¨ãã¦ãã¤ã¤ã¢ã³ãã¯ç¥ãããä»ã®ç©è³ªã§ã¯æ¯ãç«ããããã®ãããã¤ã¤ã¢ã³ãã¯ãã¤ã¤ã¢ã³ãèªä½ã§ãã£ã¦ç£¨ããã¾ãããªãã¨ããçºæ³ã®è»¢æãåã©ãã®é ãããèãã¦é©ãããã®ã§ããï¼æã«ãªãã¾ããã®ã§èªçç³ã«ã¡ãªãã§ããã¤ã¤ã¢ã³ãããªã磨ããã®ããååååå¦ã®ã·ãã¥ã¬ã¼ã·ã§ã³çµæãç´¹ä»ãããã¨æãã¾ãããã åã«ã硬ããã®å士ã§ç ããã¦ããã¨ããããã§ã¯ãªãããã§ãããç©çå¤åã ãã§ã¯ãªãããã¤ã¤ã¢ã³ãã®ç 磨ã«æ½ãã§ããåå¦åå¿ã¨ã¯ãã£ããï¼ æ°¸é ã®çµã®è±¡å¾´ã¨ãã¦ãå®é£¾åã§ããªãã¿ã®ãã¤ã¤ã¢ã³ãããã°æãã¦é«ãå±æçãæã¡ãé»æ°ã¯éããªããã®ã®ç±ã¯ããéããã²ã£ããå·ã«å¯¾ãã硬ãã§ã¯ãã³ãã¼ã¯ã³ãçç´ ã®åä½ã¨ãã¦ç¥ãããç£æ¥çã§ãéè¦ãªææã§ãã 硬ããã¤ã¤ã¢ã³ããã磨ããã¨ããã®ã ãããå¤åã¯ãã¯ããã¤ã¤ã¢ã³ãã®è¡¨é¢ã§èµ·ãã¦ãã¾ããç 磨ã«ã¨ããªãå¤åã®èå°ã¨
ããã°ã©ãã³ã°ãã¾ããã¤ã³ã¿ã¼ãããã¯ãã¾ããåºããããã¾ã¾ã§ä½åº¦ãå§ä¼ããã¦æ¥ã¦ã¯ããºã¯ã¼ãã¨ãã¦å»ã£ã¦ãããåæ£ã³ã³ãã¥ã¼ãã£ã³ã°ãããç¾å®ã®ãã®ã¨ãã¦æ®éã«åããããããä¸ã®ä¸ã§ããã§ãä»ããããã£ã¨åã10年以ä¸ãåã«ããåæ£ã³ã³ãã¥ã¼ãã£ã³ã°ã®å «ã¤ã®èª¤ä¿¡ãã¨å¼ã°ãããç°¡æ½ãã¤éè¦ãªæè¨ãããã¦ãã¾ãããä¸é¨ã®äººã¯ãã®è©±ãä»ã§ãè¦ãã¦ããã¨æãã¾ãããå¿ãå»ãããã®ãæããã®ã§ãããã«è¨é²ãã¦ããã¾ãããã®æè¨ãçã¾ããä¼æ¥ã¯ããæ¢ã«ããã¾ããããã®ä¼ç¤¾ã®ãã³ãã©ã¯ããããã¯ã¼ã¯ãããã³ã³ãã¥ã¼ã¿ã ãã§ããã åæ£ã³ã³ãã¥ã¼ãã£ã³ã°ã®å «ã¤ã®èª¤ä¿¡ãããã¯ã¼ã¯ã¯å®å®ãã¦ãã 帯åã¯ç¡å¶éã ãããã¯ã¼ã¯ã¯ã»ãã¥ã¢ï¼å®å ¨ï¼ã ãããã¸ã¼ã¯å¤åããªã 管çè ã¯ä¸äººã§ãã 転éã³ã¹ãã¯ã¼ãã ãããã¯ã¼ã¯ã¯å質ã ã¬ã¤ãã³ã·ã¯ã¼ãã ãããã®ã²ã¨ã¤ã§ãã£ã¦ããåæã«ãã¦ããåæ£ã·ã¹ãã ã¯ãæ¬ é¥ãæ±ã
ãã®åé¡ãããªãé£ããã¨æããæ£ç´ã«ç½ç¶ããã¨ãã¼ãã¯ããããªãã¦çããè¦ã¦ãã¾ã£ãããã«ã£ããç¬ããã¨ãç¶è¦ªããå¥ã®è¨ãæ¹ã§èãã¦çµã³ä»ããªãã¨çããã§ãªãã çãã¯ãæ±è¤ãããã ããªããã¨ããã¨ããããã«ãªãã¨ããã¨ããããã ããã ã åç´ãªè¨èéã³ã§ã¯ããã®ã ãã©ãåé¡æã§ãã³ãã«ãªããããªèªå¥ã使ããªããªã©ãããªã工夫ãã¦ããã®ããããã ããã ãé£ãããªããªãã¯ãçããããããªãã¦è§£çãè¦ã¡ãã£ãã¼ãã§ãããã»ã¼ãªãã»ã©ã¼ãã£ã¦æã£ãããããªã®ã§ãèªåã§çããè¦ã¤ããæã®å¿«æã¯ã²ã¨ããã ãããã¨æãã ä»ã«ããªããªãã¯è²ã ã¨ããã®ã ãã©ãæè¿ã®ãªããªãæ¬ã®ã¬ãã«ã¯ããã§åå確èªã§ããã¨æãã
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}