読者です 読者をやめる 読者になる 読者になる

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

雑記

明日、檜山さんの

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

に参加してきます。