レジスタ計算機言語でがりがりとScheme評価器を作ります。 ４章で使った抽象が役に立ちます。というかあれをもっと低いレベルに落としたのが積極評価機ぽいです。 ４章のコードをそのままコピペして積極評価機を動かそうとすると、applyを書き換えていたので…

ここやりません。もうなんかあんまり覚えてないので。ガベージコレクションは読んで理解しました。とりあえず次は積極制御評価器に入ります。

生きてます。大学でverilog使った実験が面倒くさすぎてハード周りの話に嫌気がさしてしまい、 しばらくやる気がなくなってました。 最近またやる気が出てきたので、あとちょっと頑張ろうと思います。

シミュレータを作ると、設計したレジスタ計算機の正当性の評価だけではなく、性能の評価もできるよ、ということですね。続き。

久しぶりすぎて何やってたっけ状態です。 …、ああ、アセンブリ言語っぽいことをやってたんでした。最近大学で似たようなことやってるので食傷ぎみです。 あとデュアルディスプレイ環境入れたら、blog編集しながらScheme弄れたり、firefoxみながら何か書けた…

うーん、3月中に終わらせるとか言ったけどあれはなかったことにします。いやほんと別の用事がいろいろあって…;;; 続き。

レジスタ計算機続き。execute-machine-withは昨日の日記を見てください。

4章最後ごにょごにょしましたが終わったので、5章に入ります。なんかざっと眺めてみると5章最後の方もごにょごにょしそうです。 いつも通り先にシミュレータを作っておきます。超循環評価器より構造が楽ですね。extract-labelsで継続っぽいこともやってて面…

終わったああああああああ。 MP3ブラウザのイメージが掴めないからいまいちピンとこない。 HTMLとS式は相性いいなー。 SICPで評価器何個か書いたけど、やっぱりHTMLインタプリタも構造似てる。インデントまでカバーしてて実践的だなと思います。あとコードが…

実践のところはあんまり書くことがないなぁ。 今更だけど総称関数ってSICPでいうデータ主導流的なものっぽいですね。 Allego Serve便利ですね。 Knuth先生の本もそのうち読んでみたいな。 バイナリの読み書きがどういう流れでされてるのかなんとなく分かって…

さぼってました。1日さぼるとなんかこうそのまま数日さぼっちゃったりするのを治したい。あと今日すごい風強くて恐い。 マクロが未だよく分からないオブジェクト指向と組みあわさっててとてもややこしい。 (declare (ignorable ,streamvar))が何やってるのか…

急に難しくなった。続き。

久しぶりに。Schemeはやっぱり楽しい。続き。

感想。 名前をつけるとき重複を気にしないようにできるっていうのは便利。 LOOPってそんなに複雑かなぁ。FORMATが死ぬほど複雑だったように感じてるからあんまり気にならない。 CL-PPCREを使えばって書いてあるけどどうするんだろう。とりあえずREPLでそれっ…

メモを残しておきます。また長くなってしまったので畳みます。

オブジェクト指向再入門らしいですけど、入門した覚えがない。でもとりあえず再入門してみます。 長くなったのでたたみます。

続きを。

読みました。感想。 Schemeだけ書いてた時はリストだけあれば生きていけるって思ってましたがそうでもないんだなぁと思いました。 キーワード引数がややこしい。でも:keyとか:testとか共通してるのがいっぱいあるからそのうち覚えるはず。 NCONCとかSUBSTITU…

読みました。感想とか一生懸命書くようにすると読み進めるのが遅くなりそうなのであまり書きません。ただ、実践Common Lispと直接関係ないんですが、コードを書いてて気になった点があります。 Emacsの問題なんですが、しかもまたインデントなんですが、バッ…

あああやっと解決しました。ここの続きです。.emacsのなかでの (setq auto-mode-alist (append '( ... ("\\.lisp$" . lisp-mode) ... ) auto-mode-alist)) を試しに (setq auto-mode-alist (append '( ... ("\\.lisp$" . emacs-lisp-mode) ... ) auto-mode-a…

質問言語続きです。

論理型プログラミングの例として質問言語を作ります。先に実装しておきました。 なお、実装の時の注意点で、execute手続きを作るときに使うuser-initial-environmentは処理系依存(MIT Schemeにある)みたいです。ググって他の方のを参考にするとinteraction-e…

が気持ち悪いです。 なんかこんな風になります。 (if (= 0 0) 0 3) emacs lispだとこう書くらしいです。直したいんだけど、.emacsをいじったりlisp-mode.elをいじってバイトコンパイルしてみたりしたけど直らない。 こういう時はしばらく経ってからもう一回…

こっそり読んでます。p44まで読みました。すごく読みやすいですね。SICPばっか読んでると大抵どんな本読んでもこんな感想になるような気がしないでもないですが。 読んでて思ったのは、Schemeってかなりシンプルだったんだなぁと。マクロとか関数とかもとも…

amb評価器の続き。

amb評価器をいじります。

随分久しぶりで何やってたか思い出せないです。どうやら前回はamb評価器でパズルを解いてたみたいです。なので今回は次の自然言語の構文解析についてやります。

C-c C-kが通らなくて3日くらい放置してたんですが、slime-modeにしないとダメなんですね。下らないところで詰まりすぎました。 これでやっとDrSchemeみたいな環境にできました。 あとはCommonLispを書きながらEmacsに慣れつつ住みやすい環境にしようと思いま…

自分用のメモです。ubuntuのパッケージをそのまま使おうとするとclcライブラリがないというエラーが出ます。一回消してからcvsで手に入れて適当な場所に置くとちゃんと動きます。 ここを参考にしました。

さくさく進めるとかいって全然進めてません。 ちょっと別の用事を片付けています。来月までSICPの更新できません。