第7回TAPL名古屋

2012年07/21に開催された名古屋TAPL読書会のログです。 5.2節 http://proofcafe.org/tapl/
0
よんた @keita44_f4

記号が飛び交ってとてもマジカルなことをやっているように見えるが,実際は足し算掛け算である. #taplnagoya

2012-07-21 15:09:46
Yoshihiro Imai @yoshihiro503

チャーチ数でpredを定義するためにペアを使う話。 #taplnagoya http://t.co/cn81sJBq

2012-07-21 15:19:55
拡大
よんた @keita44_f4

今日は5.2まで終わった!来月は5.3から.その次はどの章か?担当は @bleis さんらしい. #taplnagoya

2012-07-21 17:16:14