2009-09-01から1ヶ月間の記事一覧

EoPL reading (113) 2.3 Representation Strategies for Data Types

Exercise 2.23 single pair of ribs で実装ときた。これって gosh> (empty-env) () gosh>で、 gosh> (extend-env '(y) '(8) (empty-env)) ((y) . (8)) gosh>で、 gosh> (extend-env '(d x) '(6 7) (exptend-env '(y) '(8) (empty-env))) ((d x y) . (6 7 8))…

EoPL reading (112) 2.3 Representation Strategies for Data Types

Exercise 2.21 検討前に思わず手が動いた。 $ gosh gosh> (cons '(() ()) '()) ((() ())) gosh> これはこれは。しかも問題解いてない (とほほ

EoPL reading (111) 2.3 Representation Strategies for Data Types

Exercise 2.20 用件済んだので次の問題に着手。2.17 ではメッセージパッシングで云々してます。これがいっちゃん楽、っていう固定概念をステないと駄目な気がしますが、とりあえず実装してみます。

EoPL reading (110) 2.3 Representation Strategies for Data Types

the world of Android の開始前に紙の上で検討。

EoPL reading (109) 2.3 Representation Strategies for Data Types

2.3.3 節に突入。ソース修正。

EoPL reading (108) 2.3 Representation Strategies for Data Types

とりあえず Exercise 2.17 は昨晩のナニで OK ってコトにします。

環境設定

gtalk な機会が増えるはず、という事で emacs な環境設定着手。

反則の解

empty-env が戻す手続きオブジェクトは error 手続きを呼び出して例外を発生させる。 (define empty-env (lambda () (lambda (sym) (eopl:error 'apply-env "No binding for ~s" sym))))Gauche では guard という手続きがあるので has-association? はこうす…

最近の動向を微妙、って思いつつ頭に浮かんだナニですが、Web な mashup デバイスに限定されたデバイスにしようとしてるのかなぁ。Android NDK 云々って誤魔化しじゃね? と (わら それは冗談としても 勉強会するとしたら、Web な mashup にフォーカスして色…

EoPL reading (107) 2.3 Representation Strategies for Data Types

再び合間を縫って検討。

EoPL reading (106) 2.3 Representation Strategies for Data Types

OSC の合間をぬって練習問題をナニ。電気が無いので紙の上で検討してたりして。

lenny でも環境作る

明日のためにその 1。で、lenny な TP でも以下。 # apt-get install -fy libglut3 libglut3-dev

EoPL reading (105) 2.3 Representation Strategies for Data Types

Exercise 2.15 stack は手続きオブジェクトなんだけど操作の数が多いし云々、と頭を痛めつつ移動中の車の中で実装に思い至る。調子が良いトキって端末の前じゃない方が良いひらめきがあるのかどうなのか。 # そもそも調子が良いのかどうかも不明ですが (何

なぜか OSX で GLUT

glut 自体は port で導入できた。 $ sudo port install glut Password: ---> Computing dependencies for glut ---> Fetching glut ---> Verifying checksum(s) for glut ---> Extracting glut ---> Configuring glut ---> Building glut ---> Staging glut …

EoPL reading (104) 2.3 Representation Strategies for Data Types

ええと、Figure 2.3 の試験を書いてから Exercise 2.15 に着手する方向で。

android-ndk-1.5_r1 の makefile (2)

日中に色々確認したメモ。

EoPL reading (103) 2.3 Representation Strategies for Data Types

Exercise 2.14 書き方が難しい。ってかそれ以前の問題もあったりなんかします。

毎日のタスク

帰宅後のソレを再設定。 last.fm こつこつヤる PTaL の mindmap 云々 EoPL 何故だか分かりませんが、この連休で贅肉が多少減りました。

NDK_APP_MODULES

どこで定義されているのか。例えば build/core/build-shared-library.mk とかで # only adjust the build if this module is needed by the current app ifneq ($(filter $(LOCAL_MODULE),$(NDK_APP_MODULES)),)なカンジでふるいにかけてるんだよなぁ、と。

android な Makefile

sample な例で言うと sources/samples/hello-jni/Android.mk と build/core/main.mk の関係が分からん。main.mk の include build/core/setup-toolchain.mkあたりがナニ? # 上記から呼ばれてるクサイ build/core/setup-app.mk がナニ

MAKEFILE_LIST って何だば

ってコトで info に出てるらしいサンプルをちょっと改造して以下。 name1 := $(word $(words $(MAKEFILE_LIST)),$(MAKEFILE_LIST)) name3 := $(MAKEFILE_LIST) include inc/inc.mk name2 := $(word $(words $(MAKEFILE_LIST)),$(MAKEFILE_LIST)) name4 := $(…

二日くらい居たかったんですが

今日早々に帰宅すべく出発してしまった。内地の山では冬メソドが必要な模様。ぼさっとサケを吞んでたんですが、微妙なネタで一人テンパッてたりなんかして。 しかも隣のテントは Nomad 風な方々でこれはこれで (ry

android-ndk-1.5_r1 の makefile

読んでみる。

連休

明日から暫く *1 IP unreachable な予定。 とりあえず android-ndk の makefile 読む PTaL 再読して mindmap 云々 来週の LT のスライド作ってない なソレ達を連休中に片付けたいんですがどうなることやら。 *1:すぐ帰ってくるかも

EoPL reading (102) 2.2 An Abstraction for Inductive Data Type

昨晩夜更かしし杉で午前中 gdgd だった。現在夕刻なんですが続きをナニ。

EoPL reading (101) 2.2 An Abstraction for Inductive Data Type

日を跨いだのでエントリを分けます。煮つまったので氷を買うついでに散歩。散歩しつつ、app-term なナニは分けちゃえ、な思いつきを基に以下がでっち上がりました。

EoPL reading (100) 2.2 An Abstraction for Inductive Data Type

もう 100 だ (何 それは良いとして 2.2 ラストの Exercise 2.13 着手。 Exercise 2.13 とりあえず、以下が示されてます。 (define-datatype term term? (var-term (id symbol?)) (constant-term (datum constant?)) (app-term (terms (list-of term?))))list…

JNI なサンプルの make ができた

Ubuntu 8.04 で Android 1.5r3 オトして make 途中、unzip が無い、と make に叱られた JNI なサンプルの make 完了 Android を make しないと libc とかの shared object が無い、と叱られる 今日帰宅したら amazon から組込みプレス vol.16 が着信してまし…

EoPL reading (99) 2.2 An Abstraction for Inductive Data Type

eta-conversion な検討。なんとなく試験から書いてみる。

自分メモ

eta convert について EoPL から引用。 (lambda (x) (E x)) eta-converts to E, if x is not free in E. との事。随分イメージできるようになってきたので面白そう。