blogこの広告は、90日以上更新していないブログに表示しています。2012-06-07なんだかsicp勉強不足てのはつらいものです。ああああ、ちょっと昔の記事直しましたはい。SICPですが1回1subsectionのペースで読み進めることにしました。いうことで、Section1.1をよみました。内容は基本的なLisp表現についてです。気になった点として、1.1.3-4のdefineとかについてです。defineとはなんぞやと。formの一つとか言ってますけど、単なる名前の付け替えの手続きとしか見なしていないのか(まあprocedureって言ってますし)、まあいまのところわかりません。なんといいますか、高階関数とか弄りたいなーとか思うけど、どうやるんですか、とかモニョモニョする感じです。(後でλちゃん使うんですね、わかります。)あとは評価戦略の話でしょうか。本文中のExercise1.5にもなっていますが、Lispはnormal-order評価でなくapplicative評価を採用しているため、イレギュラーな計算に対応しない場合があると。999999))とかをgoshに食わせます。factは階乗関数です。すると、止まってくれません。x)の形は、数学的にはxが何であろうと問答無用で0を返すものになっているのに、です。これは、applicative評価だと、最終式を評価する際、test関数のargumentのfactから先に計算しようとするからです。因みに、C言語で同じ計算をすると、ちゃんと0を返してくれましたー。́∀`)∩ワーイとまあこんな感じでしょうかもうちょっと頑張ります。練習ssreflect始めました.月別アーカイブはてなブログをはじめよう!srbsrbさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。