実践CommonLisp ～その１～

今度こそ、宣言通り実践CommonLispの勉強の軌跡を記載して行きます。

といっても、もう「第８章　マクロ」まで進んでしまっているのですが。。。

では早速、Ｐ97のコード
-----------コード１-----------------------------------
(let ((ending-value 0))
(do ((p (next-prime 0) (next-prime (1+ p)))
(ending-value 10))
((> p ending-value))
(incf ending-value p))
ending-value)
------------------------------------------------------

が無限ループになることの証明から（本には詳細が明記されていない）。

こんな感じでどうでせう。

久しぶりにlatexを使ったので少し疲れたよ。

次回も、こんな感じで実践CommonLispの備忘録をつけて行くので宜しく。