一人読書会 「計算機プログラムの構造と解釈」 (2)

1.1.7 Newton 法による平方根

Newton法 により平方根を求める手続きを実装する。

問題　1.6

以下、特殊形式の if を 通常の手続きである、new-if を定義し、平方根を Newton法 で求める処理を書き直した。

(define (square x) (* x x))
(define (sqrt-itr guess x)
  (new-if (good-enugh? guess x)
      guess
      (sqrt-itr (improve guess x)
                x)))
(define (improve guess x)
  (avarage guess(/ x guess)))
(define (avarage x y)
  (/ (+ x y) 2))
(define (good-enugh? guess x)
  (< (abs (- (square guess) x)) 0.001))
(define (sqrt2 x)
  (sqrt-itr 1.0 x))

(define (new-if predicate then-clause else-clause)
  (cond (predicate then-clause)
        (else else-clause)))

実際に動かしてみると、スタックオーバーフローだろう、Out Of Memory が発生した。

特殊形式 if を使った場合には、想定通りの動きをしていた。ぱっと見、等価に思えるが。

うーーん 。。。 なぜだろう 。。。

・・・

特殊形式・・・ define は 特殊形式で、作用は行わない。。。 if も特殊形式・・・

通常評価は、部分式を評価し、作用(演算子を適用)させる・・・

おお！そうか、特殊形式ではないから、被演算子がすべて評価されてしまうからか！、sqrt-itr の else 節 で、再帰しているのが、終了条件に合致しても、else節 がなんと、評価されてしまうのだ！

if は特殊形式で、条件に合致した then または、 else のどちらかしか評価しないのだ。

なるほど。

一人読書会 「計算機プログラムの構造と解釈」 (1)

1.1.3 組合せの評価

組合せは、以下のように評価される.

1. 組合せの部分式を評価
2. 最左の演算子を被演算子に作用させる

これを 作用的順序の評価(applicative-order evaluation) というが、もう一つ、組合せを完全に展開してから演算を行う評価方法を、正規順序の評価(normal-order evaluation) という.

問題　1.5

>(define (p) (p))
>(define (test x y)
  (if (= x 0)
      0
      y))
>(test 0 (p))

if がショートサーキットであるとするならば、解釈系が、作用的順序であれば、(test 0 (p)) で、最初に x = 0 が評価されて、結果が 0 となり、test の第2引数 (p) は評価されない。

正規順序の評価であれば、まず組合せが展開される段階で、test の第2引数 (p) が無限ループ(?) に陥ってしまう。

・・・ のではないか。

ちなみに、DrScheme で実行すると、結果が返ってこなかった。

「計算機プログラムの構造と解釈」 を購入。しっかりと読み込みたいので、1年くらいかけて一人読書会としゃれ込もうと思う。

・・・電車で読むだけではもったいない。

1.手続きによる抽象の構築

まず、全編を通して、プログラムの説明には、C や Java や Python ではなく、Lisp の方言である、Scheme (スキーム) を使用する。

そもそも、Scheme の設計者である、ジェラルド・ジェイ・サスマン が、本書の著者。

amazon のレビューをみると、訳に対する苦情が多いようだが、自分も最初のページで違和感を感じた。デバッグのことを「虫とり」とか。

ただ、訳者が、1931年生まれの先生ということを知ると、訳の雰囲気の違和感も哲学書のような雰囲気を醸し出してきた。自分はこういう訳も嫌いではない。

で、本書では、 cheme がわからないと話にならないので、最初の章は、文法および考え方の説明に費やされている。

こちらに簡単にまとめた。さらにまとめると、

確認用の処理系には、DrScheme を使用することとする。

式

手続きの作用を表現。括弧で囲んで、組合せと呼ぶ。

> (+ 1 2)
3

この例だと、加算(+) が、手続きを表す演算子(オペレーター)、1、2 が作用される被演算子(オペランド)

演算子を左端に書く記法を、前置記法という。利点として、任意個数の引数をとることができる、組合せを入れ子にできる。

特殊形式(special forms)

引数に作用しない場合、組合せとは呼ばず、特殊形式という。たとえば、define

> (define x 2)

これで、変数 x に 2 をセットする。

合成手続き

define をつかって、演算に名前をつけることができる。自乗を行う演算に名前をつけてみる。

> (define (square x) (* x x))
> (square 2)
4

条件式と述語

cond ・・・ 場合分け

if ・・・ 場合が2つの場合

論理演算子

and、or、not

用例は、こちら を参照。

問題

問題1.1

入力して確認。

問題1.2

これでよいと思うけど・・・

> (/ (+ 5 4 (- 2 (- 3 (+ 6 (/ 4 5))))) 
     (* 3 (- 6 2) (- 2 7)))
-37/150

問題1.3

いままで経験した言語との考え方の違いを思い知る。

今の知識、思考方法では、こんな感じにしかかけない・・・

変数や配列を使わずに、2番目に大きい値を取得するって困難。

> (define (smaller x y) (if (< x y) x y))
> (define (last x y z) (smaller x (smaller y z)))
> (define (square x) (* x x))
> (define (q1_3 x y z) (+ 
                        (square (if (> x (last x y z)) x (last x y z)))
                        (square (if (> y (last x y z)) y (last x y z)))))
> (q1_3 4 3 2)
25

問題1.4

引数 b が 負の値の場合、符号を反転し絶対値を取得し、a と加算する

おーなんと、被演算子に演算子を置くと、その演算子が作用するのか！

> (define (a-plus-abs-b a b)
    ((if (> b 0) + -) a b))
> (a-plus-abs-b 2 -3)
5

おー結構しんどいなー。今日はここまで。

ゆっくりでもいいから何とか続けていきたい。。。

たいてい、少し多めのデータといっても、KBレベルのテキストをPOSTデータとして送信すると発生。少量だと発生しない。

HttpResponse を返す直前に、内容をはき出してみても問題なさそうなので、問題は、フレームワーク(Django)以降だろうと思い、Wiresharkでパケットを見てみると、どうも　RSTフラグが送られてきてコネクションを切断しているようだ。

件のおじさんは FireFox にする気はなく、なんとか使えるようにとのこと。。。

んー Windows Server に Apache いれれば何とかなるかと思ったが、Python2.6 用の mod_python は今のところないようだし。

と、途方にくれながら、Django のソースを見ていたら、

\Python26\Lib\site-packages\django\core\servers\basehttp.py

に、http_version = “1.0” の記述。

こいつを、"1.1" に修正したら、使えるようになった。

理由はよくわからない(今後の課題)が、とりあえずめでたし。

楽天の方は、月々楽天ポイントで勝手に振り込まれるので楽なのだが、MicroAdで、稼いだ小銭を現金にしようとすると手数料が、525円もかかってしまうので何度も換える訳にはいかないし、そもそもそこまで金額が貯まらない。

が、MicroAdの収益 –> ちょコムポイント –>  Amazonギフト券 にすることで、1,080円 –> 1，000円分のAmazon ギフト券に変換することができる。

Amazon は必ず利用するので、こちらの方が都合がよい。

・・・ が、ちょコムの取り扱いにちょっとはまったのでメモ。

1.まず、MicroAd のトップの決済管理から支払い申請

2.MicroAd の支払申請から、ちょコムポイントを選択

3.ちょコム側での操作

こっちがややこしい。

1. まず、MicroAd から支払いすると、1、2日営業日で、ちょコムポイントにポイントがたまる。
2. ややこしいのは、このポイントを直接 Amazon ギフト券には変更できない！何度も試みるも「残高がありません」と「ログイン」ページの往復を何度もさせられる羽目に・・・
3. 次に、非常にわかりにくいが、ちょコムポイントを、ちょコム(電子マネー)へ交換する必要がある(1pt = 1円) 。ちょコムポイントの「電子マネーちょコムへの交換」を選択し、申請すると、即時ちょコム(電子マネー)へ交換できる。
4. すると、ちょコム残高へポイントが移行する
5. あとは、「ちょコムを交換」からAmazon ギフト券を選べばよい。

まーしっかり仕組みを把握していないのがいけないのだが、わかりにくい。あと一歩でサポートにメールするところだった。お金を扱うサイトのためCookieを最低限しか利用していないのだろうが、手順を間違えると(本人はそうとはわかっていないのだが)ログイン画面をたらい回しにされて、ウィンドウが次々と開いていくし・・・いらいらいらいら。

まぁめでたく Amazonのポイントにできました。

The NFP driver isn't running. You may have trouble capturing or listening interfaces.

原因は、Wireshark インストール時に同時にインストールされる WinPcap ドライバのインストールオプションで、「システム起動時に実行する」のチェックをはずしたため、Wireshark からドライバを実行する権限がないためだろう。

Wireshark を管理者として実行させる。

無事起動。

以上

すげー。何がすごいかまだわからんけどおもろー

Windows7で、適当なフォルダを作成し、GodMode.{ED7BA470-8E54-465E-825C-99712043E01C} という名前に変更するだけで・・・

なんかへんちくりんなアイコンに変わり・・・

いろんな管理項目がそのフォルダの中に出現！