.NET基礎勉強会 #dotNetBase

Takafumi Saikawa @t6s

#dotnetbase untypedのまま行くのか、どこかでふっとtypedな話になるのか

こはま @c0hama

ラムダ計算の succ と add の説明がわかりやすい！ #dotNetBase

miyazaki @htid46

わかんないんですけど #dotnetbase

よんた @keita44_f4

そういえば会場着いてる #dotNetBase

Akira Sugiura @urasandesu

ラムダ計算の実践講義初体験や (((o(*ﾟ▽ﾟ*)o))) #dotNetBase

ɯsı¯ɹǝʇsɐ (あすてりず無) @aster_ism

大学だと大きい黒板があるからとても良いです #dotNetBase

Squeezer @SqUeeZer_

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

かわべ　たくや @kawakawa

2=λsz.sz(s z) 3=λsz.s(s(s z)) add=λmn.λsz.m(n s z) これを2+3をしてみる。 #dotNetBase

athos)))))))) @athos0220

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

こくぼ@Leaner Technologies @yusuke_kokubo

bleis迷子中 #dotnetbase

てるろー @terurou

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

ueponx @ueponx

関数難しすぎて限界がきた #dotNetBase

けい@再起動完了！ @a3_works

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

miyazaki @htid46

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

いよ@NGMS第9回10/29 @iyo_27

nに代入されたs(s(sz))はどこへ行ったのか理解できてないorzぬおー #dotNetBase

athos)))))))) @athos0220

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

nomurabbit @nomurabbit

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

てるろー @terurou

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

たけしけー @takeshik

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

Akira Sugiura @urasandesu

2、3は記号のままにして再計算中。。。 #dotNetBase

ueponx @ueponx

自分が数学ができない理由が思い出されt。 #dotNetBase

miyazaki @htid46

ついに省略した #dotNetbase

こはま @c0hama

掛け算理解できた。#dotNetBase

瀬良 @shela_

#dotNetBase .NETとはなんだったのか

かわべ　たくや @kawakawa

先生、2+3が判りませんでした。（´Д｀）/ #dotNetBase