2011-01-01ãã1å¹´éã®è¨äºä¸è¦§
ç§ã®æ¼éã®ä»äºã¯æ®å¿µãªãã¨ã«Haskellã¨ã¯ã¾ã è·é¢ã®ããåéã§ãããçµã¿è¾¼ã¿å±ããã«åé¡ãããï¼å½ç¶ã·ãªã¢ã«ã³ã³ã½ã¼ã«ãå©ãæ©ä¼ãå¤ãï¼ã¿ã¼ããã«ã¨ãã¦ã¯å¨å²ã§ã¯TeraTermæ§ãå¹ ãå©ããã¦ããï¼ã¨ãããTeraTermæ§ä»¥å¤ã使ã£ã¦ã·ãªã¢ã«ã³ã³ã½ã¼ã«ã«â¦
æè¿ï¼æ¼éã®ä»äºã§ä»é¨ç½²ã®åºãã¦ããé ·ãCã³ã¼ãã®ãããã°&ã¹ãã¼ããã¥ã¼ãã³ã°ããªãããªããªããã¨ãå¤ãã¦ã ã¹ã«ç¶æ ï¼ç®ãã¼ï¼ç®ãã¼ï¼ã¾ãï¼ã½ã¬ã¯ã½ã¬ã¨ãã¦ï¼CãC++ã®ããã¸ã§ã¯ãèªãã¨ãçGNU globalã¨ãcscopeã¨ãã¿ã°ãªãã¡ã¬ã³ã¹ãã¼ã«ã使â¦
ã®ã¨ãããããã³p(ryå ¬å¼ã®è§£èª¬ã¹ããªã¼ãã³ã°ãéåãéåãã§å ¨ç¶è¦ãããªãï¼åç»ã ã¨æéåãããã¡ãªã®ã§è§£èª¬è¨äºå¾ ã¡ã§ï¼ A ã½ã¼ããã¦ãâ¦7,5,3,1,2,4,6â¦ãã®ããã«äº¤äºã«ä¸¦ã¹ã¦ä½ãã ãï¼è§£æ³ã¯ä¸ç¬ã§ããã£ããã©partitionããã¤ããã§spanã¨ãæ¸ãâ¦
A ãäºãã®ããããã«ãã&ã·ã£ããã«ï¼éå½ã®ãã¤ã¹ãã¼ã«ï¼ä¿ºã®ã¿ã¼ã³ï¼ããã¼ï¼ãããã"é£ç¶ããã«ã¼ãã®ãããã¯"ã®ãªã¹ãã§è¡¨ããã¨ã§ã«ããæä½åã®åããå¦çã£ã¦ãã¾ã£ãâ¦ï¼ã¿ããªå¾ããããã£ã¦ãã¿ããã ããã£ã±ãã£ã¡ã®ãã«ã³ã¿ã³ï¼åããã ã¨â¦
ååã®ç¶ãï¼ã©ãããã¾ãããæ å ±ãè¦ã¤ãããªãã®ã§ï¼ã¨ã«ããããã£ã½ããã®æ¢ãã¦æã£ã¦ããããã«æ¸ãã¦ã¿ãï¼ # flymakable.am # [PrefixAndPrimary] check_syntax_PPS=\ lib_LTLIBRARIES \ noinst_LTLIBRARIES \ check_LTLIBRARIES \ EXTRA_LTLIBRARIâ¦
flymakeã¨autotoolsãçµã¿åãããã¨ãã¿ããªã©ããã£ã¦ãã®ï¼ã¨ãã話ï¼autotoolsã¯è¨èªã«ãã£ã¦ã¯ä½¿ããªããã©ï¼flymakeã¯ç¡ãã¨ã³ã¼ãæ¸ããªãã£ã¦äººã¯å¤ãã¨æãï¼ã§ï¼ãããªãæ¬é¡ã ãï¼ããããçµã¿åããã¦ä½¿ããã¨ããã¨å²ã¨ããã«ããå½ããåé¡ãâ¦
Excess3ã®è©±ï¼ã¾ãï¼endlessã®åé¡ã§éå»ã«ãåããã¿ä½¿ã£ã¦ã¯ãããï¼å²ã¨ä½¿ãããã«Haksellã ã¨å¾®å¦ã«é·ãã¦golfã«å°ã0 filled Né²æ°ã¸ã®å¤æï¼ããOctalãHexadecimalãªãï¼ import Text.Printf;printf"%08X"n ã¨ãã§æ¸ãã¨ããã ãããï¼ä¸å¿Numericã«sâ¦
第0å ã¹ã¿ã¼ãHaskellã«åå â¦ã¨ãã£ã¦ã第3é¨ã®LTããï¼ç¬¬1é¨ï¼ç¬¬2é¨ã¯ã¨ã¦ãããã¤ã³ãããã¯ã·ã§ã³ã ã£ãã¿ããã§ããï¼ã¾ãï¼ç¬¬2é¨ã¨éã£ã¦æ¼ç¿ãããªããæã¶ãã§ããããªã¨ãã¼ãPCã¯æã¡è¾¼ã¾ãï¼ä¼å ´å ¥ããã¦äººæ°ã¨Mac Bookçã«é©ãï¼æ¹ãã¦ããããâ¦
æèµ·ãããRound 1ã®çµæãã¿ã¨ã¼31ä½ä»¥ä¸çºè¡¨ã¹ã«ã¨ã¼ã¨ãªã£ã¦ããã®ã§ç¢ºèªï¼https://spreadsheets.google.com/spreadsheet/pub?key=0ApqAGJRlAIu4dFFqWG5iaHN2aWc4WE1QcC13VXBpSVE&output=html ( ï¾Ð´ï¾) ã»ã»ã» (ã¤Ð´â)コï¾ï½¼ï½ºï¾ï½¼ (ï¼ï¾Ð´ï¾) ã»ã»ã» (ã¤Ð´â)コï¾ï½¼ï½ºï¾ï½¼ï½ºï¾ï½¼â¦
Power Setä¹ ã ã«å°ãã¥ã¤å»ãã§ãã£ãã®ã§æèã®å¤é·ã辿ãï¼ã¾ãï¼142byteï¼ç¾éåãªã®ã§ï¼è³ç´ã§ãã®ã¾ã¾ãããã調ã¹ã¦ä½ã£ã¦ããåçï¼ main=interact$f.p.read f x='{':foldr1(&)x++"}" a&b=a++", "++b p n="0":[f[p(n-1)!!x|x<-[0..n],odd$i(`div`2)a!â¦
å»å¹´ã«ç¶ãã¦ä»å¹´ãã®ã¨ãããããã³ãã¼ãã£ãâ¦åé¡ã¯ããï¼Lambda: The Gathering ã¨ããã¾ã£ããããããããªãªã¸ãã«ã«ã¼ãã²ã¼ã ã®å¼·ããã¥ã¨ãªã¹ããä½ãã¨ãããã®ï¼Magic: the Gathering ã¨ååãä¼¼ã¦ãã®ã¯æ°ã®ããã ï¼ã«ã¼ãã¯ä¸å¯§ã«ãæ¿çµµä»ãã¨â¦
Concurrentã®ç·´ç¿ãã¦ãTLã«å¾®å¦ã«æµãã¦ãsleep sortã¨ãããæ¸ãã¦ã¿ãï¼ module Main where import Control.Monad(unless) import Control.Concurrent(threadDelay, forkIO) import Control.Concurrent.STM(newTVarIO, readTVarIO, readTVar, writeTVar, â¦
ããã ããï¼ããã ããã¤ããï¼ Agda2ã«æãåºãã¦ã¿ãï¼ã¨ããããã¤ã³ã¹ãã¼ã«ãææ³ã¨ãagda-modeã¨ããã¶ãã¯ãªã¨ã ãè¦ãï¼ã¯ã¤ãã¯ã½ã¼ããæ¢ãããããããã¾ã§ææ¡ããã®ã§ï¼ç·´ç¿ã¨ãã¦Data.Natã«ç¡ããã ã£ãéãåªä¹ãæ¸ãã¦ã¿ããã¨ã«ï¼ã¨ãããâ¦
TLEã«åå ï¼æçµã©ã³ãã³ã°ä»å¹´ã¯ããã¨è¦åé¡ãç²æãã§ï¼å»å¹´ã®ããã«ã¹ã³ã¢è¨å®ãä¸èªç¶ã«é«ããã®ãç¡ãï¼ç·ãã¦ã¨ã¦ãããåé¡ã»ããã ã£ãã¨æãï¼å¤å°è±æãæå³ä¸æã¨ãããææ§ãªãã®ããã£ããï¼éä¸ã§å çããããªã©ã§ç¹ã«åé¡ç¡ãï¼å»å¹´13ä½ã ã£â¦
ã´ã«ãã§ã¯å¸¸èã«åããã¦ã¯ãããªãã®ã§ããï¼ ã¨ï¼è¨ãã¤ã¤ãã¿ã¤ã ãªã¼ãªåé¡ãåºã¦ãã®ã§ç縮ãã¿ã¼ã³ã®ç´¹ä»ããã¦ã¿ãï¼Horneræ³ã¯æ¬¡ã®ãããªå¤å½¢ã§ï¼ Haskellã ã¨foldã§ä»¥ä¸ã®ããã«æ¸ãï¼ -- f(x) = a0 + a1 * x + a2 * x^2 + ... + an * x^n f x=folâ¦
å ¨å½ã® Haskell使ãã®ã¿ãªãã Golferã®ã¿ãªããï¼ç¸®ã¿ã¾ãã¦ããã§ã¨ããããã¾ãï¼ä»å¹´ããããããããããã¾ãï¼ ä»åã®è©±é¡ã¯2011å¹´ã¨ãããã¨ãããç´ æ°åé¡å¾¡ç¨éã¨ã©ãã¹ããã¹ã®ç¯©ï¼æ£ç´ããããªäººãã¨ãä¸ãã¦ããã¼ãã ããæ¬é¡ã®ãã¿ããã¶ã£ã¦â¦