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