2009-09-01ãã1ã¶æéã®è¨äºä¸è¦§
Cè¨èªã§æ¸ãã¨ã!P||Qã¨åã ifã§æ¸ãã¨ãif P then Q ã®å¾ãã« else 1 ãã¤ãã¦ãããã¨ããæããã ãªããPãå½ãªãã°ãQã®çå½ã«ããããããPãªãã°Qããçãªã®ã P Q Pãªãã°Q ä¾ããã®ä»äºãæåããªããã°è¾è¡¨ãåºãã 0 0 1 ä»äºãæåãã¦ãã¤è¾è¡¨â¦
ãã¤ã®éã«ããã©ãã«ãã¼ãã¼ãã®å¾ç¶ãåºã¦ãã å¤æ®µãä¸ãã£ã¦ããããåã®ããããã¼ã¿ãããããããã ã¹ã©ã¤ããããã¨ä¸ç·ã«ãã¼ã ã¬ã¹ãããªããã¦ãããã°æ´ã«ããã£ããã 製åçªå· 55Y9003 ååå ThinkPad USB ãã©ãã¯ãã¤ã³ããã¼ãã¼ã(è±èªâ¦
俺Lispã§call/ccãåãããã«ãªã£ãã®ã§ãæcall/ccã使ã£ã¦Gaucheä¸ã§ä½ã£ã俺Prologããã£ã¡ã§åããã¦ã¿ãã repl> (?- (append X Y (a b c)) (write (x = X y = Y)) (fail)) (x = () y = (a b c)) (x = (a) y = (b c)) (x = (a b) y = (c)) (x = (a b c)â¦
<iframe id=iframeId name=iframeName src='foo.txt' onload='foo(this)'>window.document.getElementById('iframeId')ã¯thisã¨åãç©ã§ï¼å¤ã¯[object HTMLIFrameElement] window.iframeNameã¯this.contentWindowã¨åãç©ã§ï¼å¤ã¯[object Window] ã¤ã¾ãï¼idã§ã¢ã¯ã»ã¹ããã¨ãã¨nameã§ã¢ã¯ã»ã¹ããã¨ãã®åç §å ã¯å¥ç©ã åç §å ã®UR</iframe>â¦
IEã¯selectionStartã使ããªãã®ã§ãã®å¯¾çãå¿ è¦ã ç¾æç¹ã§ã¯ä»¥ä¸ã®ããã«ããã function getpos(obj){ if(obj.selectionStart != undefined) return obj.selectionStart; var range = document.selection.createRange(); if(obj.type == 'textarea'){ vaâ¦
俺Lispãå é¨defineã«å¯¾å¿ããã¦ã¿ãã repl> (letrec () (define x 1) (define y 2) (cons x y)) (1 . 2) http://kar.s206.xrea.com/lisp/?e=(letrec%20()%20(define%20x%201)%20(define%20y%202)%20(cons%20x%20y)) 以ä¸ã®ãããªå±éå¦çããã¦ãã (letreâ¦