昭和な気まぐれ飛行機LALのブログです。Lisp新納先生のLisp本です。特長のあるLisp本です。xyzzyという処理系を使って初歩の初歩から丁寧に説明しています。ところが、この本のもうひとつの特長はラムダ計算を取り上げていることです。新納先生は高橋正子先生のから教わったそうです。チャーチのラムダ計算の有名な個所をLispを使いながら説明をしています。チャーチ・ロッサーの定理もちょこっと顔を出します。異色なLisp入門書です。ところでまだ20世紀、インターネットはまだまだ黎明期でパソコン通信が主流だったころの話です。Niftyというサービスで私はいろいろ計算機科学のことを教わっていました。ラムダ計算のことや、領域論、スコット理論です。その時にとても親切に説明してくださる方がいました。スコット理論を理解したかったのでした。残念ながらその方は南米に行かなくてはならないということで教わることはできませんでした。高橋正子先生から教わったということでした。して、あの方、お若い頃の新納先生ではなかったのだろうか?と今でも思っています。いや、私の単なる推測、思い込みですよ。15:590初めての人のためのLISP私のLispの原点です。この本でLispを独学しました。往復の電車の中で読んでましたねぇ。今になって覚えていることはあんまりLispと関係がないことです。フィネス・・・それがワシの人生訓になる。Lisp?そんなことで悩んじゃいけませんよ。Lispの内容は深いものが書かれています。いや、これが人生において深いのであります。いつか、竹内先生のサインをいただきに参上いたします。12:010はじめてのLisp関数プログラミング2016年4月に初版発行でした。五味先生によるLisp本です。正統派のLisp本がでるよ!とうれしくなって書店に予約をしていました。夢中になって読んだものでした。グレアムさん(Yコンビネータで成功した人)の本はマクロにあまりにも重きが置かれていました。それはLispの特長ではあるけれども、全面的にマクロというのはどうなのかねぇ?と疑問に思っていました。した疑問に応えてくれたのが本書です。Lispの魅力を満遍なく伝えています。ことに昨今注目されている関数プログラミングへのやさしい入門書ともなっています。名著だと私は思います。11:360数学ライブラリFASTコンパイラのテストも兼ねて、以前Scheme用に書いた初等数学のライブラリをISLispに移植しました。コンパイルするとかなり高速です。コードはQiitaに投稿してあります。あれこれと試していました。18桁程度の素数であれば計算可能です。19桁以上になるとコンパイルしても時間もメモリも食います。そこで素数判定は一定数を超えたらラビン・ミラーに切り替えています。素因数分解もそこそこ大きな数でも瞬時に応答してきます。コンパイラの効果が出ているようです。iotaiota関数はSchemeのSRFIに倣いつつも、吉田先生はその仕組みを段階を追って説明、コードを示しています。この数列をあれこれと関数のフィルターに通すことにより、特定の性質をもった数列を生成して検証していく流れになっています。ISLispだとこんな表現になるだろうと思います。ls)))))引き数は第一のnは必須です。開始数と更新加算する数はオプションです。:restで与えています。EISLのインタプリタで実行してみます。8)>FASTコンパイラにかけてみます。