お知らせ 【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。
お知らせ
connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
なお有料の対象となるのはAPIのみであり、connpassのサービスにつきましては今後も無料でご利用いただけます。
TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。
ビデオ閲覧申請： https://goo.gl/forms/ej6VXirPIE5mWZdu2
今回は§3.5 評価
型システム入門 （無ければ隣の人に見せてもらえるかも）
"Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください
資料が投稿されると、最新の3件が表示されます。
2018/03/13 17:36
TaPL 読書会 #5 を公開しました！ (公開するのを忘れてました。明日開催です)
2018/03/14(水)
18:45 〜 20:45開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません
募集期間
2018/03/13(火) 17:36
〜
2018/03/14(水)
20:45
connpass関連サービス
Haochen Kotoi-Xie (謝昊辰)
c0hama
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています