某所にある仮想リソース (Ubuntu) にて環境作って試してみることに。 shutdown してたこともあるのですが、何故か接続に時間がかかるなどorz とりあえず 以下を見つつすすめてみます。 Building Android applications with Gradle - Tutorial て、ADT とか A…

@mhidaka さんがソースを GitHub に置いてらっしゃる模様。 ABC 2013 Autumn向けのカンファレンス一覧アプリのソースコードを公開したよ 素晴しい。プルリク歓迎らしいのでオンラインで掘削しつつ、って如何でしょ (何処

とりあえずちゃちゃっと RoR な API のサンプルを Heroku に deploy。db:migrate するの忘れてちょっとびっくりするなどしつつ、空の JSON な配列の文字列を戻ることを確認。 で、某サンプルを入手して動かしてみるに見事に動かず。色々な意味で実装が古い。…

ちょっとだけ。lambda-calculus-subst 手続きですが例えば var-exp の部分が以下になってて (var-exp (id) (if (eqv? id subst-id) subst-exp exp)subst-exp に単純に置きかえるのではなくて (if (occurs-free? id exp) subst-exp (fresh-id exp id))みたい…