グループの説明
概要
Discord を利用した、プログラミングに関するオンライン勉強会です。
注意
2025年の途中から、スパムアカウント対策のために Discord へのリンクをしばらく削除しています。
日時
金曜の22:00 ~ 24:00 頃に行ないます。
題材
2020年以降の内容（2019年以前は主にHaskellメイン。2020年以降はプログラミング言語理論などへと変遷）
- 2020-01 ~ 2021-05: Practical Foundations for Programming Languages(2nd ed., Robert Harper, Cambridge University Press, 2016)
- 2021-06 ~ 202X-XX: Semantics of Programming Language(Carl A. Gunter, MIT Press, 1992)
- 2024-04 ~ 2024-06: プログラミング言語の基礎理論シリーズ「型推論」特別講義（大堀淳, YouTube)
- 2024-07 ~ 2024-12: コンパイラ -原理と構造-(大堀淳, YouTube & 共立出版)
- 2025-06 ~ 2026(現在): The Garbage Collection Handbook(2nd Ed., Richard Jones, Antony Hosking, Eliot Moss, CRC Press, 2023)
終了したイベント 全てのイベントを見る（162件）
aka
