2008-01-01から1年間の記事一覧

ふー。ちと暇になった。

なんか、日米欧が大量にドルを供給するらしい。 一方ロシアは、グルジア紛争で逃げ出した外資をつなぎとめるために大量のドル売りルーブル買いの介入をしてるそうな。結局市場にドルがだぶついてますます下がったりしないの? そもそも何のために日米欧は、…

あー

仕事が忙しくなってしんどい。要求されるレベルが自分よりはるかに高いのがなんともかんとも。 この年になってそうゆうのはつらい。 わたしよりすごい人は、そこらじゅうにあふれているとゆーのに。もっと勉強しとけばよかった。後の祭り。after carnival

SICP 2

SICPを二章から再読してる。一章は数学に疎かったら、あんまり近付かないほうが良いような気もしないでもない。 よく考えたら、consとかlistすら二章で初めて出てくるのか。なんという本だ。2.1.4で浮動小数点と戯れる。 gosh> (= (/ (+ 0.1 0.2) 2) (/ 0.3 …

関数が戻り値として返ること

(define a (lambda (x) (lambda (y) (+ x y)))みたいな関数aがあって、xを固定して一変数の新しい関数を返すとき、(define (b y) (a 5)) としなければならないと勘違いしてたと書きましたが、それがどういう事態を引き起こしていたか、改めて考えた。(a 5) …

Church数 1

Church数の引き算について、同じ疑問を持った人がいた。 http://www5d.biglobe.ne.jp/~y0ka/2006-07-31-6.htmlそれによるとWikipedediaに載ってるらしい。Church数の1引く関数 pred ≡ λn.λf.λx. n (λg.λh. h (g f)) (λu. x) (λu. u) -- (1)うむ。記号の意味…

Church数 0

SICPの問題2.6のChurch数の問題で、足し算があるなら、引き算もあるんだろうと、まず自分でadd-1に対応するようなsub-1がどんな形をしているか考えてみる。f (f (f (x))) みたいなのが f (f (x)) みたいなのになればいいだけでしょ?簡単かんた・・・・ ・・…

SICP 再読 1

図形言語を実装したのはいいものの、基本を全然分かってないので、もう少し基本的なところからやり直すことにする。最初の最初からよく分かってない。・1.3 作用的順序と正規順序 式を評価する順番らしいが、何度読んでもよく分からん。正規順序 とりあえず…

GaucheとSDLで図形言語 5

bmp用のpainterが出来たので、曼荼羅を書いてみる。>> ソース省略 うむうむ。余は満足じゃ。

GaucheとSDLで図形言語 4

線を引くだけではつまらんし、SDLならば簡単にBMPをロード出来るので、ビットマップのpainterを実装してみる。まともなSchemeプログラムを組んだことがないので、異様にCぽいもんが出来た。 動いたのでよいことにする。なんだかよく分からない座標変換が瞬時…

GaucheとSDLで図形言語 3

とりあえず線を引く関数も出来たことだし、SICPを丸写しして、曼荼羅を作る。 >>draw-line以外は載ってあるまんまなんで、ソース省略 waveの実装は、ベクトル書くの面倒くさかったんで、どっかのページを丸写しさせてもらったんですが、どこだったか忘れた。…

GaucheとSDLで図形言語 2

ライブラリとかはインストールできたので、あとはプログラムを書くだけ。とはいえ、素のSDLは、点を打つ関数しかないので、線を引く関数から始めなければならない。線を引く関数は、二日ほど悩んで以下のように書いた。*1 うん。いや、まあ済まない。汚いコ…

GaucheとSDLで図形言語 1

仕事がヒマになったんで、なんかやろうと、昔々二年ほど前に二章の最初あたりまで斜め読みして放り出してあったSICPを読む。そういえば、図形言語でつまっていたんだった。SDLというものがあるということを最近知り、そのGaucheバインディングもあるらしいの…

沖縄の例の事故

最初よく分かりませんでしたが、 いくつかつらつらと読むうちにおぼろげながら 最初、外人差別か?とか思ってました。 日本人に暴行されただけならあれほど騒がないのに、米兵だったら問題にするのかと。基地内が治外法権であって、犯人が逃げ込んでしまうと…

ひまがあったらやること

JavaScript再入門 Scheme/Lisp再入門Y Combinatorの理解 CPS変換の理解 自己出力プログラムの理解

Arcチュートリアル

Lispサイコーとかの言動がステキなポール・グラハム御大のhttp://arclanguage.org/:Arcが出たらしいのでチュートリアルを読んでみる。英語がろくに読めないけど。 Lispは、schemeにちょっと手を出して挫折した経験しかない。チュートリアルをざっと読んだ限…

はてな始めた。

はてなブックマークが楽しそうなので始めてみた。