「技術者／プログラマのためのラムダ計算、論理、圏」セミナー

明日、檜山さんの

「技術者／プログラマのためのラムダ計算、論理、圏」セミナー

に参加してきます。