• みなと @Prologの鬼！？@DrqYuto

    (SWIPL)について、うるさい人です。

  • Nozomi@making111

    2023年春まで大学院修士課程でベイズ統計の研究をしてました。 今はバックエンドメインで開発をする仕事をしていますが、フロントエンドの開発もやっています。

  • 俊夫 森@forest1040

  • Kaiko@kaiko_math

    HaskellとAgdaを学び始めた大学院生

  • @lotz

    凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます