処理系をいろいろ入れたので試してみた。
(defun tak (x y z) (if ( <= x y ) z (tak (tak (1- x) y z) (tak (1- y) z x) (tak (1- z) x y)))) |lisp|< で >|lisp| (compile 'tak) (time (tak 18 9 0)) |lisp|< ** ccl >> Welcome to Clozure Common Lisp Version 1.8 (DarwinX8664)! << >> took 146,844 microseconds (0.146844 seconds) to run. During that period, and with 2 available CPU cores, 143,277 microseconds (0.143277 seconds) were spent in user mode 401 microseconds (0.000401 seconds) were spent in system mode << ** clisp >> i i i i i i i ooooo o ooooooo ooooo ooooo I I I I I I I 8 8 8 8 8 o 8 8 I \ `+' / I 8 8 8 8 8 8 \ `-+-' / 8 8 8 ooooo 8oooo `-__|__-' 8 8 8 8 8 | 8 o 8 8 o 8 8 ------+------ ooooo 8oooooo ooo8ooo ooooo 8 Welcome to GNU CLISP 2.49 (2010-07-07) <http://clisp.cons.org/> Copyright (c) Bruno Haible, Michael Stoll 1992, 1993 Copyright (c) Bruno Haible, Marcus Daniels 1994-1997 Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998 Copyright (c) Bruno Haible, Sam Steingold 1999-2000 Copyright (c) Sam Steingold, Bruno Haible 2001-2010 Type :h and hit Enter for context help. << >> Real time: 1.896919 sec. Run time: 1.888361 sec. Space: 0 Bytes << ** sbcl >> This is SBCL 1.1.1, an implementation of ANSI Common Lisp. More information about SBCL is available at <http://www.sbcl.org/>. SBCL is free software, provided as is, with absolutely no warranty. It is mostly in the public domain; some portions are provided under BSD-style licenses. See the CREDITS and COPYING files in the distribution for more information. << >> Evaluation took: 0.274 seconds of real time 0.273121 seconds of total run time (0.272887 user, 0.000234 system) 99.64% CPU 545,006,197 processor cycles 1 page fault 0 bytes consed << *1352390141*[Mac] port日記 >> The following installed ports are outdated: boost 1.51.0_1 < 1.52.0_0 cairo 1.12.2_1 < 1.12.8_1 libpixman 0.26.2_0 < 0.28.0_0 tcl 8.5.12_1 < 8.5.12_2