投稿

第4回「層・圏・トポス」読書会にいってきた

0

技術者／プログラマのためのモナドと圏論 第1回 行ってきた

0

Yコンビネータにトライ

0

技術者／プログラマのためのラムダ計算、論理、圏 第3回に行ってきた

1