主催者に連絡： Types and Programming Language 讀書會