リリカル☆Lisp開発日記

昨日、無事完売しました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)で何かできないかと考えてるけど、
まだ誰にもやられていなくて、やる価値のあるものなんて思いつかん。

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

去年に引き続き、今年も自転車で琵琶湖を走ってきました。
自転車は去年と同じくサイクロンゆのはな一号機です。
[コース紹介]
去年は時計回りだったので、今年は反時計回りに挑戦。
また、京都から琵琶湖までの道も、367号線で山を登っていくルートに変更
[Google Map]。
[午前3:30]
山に向かって自転車をこぎ始めました。
このときの気温は9度。結構肌寒いです。

しかし、山を登っていくにつれて気温は低下。
8度、7度、そして6度まで下がりました。寒いです。
おまけに暗いです。山道としてはかなり街灯が多いところですが、
街灯がない区間が続くと自転車のライトだけが頼りでした。
[午前4:30]
なかなか滋賀県にたどり着きません。
前に一度同じルートで県境まで行ったことがあるんですが、
もう2年も前なのでどれくらいの距離だったのか思い出せません。
実は滋賀県なんて存在しないんじゃないのか。
前に行ったときは狐耳の美少女にでもばかされたんじゃないのか。
坂の傾斜がきつくなってきて、そんな変なことを考え始めた頃、
ようやく県境に到着しました。

あたりは本当に真っ暗で何も写らなかったので、以前来たときの写真をのせときます。
県境のあとは有料トンネル(途中トンネル)があるのですが、
これは脇の細い道を通ればさけられます。知っててよかった。
などと思ったんですが、帰りに「24:00-6:00は無料」の文字を見つけました。
せっかくだから通ればよかったorz
そこから琵琶湖大橋まではずっと下りです。
[午前5:00]
琵琶湖大橋到着。
用もないのにちょっとだけ橋を渡ってみました。

琵琶湖大橋と言えばさびれた観覧車です。
暗い時間でもよく目立っています。

琵琶湖大橋を後にして、南に向かって出発。
いよいよ琵琶湖一周の始まりです。
[午前6:10]
琵琶湖の南の端、唐橋に到着しました。

なかなか順調なペースですが、早くも足に疲労が出始めました。
[午前6:30]
琵琶湖の東側は非常に通りやすい自転車道があります。
この道は親切なことに1km間隔ごとに標識が置いてあり、
場所によっては100m間隔で距離を教えてくれる区間もあります。

大体時速20kmちょっとを維持しながら走りました。
このあたりでお腹が減ってきたので朝食。
持参してきた「イカナゴの釘煮がちょっとはみ出しているおにぎり」を食べました。

[午前7:20]
琵琶湖大橋の東側に到着。

分かりにくいですが、写真の中央あたりに観覧車が薄らと写っています。
[午前9:30]
確か彦根のあたり。ひこにゃんには会えませんでしたが、桜がきれいに咲いていました。

京都では桜はすっかり散ってしまったというのに、滋賀ではまだ桜を見ることができるようです。
「滋賀ではアニメの放送が数週間遅れるのが標準」
というのを滋賀県民に聞いたことがあるので、きっと同じようなことでしょう。
それはともかく、太ももの疲労がかなり蓄積されてきました。
[午前11:15]
琵琶湖の北の果て。山道。

湖北と言えば去年は奥琵琶湖パークウェイに行って酷い目に遭いましたが、
今年はその道は避けることにしました。
べっ、別に延々と続く坂道が怖い訳じゃないんだからね!!!
奥琵琶湖パークウェイが一方通行だから避けるだけなんだからね!!!
(ちなみに「一方通行は「自転車を除く」とあるため行こうと思えば行けるらしいです。
ただし、車とバイクが猛スピードで正面からやってくるので、あまりにも恐ろしいです。)
奥琵琶湖パークウェイを避けた湖北は想像以上に楽でした。
山道も気合いを入れて上ろうと思ったものの、すぐにのぼりが終わってしまい、かなり拍子抜けした感じです。
[午後1:00]
桜咲き過ぎ。花見をしているひとも大勢いました。
私もそれにまぎれて昼食。「いかなご(略)」第二弾を食べました。
このあたりで、足の疲労がかなり大変なことになり、
ふとももから始まった痛みは膝の方まで下りてきて、かなり辛い状況に。
[午後1:30]
足の疲労からかなりペースダウン。
「このまま行くと、ゴールまで結構時間がかかるな…」
そんなことを考えながら前を走っていたマウンテンバイクにのった少年を抜くと、
その少年が突然ペースアップしてこっちを追い抜いてきました。
こちらも負けじとペースを上げ、再び追い抜き。
そんなことを繰り返しているといつの間にか元のペース(時速20kmちょっと)に。
せっかく元のペースに戻せたので、これを維持することに。
こちらがそれ以上ペースをあげようとしないのを見て少年は、
明らかに残念な顔をしながら去っていきました。
ごめんよ…
[午後3:20]
遠くに薄らと観覧車の姿。
足の痛みを堪えつつ更にペースアップ。
そして、ついにスタート地点である琵琶湖大橋に。

距離およそ200kmの琵琶湖一周の旅はおよそ10時間20分で終了しました。
休憩時間を考慮に入れると時速20kmちょうどで走り切ったことになります。
ママチャリとしてはかなりがんばった方かと思います。

[帰るまでが遠足です]
午後1:30から2時間に渡って結構無茶をしてペースをあげたため、
太ももと膝がヤバいことに。おまけにふくらはぎにまで疲労が。
この状態で山を上って京都にかえらなければ行けません。
幸いなことに、登りは7km程度しかなく、あとはずっと下りのようなので、
泣きながらトロトロと山道を上りました。
約1時間の戦いの末、なんとか坂を上り切り京都に。
あとはすべて下りだったんですが、足がまともに動かず、
下り切るのにまたもや1時間かかってしまいました。
朝、登った時と同じ所要時間とはかなり驚きです(主に悪い意味で)。
帰りの体力もちゃんと考慮に入れないと悲しいことになりますね。

高校時代の友人、やらない夫(仮名)と一緒にフルマラソン走ってきました。
初めてのマラソンということで色々失敗もあってかなり辛い目にあいましたが、
なんとか完走だけは出来ました。
以下はその詳細。
一気に書いたので誤字が多いかもしれないけど、
どうせ大事なことは書いてないのであまり気にしないで下さい(笑)

(続きを読む…)