開発環境
- OS X Lion - Apple(OS)
- Emacs、BBEdit - Bare Bones Software, Inc. (Text Editor)
- Scheme (プログラミング言語)
- MIT/GNU Scheme (処理系)
計算機プログラムの構造と解釈(Gerald Jay Sussman(原著)、Julie Sussman(原著)、Harold Abelson(原著)、和田 英一(翻訳)、ピアソンエデュケーション、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の4(超言語的抽象)、4.3(Scheme の変形 - 非決定性計算)、4.3.3(amb評価器の実装)、実行手続きと継続、評価器の構造、単純式、条件式と並び、定義と代入、手続きの作用、amb式の評価、駆動ループ、問題 4.50を解いてみる。
その他参考書籍
問題 4.50
前問までのambeval.scmの主にanalyze-amb等を修正。
コード(BBEdit)
rambeval.scm
(define (rambeval exp env succeed fail)
((analyze exp) env succeed fail))
(define (analyze exp)
(cond ((self-evaluating? exp)
(analyze-self-evaluating exp))
((quoted? exp) (analyze-quoted exp))
((variable? exp) (analyze-variable exp))
((assignment? exp) (analyze-assignment exp))
((definition? exp) (analyze-definition exp))
((if? exp) (analyze-if exp))
((lambda? exp) (analyze-lambda exp))
((let? exp) (analyze (let->combination exp)))
((and? exp) (analyze (and->if exp)))
((or? exp) (analyze (or->if exp)))
((begin? exp) (analyze-sequence (begin-actions exp)))
((cond? exp) (analyze (cond->if exp)))
((unless? exp) (analyze (unless->if exp)))
((ramb? exp) (analyze-ramb exp))
((application? exp) (analyze-application exp))
(else
(error "Unknown expression type -- ANALYZE" exp))))
(define (analyze-self-evaluating exp)
(lambda (env succeed fail) (succeed exp fail)))
(define (analyze-quoted exp)
(let ((qval (text-of-quotation exp)))
(lambda (env succeed fail)
(succeed qval fail))))
(define (analyze-variable exp)
(lambda (env succeed fail)
(succeed (lookup-variable-value exp env)
fail)))
(define (analyze-assignment exp)
(let ((var (assignment-variable exp))
(vproc (analyze (assignment-value exp))))
(lambda (env succeed fail)
(vproc env
(lambda (val fail2)
(let ((old-value
(lookup-variable-value var env)))
(set-variable-value! var val env)
(succeed 'ok
(lambda ()
(set-variable-value! var
old-value
env)
(fail2)))))
fail))))
(define (analyze-definition exp)
(let ((var (definition-variable exp))
(vproc (analyze (definition-value exp))))
(lambda (env succeed fail)
(vproc env
(lambda (val fail2)
(define-variable! var val env)
(succeed 'ok fail2))
fail))))
(define (analyze-if exp)
(let ((pproc (analyze (if-predicate exp)))
(cproc (analyze (if-consequent exp)))
(aproc (analyze (if-alternative exp))))
(lambda (env succeed fail)
(pproc env
(lambda (pred-value fail2)
(if (true? pred-value)
(cproc env succeed fail2)
(aproc env succeed fail2)))
fail))))
(define (analyze-lambda exp)
(let ((vars (lambda-parameters exp))
(bproc (analyze-sequence (lambda-body exp))))
(lambda (env succeed fail)
(succeed (make-procedure vars bproc env)
fail))))
(define (analyze-sequence exps)
(define (sequentially a b)
(lambda (env succeed fail)
(a env
(lambda (a-value fail2)
(b env succeed fail2))
fail)))
(define (loop first-proc rest-procs)
(if (null? rest-procs)
first-proc
(loop (sequentially first-proc (car rest-procs))
(cdr rest-procs))))
(let ((procs (map analyze exps)))
(if (null? procs)
(error "Empty sequence -- ANALYZE"))
(loop (car procs) (cdr procs))))
(define (analyze-ramb exp)
(let ((cprocs (map analyze (ramb-choices exp))))
(lambda (env succeed fail)
(define (remove choices choice)
(cond ((null? choices) '())
((equal? (car choices)
choice)
(cdr choices))
(else
(cons (car choices)
(remove (cdr choices)
choice)))))
(define (try-next choices)
(if (null? choices)
(fail)
(let ((a (length choices)))
(let ((i (random a)))
(let ((choice (list-ref choices i)))
(choice env
succeed
(lambda ()
(try-next (remove choices choice)))))))))
(try-next cprocs))))
(define (analyze-application exp)
(let ((pproc (analyze (operator exp)))
(aprocs (map analyze (operands exp))))
(lambda (env succeed fail)
(pproc env
(lambda (proc fail2)
(get-args aprocs
env
(lambda (args fail3)
(execute-application
proc args succeed fail3))
fail2))
fail))))
(define (get-args aprocs env succeed fail)
(if (null? aprocs)
(succeed '() fail)
((car aprocs) env
(lambda (arg fail2)
(get-args (cdr aprocs)
env
(lambda (args fail3)
(succeed (cons arg args)
fail3))
fail2))
fail)))
(define (execute-application proc args succeed fail)
(cond ((primitive-procedure? proc)
(succeed (apply-primitive-procedure proc args)
fail))
((compound-procedure? proc)
((procedure-body proc)
(extend-environment (procedure-parameters proc)
args
(procedure-environment proc))
succeed
fail))
(else
(error
"Unknown procedure type -- EXECUTE-APPLICATION"
proc))))
(define (list-of-values exps env)
(if (no-operands? exps)
'()
(cons (eval (first-operand exps) env)
(list-of-values (rest-operands exps) env))))
(define (self-evaluating? exp)
(cond ((number? exp) true)
((string? exp) true)
(else false)))
(define (variable? exp) (symbol? exp))
(define (quoted? exp)
(tagged-list? exp 'quote))
(define (text-of-quotation exp) (cadr exp))
(define (tagged-list? exp tag)
(if (pair? exp)
(eq? (car exp) tag)
false))
(define (assignment? exp)
(tagged-list? exp 'set!))
(define (assignment-variable exp) (cadr exp))
(define (assignment-value exp) (caddr exp))
(define (definition? exp)
(tagged-list? exp 'define))
(define (definition-variable exp)
(if (symbol? (cadr exp))
(cadr exp)
(caadr exp)))
(define (definition-value exp)
(if (symbol? (cadr exp))
(caddr exp)
(make-lambda (cdadr exp)
(cddr exp))))
(define (lambda? exp) (tagged-list? exp 'lambda))
(define (lambda-parameters exp) (cadr exp))
(define (lambda-body exp) (cddr exp))
(define (make-lambda parameters body)
(cons 'lambda (cons parameters body)))
(define (if? exp) (tagged-list? exp 'if))
(define (if-predicate exp) (cadr exp))
(define (if-consequent exp) (caddr exp))
(define (if-alternative exp)
(if (not (null? (cdddr exp)))
(cadddr exp)
'false))
(define (make-if predicate consequent alternative)
(list 'if predicate consequent alternative))
(define (let? exp) (tagged-list? exp 'let))
(define (let-vars-exps exp)
(cadr exp))
(define (let-body exp)
(cddr exp))
(define (let-vars exp)
(map car
(let-vars-exps exp)))
(define (let-exps exp)
(map cadr
(let-vars-exps exp)))
(define (let->combination exp)
(cons (make-lambda (let-vars exp)
(let-body exp))
(let-exps exp)))
(define (or? exp) (tagged-list? exp 'or))
(define (or-sequence exp) (cdr exp))
(define (or->if exp)
(let ((seq (or-sequence exp)))
(if (null? seq)
'false
(let ((p (car seq)))
(make-if p 'true (or->if seq))))))
(define (and? exp) (tagged-list? exp 'and))
(define (and->if exp)
(let ((seq (cdr exp)))
(if (null? seq)
'true
(let ((p (car seq)))
(make-if p (and->if seq) 'false)))))
(define (ramb? exp) (tagged-list? exp 'ramb))
(define (ramb-choices exp) (cdr exp))
(define (begin? exp) (tagged-list? exp 'begin))
(define (begin-actions exp) (cdr exp))
(define (last-exp? seq) (null? (cdr seq)))
(define (first-exp seq) (car seq))
(define (rest-exps seq) (cdr seq))
(define (sequence->exp seq)
(cond ((null? seq) seq)
((last-exp? seq) (first-exp seq))
(else (make-begin seq))))
(define (application? exp) (pair? exp))
(define (operator exp) (car exp))
(define (operands exp) (cdr exp))
(define (no-operands? ops) (null? ops))
(define (first-operand ops) (car ops))
(define (rest-operands ops) (cdr ops))
(define (cond? exp) (tagged-list? exp 'cond))
(define (cond-clauses exp) (cdr exp))
(define (cond-else-clause? clause)
(eq? (cond-predicate clause) 'else))
(define (cond-predicate clause) (car clause))
(define (cond-actions clause) (cdr clause))
(define (cond->if exp)
(expand-clauses (cond-clauses exp)))
(define (expand-clauses clauses)
(if (null? clauses)
'false
(let ((first (car clauses))
(rest (cdr clauses)))
(if (cond-else-clause? first)
(if (null? rest)
(sequence->exp (cond-actions first))
(error "ELSE clause isn't last -- COND->IF"
clauses))
(make-if (cond-predicate first)
(sequence->exp (cond-actions first))
(expand-clauses rest))))))
(define (unless? exp) (tagged-list? exp 'unless))
(define (unless-predicate exp) (cadr exp))
(define (unless-consequent exp) (caddr exp))
(define (unless-alternative exp) (cadddr exp))
(define (unless->if exp)
(make-if (unless-predicate exp)
(unless-alternative exp)
(unless-consequent exp)))
(define (true? x)
(not (eq? x false)))
(define (false? x)
(eq? x false))
(define (make-procedure parameters body env)
(list 'procedure parameters body env))
(define (compound-procedure? p)
(tagged-list? p 'procedure))
(define (procedure-parameters p) (cadr p))
(define (procedure-body p) (caddr p))
(define (procedure-environment p) (cadddr p))
(define (enclosing-environment env) (cdr env))
(define (first-frame env) (car env))
(define the-empty-environment '())
(define (make-frame variables values)
(cons variables values))
(define (frame-variables frame) (car frame))
(define (frame-values frame) (cdr frame))
(define (add-binding-to-frame! var val frame)
(set-car! frame (cons var (car frame)))
(set-cdr! frame (cons val (cdr frame))))
(define (extend-environment vars vals base-env)
(if (= (length vars) (length vals))
(cons (make-frame vars vals) base-env)
(if (< (length vars) (length vals))
(error "Too many arguments supplied" vars vals)
(error "Too few arguments supplied" vars vals))))
(define (lookup-variable-value var env)
(define (env-loop env)
(define (scan vars vals)
(cond ((null? vars)
(env-loop (enclosing-environment env)))
((eq? var (car vars))
(let ((val (car vals)))
(if (eq? val '*unassigned)
(error "Unassigned variable" var)
val)))
(else (scan(cdr vars) (cdr vals)))))
(if (eq? env the-empty-environment)
(error "Unbound variable" var)
(let ((frame (first-frame env)))
(scan (frame-variables frame)
(frame-values frame)))))
(env-loop env))
(define (set-variable-value! var val env)
(define (env-loop env)
(define (scan vars vals)
(cond ((null? vars)
(env-loop (enclosing-environment env)))
((eq? var (car vars))
(set-car! vals val))
(else (scan (cdr vars) (cdr vals)))))
(if (eq? env the-empty-environment)
(error "Unbound variable -- SET!" var)
(let ((frame (first-frame env)))
(scan (frame-variables frame)
(frame-values frame)))))
(env-loop env))
(define (define-variable! var val env)
(let ((frame (first-frame env)))
(define (scan vars vals)
(cond ((null? vars)
(add-binding-to-frame! var val frame))
((eq? var (car vars))
(set-car! vals val))
(else (scan (cdr vars) (cdr vals)))))
(scan (frame-variables frame)
(frame-values frame))))
(define (setup-environment)
(let ((initial-env
(extend-environment (primitive-procedure-names)
(primitive-procedure-objects)
the-empty-environment)))
(define-variable! 'true true initial-env)
(define-variable! 'false false initial-env)
initial-env))
(define (primitive-procedure? proc)
(tagged-list? proc 'primitive))
(define (primitive-implementation proc) (cadr proc))
(define primitive-procedures
(list (list 'car car)
(list 'cdr cdr)
(list 'cons cons)
(list 'null? null?)
(list '* *)
(list '+ +)
(list '- -)
(list '/ /)
(list '< <)
(list '= =)
(list '> >)
(list 'apply apply)
(list 'atan atan)
(list 'cos cos)
(list 'display display)
(list 'eq? eq?)
(list 'error error)
(list 'list list)
(list 'log log)
(list 'max max)
(list 'min min)
(list 'newline newline)
(list 'not not)
(list 'number? number?)
(list 'pair? pair?)
(list 'quotient quotient)
(list 'random random)
(list 'read read)
(list 'remainder remainder)
(list 'round round)
(list 'runtime runtime)
(list 'set-car! set-car!)
(list 'set-cdr! set-cdr!)
(list 'sin sin)
(list 'symbol? symbol?)
(list 'vector-ref vector-ref)
(list 'vector-set! vector-set!)
(list 'member member)
(list 'memq memq)))
(define (primitive-procedure-names)
(map car primitive-procedures))
(define (primitive-procedure-objects)
(map (lambda (proc) (list 'primitive (cadr proc)))
primitive-procedures))
(define (apply-primitive-procedure proc args)
(apply
(primitive-implementation proc) args))
(define input-prompt ";;; Ramb-Eval input:")
(define output-prompt ";;; Ramb-Eval value:")
(define (prompt-for-input string)
(newline) (newline) (display string) (newline))
(define (announce-output string)
(newline) (display string) (newline))
(define (user-print object)
(if (compound-procedure? object)
(display (list 'compound-procedure?
(procedure-parameters object)
(procedure-body object)
'<procedure-env>))
(display object)))
(define (driver-loop)
(define (internal-loop try-again)
(prompt-for-input input-prompt)
(let ((input (read)))
(if (eq? input 'try-again)
(try-again)
(begin
(newline)
(display ";;; Starting a new problem ")
(rambeval input
the-global-environment
(lambda (val next-alternative)
(announce-output output-prompt)
(user-print val)
(internal-loop next-alternative))
(lambda ()
(announce-output
";;; There are no more values of")
(user-print input)
(driver-loop)))))))
(internal-loop
(lambda ()
(newline)
(display ";;; There is no current problem")
(driver-loop))))
(define the-global-environment (setup-environment))
(driver-loop)
入出力結果(Terminal, REPL(Read, Eval, Print, Loop))
$ scheme
MIT/GNU Scheme running under MacOSX
Type `^C' (control-C) followed by `H' to obtain information about interrupts.
Copyright (C) 2011 Massachusetts Institute of Technology
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
Image saved on Friday April 13, 2012 at 9:02:52 AM
Release 9.1.1 || Microcode 15.3 || Runtime 15.7 || SF 4.41 || LIAR/C 4.118
Edwin 3.116
1 ]=> (load "./rambeval.scm")
;Loading "./rambeval.scm"...
;;; Ramb-Eval input:
(define (require p)
(if (not p) (ramb)))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define (an-element-of items)
(require (not (null? items)))
(ramb (car items) (an-element-of (cdr items))))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define nouns '(noun student professor cat class))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define verbs '(verb studies lectures eats sleeps))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define articles '(article the a))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define prepositions '(prep for to in by with))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define adjectives '(adjectives good bad pretty beautiful ugly))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define (parse-sentence)
(list 'sentence
(parse-noun-phrase)
(parse-verb-phrase)))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define (parse-noun-phrase)
(define (maybe-extend noun-phrase)
(ramb noun-phrase
(maybe-extend (list 'noun-phrase
noun-phrase
(parse-prepositional-phrase)))))
(maybe-extend (ramb (parse-simple-noun-phrase)
(parse-adjectival-noun-phrase))))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define (parse-verb-phrase)
(define (maybe-extend verb-phrase)
(ramb verb-phrase
(maybe-extend (list 'verb-phrase
verb-phrase
(parse-prepositional-phrase)))))
(maybe-extend (parse-word verbs)))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
;; 単純名詞句
(define (parse-simple-noun-phrase)
(list 'simple-noun-phrase
(parse-word articles)
(parse-word nouns)))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
;; 形容詞で拡大した名詞句
(define (parse-adjectival-noun-phrase)
(list 'adj-noun-phrase
(parse-word articles)
(parse-word adjectives)
(parse-word nouns)))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define (parse-prepositional-phrase)
(list 'prep-phrase
(parse-word prepositions)
(parse-noun-phrase)))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define (parse-word word-list)
;; 入力文を無視
(set! *unparsed* '())
(let ((found-word (an-element-of (cdr word-list))))
(list (car word-list) found-word)))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define *unparsed* '())
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(define (parse input)
(set! *unparsed* input)
(let ((sent (parse-sentence)))
(require (null? *unparsed*))
sent))
;;; Starting a new problem
;;; Ramb-Eval value:
ok
;;; Ramb-Eval input:
(parse '())
;;; Starting a new problem
;;; Ramb-Eval value:
(sentence (noun-phrase (noun-phrase (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (adj-noun-phrase (article the) (adjectives good) (noun student)) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives pretty) (noun class)))) (prep-phrase (prep to) (noun-phrase (adj-noun-phrase (article a) (adjectives good) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (adj-noun-phrase (article the) (adjectives pretty) (noun student)) (prep-phrase (prep by) (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep in) (adj-noun-phrase (article the) (adjectives good) (noun student)))))) (prep-phrase (prep in) (noun-phrase (adj-noun-phrase (article the) (adjectives good) (noun student)) (prep-phrase (prep with) (adj-noun-phrase (article the) (adjectives good) (noun student)))))))))))) (prep-phrase (prep with) (noun-phrase (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep in) (adj-noun-phrase (article the) (adjectives good) (noun student)))) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives pretty) (noun student)))) (prep-phrase (prep in) (noun-phrase (simple-noun-phrase (article a) (noun class)) (prep-phrase (prep to) (adj-noun-phrase (article a) (adjectives good) (noun student)))))))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun class)))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun student)))) (verb-phrase (verb studies) (prep-phrase (prep for) (noun-phrase (adj-noun-phrase (article a) (adjectives pretty) (noun student)) (prep-phrase (prep to) (noun-phrase (adj-noun-phrase (article a) (adjectives bad) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun cat)) (prep-phrase (prep for) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep with) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep to) (adj-noun-phrase (article the) (adjectives good) (noun student)))))))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun student)))))))))))
;;; Ramb-Eval input:
try-again
;;; Ramb-Eval value:
(sentence (noun-phrase (noun-phrase (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (adj-noun-phrase (article the) (adjectives good) (noun student)) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives pretty) (noun class)))) (prep-phrase (prep to) (noun-phrase (adj-noun-phrase (article a) (adjectives good) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (adj-noun-phrase (article the) (adjectives pretty) (noun student)) (prep-phrase (prep by) (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep in) (adj-noun-phrase (article the) (adjectives good) (noun student)))))) (prep-phrase (prep in) (noun-phrase (adj-noun-phrase (article the) (adjectives good) (noun student)) (prep-phrase (prep with) (adj-noun-phrase (article the) (adjectives good) (noun student)))))))))))) (prep-phrase (prep with) (noun-phrase (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep in) (adj-noun-phrase (article the) (adjectives good) (noun student)))) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives pretty) (noun student)))) (prep-phrase (prep in) (noun-phrase (simple-noun-phrase (article a) (noun class)) (prep-phrase (prep to) (adj-noun-phrase (article a) (adjectives good) (noun student)))))))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun class)))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun student)))) (verb-phrase (verb-phrase (verb studies) (prep-phrase (prep for) (noun-phrase (adj-noun-phrase (article a) (adjectives pretty) (noun student)) (prep-phrase (prep to) (noun-phrase (adj-noun-phrase (article a) (adjectives bad) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun cat)) (prep-phrase (prep for) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep with) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep to) (adj-noun-phrase (article the) (adjectives good) (noun student)))))))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun student)))))))))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun professor)))))
;;; Ramb-Eval input:
try-again
;;; Ramb-Eval value:
(sentence (noun-phrase (noun-phrase (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (adj-noun-phrase (article the) (adjectives good) (noun student)) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives pretty) (noun class)))) (prep-phrase (prep to) (noun-phrase (adj-noun-phrase (article a) (adjectives good) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (adj-noun-phrase (article the) (adjectives pretty) (noun student)) (prep-phrase (prep by) (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep in) (adj-noun-phrase (article the) (adjectives good) (noun student)))))) (prep-phrase (prep in) (noun-phrase (adj-noun-phrase (article the) (adjectives good) (noun student)) (prep-phrase (prep with) (adj-noun-phrase (article the) (adjectives good) (noun student)))))))))))) (prep-phrase (prep with) (noun-phrase (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep in) (adj-noun-phrase (article the) (adjectives good) (noun student)))) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives pretty) (noun student)))) (prep-phrase (prep in) (noun-phrase (simple-noun-phrase (article a) (noun class)) (prep-phrase (prep to) (adj-noun-phrase (article a) (adjectives good) (noun student)))))))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun class)))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun student)))) (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb studies) (prep-phrase (prep for) (noun-phrase (adj-noun-phrase (article a) (adjectives pretty) (noun student)) (prep-phrase (prep to) (noun-phrase (adj-noun-phrase (article a) (adjectives bad) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun cat)) (prep-phrase (prep for) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep with) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep to) (adj-noun-phrase (article the) (adjectives good) (noun student)))))))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun student)))))))))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun professor)))) (prep-phrase (prep for) (noun-phrase (adj-noun-phrase (article a) (adjectives bad) (noun cat)) (prep-phrase (prep to) (simple-noun-phrase (article the) (noun class)))))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun student)))) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives ugly) (noun class)))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun professor)))))
;;; Ramb-Eval input:
try-again
;;; Ramb-Eval value:
(sentence (noun-phrase (noun-phrase (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (adj-noun-phrase (article the) (adjectives good) (noun student)) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives pretty) (noun class)))) (prep-phrase (prep to) (noun-phrase (adj-noun-phrase (article a) (adjectives good) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (adj-noun-phrase (article the) (adjectives pretty) (noun student)) (prep-phrase (prep by) (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep in) (adj-noun-phrase (article the) (adjectives good) (noun student)))))) (prep-phrase (prep in) (noun-phrase (adj-noun-phrase (article the) (adjectives good) (noun student)) (prep-phrase (prep with) (adj-noun-phrase (article the) (adjectives good) (noun student)))))))))))) (prep-phrase (prep with) (noun-phrase (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep in) (adj-noun-phrase (article the) (adjectives good) (noun student)))) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives pretty) (noun student)))) (prep-phrase (prep in) (noun-phrase (simple-noun-phrase (article a) (noun class)) (prep-phrase (prep to) (adj-noun-phrase (article a) (adjectives good) (noun student)))))))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun class)))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun student)))) (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb studies) (prep-phrase (prep for) (noun-phrase (adj-noun-phrase (article a) (adjectives pretty) (noun student)) (prep-phrase (prep to) (noun-phrase (adj-noun-phrase (article a) (adjectives bad) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun cat)) (prep-phrase (prep for) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep with) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep to) (adj-noun-phrase (article the) (adjectives good) (noun student)))))))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun student)))))))))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun professor)))) (prep-phrase (prep for) (noun-phrase (adj-noun-phrase (article a) (adjectives bad) (noun cat)) (prep-phrase (prep to) (simple-noun-phrase (article the) (noun class)))))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun student)))) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives ugly) (noun class)))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun professor)))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun class)))) (prep-phrase (prep for) (adj-noun-phrase (article the) (adjectives good) (noun class)))) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives ugly) (noun student)))))
;;; Ramb-Eval input:
try-again
;;; Ramb-Eval value:
(sentence (noun-phrase (noun-phrase (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (adj-noun-phrase (article the) (adjectives good) (noun student)) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives pretty) (noun class)))) (prep-phrase (prep to) (noun-phrase (adj-noun-phrase (article a) (adjectives good) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (adj-noun-phrase (article the) (adjectives pretty) (noun student)) (prep-phrase (prep by) (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep in) (adj-noun-phrase (article the) (adjectives good) (noun student)))))) (prep-phrase (prep in) (noun-phrase (adj-noun-phrase (article the) (adjectives good) (noun student)) (prep-phrase (prep with) (adj-noun-phrase (article the) (adjectives good) (noun student)))))))))))) (prep-phrase (prep with) (noun-phrase (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun student)) (prep-phrase (prep in) (adj-noun-phrase (article the) (adjectives good) (noun student)))) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives pretty) (noun student)))) (prep-phrase (prep in) (noun-phrase (simple-noun-phrase (article a) (noun class)) (prep-phrase (prep to) (adj-noun-phrase (article a) (adjectives good) (noun student)))))))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun class)))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun student)))) (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb-phrase (verb studies) (prep-phrase (prep for) (noun-phrase (adj-noun-phrase (article a) (adjectives pretty) (noun student)) (prep-phrase (prep to) (noun-phrase (adj-noun-phrase (article a) (adjectives bad) (noun student)) (prep-phrase (prep to) (noun-phrase (noun-phrase (simple-noun-phrase (article the) (noun cat)) (prep-phrase (prep for) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep with) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep to) (adj-noun-phrase (article the) (adjectives good) (noun student)))))))) (prep-phrase (prep for) (simple-noun-phrase (article the) (noun student)))))))))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun professor)))) (prep-phrase (prep for) (noun-phrase (adj-noun-phrase (article a) (adjectives bad) (noun cat)) (prep-phrase (prep to) (simple-noun-phrase (article the) (noun class)))))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun student)))) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives ugly) (noun class)))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun professor)))) (prep-phrase (prep for) (simple-noun-phrase (article a) (noun class)))) (prep-phrase (prep for) (adj-noun-phrase (article the) (adjectives good) (noun class)))) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives ugly) (noun student)))) (prep-phrase (prep to) (noun-phrase (simple-noun-phrase (article the) (noun professor)) (prep-phrase (prep for) (adj-noun-phrase (article a) (adjectives good) (noun cat)))))) (prep-phrase (prep by) (simple-noun-phrase (article a) (noun student)))))
;;; Ramb-Eval input:
End of input stream reached.
Moriturus te saluto.
$
注釈の、Alyssaの技法は、再帰の一つに「落ち込み」止まってしまうという問題を救うことができた。(名詞にstudent以外も現れている。)
0 コメント:
コメントを投稿