もう一か月以上も前の話ですが、.NET基礎勉強会で(型無し)ラムダ計算の話をしてきました。 .NETと言えばF#、F#の基礎と言えばラムダ計算！ですよね！ 発表資料はこちらです。
当日は2 + 3が分からないと好評(?)でした。 当時の様子はこんな感じです。
2+3の計算が難しい @ラムダ計算 #dotNetbase
ぶれいすさんが人間簡約器になり下がっている #dotNetBase
bleis迷子中 #dotnetbase
人間簡約器がバグっている #dotNetBase
blaisさん、２＋３で大苦戦中。 ＃dotNetBase
ぐるぐるさんも分からない #dotNetbase
料理番組よろしく「ここであらかじめ用意しておいたラムダ項を使って〜」とかやらないと厳しいですね #dotNetBase
２＋３の計算についていけないなんて…物心ついて以来初めての経験です。 #dotNetBase
2013-07-20 15:00:01 via web
bleisさんとmzpさんがブツブツ言いながら板書する勉強会 #dotNetBase
結論: 2 + 3 is 難しい #dotnetbase
反省して、発表資料に計算過程を追加しておきました。
掛け算も追加してあるので、追ってみてください。 掛け算は、4から5に行くときに、3を表すラムダ項が増殖しているのがミソです。
実際にノートに書くのがおすすめですけど、カッコの対応が分からなくなる恐れがあるので、 色鉛筆使うのがおすすめです。
引き算や割り算、型付きラムダ計算など気になる方は、
- 作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男
- 出版社/メーカー: オーム社
- 発売日: 2013/03/26
- メディア: 単行本（ソフトカバー）
- クリック: 68回
- この商品を含むブログ (8件) を見る
をどうぞ！ 型付きラムダ計算以降も楽しいですよ！
