/var/log/messages

Nov 5, 2013 - 1 minute read - Comments - Scheme EoPL

EoPL の Exercise 2.12

アルファ変換は lambda-calculus-subst そのまま、って理解で良いのかな。あと

((lambda (x) E1) E2)

(lambda-calculus-subst '((lambda (x) E1) E2) E2 x)

で良いのかどうか。なんか微妙な気もします。

Nov 5, 2013 - 1 minute read - Comments - misc

nsupdate

某仮想リソースで名前を付けねば、という事で無償で DNS な ns リソースを払いだして頂いております。nsupdate なるコマンドで A レコードを云々できるとのことなんですが、このコマンド知りませんでしたので備忘までメモを残しておくことに。

Nov 4, 2013 - 2 minute read - Comments - Scheme EoPL

EoPL の exercise 2.11

そもそもな考え方が違う、という事にようやく気付くなど。 例示されてるものを使って確認してみるに

(lambda (p) (+ p x))

の x を (* p 3) で置換する場合、以下になってはマズい、というのが前提。

(lambda (p) (+ (p (* p 3))))

ただ、置換自体はその通りでその外側にある p な束縛を p0 とかに変更しなきゃ、なのか。これ、自分で定義する解釈系 (?) の文法はけっこう単純になっているので無理矢理な方法で何とかなるのかどうなのか。

Nov 4, 2013 - 1 minute read - Comments - misc

備忘

炭焼きちん、今度いってみよ。つうか一緒に行く人が (ry て、この店は行った事ありますね。久々に行ってみたい。 coderetreat 方式を採用しては如何か、な件 一回 45 分

Nov 3, 2013 - 1 minute read - Comments - DevOps

Vagrant-Chef ハンズオン資料

とりあえず作成着手。章立てとして以下で良いですかね (誰

  • vagrant 動作確認
  • knife-solo
  • レシピを作って実行する

とりあえずここまでを作ってみることに。

Nov 3, 2013 - 1 minute read - Comments - misc

今日のおかず製造

今日の夜は外出らしいので昼前に対応。 とりあえずピーマン丼の具と大根菜を茹でて 汁なしカレーを製造。カレーは現在煮込み中。 - フライパンひとつでパ

Nov 3, 2013 - 1 minute read - Comments - misc

具志ベジーツ

営業してない、って思ってたら 3 月から営業再開してらした模様。良いカンジでした。 営業時間は 0800-2200 駐車できる (前は駐車できないことがあった) バイキン