.NET基礎勉強会でラムダ計算の発表をしてきた

もう一か月以上も前の話ですが、.NET基礎勉強会で(型無し)ラムダ計算の話をしてきました。 .NETと言えばF#、F#の基礎と言えばラムダ計算！ですよね！ 発表資料はこちらです。

ラムダでウィザード 滅せよ手続き、とチャーチは言った (※言ってません) from bleis tift

当日は2 + 3が分からないと好評(?)でした。 当時の様子はこんな感じです。

2+3の計算が難しい @ラムダ計算 #dotNetbase

2013-07-20 14:53:47 via Twitter for Android

ぶれいすさんが人間簡約器になり下がっている #dotNetBase

2013-07-20 14:55:49 via Janetter for Mac

bleis迷子中 #dotnetbase

2013-07-20 14:58:10 via Twitter for Android

人間簡約器がバグっている #dotNetBase

2013-07-20 14:58:14 via Janetter

blaisさん、２＋３で大苦戦中。 ＃dotNetBase

2013-07-20 14:59:02 via TweetDeck

ぐるぐるさんも分からない #dotNetbase

2013-07-20 14:59:34 via Tween

料理番組よろしく「ここであらかじめ用意しておいたラムダ項を使って〜」とかやらないと厳しいですね #dotNetBase

2013-07-20 14:59:43 via Janetter for Mac

２＋３の計算についていけないなんて…物心ついて以来初めての経験です。 #dotNetBase

2013-07-20 15:00:01 via web

bleisさんとmzpさんがブツブツ言いながら板書する勉強会 #dotNetBase

2013-07-20 15:01:13 via Janetter

結論: 2 + 3 is 難しい #dotnetbase

2013-07-20 15:01:23 via twicca

反省して、発表資料に計算過程を追加しておきました。

掛け算も追加してあるので、追ってみてください。 掛け算は、4から5に行くときに、3を表すラムダ項が増殖しているのがミソです。

実際にノートに書くのがおすすめですけど、カッコの対応が分からなくなる恐れがあるので、 色鉛筆使うのがおすすめです。

引き算や割り算、型付きラムダ計算など気になる方は、

型システム入門 −プログラミング言語と型の理論−

をどうぞ！ 型付きラムダ計算以降も楽しいですよ！