/var/log/messages

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

EoPL の Exercise 2.13

試験スルーで軽く、ということで勘弁してもらう方向。 unparse が以下なのかどうか。

(define unparse-expression
  (lambda (exp)
    (cases term exp
      (var-term (id) id)
      (constant-term (datum) datum)
  (app-term (terms)
        (let app-term-unparse ((terms terms) (ret '()))
          (if (null? terms)
              (reverse ret)
              (app-term-unparse (cdr terms) (cons (unparse-expression (car terms)) ret))))))))

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

EoPL の Exercise 2.14

同居人には内緒で sticker 発注だん。それは良いとしてとりあえず以下な手続きの試験を書いてみます。

  • empty-stack
  • push
  • pop
  • top
  • empty-stack?

この節の記述によれば top と empty-stack? が ovservers でそれ以外は constructors ってことで良いのかどうか。

Nov 6, 2013 - 3 minute read - Comments - octopress

Octopress 設定云々

現実トウヒです。今朝も頭ぐるぐる状態でした。 とりあえずイケてないあたりを以下に列挙。

  • adsense なバナーを右上と下に配置したい
  • TagCloud
  • discus 設定できてない
  • tweet 取得できてない
  • _include/post/sharing.html が壊れている

とりあえず構造てきな部分が全然理解できてないのでそのあたり掘削しつつ、という事で。

Nov 6, 2013 - 1 minute read - Comments - rails

再現試験

某仮想リソースに現状を deploy して動かしてみましたが、やはりここでも session が初期化されていることを確認。ようやくこれが heroku 固有の問題ではないことが明らかになった訳で (遅

ブラウザでは session store は初期化されないのですが、API 経由してると初期化されてしまいます。session store には Redis が使われているはず (これも要調査) です。

Nov 6, 2013 - 1 minute read - Comments - android

設定画面から無線接続設定に移行したい

事前調査ネタ、という事でこちらにも控えを。 リクエストとしては、とあるアプリの設定画面において、Android 操作に不慣れな人のためにそこから直接無線接続な設定画面を出したいとのことでした。修正対象となるのは以下二点。

  • PreferencesFragment を使う PreferencesActivity なクラス
  • そこから addPreferencesFromResource される XML

以降で具体的に何を盛り込んだかを控えておきます。

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

DevOps Okinawa #1

11.23 (土) 午後に開催の方向です。 DevOps Okinawa #1 Vagrant (あるいは実際の (?) 仮想リソース) + {Chef, Puppet} + serverspec というあたりを使って CodeRetreat な方式、ってのを思いついた次第です。ど

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)

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