"関数型言語の関数は数学の関数と同じだ！！！" くらいのことを言われ（書かれ）ていたので、数学の関数とプログラミングの手続きの間の重要な違い、というのには目から鱗だった。 ;;1.1.7 Newton法による平方根 ;これまでに紹介した手続きは、通常の数学の…

今日はなんか朝4時に目が覚めてしまったので、SICPのお勉強。 問題1.1~1.5までやりました。 ;問題1.1 ;式の列がある。それぞれの式で解釈系が印字する結果は何か。列は示した順に評価する物とする。 ;$gosh で確認。oは正解。xは不正解。 ;10 =>10 o ; ;(+ 5…

今日は２P進んだ。 condはカッコッカが多くなるから”大失敗”らしい。 ;;1.1.6 条件式と述語 ;Lispには場合を分け(case analysis)を記述するための特殊形式がある。それをcond(conditional(条件付き)意味する)といい、次のように使う。 ; ;(define (abs x) ; …

普段からしている勉強内容をブログに貼り付けてみようと思った。 3日分。 9Pまで。 ;\r => now file load REPL ;;;1.手続きによる抽象の構築 ; 計算プロセス(computational process)とは計算機の中に住む抽象的な存在である。 ;データとは(data)もう一つの抽…