Archive for 8月, 2010

次世代のリリカルLispを作るのはあなたです

日曜日, 8月 22nd, 2010

先日、COMFRK vol. 1を買いに来た方が
「リリカルLispは拡張したりしないんですか」
と質問されたそうです。

私にはもうリリカルLispのソースを触る元気は残っていません。
githubにソースを置いておいたので、自由に改造して下さい。

http://github.com/zick/Magical-Language-Lyrical-Lisp

流行に乗ってgitとか使ってみたけど、さっぱりわかない。
commitとpushってどう違うんだ。

[PrologでSchemeの操作的意味論を実装]Errata

日曜日, 8月 15th, 2010

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

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

[宣伝]COMFRK vol. 1

土曜日, 8月 14th, 2010

今更ながら、宣伝。

名前: 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のソースコードの解説です。
大体こんな感じの内容です。