リリカル☆Lisp開発日記

適当に今年の出来事を10個集めてみました。
リンク先には一部、(あまり)関係の無いものが含まれています。

マンガで分かるLispがたくさん
今年の更新の半分以上がこれな気がします。

自転車でまた琵琶湖一周
去年の「次走るときはもう少し良い自転車で走りたい。」という願望が実現。クロスバイクを購入し、今年も琵琶湖を回りました。ママチャリと比べて非常に楽です。

新しい研究室に入った
全国有数の「Lispな研究室」に入りました。楽しいです。

COMFRK vol. 1に記事を寄稿した
Prolog楽しいです。

リリカル Lispのソースをgithubで公開
流行りに乗ってgitとか使ってみたものの、さっぱり分かりません。

Googleのサマーインターンに参加
2ヶ月で体重が4kgも増えました。Google怖い。東京怖い。

ILC 2010で発表
英語が全く話せないのにアメリカに行きました。

またBiwaSchemeでゲーム作った
アクションゲームも作れるBiwaSchemeはすごい。

よくみると出来事が10個集まってない
ブログエントリを全然書かなかったせいで、ネタが10個集まりませんでした。来年はもう少し頑張ります。

カタカナ英語の発音でもそれなりに通じたようです。
(スライドにちゃんと文字が書いてるし。)
質問は、それなりに聞き取れました。多分。
でも、返答を考えながら英語を話そうとした結果、
説明と英語の両方が崩壊し、訳が分からないことに。
質問された方は苦笑しながら”OK.”といってくれました。

大体そんな感じです。

ILC 2010で発表をすることになりました。
英語は全く聞き取れず、発音はカタカナ英語の発音という、
素晴らしい英語力の私が、国際会議で発表を行うというのは非常に迷惑な話なのですが、
ここは人の迷惑を顧みないことにします。

昨日、無事完売しましたCOMFRK vol. 1の私の記事で
誤字を見つけたので書いておきます。
他に誤字を見つけた方がいましたら、コメントを残してもらえると助かります。

(5ページ目 右側 [おわりに])
- 誤: x=a+b
- 正: x=a-b

今更ながら、宣伝。

名前: COMFRK
日時: 8/14(土) 二日目
場所: 東ア47a
内容: 雑誌1部 COMFRK vol. 1

1. 夏休み子供λ相談室 by ranha
2. Haskellコミュニティ探訪 – 処理系とライブラリを中心にして – by shelarcy
3. 差分のアルゴリズム by cubicdaiya
4. メインメモリアクセスマニュアル by nish
5. C++0xの空、Variadic Templatesの夏 by lyrical logical
6. PrologでSchemeの操作的意味論を実装 by zick
7. ゲームオーバーのすゝめ by mascalade
8. ???

(埒を明ける日々)

という訳で
「PrologでSchemeの操作的意味論を実装」
という記事を書かせていただきました。
本来ははてなようせいとまなぶ Schemeの形式的意味論に載せるつもりだった、
Prologのソースコードの解説です。
大体こんな感じの内容です。

λ計算だとか、数学よりの話をするときはよく、

式Mのxをyに置き換えたものを
M[x:=y]
で表す．

なんて定義が出てきます。
本によっては、まったく同じことを表すのに、
[y/x]M
だとか、
M[y/x]
といった記法も使います。

本日、このM, x, yの順番に、意味がある(かもしれない)ことに唐突に気づきました。

式Mのxをyに置き換える
M[x:=y]

M[x:=y]は日本語表記と完全に一致するじゃないですか、
なんか読み易いと思ったらそういうことか。

それから、[y/x]Mは英語だと意味をなします。

Substitute y for all x in M.
[y/x]M

完全に一致。

しかし、そうなるとM[y/x]が浮いてしまうんですが、
これには何か意味があるんでしょうか。
謎です。

適当に今年の出来事を10個集めてみました。

ポケステでLispが動いた
去年の年末から今年の年始にかけてポケステ向けのLispインタプリタを作りました。

フルマラソン走った
翌日の筋肉痛が凄かったです。タイムが遅かったのが残念。

Mac Book買った
非常に使いやすいです。いい買い物をした。

自転車で琵琶湖一周
大体時速20kmをキープし続けることができました。次走るときはもう少し良い自転車で走りたい。

マンガで分かるLispがたくさん
最近停滞気味ですが、最後まで続けたいと思います。

BiwaSchemeでゲーム作った
Schemeでブラウザ向けのゲームが作れるというのは面白いですね。

院試受かった
院試が近い時期に彦根まで自転車でひこねのよいにゃんこのグッツを買いにいったりしましたが、
試験日やその前日にカツ丼やチキンカツ定食を食べたおかげか無事合格できました。

CLでJavaのアセンブラ/逆アセンブラを作った
CLでプログラムを書くのも大分慣れてきたおかげか、比較的楽に書くことができました。

cl-openglで遊んだ
こいうプログラムを書くのは楽しいですね。

今年1年振り返ってみたけど、ろくなことをやってない
特に書くことがなかったので再帰的なリンクを張っておきます。

という訳で院試受かった。

京都コンピュータ学院 京都駅前校で開催された
オープンソースカンファレンス2009 Kansaiに行ってきた。
BlueQuartzの中の人にBlueQuartzが好きな後輩を紹介することができてよかった。

卒研のテーマが決まらない…
締め切りが間近に迫ってるのに…
研究室の過去の卒論/修論を見てみたら、10年以上前のものだったけど、
並列記号処理システムの開発というテーマで、
Scheme(R4RS)にfutureなどを付けた処理系を作って、
それをAP1000で動かすというのが非常に面白かった。
並列/分散処理と言語処理系(可能ならLisp)で何かできないかと考えてるけど、
まだ誰にもやられていなくて、やる価値のあるものなんて思いつかん。

困った。そして画像に意味はない。