はてなブログ | 無料ブログを作成しよう
酒粕レーズンのチーズケーキ 純米大吟醸の新酒の酒粕を使い、週末ケーキを焼きました。 15センチ型に砕いたビスケットを溶かしバターで固めたボトム。 酒粕50gはちぎって、酒大1を入れて30秒レンジで温めます。 柔らかくした酒粕に先月、ピオーネを天日干しにしたレーズンを合わせ酒粕レーズンに。…
Do Extraterrestrials Use Functional Programming?
Opening Keynote at YOW! Lambda Jam, Brisbane, 2013. Is functional programming just the result of clever language design? Are there deeper reasons for…
Lambda to pi
I gave a talk a while back which included an interpreter for the pi-calculus, and a compiler from the lambda-calculus to it. I didn't really do justice to the material in a few slides, so here's a proper blog post. This article is available as a Literate Haskell file, which you can load into GHCi directly. The π-calculus If the λ-calculus is a minimal functional language, then the π-calculus is a
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Botkit Starter Kit
slot-lambda
