屑俺日記

☆ 竹内関数

てけとーに。Raspi2+にkernelが4.4.11+のraspbian。
GNU Common Lisp のオリジンが KyotoCommonLispだって話を知った。

>>(defun tak (x y z)
  (if (<= x y)
      y
      (tak (tak (1- x) y z)
   (tak (1- y) z x)
   (tak (1- z) x y))))
 
TAK
>>(time (tak 12 6 0))
 
real time       :    154.039 secs
run-gbc time    :    127.250 secs
child run time  :      0.000 secs
gbc time        :     16.340 secs
12

gaucheはスクリプトにしてみた。

#!/usr/bin/env gosh
(define tak
  (lambda (x y z)
    (if (<= x y)
        y
        (tak (tak (- x 1) y z)
             (tak (- y 1) z x)
             (tak (- z 1) x y)))))
 
(print (tak 12 6 0))

$ time ./ga.sh 
12
 
real    0m10.829s
user    0m10.100s
sys     0m0.050s