2009/05/22

[Prolog]処理系を入れてみた

今度ある先生に熊本（KPF）でPrologのお話をして頂けることになったので♪

 

ダウンロード

 

Emacs

written by time: 0 件のコメント:
labels : ,

[The Little Schemer]Y Combinator（再）

WS0803 

Y Combinatorとは

 

全景

「The Little Schemer」P.160 ～

;; Road to Y Combinator

(define inc
  (lambda (n)
    (+ n 1)))

 

;; normal length
(define length
  (lambda (l)
    (cond
     ((null? l) 0)
     (else (inc (length (cdr l)))))))

 

;; without "define"

 

;; empty-list-length
(lambda (l)
  (cond
   ((null? l) 0)))

 

;; execute with empty-list
((lambda (l)
   (cond
    ((null? l) 0))) '())
;; => 0

 

;; execute with non-empty-list
((lambda (l)
   (cond
    ((null? l) 0))) '(1 2 3))
;; => #<undef>

 

;; 1-element-list-length
(lambda (l)
  (cond
   ((null? l) 0)
   (else
    (inc ((lambda (l)
            (cond
             ((null? l) 0)))(cdr l))))))

 

((lambda (l)
  (cond
   ((null? l) 0)
   (else
    (inc ((lambda (l)
            (cond
             ((null? l) 0)))(cdr l)))))) '())
;; => 0

 

((lambda (l)
  (cond
   ((null? l) 0)
   (else
    (inc ((lambda (l)
            (cond
             ((null? l) 0)))(cdr l)))))) '(a))
;; => 1

 

((lambda (l)
  (cond
   ((null? l) 0)
   (else
    (inc ((lambda (l)
            (cond
             ((null? l) 0)))
          (cdr l))))))
  '(1 2))
;; => *** ERROR: operation + is not defined between 1 and #<undef>

 

;;2-elements-list-length
(lambda (l)
  (cond
   ((null? l) 0)
   (else (inc
          ((lambda (l)
             (cond
              ((null? l) 0)
              (else (inc
                     ((lambda (l)
                        (cond
                         ((null? l) 0)))
                      (cdr l))))))
           (cdr l))))))

 

;; execute 2-elements-list-length
((lambda (l)
  (cond
   ((null? l) 0)
   (else (inc
          ((lambda (l)
             (cond
              ((null? l) 0)
              (else (inc
                     ((lambda (l)
                        (cond
                         ((null? l) 0)))
                      (cdr l))))))
           (cdr l))))))
'())
;; => 0

 

((lambda (l)
  (cond
   ((null? l) 0)
   (else (inc
          ((lambda (l)
             (cond
              ((null? l) 0)
              (else (inc
                     ((lambda (l)
                        (cond
                         ((null? l) 0)))
                      (cdr l))))))
           (cdr l))))))
'(a))
;; => 1

 

((lambda (l)
  (cond
   ((null? l) 0)
   (else (inc
          ((lambda (l)
             (cond
              ((null? l) 0)
              (else (inc
                     ((lambda (l)
                        (cond
                         ((null? l) 0)))
                      (cdr l))))))
           (cdr l))))))
'(a b))
;; => 2

 

((lambda (l)
  (cond
   ((null? l) 0)
   (else (inc
          ((lambda (l)
             (cond
              ((null? l) 0)
              (else (inc
                     ((lambda (l)
                        (cond
                         ((null? l) 0)))
                      (cdr l))))))
           (cdr l))))))
'(1 2 3))
;; => *** ERROR: operation + is not defined between 1 and #<undef>

 

;;((lambda (length)
;;   (lambda (l)
;;     (cond
;;      ((null? l) 0)
;;      (else (inc (length (cdr l)))))))
;; 'eternity)

 

;; eternity style empty-list-length

(((lambda (f)
   (lambda (l)
     (cond
      ((null? l) 0)
      (else (inc (f (cdr l)))))))
'eternity) '())
;; => 0

 

;; eternity style 1-element-list-length
(((lambda (f)
    (lambda (l)
      (cond
       ((null? l) 0)
       (else (inc (f (cdr l)))))))
  ((lambda (f)
     (lambda (l)
       (cond
        ((null? l) 0)
        (else (inc (f (cdr l)))))))
   'eternity))
'(1))
;; => 1

 

;; eternity style 2-elements-list-length
(((lambda (f)
    (lambda (l)
      (cond
       ((null? l) 0)
       (else (inc (f (cdr l)))))))
  ((lambda (f)
     (lambda (l)
       (cond
        ((null? l) 0)
        (else (inc (f (cdr l)))))))
   ((lambda (f)
      (lambda (l)
        (cond
         ((null? l) 0)
         (else (inc (f (cdr l)))))))
    'eternity)))
'(1 2))
;; => 2

 

;; without repetitions
((lambda (make-length)
   (make-length 'eternity))
(lambda (f)
   (lambda (l)
     (cond
      ((null? l) 0)
      (else (inc (f (cdr l))))))))

 

;; execute without-repetitions-eternity-stryle-length
(((lambda (make-length)
    (make-length 'eternity))
  (lambda (f)
    (lambda (l)
      (cond
       ((null? l) 0)
       (else (inc (f (cdr l))))))))
'())
;; => 0

 

(((lambda (make-length)
    (make-length
     (make-length 'eternity)))
  (lambda (f)
    (lambda (l)
      (cond
       ((null? l) 0)
       (else (inc (f (cdr l))))))))
'(1))
;; => 1

 

(((lambda (make-length)
    (make-length
     (make-length
      (make-length 'eternity))))
  (lambda (f)
    (lambda (l)
      (cond
       ((null? l) 0)
       (else (inc (f (cdr l))))))))
'(1 2))
;; => 2

 

;;What is recursion like?
;;It is like an infinite tower of applications of make-length to an arbitrary function.

 

;;Do we readly need an infinite tower?
;;Not really of course. Everytime we use length we only need a finite number. but we never know how many.

 

;; meke-length to make-length
((lambda (make-length)
   (make-length make-length))
(lambda (f)
   (lambda (l)
     (cond
      ((null? l) 0)
      (else (inc ((f f) (cdr l))))))))

 

;; execute make-length to make-length
(((lambda (make-length)
   (make-length make-length))
(lambda (f)
   (lambda (l)
     (cond
      ((null? l) 0)
      (else (inc ((f f) (cdr l))))))))
'())
;; => 0

 

(((lambda (make-length)
   (make-length make-length))
(lambda (f)
   (lambda (l)
     (cond
      ((null? l) 0)
      (else (inc ((f f) (cdr l))))))))
'(1))
;; => 1

 

(((lambda (make-length)
   (make-length make-length))
(lambda (f)
   (lambda (l)
     (cond
      ((null? l) 0)
      (else (inc ((f f) (cdr l))))))))
'(1 2))
;; => 2

 

(((lambda (make-length)
   (make-length make-length))
(lambda (f)
   (lambda (l)
     (cond
      ((null? l) 0)
      (else (inc ((f f) (cdr l))))))))
'(1 2 3 4 5))
;; => 5

 

;; without (f f)
(((lambda (make-length)
   (make-length make-length))
  (lambda (f)
   (lambda (l)
     (cond
      ((null? l) 0)
      (else (inc
             ((lambda (x)
                ((f f) x))
              (cdr l))))))))
'(1 2 3 4 5))
;; => 5

 

;; move out (f f)
((lambda (f)
   (f f))
  (lambda (f)
    ((lambda (g)
       (lambda (l)
         (cond
          ((null? l) 0)
          (else
           (inc (g (cdr l)))))))
     (lambda (x)
       ((f f) x)))))

 

;; execute move-out-(f f)
(((lambda (f)
    (f f))
  (lambda (f)
    ((lambda (g)
       (lambda (l)
         (cond
          ((null? l) 0)
          (else
           (inc (g (cdr l)))))))
     (lambda (x)
       ((f f) x)))))
'(1 2 3 4 5))
;; => 5

 

;; extract function's body
;;(lambda (g)
;;    (lambda (l)
;;      (cond
;;       ((null? l) 0)
;;       (else (inc (g (cdr l)))))))
(((lambda (le)
    ((lambda (f)
       (f f))
     (lambda (f)
       (le (lambda (x)
             ((f f) x))))))
  (lambda (g)
    (lambda (l)
      (cond
       ((null? l) 0)
       (else (inc (g (cdr l))))))))
'(1 2 3 4 5))
;; => 5

 

;; named y
(define y
  (lambda (le)
    ((lambda (f)
       (f f))
     (lambda (f)
       (le (lambda (x)
             ((f f) x)))))))

 

;; execute y with length
((y (lambda (g)
      (lambda (l)
        (cond
         ((null? l) 0)
         (else (inc (g (cdr l))))))))
'(1 2 3 4 5))

 

参考

 

The Little Schemer

The Little Schemer

posted with amazlet at 09.03.30

Daniel P. Friedman Matthias Felleisen
Mit Pr
売り上げランキング: 16078

おすすめ度の平均: 5.0

5 小さなScheme処理系で学ぶ数学基礎理論
5 Schemeが好きになります
5 英語であるのが苦痛にならない楽しさ
5 面白いスタイル

Amazon.co.jp で詳細を見る
written by time: 0 件のコメント:
labels : , ,

2009/05/20

[scheme]Ackermann（アッカーマン関数）

WS0801 

 

コード

(define inc
  (lambda (n)
    (+ n 1)))

 

(define dec
  (lambda (n)
    (- n 1)))

 

(define Ackermann
  (lambda (n m)
    (cond
     ((zero? n)(inc m))
     ((zero? m)
      (Ackermann (dec n) 1))
     (else
      (Ackermann (dec n)
                 (Ackermann n (dec m)))))))

gosh> (Ackermann 1 0)
2
gosh> (Ackermann 1 1)
3
gosh> (Ackermann 2 2)
7
gosh> (Ackermann 1 2)
4
gosh> (Ackermann 0 (Ackermann 1 1))
4
gosh> (Ackermann 0 3)
4
gosh>

参考

 

The Little Schemer

The Little Schemer

posted with amazlet at 09.03.30

Daniel P. Friedman Matthias Felleisen
Mit Pr
売り上げランキング: 16078

おすすめ度の平均: 5.0

5 小さなScheme処理系で学ぶ数学基礎理論
5 Schemeが好きになります
5 英語であるのが苦痛にならない楽しさ
5 面白いスタイル

Amazon.co.jp で詳細を見る
written by time: 0 件のコメント:
labels : ,

[scheme][2ch]10 times print "hello"

WS0800

10 times print "hello

10回"hello"と表示するプログラムについて2chのスレで話題になっていたのがおもしろかったので。
私はよく寝る前にimonaとかでム板とかマ板とかのぞいてます。主にLispとかScheme関連のスレとあとはC#やF#など。

do

手続き型の言語に染まっていれば最もストレートなコードではないでしょうか。
;; do
(do ((i 0 (+ i 1)))
    ((= i 10))
  (print "hello"))

 

let loop

これもまぁdoとあまり変わりませんね。
;; let loop
(let loop ((s 0))
           (if (< s 10)
               (begin
                 (print "hello")
                        (loop (+ 1 s)))))


for-each

これは結構schemeらしいと思います。Scheme的には一番ストレートでは？
;; for-each
(use srfi-1)
(for-each
(lambda (i)
   (print "hello"))
(iota 10))

 

recursive lambda

これもSchemeらしいですね（笑）Y Combinatorを思い出しますね。
;; recursive lambda
((lambda (f)
   (f f 10))
(lambda (f n)
   (cond
    ((< 0 n)
     (print "hello")
     (f f (- n 1))))))

 

参考

written by time: 0 件のコメント:
labels :

2009/05/18

[scheme][Lisp]SchemeでLispインタプリタ書いた

WS0799
とっても簡易なインタプリタです。初めて書いたインタプリタです。やったー！まだバグってますが、取り合えずコードをさらしてみる。
とはいっても「schemeによる記号処理入門」P.125 ～ のほぼ写経だけど。
(slisp)を実行すればREPLが起動します。終了は(end*)、(exit*)、(bye*)、(quiet*)のいずれかを実行すれば終了します。

;; Small-Lisp ver 1.4
;; defined by valvallow
;; 2009/05/18
;; referenced 「Schemeによる記号処理入門」P.125 ～

(define *prompt* ">> ")
(define *version* "Small-Lisp Ver.1.4")

(define *environment*
  '())

(define init-environment
  (lambda ()
    (set! *environment*
          '((t . t)(nil . nil)))))

(define error-message
  (lambda (x)
    (display " **** Unknown expression : ")
    (display x)
    (newline)))
(define assoc*
  (lambda (x y)
    (cond
     ((null? y)
      (error-message x) '())
     ((equal? x (caar y))
      (cdar y))
     (else (assoc* x (cdr y))))))

(define atom?
  (lambda (x)
    (not (pair? x))))

(define eval-args
  (lambda (exp env)
    (cond
     ((null? exp) '())
     (else (cons (myeval (car exp) env)
                 (eval-args (cdr exp) env))))))

(define myatom?
  (lambda (foo)
    (cond
     ((not (pair? foo)) 't)
     (else 'nil))))

(define myeq?
  (lambda (foo baz)
    (cond
     ((eqv? foo baz) 't)
     (else 'nil))))

(define pairlis
  (lambda (x y z)
    (cond
     ((or (null? x)(null? y)) z)
     (else (append (pairlis-aux x y) z)))))

(define pairlis-aux
  (lambda (x y)
    (cond
     ((or (null? x)(null? y)) '())
     (else (cons (cons (car x)(car y))
                 (pairlis-aux (cdr x)(cdr y)))))))

(define myapply
  (lambda (func args env)
    (cond
     ((and (atom? func) (not (null? func)))
      (cond
       ((eq? func 'car*)(caar args))
       ((eq? func 'cdr*)(cdar args))
       ((eq? func 'cons*)(cons (car args)(cadr args)))
       ((eq? func 'atom*)(myatom? (car args)))
       ((eq? func 'eq*)(myeq? (car args)(cadr args)))
       ((eq? func 'caar*)(caar args))
       ((eq? func 'cadr*)(cadr args))
       ((eq? func 'cdar*)(cdar args))
       ((eq? func 'cddr*)(cddr args))
       ((eq? func 'caaar*)(caaar args))
       ((eq? func 'caadr*)(caadr args))
       ((eq? func 'cadar*)(cadar args))
       ((eq? func 'caddr*)(caddr args))
       ((eq? func 'cdaar*)(cdaar args))
       ((eq? func 'cdadr*)(cdadr args))
       ((eq? func 'cddar*)(cddar args))
       ((eq? func 'cdddr*)(cdddr args))
       ((eq? func 'null*)
        (if (null? (car args)) 't 'nil))
       ((eq? func 'zero*)
        (if (zero? (car args)) 't 'nil))
       ((eq? func 'plus*)(+ (car args)(cadr args)))
       ((eq? func 'minus*)(- (car args)(cadr args)))
       ((eq? func 'multiple*)(* (car args)(cadr args)))
       ((eq? func 'divide*)(/ (car args)(cadr args)))
       ((eq? func 'greater*)
        (if (> (car args)(cadr args)) 't 'nil))
       (else (myapply (myeval func env) args env))))
     ((eq? (car func) 'lambda*)
      (myeval (caddr func)
              (pairlis (cadr func) args env)))
     (else (error-message args)))))

(define eval-cond
  (lambda (con env)
    (cond
     ((null? con) 'nil)
     ((eq? 'nil (myeval (caar con) env))
      (eval-cond (cdr con) env))
     (else (myeval (cadar con) env)))))

(define eval-defun
  (lambda (exp env)
    (let ((name (car exp))
          (args (cadr exp))
          (body (caddr exp)))
      (set! *environment*
            (cons `(,name . (lambda* ,args ,body))
                  env)) name)))

(define eval-setq
  (lambda (exp env)
    (let ((var (car exp))
          (val (myeval (cadr exp) env)))
      (set! *environment*
            (cons (cons var val) env)) val)))

(define myeval
  (lambda (exp env)
    (cond
     ((atom? exp)
      (cond
       ((number? exp) exp)
       (else (assoc* exp env))))
     ((eq? (car exp) 'cond*)(eval-cond (cdr exp) env))
     ((eq? (car exp) 'setq*)(eval-setq (cdr exp) env))
     ((eq? (car exp) 'defun*)(eval-defun (cdr exp) env))
     ((eq? (car exp) 'quote*)(cadr exp))
     ((eq? (car exp) 'if*)
      (cond
       ((eq? (myeval (cadr exp) env) 'nil))
       (else (myeval (caddr exp) env))))
     (else (myapply (car exp)
                    (eval-args (cdr exp) env) env)))))

(define slisp
  (lambda ()
    (print *version*)
    (init-environment)
    (display *prompt*)
    (do ((exp (read)(read)))
        ((and (list? exp)
              (member (car exp)
                      '(bye* quite* end* exit*)))
         'good-bye)
      (print (myeval exp *environment*))
      (display *prompt*))))

(use slib)
(require 'trace)
(trace myeval)

Schemeによる記号処理入門
written by time: 0 件のコメント:
labels : , ,

2009/05/17

[scheme]eq?, equal?, eqv?

WS0798

「schemeによる記号処理入門」P.41 ～ P.42

eq? と equal?

  • (eq? x y)の評価値はxとyが同じ記憶場所（セル）に格納されているときは#tで、それ以外は#fである。xとyが数の場合の評価値は諸折系に依存して決まる。
  • (equal? x y)のっ評価値はxとyの印字意結果が同じときは#tで、それ以外は#f。
  • (eq? x y)の評価値が#tであれば、(equal? x y)のひょうかちも#tであるが、逆は必ずしも成立しない。 


    • ;; eq? equal? eqv?            
(eq? (list 1 2 3)(list 1 2 3))             
;; => #f             

(equal? (list 1 2 3)(list 1 2 3))             
;; => #t 



(eq? (cons 1 '(2 3))(cons 1 '(2 3)))            
;; => #f             

(equal? (cons 1 '(2 3))(cons 1 '(2 3)))             
;; => #t 



(eq? '(1 2 3)'(1 2 3))            
;; => #f             

(equal? '(1 2 3)'(1 2 3))             
;; => #t 



(define x '(1 2 3))            
(define y '(1 2 3))            
(define z x) 



(eq? x y)            
;; => #f

(equal? x y)            
;; => #t 



(eq? x '(1 2 3))            
;; => #f             

(eq? x x)             
;; => #t             

(eq? x z)             
;; => #t             

(equal? x '(1 2 3))             
;; => #t

    eqv?と=

    • (eq? x y)の評価値が#tなら(eqv? x y)の評価値も#t
    • (eqv? x y)が数同士の等値性の判定の場合、等しければ#t
    • (eqv? x y)の評価値が#tなら(equal? x y)の評価値も#t

    追記

    eq?,eqv?,equal?では，等しいと判定される判断基準が異なる．

    * eq?は，比較する2つの引数がシステム内部で同一のデータ(セル)を指し示している場合に#tを返す．
    * eqv?は，eq?で等しいか数値として等しい2つの引数が与えられたとき#tを返す．
    * equal?は，評価した結果が等しいような2つの引数が与えられたとき#tを返す．
    * eq?で等しいと判定されるデータは，eqv?,equal?でも等しい．
    * eqv?で等しいと判定されるデータは，equal?でも等しい．
    * equal?で等しいと判定されるデータがeqv?,eq?で等しいとは限らない．
    * eqv?で等しいと判定されるデータがeq?で等しいとは限らない．
    * equal?は汎用的．eq?は高速．


    直観的には，

    * symbolの比較には，eq?
    * symbolと数値を同時に扱う場合は，eqv?(数値のみを扱う場合は，"="の方がよい)
    * listの構造の比較には，equal?

    を使う．


    Schemeによる記号処理入門
    written by time: 0 件のコメント:
    labels : ,

    [scheme]queue（キュー：待ち行列）

    WS0797

    追記


    「schemeによる記号処理入門」 P.40

    大域変数を使用するもの

    (define *queue*
      '())

    (define *last*
      '())

    (define enqueue
      (lambda (data)
        (cond
         ((null? *queue*)
          (set! *queue* (list data))
          (set! *last* *queue*))
         (else (set-cdr! *last* (list data))
               (set! *last* (cdr *last*))))
      *queue*))

    (define dequeue
      (lambda ()
        (cond
         ((null? *queue*) 'empty)
         (else ((lambda (x)
                  (set! x (car *queue*))
                  (set! *queue* (cdr *queue*))
                  x) '())))))
    (enqueue 'one)
    ;; => (one)

    (enqueue 'two)
    ;; => (one two)

    (enqueue 'three)
    ;; => (one two three)

    (dequeue)
    ;; => one

     

    大域変数を使用しない（クロージャ）

    ;; queue with closure
    (define make-queue
      (lambda ()
        (let ((queue '())
              (last '()))
        (lambda (msg . args)
              (cond
               ((eq? msg 'enqueue)
                (cond
                 ((null? queue)
                  (set! queue (list (car args)))
                  (set! last queue))
                 (else (set-cdr! last (list (car args)))
                       (set! last (cdr last))))
                queue)
               ((eq? msg 'dequeue)
                (cond
                 ((null? queue) 'empty)
                 (else ((lambda (x)
                         (set! x (car queue))
                         (set! queue (cdr queue))
                         x) '()))))
               ((eq? msg 'len)
                (length queue))
               ((eq? msg 'clear)
                (set! queue '()))
               ((eq? msg 'each)
                (cond
                 ((null? args) queue)
                 (else (map (car args) queue))))
               (else #f))))))
    (define q (make-queue))
    ;; => q

    (q 'enqueue 'one)
    ;; => (one)

    (q 'enqueue 'two)
    ;; => (one two)

    (q 'enqueue 'three)
    ;; => (one two three)

    (q 'enqueue 'four)
    ;; => (one two three four)

    (q 'enqueue 'five)
    ;; => (one two three four five)

    (q 'dequeue)
    ;; => one

    (q 'len)
    ;; => 4

    (q 'each)
    ;; => (two three four five)

    (q 'each (lambda (n)(print n)))
    ;; => two
    ;; => three
    ;; => four
    ;; => five
    ;; => (#<undef> #<undef> #<undef> #<undef>)

     

    参考



    Schemeによる記号処理入門
    Schemeによる記号処理入門
    posted with amazlet at 09.05.10
    猪股 俊光 益崎 真治
    森北出版
    売り上げランキング: 305671
    Amazon.co.jp で詳細を見る
    written by time: 0 件のコメント:
    labels : ,

    [Ruby]「Rubylist九州5月例会」に参加してきた

     

    あ・・・ありのまま今起こったことを話すぜ

    ,. -‐'''''""¨¨¨ヽ
    (.＿＿_,,,... -ｧァﾌ|
    |i i| }! }} /／|
    |l､{ j} /,,ｨ//｜
    i|:!ヾ､_ﾉ／ u {:}//ﾍ
    |ﾘ u' } ,ﾉ _,!V,ﾊ |
    ／´fト､_{ﾙ{,ィ'ｅﾗ , ﾀ人
    /' ヾ|宀| {´,)⌒` |<ヽﾄiゝ
    ,ﾞ ／ )ヽ iLﾚ u' | | ヾｌﾄﾊ〉
    |／_／ ﾊ !ニ⊇ '／:} V:::::ヽ
    /／ 二二二7'T'' ／u' __ /:::::::/｀ヽ
    /'´r -―一ｧ‐ﾞＴ´ '"´ ／::::／-‐ ＼
    / // 广¨´ /' ／:::::／´￣｀ヽ ⌒ヽ
    ﾉ ' / ノ:::::`ー-､___／:::::／/ ヽ }
    _／｀丶 /::::::::::::::::::::::::::￣`ー-{:::... ｲ

    「Rubylist九州にRubyの勉強をしにいったと思ったら

    いつのまにかサルサを踊っていたんだ」

    な・・・ 何を言ってるかわからねーと思うが

    おれも何をされたのかわからなかった

    頭がどうにかなりそうだった

    フォークダンスだとか盆踊りだとか

    そんなチャチなもんじゃあ 断じてねぇ

    もっと恐ろしいものの片鱗を味わったぜ・・・

    懇親会がなぜかサルサパーティだったんです。正直どうなることかと思いましたが・・・、サルサいい！（・∀・）

     

    収穫

    「日本で最もPrologのコードを書いた」であろうお方に熊本でPrologのお話をして頂く約束を取り付けた！！（第五世代コンピュータを実際に使っていた方）

    すばらしい！

    （もうRuby全然関係ないですね）

     

    メモ

    ■Rubylist九州(2009/05/16)
    ＊山崎先生
    ・Web Script言語としてのRuby
          ・PostScript
        ・当時PCよりプリンタの方が高かった
            ・PostScriptを動かすために高機能なCPU
            ・Load And Execute型
        ・セキュリティとセーフティ
            ・モバイルコード型スクリプト言語の安全性
        ・Javaの開発目的は家電のPostScriptだった
            ・Javaの設計思想
                ・コードへの電子署名
                ・サンドボックス
                ・ポインタ操作の抽象化
                ・メモリの自動化
                ・強い静的型付け
            ・テレスクリプト
                ・Telescript
                    ・Mix-in継承
                    ・Mixi-inクラス（抽象クラス）
            ・エージェントホイホイ（笑）
        ・だからJavaは楽しくない
            ・束縛が強い
            ・自由でない
            ・よそ様に迷惑をかけない
            ・お役所仕事的で煩雑かつ冗長なコード

        ・Ruby
            ・Rubyはモバイルコード型の言語ではない
            ・Rubyはプログラミングの楽しさと記述の簡潔性を重視している
            ・Security
                ・入力オブジェクトの汚染属性
                ・Safe Levelによるインタプリタの実効制限
            ・RubyのSafety
                ・ポインタの抽象化
            ・RJS（Ruby-Generated JavaScript）
        ・エンドユーザースクリプトの歴史
            ・シェルスクリプト
            ・ハイパートーク
            ・VBA
        ・1/2というオブジェクト型
            ・それを2倍すると1になる有理数
        ・シングルトン(singleton)
            ・1点集合
            ・Rubyのオブジェクト指向は必ずしもクラスを作らなくても良い
        ・マルチン・レフの型理論
        ・型推論とテスト駆動プログラミング
            ・型推論とホーア論理は似ている
            ・ケント=ベックは「実はホーア論理を下敷きにしてるんだよ」
        ・言語の基本（自然言語）
            ・文
            ・述語を固定して主語を集める
                ・高階の言語
            ・ヴィトゲンシュタイン
        ・Rubyは型がいい加減なんでやりやすいよね！（笑）
        ・関数型言語
            ・時間的変化がない
            ・副作用がない
            ・モナディウス
        ・でもプログラミングをやる上では時間の概念は必要じゃね？
        ・時間的な概念を副作用として持ち込むのは難しい
        ・Haskell
            ・頭の良い人用の言語（？）
            ・頭の良い人にとっては天国のようなもの
        ・ライプニッツの原理
        ・2階の論理
        ・区別できないものを等しいと扱う

     

    ＊橋本さん
    ・RubyWAVEファイルをいじってみた。
        ・ruby-soundwave
            ・githubに上がっている
            ・読み込み→ダンプ
            ・コピー
            ・合成
                ・つなげる
                ・混ぜる
            ・1から音を作る
        ・pack
        ・unpack
        ・アルディーノ

     

    ＊新井さん
    ・Egalite（フランス語で平等）
        ・自作フレームワーク
            ・自分で作ったWebフレームワーク
            ・Railsが嫌い
            ・極限までコード量を減らしたい（Railsよりも）
        ・ドキュメントが無い
        ・ライブコーディング
            ・ブログアプリケーションを作ってみる
            ・PostgreSQL

    Ruby熟練者のライブコーディングを見れてラッキー♪

    written by time: 0 件のコメント:
    labels :

    2009/05/15

    [scheme]stack（クロージャ）

    WS0794

    stack

    WS0795

    stackを見てもコインシリンダーしか思い出せません。コインシリンダー欲しいです。あと再帰的な彼女も欲しいです。

     

    コード

    (define make-stack
      (lambda ()
        (let ((front '()))
          (lambda (msg . args)
            (cond
             ((eq? msg 'push!)
              (set! front (cons (car args) front))
              (car args))
             ((eq? msg 'pop!)
              (cond
               ((null? front) #f)
               (else (let ((data (car front)))
                       (set! front (cdr front))
                       data))))
             ((eq? msg 'len)
              (length front))
             ((eq? msg 'each)
              (cond
               ((null? args) front)
               (else (map (car args) front))))
             ((eq? msg 'clear)
              (set! front '()))
             ((eq? msg 'empty?)(null? front))
             (else #f))))))

    (define s (make-stack))

    (s 'empty?)
    ;; => #t


    (s 'push! 1)
    ;; => 1


    (s 'push! 1)
    ;; => 1


    (s 'pop!)
    ;; => 1


    (s 'push! 2)
    ;; => 2


    (s 'push! 3)
    ;; => 3


    (s 'len)
    ;; => 3


    (s 'each (lambda (x)(display x)))
    ;; => 321(#<undef> #<undef> #<undef>)


    (s 'clear)
    ;; => ()


    (s 'pop)
    ;; => #f

    ほとんどが下記参照先の写経です。len、each、clearを追加しただけ。

     

    参考

    関連

    written by time: 0 件のコメント:
    labels : ,

    [C#]EachControls

    昔自分が書いたC#のコードのコメントメンテナンスをする機会がきました。（コメント書いてなかったので書かないといけなくなった）

    そこで面白いコードを見つけたのでメモ。残念ながらいつものようにC#1.1です。

     

    private delegate bool Selection (Control ctl);
    private delegate object Filter (Control ctl);

     

    private static IList EachControls (Control parent, IList list, Selection s, Filter f)
    {
        if (parent == null || list == null || s == null || f == null)
        {
            return list;
        }

        if (!list.Contains(parent))
        {
            if (s(parent))
            {
                list.Add(f(parent));
            }
        }

        if (parent.HasChildren)
        {
            foreach (Control c in parent.Controls)
            {
                EachControls(c, list, s, f);
            }
        }
        return list;
    }

     

    private static IDictionary EachControls (Control parent, IDictionary dic, Selection s, Filter f)
    {
        if (parent == null || dic == null || s == null)
        {
            return dic;
        }

        if (s(parent))
        {
            dic[parent.Name] = f(parent);
        }

        if (parent.HasChildren)
        {
            foreach (Control c in parent.Controls)
            {
                EachControls (c, dic, s, f);
            }
        }
        return dic;
    }

    written by time: 0 件のコメント:
    labels : ,
    登録: 投稿 (Atom)