Greg Weng (@GregWeng)


参加する勉強会



過去の勉強会

9/17 (日)

台風18号について 台風18号の接近に伴い、17日15時以降名古屋が暴風域に入る可能性があります。 したがって開催時間をはやめ、11:00から14:00くらいに変更します。 作って食べる料理は夕食ではなく昼食となります。 Talkの時間割も変更になると思いますが、現地で決定します。 概要 お茶と料理を楽しみながら関数プログラミングの話とかしましょう。 TOC(台風による予定変更前の内容) 14:00-15:00 Talk 1 依存型の話 (@t6s) 15:00-16:00 お茶 & Talk 2 数学者のいう美しさってなんじゃらほい (@tannakaken) 16:00-17:00 Talk 3 OCaml で線形型を使ったプログラミングの話 (@keigoi) 17:30-20:30 料理と夕食 & Talk 4 分割数の話 (@wasajifu1) お茶 台湾茶 (@GregWeng) 抹茶 (@t6s) 料理 沙茶料理 (@GregWeng) その他 淹れたいお茶などの持ち込み歓迎します