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

お申し込みありがとうございます。1月31日の追加分も含め満席となり、締め切りました。また次回の企画をよろしくお願いします。