このスライドはブログ記事として書き直しました。このスライドよりブログ記事の方がわかりやすいと思います。 http://d.hatena.ne.jp/syamino/20120524/p1
![代数的データ型をラムダ計算の中で表現する方法](https://cdn-ak-scissors.b.st-hatena.com/image/square/3300830ec22f581a35d5b606f4367cbb1cecfd72/height=288;version=1;width=512/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2Frandom-120519093223-phpapp02-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds)
このスライドはブログ記事として書き直しました。このスライドよりブログ記事の方がわかりやすいと思います。 http://d.hatena.ne.jp/syamino/20120524/p1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く