Sicss Society Public Events by connpass


開催する勉強会

8/22 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Events
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2 今回 9.3 型付けの性質 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください


過去の勉強会

7/18 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Events
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2 今回 Chapter 9 単純型付ラムダ計算から 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

6/13 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Events
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2 今回 今回は演習5.2.8 名無しラムダ計算におけるリスト表現について 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

5/23 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Events
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2 今回 今回は第5章: The untyped Lambda-Calculus 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

4/18 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Events
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2 今回 今回は§3.5.12 評価の停止性より 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください